[INFO] fetching crate varisat-formula 0.2.2...
[INFO] building varisat-formula-0.2.2 against try#d5c88c22807925c189328ef9d923c5d2b11a95b8+rustflags=-Zprofile-closures for pr-87066-3
[INFO] extracting crate varisat-formula 0.2.2 into /workspace/builds/worker-2/source
[INFO] validating manifest of crates.io crate varisat-formula 0.2.2 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 varisat-formula 0.2.2
[INFO] finished tweaking crates.io crate varisat-formula 0.2.2
[INFO] tweaked toml for crates.io crate varisat-formula 0.2.2 written to /workspace/builds/worker-2/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+d5c88c22807925c189328ef9d923c5d2b11a95b8" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[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-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 2e0e9d52305dc04f9402c66f83a11507c820ee262d02f6bfc302df9cf46c0617
[INFO] running `Command { std: "docker" "start" "-a" "2e0e9d52305dc04f9402c66f83a11507c820ee262d02f6bfc302df9cf46c0617", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2e0e9d52305dc04f9402c66f83a11507c820ee262d02f6bfc302df9cf46c0617", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2e0e9d52305dc04f9402c66f83a11507c820ee262d02f6bfc302df9cf46c0617", kill_on_drop: false }`
[INFO] [stdout] 2e0e9d52305dc04f9402c66f83a11507c820ee262d02f6bfc302df9cf46c0617
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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] 0f611fac251020072652d03b47aafff91a55bab4a095007f696d954ac126a3f3
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "0f611fac251020072652d03b47aafff91a55bab4a095007f696d954ac126a3f3", kill_on_drop: false }`
[INFO] [stderr]    Compiling varisat-formula v0.2.2 (/opt/rustwide/workdir)
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (26cf12bb764e92e7, 4bb9c7fb488925d6), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (d08c4adb945f8d38, 2ac866ede38c8d7a), 16, 16
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.51s
[INFO] running `Command { std: "docker" "inspect" "0f611fac251020072652d03b47aafff91a55bab4a095007f696d954ac126a3f3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0f611fac251020072652d03b47aafff91a55bab4a095007f696d954ac126a3f3", kill_on_drop: false }`
[INFO] [stdout] 0f611fac251020072652d03b47aafff91a55bab4a095007f696d954ac126a3f3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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] be60c23728dc3cafbe80e6f02b5047302d1545ca585e69024e2212e6fb9ee78f
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "be60c23728dc3cafbe80e6f02b5047302d1545ca585e69024e2212e6fb9ee78f", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.99
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling ppv-lite86 v0.2.10
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling remove_dir_all v0.5.3
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (26cf12bb764e92e7, 4bb9c7fb488925d6), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (d08c4adb945f8d38, 2ac866ede38c8d7a), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: build_script_build, (75b84863966839e5, 8a92c743b00988cf), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: autocfg, (d318f0ec49d2844c, 9963dc6836664ff6), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: autocfg, (10275bade51f3a64, 1a4993f89775eba9), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: autocfg, (ad71db94d2b0dded, b3dc5e463857ea36), 32, 32
[INFO] [stderr] SG_CR_Eslkdjf: autocfg, (82926ac54d2532ce, 8542c3146f879d7f), 32, 32
[INFO] [stderr] SG_CR_Eslkdjf: autocfg, (47682469233aa24e, 6234a8c7872b30b8), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: autocfg, (2f2196d24a853f8a, 7c1449fef3a08a41), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: autocfg, (65e85fdf8a9e1307, 8abe54fcfafac5c9), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: autocfg, (ece079b67c37958b, 2ad04b3daca5c227), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: autocfg, (680b341ec5c76adc, 6c9b8c7d6ea4fc6a), 0, 0
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling getrandom v0.2.3
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (2842f7b3c4ad2448, 2639d1feb1d36b1e), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (671182af8f8c4078, 6ef36985d79cd5fc), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (6e68d9dd98743c98, 5204e81a007ccaa9), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (3d65335766349854, 70b441df0851d520), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (3d22bca19a5e07f2, ed226b80eae34f99), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (9de038e11b9448c8, aa99d909abf0278), 8, 8
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (807ed81ba83b1b03, a80ed8c363d67383), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (ba177541a4186c61, cdf405d7303583bf), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (4c3960bf5f869c6a, 22c3681acc8cf469), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (45741bd6588a8b8, 5dba5afaeaa53cec), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (b73ba211a580d14e, dc3a801c0635fb67), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: getrandom, (6436af5c6e4fc87b, dac3ab59639ac6d7), 8, 8
[INFO] [stderr]    Compiling rand_core v0.6.3
[INFO] [stderr] SG_CR_Eslkdjf: wait_timeout, (b0518c361a60cf1d, bcdf1159dd26fe78), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: rand_core, (b232a606f13c126d, 43f08a57a0ae5765), 0, 0
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling rand_xorshift v0.2.0
[INFO] [stderr] SG_CR_Eslkdjf: rand_core, (6578edb45957964d, 80a48032e59bb5a0), 0, 0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr] SG_CR_Eslkdjf: rand_xorshift, (a098b7934f04c82d, dadb45cad85f2ae8), 0, 0
[INFO] [stderr]    Compiling rand v0.8.4
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (5358678afa411ffb, 3b91634efc2b0756), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (5358678afa411ffb, 3b91634efc2b0756), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (5358678afa411ffb, 3b91634efc2b0756), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (66e025f7b915d1a4, 6ec049fdbf38654), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (4cd60958054b0cb3, f5c5483319ba72ce), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (4cd60958054b0cb3, f5c5483319ba72ce), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (4cd60958054b0cb3, f5c5483319ba72ce), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (4cd60958054b0cb3, f5c5483319ba72ce), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (716836b2b8ce54df, 6c077c406e19beca), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (c82eaaec2b47dc8f, d20f0cb9cdc42782), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (701f2f168b5de990, 35d1120ceee4aecb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (701f2f168b5de990, 35d1120ceee4aecb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (701f2f168b5de990, 35d1120ceee4aecb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (701f2f168b5de990, 35d1120ceee4aecb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (701f2f168b5de990, 35d1120ceee4aecb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (701f2f168b5de990, 35d1120ceee4aecb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (701f2f168b5de990, 35d1120ceee4aecb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (7680c99b9fc22aa1, ab8626fc1b8aad3f), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (466cb42f3b485bc, 1cb0d57fc7b44d0b), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (c88e208bed6034eb, 711f6a6ec542ada5), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (e749ef5639af5fd2, 7af8f0c548099ab9), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (77029afea44f3e3c, 817f21bc9dee3609), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (36777d3990fa4547, d8609200eae386dd), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (3f4a325b8d5120d3, 9aefc768521ccf6b), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (cf3f741605bca23e, 1f2440823a0e58a4), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (123f891f3e1ddc07, 5ab13340901a0779), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (25c2b7432223ff2d, 99d23f8caf6c2fe4), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (32bae0127e43a4c0, fb56f4cebaeadaca), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (eb4a393e74fc5694, 6c61db83d8833da3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (54a0985bba998a5c, 6b245e8908f1a9b1), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (bac8aa8aa5ba9ca8, 52e3bc7774af42fa), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (83b3f25d415713ee, dafabc8ab881fc9b), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (2dd96101f23a8d9c, 6f3b7b06c7279925), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (278becdb7e897c3e, 67f5c5744fc7a1b8), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (a1b8746f243eb318, c51221744154d0c2), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (83eeb5a42a544882, f5e43933fc72d146), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (38b52be5af4a5796, faa40e39ceb8674e), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (1ca8348947062bb4, c072c8a26629f63d), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (42cf9e6c223d52ee, f9f637a7904661be), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (b35150680b419236, f57f593fc1d8c89c), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (66a3977bae06a727, 6c24691ffc59b94), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (a3bb3c8115259a88, c918a11488b058f4), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (b4327bf82704a7fa, 28001f3650520ee1), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (64e5e2c18a95e60e, d72bf856138c24b5), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (f01d64e72b2dfb5c, 3049b6b44643af5b), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (aa1be64d4be71403, ca694bd2efb625eb), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (cbf271d57dd14933, ec0990a979dcecf2), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (265d08331442bd6e, 222f68e7fbba0032), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (7cc1e5f6c1b83f09, ded972f339417096), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (7f4c6f390181e78c, 7ce81094f196ac06), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (7eaf710338b27db0, 2c6a0f2ceaa83e47), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (6b1dd5dedeecd05a, f40ed7536bdfc604), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (8056c118a5b3f682, a4482ce087e137ca), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (ef495314493cab73, e1e6d4b09564399a), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (685242820fc40a42, b2cb00940c2ddd7f), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (7893bda0e8698aca, 9d9f1eb746be7ef6), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (dc5869d68c2cb744, ac5828e5c68e6e87), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (9e5acb4a88573ef2, 96248553f12a1d6b), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (c5ca4a48157310ac, 6cd3c5c48708aeef), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (101311d0b9b9c183, 5f48a55f68f4090e), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (5fe13582bc968df, f67fddb8642c34eb), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (555c7a8d0cacafb9, 6dab8a8504779ec1), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (7ac229d25efe6b39, 71f42a989353a948), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (1e7d440768128947, 1a44da7665152df4), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (b53a7ac1ff62ec15, 2644e2bd8a118242), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (d1ad8dd06ae7620a, 8862425a7ecaf8c8), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (205a52ae6eb95a7, 7774a899c09996bf), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (ae2e914ca11a346b, 1e5a12ee75b9a0e4), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (1a812dad46aee5c1, b7baaf46de61974e), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (ddbf736b9f08e0fb, aa414027318ba5b8), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (831d12a65e7b27ad, 1477241b65967d78), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (fccae644e5410216, d974ad87a7242b68), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (9e2742675b2106de, e3e97e0ab403ae0d), 16, 16
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (1b040aecee5baa00, 70ea1a585a5245b6), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: regex_syntax, (e1052e61b12936a7, 2250e42a79096543), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: rand, (13e5d9d41d5cebe1, 8ba1d5dca2460659), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (b480277c8d9f9c92, a4b5bafc5a09aaf9), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (5d2df993baef1ef7, 2b30d0c19bcd196c), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (2deb00541cdc0b0c, 950066e63301c507), 8, 24
[INFO] [stderr] SG_CR_Eslkdjf: rand, (297cec90d12fc2ed, b150d5075de73bc), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (b8fa08e224c07bbc, 1bd87f842b910d71), 0, 0
[INFO] [stderr]    Compiling tempfile v3.2.0
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (a9299502c366b58e, 44b905d4da8ca52c), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (4892c47468075c55, b40399f672252b62), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (9663066b968f0ee7, ac46d6e66219cd3e), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (e0648f07caee3d99, 65084f0ecbeef371), 24, 24
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (7ea11d7769b3816b, b87ce1c72ffd6474), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (54ccd1ce4cadc38f, 8ef457c41267816b), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (24df4c12fe46c0e7, 1b5e7e6daac1c609), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (bd173ca7e8c735bd, 30d8f66593c47cd7), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (de5719a3c42b22fc, ff7895a4530a26a3), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (a32354797d8020d5, aab7e2c93d95d397), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (9b7a5c3d1c0ba844, a0ed8013bcbbd06d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (5ae922be27d5051, 2da573b2ff72e2ba), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (37c31e146fab440b, f252daacc3cfdf97), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (649136ed502885c7, bdc38c7fd6391696), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (85ecdf6e6ac14a16, d9ebb5dd90fae2a3), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (b0f34c9707a5d56e, dd31bc08ad0c1901), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (d8e9e507497e86ea, d3115acea45893a1), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (7670cfa320efb124, 5e15f5e2b7141242), 24, 24
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (abcb4197a26fbe90, 7766800c70474a0e), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (eafb17c7b6268e9f, fe7978914b7b23d3), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (18c4460bc38b0de4, 9f3b8f766b9c713d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (6255776663afc5e1, f2d7dd6ab3cc7c1d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (8ea506d5d10a5fc8, b07d0de4901b3402), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (387ec09ca5fd1b72, 7a8dff4c2fa9fa5c), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (8386165db14cf7a2, 6f3eaffc3e2cf11a), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (283927e52467613d, 726e29e543e0ca08), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (e70c20c44dc5a268, 4a7c481efe998464), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (2b48d4aa5f8e687c, c6aafc068e025813), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (e67092bcaf33fabd, d67f55b8e88ca6f5), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (29d29fb64a0183a6, 2bd7b2ea27cb8a20), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (696bb44d3386de39, 7fd7337043073f67), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (180480c04a1786cc, 76144174366b46dd), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (cdb468284a4f0ac6, faec2f57a977c229), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (b628b075da7f7041, 62e0ae976d811b3b), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: tempfile, (d9144211fc86179a, b0679537b23a4c82), 0, 0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (df16f2629cb5370, 45f603178252bbf2), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (a02b15f6e0b2b9fe, e98dec6c21bfd544), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (22f01ace7ad7f885, 867c60caf103050e), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (cf8294e4fdad84c5, 629835828a3828f3), 8, 24
[INFO] [stderr] SG_CR_Eslkdjf: rand, (c63d76ff1ea11465, 5782e498c4307c80), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (369192781c883ecd, 41ee32e81e88b9f5), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (c3510a7b451280e5, 3029366d3f037777), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rand, (2b84596f5b74e944, 300c9ad7af283bf5), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (2bd5ff9c2f0146b7, 7bebfe28dc666208), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (8890ad0a4d2b0162, 5f1596348cc1da9b), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (afaeb896bd9ad970, 1cfae3f9fbf82b52), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (c87c29b5098f8acf, e9af3bdf2e3e0bdd), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (d1ec6166279265b9, 57bdeb26a43bf4b5), 8, 16
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (7666ccf4e908dd2e, ee5e1fca0ab52d81), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (f9c25e8c646a99c1, a8c736391c63b5d7), 4, 4
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (fec37802e4d5b93b, ed80f29e594b376d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (67ee672ff30c082e, 14a2d6f9aa10a28d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: rusty_fork, (75b7d9914ef1333f, a556e1bfd7a04d0d), 16, 16
[INFO] [stderr]    Compiling proptest v0.10.1
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (254def18c54b37b7, 9ac1c69913b5f3ae), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (d10ee53c95084e0b, 33ed6ab103e53af9), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (482c7d0a0b564b9a, 479e2a9ae88bb2d3), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (d1d450d131fc82c9, 6891668ec5601d13), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (e1959e91cb70179a, 67deb3016b242916), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (981ee0af3100b6b5, 6be3bbae59213226), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (dd41feff4ae4c9dd, ea5267c1b0f3bb38), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (57457c0eae0c3f3e, 45e8dc2d4b03e6fe), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (5e1869416b7042ff, 6549c586fd3132eb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (9254cf56cff46c0f, 62a58e7a181a2a48), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a5cdceffc5539b90, 80a67ab2430a6d28), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (670a7616f901fe0a, 715978577ed3a943), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (e8d3fe79c629e919, 1d6a304eaaf9935c), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (1cf9f4acd88028eb, f56c8e731af802ac), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (e7817d78807bc1bb, 4fd23eabdfa11db0), 24, 24
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a8c409f13c2e4f19, 4052393752570b9d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a0698962242cbc3f, 938de110c52ee9bb), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (aaf62aac2bee54f2, d8920d1a2c31e29d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (9190827c30da9e91, 896c83bb09945510), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (f15fad64bcd14ef3, fabece36d7558ba0), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (95ff212805af752, b9be49b920efc9de), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (845456b2f12dad7f, c16f70188ba518f2), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (6689a06cf667848c, afa91dde32d677e7), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (b8f839d4e1bec382, 52d10f75387e7aff), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (257045283aa94e4c, a9d0196906570528), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (257045283aa94e4c, a9d0196906570528), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (7563f42864564db, 67af6c41b416c9ca), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (15728142751c0995, 10a8bf5c104aaf9d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a0b37f644c3e1477, fbc009df7ecdfa56), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (acedfc19e04440c6, f97b8386a724ec26), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (b254d79d6e4c2138, 17788b622f9cd0df), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (aee5cde7e7f7e173, 714ae9e613d2441f), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (5067e8105c98bda, dbc308389634b587), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (660f6637e62bd02d, 41f544a47aebe810), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (40803faf577c1048, 61dd30398cb907c7), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (996d1922f92c766a, 7dd2dbc1a2da5031), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (c17a217b658da187, f14853dbf9f2b853), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (4792aacfc9468996, c75d5c35d04f6e92), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (4f6f1a7c2ba49fbe, 859100e0219aaa0c), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (5131be8f627fe3a3, d50318518b433ba2), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (2eacddd3ac1e1697, f21717ead6ac747d), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (e41971c9f15662fb, 4df93c36c9dd0e25), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (ad3c3b315af3e71d, a154df39a38502e9), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (ef94f2ba361997b6, f09bd6982052974a), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a6ad28a2bcd3a0ca, 532104751b0e45f5), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (3591c0724fc799c8, b891784732593819), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (274d3866dc387cb7, 949fa39d1113c18c), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a06254be303e6df4, 79c89044734d33d7), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (10393569c6a5ddd, b29dc325d3569d96), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (15fc2ab014234895, 653c07e74cd8eca5), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (99d2460f4156eca7, 17747d2d4b084f62), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (6fed883f7854d93c, f0d7152b258fdebf), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (678f2d6c5c3aa6f0, f2b628415527ab25), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (6cd6707f78e53d4a, 99bdde597072f587), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (7a7254ea3b7d67b4, 797e8a4e8a33dcbc), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (27a04c5cdf632c65, eaa1c13d25cbc275), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (6c9fd715a89f1195, 27c2e7b608a32f96), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (abfda552cb208669, 426a1267164ee79f), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (6ecd539f75952ab3, 50ab1ca49a931cfe), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (862705fc599d7279, 791fe3c7a4f26374), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (dfc3a1971b26120b, 8981c23ea4efb091), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (77d2c87dd4ee89e9, 41a6b25f03403d71), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (8be257cdc415ff53, 57328ac1d1de7013), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (b2794f9f40c04836, 291c80b3d5d39900), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a1a64f9fb755204e, bfcf9dcea883deea), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (92c6e87d8f8264b7, 3b7d082dc3311e5), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (8883b09f4a468dd1, 6bbeb2338d6a3f4c), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (e1515322ffaceac0, a27088ecb18fbffb), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (314a8833389ab4f, 634ec4cb94d16749), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (464690ec9fca02d4, ffa53ce17d8d0ff2), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (e7e7fb0f60e1c156, 4798d0aee50b3370), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (3cfa3bf62e2cccad, 12a8a5fd472bb2c6), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (9198ff611b12cdd, f5d2e3300067008a), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (8752191e9c32f3d3, 1a822e6314bf3f7b), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (6ef601bfd253c5c5, 7551d905f2c43633), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (fbbd0282e96641ea, 3c95e438ab6fca0c), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (3c902e4ab680b8c8, 73fdbc98163cd5e3), 1, 1
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (1a185989037a39ce, 763990361d6a8337), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (361a34b1eb8d2f3b, ee98e754ae183188), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (aebaf165238d2ce7, ce792f50cb56e9dd), 1, 1
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (862412743377217, 3fb6ad543ca062d5), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (d9c66834f0e71360, 49443d4be8d895cd), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (40a92e9596b21db1, 3e4c9328dfb0b2a4), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (ea0f09f9d30b1fd2, 4e66501aa08567c6), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (633669d79fe843db, 3cb1f5c3a5411307), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (99260eba434573c0, bb2a56e4148f3505), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (d4e79e1dd05f0b9c, ae2803897f777fb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (4631978efcbaea54, 357869d3e5b65391), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (256f67082261fe1a, e210a2fd7250f1fb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (29d1d8f8f7c6095b, 36c77443d27dd0e9), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (108841626a6c943c, 14caece41e3956b7), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (d078e2f8c6311ac, 681995d29eb54036), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (19bb3085cca4d3b0, edc309688fea8059), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (7e65d082212a1e11, 4041b86f9eceb725), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (eb711c500f868d4c, 6ae931efd9daccfc), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (2dd8088f211fc1fc, 94b33d0eab8a7129), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (b95f332821d85c14, 828cd8a7a38d0c60), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (7abd309f26467e30, 722fd56c65c5f4ce), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a8546a61aa9c5ce, b4c9bbb8e4082795), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a6dc46ef6ca0149e, 2dc5b30d92103619), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (2ca493e1065f8b34, 2ec4f31c7e42b579), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (c771928ff3d128a4, d69ce065d564a890), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (6b70922eb11fb355, 5a3d8366fb8fe92), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (8cdeac8876f3e244, 5192688a9c79a88c), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (2470a024c31290ff, 4b99337859f3487a), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (44a9085702c93bd9, d71efbeb1fc6ddb1), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (4fbfbb6e93e8cf18, 50b4a2f74eb24256), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (cf4c3afe16b58173, 54280788e3622706), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (898b3c1bb3bc38bb, 105053b305c526d4), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (7c208f0531b2f408, f29b5ffb5da3dc62), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a6726d6d437364fb, aafe8cf9f75a3637), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (f71aea2685fbd917, b31a62412556d8e3), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (59c8ed8122e40679, 4946548f715747f6), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (2c62014a4834a315, c78704e87edfb2ba), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (5d31ade334443ff0, 2f7cee8d2fd7b88f), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a28088233a05ecc, 79339b0680d4be01), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (554c3d0ebb20acec, b2e8c97fe3fccf50), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (ea312ae9d5906cac, b66ac887f0fd5b7a), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (470ebc200ca17f25, 6b82bed168392b7f), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (b64aa3c43d62b3a4, b45010e19c969400), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (f80b71dcc34d0b2a, caa950532a085f3b), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (29541c4d761929e0, 1a45b7b5eb7bb274), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (3e69bb861313ff1d, 80077f917d37deeb), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (22256d579fbd619c, 4c6cd39aec4708f), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (e98b258bdea34f18, 2f706d19f46fae44), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (481dd6c2835b6f9e, 9b25d658e860183b), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (ffb6d73660985cde, 4743d53477bb8ede), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (ac993ca65b4d70e6, be470d4fa1759a03), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (74fa402ffabb9bb3, 716114ef21092d9f), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (40bc109ac7872bd7, 29accbc4cb20c3ba), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (cf1a0274b742b6a5, 87152cb50d82c41d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (8f556323000c0bbb, 3b7d52f16b00c5da), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (7ad0356667f054fe, 414ec3a3bf0b66cd), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (c0574baf2ba67d85, a8f33446abbe5f7b), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (c90d95a8fdf781b0, 3fcb77a9e73e36a0), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (b9cc2d9b8f56950, 62111fb1099fdd16), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (5f251bfddc97d6a9, cb8f093571bf9d1d), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (2cd52e5f679d8b0b, 519e4a2dc9375fd3), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (c37423a764726a68, c5616a431d08cfb1), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (e9fdda9ef5081bc3, 8eed0f803706db1a), 1, 1
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (10557d899d6ab47a, c3d5f3f577075b28), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (ce8cd2fa965ff301, 31195b4598567a71), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (65fd549810d24692, 43ce1426644a4565), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a29c6dddc90f8dc5, de736a5d8dac22ba), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (8a52213fbf9bce32, 8044e5975805ab0), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (2934879d7175804b, b2feddeb31bd7568), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (f1a3157774991c98, 6009fd3b2ef8eb25), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (fcd022133f9fab7c, e595c9c3ebe32e8f), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (13e31d2b60a08b40, 3742a1ca27eb4c86), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (59cb7ed89e18d7d1, 7b04581d36ca4055), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (826d09c1090d9afd, 60b5db826a3ec7e7), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (a046919e65900926, 67568e30cda172d1), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (83d9cd0e28fd2ffe, 80471d104dd1271f), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (8e4e0ec709d3fce6, ce330de27e2aa3e), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (c77f69963554579, b05d8b7bc65dd795), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (7f28c3bdcd5ebd4, 408329d6cccf5b43), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (c2ead71da2a882db, 805688a9342cf9f1), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (8a3775f09f72b57b, 79ce1bc2f210d3b7), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (379bd0dd07324cdb, 270ec3128bfc1fa3), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (dcc90a2fde44f27, 41fbdaaf29443e9b), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (f01a08eb45a3e3ff, 85bdf3c221eeffd6), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (f0f35498e7c93969, 70946f0379e09764), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (dd14b6d41f5f8ccb, fe6be61c4fee4577), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (2abb0071547dce24, 4274b81d4c20c502), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (273e7e42e512831c, 6e0696613df0ab72), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (1dc5248f2b12c892, 5a37c0b9e6a44848), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (ef487e0a76baf1b9, 3a5dcedc40040061), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (15be570f8cfb8bd2, 57f24edd32f3b376), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (9fc211f1fcceb9dc, 9261ee3e7adf91f7), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (85ae3e17a67b4020, 682d9c91b62654d0), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (dda06fce0e582f66, 9da589a42658b814), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (7ae3119d313ce890, 623423b6854d2ba6), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (7e469f3cde44d628, b8b30e457fd9b322), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (694af3a0e2054b8a, 12e851979e990c23), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: proptest, (d62a3969273c7ecb, af907eb928f64ece), 8, 8
[INFO] [stderr]    Compiling varisat-formula v0.2.2 (/opt/rustwide/workdir)
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (507a542a46682758, 1d58ff7456ba1b70), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (2b9dcda4646d7566, 20064afa45b99b14), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (42b9a0d5f2aaa73f, 4ba0065191ddc587), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (98145ada26536445, 60c3aa04ae63d098), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (f56a0db4c041a873, 8127a4422d82befa), 32, 32
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (47dbaeaa2ec18523, b9a5d4eb627e9374), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (e99e29fb1dc0d82, ebf341ee70bfc557), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (c0fcd74c2c99291d, cc5ab6ee71eff3d), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (3784895217ac7d4f, 54e4750e74d9af8c), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (bf2e3888318d667b, 4155d879e55a78ed), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (3784895217ac7d4f, 54e4750e74d9af8c), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (bf2e3888318d667b, 4155d879e55a78ed), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (f72c25d75e0cae08, 29de87da9314041f), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (c69bf7f9d3a76b25, be06bfc74ca58e5b), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (891e1d874087444e, 4b21d9f53339209e), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (162279d577b68a78, 7fba762ebebbc7f8), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (7f81bc7d108d9bef, 7dcc1d44d7753fbe), 32, 32
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (42b9a0d5f2aaa73f, 4ba0065191ddc587), 8, 8
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (9cb9469b969df03e, b1a789eb12b0a9cd), 0, 0
[INFO] [stderr] SG_CR_Eslkdjf: varisat_formula, (b3fd30f9a80381f8, 8a397f8ca6b0bbd4), 16, 16
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 34.97s
[INFO] running `Command { std: "docker" "inspect" "be60c23728dc3cafbe80e6f02b5047302d1545ca585e69024e2212e6fb9ee78f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "be60c23728dc3cafbe80e6f02b5047302d1545ca585e69024e2212e6fb9ee78f", kill_on_drop: false }`
[INFO] [stdout] be60c23728dc3cafbe80e6f02b5047302d1545ca585e69024e2212e6fb9ee78f