Dec 05 23:36:43.200 INFO testing flammel/rustasata against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514
Dec 05 23:36:43.200 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-1/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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 05 23:36:43.892 INFO [stdout] d0d540a46c84f2ba5a70ec76fc3672e4ad9e7637dd4c77dbd109c34e86d3e9e5
Dec 05 23:36:43.898 INFO running `"docker" "start" "-a" "d0d540a46c84f2ba5a70ec76fc3672e4ad9e7637dd4c77dbd109c34e86d3e9e5"`
Dec 05 23:36:45.389 INFO [stderr] usermod: no changes
Dec 05 23:36:45.557 INFO [stderr]    Compiling indexmap v0.4.1
Dec 05 23:36:45.560 INFO [stderr]    Compiling fern v0.5.6
Dec 05 23:36:47.094 INFO [stderr]    Compiling priority-queue v0.5.2
Dec 05 23:36:48.767 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Dec 05 23:36:52.625 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.21s
Dec 05 23:36:52.634 INFO [stderr] su: No module specific data is present
Dec 05 23:36:53.306 INFO running `"docker" "inspect" "d0d540a46c84f2ba5a70ec76fc3672e4ad9e7637dd4c77dbd109c34e86d3e9e5"`
Dec 05 23:36:53.585 INFO running `"docker" "rm" "-f" "d0d540a46c84f2ba5a70ec76fc3672e4ad9e7637dd4c77dbd109c34e86d3e9e5"`
Dec 05 23:36:53.776 INFO [stdout] d0d540a46c84f2ba5a70ec76fc3672e4ad9e7637dd4c77dbd109c34e86d3e9e5
Dec 05 23:36:53.778 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-1/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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 05 23:36:54.272 INFO [stdout] 1260e377934a26a209bbc7fac216a4819d9d935faa2ee98c128e12f6a3f62776
Dec 05 23:36:54.280 INFO running `"docker" "start" "-a" "1260e377934a26a209bbc7fac216a4819d9d935faa2ee98c128e12f6a3f62776"`
Dec 05 23:36:55.642 INFO [stderr] usermod: no changes
Dec 05 23:36:55.950 INFO [stderr]    Compiling itertools-num v0.1.2
Dec 05 23:36:55.950 INFO [stderr]    Compiling criterion-stats v0.2.5
Dec 05 23:36:55.968 INFO [stderr]    Compiling csv v1.0.1
Dec 05 23:36:55.968 INFO [stderr]    Compiling chrono v0.4.6
Dec 05 23:36:56.004 INFO [stderr]    Compiling handlebars v0.32.4
Dec 05 23:37:02.322 INFO [stderr]    Compiling simplelog v0.5.2
Dec 05 23:37:09.472 INFO [stderr]    Compiling criterion v0.2.5
Dec 05 23:37:20.942 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Dec 05 23:37:23.648 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 27.98s
Dec 05 23:37:23.655 INFO [stderr] su: No module specific data is present
Dec 05 23:37:24.702 INFO running `"docker" "inspect" "1260e377934a26a209bbc7fac216a4819d9d935faa2ee98c128e12f6a3f62776"`
Dec 05 23:37:24.963 INFO running `"docker" "rm" "-f" "1260e377934a26a209bbc7fac216a4819d9d935faa2ee98c128e12f6a3f62776"`
Dec 05 23:37:25.210 INFO [stdout] 1260e377934a26a209bbc7fac216a4819d9d935faa2ee98c128e12f6a3f62776
Dec 05 23:37:25.214 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-1/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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 05 23:37:25.803 INFO [stdout] 5753c5d6d8069d877a7ad6bdff41981663c4025f49d43ae513ae0dcc504621bc
Dec 05 23:37:25.805 INFO running `"docker" "start" "-a" "5753c5d6d8069d877a7ad6bdff41981663c4025f49d43ae513ae0dcc504621bc"`
Dec 05 23:37:26.940 INFO [stderr] usermod: no changes
Dec 05 23:37:27.180 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.21s
Dec 05 23:37:27.188 INFO [stderr]      Running /target/debug/deps/rustasata-b4498f8cb0bd2d36
Dec 05 23:37:27.192 INFO [stdout] 
Dec 05 23:37:27.192 INFO [stdout] running 4 tests
Dec 05 23:37:27.192 INFO [stdout] test solver::tests::backtrack ... ok
Dec 05 23:37:27.192 INFO [stdout] test clause::tests::watched_literals_returns_unit ... ok
Dec 05 23:37:27.192 INFO [stdout] test clause::tests::watched_literals_returns_first_two ... ok
Dec 05 23:37:27.196 INFO [stdout] test clause::tests::propagate_swaps_literals_and_returns_new_watched ... ok
Dec 05 23:37:27.196 INFO [stderr]      Running /target/debug/deps/rustasata-2fee6b4fd51d531d
Dec 05 23:37:27.196 INFO [stdout] 
Dec 05 23:37:27.196 INFO [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 05 23:37:27.196 INFO [stdout] 
Dec 05 23:37:27.196 INFO [stdout] 
Dec 05 23:37:27.196 INFO [stdout] running 0 tests
Dec 05 23:37:27.196 INFO [stdout] 
Dec 05 23:37:27.196 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 05 23:37:27.196 INFO [stdout] 
Dec 05 23:37:27.200 INFO [stdout] 
Dec 05 23:37:27.200 INFO [stderr]      Running /target/debug/deps/tests-8954bc2251547a8d
Dec 05 23:37:27.200 INFO [stdout] running 27 tests
Dec 05 23:37:27.208 INFO [stdout] test test_bcp_1 ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_bcp_2 ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_bcp_4 ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_contradiction ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_bcp_6 ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_bcp_7 ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_bcp_5 ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_bcp_3 ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_file_easy_1 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_satlib_uf125_538 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_satlib_uf20_91 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_satlib_uuf125_538 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_trivial_1 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_trivial_2 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_trivial_3 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_trivial_4 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_trivial_5 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_trivial_6 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_file_trivial_7 ... ignored
Dec 05 23:37:27.208 INFO [stdout] test test_double_positive ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_double_negative ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_tiny_sat_instance_4 ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_tiny_sat_instance_3 ... ok
Dec 05 23:37:27.208 INFO [stdout] test test_tiny_sat_instance_2 ... ok
Dec 05 23:37:27.216 INFO [stdout] test test_empty_formula ... ok
Dec 05 23:37:27.216 INFO [stdout] test test_one_clause_duplicate_literals ... ok
Dec 05 23:37:27.216 INFO [stdout] test test_tiny_sat_instance_1 ... ok
Dec 05 23:37:27.216 INFO [stdout] 
Dec 05 23:37:27.216 INFO [stdout] test result: ok. 16 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out
Dec 05 23:37:27.216 INFO [stdout] 
Dec 05 23:37:27.220 INFO [stderr]    Doc-tests rustasata
Dec 05 23:37:27.920 INFO [stdout] 
Dec 05 23:37:27.920 INFO [stdout] running 0 tests
Dec 05 23:37:27.920 INFO [stdout] 
Dec 05 23:37:27.920 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 05 23:37:27.920 INFO [stdout] 
Dec 05 23:37:27.928 INFO [stderr] su: No module specific data is present
Dec 05 23:37:28.646 INFO running `"docker" "inspect" "5753c5d6d8069d877a7ad6bdff41981663c4025f49d43ae513ae0dcc504621bc"`
Dec 05 23:37:29.092 INFO running `"docker" "rm" "-f" "5753c5d6d8069d877a7ad6bdff41981663c4025f49d43ae513ae0dcc504621bc"`
Dec 05 23:37:29.548 INFO [stdout] 5753c5d6d8069d877a7ad6bdff41981663c4025f49d43ae513ae0dcc504621bc