[INFO] cloning repository https://github.com/zi7feng/Parallel-SAT-Solver
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/zi7feng/Parallel-SAT-Solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f89497489ac7e17412647e489859cf826d9ed260
[INFO] checking zi7feng/Parallel-SAT-Solver against master#a932eb36f8adf6c8cdfc450f063943da3112d621 for pr-140209-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/zi7feng/Parallel-SAT-Solver on toolchain a932eb36f8adf6c8cdfc450f063943da3112d621
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a932eb36f8adf6c8cdfc450f063943da3112d621" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/zi7feng/Parallel-SAT-Solver
[INFO] finished tweaking git repo https://github.com/zi7feng/Parallel-SAT-Solver
[INFO] tweaked toml for git repo https://github.com/zi7feng/Parallel-SAT-Solver written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/zi7feng/Parallel-SAT-Solver already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a932eb36f8adf6c8cdfc450f063943da3112d621" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+a932eb36f8adf6c8cdfc450f063943da3112d621" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7e879cfff8e5a91d057122758b82e60aacfe98da0ff9b979bde660a3904057e6
[INFO] running `Command { std: "docker" "start" "-a" "7e879cfff8e5a91d057122758b82e60aacfe98da0ff9b979bde660a3904057e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7e879cfff8e5a91d057122758b82e60aacfe98da0ff9b979bde660a3904057e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7e879cfff8e5a91d057122758b82e60aacfe98da0ff9b979bde660a3904057e6", kill_on_drop: false }`
[INFO] [stdout] 7e879cfff8e5a91d057122758b82e60aacfe98da0ff9b979bde660a3904057e6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+a932eb36f8adf6c8cdfc450f063943da3112d621" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 244433e7026c82da585e9c0125277da4f63e2f7a6a0e514feaccf1189fc48fdf
[INFO] running `Command { std: "docker" "start" "-a" "244433e7026c82da585e9c0125277da4f63e2f7a6a0e514feaccf1189fc48fdf", kill_on_drop: false }`
[INFO] [stderr]     Checking maplit v1.0.2
[INFO] [stderr]     Checking dpll v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::hash::Hash`
[INFO] [stdout]  --> src/lib.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::hash::Hash;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::hash::Hash`
[INFO] [stdout]  --> src/lib.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::hash::Hash;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `new_formula` is never read
[INFO] [stdout]   --> src/lib.rs:62:13
[INFO] [stdout]    |
[INFO] [stdout] 62 |     let mut new_formula = Vec::new();
[INFO] [stdout]    |             ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `unassigned_var` is never read
[INFO] [stdout]    --> src/lib.rs:143:13
[INFO] [stdout]     |
[INFO] [stdout] 143 |     let mut unassigned_var = Vec::new();
[INFO] [stdout]     |             ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dpll` (lib); 3 warnings emitted
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to parse process output: `/opt/rustwide/rustup-home/toolchains/a932eb36f8adf6c8cdfc450f063943da3112d621/bin/rustc --crate-name dpll --edition=2021 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=8ff3f6991ef97e6f -C extra-filename=-ba7ecc017ab16854 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern maplit=/opt/rustwide/target/debug/deps/libmaplit-3e7e98e7c0c45f70.rmeta --cap-lints=forbid` (exit status: 1)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `dpll` (lib test); 1 warning emitted
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to parse process output: `/opt/rustwide/rustup-home/toolchains/a932eb36f8adf6c8cdfc450f063943da3112d621/bin/rustc --crate-name dpll --edition=2021 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=75345068314a3962 -C extra-filename=-ab498a6f95b184fe --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern maplit=/opt/rustwide/target/debug/deps/libmaplit-3e7e98e7c0c45f70.rmeta --cap-lints=forbid` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "244433e7026c82da585e9c0125277da4f63e2f7a6a0e514feaccf1189fc48fdf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "244433e7026c82da585e9c0125277da4f63e2f7a6a0e514feaccf1189fc48fdf", kill_on_drop: false }`
[INFO] [stdout] 244433e7026c82da585e9c0125277da4f63e2f7a6a0e514feaccf1189fc48fdf