[INFO] fetching crate maxpre 0.2.5...
[INFO] checking maxpre-0.2.5 against master#6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd for pr-153721
[INFO] extracting crate maxpre 0.2.5 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate maxpre 0.2.5
[INFO] finished tweaking crates.io crate maxpre 0.2.5
[INFO] tweaked toml for crates.io crate maxpre 0.2.5 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate maxpre 0.2.5 on toolchain 6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate maxpre 0.2.5 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" "+6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded git2 v0.20.1
[INFO] [stderr]   Downloaded openssl-sys v0.9.107
[INFO] [stderr]   Downloaded cc v1.2.19
[INFO] [stderr]   Downloaded rustsat v0.7.1
[INFO] [stderr]   Downloaded libssh2-sys v0.3.1
[INFO] [stderr]   Downloaded libz-sys v1.1.22
[INFO] [stderr]   Downloaded libgit2-sys v0.18.1+1.9.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 902c9e820fddee1c0018325c2a6971b3c438d606f159f1c005c33387a00afec7
[INFO] running `Command { std: "docker" "start" "902c9e820fddee1c0018325c2a6971b3c438d606f159f1c005c33387a00afec7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "902c9e820fddee1c0018325c2a6971b3c438d606f159f1c005c33387a00afec7" "/opt/rustwide/cargo-home/bin/cargo" "+6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "902c9e820fddee1c0018325c2a6971b3c438d606f159f1c005c33387a00afec7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "902c9e820fddee1c0018325c2a6971b3c438d606f159f1c005c33387a00afec7" "/opt/rustwide/cargo-home/bin/cargo" "+6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[INFO] [stderr]    Compiling libc v0.2.171
[INFO] [stderr]    Compiling stable_deref_trait v1.2.0
[INFO] [stderr]    Compiling icu_locid_transform_data v1.5.1
[INFO] [stderr]    Compiling litemap v0.7.5
[INFO] [stderr]    Compiling writeable v0.5.5
[INFO] [stderr]    Compiling icu_properties_data v1.5.1
[INFO] [stderr]    Compiling icu_normalizer_data v1.5.1
[INFO] [stderr]    Compiling write16 v1.0.0
[INFO] [stderr]    Compiling smallvec v1.15.0
[INFO] [stderr]    Compiling utf16_iter v1.0.5
[INFO] [stderr]    Compiling utf8_iter v1.0.4
[INFO] [stderr]    Compiling percent-encoding v2.3.1
[INFO] [stderr]    Compiling getrandom v0.3.2
[INFO] [stderr]    Compiling rustix v1.0.5
[INFO] [stderr]    Compiling openssl-probe v0.1.6
[INFO] [stderr]    Compiling anyhow v1.0.98
[INFO] [stderr]     Checking bitflags v2.9.0
[INFO] [stderr]     Checking linux-raw-sys v0.9.4
[INFO] [stderr]    Compiling form_urlencoded v1.2.1
[INFO] [stderr]    Compiling log v0.4.27
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]     Checking fastrand v2.3.0
[INFO] [stderr]    Compiling glob v0.3.2
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]     Checking nom v7.1.3
[INFO] [stderr]    Compiling jobserver v0.1.33
[INFO] [stderr]     Checking cpu-time v1.0.0
[INFO] [stderr]    Compiling cc v1.2.19
[INFO] [stderr]    Compiling libz-sys v1.1.22
[INFO] [stderr]    Compiling openssl-sys v0.9.107
[INFO] [stderr]    Compiling libssh2-sys v0.3.1
[INFO] [stderr]    Compiling libgit2-sys v0.18.1+1.9.0
[INFO] [stderr]     Checking tempfile v3.19.1
[INFO] [stderr]    Compiling synstructure v0.13.1
[INFO] [stderr]    Compiling zerovec-derive v0.10.3
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling icu_provider_macros v1.5.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.7.5
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.7.5
[INFO] [stderr]    Compiling zerovec v0.10.4
[INFO] [stderr]     Checking thiserror v2.0.12
[INFO] [stderr]     Checking rustsat v0.7.1
[INFO] [stderr]    Compiling tinystr v0.7.6
[INFO] [stderr]    Compiling icu_collections v1.5.0
[INFO] [stderr]    Compiling icu_locid v1.5.0
[INFO] [stderr]    Compiling icu_provider v1.5.0
[INFO] [stderr]    Compiling icu_locid_transform v1.5.0
[INFO] [stderr]    Compiling icu_properties v1.5.1
[INFO] [stderr]    Compiling icu_normalizer v1.5.0
[INFO] [stderr]    Compiling idna_adapter v1.2.0
[INFO] [stderr]    Compiling idna v1.0.3
[INFO] [stderr]    Compiling url v2.5.4
[INFO] [stderr]    Compiling git2 v0.20.1
[INFO] [stderr]    Compiling maxpre v0.2.5 (/opt/rustwide/workdir)
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:33,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.cc:34:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp: In member function 'void maxPreprocessor::PreprocessorInterface::getInstanceClausesAndLabels(std::vector<std::vector<int> >&, std::vector<int>&)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:90:37: warning: unused variable 'lit0' [-Wunused-variable]
[INFO] [stderr] warning: maxpre@0.2.5:    90 |                                 int lit0 = lit;
[INFO] [stderr] warning: maxpre@0.2.5:       |                                     ^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:104:48: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::vector<int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: maxpre@0.2.5:   104 |                                 for (int i=0; i<preprocessedInstance.clauses.size(); ++i) {
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:87:21: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: maxpre@0.2.5:    87 |                 int i=0;
[INFO] [stderr] warning: maxpre@0.2.5:       |                     ^
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:6:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.hpp:8,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/cpreprocessorinterface.cpp:1:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:616:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'void maxPreprocessor::Preprocessor::genIndex(std::vector<std::vector<int> >&, std::vector<std::vector<int> >&, int, int, int, int&, std::vector<int>&, std::vector<int>&, std::vector<int>&, std::vector<int>&, int)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:105:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   105 |                 random_shuffle(ne.begin(), ne.begin() + g[x].size());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /usr/include/c++/13/algorithm:61,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:3:
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:106:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   106 |                 random_shuffle(ne.begin() + g[x].size(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:109:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   109 |                 random_shuffle(ne.begin(), ne.begin() + rg[x].size());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:110:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   110 |                 random_shuffle(ne.begin() + rg[x].size(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:113:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   113 |                 random_shuffle(ne.begin(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'int maxPreprocessor::Preprocessor::tryBIG(int, bool)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:313:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<int*, vector<int> >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   313 |                 random_shuffle(perm.begin(), perm.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:623:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp: In member function 'int maxPreprocessor::Preprocessor::tryModelCuttingRED()':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp:733:47: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<int*, vector<int> >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   733 |                                 random_shuffle(lits.begin(), lits.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:14:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.95s
[INFO] running `Command { std: "docker" "inspect" "902c9e820fddee1c0018325c2a6971b3c438d606f159f1c005c33387a00afec7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "902c9e820fddee1c0018325c2a6971b3c438d606f159f1c005c33387a00afec7", kill_on_drop: false }`
[INFO] [stdout] 902c9e820fddee1c0018325c2a6971b3c438d606f159f1c005c33387a00afec7
