Dec 01 21:19:54.908 INFO testing cnogueira/cnsat against 1.30.1 for beta-1.31-5
Dec 01 21:19:54.908 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/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 +1.30.1 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"`
Dec 01 21:19:55.440 INFO [stdout] 84a6ab0838265d1903fc3a9bd6c51ad3ba7ea04b7ccaea6ebc71adb54dc49d4f
Dec 01 21:19:55.443 INFO running `"docker" "start" "-a" "84a6ab0838265d1903fc3a9bd6c51ad3ba7ea04b7ccaea6ebc71adb54dc49d4f"`
Dec 01 21:19:57.195 INFO [stderr] usermod: no changes
Dec 01 21:19:57.295 INFO [stderr]    Compiling dimacs v0.2.0
Dec 01 21:19:59.139 INFO [stderr]    Compiling cnsat v0.1.0 (/source)
Dec 01 21:20:02.846 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.62s
Dec 01 21:20:02.846 INFO [stderr] su: No module specific data is present
Dec 01 21:20:03.737 INFO running `"docker" "inspect" "84a6ab0838265d1903fc3a9bd6c51ad3ba7ea04b7ccaea6ebc71adb54dc49d4f"`
Dec 01 21:20:04.071 INFO running `"docker" "rm" "-f" "84a6ab0838265d1903fc3a9bd6c51ad3ba7ea04b7ccaea6ebc71adb54dc49d4f"`
Dec 01 21:20:04.330 INFO [stdout] 84a6ab0838265d1903fc3a9bd6c51ad3ba7ea04b7ccaea6ebc71adb54dc49d4f
Dec 01 21:20:04.337 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/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 +1.30.1 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"`
Dec 01 21:20:04.826 INFO [stdout] ea749d6d88fa24b787f5be11ca9ff80ab4ec19f203291fa252cd4f811d6664d6
Dec 01 21:20:04.831 INFO running `"docker" "start" "-a" "ea749d6d88fa24b787f5be11ca9ff80ab4ec19f203291fa252cd4f811d6664d6"`
Dec 01 21:20:06.005 INFO [stderr] usermod: no changes
Dec 01 21:20:06.083 INFO [stderr]    Compiling cnsat v0.1.0 (/source)
Dec 01 21:20:07.540 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.50s
Dec 01 21:20:07.542 INFO [stderr] su: No module specific data is present
Dec 01 21:20:08.175 INFO running `"docker" "inspect" "ea749d6d88fa24b787f5be11ca9ff80ab4ec19f203291fa252cd4f811d6664d6"`
Dec 01 21:20:08.519 INFO running `"docker" "rm" "-f" "ea749d6d88fa24b787f5be11ca9ff80ab4ec19f203291fa252cd4f811d6664d6"`
Dec 01 21:20:08.784 INFO [stdout] ea749d6d88fa24b787f5be11ca9ff80ab4ec19f203291fa252cd4f811d6664d6
Dec 01 21:20:08.791 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/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 +1.30.1 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"`
Dec 01 21:20:09.268 INFO [stdout] aadc9187f81a54640146f671cf50d342b46a39e6ad11a62f7a7aed0d1bc4d2a2
Dec 01 21:20:09.271 INFO running `"docker" "start" "-a" "aadc9187f81a54640146f671cf50d342b46a39e6ad11a62f7a7aed0d1bc4d2a2"`
Dec 01 21:20:11.139 INFO [stderr] usermod: no changes
Dec 01 21:20:11.223 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.05s
Dec 01 21:20:11.223 INFO [stdout] 
Dec 01 21:20:11.223 INFO [stderr]      Running /target/debug/deps/cnsat-db1c2d2af5d606cc
Dec 01 21:20:11.223 INFO [stdout] running 0 tests
Dec 01 21:20:11.223 INFO [stdout] 
Dec 01 21:20:11.223 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 21:20:11.223 INFO [stdout] 
Dec 01 21:20:11.228 INFO [stderr] su: No module specific data is present
Dec 01 21:20:12.349 INFO running `"docker" "inspect" "aadc9187f81a54640146f671cf50d342b46a39e6ad11a62f7a7aed0d1bc4d2a2"`
Dec 01 21:20:12.741 INFO running `"docker" "rm" "-f" "aadc9187f81a54640146f671cf50d342b46a39e6ad11a62f7a7aed0d1bc4d2a2"`
Dec 01 21:20:13.079 INFO [stdout] aadc9187f81a54640146f671cf50d342b46a39e6ad11a62f7a7aed0d1bc4d2a2
