Dec 05 23:36:43.689 INFO testing flammel/rustasata against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514
Dec 05 23:36:43.689 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-4/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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:44.079 INFO [stdout] add8c7bc6d30fb8ff6f72298dc035d1da0c8f0c72419e77d4c3d3f340ff7277f
Dec 05 23:36:44.082 INFO running `"docker" "start" "-a" "add8c7bc6d30fb8ff6f72298dc035d1da0c8f0c72419e77d4c3d3f340ff7277f"`
Dec 05 23:36:45.270 INFO [stderr] usermod: no changes
Dec 05 23:36:45.404 INFO [stderr]    Compiling indexmap v0.4.1
Dec 05 23:36:46.492 INFO [stderr]    Compiling priority-queue v0.5.2
Dec 05 23:36:47.097 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Dec 05 23:36:51.357 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.06s
Dec 05 23:36:51.366 INFO [stderr] su: No module specific data is present
Dec 05 23:36:52.015 INFO running `"docker" "inspect" "add8c7bc6d30fb8ff6f72298dc035d1da0c8f0c72419e77d4c3d3f340ff7277f"`
Dec 05 23:36:52.394 INFO running `"docker" "rm" "-f" "add8c7bc6d30fb8ff6f72298dc035d1da0c8f0c72419e77d4c3d3f340ff7277f"`
Dec 05 23:36:52.716 INFO [stdout] add8c7bc6d30fb8ff6f72298dc035d1da0c8f0c72419e77d4c3d3f340ff7277f
Dec 05 23:36:52.718 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-4/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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:53.223 INFO [stdout] 25083fe033cc46087b236ce9d140a521bf632df64b2792a5313f331481a9320f
Dec 05 23:36:53.225 INFO running `"docker" "start" "-a" "25083fe033cc46087b236ce9d140a521bf632df64b2792a5313f331481a9320f"`
Dec 05 23:36:54.156 INFO [stderr] usermod: no changes
Dec 05 23:36:54.400 INFO [stderr]    Compiling criterion-stats v0.2.5
Dec 05 23:36:54.400 INFO [stderr]    Compiling itertools-num v0.1.2
Dec 05 23:36:54.424 INFO [stderr]    Compiling csv v1.0.1
Dec 05 23:36:54.424 INFO [stderr]    Compiling syn v0.14.9
Dec 05 23:36:54.449 INFO [stderr]    Compiling simplelog v0.5.2
Dec 05 23:36:54.449 INFO [stderr]    Compiling handlebars v0.32.4
Dec 05 23:37:13.105 INFO [stderr]    Compiling synstructure v0.9.0
Dec 05 23:37:13.105 INFO [stderr]    Compiling serde_derive v1.0.76
Dec 05 23:37:16.632 INFO [stderr]    Compiling failure_derive v0.1.2
Dec 05 23:37:19.068 INFO [stderr]    Compiling failure v0.1.2
Dec 05 23:37:27.324 INFO [stderr]    Compiling criterion v0.2.5
Dec 05 23:37:37.169 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Dec 05 23:37:38.914 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 44.73s
Dec 05 23:37:38.925 INFO [stderr] su: No module specific data is present
Dec 05 23:37:39.260 INFO running `"docker" "inspect" "25083fe033cc46087b236ce9d140a521bf632df64b2792a5313f331481a9320f"`
Dec 05 23:37:39.348 INFO running `"docker" "rm" "-f" "25083fe033cc46087b236ce9d140a521bf632df64b2792a5313f331481a9320f"`
Dec 05 23:37:39.445 INFO [stdout] 25083fe033cc46087b236ce9d140a521bf632df64b2792a5313f331481a9320f
Dec 05 23:37:39.447 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-4/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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:39.626 INFO [stdout] e977b4428e2542bab4b02c8a6c418509b88696bc076f1466a1d1c71f1be0ad92
Dec 05 23:37:39.630 INFO running `"docker" "start" "-a" "e977b4428e2542bab4b02c8a6c418509b88696bc076f1466a1d1c71f1be0ad92"`
Dec 05 23:37:40.127 INFO [stderr] usermod: no changes
Dec 05 23:37:40.231 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.09s
Dec 05 23:37:40.245 INFO [stderr]      Running /target/debug/deps/rustasata-7e458972c4e9b41a
Dec 05 23:37:40.249 INFO [stdout] 
Dec 05 23:37:40.249 INFO [stdout] running 4 tests
Dec 05 23:37:40.249 INFO [stdout] test clause::tests::watched_literals_returns_first_two ... ok
Dec 05 23:37:40.249 INFO [stdout] test clause::tests::propagate_swaps_literals_and_returns_new_watched ... ok
Dec 05 23:37:40.249 INFO [stdout] test solver::tests::backtrack ... ok
Dec 05 23:37:40.252 INFO [stdout] test clause::tests::watched_literals_returns_unit ... ok
Dec 05 23:37:40.252 INFO [stdout] 
Dec 05 23:37:40.252 INFO [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 05 23:37:40.252 INFO [stdout] 
Dec 05 23:37:40.253 INFO [stderr]      Running /target/debug/deps/rustasata-52ecd5450ee76cdc
Dec 05 23:37:40.254 INFO [stdout] 
Dec 05 23:37:40.254 INFO [stdout] running 0 tests
Dec 05 23:37:40.254 INFO [stdout] 
Dec 05 23:37:40.254 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 05 23:37:40.254 INFO [stdout] 
Dec 05 23:37:40.254 INFO [stderr]      Running /target/debug/deps/tests-2e7150ff00678685
Dec 05 23:37:40.263 INFO [stdout] 
Dec 05 23:37:40.263 INFO [stdout] running 27 tests
Dec 05 23:37:40.263 INFO [stdout] test test_bcp_1 ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_bcp_5 ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_contradiction ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_bcp_2 ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_file_easy_1 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_satlib_uf125_538 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_satlib_uf20_91 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_satlib_uuf125_538 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_trivial_1 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_trivial_2 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_trivial_3 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_trivial_4 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_trivial_5 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_trivial_6 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_file_trivial_7 ... ignored
Dec 05 23:37:40.263 INFO [stdout] test test_double_positive ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_double_negative ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_bcp_7 ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_bcp_6 ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_bcp_4 ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_tiny_sat_instance_2 ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_tiny_sat_instance_1 ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_one_clause_duplicate_literals ... ok
Dec 05 23:37:40.263 INFO [stdout] test test_bcp_3 ... ok
Dec 05 23:37:40.265 INFO [stdout] test test_empty_formula ... ok
Dec 05 23:37:40.265 INFO [stderr]    Doc-tests rustasata
Dec 05 23:37:40.265 INFO [stdout] test test_tiny_sat_instance_4 ... ok
Dec 05 23:37:40.265 INFO [stdout] test test_tiny_sat_instance_3 ... ok
Dec 05 23:37:40.265 INFO [stdout] 
Dec 05 23:37:40.265 INFO [stdout] test result: ok. 16 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out
Dec 05 23:37:40.265 INFO [stdout] 
Dec 05 23:37:40.788 INFO [stdout] 
Dec 05 23:37:40.788 INFO [stdout] running 0 tests
Dec 05 23:37:40.788 INFO [stdout] 
Dec 05 23:37:40.788 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 05 23:37:40.788 INFO [stdout] 
Dec 05 23:37:40.800 INFO [stderr] su: No module specific data is present
Dec 05 23:37:41.134 INFO running `"docker" "inspect" "e977b4428e2542bab4b02c8a6c418509b88696bc076f1466a1d1c71f1be0ad92"`
Dec 05 23:37:41.250 INFO running `"docker" "rm" "-f" "e977b4428e2542bab4b02c8a6c418509b88696bc076f1466a1d1c71f1be0ad92"`
Dec 05 23:37:41.396 INFO [stdout] e977b4428e2542bab4b02c8a6c418509b88696bc076f1466a1d1c71f1be0ad92