Oct 10 23:05:03.540 INFO testing flammel/rustasata against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 10 23:05:03.540 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 10 23:05:03.540 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-7/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 10 23:05:04.156 INFO blam! 57fefe5e28855dd00468d8840902e36ad7610975961468f223624f9c920dc530
Oct 10 23:05:04.156 INFO running `"docker" "start" "-a" "57fefe5e28855dd00468d8840902e36ad7610975961468f223624f9c920dc530"`
Oct 10 23:05:05.357 INFO kablam! usermod: no changes
Oct 10 23:05:05.523 INFO kablam!    Compiling indexmap v0.4.1
Oct 10 23:05:07.168 INFO kablam!    Compiling priority-queue v0.5.2
Oct 10 23:05:08.071 INFO kablam!    Compiling rustasata v0.1.0 (/source)
Oct 10 23:05:13.560 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 8.17s
Oct 10 23:05:13.560 INFO kablam! su: No module specific data is present
Oct 10 23:05:14.407 INFO running `"docker" "rm" "-f" "57fefe5e28855dd00468d8840902e36ad7610975961468f223624f9c920dc530"`
Oct 10 23:05:14.720 INFO blam! 57fefe5e28855dd00468d8840902e36ad7610975961468f223624f9c920dc530
Oct 10 23:05:14.726 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 10 23:05:14.728 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-7/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 10 23:05:15.128 INFO blam! eabb311c688d22703e6ec1cc41dd9349af9cbc2eb2053e3ba481514297046f76
Oct 10 23:05:15.128 INFO running `"docker" "start" "-a" "eabb311c688d22703e6ec1cc41dd9349af9cbc2eb2053e3ba481514297046f76"`
Oct 10 23:05:16.265 INFO kablam! usermod: no changes
Oct 10 23:05:16.552 INFO kablam!    Compiling csv-core v0.1.4
Oct 10 23:05:16.552 INFO kablam!    Compiling itertools-num v0.1.2
Oct 10 23:05:16.552 INFO kablam!    Compiling criterion-stats v0.2.5
Oct 10 23:05:16.552 INFO kablam!    Compiling chrono v0.4.6
Oct 10 23:05:16.552 INFO kablam!    Compiling handlebars v0.32.4
Oct 10 23:05:21.260 INFO kablam!    Compiling csv v1.0.1
Oct 10 23:05:24.967 INFO kablam!    Compiling simplelog v0.5.2
Oct 10 23:05:33.488 INFO kablam!    Compiling criterion v0.2.5
Oct 10 23:05:47.574 INFO kablam!    Compiling rustasata v0.1.0 (/source)
Oct 10 23:05:52.654 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 36.36s
Oct 10 23:05:52.671 INFO kablam! su: No module specific data is present
Oct 10 23:05:53.517 INFO running `"docker" "rm" "-f" "eabb311c688d22703e6ec1cc41dd9349af9cbc2eb2053e3ba481514297046f76"`
Oct 10 23:05:53.820 INFO blam! eabb311c688d22703e6ec1cc41dd9349af9cbc2eb2053e3ba481514297046f76
Oct 10 23:05:53.840 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 10 23:05:53.840 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-7/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 10 23:05:54.349 INFO blam! 84bdb896e0ef846eaa11ed8b786bfe8a0c87a979ed99665fb808d62c882331d0
Oct 10 23:05:54.350 INFO running `"docker" "start" "-a" "84bdb896e0ef846eaa11ed8b786bfe8a0c87a979ed99665fb808d62c882331d0"`
Oct 10 23:05:55.837 INFO kablam! usermod: no changes
Oct 10 23:05:56.088 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.21s
Oct 10 23:05:56.096 INFO kablam!      Running /target/debug/deps/rustasata-538a88961a1b556b
Oct 10 23:05:56.097 INFO blam! 
Oct 10 23:05:56.097 INFO blam! running 4 tests
Oct 10 23:05:56.113 INFO blam! test clause::tests::watched_literals_returns_first_two ... ok
Oct 10 23:05:56.113 INFO blam! test clause::tests::propagate_swaps_literals_and_returns_new_watched ... ok
Oct 10 23:05:56.124 INFO blam! test clause::tests::watched_literals_returns_unit ... ok
Oct 10 23:05:56.125 INFO kablam!      Running /target/debug/deps/rustasata-baf61c732d5d5e71
Oct 10 23:05:56.125 INFO blam! test solver::tests::backtrack ... ok
Oct 10 23:05:56.126 INFO kablam!      Running /target/debug/deps/tests-28b905f5d30ebf35
Oct 10 23:05:56.126 INFO blam! 
Oct 10 23:05:56.126 INFO blam! test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 10 23:05:56.126 INFO blam! 
Oct 10 23:05:56.127 INFO blam! 
Oct 10 23:05:56.127 INFO blam! running 0 tests
Oct 10 23:05:56.127 INFO blam! 
Oct 10 23:05:56.127 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 10 23:05:56.128 INFO blam! 
Oct 10 23:05:56.132 INFO blam! 
Oct 10 23:05:56.133 INFO blam! running 27 tests
Oct 10 23:05:56.140 INFO blam! test test_bcp_4 ... ok
Oct 10 23:05:56.141 INFO blam! test test_bcp_6 ... ok
Oct 10 23:05:56.141 INFO blam! test test_bcp_3 ... ok
Oct 10 23:05:56.141 INFO blam! test test_empty_formula ... ok
Oct 10 23:05:56.142 INFO blam! test test_file_easy_1 ... ignored
Oct 10 23:05:56.142 INFO blam! test test_file_satlib_uf125_538 ... ignored
Oct 10 23:05:56.142 INFO blam! test test_file_satlib_uf20_91 ... ignored
Oct 10 23:05:56.143 INFO blam! test test_file_satlib_uuf125_538 ... ignored
Oct 10 23:05:56.143 INFO blam! test test_file_trivial_1 ... ignored
Oct 10 23:05:56.143 INFO blam! test test_file_trivial_2 ... ignored
Oct 10 23:05:56.144 INFO blam! test test_file_trivial_3 ... ignored
Oct 10 23:05:56.144 INFO blam! test test_file_trivial_4 ... ignored
Oct 10 23:05:56.144 INFO blam! test test_file_trivial_5 ... ignored
Oct 10 23:05:56.144 INFO kablam!    Doc-tests rustasata
Oct 10 23:05:56.145 INFO blam! test test_file_trivial_6 ... ignored
Oct 10 23:05:56.145 INFO blam! test test_file_trivial_7 ... ignored
Oct 10 23:05:56.145 INFO blam! test test_one_clause_duplicate_literals ... ok
Oct 10 23:05:56.146 INFO blam! test test_tiny_sat_instance_1 ... ok
Oct 10 23:05:56.146 INFO blam! test test_tiny_sat_instance_2 ... ok
Oct 10 23:05:56.146 INFO blam! test test_tiny_sat_instance_3 ... ok
Oct 10 23:05:56.146 INFO blam! test test_tiny_sat_instance_4 ... ok
Oct 10 23:05:56.147 INFO blam! test test_double_negative ... ok
Oct 10 23:05:56.147 INFO blam! test test_double_positive ... ok
Oct 10 23:05:56.147 INFO blam! test test_bcp_7 ... ok
Oct 10 23:05:56.147 INFO blam! test test_bcp_2 ... ok
Oct 10 23:05:56.148 INFO blam! test test_bcp_1 ... ok
Oct 10 23:05:56.148 INFO blam! test test_contradiction ... ok
Oct 10 23:05:56.148 INFO blam! test test_bcp_5 ... ok
Oct 10 23:05:56.149 INFO blam! 
Oct 10 23:05:56.149 INFO blam! test result: ok. 16 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out
Oct 10 23:05:56.149 INFO blam! 
Oct 10 23:05:57.663 INFO blam! 
Oct 10 23:05:57.663 INFO blam! running 0 tests
Oct 10 23:05:57.663 INFO blam! 
Oct 10 23:05:57.663 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 10 23:05:57.663 INFO blam! 
Oct 10 23:05:57.670 INFO kablam! su: No module specific data is present
Oct 10 23:05:58.548 INFO running `"docker" "rm" "-f" "84bdb896e0ef846eaa11ed8b786bfe8a0c87a979ed99665fb808d62c882331d0"`
Oct 10 23:05:58.821 INFO blam! 84bdb896e0ef846eaa11ed8b786bfe8a0c87a979ed99665fb808d62c882331d0