[INFO] fetching crate puan-rust 0.1.9...
[INFO] testing puan-rust-0.1.9 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7
[INFO] extracting crate puan-rust 0.1.9 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate puan-rust 0.1.9
[INFO] finished tweaking crates.io crate puan-rust 0.1.9
[INFO] tweaked toml for crates.io crate puan-rust 0.1.9 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate puan-rust 0.1.9 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "generate-lockfile" "--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]      Locking 69 packages to latest compatible versions
[INFO] [stderr]       Adding criterion v0.4.0 (available: v0.7.0)
[INFO] [stderr]       Adding itertools v0.10.5 (available: v0.14.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded half v2.7.1
[INFO] [stderr]   Downloaded criterion-plot v0.5.0
[INFO] [stderr]   Downloaded clap_lex v0.2.4
[INFO] [stderr]   Downloaded clap v3.2.25
[INFO] [stderr]   Downloaded criterion v0.4.0
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 98d4776b3c8db58137553f091d6bc0dcd9ffbd31b5e0848acb53262488a8899a
[INFO] running `Command { std: "docker" "start" "-a" "98d4776b3c8db58137553f091d6bc0dcd9ffbd31b5e0848acb53262488a8899a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "98d4776b3c8db58137553f091d6bc0dcd9ffbd31b5e0848acb53262488a8899a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "98d4776b3c8db58137553f091d6bc0dcd9ffbd31b5e0848acb53262488a8899a", kill_on_drop: false }`
[INFO] [stdout] 98d4776b3c8db58137553f091d6bc0dcd9ffbd31b5e0848acb53262488a8899a
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2f8515f9a50795525051a26d916fedad062fd8fe3bcda0a8dfe45d2878eb2977
[INFO] running `Command { std: "docker" "start" "-a" "2f8515f9a50795525051a26d916fedad062fd8fe3bcda0a8dfe45d2878eb2977", kill_on_drop: false }`
[INFO] [stderr]    Compiling puan-rust v0.1.9 (/opt/rustwide/workdir)
[INFO] [stdout] warning: function `convert_ilp_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:170:4
[INFO] [stdout]     |
[INFO] [stdout] 170 | fn convert_ilp_to_standard_form(lp: &IntegerLinearProgram) -> StandardFormLP {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `convert_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:410:8
[INFO] [stdout]     |
[INFO] [stdout] 409 | impl IntegerLinearProgram {
[INFO] [stdout]     | ------------------------- method in this implementation
[INFO] [stdout] 410 |     fn convert_to_standard_form(&self) -> StandardFormLP {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.30s
[INFO] running `Command { std: "docker" "inspect" "2f8515f9a50795525051a26d916fedad062fd8fe3bcda0a8dfe45d2878eb2977", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2f8515f9a50795525051a26d916fedad062fd8fe3bcda0a8dfe45d2878eb2977", kill_on_drop: false }`
[INFO] [stdout] 2f8515f9a50795525051a26d916fedad062fd8fe3bcda0a8dfe45d2878eb2977
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1841273d1ed6b178c09a314c1b1d98be3897acf841d6149b4fdf513ad2688d77
[INFO] running `Command { std: "docker" "start" "-a" "1841273d1ed6b178c09a314c1b1d98be3897acf841d6149b4fdf513ad2688d77", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling os_str_bytes v6.6.1
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling clap_lex v0.2.4
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling textwrap v0.16.2
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling clap v3.2.25
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stdout] warning: function `convert_ilp_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:170:4
[INFO] [stdout]     |
[INFO] [stdout] 170 | fn convert_ilp_to_standard_form(lp: &IntegerLinearProgram) -> StandardFormLP {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `convert_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:410:8
[INFO] [stdout]     |
[INFO] [stdout] 409 | impl IntegerLinearProgram {
[INFO] [stdout]     | ------------------------- method in this implementation
[INFO] [stdout] 410 |     fn convert_to_standard_form(&self) -> StandardFormLP {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling zerocopy-derive v0.8.27
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.4.0
[INFO] [stderr]    Compiling puan-rust v0.1.9 (/opt/rustwide/workdir)
[INFO] [stdout] warning: function `convert_ilp_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:170:4
[INFO] [stdout]     |
[INFO] [stdout] 170 | fn convert_ilp_to_standard_form(lp: &IntegerLinearProgram) -> StandardFormLP {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `convert_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:410:8
[INFO] [stdout]     |
[INFO] [stdout] 409 | impl IntegerLinearProgram {
[INFO] [stdout]     | ------------------------- method in this implementation
[INFO] [stdout] 410 |     fn convert_to_standard_form(&self) -> StandardFormLP {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 54.94s
[INFO] running `Command { std: "docker" "inspect" "1841273d1ed6b178c09a314c1b1d98be3897acf841d6149b4fdf513ad2688d77", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1841273d1ed6b178c09a314c1b1d98be3897acf841d6149b4fdf513ad2688d77", kill_on_drop: false }`
[INFO] [stdout] 1841273d1ed6b178c09a314c1b1d98be3897acf841d6149b4fdf513ad2688d77
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 53b53748ebccf29b00c408013405187ffb76e37b197c8d65dabe029109408fb1
[INFO] running `Command { std: "docker" "start" "-a" "53b53748ebccf29b00c408013405187ffb76e37b197c8d65dabe029109408fb1", kill_on_drop: false }`
[INFO] [stderr] warning: function `convert_ilp_to_standard_form` is never used
[INFO] [stderr]    --> src/solver.rs:170:4
[INFO] [stderr]     |
[INFO] [stderr] 170 | fn convert_ilp_to_standard_form(lp: &IntegerLinearProgram) -> StandardFormLP {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `convert_to_standard_form` is never used
[INFO] [stderr]    --> src/solver.rs:410:8
[INFO] [stderr]     |
[INFO] [stderr] 409 | impl IntegerLinearProgram {
[INFO] [stderr]     | ------------------------- method in this implementation
[INFO] [stderr] 410 |     fn convert_to_standard_form(&self) -> StandardFormLP {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `puan-rust` (lib) generated 2 warnings
[INFO] [stderr] warning: `puan-rust` (lib test) generated 2 warnings (2 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/puanrs-f466fb6eb3fbed7a)
[INFO] [stdout] 
[INFO] [stdout] running 38 tests
[INFO] [stdout] test solver::tests::test_solver_1 ... ok
[INFO] [stdout] test solver::tests::test_solver_12 ... ok
[INFO] [stdout] test solver::tests::test_solver_13 ... ok
[INFO] [stdout] test solver::tests::test_solver_11 ... ok
[INFO] [stdout] test solver::tests::test_solver_15 ... ok
[INFO] [stdout] test solver::tests::test_solver_10 ... ok
[INFO] [stdout] test solver::tests::test_solver_2 ... ok
[INFO] [stdout] test solver::tests::test_solver_20 ... ok
[INFO] [stdout] test solver::tests::test_solver_19 ... ok
[INFO] [stdout] test solver::tests::test_solver_16 ... ok
[INFO] [stdout] test linalg::tests::test_optimized_bit_allocation ... ok
[INFO] [stdout] test solver::tests::test_solver_17 ... ok
[INFO] [stdout] test solver::tests::test_solver_18 ... ok
[INFO] [stdout] test solver::tests::test_solver_3 ... ok
[INFO] [stdout] test solver::tests::test_solver_4 ... ok
[INFO] [stdout] test solver::tests::test_solver_5 ... ok
[INFO] [stdout] test linalg::tests::test_dot_product ... ok
[INFO] [stdout] test solver::tests::test_solver_6 ... ok
[INFO] [stdout] test solver::tests::test_solver_14 ... ok
[INFO] [stdout] test solver::tests::test_solver_9 ... ok
[INFO] [stdout] test tests::test_generate_instance_to_polyhedron ... ok
[INFO] [stdout] test tests::test_min_max_coefficients ... ok
[INFO] [stdout] test tests::test_theory_propagate ... ok
[INFO] [stdout] test tests::test_substitution ... ok
[INFO] [stdout] test solver::tests::test_solver_7 ... ok
[INFO] [stdout] test tests::test_solver ... ok
[INFO] [stdout] test tests::test_theory_solve ... ok
[INFO] [stdout] test tests::test_theory_top_ok ... ok
[INFO] [stdout] test solver::tests::test_solver_8 ... ok
[INFO] [stdout] test tests::test_theory_top_should_not_panic ... ok
[INFO] [stdout] test tests::test_theory_to_lineqs ... ok
[INFO] [stdout] test tests::test_theory_variable_hm_have_id_duplicates ... ok
[INFO] [stdout] test tests::test_theory_variable_hm_should_be_correct ... ok
[INFO] [stdout] test tests::test_theory_to_ge_polyhedron ... ok
[INFO] [stdout] test solver::tests::test_solver_21 ... ok
[INFO] [stdout] test tests::test_theory_top_has_circular_references - should panic ... ok
[INFO] [stdout] test tests::test_merge_conj_disj ... ok
[INFO] [stdout] test tests::test_theory_to_lineqs_reduced ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 38 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.57s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests puanrs
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test src/linalg.rs - linalg::divide (line 79) ... ok
[INFO] [stdout] test src/lib.rs - AtLeast::to_lineq (line 65) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::divide (line 106) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::add (line 291) ... ok
[INFO] [stdout] test src/lib.rs - Theory::to_lineqs (line 405) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::add (line 264) ... ok
[INFO] [stdout] test src/lib.rs - Theory::propagate (line 273) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::subtract (line 372) ... ok
[INFO] [stdout] test src/lib.rs - Theory::solve (line 553) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::subtract (line 345) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::transpose (line 420) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::le_divide (line 208) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::ge_divide (line 158) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::Variable::to_lineq_neg (line 471) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::GeLineq::merge_disj (line 74) ... ok
[INFO] [stdout] test src/solver.rs - solver::IntegerLinearProgram::solve (line 421) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::GeLineq::substitution (line 232) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::GeLineq::min_max_coefficients (line 380) ... ok
[INFO] [stdout] test src/solver.rs - solver::LinearProgram::solve (line 383) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.78s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "53b53748ebccf29b00c408013405187ffb76e37b197c8d65dabe029109408fb1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "53b53748ebccf29b00c408013405187ffb76e37b197c8d65dabe029109408fb1", kill_on_drop: false }`
[INFO] [stdout] 53b53748ebccf29b00c408013405187ffb76e37b197c8d65dabe029109408fb1