[INFO] fetching crate splr 0.11.0...
[INFO] checking splr-0.11.0 against try#8de4b308b608cded0ebccf658a0fc719bce87d4e for pr-89056
[INFO] extracting crate splr 0.11.0 into /workspace/builds/worker-98/source
[INFO] validating manifest of crates.io crate splr 0.11.0 on toolchain 8de4b308b608cded0ebccf658a0fc719bce87d4e
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8de4b308b608cded0ebccf658a0fc719bce87d4e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate splr 0.11.0
[INFO] finished tweaking crates.io crate splr 0.11.0
[INFO] tweaked toml for crates.io crate splr 0.11.0 written to /workspace/builds/worker-98/source/Cargo.toml
[INFO] crate crates.io crate splr 0.11.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8de4b308b608cded0ebccf658a0fc719bce87d4e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded bitflags v1.3.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-98/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-98/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+8de4b308b608cded0ebccf658a0fc719bce87d4e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] be5ffdde05d0f94f99abf3c48c122a2055168820e08cd8036ae4414e5fcf2716
[INFO] running `Command { std: "docker" "start" "-a" "be5ffdde05d0f94f99abf3c48c122a2055168820e08cd8036ae4414e5fcf2716", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "be5ffdde05d0f94f99abf3c48c122a2055168820e08cd8036ae4414e5fcf2716", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "be5ffdde05d0f94f99abf3c48c122a2055168820e08cd8036ae4414e5fcf2716", kill_on_drop: false }`
[INFO] [stdout] be5ffdde05d0f94f99abf3c48c122a2055168820e08cd8036ae4414e5fcf2716
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-98/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-98/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" "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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+8de4b308b608cded0ebccf658a0fc719bce87d4e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 076233fdbd97db4f79ae95269feb28af342473dfda04bf97913b23c75ab6cf6b
[INFO] running `Command { std: "docker" "start" "-a" "076233fdbd97db4f79ae95269feb28af342473dfda04bf97913b23c75ab6cf6b", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Checking bitflags v1.3.1
[INFO] [stderr]     Checking splr v0.11.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field is never read: `activity_decay_default`
[INFO] [stdout]    --> src/assign/mod.rs:193:5
[INFO] [stdout]     |
[INFO] [stdout] 193 |     activity_decay_default: f64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `activity_decay_step`
[INFO] [stdout]    --> src/assign/mod.rs:199:5
[INFO] [stdout]     |
[INFO] [stdout] 199 |     activity_decay_step: f64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `during_vivification`
[INFO] [stdout]    --> src/assign/mod.rs:204:5
[INFO] [stdout]     |
[INFO] [stdout] 204 |     during_vivification: bool,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `queue`
[INFO] [stdout]   --> src/cdb/unsat_certificate.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 |     queue: DRAT,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `num_lbd_update`
[INFO] [stdout]    --> src/cdb/mod.rs:266:5
[INFO] [stdout]     |
[INFO] [stdout] 266 |     num_lbd_update: usize,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `extra_inc`
[INFO] [stdout]    --> src/cdb/mod.rs:274:5
[INFO] [stdout]     |
[INFO] [stdout] 274 |     extra_inc: usize,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `reducible`
[INFO] [stdout]    --> src/cdb/mod.rs:278:5
[INFO] [stdout]     |
[INFO] [stdout] 278 |     reducible: bool,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `restart_inc`
[INFO] [stdout]    --> src/solver/restart.rs:262:5
[INFO] [stdout]     |
[INFO] [stdout] 262 |     restart_inc: f64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 8 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `activity_decay_default`
[INFO] [stdout]    --> src/assign/mod.rs:193:5
[INFO] [stdout]     |
[INFO] [stdout] 193 |     activity_decay_default: f64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `activity_decay_step`
[INFO] [stdout]    --> src/assign/mod.rs:199:5
[INFO] [stdout]     |
[INFO] [stdout] 199 |     activity_decay_step: f64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `during_vivification`
[INFO] [stdout]    --> src/assign/mod.rs:204:5
[INFO] [stdout]     |
[INFO] [stdout] 204 |     during_vivification: bool,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `queue`
[INFO] [stdout]   --> src/cdb/unsat_certificate.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 |     queue: DRAT,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `num_lbd_update`
[INFO] [stdout]    --> src/cdb/mod.rs:266:5
[INFO] [stdout]     |
[INFO] [stdout] 266 |     num_lbd_update: usize,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `extra_inc`
[INFO] [stdout]    --> src/cdb/mod.rs:274:5
[INFO] [stdout]     |
[INFO] [stdout] 274 |     extra_inc: usize,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `reducible`
[INFO] [stdout]    --> src/cdb/mod.rs:278:5
[INFO] [stdout]     |
[INFO] [stdout] 278 |     reducible: bool,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `restart_inc`
[INFO] [stdout]    --> src/solver/restart.rs:262:5
[INFO] [stdout]     |
[INFO] [stdout] 262 |     restart_inc: f64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 8 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 4.79s
[INFO] running `Command { std: "docker" "inspect" "076233fdbd97db4f79ae95269feb28af342473dfda04bf97913b23c75ab6cf6b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "076233fdbd97db4f79ae95269feb28af342473dfda04bf97913b23c75ab6cf6b", kill_on_drop: false }`
[INFO] [stdout] 076233fdbd97db4f79ae95269feb28af342473dfda04bf97913b23c75ab6cf6b