Oct 14 20:41:00.671 INFO testing flammel/rustasata against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling-1
Oct 14 20:41:00.673 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-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"`
Oct 14 20:41:01.171 INFO blam! b1bec18de4e8b8db07fc3b54d841ddd947d0a320dd5cfe26272bf5bec9b6e3ec
Oct 14 20:41:01.187 INFO running `"docker" "start" "-a" "b1bec18de4e8b8db07fc3b54d841ddd947d0a320dd5cfe26272bf5bec9b6e3ec"`
Oct 14 20:41:02.902 INFO kablam! usermod: no changes
Oct 14 20:41:03.079 INFO kablam!    Compiling indexmap v0.4.1
Oct 14 20:41:03.087 INFO kablam!    Compiling log v0.4.4
Oct 14 20:41:04.437 INFO kablam!    Compiling fern v0.5.6
Oct 14 20:41:05.614 INFO kablam!    Compiling priority-queue v0.5.2
Oct 14 20:41:08.309 INFO kablam!    Compiling rustasata v0.1.0 (/source)
Oct 14 20:41:13.435 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 10.51s
Oct 14 20:41:13.444 INFO kablam! su: No module specific data is present
Oct 14 20:41:15.133 INFO running `"docker" "rm" "-f" "b1bec18de4e8b8db07fc3b54d841ddd947d0a320dd5cfe26272bf5bec9b6e3ec"`
Oct 14 20:41:15.431 INFO blam! b1bec18de4e8b8db07fc3b54d841ddd947d0a320dd5cfe26272bf5bec9b6e3ec
Oct 14 20:41:15.440 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-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"`
Oct 14 20:41:15.983 INFO blam! 8f3522324901b504dbeacd9eadc912963e850b6ca8797d6df51f3afc6914632f
Oct 14 20:41:15.985 INFO running `"docker" "start" "-a" "8f3522324901b504dbeacd9eadc912963e850b6ca8797d6df51f3afc6914632f"`
Oct 14 20:41:18.351 INFO kablam! usermod: no changes
Oct 14 20:41:18.705 INFO kablam!    Compiling regex v1.0.4
Oct 14 20:41:18.707 INFO kablam!    Compiling same-file v1.0.3
Oct 14 20:41:18.709 INFO kablam!    Compiling csv-core v0.1.4
Oct 14 20:41:18.709 INFO kablam!    Compiling criterion-plot v0.2.5
Oct 14 20:41:18.709 INFO kablam!    Compiling num-integer v0.1.39
Oct 14 20:41:18.709 INFO kablam!    Compiling criterion-stats v0.2.5
Oct 14 20:41:18.720 INFO kablam!    Compiling itertools-num v0.1.2
Oct 14 20:41:21.236 INFO kablam!    Compiling walkdir v2.2.5
Oct 14 20:41:25.177 INFO kablam!    Compiling csv v1.0.1
Oct 14 20:41:25.523 INFO kablam!    Compiling chrono v0.4.6
Oct 14 20:41:35.107 INFO kablam!    Compiling simplelog v0.5.2
Oct 14 20:41:46.533 INFO kablam!    Compiling handlebars v0.32.4
Oct 14 20:41:57.040 INFO kablam!    Compiling criterion v0.2.5
Oct 14 20:42:09.834 INFO kablam!    Compiling rustasata v0.1.0 (/source)
Oct 14 20:42:13.823 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 55.44s
Oct 14 20:42:13.839 INFO kablam! su: No module specific data is present
Oct 14 20:42:14.635 INFO running `"docker" "rm" "-f" "8f3522324901b504dbeacd9eadc912963e850b6ca8797d6df51f3afc6914632f"`
Oct 14 20:42:15.031 INFO blam! 8f3522324901b504dbeacd9eadc912963e850b6ca8797d6df51f3afc6914632f
Oct 14 20:42:15.034 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-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"`
Oct 14 20:42:15.496 INFO blam! c2707c65316dbdd9d9802bed93baf096cfd3adc88bff58a8d39d5eaaf994b6c0
Oct 14 20:42:15.499 INFO running `"docker" "start" "-a" "c2707c65316dbdd9d9802bed93baf096cfd3adc88bff58a8d39d5eaaf994b6c0"`
Oct 14 20:42:16.822 INFO kablam! usermod: no changes
Oct 14 20:42:17.072 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.21s
Oct 14 20:42:17.089 INFO kablam!      Running /target/debug/deps/rustasata-538a88961a1b556b
Oct 14 20:42:17.099 INFO blam! 
Oct 14 20:42:17.099 INFO blam! running 4 tests
Oct 14 20:42:17.099 INFO blam! test clause::tests::propagate_swaps_literals_and_returns_new_watched ... ok
Oct 14 20:42:17.099 INFO blam! test solver::tests::backtrack ... ok
Oct 14 20:42:17.099 INFO blam! test clause::tests::watched_literals_returns_first_two ... ok
Oct 14 20:42:17.099 INFO blam! test clause::tests::watched_literals_returns_unit ... ok
Oct 14 20:42:17.099 INFO blam! 
Oct 14 20:42:17.099 INFO blam! test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 14 20:42:17.099 INFO blam! 
Oct 14 20:42:17.099 INFO blam! 
Oct 14 20:42:17.099 INFO blam! running 0 tests
Oct 14 20:42:17.099 INFO blam! 
Oct 14 20:42:17.099 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 14 20:42:17.099 INFO blam! 
Oct 14 20:42:17.099 INFO blam! 
Oct 14 20:42:17.099 INFO blam! running 27 tests
Oct 14 20:42:17.102 INFO kablam!      Running /target/debug/deps/rustasata-baf61c732d5d5e71
Oct 14 20:42:17.102 INFO kablam!      Running /target/debug/deps/tests-28b905f5d30ebf35
Oct 14 20:42:17.106 INFO blam! test test_bcp_2 ... ok
Oct 14 20:42:17.106 INFO blam! test test_bcp_1 ... ok
Oct 14 20:42:17.106 INFO blam! test test_double_negative ... ok
Oct 14 20:42:17.106 INFO blam! test test_double_positive ... ok
Oct 14 20:42:17.106 INFO blam! test test_file_easy_1 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_satlib_uf125_538 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_satlib_uf20_91 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_satlib_uuf125_538 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_trivial_1 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_trivial_2 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_trivial_3 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_trivial_4 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_trivial_5 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_trivial_6 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_file_trivial_7 ... ignored
Oct 14 20:42:17.106 INFO blam! test test_bcp_7 ... ok
Oct 14 20:42:17.106 INFO blam! test test_contradiction ... ok
Oct 14 20:42:17.106 INFO blam! test test_bcp_6 ... ok
Oct 14 20:42:17.106 INFO blam! test test_bcp_3 ... ok
Oct 14 20:42:17.106 INFO blam! test test_bcp_5 ... ok
Oct 14 20:42:17.106 INFO blam! test test_bcp_4 ... ok
Oct 14 20:42:17.106 INFO blam! test test_empty_formula ... ok
Oct 14 20:42:17.107 INFO blam! test test_one_clause_duplicate_literals ... ok
Oct 14 20:42:17.107 INFO blam! test test_tiny_sat_instance_1 ... ok
Oct 14 20:42:17.108 INFO blam! test test_tiny_sat_instance_2 ... ok
Oct 14 20:42:17.108 INFO blam! test test_tiny_sat_instance_3 ... ok
Oct 14 20:42:17.109 INFO blam! test test_tiny_sat_instance_4 ... ok
Oct 14 20:42:17.109 INFO blam! 
Oct 14 20:42:17.109 INFO blam! test result: ok. 16 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out
Oct 14 20:42:17.109 INFO blam! 
Oct 14 20:42:17.115 INFO kablam!    Doc-tests rustasata
Oct 14 20:42:17.763 INFO blam! 
Oct 14 20:42:17.763 INFO blam! running 0 tests
Oct 14 20:42:17.763 INFO blam! 
Oct 14 20:42:17.763 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 14 20:42:17.763 INFO blam! 
Oct 14 20:42:17.769 INFO kablam! su: No module specific data is present
Oct 14 20:42:18.715 INFO running `"docker" "rm" "-f" "c2707c65316dbdd9d9802bed93baf096cfd3adc88bff58a8d39d5eaaf994b6c0"`
Oct 14 20:42:18.966 INFO blam! c2707c65316dbdd9d9802bed93baf096cfd3adc88bff58a8d39d5eaaf994b6c0