Nov 01 12:11:13.979 INFO testing danielschemmel/drsat against beta-2018-10-30 for beta-1.31-1
Nov 01 12:11:13.980 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-4/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 12:11:14.384 INFO blam! ce8be253bfc19f4473f6d4b9fcf98ffab3e623207686d4bbd2357c3272af5cf9
Nov 01 12:11:14.387 INFO running `"docker" "start" "-a" "ce8be253bfc19f4473f6d4b9fcf98ffab3e623207686d4bbd2357c3272af5cf9"`
Nov 01 12:11:15.831 INFO kablam! usermod: no changes
Nov 01 12:11:16.035 INFO kablam!    Compiling openssl-sys v0.9.35
Nov 01 12:11:16.035 INFO kablam!    Compiling libz-sys v1.0.20
Nov 01 12:11:16.035 INFO kablam!    Compiling cmake v0.1.33
Nov 01 12:11:16.035 INFO kablam!    Compiling curl-sys v0.4.8
Nov 01 12:11:16.035 INFO kablam!    Compiling bzip2-sys v0.1.6
Nov 01 12:11:16.035 INFO kablam!    Compiling lzma-sys v0.1.10
Nov 01 12:11:16.035 INFO kablam!    Compiling flate2 v1.0.2
Nov 01 12:11:16.035 INFO kablam!    Compiling error-chain v0.12.0
Nov 01 12:11:22.354 INFO kablam!    Compiling libssh2-sys v0.2.10
Nov 01 12:11:23.139 INFO kablam!    Compiling libgit2-sys v0.7.7
Nov 01 12:11:26.439 INFO kablam!    Compiling xz2 v0.1.5
Nov 01 12:11:27.403 INFO kablam!    Compiling bzip2 v0.3.3
Nov 01 12:12:09.594 INFO kablam!    Compiling git2 v0.7.5
Nov 01 12:12:18.923 INFO kablam!    Compiling drsat v0.1.0 (/source)
Nov 01 12:12:24.047 INFO kablam! warning: variable does not need to be mutable
Nov 01 12:12:24.048 INFO kablam!  --> src/cnf/problem/precompute.rs:6:19
Nov 01 12:12:24.051 INFO kablam!   |
Nov 01 12:12:24.051 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Nov 01 12:12:24.052 INFO kablam!   |                   ----^^^^^^^^^
Nov 01 12:12:24.052 INFO kablam!   |                   |
Nov 01 12:12:24.052 INFO kablam!   |                   help: remove this `mut`
Nov 01 12:12:24.053 INFO kablam!   |
Nov 01 12:12:24.053 INFO kablam!   = note: #[warn(unused_mut)] on by default
Nov 01 12:12:24.053 INFO kablam! 
Nov 01 12:12:24.054 INFO kablam! warning: variable does not need to be mutable
Nov 01 12:12:24.054 INFO kablam!  --> src/cnf/problem/precompute.rs:6:73
Nov 01 12:12:24.054 INFO kablam!   |
Nov 01 12:12:24.055 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Nov 01 12:12:24.055 INFO kablam!   |                                                                         ----^^^^^^^
Nov 01 12:12:24.055 INFO kablam!   |                                                                         |
Nov 01 12:12:24.055 INFO kablam!   |                                                                         help: remove this `mut`
Nov 01 12:12:24.056 INFO kablam! 
Nov 01 12:12:34.248 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1m 18s
Nov 01 12:12:34.262 INFO kablam! su: No module specific data is present
Nov 01 12:12:35.017 INFO running `"docker" "rm" "-f" "ce8be253bfc19f4473f6d4b9fcf98ffab3e623207686d4bbd2357c3272af5cf9"`
Nov 01 12:12:35.283 INFO blam! ce8be253bfc19f4473f6d4b9fcf98ffab3e623207686d4bbd2357c3272af5cf9
Nov 01 12:12:35.289 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-4/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 12:12:35.759 INFO blam! cb7b6372a5d8e7a4a459467d24b9d3cc2b9193b1719be3d6c8eaff4ea8de6dbc
Nov 01 12:12:35.763 INFO running `"docker" "start" "-a" "cb7b6372a5d8e7a4a459467d24b9d3cc2b9193b1719be3d6c8eaff4ea8de6dbc"`
Nov 01 12:12:37.111 INFO kablam! usermod: no changes
Nov 01 12:12:37.235 INFO kablam!    Compiling drsat v0.1.0 (/source)
Nov 01 12:12:40.047 INFO kablam! warning: variable does not need to be mutable
Nov 01 12:12:40.047 INFO kablam!  --> src/cnf/problem/precompute.rs:6:19
Nov 01 12:12:40.047 INFO kablam!   |
Nov 01 12:12:40.047 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Nov 01 12:12:40.047 INFO kablam!   |                   ----^^^^^^^^^
Nov 01 12:12:40.047 INFO kablam!   |                   |
Nov 01 12:12:40.047 INFO kablam!   |                   help: remove this `mut`
Nov 01 12:12:40.047 INFO kablam!   |
Nov 01 12:12:40.047 INFO kablam!   = note: #[warn(unused_mut)] on by default
Nov 01 12:12:40.047 INFO kablam! 
Nov 01 12:12:40.047 INFO kablam! warning: variable does not need to be mutable
Nov 01 12:12:40.047 INFO kablam!  --> src/cnf/problem/precompute.rs:6:73
Nov 01 12:12:40.047 INFO kablam!   |
Nov 01 12:12:40.047 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Nov 01 12:12:40.047 INFO kablam!   |                                                                         ----^^^^^^^
Nov 01 12:12:40.047 INFO kablam!   |                                                                         |
Nov 01 12:12:40.047 INFO kablam!   |                                                                         help: remove this `mut`
Nov 01 12:12:40.047 INFO kablam! 
Nov 01 12:12:43.136 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 5.99s
Nov 01 12:12:43.146 INFO kablam! su: No module specific data is present
Nov 01 12:12:43.924 INFO running `"docker" "rm" "-f" "cb7b6372a5d8e7a4a459467d24b9d3cc2b9193b1719be3d6c8eaff4ea8de6dbc"`
Nov 01 12:12:44.201 INFO blam! cb7b6372a5d8e7a4a459467d24b9d3cc2b9193b1719be3d6c8eaff4ea8de6dbc
Nov 01 12:12:44.208 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-4/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 12:12:44.594 INFO blam! 2379afd8a27f2b37be3f2927cd755db2bd3049a84bd8d15854948b4aca5b445b
Nov 01 12:12:44.600 INFO running `"docker" "start" "-a" "2379afd8a27f2b37be3f2927cd755db2bd3049a84bd8d15854948b4aca5b445b"`
Nov 01 12:12:45.595 INFO kablam! usermod: no changes
Nov 01 12:12:45.713 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.09s
Nov 01 12:12:45.739 INFO kablam!      Running /target/debug/deps/libdrsat-ddb9b2dbf1136bc8
Nov 01 12:12:45.746 INFO blam! 
Nov 01 12:12:45.747 INFO blam! running 43 tests
Nov 01 12:12:45.759 INFO blam! test cnf::literal::tests::literal_order1 ... ok
Nov 01 12:12:45.759 INFO blam! test cnf::literal::tests::literal_test2 ... ok
Nov 01 12:12:45.760 INFO blam! test cnf::literal::tests::literal_test1 ... ok
Nov 01 12:12:45.760 INFO blam! test cnf::literal::tests::literal_order2 ... ok
Nov 01 12:12:45.787 INFO blam! test sudoku::tests::invalid1 ... ok
Nov 01 12:12:45.787 INFO blam! test cnf::tests::sat3 ... ok
Nov 01 12:12:45.788 INFO blam! test cnf::tests::unsat1 ... ok
Nov 01 12:12:45.788 INFO blam! test cnf::tests::sat4 ... ok
Nov 01 12:12:45.788 INFO blam! test cnf::tests::sat1 ... ok
Nov 01 12:12:45.789 INFO blam! test cnf::tests::sat2 ... ok
Nov 01 12:12:45.799 INFO blam! test sudoku::tests::invalid3_deduced ... ok
Nov 01 12:12:45.807 INFO blam! test cnf::tests::unsat2 ... ok
Nov 01 12:12:45.808 INFO blam! test sudoku::tests::invalid2_deduced ... ok
Nov 01 12:12:45.813 INFO blam! test sudoku::tests::simple1 ... ok
Nov 01 12:12:45.820 INFO blam! test sudoku::tests::invalid1_deduced ... ok
Nov 01 12:12:45.821 INFO blam! test sudoku::tests::simple3 ... ok
Nov 01 12:12:45.821 INFO blam! test util::stopwatch::tests::test_format_duration_1 ... ok
Nov 01 12:12:45.821 INFO blam! test sudoku::tests::simple4 ... ok
Nov 01 12:12:45.827 INFO blam! test sudoku::tests::simple2 ... ok
Nov 01 12:12:45.827 INFO blam! test util::stopwatch::tests::test_format_duration_11 ... ok
Nov 01 12:12:45.827 INFO blam! test util::stopwatch::tests::test_format_duration_14 ... ok
Nov 01 12:12:45.827 INFO blam! test util::stopwatch::tests::test_format_duration_10 ... ok
Nov 01 12:12:45.828 INFO blam! test util::stopwatch::tests::test_format_duration_13 ... ok
Nov 01 12:12:45.828 INFO blam! test util::stopwatch::tests::test_format_duration_15 ... ok
Nov 01 12:12:45.835 INFO blam! test util::stopwatch::tests::test_format_duration_12 ... ok
Nov 01 12:12:45.835 INFO blam! test sudoku::tests::simple4_deduced ... ok
Nov 01 12:12:45.835 INFO blam! test util::stopwatch::tests::test_format_duration_19 ... ok
Nov 01 12:12:45.836 INFO blam! test util::stopwatch::tests::test_format_duration_18 ... ok
Nov 01 12:12:45.836 INFO blam! test util::stopwatch::tests::test_format_duration_21 ... ok
Nov 01 12:12:45.836 INFO blam! test util::stopwatch::tests::test_format_duration_22 ... ok
Nov 01 12:12:45.859 INFO blam! test util::stopwatch::tests::test_format_duration_3 ... ok
Nov 01 12:12:45.859 INFO blam! test util::stopwatch::tests::test_format_duration_2 ... ok
Nov 01 12:12:45.859 INFO blam! test util::stopwatch::tests::test_format_duration_20 ... ok
Nov 01 12:12:45.863 INFO blam! test sudoku::tests::invalid3 ... ok
Nov 01 12:12:45.863 INFO blam! test util::stopwatch::tests::test_format_duration_17 ... ok
Nov 01 12:12:45.863 INFO blam! test util::stopwatch::tests::test_format_duration_16 ... ok
Nov 01 12:12:45.863 INFO blam! test util::stopwatch::tests::test_format_duration_9 ... ok
Nov 01 12:12:45.863 INFO blam! test util::stopwatch::tests::test_format_duration_6 ... ok
Nov 01 12:12:45.863 INFO blam! test util::stopwatch::tests::test_format_duration_5 ... ok
Nov 01 12:12:45.865 INFO blam! test util::stopwatch::tests::test_format_duration_8 ... ok
Nov 01 12:12:45.865 INFO blam! test util::stopwatch::tests::test_format_duration_7 ... ok
Nov 01 12:12:45.867 INFO blam! test util::stopwatch::tests::test_format_duration_4 ... ok
Nov 01 12:12:52.881 INFO blam! test sudoku::tests::invalid2 ... ok
Nov 01 12:12:52.881 INFO blam! 
Nov 01 12:12:52.881 INFO blam! test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:52.881 INFO blam! 
Nov 01 12:12:52.883 INFO kablam!      Running /target/debug/deps/comp-592bfe8b9e52a131
Nov 01 12:12:52.884 INFO blam! 
Nov 01 12:12:52.884 INFO blam! running 0 tests
Nov 01 12:12:52.884 INFO blam! 
Nov 01 12:12:52.884 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:52.884 INFO blam! 
Nov 01 12:12:52.891 INFO kablam!      Running /target/debug/deps/dimacs-01097c81ea37bbe6
Nov 01 12:12:52.891 INFO kablam!      Running /target/debug/deps/drsat-b2145c828357e5a6
Nov 01 12:12:52.891 INFO blam! 
Nov 01 12:12:52.891 INFO blam! running 0 tests
Nov 01 12:12:52.891 INFO blam! 
Nov 01 12:12:52.891 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:52.891 INFO blam! 
Nov 01 12:12:52.895 INFO blam! 
Nov 01 12:12:52.895 INFO blam! running 0 tests
Nov 01 12:12:52.895 INFO blam! 
Nov 01 12:12:52.895 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:52.895 INFO blam! 
Nov 01 12:12:52.896 INFO kablam!      Running /target/debug/deps/npn-56b584c5642cbc98
Nov 01 12:12:52.899 INFO blam! 
Nov 01 12:12:52.899 INFO blam! running 0 tests
Nov 01 12:12:52.899 INFO blam! 
Nov 01 12:12:52.899 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:52.899 INFO blam! 
Nov 01 12:12:52.906 INFO kablam!      Running /target/debug/deps/sudoku-8a7f7ce162ca3cb7
Nov 01 12:12:52.906 INFO kablam!    Doc-tests libdrsat
Nov 01 12:12:52.906 INFO blam! 
Nov 01 12:12:52.906 INFO blam! running 0 tests
Nov 01 12:12:52.906 INFO blam! 
Nov 01 12:12:52.906 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:52.906 INFO blam! 
Nov 01 12:12:54.681 INFO blam! 
Nov 01 12:12:54.681 INFO blam! running 0 tests
Nov 01 12:12:54.682 INFO blam! 
Nov 01 12:12:54.682 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:54.682 INFO blam! 
Nov 01 12:12:54.690 INFO kablam! su: No module specific data is present
Nov 01 12:12:55.561 INFO running `"docker" "rm" "-f" "2379afd8a27f2b37be3f2927cd755db2bd3049a84bd8d15854948b4aca5b445b"`
Nov 01 12:12:55.820 INFO blam! 2379afd8a27f2b37be3f2927cd755db2bd3049a84bd8d15854948b4aca5b445b
