[INFO] fetching crate rustsat 0.7.4...
[INFO] testing rustsat-0.7.4 against beta-2025-10-28 for beta-1.92-2
[INFO] extracting crate rustsat 0.7.4 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate rustsat 0.7.4
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate rustsat 0.7.4
[INFO] tweaked toml for crates.io crate rustsat 0.7.4 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate rustsat 0.7.4 on toolchain beta-2025-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate rustsat 0.7.4 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" "+beta-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f9e3f2ff6ef8c9ffc2b6a353ac8b0072751d2baedb69d00b620802094eaee108
[INFO] running `Command { std: "docker" "start" "-a" "f9e3f2ff6ef8c9ffc2b6a353ac8b0072751d2baedb69d00b620802094eaee108", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f9e3f2ff6ef8c9ffc2b6a353ac8b0072751d2baedb69d00b620802094eaee108", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f9e3f2ff6ef8c9ffc2b6a353ac8b0072751d2baedb69d00b620802094eaee108", kill_on_drop: false }`
[INFO] [stdout] f9e3f2ff6ef8c9ffc2b6a353ac8b0072751d2baedb69d00b620802094eaee108
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 134f56b736b07fb52036c937b845b43114d98d5ff101a86fcfc9caffec6e78e1
[INFO] running `Command { std: "docker" "start" "-a" "134f56b736b07fb52036c937b845b43114d98d5ff101a86fcfc9caffec6e78e1", kill_on_drop: false }`
[INFO] [stderr]    Compiling bitflags v2.9.4
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling cpu-time v1.0.0
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling rustsat v0.7.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 9.34s
[INFO] running `Command { std: "docker" "inspect" "134f56b736b07fb52036c937b845b43114d98d5ff101a86fcfc9caffec6e78e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "134f56b736b07fb52036c937b845b43114d98d5ff101a86fcfc9caffec6e78e1", kill_on_drop: false }`
[INFO] [stdout] 134f56b736b07fb52036c937b845b43114d98d5ff101a86fcfc9caffec6e78e1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9c19879381750f1ef235489a0f0aa5a2843cf95d1037371b916686ee37f9d53f
[INFO] running `Command { std: "docker" "start" "-a" "9c19879381750f1ef235489a0f0aa5a2843cf95d1037371b916686ee37f9d53f", kill_on_drop: false }`
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling concolor-query v0.3.3
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling is-terminal v0.4.16
[INFO] [stderr]    Compiling concolor v0.1.1
[INFO] [stderr]    Compiling clap_builder v4.5.49
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling clap_derive v4.5.49
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling rustsat v0.7.4 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling clap v4.5.49
[INFO] [stderr]    Compiling concolor-clap v0.1.0
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rustsat_tools`
[INFO] [stdout]    --> examples/enumerator.rs:158:22
[INFO] [stdout]     |
[INFO] [stdout] 158 |     let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^ use of unresolved module or unlinked crate `rustsat_tools`
[INFO] [stdout]     |
[INFO] [stdout]     = help: if you wanted to use a crate named `rustsat_tools`, use `cargo add rustsat_tools` to add it to your `Cargo.toml`
[INFO] [stdout] help: consider importing one of these structs
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `Solver`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 158 -     let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout] 158 +     let mut solver = Solver::default();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rustsat::instances::MultiOptInstance`
[INFO] [stdout]   --> examples/gbmosplit.rs:15:34
[INFO] [stdout]    |
[INFO] [stdout] 15 |     instances::{fio, ManageVars, MultiOptInstance, Objective, OptInstance},
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  no `MultiOptInstance` in `instances`
[INFO] [stdout]    |                                  help: a similar name exists in the module: `OptInstance`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/instances.rs:27:19
[INFO] [stdout]    |
[INFO] [stdout] 26 | #[cfg(feature = "multiopt")]
[INFO] [stdout]    |       -------------------- the item is gated behind the `multiopt` feature
[INFO] [stdout] 27 | pub use multiopt::MultiOptInstance;
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (example "enumerator") due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> examples/gbmosplit.rs:653:21
[INFO] [stdout]     |
[INFO] [stdout] 653 |                     obj.convert_to_soft_lits(constrs.var_manager_mut());
[INFO] [stdout]     |                     ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> examples/gbmosplit.rs:653:46
[INFO] [stdout]     |
[INFO] [stdout] 653 |                     obj.convert_to_soft_lits(constrs.var_manager_mut());
[INFO] [stdout]     |                                              ^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (example "gbmosplit") due to 3 previous errors
[INFO] running `Command { std: "docker" "inspect" "9c19879381750f1ef235489a0f0aa5a2843cf95d1037371b916686ee37f9d53f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9c19879381750f1ef235489a0f0aa5a2843cf95d1037371b916686ee37f9d53f", kill_on_drop: false }`
[INFO] [stdout] 9c19879381750f1ef235489a0f0aa5a2843cf95d1037371b916686ee37f9d53f