Dec 13 10:21:49.701 INFO testing mmarkell/rust_sat against try#aa49d8ef14939ddec0e34b346b60174a5673d48f for pr-56550
Dec 13 10:21:49.701 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-0/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +aa49d8ef14939ddec0e34b346b60174a5673d48f-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 13 10:21:50.279 INFO [stdout] 86778b02859c7bbbbacd2c3088d4ec5d06eaa29fd570c3544dc872de3cb1b8fe
Dec 13 10:21:50.283 INFO running `"docker" "start" "-a" "86778b02859c7bbbbacd2c3088d4ec5d06eaa29fd570c3544dc872de3cb1b8fe"`
Dec 13 10:21:50.927 INFO [stderr] usermod: no changes
Dec 13 10:21:50.954 INFO [stderr]    Compiling sat_solver v0.1.0 (/source)
Dec 13 10:21:51.175 INFO [stderr] warning: unnecessary parentheses around method argument
Dec 13 10:21:51.175 INFO [stderr]   --> src/solver.rs:47:29
Dec 13 10:21:51.175 INFO [stderr]    |
Dec 13 10:21:51.175 INFO [stderr] 47 |             new_vars.remove((idx as usize));
Dec 13 10:21:51.175 INFO [stderr]    |                             ^^^^^^^^^^^^^^ help: remove these parentheses
Dec 13 10:21:51.175 INFO [stderr]    |
Dec 13 10:21:51.175 INFO [stderr]    = note: #[warn(unused_parens)] on by default
Dec 13 10:21:51.175 INFO [stderr] 
Dec 13 10:21:51.273 INFO [stderr] warning: unused variable: `width`
Dec 13 10:21:51.273 INFO [stderr]   --> src/encoder.rs:53:45
Dec 13 10:21:51.274 INFO [stderr]    |
Dec 13 10:21:51.274 INFO [stderr] 53 | pub fn format_output((positives, negatives, width, height): (Vec<i32>, Vec<i32>, i32, i32)) {
Dec 13 10:21:51.274 INFO [stderr]    |                                             ^^^^^ help: consider using `_width` instead
Dec 13 10:21:51.274 INFO [stderr]    |
Dec 13 10:21:51.274 INFO [stderr]    = note: #[warn(unused_variables)] on by default
Dec 13 10:21:51.274 INFO [stderr] 
Dec 13 10:21:51.274 INFO [stderr] warning: unused variable: `height`
Dec 13 10:21:51.274 INFO [stderr]   --> src/encoder.rs:53:52
Dec 13 10:21:51.274 INFO [stderr]    |
Dec 13 10:21:51.274 INFO [stderr] 53 | pub fn format_output((positives, negatives, width, height): (Vec<i32>, Vec<i32>, i32, i32)) {
Dec 13 10:21:51.274 INFO [stderr]    |                                                    ^^^^^^ help: consider using `_height` instead
Dec 13 10:21:51.274 INFO [stderr] 
Dec 13 10:21:51.274 INFO [stderr] warning: unused variable: `last_seen`
Dec 13 10:21:51.274 INFO [stderr]   --> src/solver.rs:73:33
Dec 13 10:21:51.274 INFO [stderr]    |
Dec 13 10:21:51.274 INFO [stderr] 73 |             Some(&(occurrences, last_seen)) => {
Dec 13 10:21:51.274 INFO [stderr]    |                                 ^^^^^^^^^ help: consider using `_last_seen` instead
Dec 13 10:21:51.274 INFO [stderr] 
Dec 13 10:21:52.049 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.10s
Dec 13 10:21:52.052 INFO [stderr] su: No module specific data is present
Dec 13 10:21:52.304 INFO running `"docker" "inspect" "86778b02859c7bbbbacd2c3088d4ec5d06eaa29fd570c3544dc872de3cb1b8fe"`
Dec 13 10:21:52.415 INFO running `"docker" "rm" "-f" "86778b02859c7bbbbacd2c3088d4ec5d06eaa29fd570c3544dc872de3cb1b8fe"`
Dec 13 10:21:52.615 INFO [stdout] 86778b02859c7bbbbacd2c3088d4ec5d06eaa29fd570c3544dc872de3cb1b8fe
Dec 13 10:21:52.621 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-0/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +aa49d8ef14939ddec0e34b346b60174a5673d48f-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 13 10:21:53.130 INFO [stdout] e030c1bef423389547a87590c467d84ae482ba54fe92b0ab9d3aff51b215e147
Dec 13 10:21:53.132 INFO running `"docker" "start" "-a" "e030c1bef423389547a87590c467d84ae482ba54fe92b0ab9d3aff51b215e147"`
Dec 13 10:21:54.556 INFO [stderr] usermod: no changes
Dec 13 10:21:54.587 INFO [stderr]    Compiling sat_solver v0.1.0 (/source)
Dec 13 10:21:54.863 INFO [stderr] warning: unnecessary parentheses around method argument
Dec 13 10:21:54.863 INFO [stderr]   --> src/solver.rs:47:29
Dec 13 10:21:54.863 INFO [stderr]    |
Dec 13 10:21:54.863 INFO [stderr] 47 |             new_vars.remove((idx as usize));
Dec 13 10:21:54.863 INFO [stderr]    |                             ^^^^^^^^^^^^^^ help: remove these parentheses
Dec 13 10:21:54.863 INFO [stderr]    |
Dec 13 10:21:54.863 INFO [stderr]    = note: #[warn(unused_parens)] on by default
Dec 13 10:21:54.863 INFO [stderr] 
Dec 13 10:21:54.963 INFO [stderr] warning: unused variable: `width`
Dec 13 10:21:54.963 INFO [stderr]   --> src/encoder.rs:53:45
Dec 13 10:21:54.963 INFO [stderr]    |
Dec 13 10:21:54.963 INFO [stderr] 53 | pub fn format_output((positives, negatives, width, height): (Vec<i32>, Vec<i32>, i32, i32)) {
Dec 13 10:21:54.963 INFO [stderr]    |                                             ^^^^^ help: consider using `_width` instead
Dec 13 10:21:54.963 INFO [stderr]    |
Dec 13 10:21:54.963 INFO [stderr]    = note: #[warn(unused_variables)] on by default
Dec 13 10:21:54.963 INFO [stderr] 
Dec 13 10:21:54.963 INFO [stderr] warning: unused variable: `height`
Dec 13 10:21:54.963 INFO [stderr]   --> src/encoder.rs:53:52
Dec 13 10:21:54.963 INFO [stderr]    |
Dec 13 10:21:54.963 INFO [stderr] 53 | pub fn format_output((positives, negatives, width, height): (Vec<i32>, Vec<i32>, i32, i32)) {
Dec 13 10:21:54.963 INFO [stderr]    |                                                    ^^^^^^ help: consider using `_height` instead
Dec 13 10:21:54.963 INFO [stderr] 
Dec 13 10:21:54.963 INFO [stderr] warning: unused variable: `last_seen`
Dec 13 10:21:54.963 INFO [stderr]   --> src/solver.rs:73:33
Dec 13 10:21:54.963 INFO [stderr]    |
Dec 13 10:21:54.963 INFO [stderr] 73 |             Some(&(occurrences, last_seen)) => {
Dec 13 10:21:54.963 INFO [stderr]    |                                 ^^^^^^^^^ help: consider using `_last_seen` instead
Dec 13 10:21:54.963 INFO [stderr] 
Dec 13 10:21:55.196 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.62s
Dec 13 10:21:55.197 INFO [stderr] su: No module specific data is present
Dec 13 10:21:55.574 INFO running `"docker" "inspect" "e030c1bef423389547a87590c467d84ae482ba54fe92b0ab9d3aff51b215e147"`
Dec 13 10:21:55.703 INFO running `"docker" "rm" "-f" "e030c1bef423389547a87590c467d84ae482ba54fe92b0ab9d3aff51b215e147"`
Dec 13 10:21:55.955 INFO [stdout] e030c1bef423389547a87590c467d84ae482ba54fe92b0ab9d3aff51b215e147
Dec 13 10:21:55.955 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-0/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +aa49d8ef14939ddec0e34b346b60174a5673d48f-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 13 10:21:56.322 INFO [stdout] 423a8dbe6073ec2d44dc455ca5971dd586ce11eefd2bd6777ecd11725608271f
Dec 13 10:21:56.327 INFO running `"docker" "start" "-a" "423a8dbe6073ec2d44dc455ca5971dd586ce11eefd2bd6777ecd11725608271f"`
Dec 13 10:21:56.744 INFO [stderr] usermod: no changes
Dec 13 10:21:56.754 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 13 10:21:56.754 INFO [stderr]      Running /target/debug/deps/sat_solver-c7b30fee0f662226
Dec 13 10:21:56.756 INFO [stdout] 
Dec 13 10:21:56.756 INFO [stdout] running 0 tests
Dec 13 10:21:56.756 INFO [stdout] 
Dec 13 10:21:56.756 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 10:21:56.756 INFO [stdout] 
Dec 13 10:21:56.759 INFO [stderr] su: No module specific data is present
Dec 13 10:21:57.091 INFO running `"docker" "inspect" "423a8dbe6073ec2d44dc455ca5971dd586ce11eefd2bd6777ecd11725608271f"`
Dec 13 10:21:57.200 INFO running `"docker" "rm" "-f" "423a8dbe6073ec2d44dc455ca5971dd586ce11eefd2bd6777ecd11725608271f"`
Dec 13 10:21:57.338 INFO [stdout] 423a8dbe6073ec2d44dc455ca5971dd586ce11eefd2bd6777ecd11725608271f