Dec 06 11:26:06.176 INFO testing Naalunth/rust-dpll against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514
Dec 06 11:26:06.176 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-6/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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"`
Dec 06 11:26:06.689 INFO [stdout] a7f770565a45032d71de81585976521a4c6c94b4d62e323f54adde15c32718ce
Dec 06 11:26:06.691 INFO running `"docker" "start" "-a" "a7f770565a45032d71de81585976521a4c6c94b4d62e323f54adde15c32718ce"`
Dec 06 11:26:08.938 INFO [stderr] usermod: no changes
Dec 06 11:26:08.992 INFO [stderr]    Compiling sat-solver v0.1.0 (/source)
Dec 06 11:26:13.617 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 4.64s
Dec 06 11:26:13.620 INFO [stderr] su: No module specific data is present
Dec 06 11:26:15.191 INFO running `"docker" "inspect" "a7f770565a45032d71de81585976521a4c6c94b4d62e323f54adde15c32718ce"`
Dec 06 11:26:15.542 INFO running `"docker" "rm" "-f" "a7f770565a45032d71de81585976521a4c6c94b4d62e323f54adde15c32718ce"`
Dec 06 11:26:15.879 INFO [stdout] a7f770565a45032d71de81585976521a4c6c94b4d62e323f54adde15c32718ce
Dec 06 11:26:15.882 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-6/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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"`
Dec 06 11:26:16.354 INFO [stdout] 8e48a30d3d21d228e0d604d740430b40bde086e7112ee2ccefc4b429b79fa266
Dec 06 11:26:16.356 INFO running `"docker" "start" "-a" "8e48a30d3d21d228e0d604d740430b40bde086e7112ee2ccefc4b429b79fa266"`
Dec 06 11:26:18.144 INFO [stderr] usermod: no changes
Dec 06 11:26:18.198 INFO [stderr]    Compiling sat-solver v0.1.0 (/source)
Dec 06 11:26:21.217 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.04s
Dec 06 11:26:21.220 INFO [stderr] su: No module specific data is present
Dec 06 11:26:22.248 INFO running `"docker" "inspect" "8e48a30d3d21d228e0d604d740430b40bde086e7112ee2ccefc4b429b79fa266"`
Dec 06 11:26:22.380 INFO running `"docker" "rm" "-f" "8e48a30d3d21d228e0d604d740430b40bde086e7112ee2ccefc4b429b79fa266"`
Dec 06 11:26:22.527 INFO [stdout] 8e48a30d3d21d228e0d604d740430b40bde086e7112ee2ccefc4b429b79fa266
Dec 06 11:26:22.530 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-6/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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"`
Dec 06 11:26:23.048 INFO [stdout] 06ca30e0db4b3a9cd529a65a522a1c6923cdf5768041f489c3732d89034ebf8e
Dec 06 11:26:23.051 INFO running `"docker" "start" "-a" "06ca30e0db4b3a9cd529a65a522a1c6923cdf5768041f489c3732d89034ebf8e"`
Dec 06 11:26:24.880 INFO [stderr] usermod: no changes
Dec 06 11:26:24.946 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.03s
Dec 06 11:26:24.946 INFO [stderr]      Running /target/debug/deps/sat_solver-739f8d8aaf032f36
Dec 06 11:26:24.968 INFO [stdout] 
Dec 06 11:26:24.968 INFO [stdout] running 1 test
Dec 06 11:26:26.195 INFO [stdout] test tests::bench_resolver_non_batched ... ok
Dec 06 11:26:26.195 INFO [stdout] 
Dec 06 11:26:26.195 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 11:26:26.195 INFO [stdout] 
Dec 06 11:26:26.195 INFO [stderr]      Running /target/debug/deps/sat_solver-18c0b171fef3b299
Dec 06 11:26:26.201 INFO [stdout] 
Dec 06 11:26:26.201 INFO [stdout] running 0 tests
Dec 06 11:26:26.202 INFO [stdout] 
Dec 06 11:26:26.202 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 11:26:26.202 INFO [stdout] 
Dec 06 11:26:26.202 INFO [stderr]    Doc-tests sat-solver
Dec 06 11:26:26.960 INFO [stdout] 
Dec 06 11:26:26.960 INFO [stdout] running 0 tests
Dec 06 11:26:26.961 INFO [stdout] 
Dec 06 11:26:26.961 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 11:26:26.961 INFO [stdout] 
Dec 06 11:26:26.967 INFO [stderr] su: No module specific data is present
Dec 06 11:26:28.350 INFO running `"docker" "inspect" "06ca30e0db4b3a9cd529a65a522a1c6923cdf5768041f489c3732d89034ebf8e"`
Dec 06 11:26:28.740 INFO running `"docker" "rm" "-f" "06ca30e0db4b3a9cd529a65a522a1c6923cdf5768041f489c3732d89034ebf8e"`
Dec 06 11:26:29.092 INFO [stdout] 06ca30e0db4b3a9cd529a65a522a1c6923cdf5768041f489c3732d89034ebf8e