Nov 17 13:14:38.628 INFO testing Naalunth/rust-dpll against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982
Nov 17 13:14:38.628 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 17 13:14:39.032 INFO [stdout] 383884b27dd531f7244d3a8e9dd651ea3789a33d90a91c3bb796f4edb80d3c77
Nov 17 13:14:39.035 INFO running `"docker" "start" "-a" "383884b27dd531f7244d3a8e9dd651ea3789a33d90a91c3bb796f4edb80d3c77"`
Nov 17 13:14:40.654 INFO [stderr] usermod: no changes
Nov 17 13:14:40.731 INFO [stderr]    Compiling sat-solver v0.1.0 (/source)
Nov 17 13:14:45.810 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.13s
Nov 17 13:14:45.815 INFO [stderr] su: No module specific data is present
Nov 17 13:14:46.933 INFO running `"docker" "inspect" "383884b27dd531f7244d3a8e9dd651ea3789a33d90a91c3bb796f4edb80d3c77"`
Nov 17 13:14:47.213 INFO running `"docker" "rm" "-f" "383884b27dd531f7244d3a8e9dd651ea3789a33d90a91c3bb796f4edb80d3c77"`
Nov 17 13:14:47.577 INFO [stdout] 383884b27dd531f7244d3a8e9dd651ea3789a33d90a91c3bb796f4edb80d3c77
Nov 17 13:14:47.584 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 17 13:14:48.005 INFO [stdout] c75c1cd100ca57c7970ac5dc6dd53ef7257de2f138e4e5348c97e43609b15696
Nov 17 13:14:48.007 INFO running `"docker" "start" "-a" "c75c1cd100ca57c7970ac5dc6dd53ef7257de2f138e4e5348c97e43609b15696"`
Nov 17 13:14:49.470 INFO [stderr] usermod: no changes
Nov 17 13:14:49.543 INFO [stderr]    Compiling sat-solver v0.1.0 (/source)
Nov 17 13:14:53.403 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.91s
Nov 17 13:14:53.406 INFO [stderr] su: No module specific data is present
Nov 17 13:14:54.655 INFO running `"docker" "inspect" "c75c1cd100ca57c7970ac5dc6dd53ef7257de2f138e4e5348c97e43609b15696"`
Nov 17 13:14:54.995 INFO running `"docker" "rm" "-f" "c75c1cd100ca57c7970ac5dc6dd53ef7257de2f138e4e5348c97e43609b15696"`
Nov 17 13:14:55.361 INFO [stdout] c75c1cd100ca57c7970ac5dc6dd53ef7257de2f138e4e5348c97e43609b15696
Nov 17 13:14:55.370 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 17 13:14:55.791 INFO [stdout] 6292f6a6c61f5c862b98b9bd8ae0e3b96520f4a78f66da5f836a4f6299a10652
Nov 17 13:14:55.799 INFO running `"docker" "start" "-a" "6292f6a6c61f5c862b98b9bd8ae0e3b96520f4a78f66da5f836a4f6299a10652"`
Nov 17 13:14:57.771 INFO [stderr] usermod: no changes
Nov 17 13:14:57.819 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Nov 17 13:14:57.819 INFO [stderr]      Running /target/debug/deps/sat_solver-c7dd89280547c2aa
Nov 17 13:14:57.827 INFO [stdout] 
Nov 17 13:14:57.827 INFO [stdout] running 1 test
Nov 17 13:14:59.313 INFO [stdout] test tests::bench_resolver_non_batched ... ok
Nov 17 13:14:59.313 INFO [stdout] 
Nov 17 13:14:59.313 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 13:14:59.313 INFO [stdout] 
Nov 17 13:14:59.314 INFO [stderr]      Running /target/debug/deps/sat_solver-cfd14326f2009d9d
Nov 17 13:14:59.317 INFO [stdout] 
Nov 17 13:14:59.317 INFO [stdout] running 0 tests
Nov 17 13:14:59.320 INFO [stdout] 
Nov 17 13:14:59.320 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 13:14:59.320 INFO [stdout] 
Nov 17 13:14:59.323 INFO [stderr]    Doc-tests sat-solver
Nov 17 13:15:00.122 INFO [stdout] 
Nov 17 13:15:00.122 INFO [stdout] running 0 tests
Nov 17 13:15:00.122 INFO [stdout] 
Nov 17 13:15:00.123 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 13:15:00.123 INFO [stdout] 
Nov 17 13:15:00.129 INFO [stderr] su: No module specific data is present
Nov 17 13:15:01.662 INFO running `"docker" "inspect" "6292f6a6c61f5c862b98b9bd8ae0e3b96520f4a78f66da5f836a4f6299a10652"`
Nov 17 13:15:01.909 INFO running `"docker" "rm" "-f" "6292f6a6c61f5c862b98b9bd8ae0e3b96520f4a78f66da5f836a4f6299a10652"`
Nov 17 13:15:02.175 INFO [stdout] 6292f6a6c61f5c862b98b9bd8ae0e3b96520f4a78f66da5f836a4f6299a10652