[INFO] updating cached repository https://github.com/shnarazk/SAT-bench
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] [stderr] From https://github.com/shnarazk/SAT-bench
[INFO] [stderr]    909947d..3a540b0  master     -> master
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 3a540b0cedd12ec3267711e2dba8d70012a9fc36
[INFO] checking shnarazk/SAT-bench against master#0cbcb17d3306d6e22eafc2c05ce885db97d0189c for pr-68766
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-12/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-12/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/shnarazk/SAT-bench on toolchain 0cbcb17d3306d6e22eafc2c05ce885db97d0189c
[INFO] running `"/workspace/cargo-home/bin/cargo" "+0cbcb17d3306d6e22eafc2c05ce885db97d0189c" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/shnarazk/SAT-bench
[INFO] finished tweaking git repo https://github.com/shnarazk/SAT-bench
[INFO] tweaked toml for git repo https://github.com/shnarazk/SAT-bench written to /workspace/builds/worker-12/source/Cargo.toml
[INFO] crate git repo https://github.com/shnarazk/SAT-bench already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+0cbcb17d3306d6e22eafc2c05ce885db97d0189c" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+0cbcb17d3306d6e22eafc2c05ce885db97d0189c" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] ef4bb40e1307fde32e1f039a638402a2709d8b6276900fa7fb4dd326fa332e12
[INFO] running `"docker" "start" "-a" "ef4bb40e1307fde32e1f039a638402a2709d8b6276900fa7fb4dd326fa332e12"`
[INFO] [stderr]    Compiling syn v1.0.14
[INFO] [stderr]    Compiling rustversion v1.0.2
[INFO] [stderr]    Compiling version_check v0.9.1
[INFO] [stderr]    Compiling memchr v2.3.0
[INFO] [stderr]    Compiling serde v1.0.104
[INFO] [stderr]    Compiling openssl v0.10.28
[INFO] [stderr]     Checking foreign-types-shared v0.1.1
[INFO] [stderr]     Checking regex-syntax v0.6.14
[INFO] [stderr]    Compiling native-tls v0.2.3
[INFO] [stderr]     Checking openssl-probe v0.1.2
[INFO] [stderr]    Compiling encoding_rs v0.8.22
[INFO] [stderr]    Compiling unicode-segmentation v1.6.0
[INFO] [stderr]     Checking mime v0.3.16
[INFO] [stderr]     Checking dtoa v0.4.5
[INFO] [stderr]     Checking lock_api v0.3.3
[INFO] [stderr]    Compiling num-traits v0.2.11
[INFO] [stderr]     Checking thread_local v1.0.1
[INFO] [stderr]    Compiling num-integer v0.1.42
[INFO] [stderr]     Checking try_from v0.3.2
[INFO] [stderr]    Compiling openssl-sys v0.9.54
[INFO] [stderr]     Checking tokio-sync v0.1.8
[INFO] [stderr]    Compiling error-chain v0.12.1
[INFO] [stderr]     Checking miniz_oxide v0.3.6
[INFO] [stderr]     Checking foreign-types v0.3.2
[INFO] [stderr]     Checking rand_os v0.1.3
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]    Compiling hyper v0.12.35
[INFO] [stderr]     Checking want v0.2.0
[INFO] [stderr]     Checking backtrace-sys v0.1.32
[INFO] [stderr]     Checking bytes v0.4.12
[INFO] [stderr]     Checking futures-cpupool v0.1.8
[INFO] [stderr]     Checking mio v0.6.21
[INFO] [stderr]     Checking clap v2.33.0
[INFO] [stderr]     Checking tokio-executor v0.1.10
[INFO] [stderr]     Checking crossbeam-channel v0.4.0
[INFO] [stderr]     Checking cookie v0.12.0
[INFO] [stderr]     Checking backtrace v0.3.43
[INFO] [stderr]    Compiling heck v0.3.1
[INFO] [stderr]     Checking rand v0.6.5
[INFO] [stderr]     Checking parking_lot_core v0.6.2
[INFO] [stderr]     Checking tokio-timer v0.2.13
[INFO] [stderr]     Checking tokio-current-thread v0.1.7
[INFO] [stderr]     Checking aho-corasick v0.7.8
[INFO] [stderr]    Compiling unicase v2.6.0
[INFO] [stderr]     Checking flate2 v1.0.13
[INFO] [stderr]     Checking parking_lot v0.9.0
[INFO] [stderr]     Checking tokio-io v0.1.13
[INFO] [stderr]     Checking http v0.1.21
[INFO] [stderr]     Checking tokio-buf v0.1.1
[INFO] [stderr]     Checking string v0.2.1
[INFO] [stderr]     Checking tokio-threadpool v0.1.18
[INFO] [stderr]     Checking crossbeam v0.7.3
[INFO] [stderr]    Compiling mime_guess v2.0.1
[INFO] [stderr]     Checking tokio-reactor v0.1.12
[INFO] [stderr]     Checking uuid v0.7.4
[INFO] [stderr]     Checking chrono v0.4.10
[INFO] [stderr]     Checking tokio-tcp v0.1.4
[INFO] [stderr]     Checking tokio v0.1.22
[INFO] [stderr]     Checking regex v1.3.4
[INFO] [stderr]     Checking h2 v0.1.26
[INFO] [stderr]     Checking http-body v0.1.0
[INFO] [stderr]     Checking publicsuffix v1.5.4
[INFO] [stderr]    Compiling syn-mid v0.5.0
[INFO] [stderr]    Compiling synstructure v0.12.3
[INFO] [stderr]     Checking hyper-tls v0.3.2
[INFO] [stderr]    Compiling serde_derive v1.0.104
[INFO] [stderr]    Compiling failure_derive v0.1.6
[INFO] [stderr]    Compiling proc-macro-error v0.4.8
[INFO] [stderr]    Compiling proc-macro-error-attr v0.4.8
[INFO] [stderr]     Checking failure v0.1.6
[INFO] [stderr]    Compiling structopt-derive v0.4.2
[INFO] [stderr]     Checking structopt v0.3.9
[INFO] [stderr]     Checking serde_json v1.0.46
[INFO] [stderr]     Checking serde_urlencoded v0.5.5
[INFO] [stderr]     Checking cookie_store v0.7.0
[INFO] [stderr]     Checking reqwest v0.9.24
[INFO] [stderr]     Checking sat-bench v0.7.7 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2m 08s
[INFO] running `"docker" "inspect" "ef4bb40e1307fde32e1f039a638402a2709d8b6276900fa7fb4dd326fa332e12"`
[INFO] running `"docker" "rm" "-f" "ef4bb40e1307fde32e1f039a638402a2709d8b6276900fa7fb4dd326fa332e12"`
[INFO] [stdout] ef4bb40e1307fde32e1f039a638402a2709d8b6276900fa7fb4dd326fa332e12