Dec 07 07:16:36.017 INFO testing minisat-0.4.0 against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514
Dec 07 07:16:36.018 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-2/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 07 07:16:36.241 INFO [stdout] 6de0a696d4317ccde5ca0a53a6d6e0cb096e1d4346d077430a5d58768aa9d60b
Dec 07 07:16:36.248 INFO running `"docker" "start" "-a" "6de0a696d4317ccde5ca0a53a6d6e0cb096e1d4346d077430a5d58768aa9d60b"`
Dec 07 07:16:36.855 INFO [stderr] usermod: no changes
Dec 07 07:16:37.056 INFO [stderr]    Compiling bindgen v0.42.3
Dec 07 07:16:53.941 INFO [stderr]    Compiling minisat v0.4.0 (/source)
Dec 07 07:17:04.313 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 27.43s
Dec 07 07:17:04.317 INFO [stderr] su: No module specific data is present
Dec 07 07:17:04.721 INFO running `"docker" "inspect" "6de0a696d4317ccde5ca0a53a6d6e0cb096e1d4346d077430a5d58768aa9d60b"`
Dec 07 07:17:04.924 INFO running `"docker" "rm" "-f" "6de0a696d4317ccde5ca0a53a6d6e0cb096e1d4346d077430a5d58768aa9d60b"`
Dec 07 07:17:05.030 INFO [stdout] 6de0a696d4317ccde5ca0a53a6d6e0cb096e1d4346d077430a5d58768aa9d60b
Dec 07 07:17:05.032 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-2/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 07 07:17:05.404 INFO [stdout] bcca812b932fdd7b4b2b714465593139ab64bc58d7129b236449b40c4a0f533e
Dec 07 07:17:05.408 INFO running `"docker" "start" "-a" "bcca812b932fdd7b4b2b714465593139ab64bc58d7129b236449b40c4a0f533e"`
Dec 07 07:17:05.974 INFO [stderr] usermod: no changes
Dec 07 07:17:06.066 INFO [stderr]    Compiling minisat v0.4.0 (/source)
Dec 07 07:17:11.149 INFO [stderr] error: linking with `cc` failed: exit code: 1
Dec 07 07:17:11.149 INFO [stderr]   |
Dec 07 07:17:11.149 INFO [stderr]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.0.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.10.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.11.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.12.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.13.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.14.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.15.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.2.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.3.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.4.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.5.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.6.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.7.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.8.rcgu.o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.9.rcgu.o" "-o" "/target/debug/deps/minisat-d162c5d5fc5ee3bf" "/target/debug/deps/minisat-d162c5d5fc5ee3bf.1z5u84iti1c8cpj2.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/target/debug/deps" "-L" "/target/debug/build/minisat-a712696a11d8943c/out" "-L" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "-Wl,--whole-archive" "-lminisat" "-Wl,--no-whole-archive" "-Wl,-Bdynamic" "-lstdc++" "-Wl,-Bstatic" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-adf123ebf3aa21fe.rlib" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-fd354104c692e45b.rlib" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-592a57219e6b981d.rlib" "/target/debug/deps/libitertools-a3c3b208deec00ca.rlib" "/target/debug/deps/libeither-32f9e0d422518942.rlib" "/target/debug/deps/libquickcheck-9f60332991e975c7.rlib" "/target/debug/deps/librand-912a38c4909ee7b8.rlib" "/target/debug/deps/librand_core-488d0a81ee98b3fa.rlib" "/target/debug/deps/librand_core-296558516ce87fe7.rlib" "/target/debug/deps/libenv_logger-58144555ad8a4d41.rlib" "/target/debug/deps/libregex-89774c0a638a4698.rlib" "/target/debug/deps/libutf8_ranges-d0b61ebda3a50a0d.rlib" "/target/debug/deps/libregex_syntax-b206ac55c84dd124.rlib" "/target/debug/deps/libucd_util-cfd882bd73de8ea8.rlib" "/target/debug/deps/libthread_local-436a57e8f21e8c8d.rlib" "/target/debug/deps/liblazy_static-2ca0f5202ade2de2.rlib" "/target/debug/deps/libaho_corasick-e7705bb021f1ea54.rlib" "/target/debug/deps/libmemchr-a8bcbcdd4102a988.rlib" "/target/debug/deps/libatty-8aa343f8addbbee7.rlib" "/target/debug/deps/liblibc-5d3f8f014103646e.rlib" "/target/debug/deps/libhumantime-88ceb28336da098a.rlib" "/target/debug/deps/libquick_error-9eb7999259122276.rlib" "/target/debug/deps/libtermcolor-2827922697197d53.rlib" "/target/debug/deps/liblog-f3d8e9ee41f94ebb.rlib" "/target/debug/deps/libcfg_if-bbf73e74776ea633.rlib" "-Wl,--start-group" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-e972c2420364a4db.rlib" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-55db828da3f253f9.rlib" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-70134419af0c02d4.rlib" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-85dd988f6e224ab0.rlib" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-35e5ecdfebfa7d5c.rlib" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-10fd134b0cf006a8.rlib" "-Wl,--end-group" "/rustup-home/toolchains/906deae0790bd18681b937fe9a141a3c26cf1855-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-1306eac77b02d077.rlib" "-Wl,-Bdynamic" "-lutil" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil"
Dec 07 07:17:11.152 INFO [stderr]   = note: /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Lit::into_var::h5126154935a28f31':
Dec 07 07:17:11.152 INFO [stderr]           /source/src/lib.rs:156: undefined reference to `minisat_var'
Dec 07 07:17:11.152 INFO [stderr]           /source/src/lib.rs:157: undefined reference to `minisat_sign'
Dec 07 07:17:11.152 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Lit::from_var_sign::h1e464c236c633c9c':
Dec 07 07:17:11.152 INFO [stderr]           /source/src/lib.rs:161: undefined reference to `minisat_mkLit'
Dec 07 07:17:11.152 INFO [stderr]           /source/src/lib.rs:162: undefined reference to `minisat_negate'
Dec 07 07:17:11.152 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `_$LT$minisat..Lit$u20$as$u20$core..ops..bit..Not$GT$::not::h4f4be3bafa2e2471':
Dec 07 07:17:11.152 INFO [stderr]           /source/src/lib.rs:186: undefined reference to `minisat_negate'
Dec 07 07:17:11.152 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::new::ha636a8406620f18f':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:196: undefined reference to `minisat_new'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:199: undefined reference to `minisat_eliminate'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::new_lit::h099581df139fbdce':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:206: undefined reference to `minisat_newLit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h36ffd44fd1e9a1ce':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h45f3da8c0fda759a':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h53a95cf29b111790':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h598d88db9f3969ef':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h8af7360c41d25fdd':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::ha366550cf0a96e10':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::had604508d41d7b5e':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hc5747778fbd64c62':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hc802398bb0d1782e':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hcb4b3a39e5a3e6fe':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hccab37420ea3c6d6':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::solve_under_assumptions::h34b74acf3fa9ab4f':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:241: undefined reference to `minisat_solve_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:248: undefined reference to `minisat_solve_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:252: undefined reference to `minisat_solve_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::solve_under_assumptions::he59d6a6ab0f164d3':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:241: undefined reference to `minisat_solve_begin'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:248: undefined reference to `minisat_solve_addLit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:252: undefined reference to `minisat_solve_commit'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::num_clauses::h24aaf3a1655a2e3a':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:466: undefined reference to `minisat_num_clauses'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `minisat::Solver::num_vars::h3b88c9493e970213':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:476: undefined reference to `minisat_num_vars'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `_$LT$minisat..Solver$u20$as$u20$core..ops..drop..Drop$GT$::drop::ha3b85b7e52cbe13b':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:487: undefined reference to `minisat_delete'
Dec 07 07:17:11.153 INFO [stderr]           /target/debug/deps/minisat-d162c5d5fc5ee3bf.minisat.452yrrkm-cgu.1.rcgu.o: In function `_$LT$minisat..Bool$u20$as$u20$minisat..ModelValue$LT$$u27$a$GT$$GT$::value::hb93a0902cd0c1d4f':
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:522: undefined reference to `minisat_modelValue_Lit'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:523: undefined reference to `minisat_get_l_True'
Dec 07 07:17:11.153 INFO [stderr]           /source/src/lib.rs:525: undefined reference to `minisat_get_l_False'
Dec 07 07:17:11.153 INFO [stderr]           collect2: error: ld returned 1 exit status
Dec 07 07:17:11.153 INFO [stderr]           
Dec 07 07:17:11.153 INFO [stderr] 
Dec 07 07:17:11.160 INFO [stderr] error: aborting due to previous error
Dec 07 07:17:11.160 INFO [stderr] 
Dec 07 07:17:11.188 INFO [stderr] error: Could not compile `minisat`.
Dec 07 07:17:11.188 INFO [stderr] 
Dec 07 07:17:11.188 INFO [stderr] To learn more, run the command again with --verbose.
Dec 07 07:17:11.188 INFO [stderr] su: No module specific data is present
Dec 07 07:17:11.667 INFO running `"docker" "inspect" "bcca812b932fdd7b4b2b714465593139ab64bc58d7129b236449b40c4a0f533e"`
Dec 07 07:17:11.745 INFO running `"docker" "rm" "-f" "bcca812b932fdd7b4b2b714465593139ab64bc58d7129b236449b40c4a0f533e"`
Dec 07 07:17:11.843 INFO [stdout] bcca812b932fdd7b4b2b714465593139ab64bc58d7129b236449b40c4a0f533e