Dec 13 23:22:59.104 INFO testing cnogueira/cnsat against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550 Dec 13 23:22:59.104 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-5/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 13 23:22:59.499 INFO [stdout] 6b138739b1da6653f49d03189ac736581cbc5105313257b26aabf99290b311a2 Dec 13 23:22:59.501 INFO running `"docker" "start" "-a" "6b138739b1da6653f49d03189ac736581cbc5105313257b26aabf99290b311a2"` Dec 13 23:23:01.050 INFO [stderr] usermod: no changes Dec 13 23:23:01.111 INFO [stderr] Compiling dimacs v0.2.0 Dec 13 23:23:02.815 INFO [stderr] Compiling cnsat v0.1.0 (/source) Dec 13 23:23:06.769 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 5.70s Dec 13 23:23:06.770 INFO [stderr] su: No module specific data is present Dec 13 23:23:07.747 INFO running `"docker" "inspect" "6b138739b1da6653f49d03189ac736581cbc5105313257b26aabf99290b311a2"` Dec 13 23:23:08.149 INFO running `"docker" "rm" "-f" "6b138739b1da6653f49d03189ac736581cbc5105313257b26aabf99290b311a2"` Dec 13 23:23:08.494 INFO [stdout] 6b138739b1da6653f49d03189ac736581cbc5105313257b26aabf99290b311a2 Dec 13 23:23:08.507 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-5/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 13 23:23:09.052 INFO [stdout] 059f90e887204ad55dc5123fdf40b3db2692c6f16b87cc8ecf81e890b91432f9 Dec 13 23:23:09.054 INFO running `"docker" "start" "-a" "059f90e887204ad55dc5123fdf40b3db2692c6f16b87cc8ecf81e890b91432f9"` Dec 13 23:23:10.806 INFO [stderr] usermod: no changes Dec 13 23:23:10.867 INFO [stderr] Compiling cnsat v0.1.0 (/source) Dec 13 23:23:12.188 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.35s Dec 13 23:23:12.188 INFO [stderr] su: No module specific data is present Dec 13 23:23:13.651 INFO running `"docker" "inspect" "059f90e887204ad55dc5123fdf40b3db2692c6f16b87cc8ecf81e890b91432f9"` Dec 13 23:23:14.025 INFO running `"docker" "rm" "-f" "059f90e887204ad55dc5123fdf40b3db2692c6f16b87cc8ecf81e890b91432f9"` Dec 13 23:23:14.451 INFO [stdout] 059f90e887204ad55dc5123fdf40b3db2692c6f16b87cc8ecf81e890b91432f9 Dec 13 23:23:14.459 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-5/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-alt test --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 13 23:23:14.825 INFO [stdout] 9391bfcbef9ef7ecc8c0c3d96d97870ebcae1cb84f781ec9d58ee27887f70df3 Dec 13 23:23:14.831 INFO running `"docker" "start" "-a" "9391bfcbef9ef7ecc8c0c3d96d97870ebcae1cb84f781ec9d58ee27887f70df3"` Dec 13 23:23:16.919 INFO [stderr] usermod: no changes Dec 13 23:23:17.011 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.06s Dec 13 23:23:17.039 INFO [stderr] Running /target/debug/deps/cnsat-a60677b18b377490 Dec 13 23:23:17.046 INFO [stderr] su: No module specific data is present Dec 13 23:23:17.047 INFO [stdout] Dec 13 23:23:17.047 INFO [stdout] running 0 tests Dec 13 23:23:17.047 INFO [stdout] Dec 13 23:23:17.047 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 23:23:17.047 INFO [stdout] Dec 13 23:23:18.198 INFO running `"docker" "inspect" "9391bfcbef9ef7ecc8c0c3d96d97870ebcae1cb84f781ec9d58ee27887f70df3"` Dec 13 23:23:18.547 INFO running `"docker" "rm" "-f" "9391bfcbef9ef7ecc8c0c3d96d97870ebcae1cb84f781ec9d58ee27887f70df3"` Dec 13 23:23:18.915 INFO [stdout] 9391bfcbef9ef7ecc8c0c3d96d97870ebcae1cb84f781ec9d58ee27887f70df3