Nov 01 09:49:29.725 INFO testing flammel/rustasata against beta-2018-10-30 for beta-1.31-1
Nov 01 09:49:29.726 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/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 09:49:30.496 INFO blam! d810e65b15a7578299e08e4bf432750c4e128cde65e5454e9fadbc700ced7c2c
Nov 01 09:49:30.503 INFO running `"docker" "start" "-a" "d810e65b15a7578299e08e4bf432750c4e128cde65e5454e9fadbc700ced7c2c"`
Nov 01 09:49:31.907 INFO kablam! usermod: no changes
Nov 01 09:49:32.114 INFO kablam!    Compiling indexmap v0.4.1
Nov 01 09:49:32.127 INFO kablam!    Compiling fern v0.5.6
Nov 01 09:49:34.227 INFO kablam!    Compiling priority-queue v0.5.2
Nov 01 09:49:36.627 INFO kablam!    Compiling rustasata v0.1.0 (/source)
Nov 01 09:49:41.267 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 9.31s
Nov 01 09:49:41.273 INFO kablam! su: No module specific data is present
Nov 01 09:49:42.147 INFO running `"docker" "rm" "-f" "d810e65b15a7578299e08e4bf432750c4e128cde65e5454e9fadbc700ced7c2c"`
Nov 01 09:49:42.559 INFO blam! d810e65b15a7578299e08e4bf432750c4e128cde65e5454e9fadbc700ced7c2c
Nov 01 09:49:42.567 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/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 09:49:43.044 INFO blam! a5db9b56f22b8d3ccc4d79d5c9bf2ee6e7e604747d93382a5dc7a7e52af66286
Nov 01 09:49:43.046 INFO running `"docker" "start" "-a" "a5db9b56f22b8d3ccc4d79d5c9bf2ee6e7e604747d93382a5dc7a7e52af66286"`
Nov 01 09:49:44.327 INFO kablam! usermod: no changes
Nov 01 09:49:44.603 INFO kablam!    Compiling criterion-plot v0.2.5
Nov 01 09:49:44.603 INFO kablam!    Compiling criterion-stats v0.2.5
Nov 01 09:49:44.603 INFO kablam!    Compiling itertools-num v0.1.2
Nov 01 09:49:44.695 INFO kablam!    Compiling csv v1.0.1
Nov 01 09:49:44.695 INFO kablam!    Compiling syn v0.14.9
Nov 01 09:49:44.722 INFO kablam!    Compiling simplelog v0.5.2
Nov 01 09:49:44.722 INFO kablam!    Compiling handlebars v0.32.4
Nov 01 09:50:08.939 INFO kablam!    Compiling synstructure v0.9.0
Nov 01 09:50:08.939 INFO kablam!    Compiling serde_derive v1.0.76
Nov 01 09:50:13.927 INFO kablam!    Compiling failure_derive v0.1.2
Nov 01 09:50:18.796 INFO kablam!    Compiling failure v0.1.2
Nov 01 09:50:28.899 INFO kablam!    Compiling criterion v0.2.5
Nov 01 09:50:40.874 INFO kablam!    Compiling rustasata v0.1.0 (/source)
Nov 01 09:50:44.863 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1m 00s
Nov 01 09:50:44.875 INFO kablam! su: No module specific data is present
Nov 01 09:50:45.675 INFO running `"docker" "rm" "-f" "a5db9b56f22b8d3ccc4d79d5c9bf2ee6e7e604747d93382a5dc7a7e52af66286"`
Nov 01 09:50:45.963 INFO blam! a5db9b56f22b8d3ccc4d79d5c9bf2ee6e7e604747d93382a5dc7a7e52af66286
Nov 01 09:50:45.965 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/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 09:50:46.445 INFO blam! 85f85539e16fd1e5e8483cf53d72446258e1dd51f5683f81ede7a0aeac2178ae
Nov 01 09:50:46.449 INFO running `"docker" "start" "-a" "85f85539e16fd1e5e8483cf53d72446258e1dd51f5683f81ede7a0aeac2178ae"`
Nov 01 09:50:47.450 INFO kablam! usermod: no changes
Nov 01 09:50:47.567 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.09s
Nov 01 09:50:47.574 INFO kablam!      Running /target/debug/deps/rustasata-2a2e1cc78f0849f4
Nov 01 09:50:47.577 INFO blam! 
Nov 01 09:50:47.577 INFO blam! running 4 tests
Nov 01 09:50:47.577 INFO blam! test solver::tests::backtrack ... ok
Nov 01 09:50:47.577 INFO blam! test clause::tests::watched_literals_returns_first_two ... ok
Nov 01 09:50:47.577 INFO blam! test clause::tests::propagate_swaps_literals_and_returns_new_watched ... ok
Nov 01 09:50:47.583 INFO blam! test clause::tests::watched_literals_returns_unit ... ok
Nov 01 09:50:47.583 INFO blam! 
Nov 01 09:50:47.583 INFO blam! test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 09:50:47.583 INFO blam! 
Nov 01 09:50:47.583 INFO kablam!      Running /target/debug/deps/rustasata-b7b757c44183ada4
Nov 01 09:50:47.589 INFO blam! 
Nov 01 09:50:47.589 INFO blam! running 0 tests
Nov 01 09:50:47.589 INFO blam! 
Nov 01 09:50:47.589 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 09:50:47.589 INFO blam! 
Nov 01 09:50:47.596 INFO kablam!      Running /target/debug/deps/tests-bbb3e4faae0d7f0d
Nov 01 09:50:47.608 INFO blam! 
Nov 01 09:50:47.609 INFO blam! running 27 tests
Nov 01 09:50:47.627 INFO blam! test test_bcp_1 ... ok
Nov 01 09:50:47.627 INFO blam! test test_contradiction ... ok
Nov 01 09:50:47.635 INFO blam! test test_bcp_3 ... ok
Nov 01 09:50:47.635 INFO blam! test test_bcp_4 ... ok
Nov 01 09:50:47.635 INFO blam! test test_file_easy_1 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_satlib_uf125_538 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_satlib_uf20_91 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_satlib_uuf125_538 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_trivial_1 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_trivial_2 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_trivial_3 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_trivial_4 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_trivial_5 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_trivial_6 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_file_trivial_7 ... ignored
Nov 01 09:50:47.635 INFO blam! test test_bcp_5 ... ok
Nov 01 09:50:47.635 INFO blam! test test_bcp_7 ... ok
Nov 01 09:50:47.635 INFO blam! test test_bcp_6 ... ok
Nov 01 09:50:47.635 INFO blam! test test_double_negative ... ok
Nov 01 09:50:47.635 INFO blam! test test_bcp_2 ... ok
Nov 01 09:50:47.635 INFO blam! test test_tiny_sat_instance_2 ... ok
Nov 01 09:50:47.635 INFO blam! test test_tiny_sat_instance_4 ... ok
Nov 01 09:50:47.635 INFO blam! test test_tiny_sat_instance_3 ... ok
Nov 01 09:50:47.635 INFO blam! test test_empty_formula ... ok
Nov 01 09:50:47.635 INFO blam! test test_tiny_sat_instance_1 ... ok
Nov 01 09:50:47.635 INFO blam! test test_one_clause_duplicate_literals ... ok
Nov 01 09:50:47.635 INFO blam! test test_double_positive ... ok
Nov 01 09:50:47.635 INFO blam! 
Nov 01 09:50:47.635 INFO blam! test result: ok. 16 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out
Nov 01 09:50:47.635 INFO blam! 
Nov 01 09:50:47.635 INFO kablam!    Doc-tests rustasata
Nov 01 09:50:48.439 INFO kablam! su: No module specific data is present
Nov 01 09:50:48.439 INFO blam! 
Nov 01 09:50:48.439 INFO blam! running 0 tests
Nov 01 09:50:48.439 INFO blam! 
Nov 01 09:50:48.439 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 09:50:48.439 INFO blam! 
Nov 01 09:50:49.179 INFO running `"docker" "rm" "-f" "85f85539e16fd1e5e8483cf53d72446258e1dd51f5683f81ede7a0aeac2178ae"`
Nov 01 09:50:49.391 INFO blam! 85f85539e16fd1e5e8483cf53d72446258e1dd51f5683f81ede7a0aeac2178ae
