[INFO] fetching crate rustsat-tools 0.4.1...
[INFO] testing rustsat-tools-0.4.1 against 1.83.0 for beta-1.84.0-4-retry
[INFO] extracting crate rustsat-tools 0.4.1 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate rustsat-tools 0.4.1 on toolchain 1.83.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rustsat-tools 0.4.1
[INFO] finished tweaking crates.io crate rustsat-tools 0.4.1
[INFO] tweaked toml for crates.io crate rustsat-tools 0.4.1 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] crate crates.io crate rustsat-tools 0.4.1 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" "+1.83.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded concolor-clap v0.1.0
[INFO] [stderr]   Downloaded libz-ng-sys v1.1.16
[INFO] [stderr]   Downloaded rustsat v0.6.1
[INFO] [stderr]   Downloaded rustsat-minisat v0.4.1
[INFO] [stderr]   Downloaded rustsat-cadical v0.4.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e4cfbcae1ae1e413e70410a344be51cfc140d88401c95c9f794a85ce86d0fe1e
[INFO] running `Command { std: "docker" "start" "-a" "e4cfbcae1ae1e413e70410a344be51cfc140d88401c95c9f794a85ce86d0fe1e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e4cfbcae1ae1e413e70410a344be51cfc140d88401c95c9f794a85ce86d0fe1e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e4cfbcae1ae1e413e70410a344be51cfc140d88401c95c9f794a85ce86d0fe1e", kill_on_drop: false }`
[INFO] [stdout] e4cfbcae1ae1e413e70410a344be51cfc140d88401c95c9f794a85ce86d0fe1e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cc63f2f9640d0ef98f1ab6ef94e0fbc1a42c43539df33f1a653284f78b3fc055
[INFO] running `Command { std: "docker" "start" "-a" "cc63f2f9640d0ef98f1ab6ef94e0fbc1a42c43539df33f1a653284f78b3fc055", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.87
[INFO] [stderr]    Compiling unicode-ident v1.0.13
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling libc v0.2.159
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling pkg-config v0.3.31
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling prettyplease v0.2.22
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling rustix v0.38.37
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling bindgen v0.70.1
[INFO] [stderr]    Compiling libloading v0.8.5
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling anstyle-parse v0.2.5
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling cc v1.1.30
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling anstyle v1.0.8
[INFO] [stderr]    Compiling anyhow v1.0.89
[INFO] [stderr]    Compiling bitflags v2.6.0
[INFO] [stderr]    Compiling anstyle-query v1.1.1
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling thiserror v1.0.64
[INFO] [stderr]    Compiling linux-raw-sys v0.4.14
[INFO] [stderr]    Compiling colorchoice v1.0.2
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.1
[INFO] [stderr]    Compiling crc32fast v1.4.2
[INFO] [stderr]    Compiling anstream v0.6.15
[INFO] [stderr]    Compiling fastrand v2.1.1
[INFO] [stderr]    Compiling cmake v0.1.51
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling clap_lex v0.7.2
[INFO] [stderr]    Compiling once_cell v1.20.2
[INFO] [stderr]    Compiling clap_builder v4.5.20
[INFO] [stderr]    Compiling concolor-query v0.3.3
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling cpu-time v1.0.0
[INFO] [stderr]    Compiling is-terminal v0.4.13
[INFO] [stderr]    Compiling bzip2-sys v0.1.11+1.0.8
[INFO] [stderr]    Compiling lzma-sys v0.1.20
[INFO] [stderr]    Compiling syn v2.0.79
[INFO] [stderr]    Compiling libz-ng-sys v1.1.16
[INFO] [stderr]    Compiling regex-automata v0.4.8
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling concolor v0.1.1
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling tempfile v3.13.0
[INFO] [stderr]    Compiling xz2 v0.1.7
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling bzip2 v0.4.4
[INFO] [stderr]    Compiling regex v1.11.0
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling thiserror-impl v1.0.64
[INFO] [stderr]    Compiling visibility v0.1.1
[INFO] [stderr]    Compiling clap_derive v4.5.18
[INFO] [stderr]    Compiling zerocopy v0.7.35
[INFO] [stderr]    Compiling ppv-lite86 v0.2.20
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling clap v4.5.20
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling concolor-clap v0.1.0
[INFO] [stderr]    Compiling flate2 v1.0.34
[INFO] [stderr]    Compiling rustsat v0.6.1
[INFO] [stderr]    Compiling rustsat-minisat v0.4.1
[INFO] [stderr]    Compiling rustsat-tools v0.4.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/parsing.rs:45:21
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub fn callback_list<'input, T, P>(
[INFO] [stdout]    |                      ------ lifetime `'input` declared here
[INFO] [stdout] ...
[INFO] [stdout] 45 | ) -> anyhow::Result<&str>
[INFO] [stdout]    |                     ^ this elided lifetime gets resolved as `'input`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(elided_named_lifetimes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/parsing.rs:77:21
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn callback_separated<'input, T, P>(
[INFO] [stdout]    |                           ------ lifetime `'input` declared here
[INFO] [stdout] ...
[INFO] [stdout] 77 | ) -> anyhow::Result<&str>
[INFO] [stdout]    |                     ^ this elided lifetime gets resolved as `'input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Unary` is never constructed
[INFO] [stdout]   --> src/encodings/cnf/clustering.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 48 | enum VarId {
[INFO] [stdout]    |      ----- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 52 |     Unary(u32, u32),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `VarId` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `variant` is never read
[INFO] [stdout]    --> src/encodings/cnf/clustering.rs:152:5
[INFO] [stdout]     |
[INFO] [stdout] 150 | pub struct Encoding {
[INFO] [stdout]     |            -------- field in this struct
[INFO] [stdout] 151 |     similarities: Vec<Similarity>,
[INFO] [stdout] 152 |     variant: Variant,
[INFO] [stdout]     |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 54.65s
[INFO] running `Command { std: "docker" "inspect" "cc63f2f9640d0ef98f1ab6ef94e0fbc1a42c43539df33f1a653284f78b3fc055", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cc63f2f9640d0ef98f1ab6ef94e0fbc1a42c43539df33f1a653284f78b3fc055", kill_on_drop: false }`
[INFO] [stdout] cc63f2f9640d0ef98f1ab6ef94e0fbc1a42c43539df33f1a653284f78b3fc055
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6003ce8cd0c7e30c1b7df873773e06639db16c1b1a0bb3cf26cd0a90828b42d8
[INFO] running `Command { std: "docker" "start" "-a" "6003ce8cd0c7e30c1b7df873773e06639db16c1b1a0bb3cf26cd0a90828b42d8", kill_on_drop: false }`
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/parsing.rs:45:21
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub fn callback_list<'input, T, P>(
[INFO] [stdout]    |                      ------ lifetime `'input` declared here
[INFO] [stdout] ...
[INFO] [stdout] 45 | ) -> anyhow::Result<&str>
[INFO] [stdout]    |                     ^ this elided lifetime gets resolved as `'input`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(elided_named_lifetimes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling rustsat-tools v0.4.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/parsing.rs:77:21
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn callback_separated<'input, T, P>(
[INFO] [stdout]    |                           ------ lifetime `'input` declared here
[INFO] [stdout] ...
[INFO] [stdout] 77 | ) -> anyhow::Result<&str>
[INFO] [stdout]    |                     ^ this elided lifetime gets resolved as `'input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Unary` is never constructed
[INFO] [stdout]   --> src/encodings/cnf/clustering.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 48 | enum VarId {
[INFO] [stdout]    |      ----- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 52 |     Unary(u32, u32),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `VarId` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `variant` is never read
[INFO] [stdout]    --> src/encodings/cnf/clustering.rs:152:5
[INFO] [stdout]     |
[INFO] [stdout] 150 | pub struct Encoding {
[INFO] [stdout]     |            -------- field in this struct
[INFO] [stdout] 151 |     similarities: Vec<Similarity>,
[INFO] [stdout] 152 |     variant: Variant,
[INFO] [stdout]     |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/parsing.rs:45:21
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub fn callback_list<'input, T, P>(
[INFO] [stdout]    |                      ------ lifetime `'input` declared here
[INFO] [stdout] ...
[INFO] [stdout] 45 | ) -> anyhow::Result<&str>
[INFO] [stdout]    |                     ^ this elided lifetime gets resolved as `'input`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(elided_named_lifetimes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/parsing.rs:77:21
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn callback_separated<'input, T, P>(
[INFO] [stdout]    |                           ------ lifetime `'input` declared here
[INFO] [stdout] ...
[INFO] [stdout] 77 | ) -> anyhow::Result<&str>
[INFO] [stdout]    |                     ^ this elided lifetime gets resolved as `'input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Unary` is never constructed
[INFO] [stdout]   --> src/encodings/cnf/clustering.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 48 | enum VarId {
[INFO] [stdout]    |      ----- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 52 |     Unary(u32, u32),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `VarId` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `variant` is never read
[INFO] [stdout]    --> src/encodings/cnf/clustering.rs:152:5
[INFO] [stdout]     |
[INFO] [stdout] 150 | pub struct Encoding {
[INFO] [stdout]     |            -------- field in this struct
[INFO] [stdout] 151 |     similarities: Vec<Similarity>,
[INFO] [stdout] 152 |     variant: Variant,
[INFO] [stdout]     |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 4.19s
[INFO] running `Command { std: "docker" "inspect" "6003ce8cd0c7e30c1b7df873773e06639db16c1b1a0bb3cf26cd0a90828b42d8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6003ce8cd0c7e30c1b7df873773e06639db16c1b1a0bb3cf26cd0a90828b42d8", kill_on_drop: false }`
[INFO] [stdout] 6003ce8cd0c7e30c1b7df873773e06639db16c1b1a0bb3cf26cd0a90828b42d8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 69312f226c122d3566ab0048a4404b05fcf80da0a5fe443bc29948eb05329846
[INFO] running `Command { std: "docker" "start" "-a" "69312f226c122d3566ab0048a4404b05fcf80da0a5fe443bc29948eb05329846", kill_on_drop: false }`
[INFO] [stderr] warning: elided lifetime has a name
[INFO] [stderr]   --> src/parsing.rs:45:21
[INFO] [stderr]    |
[INFO] [stderr] 41 | pub fn callback_list<'input, T, P>(
[INFO] [stderr]    |                      ------ lifetime `'input` declared here
[INFO] [stderr] ...
[INFO] [stderr] 45 | ) -> anyhow::Result<&str>
[INFO] [stderr]    |                     ^ this elided lifetime gets resolved as `'input`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(elided_named_lifetimes)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: elided lifetime has a name
[INFO] [stderr]   --> src/parsing.rs:77:21
[INFO] [stderr]    |
[INFO] [stderr] 73 | pub fn callback_separated<'input, T, P>(
[INFO] [stderr]    |                           ------ lifetime `'input` declared here
[INFO] [stderr] ...
[INFO] [stderr] 77 | ) -> anyhow::Result<&str>
[INFO] [stderr]    |                     ^ this elided lifetime gets resolved as `'input`
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Unary` is never constructed
[INFO] [stderr]   --> src/encodings/cnf/clustering.rs:52:5
[INFO] [stderr]    |
[INFO] [stderr] 48 | enum VarId {
[INFO] [stderr]    |      ----- variant in this enum
[INFO] [stderr] ...
[INFO] [stderr] 52 |     Unary(u32, u32),
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `VarId` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field `variant` is never read
[INFO] [stderr]    --> src/encodings/cnf/clustering.rs:152:5
[INFO] [stderr]     |
[INFO] [stderr] 150 | pub struct Encoding {
[INFO] [stderr]     |            -------- field in this struct
[INFO] [stderr] 151 |     similarities: Vec<Similarity>,
[INFO] [stderr] 152 |     variant: Variant,
[INFO] [stderr]     |     ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `rustsat-tools` (lib) generated 4 warnings
[INFO] [stderr] warning: `rustsat-tools` (lib test) generated 4 warnings (4 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.12s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rustsat_tools-f2da280ee96500fd)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test encodings::assignment::parsing::tests::moolib ... ok
[INFO] [stdout] test encodings::facilitylocation::parsing::tests::voptlib ... ok
[INFO] [stdout] test encodings::knapsack::parsing::tests::moolib ... ok
[INFO] [stdout] test encodings::knapsack::parsing::tests::voptlib ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/check-solution.rs (/opt/rustwide/target/debug/deps/check_solution-36ee26c62f25650a)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/cnf2opb.rs (/opt/rustwide/target/debug/deps/cnf2opb-c659e454fd28be91)
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/encodings.rs (/opt/rustwide/target/debug/deps/encodings-31b983f770f54420)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test tests::verify_cli_args ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/enumerator.rs (/opt/rustwide/target/debug/deps/enumerator-99ab7b6d6a8f65c1)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/gbmosplit.rs (/opt/rustwide/target/debug/deps/gbmosplit-9d5a864fe8c233fa)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test tests::gbmo_pre_calc ... ok
[INFO] [stdout] test tests::split_bmo ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mcnf2opb.rs (/opt/rustwide/target/debug/deps/mcnf2opb-face4f6eb69faa4d)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mo2ilp.rs (/opt/rustwide/target/debug/deps/mo2ilp-bb08fc3f9c5d03f5)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/opb2cnf.rs (/opt/rustwide/target/debug/deps/opb2cnf-9b162bb2d13ee77d)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/opb2mcnf.rs (/opt/rustwide/target/debug/deps/opb2mcnf-13c5ef19c40f7579)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/opb2wcnf.rs (/opt/rustwide/target/debug/deps/opb2wcnf-66dbb3e34cff63e3)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/shuffledimacs.rs (/opt/rustwide/target/debug/deps/shuffledimacs-fe6a701115db9a71)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/wcnf2opb.rs (/opt/rustwide/target/debug/deps/wcnf2opb-592866dabfa763ea)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests rustsat_tools
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "69312f226c122d3566ab0048a4404b05fcf80da0a5fe443bc29948eb05329846", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "69312f226c122d3566ab0048a4404b05fcf80da0a5fe443bc29948eb05329846", kill_on_drop: false }`
[INFO] [stdout] 69312f226c122d3566ab0048a4404b05fcf80da0a5fe443bc29948eb05329846
