Nov 17 02:53:49.855 INFO testing flammel/rustasata against try#2e026d6e5d7621634147ad4c8074f1d964dbb1be for pr-55982
Nov 17 02:53:49.855 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 17 02:53:50.529 INFO [stdout] 8a4944d6aaf579b266a5f7b30bf1fbbecd70e2150d7675aebc40cd04e1d65e06
Nov 17 02:53:50.532 INFO running `"docker" "start" "-a" "8a4944d6aaf579b266a5f7b30bf1fbbecd70e2150d7675aebc40cd04e1d65e06"`
Nov 17 02:53:52.173 INFO [stderr] usermod: no changes
Nov 17 02:53:52.349 INFO [stderr]    Compiling indexmap v0.4.1
Nov 17 02:53:52.349 INFO [stderr]    Compiling fern v0.5.6
Nov 17 02:53:55.955 INFO [stderr]    Compiling priority-queue v0.5.2
Nov 17 02:53:56.681 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Nov 17 02:54:01.581 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 9.38s
Nov 17 02:54:01.592 INFO [stderr] su: No module specific data is present
Nov 17 02:54:02.775 INFO running `"docker" "inspect" "8a4944d6aaf579b266a5f7b30bf1fbbecd70e2150d7675aebc40cd04e1d65e06"`
Nov 17 02:54:03.131 INFO running `"docker" "rm" "-f" "8a4944d6aaf579b266a5f7b30bf1fbbecd70e2150d7675aebc40cd04e1d65e06"`
Nov 17 02:54:03.455 INFO [stdout] 8a4944d6aaf579b266a5f7b30bf1fbbecd70e2150d7675aebc40cd04e1d65e06
Nov 17 02:54:03.463 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 17 02:54:04.071 INFO [stdout] c40b2bc454e4fa5c0c608d2543f85668892bbfcc575728fe85370657d92cc849
Nov 17 02:54:04.073 INFO running `"docker" "start" "-a" "c40b2bc454e4fa5c0c608d2543f85668892bbfcc575728fe85370657d92cc849"`
Nov 17 02:54:05.814 INFO [stderr] usermod: no changes
Nov 17 02:54:06.043 INFO [stderr]    Compiling criterion-plot v0.2.5
Nov 17 02:54:06.052 INFO [stderr]    Compiling criterion-stats v0.2.5
Nov 17 02:54:06.056 INFO [stderr]    Compiling itertools-num v0.1.2
Nov 17 02:54:06.057 INFO [stderr]    Compiling csv v1.0.1
Nov 17 02:54:06.071 INFO [stderr]    Compiling simplelog v0.5.2
Nov 17 02:54:06.075 INFO [stderr]    Compiling handlebars v0.32.4
Nov 17 02:54:21.009 INFO [stderr]    Compiling criterion v0.2.5
Nov 17 02:54:34.171 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Nov 17 02:54:37.807 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 31.96s
Nov 17 02:54:37.815 INFO [stderr] su: No module specific data is present
Nov 17 02:54:39.263 INFO running `"docker" "inspect" "c40b2bc454e4fa5c0c608d2543f85668892bbfcc575728fe85370657d92cc849"`
Nov 17 02:54:39.685 INFO running `"docker" "rm" "-f" "c40b2bc454e4fa5c0c608d2543f85668892bbfcc575728fe85370657d92cc849"`
Nov 17 02:54:40.039 INFO [stdout] c40b2bc454e4fa5c0c608d2543f85668892bbfcc575728fe85370657d92cc849
Nov 17 02:54:40.049 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 17 02:54:40.575 INFO [stdout] 64e2bf305b6c4e0f6f6d65bc2f1efd0afd966274cdd04efbf31659feb07fce6c
Nov 17 02:54:40.580 INFO running `"docker" "start" "-a" "64e2bf305b6c4e0f6f6d65bc2f1efd0afd966274cdd04efbf31659feb07fce6c"`
Nov 17 02:54:41.909 INFO [stderr] usermod: no changes
Nov 17 02:54:42.135 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.20s
Nov 17 02:54:42.143 INFO [stderr]      Running /target/debug/deps/rustasata-9a681168835a28e3
Nov 17 02:54:42.144 INFO [stdout] 
Nov 17 02:54:42.144 INFO [stdout] running 4 tests
Nov 17 02:54:42.159 INFO [stdout] test clause::tests::watched_literals_returns_unit ... ok
Nov 17 02:54:42.159 INFO [stdout] test clause::tests::watched_literals_returns_first_two ... ok
Nov 17 02:54:42.171 INFO [stdout] test solver::tests::backtrack ... ok
Nov 17 02:54:42.187 INFO [stdout] test clause::tests::propagate_swaps_literals_and_returns_new_watched ... ok
Nov 17 02:54:42.187 INFO [stdout] 
Nov 17 02:54:42.187 INFO [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 02:54:42.187 INFO [stdout] 
Nov 17 02:54:42.188 INFO [stderr]      Running /target/debug/deps/rustasata-ce9467c40fd06680
Nov 17 02:54:42.203 INFO [stdout] 
Nov 17 02:54:42.203 INFO [stdout] running 0 tests
Nov 17 02:54:42.203 INFO [stdout] 
Nov 17 02:54:42.203 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 02:54:42.203 INFO [stdout] 
Nov 17 02:54:42.204 INFO [stderr]      Running /target/debug/deps/tests-e0e195124ce8fd4b
Nov 17 02:54:42.215 INFO [stdout] 
Nov 17 02:54:42.216 INFO [stdout] running 27 tests
Nov 17 02:54:42.231 INFO [stdout] test test_bcp_3 ... ok
Nov 17 02:54:42.232 INFO [stdout] test test_bcp_1 ... ok
Nov 17 02:54:42.232 INFO [stdout] test test_bcp_2 ... ok
Nov 17 02:54:42.232 INFO [stdout] test test_bcp_7 ... ok
Nov 17 02:54:42.233 INFO [stdout] test test_file_easy_1 ... ignored
Nov 17 02:54:42.233 INFO [stdout] test test_file_satlib_uf125_538 ... ignored
Nov 17 02:54:42.233 INFO [stdout] test test_file_satlib_uf20_91 ... ignored
Nov 17 02:54:42.233 INFO [stdout] test test_file_satlib_uuf125_538 ... ignored
Nov 17 02:54:42.234 INFO [stdout] test test_file_trivial_1 ... ignored
Nov 17 02:54:42.234 INFO [stdout] test test_file_trivial_2 ... ignored
Nov 17 02:54:42.234 INFO [stdout] test test_file_trivial_3 ... ignored
Nov 17 02:54:42.235 INFO [stdout] test test_file_trivial_4 ... ignored
Nov 17 02:54:42.235 INFO [stdout] test test_file_trivial_5 ... ignored
Nov 17 02:54:42.235 INFO [stdout] test test_file_trivial_6 ... ignored
Nov 17 02:54:42.236 INFO [stdout] test test_file_trivial_7 ... ignored
Nov 17 02:54:42.239 INFO [stdout] test test_bcp_4 ... ok
Nov 17 02:54:42.239 INFO [stdout] test test_bcp_6 ... ok
Nov 17 02:54:42.240 INFO [stdout] test test_double_negative ... ok
Nov 17 02:54:42.240 INFO [stdout] test test_double_positive ... ok
Nov 17 02:54:42.240 INFO [stdout] test test_empty_formula ... ok
Nov 17 02:54:42.240 INFO [stdout] test test_contradiction ... ok
Nov 17 02:54:42.241 INFO [stdout] test test_bcp_5 ... ok
Nov 17 02:54:42.247 INFO [stdout] test test_tiny_sat_instance_1 ... ok
Nov 17 02:54:42.247 INFO [stdout] test test_tiny_sat_instance_2 ... ok
Nov 17 02:54:42.248 INFO [stdout] test test_tiny_sat_instance_4 ... ok
Nov 17 02:54:42.255 INFO [stdout] test test_tiny_sat_instance_3 ... ok
Nov 17 02:54:42.255 INFO [stderr]    Doc-tests rustasata
Nov 17 02:54:42.256 INFO [stdout] test test_one_clause_duplicate_literals ... ok
Nov 17 02:54:42.256 INFO [stdout] 
Nov 17 02:54:42.256 INFO [stdout] test result: ok. 16 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out
Nov 17 02:54:42.257 INFO [stdout] 
Nov 17 02:54:42.915 INFO [stdout] 
Nov 17 02:54:42.915 INFO [stdout] running 0 tests
Nov 17 02:54:42.915 INFO [stdout] 
Nov 17 02:54:42.915 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 02:54:42.915 INFO [stdout] 
Nov 17 02:54:42.927 INFO [stderr] su: No module specific data is present
Nov 17 02:54:43.585 INFO running `"docker" "inspect" "64e2bf305b6c4e0f6f6d65bc2f1efd0afd966274cdd04efbf31659feb07fce6c"`
Nov 17 02:54:43.861 INFO running `"docker" "rm" "-f" "64e2bf305b6c4e0f6f6d65bc2f1efd0afd966274cdd04efbf31659feb07fce6c"`
Nov 17 02:54:44.119 INFO [stdout] 64e2bf305b6c4e0f6f6d65bc2f1efd0afd966274cdd04efbf31659feb07fce6c