[INFO] cloning repository https://github.com/gdemenibus/SatHeuristic
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/gdemenibus/SatHeuristic" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fgdemenibus%2FSatHeuristic", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fgdemenibus%2FSatHeuristic'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4112a8cfe0a679c1d8cf0371eba4322a90d327c1
[INFO] checking gdemenibus/SatHeuristic against 1.95.0 for pr-155915
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fgdemenibus%2FSatHeuristic" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/gdemenibus/SatHeuristic
[INFO] finished tweaking git repo https://github.com/gdemenibus/SatHeuristic
[INFO] tweaked toml for git repo https://github.com/gdemenibus/SatHeuristic written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/gdemenibus/SatHeuristic on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/gdemenibus/SatHeuristic 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.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /workspace/builds/worker-1-tc1/source/pumpkin/Cargo.toml
[INFO] [stderr] workspace: /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /workspace/builds/worker-1-tc1/source/h_pumpkin/Cargo.toml
[INFO] [stderr] workspace: /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`
[INFO] [stderr]   |
[INFO] [stderr]   = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
[INFO] [stderr]   = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest
[INFO] [stderr]   = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded clap v4.3.0
[INFO] [stderr]   Downloaded indicatif v0.17.5
[INFO] [stderr]   Downloaded clap_derive v4.3.0
[INFO] [stderr]   Downloaded clap_builder v4.3.0
[INFO] [stderr]   Downloaded portable-atomic v1.3.3
[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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0e1944dce1e7ebf5b5cc9982658d299f6adf81b819516a7a55e10c13bd75afcb
[INFO] running `Command { std: "docker" "start" "-a" "0e1944dce1e7ebf5b5cc9982658d299f6adf81b819516a7a55e10c13bd75afcb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0e1944dce1e7ebf5b5cc9982658d299f6adf81b819516a7a55e10c13bd75afcb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e1944dce1e7ebf5b5cc9982658d299f6adf81b819516a7a55e10c13bd75afcb", kill_on_drop: false }`
[INFO] [stdout] 0e1944dce1e7ebf5b5cc9982658d299f6adf81b819516a7a55e10c13bd75afcb
[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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0dc52278eff1935d889a0b30641388f85c940f410df7429d308455e99587c9ce
[INFO] running `Command { std: "docker" "start" "-a" "0dc52278eff1935d889a0b30641388f85c940f410df7429d308455e99587c9ce", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /opt/rustwide/workdir/pumpkin/Cargo.toml
[INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /opt/rustwide/workdir/h_pumpkin/Cargo.toml
[INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml
[INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`
[INFO] [stderr]   |
[INFO] [stderr]   = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
[INFO] [stderr]   = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest
[INFO] [stderr]   = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions
[INFO] [stderr]    Compiling libc v0.2.144
[INFO] [stderr]    Compiling proc-macro2 v1.0.59
[INFO] [stderr]    Compiling unicode-ident v1.0.9
[INFO] [stderr]    Compiling quote v1.0.28
[INFO] [stderr]    Compiling target-lexicon v0.12.7
[INFO] [stderr]    Compiling rustix v0.37.19
[INFO] [stderr]    Compiling portable-atomic v1.3.3
[INFO] [stderr]    Compiling indoc v1.0.9
[INFO] [stderr]     Checking unindent v0.1.11
[INFO] [stderr]     Checking linux-raw-sys v0.3.8
[INFO] [stderr]     Checking crossbeam-channel v0.5.8
[INFO] [stderr]     Checking bumpalo v3.13.0
[INFO] [stderr]    Compiling log v0.4.18
[INFO] [stderr]     Checking aho-corasick v1.0.1
[INFO] [stderr]     Checking regex-syntax v0.7.2
[INFO] [stderr]     Checking clap_lex v0.5.0
[INFO] [stderr]    Compiling pyo3-build-config v0.18.3
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling syn v2.0.18
[INFO] [stderr]     Checking regex v1.8.3
[INFO] [stderr]     Checking parking_lot_core v0.9.7
[INFO] [stderr]     Checking io-lifetimes v1.0.11
[INFO] [stderr]     Checking num_cpus v1.15.0
[INFO] [stderr]     Checking console v0.15.7
[INFO] [stderr]     Checking parking_lot v0.12.1
[INFO] [stderr]     Checking rayon-core v1.11.0
[INFO] [stderr]     Checking indicatif v0.17.5
[INFO] [stderr]     Checking rayon v1.7.0
[INFO] [stderr]    Compiling pyo3-ffi v0.18.3
[INFO] [stderr]    Compiling pyo3 v0.18.3
[INFO] [stderr]     Checking is-terminal v0.4.7
[INFO] [stderr]     Checking anstream v0.3.2
[INFO] [stderr]     Checking env_logger v0.10.0
[INFO] [stderr]     Checking clap_builder v4.3.0
[INFO] [stderr]    Compiling pyo3-macros-backend v0.18.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.40
[INFO] [stderr]    Compiling clap_derive v4.3.0
[INFO] [stderr]     Checking thiserror v1.0.40
[INFO] [stderr]     Checking clap v4.3.0
[INFO] [stderr]    Compiling pyo3-macros v0.18.3
[INFO] [stderr]     Checking shared v0.1.0 (/opt/rustwide/workdir/shared)
[INFO] [stderr]     Checking test_script v0.1.0 (/opt/rustwide/workdir/scripts/test_script)
[INFO] [stdout] warning: unused import: `std::cell::RefCell`
[INFO] [stdout]    --> shared/src/sat_seg_var.rs:252:9
[INFO] [stdout]     |
[INFO] [stdout] 252 |     use std::cell::RefCell;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `segment::Segment`
[INFO] [stdout]    --> shared/src/sat_seg_var.rs:254:65
[INFO] [stdout]     |
[INFO] [stdout] 254 |     use crate::{id_generator::IdGenerator, sat_seg_var::Clause, segment::Segment};
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::segment::Segment`
[INFO] [stdout]    --> shared/src/segment.rs:198:9
[INFO] [stdout]     |
[INFO] [stdout] 198 |     use crate::segment::Segment;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `resource_usage`
[INFO] [stdout]   --> shared/src/sat_seg_var.rs:24:9
[INFO] [stdout]    |
[INFO] [stdout] 24 |         resource_usage: Vec<usize>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_resource_usage`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `main` is never used
[INFO] [stdout]  --> shared/src/lib.rs:7:4
[INFO] [stdout]   |
[INFO] [stdout] 7 | fn main() {
[INFO] [stdout]   |    ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking h_pumpkin v0.1.0 (/opt/rustwide/workdir/h_pumpkin)
[INFO] [stderr]     Checking pumpkin v0.1.0 (/opt/rustwide/workdir/pumpkin)
[INFO] [stderr]     Checking modeling v0.1.0 (/opt/rustwide/workdir/modeling)
[INFO] [stdout] warning: unused variable: `resource_usage`
[INFO] [stdout]   --> shared/src/sat_seg_var.rs:24:9
[INFO] [stdout]    |
[INFO] [stdout] 24 |         resource_usage: Vec<usize>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_resource_usage`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s_var`
[INFO] [stdout]    --> shared/src/sat_seg_var.rs:263:13
[INFO] [stdout]     |
[INFO] [stdout] 263 |         let s_var = SATSVar::new(1, 1, 1, &mut id_gen, resource, false);
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_s_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expected_clause`
[INFO] [stdout]    --> shared/src/sat_seg_var.rs:264:13
[INFO] [stdout]     |
[INFO] [stdout] 264 |         let expected_clause = Clause::new(vec![-1, 2]);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expected_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> shared/src/sat_seg_var.rs:268:13
[INFO] [stdout]     |
[INFO] [stdout] 268 |         let mut id_gen = IdGenerator::generator_for_sat();
[INFO] [stdout]     |             ----^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id_gen`
[INFO] [stdout]    --> shared/src/sat_seg_var.rs:268:13
[INFO] [stdout]     |
[INFO] [stdout] 268 |         let mut id_gen = IdGenerator::generator_for_sat();
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_id_gen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `early_start`
[INFO] [stdout]    --> shared/src/sat_seg_var.rs:269:13
[INFO] [stdout]     |
[INFO] [stdout] 269 |         let early_start = 1;
[INFO] [stdout]     |             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_early_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `latest_start`
[INFO] [stdout]    --> shared/src/sat_seg_var.rs:270:13
[INFO] [stdout]     |
[INFO] [stdout] 270 |         let latest_start = 3;
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_latest_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `MultiProgress` and `ProgressStyle`
[INFO] [stdout]  --> modeling/src/main.rs:6:17
[INFO] [stdout]   |
[INFO] [stdout] 6 | use indicatif::{MultiProgress, ProgressBar, ProgressStyle};
[INFO] [stdout]   |                 ^^^^^^^^^^^^^               ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rayon::prelude`
[INFO] [stdout]  --> modeling/src/main.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use rayon::prelude::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> modeling/src/readerSM.rs:31:13
[INFO] [stdout]    |
[INFO] [stdout] 31 |         let mut n_modes = *line.get(1).unwrap();
[INFO] [stdout]    |             ----^^^^^^^
[INFO] [stdout]    |             |
[INFO] [stdout]    |             help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n_modes`
[INFO] [stdout]   --> modeling/src/readerSM.rs:31:13
[INFO] [stdout]    |
[INFO] [stdout] 31 |         let mut n_modes = *line.get(1).unwrap();
[INFO] [stdout]    |             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_modes`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `capacity_per_nonrenewable_resource`
[INFO] [stdout]   --> modeling/src/readerSM.rs:79:9
[INFO] [stdout]    |
[INFO] [stdout] 79 |     let capacity_per_nonrenewable_resource = line.get(n_renewable..).unwrap().to_vec();
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_capacity_per_nonrenewable_resource`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file`
[INFO] [stdout]    --> modeling/src/main.rs:110:16
[INFO] [stdout]     |
[INFO] [stdout] 110 | fn get_sat_dir(file: &str) -> &str {
[INFO] [stdout]     |                ^^^^ help: if this is intentional, prefix it with an underscore: `_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file`
[INFO] [stdout]    --> modeling/src/main.rs:113:22
[INFO] [stdout]     |
[INFO] [stdout] 113 | fn create_solved_dir(file: &str) -> &str {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `horizon` is assigned to, but never used
[INFO] [stdout]    --> modeling/src/main.rs:124:9
[INFO] [stdout]     |
[INFO] [stdout] 124 |     let mut horizon = 0;
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_horizon` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `horizon` is never read
[INFO] [stdout]    --> modeling/src/main.rs:127:9
[INFO] [stdout]     |
[INFO] [stdout] 127 |         horizon += project.duration();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_sat_dir` is never used
[INFO] [stdout]    --> modeling/src/main.rs:110:4
[INFO] [stdout]     |
[INFO] [stdout] 110 | fn get_sat_dir(file: &str) -> &str {
[INFO] [stdout]     |    ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_solved_dir` is never used
[INFO] [stdout]    --> modeling/src/main.rs:113:4
[INFO] [stdout]     |
[INFO] [stdout] 113 | fn create_solved_dir(file: &str) -> &str {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `readerSM` should have a snake case name
[INFO] [stdout]  --> modeling/src/main.rs:1:9
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub mod readerSM;
[INFO] [stdout]   |         ^^^^^^^^ help: convert the identifier to snake case: `reader_sm`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> modeling/src/main.rs:99:9
[INFO] [stdout]     |
[INFO] [stdout]  99 | /         fs::create_dir_all(
[INFO] [stdout] 100 | |             Path::new(destination)
[INFO] [stdout] 101 | |                 .parent()
[INFO] [stdout] 102 | |                 .unwrap_or(Path::new(destination)),
[INFO] [stdout] 103 | |         );
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout]  99 |         let _ = fs::create_dir_all(
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `MultiProgress` and `ProgressStyle`
[INFO] [stdout]  --> modeling/src/main.rs:6:17
[INFO] [stdout]   |
[INFO] [stdout] 6 | use indicatif::{MultiProgress, ProgressBar, ProgressStyle};
[INFO] [stdout]   |                 ^^^^^^^^^^^^^               ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding or eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]   --> modeling/src/schedule.rs:16:34
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub fn projects(&'a self) -> &[&Project] {
[INFO] [stdout]    |                      --          ^^^^^^^^^^^
[INFO] [stdout]    |                      |           | ||
[INFO] [stdout]    |                      |           | |the same lifetime is hidden here
[INFO] [stdout]    |                      |           | the same lifetime is elided here
[INFO] [stdout]    |                      |           the same lifetime is elided here
[INFO] [stdout]    |                      the lifetime is named here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub fn projects(&'a self) -> &'a [&'a Project<'a>] {
[INFO] [stdout]    |                                   ++   ++        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rayon::prelude`
[INFO] [stdout]  --> modeling/src/main.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use rayon::prelude::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> modeling/src/readerSM.rs:31:13
[INFO] [stdout]    |
[INFO] [stdout] 31 |         let mut n_modes = *line.get(1).unwrap();
[INFO] [stdout]    |             ----^^^^^^^
[INFO] [stdout]    |             |
[INFO] [stdout]    |             help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `solution_tracker::SolutionTracker`
[INFO] [stdout]   --> h_pumpkin/src/basic_types/mod.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub use solution_tracker::SolutionTracker;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `assignments_integer::ConstraintProgrammingTrailEntry`
[INFO] [stdout]  --> h_pumpkin/src/engine/cp/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use assignments_integer::ConstraintProgrammingTrailEntry;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `solution_tracker::SolutionTracker`
[INFO] [stdout]   --> pumpkin/src/basic_types/mod.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub use solution_tracker::SolutionTracker;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `assignments_integer::ConstraintProgrammingTrailEntry`
[INFO] [stdout]  --> pumpkin/src/engine/cp/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use assignments_integer::ConstraintProgrammingTrailEntry;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n_modes`
[INFO] [stdout]   --> modeling/src/readerSM.rs:31:13
[INFO] [stdout]    |
[INFO] [stdout] 31 |         let mut n_modes = *line.get(1).unwrap();
[INFO] [stdout]    |             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_modes`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `capacity_per_nonrenewable_resource`
[INFO] [stdout]   --> modeling/src/readerSM.rs:79:9
[INFO] [stdout]    |
[INFO] [stdout] 79 |     let capacity_per_nonrenewable_resource = line.get(n_renewable..).unwrap().to_vec();
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_capacity_per_nonrenewable_resource`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file`
[INFO] [stdout]    --> modeling/src/main.rs:110:16
[INFO] [stdout]     |
[INFO] [stdout] 110 | fn get_sat_dir(file: &str) -> &str {
[INFO] [stdout]     |                ^^^^ help: if this is intentional, prefix it with an underscore: `_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file`
[INFO] [stdout]    --> modeling/src/main.rs:113:22
[INFO] [stdout]     |
[INFO] [stdout] 113 | fn create_solved_dir(file: &str) -> &str {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `horizon` is assigned to, but never used
[INFO] [stdout]    --> modeling/src/main.rs:124:9
[INFO] [stdout]     |
[INFO] [stdout] 124 |     let mut horizon = 0;
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_horizon` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `horizon` is never read
[INFO] [stdout]    --> modeling/src/main.rs:127:9
[INFO] [stdout]     |
[INFO] [stdout] 127 |         horizon += project.duration();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_sat_dir` is never used
[INFO] [stdout]    --> modeling/src/main.rs:110:4
[INFO] [stdout]     |
[INFO] [stdout] 110 | fn get_sat_dir(file: &str) -> &str {
[INFO] [stdout]     |    ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_solved_dir` is never used
[INFO] [stdout]    --> modeling/src/main.rs:113:4
[INFO] [stdout]     |
[INFO] [stdout] 113 | fn create_solved_dir(file: &str) -> &str {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `readerSM` should have a snake case name
[INFO] [stdout]  --> modeling/src/main.rs:1:9
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub mod readerSM;
[INFO] [stdout]   |         ^^^^^^^^ help: convert the identifier to snake case: `reader_sm`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> modeling/src/main.rs:99:9
[INFO] [stdout]     |
[INFO] [stdout]  99 | /         fs::create_dir_all(
[INFO] [stdout] 100 | |             Path::new(destination)
[INFO] [stdout] 101 | |                 .parent()
[INFO] [stdout] 102 | |                 .unwrap_or(Path::new(destination)),
[INFO] [stdout] 103 | |         );
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout]  99 |         let _ = fs::create_dir_all(
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding or eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]   --> modeling/src/schedule.rs:16:34
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub fn projects(&'a self) -> &[&Project] {
[INFO] [stdout]    |                      --          ^^^^^^^^^^^
[INFO] [stdout]    |                      |           | ||
[INFO] [stdout]    |                      |           | |the same lifetime is hidden here
[INFO] [stdout]    |                      |           | the same lifetime is elided here
[INFO] [stdout]    |                      |           the same lifetime is elided here
[INFO] [stdout]    |                      the lifetime is named here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub fn projects(&'a self) -> &'a [&'a Project<'a>] {
[INFO] [stdout]    |                                   ++   ++        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `counterExampleFileProd` should have a snake case name
[INFO] [stdout]    --> modeling/src/main.rs:226:8
[INFO] [stdout]     |
[INFO] [stdout] 226 |     fn counterExampleFileProd() {}
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `counter_example_file_prod`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `solution_tracker::SolutionTracker`
[INFO] [stdout]   --> h_pumpkin/src/basic_types/mod.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub use solution_tracker::SolutionTracker;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `assignments_integer::ConstraintProgrammingTrailEntry`
[INFO] [stdout]  --> h_pumpkin/src/engine/cp/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use assignments_integer::ConstraintProgrammingTrailEntry;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `solution_tracker::SolutionTracker`
[INFO] [stdout]   --> pumpkin/src/basic_types/mod.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub use solution_tracker::SolutionTracker;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `assignments_integer::ConstraintProgrammingTrailEntry`
[INFO] [stdout]  --> pumpkin/src/engine/cp/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use assignments_integer::ConstraintProgrammingTrailEntry;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]   --> h_pumpkin/src/engine/sat/propositional_variable_selector.rs:28:37
[INFO] [stdout]    |
[INFO] [stdout] 28 |     pub fn bump_activity(&mut self, variable: PropositionalVariable) {
[INFO] [stdout]    |                                     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_variable`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]   --> h_pumpkin/src/engine/sat/propositional_variable_selector.rs:28:37
[INFO] [stdout]    |
[INFO] [stdout] 28 |     pub fn bump_activity(&mut self, variable: PropositionalVariable) {
[INFO] [stdout]    |                                     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_variable`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> h_pumpkin/src/basic_types/function.rs:62:34
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn get_weighted_literals(&self) -> std::collections::hash_map::Iter<Literal, u64> {
[INFO] [stdout]    |                                  ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn get_weighted_literals(&self) -> std::collections::hash_map::Iter<'_, Literal, u64> {
[INFO] [stdout]    |                                                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> h_pumpkin/src/basic_types/function.rs:66:34
[INFO] [stdout]    |
[INFO] [stdout] 66 |     pub fn get_weighted_integers(&self) -> std::collections::hash_map::Iter<IntegerVariable, u64> {
[INFO] [stdout]    |                                  ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 66 |     pub fn get_weighted_integers(&self) -> std::collections::hash_map::Iter<'_, IntegerVariable, u64> {
[INFO] [stdout]    |                                                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> h_pumpkin/src/engine/cp/domain_manager.rs:14:31
[INFO] [stdout]    |
[INFO] [stdout] 14 |         assignments_integer: &'_ mut AssignmentsInteger,
[INFO] [stdout]    |                               ^^ the lifetime is elided here
[INFO] [stdout] 15 |     ) -> DomainManager {
[INFO] [stdout]    |          ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 15 |     ) -> DomainManager<'_> {
[INFO] [stdout]    |                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]   --> pumpkin/src/engine/sat/propositional_variable_selector.rs:26:37
[INFO] [stdout]    |
[INFO] [stdout] 26 |     pub fn bump_activity(&mut self, variable: PropositionalVariable) {
[INFO] [stdout]    |                                     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_variable`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> h_pumpkin/src/basic_types/function.rs:62:34
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn get_weighted_literals(&self) -> std::collections::hash_map::Iter<Literal, u64> {
[INFO] [stdout]    |                                  ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn get_weighted_literals(&self) -> std::collections::hash_map::Iter<'_, Literal, u64> {
[INFO] [stdout]    |                                                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> h_pumpkin/src/basic_types/function.rs:66:34
[INFO] [stdout]    |
[INFO] [stdout] 66 |     pub fn get_weighted_integers(&self) -> std::collections::hash_map::Iter<IntegerVariable, u64> {
[INFO] [stdout]    |                                  ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 66 |     pub fn get_weighted_integers(&self) -> std::collections::hash_map::Iter<'_, IntegerVariable, u64> {
[INFO] [stdout]    |                                                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> h_pumpkin/src/engine/cp/domain_manager.rs:14:31
[INFO] [stdout]    |
[INFO] [stdout] 14 |         assignments_integer: &'_ mut AssignmentsInteger,
[INFO] [stdout]    |                               ^^ the lifetime is elided here
[INFO] [stdout] 15 |     ) -> DomainManager {
[INFO] [stdout]    |          ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 15 |     ) -> DomainManager<'_> {
[INFO] [stdout]    |                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin/src/basic_types/function.rs:62:34
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn get_weighted_literals(&self) -> std::collections::hash_map::Iter<Literal, u64> {
[INFO] [stdout]    |                                  ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn get_weighted_literals(&self) -> std::collections::hash_map::Iter<'_, Literal, u64> {
[INFO] [stdout]    |                                                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin/src/basic_types/function.rs:66:34
[INFO] [stdout]    |
[INFO] [stdout] 66 |     pub fn get_weighted_integers(&self) -> std::collections::hash_map::Iter<IntegerVariable, u64> {
[INFO] [stdout]    |                                  ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 66 |     pub fn get_weighted_integers(&self) -> std::collections::hash_map::Iter<'_, IntegerVariable, u64> {
[INFO] [stdout]    |                                                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]   --> pumpkin/src/engine/sat/propositional_variable_selector.rs:26:37
[INFO] [stdout]    |
[INFO] [stdout] 26 |     pub fn bump_activity(&mut self, variable: PropositionalVariable) {
[INFO] [stdout]    |                                     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_variable`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin/src/engine/cp/domain_manager.rs:14:31
[INFO] [stdout]    |
[INFO] [stdout] 14 |         assignments_integer: &'_ mut AssignmentsInteger,
[INFO] [stdout]    |                               ^^ the lifetime is elided here
[INFO] [stdout] 15 |     ) -> DomainManager {
[INFO] [stdout]    |          ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 15 |     ) -> DomainManager<'_> {
[INFO] [stdout]    |                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin/src/basic_types/function.rs:62:34
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn get_weighted_literals(&self) -> std::collections::hash_map::Iter<Literal, u64> {
[INFO] [stdout]    |                                  ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn get_weighted_literals(&self) -> std::collections::hash_map::Iter<'_, Literal, u64> {
[INFO] [stdout]    |                                                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin/src/basic_types/function.rs:66:34
[INFO] [stdout]    |
[INFO] [stdout] 66 |     pub fn get_weighted_integers(&self) -> std::collections::hash_map::Iter<IntegerVariable, u64> {
[INFO] [stdout]    |                                  ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 66 |     pub fn get_weighted_integers(&self) -> std::collections::hash_map::Iter<'_, IntegerVariable, u64> {
[INFO] [stdout]    |                                                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin/src/engine/cp/domain_manager.rs:14:31
[INFO] [stdout]    |
[INFO] [stdout] 14 |         assignments_integer: &'_ mut AssignmentsInteger,
[INFO] [stdout]    |                               ^^ the lifetime is elided here
[INFO] [stdout] 15 |     ) -> DomainManager {
[INFO] [stdout]    |          ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 15 |     ) -> DomainManager<'_> {
[INFO] [stdout]    |                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 20.86s
[INFO] running `Command { std: "docker" "inspect" "0dc52278eff1935d889a0b30641388f85c940f410df7429d308455e99587c9ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0dc52278eff1935d889a0b30641388f85c940f410df7429d308455e99587c9ce", kill_on_drop: false }`
[INFO] [stdout] 0dc52278eff1935d889a0b30641388f85c940f410df7429d308455e99587c9ce
