Nov 17 02:53:52.323 INFO testing flammel/rustasata against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982
Nov 17 02:53:52.323 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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:53.080 INFO [stdout] 7a7839944a0611eb37c968ac69151b2a05d3d82be592af7943df027c89b4dd45
Nov 17 02:53:53.083 INFO running `"docker" "start" "-a" "7a7839944a0611eb37c968ac69151b2a05d3d82be592af7943df027c89b4dd45"`
Nov 17 02:53:55.825 INFO [stderr] usermod: no changes
Nov 17 02:53:56.078 INFO [stderr]    Compiling indexmap v0.4.1
Nov 17 02:53:56.087 INFO [stderr]    Compiling fern v0.5.6
Nov 17 02:53:59.627 INFO [stderr]    Compiling priority-queue v0.5.2
Nov 17 02:54:00.459 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Nov 17 02:54:05.327 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 9.46s
Nov 17 02:54:05.336 INFO [stderr] su: No module specific data is present
Nov 17 02:54:06.300 INFO running `"docker" "inspect" "7a7839944a0611eb37c968ac69151b2a05d3d82be592af7943df027c89b4dd45"`
Nov 17 02:54:06.661 INFO running `"docker" "rm" "-f" "7a7839944a0611eb37c968ac69151b2a05d3d82be592af7943df027c89b4dd45"`
Nov 17 02:54:06.995 INFO [stdout] 7a7839944a0611eb37c968ac69151b2a05d3d82be592af7943df027c89b4dd45
Nov 17 02:54:07.001 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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:07.483 INFO [stdout] 230e997c77e73a4c0aa1d1607d3132a80881a400857ba26bc6628394d6f8a70f
Nov 17 02:54:07.485 INFO running `"docker" "start" "-a" "230e997c77e73a4c0aa1d1607d3132a80881a400857ba26bc6628394d6f8a70f"`
Nov 17 02:54:09.581 INFO [stderr] usermod: no changes
Nov 17 02:54:09.910 INFO [stderr]    Compiling criterion-plot v0.2.5
Nov 17 02:54:09.915 INFO [stderr]    Compiling criterion-stats v0.2.5
Nov 17 02:54:09.915 INFO [stderr]    Compiling itertools-num v0.1.2
Nov 17 02:54:09.927 INFO [stderr]    Compiling csv v1.0.1
Nov 17 02:54:09.927 INFO [stderr]    Compiling syn v0.14.9
Nov 17 02:54:09.939 INFO [stderr]    Compiling chrono v0.4.6
Nov 17 02:54:09.940 INFO [stderr]    Compiling handlebars v0.32.4
Nov 17 02:54:20.347 INFO [stderr]    Compiling simplelog v0.5.2
Nov 17 02:54:36.711 INFO [stderr]    Compiling synstructure v0.9.0
Nov 17 02:54:36.711 INFO [stderr]    Compiling serde_derive v1.0.76
Nov 17 02:54:43.115 INFO [stderr]    Compiling failure_derive v0.1.2
Nov 17 02:54:48.179 INFO [stderr]    Compiling failure v0.1.2
Nov 17 02:54:58.828 INFO [stderr]    Compiling criterion v0.2.5
Nov 17 02:55:11.423 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Nov 17 02:55:15.441 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 05s
Nov 17 02:55:15.448 INFO [stderr] su: No module specific data is present
Nov 17 02:55:16.285 INFO running `"docker" "inspect" "230e997c77e73a4c0aa1d1607d3132a80881a400857ba26bc6628394d6f8a70f"`
Nov 17 02:55:16.450 INFO running `"docker" "rm" "-f" "230e997c77e73a4c0aa1d1607d3132a80881a400857ba26bc6628394d6f8a70f"`
Nov 17 02:55:16.721 INFO [stdout] 230e997c77e73a4c0aa1d1607d3132a80881a400857ba26bc6628394d6f8a70f
Nov 17 02:55:16.731 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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:55:17.147 INFO [stdout] c8d31b3277c63e69d10e585657bfdaf89e7a3166f90ef3e06318426f7054b5b6
Nov 17 02:55:17.152 INFO running `"docker" "start" "-a" "c8d31b3277c63e69d10e585657bfdaf89e7a3166f90ef3e06318426f7054b5b6"`
Nov 17 02:55:17.936 INFO [stderr] usermod: no changes
Nov 17 02:55:18.079 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.12s
Nov 17 02:55:18.099 INFO [stderr]      Running /target/debug/deps/rustasata-247f31bfceac8c51
Nov 17 02:55:18.099 INFO [stdout] 
Nov 17 02:55:18.100 INFO [stdout] running 4 tests
Nov 17 02:55:18.100 INFO [stdout] test solver::tests::backtrack ... ok
Nov 17 02:55:18.100 INFO [stdout] test clause::tests::watched_literals_returns_unit ... ok
Nov 17 02:55:18.108 INFO [stdout] test clause::tests::watched_literals_returns_first_two ... ok
Nov 17 02:55:18.108 INFO [stdout] test clause::tests::propagate_swaps_literals_and_returns_new_watched ... ok
Nov 17 02:55:18.108 INFO [stdout] 
Nov 17 02:55:18.108 INFO [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 02:55:18.108 INFO [stdout] 
Nov 17 02:55:18.108 INFO [stderr]      Running /target/debug/deps/rustasata-b560daa73460e344
Nov 17 02:55:18.127 INFO [stderr]      Running /target/debug/deps/tests-83bda2888c5519bf
Nov 17 02:55:18.127 INFO [stdout] 
Nov 17 02:55:18.127 INFO [stdout] running 0 tests
Nov 17 02:55:18.128 INFO [stdout] 
Nov 17 02:55:18.128 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 02:55:18.128 INFO [stdout] 
Nov 17 02:55:18.128 INFO [stdout] 
Nov 17 02:55:18.129 INFO [stdout] running 27 tests
Nov 17 02:55:18.131 INFO [stdout] test test_bcp_2 ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_bcp_4 ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_bcp_1 ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_bcp_5 ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_bcp_6 ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_bcp_3 ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_contradiction ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_bcp_7 ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_file_easy_1 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_satlib_uf125_538 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_satlib_uf20_91 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_satlib_uuf125_538 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_trivial_1 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_trivial_2 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_trivial_3 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_trivial_4 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_trivial_5 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_trivial_6 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_file_trivial_7 ... ignored
Nov 17 02:55:18.167 INFO [stdout] test test_tiny_sat_instance_3 ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_tiny_sat_instance_2 ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_one_clause_duplicate_literals ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_empty_formula ... ok
Nov 17 02:55:18.167 INFO [stdout] test test_double_positive ... ok
Nov 17 02:55:18.173 INFO [stdout] test test_tiny_sat_instance_4 ... ok
Nov 17 02:55:18.173 INFO [stdout] test test_double_negative ... ok
Nov 17 02:55:18.179 INFO [stdout] test test_tiny_sat_instance_1 ... ok
Nov 17 02:55:18.179 INFO [stderr]    Doc-tests rustasata
Nov 17 02:55:18.180 INFO [stdout] 
Nov 17 02:55:18.180 INFO [stdout] test result: ok. 16 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out
Nov 17 02:55:18.180 INFO [stdout] 
Nov 17 02:55:18.819 INFO [stdout] 
Nov 17 02:55:18.819 INFO [stdout] running 0 tests
Nov 17 02:55:18.819 INFO [stdout] 
Nov 17 02:55:18.820 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 02:55:18.820 INFO [stdout] 
Nov 17 02:55:18.820 INFO [stderr] su: No module specific data is present
Nov 17 02:55:19.427 INFO running `"docker" "inspect" "c8d31b3277c63e69d10e585657bfdaf89e7a3166f90ef3e06318426f7054b5b6"`
Nov 17 02:55:19.653 INFO running `"docker" "rm" "-f" "c8d31b3277c63e69d10e585657bfdaf89e7a3166f90ef3e06318426f7054b5b6"`
Nov 17 02:55:19.819 INFO [stdout] c8d31b3277c63e69d10e585657bfdaf89e7a3166f90ef3e06318426f7054b5b6