Dec 15 04:43:09.596 INFO testing minisat-0.4.0 against try#aa49d8ef14939ddec0e34b346b60174a5673d48f for pr-56550
Dec 15 04:43:09.596 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 15 04:43:09.926 INFO [stdout] 6fd72a636a06e33faf28fbdaa2bd07781b4371a999bd53c725886dbe8f200cd0
Dec 15 04:43:09.929 INFO running `"docker" "start" "-a" "6fd72a636a06e33faf28fbdaa2bd07781b4371a999bd53c725886dbe8f200cd0"`
Dec 15 04:43:11.395 INFO [stderr] usermod: no changes
Dec 15 04:43:11.583 INFO [stderr]    Compiling bindgen v0.42.3
Dec 15 04:43:30.587 INFO [stderr]    Compiling minisat v0.4.0 (/source)
Dec 15 04:43:42.700 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 31.28s
Dec 15 04:43:42.708 INFO [stderr] su: No module specific data is present
Dec 15 04:43:43.297 INFO running `"docker" "inspect" "6fd72a636a06e33faf28fbdaa2bd07781b4371a999bd53c725886dbe8f200cd0"`
Dec 15 04:43:43.468 INFO running `"docker" "rm" "-f" "6fd72a636a06e33faf28fbdaa2bd07781b4371a999bd53c725886dbe8f200cd0"`
Dec 15 04:43:43.658 INFO [stdout] 6fd72a636a06e33faf28fbdaa2bd07781b4371a999bd53c725886dbe8f200cd0
Dec 15 04:43:43.661 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 15 04:43:43.949 INFO [stdout] 9a6584cf016c0b3526bf18a13ec8af7e0e73ab1f86af9552eeaa624d3b7bf246
Dec 15 04:43:43.956 INFO running `"docker" "start" "-a" "9a6584cf016c0b3526bf18a13ec8af7e0e73ab1f86af9552eeaa624d3b7bf246"`
Dec 15 04:43:44.525 INFO [stderr] usermod: no changes
Dec 15 04:43:44.628 INFO [stderr]    Compiling quickcheck v0.7.2
Dec 15 04:43:48.108 INFO [stderr]    Compiling minisat v0.4.0 (/source)
Dec 15 04:43:53.419 INFO [stderr] error: linking with `cc` failed: exit code: 1
Dec 15 04:43:53.419 INFO [stderr]   |
Dec 15 04:43:53.420 INFO [stderr]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.0.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.10.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.11.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.12.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.13.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.14.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.15.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.2.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.3.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.4.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.5.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.6.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.7.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.8.rcgu.o" "/target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.9.rcgu.o" "-o" "/target/debug/deps/minisat-98a56523d7e1d142" "/target/debug/deps/minisat-98a56523d7e1d142.123z5bgll9coj824.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/target/debug/deps" "-L" "/target/debug/build/minisat-66b07eff00888dfa/out" "-L" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-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/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ab32538f539b67a.rlib" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-e77511fc5e1f153b.rlib" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-405052f4c06fcd86.rlib" "/target/debug/deps/libitertools-d78ad243554f8c57.rlib" "/target/debug/deps/libeither-7ebe9e847dabf141.rlib" "/target/debug/deps/libquickcheck-2d0fd17b5339d701.rlib" "/target/debug/deps/librand-75275c9cd5641002.rlib" "/target/debug/deps/librand_core-4053665e0121476d.rlib" "/target/debug/deps/librand_core-bd1873205220d3f7.rlib" "/target/debug/deps/libenv_logger-7f94eb3aaad18c62.rlib" "/target/debug/deps/libregex-b284bfe4208d8683.rlib" "/target/debug/deps/libutf8_ranges-0f8075918defb5be.rlib" "/target/debug/deps/libregex_syntax-3c2499fbc6a64b3e.rlib" "/target/debug/deps/libucd_util-9f91daa423113735.rlib" "/target/debug/deps/libthread_local-bbc410741103032d.rlib" "/target/debug/deps/liblazy_static-07be44a957344fa4.rlib" "/target/debug/deps/libaho_corasick-f86f78844ffa08d7.rlib" "/target/debug/deps/libmemchr-3f0577fa51eb10c3.rlib" "/target/debug/deps/libatty-d50d65f95ced87a8.rlib" "/target/debug/deps/liblibc-81eb292b66bde335.rlib" "/target/debug/deps/libhumantime-a591cdb02d2deb5c.rlib" "/target/debug/deps/libquick_error-b6654df2085a0cff.rlib" "/target/debug/deps/libtermcolor-5a35b39173e4e5e9.rlib" "/target/debug/deps/liblog-4a91cfec73cc6056.rlib" "/target/debug/deps/libcfg_if-6517076f458a17e2.rlib" "-Wl,--start-group" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-a8951067144fcd6a.rlib" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-557584a04b5ba683.rlib" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-431a1e5e4c3f47f7.rlib" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-a23c0da4d2de6b62.rlib" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8bfe39ba20aa6b17.rlib" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-f9a54acb2f768daa.rlib" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-fd7c3c73a313f74d.rlib" "-Wl,--end-group" "/rustup-home/toolchains/aa49d8ef14939ddec0e34b346b60174a5673d48f-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-0f941d940954fa72.rlib" "-Wl,-Bdynamic" "-lutil" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil"
Dec 15 04:43:53.420 INFO [stderr]   = note: /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Lit::into_var::h311aaa31e7a09f93':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:156: undefined reference to `minisat_var'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:157: undefined reference to `minisat_sign'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Lit::from_var_sign::hd54d5da0e51e20cc':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:161: undefined reference to `minisat_mkLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:162: undefined reference to `minisat_negate'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `_$LT$minisat..Lit$u20$as$u20$core..ops..bit..Not$GT$::not::h00a3bd08ea096bc5':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:186: undefined reference to `minisat_negate'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::new::he9f40c99b596db68':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:196: undefined reference to `minisat_new'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:199: undefined reference to `minisat_eliminate'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::new_lit::h41387f1430bd54ab':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:206: undefined reference to `minisat_newLit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h01d83ed115605b49':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h0c986635d0f08331':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h3697de84ff56a381':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h3d4508400ae75be9':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h71f8b18f9eee33f9':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h9cb2ae5dcc412ffa':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h9f906ac7521af9d2':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::had92da68eda7d9af':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::he10fc12d5612c743':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hea33ce880a1c8b9b':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hf73b9e5685d8b664':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:53.420 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::solve_under_assumptions::h7578cefb5acebcd2':
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:241: undefined reference to `minisat_solve_begin'
Dec 15 04:43:53.420 INFO [stderr]           /source/src/lib.rs:248: undefined reference to `minisat_solve_addLit'
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:252: undefined reference to `minisat_solve_commit'
Dec 15 04:43:53.421 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::solve_under_assumptions::hbf643ad46faad4b8':
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:241: undefined reference to `minisat_solve_begin'
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:248: undefined reference to `minisat_solve_addLit'
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:252: undefined reference to `minisat_solve_commit'
Dec 15 04:43:53.421 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::num_clauses::hbffc77933676cf2d':
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:466: undefined reference to `minisat_num_clauses'
Dec 15 04:43:53.421 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `minisat::Solver::num_vars::h3a9bd5cc8607cb70':
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:476: undefined reference to `minisat_num_vars'
Dec 15 04:43:53.421 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `_$LT$minisat..Solver$u20$as$u20$core..ops..drop..Drop$GT$::drop::h126abe1e365f1ee7':
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:487: undefined reference to `minisat_delete'
Dec 15 04:43:53.421 INFO [stderr]           /target/debug/deps/minisat-98a56523d7e1d142.minisat.bmf72mje-cgu.1.rcgu.o: In function `_$LT$minisat..Bool$u20$as$u20$minisat..ModelValue$LT$$u27$a$GT$$GT$::value::h1cfe7a738de48e90':
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:522: undefined reference to `minisat_modelValue_Lit'
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:523: undefined reference to `minisat_get_l_True'
Dec 15 04:43:53.421 INFO [stderr]           /source/src/lib.rs:525: undefined reference to `minisat_get_l_False'
Dec 15 04:43:53.421 INFO [stderr]           collect2: error: ld returned 1 exit status
Dec 15 04:43:53.421 INFO [stderr]           
Dec 15 04:43:53.421 INFO [stderr] 
Dec 15 04:43:53.431 INFO [stderr] error: aborting due to previous error
Dec 15 04:43:53.435 INFO [stderr] 
Dec 15 04:43:53.457 INFO [stderr] error: Could not compile `minisat`.
Dec 15 04:43:53.459 INFO [stderr] 
Dec 15 04:43:53.459 INFO [stderr] To learn more, run the command again with --verbose.
Dec 15 04:43:53.460 INFO [stderr] su: No module specific data is present
Dec 15 04:43:53.871 INFO running `"docker" "inspect" "9a6584cf016c0b3526bf18a13ec8af7e0e73ab1f86af9552eeaa624d3b7bf246"`
Dec 15 04:43:54.055 INFO running `"docker" "rm" "-f" "9a6584cf016c0b3526bf18a13ec8af7e0e73ab1f86af9552eeaa624d3b7bf246"`
Dec 15 04:43:54.242 INFO [stdout] 9a6584cf016c0b3526bf18a13ec8af7e0e73ab1f86af9552eeaa624d3b7bf246