[INFO] fetching crate pocket_prover 0.11.1...
[INFO] building pocket_prover-0.11.1 against try#d5c88c22807925c189328ef9d923c5d2b11a95b8+rustflags=-Zprofile-closures for pr-87066-3
[INFO] extracting crate pocket_prover 0.11.1 into /workspace/builds/worker-77/source
[INFO] validating manifest of crates.io crate pocket_prover 0.11.1 on toolchain d5c88c22807925c189328ef9d923c5d2b11a95b8
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+d5c88c22807925c189328ef9d923c5d2b11a95b8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate pocket_prover 0.11.1
[INFO] finished tweaking crates.io crate pocket_prover 0.11.1
[INFO] tweaked toml for crates.io crate pocket_prover 0.11.1 written to /workspace/builds/worker-77/source/Cargo.toml
[INFO] crate crates.io crate pocket_prover 0.11.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+d5c88c22807925c189328ef9d923c5d2b11a95b8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-77/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-77/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+d5c88c22807925c189328ef9d923c5d2b11a95b8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 98d520558509c27edc221af28a42b9af13502b0cc562f08cf862efb0443f97f6
[INFO] running `Command { std: "docker" "start" "-a" "98d520558509c27edc221af28a42b9af13502b0cc562f08cf862efb0443f97f6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "98d520558509c27edc221af28a42b9af13502b0cc562f08cf862efb0443f97f6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "98d520558509c27edc221af28a42b9af13502b0cc562f08cf862efb0443f97f6", kill_on_drop: false }`
[INFO] [stdout] 98d520558509c27edc221af28a42b9af13502b0cc562f08cf862efb0443f97f6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-77/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-77/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 -Zprofile-closures" "-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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+d5c88c22807925c189328ef9d923c5d2b11a95b8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] aeb9f9501ea2b700429e9f6735df79aa99e0e9148884cff5c4b1052df7a56702
[INFO] running `Command { std: "docker" "start" "-a" "aeb9f9501ea2b700429e9f6735df79aa99e0e9148884cff5c4b1052df7a56702", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling pocket_prover v0.11.1 (/opt/rustwide/workdir)
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (54fde7a9092bf015, 7af51f8a2281564d), 24, 32
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (2578b7de946c0512, e5bcdbfec9a6516b), 24, 32
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (ce224386804be696, 997dd71119e25005), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (42d4e9f4e1bccb45, 1ae52e1a5c1df074), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (3a0085746573c166, 6b1b88b9d51f7c04), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (aaea2b1d6cefd03f, f79120004f841190), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (9fd23585668c4d5b, 842699745dd33a56), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (d232763ad1b974d0, dc17c4be55915571), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (3f86de830e61303e, 1ed6a55f506a0c2d), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (3f86de830e61303e, 1ed6a55f506a0c2d), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (21e96f650f65d087, 10c65dc526968ded), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (21e96f650f65d087, 10c65dc526968ded), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (21e96f650f65d087, 10c65dc526968ded), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (21e96f650f65d087, 10c65dc526968ded), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (54fde7a9092bf015, 7af51f8a2281564d), 24, 32
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (2578b7de946c0512, e5bcdbfec9a6516b), 24, 32
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (3bc4584d268f8134, fff1170fd22056d4), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (84d60cb0b79203df, f2579e9b88f5ec6c), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (853f250bd6b1954e, 6175625d8387030e), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (e52d70117dc3d3c8, 53a6bdf2318e56c7), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (87ea602ec751abcf, f1d9d5afae4a3f32), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (56460b8c31af1f87, 8d0e44b31a482fc), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (4b3d5e77fa16f777, 7eed118bf82fceb5), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (49f202592f89def1, d826791c74f29dc), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (49f202592f89def1, d826791c74f29dc), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (470ca863666a738, 5e227adf86c3d5d4), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (470ca863666a738, 5e227adf86c3d5d4), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (470ca863666a738, 5e227adf86c3d5d4), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1e28b35dc86e2105, 986ef53473cc2a21), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1e28b35dc86e2105, 986ef53473cc2a21), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1e28b35dc86e2105, 986ef53473cc2a21), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1e28b35dc86e2105, 986ef53473cc2a21), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (eb94a0b307c9261d, dbcb91d0f2badc81), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (ed6b3359fbc41814, 82c7c776b2dbd07d), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (6761712baa83bffd, 3951c62a7046eb52), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (aa93ec3bcfaf8467, 334bd89b9f7ff018), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (eb94a0b307c9261d, dbcb91d0f2badc81), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (ed6b3359fbc41814, 82c7c776b2dbd07d), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (6761712baa83bffd, 3951c62a7046eb52), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (aa93ec3bcfaf8467, 334bd89b9f7ff018), 16, 24
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.15s
[INFO] running `Command { std: "docker" "inspect" "aeb9f9501ea2b700429e9f6735df79aa99e0e9148884cff5c4b1052df7a56702", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aeb9f9501ea2b700429e9f6735df79aa99e0e9148884cff5c4b1052df7a56702", kill_on_drop: false }`
[INFO] [stdout] aeb9f9501ea2b700429e9f6735df79aa99e0e9148884cff5c4b1052df7a56702
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-77/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-77/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 -Zprofile-closures" "-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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+d5c88c22807925c189328ef9d923c5d2b11a95b8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f7734a6da6d9b389a50c273dc14eb1c731b6b0a7a849eebca291fc59ed44bbb1
[INFO] running `Command { std: "docker" "start" "-a" "f7734a6da6d9b389a50c273dc14eb1c731b6b0a7a849eebca291fc59ed44bbb1", kill_on_drop: false }`
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (54fde7a9092bf015, 7af51f8a2281564d), 24, 32
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (2578b7de946c0512, e5bcdbfec9a6516b), 24, 32
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (ce224386804be696, 997dd71119e25005), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (42d4e9f4e1bccb45, 1ae52e1a5c1df074), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (3a0085746573c166, 6b1b88b9d51f7c04), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (aaea2b1d6cefd03f, f79120004f841190), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (9fd23585668c4d5b, 842699745dd33a56), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (d232763ad1b974d0, dc17c4be55915571), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (3f86de830e61303e, 1ed6a55f506a0c2d), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (3f86de830e61303e, 1ed6a55f506a0c2d), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (21e96f650f65d087, 10c65dc526968ded), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (21e96f650f65d087, 10c65dc526968ded), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (21e96f650f65d087, 10c65dc526968ded), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (21e96f650f65d087, 10c65dc526968ded), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (31b3ce8ee3872df5, 30b462a8d01c3983), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1c438452d0eae0ef, 732f3f7f0f1a229b), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (54fde7a9092bf015, 7af51f8a2281564d), 24, 32
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (2578b7de946c0512, e5bcdbfec9a6516b), 24, 32
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (3bc4584d268f8134, fff1170fd22056d4), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (84d60cb0b79203df, f2579e9b88f5ec6c), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (853f250bd6b1954e, 6175625d8387030e), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (e52d70117dc3d3c8, 53a6bdf2318e56c7), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (87ea602ec751abcf, f1d9d5afae4a3f32), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (56460b8c31af1f87, 8d0e44b31a482fc), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (4b3d5e77fa16f777, 7eed118bf82fceb5), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (49f202592f89def1, d826791c74f29dc), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (49f202592f89def1, d826791c74f29dc), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (470ca863666a738, 5e227adf86c3d5d4), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (470ca863666a738, 5e227adf86c3d5d4), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (470ca863666a738, 5e227adf86c3d5d4), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1e28b35dc86e2105, 986ef53473cc2a21), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1e28b35dc86e2105, 986ef53473cc2a21), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1e28b35dc86e2105, 986ef53473cc2a21), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (1e28b35dc86e2105, 986ef53473cc2a21), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (eb94a0b307c9261d, dbcb91d0f2badc81), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (ed6b3359fbc41814, 82c7c776b2dbd07d), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (6761712baa83bffd, 3951c62a7046eb52), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (aa93ec3bcfaf8467, 334bd89b9f7ff018), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (eb94a0b307c9261d, dbcb91d0f2badc81), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (ed6b3359fbc41814, 82c7c776b2dbd07d), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (6761712baa83bffd, 3951c62a7046eb52), 16, 24
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (aa93ec3bcfaf8467, 334bd89b9f7ff018), 16, 24
[INFO] [stderr]    Compiling pocket_prover v0.11.1 (/opt/rustwide/workdir)
[INFO] [stderr] SG_CR_Eslkdjf: path1_vars, (ff9d97e036adf118, 3d1b385ed3268cc3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: path1_vars, (ff9d97e036adf118, 3d1b385ed3268cc3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: vars, (6ef04da6835086ef, 6d3cea90ebec2c13), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: vars, (6ef04da6835086ef, 6d3cea90ebec2c13), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: path1, (f13835d832fc6b9f, 3bd7af081974e224), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (7b819cba00b39ccf, 3533dc7edc493dd6), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: path1, (12bb58552d34ecca, 2a681c9e478a087e), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (5776bd6cd14d2fdc, 44f705991ab74eff), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (a2e5ce13cdf70e3f, 29ed9c68cb42f484), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (556d5987ec8fb38d, bd872190e0c8dec), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (466ead872097b281, 2187cea85a5da7de), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (74eafb6810de2d8e, 4a5a0650e2d4c923), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (6315b77f48c294b8, 8bdfc4f0d7031871), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (ff10b1ebc588c761, 62a9ddc0f3d2a28a), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (a41388aaa9acfd65, cfb8462c8c259663), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: inference_rules, (1fbe32005ee97285, b8d128f571a5b804), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: exam, (5770fd486cbd441, e44082007eca4952), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: socrates, (82fb5874afa76744, 19e755a0459f7476), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (c4bbd6b13943e792, a612469503167f27), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (a966a6369c3083c3, d19fc630761c4886), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (d039ea7a3fe74655, 88fddae2a6ced816), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (264853df6d60d4b2, 45a67523c3ecbe06), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (185b40a172aeb323, f2e0dc76d46fc8bb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (d0170fdb361d1a2, 57afdf7734f80f3f), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (68fef0fcb594f906, 54fbd8183f99b384), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (8856c766bdc39e7a, 351972a4f0413184), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (2ef31c2313f706ac, bc6d43e38ef425c3), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (62bef76b9dd12e6b, 2699446c10f476c9), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (1fa723c2fe382723, 9c5d9842b70599b1), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (7f1414ac66393294, 1662ac9d81619f30), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (a0592d8a721003b8, fb2cc163a4799556), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (6c1b0813e3973715, 44f7d08645ac09e5), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: quantifiers, (2a98b611a11a6995, 13b962531100e10e), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: logic_is_true, (e075405d2554029a, ca19013bad50be47), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: logic_is_true, (20468d46f7988c72, df423d02c44cfae0), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: logic_is_true, (eee7772d32dc6c73, 6238e6ec1ba6b8b5), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: logic_is_true, (380d08df96e27714, cc9cd3838ca7183b), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: god_does_not_exist, (cf7c005df73043ba, 5a13afaef8995a45), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: extract, (7f70e55a8306afeb, e3ffe795a2a9de1f), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: god_does_not_exist, (91e4a3c5a486c56c, d326b639af4f72b4), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: god_does_not_exist, (727b60f6b8c7ffa3, 105102200b8a334a), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: extract, (af4c13adc70da75a, 59cd6fbd18220a9d), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (fcd242f37e6770a0, bbbfcc54acad31a6), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (eef2b5133ddaca14, 84c3eae2e16795a), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (f04367be9bb0bd51, 390c8cb3a74671e1), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (9934fc11bd36c96e, 986303a61e445a23), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (2192a98b84097274, 8686d49b9cb16f0d), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (620596798a095ac8, 820d24dbe339c348), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (ccfbd701288adefe, f8141118c3205b4d), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (ccfbd701288adefe, f8141118c3205b4d), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (869af96c4c012b2e, ffb0b40007d661bc), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (869af96c4c012b2e, ffb0b40007d661bc), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (869af96c4c012b2e, ffb0b40007d661bc), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (869af96c4c012b2e, ffb0b40007d661bc), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (c241961c69ee6fec, 7ed295b166012ff3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (c241961c69ee6fec, 7ed295b166012ff3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (c241961c69ee6fec, 7ed295b166012ff3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (c241961c69ee6fec, 7ed295b166012ff3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (c241961c69ee6fec, 7ed295b166012ff3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (c241961c69ee6fec, 7ed295b166012ff3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (c241961c69ee6fec, 7ed295b166012ff3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (c241961c69ee6fec, 7ed295b166012ff3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: pocket_prover, (cd3c5e61b52e0b, 8e270d93e2b62331), 0, 0
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.75s
[INFO] running `Command { std: "docker" "inspect" "f7734a6da6d9b389a50c273dc14eb1c731b6b0a7a849eebca291fc59ed44bbb1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f7734a6da6d9b389a50c273dc14eb1c731b6b0a7a849eebca291fc59ed44bbb1", kill_on_drop: false }`
[INFO] [stdout] f7734a6da6d9b389a50c273dc14eb1c731b6b0a7a849eebca291fc59ed44bbb1