[INFO] fetching crate snark-tool 0.4.0...
[INFO] documenting snark-tool-0.4.0 against 1.61.0 for beta-1.62-rustdoc-1
[INFO] extracting crate snark-tool 0.4.0 into /workspace/builds/worker-9/source
[INFO] validating manifest of crates.io crate snark-tool 0.4.0 on toolchain 1.61.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.61.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate snark-tool 0.4.0
[INFO] finished tweaking crates.io crate snark-tool 0.4.0
[INFO] tweaked toml for crates.io crate snark-tool 0.4.0 written to /workspace/builds/worker-9/source/Cargo.toml
[INFO] crate crates.io crate snark-tool 0.4.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.61.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded leb128 v0.2.4
[INFO] [stderr]   Downloaded varisat-formula v0.2.2
[INFO] [stderr]   Downloaded serde_json v1.0.61
[INFO] [stderr]   Downloaded partial_ref v0.3.2
[INFO] [stderr]   Downloaded varisat-checker v0.2.2
[INFO] [stderr]   Downloaded partial_ref_derive v0.3.2
[INFO] [stderr]   Downloaded varisat-dimacs v0.2.2
[INFO] [stderr]   Downloaded varisat-internal-macros v0.2.2
[INFO] [stderr]   Downloaded varisat v0.2.2
[INFO] [stderr]   Downloaded varisat-internal-proof v0.2.2
[INFO] [stderr]   Downloaded vec_mut_scan v0.3.0
[INFO] [stderr]   Downloaded syn v1.0.56
[INFO] [stderr]   Downloaded cadical v0.1.13
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+1.61.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cb0b6f144f3dc642e6d7207e56f4a502bfa9fd76720daab950e7291303391101
[INFO] running `Command { std: "docker" "start" "-a" "cb0b6f144f3dc642e6d7207e56f4a502bfa9fd76720daab950e7291303391101", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cb0b6f144f3dc642e6d7207e56f4a502bfa9fd76720daab950e7291303391101", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cb0b6f144f3dc642e6d7207e56f4a502bfa9fd76720daab950e7291303391101", kill_on_drop: false }`
[INFO] [stdout] cb0b6f144f3dc642e6d7207e56f4a502bfa9fd76720daab950e7291303391101
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+1.61.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e25905266ea2adf09d638edee8fb8a2ff6a705d598ae2e452b5d97da9c2a8b3c
[INFO] running `Command { std: "docker" "start" "-a" "e25905266ea2adf09d638edee8fb8a2ff6a705d598ae2e452b5d97da9c2a8b3c", kill_on_drop: false }`
[INFO] [stderr] warning: output filename collision.
[INFO] [stderr] The bin target `snark-tool` in package `snark-tool v0.4.0 (/opt/rustwide/workdir)` has the same output filename as the lib target `snark_tool` in package `snark-tool v0.4.0 (/opt/rustwide/workdir)`.
[INFO] [stderr] Colliding filename is: /opt/rustwide/target/doc/snark_tool/index.html
[INFO] [stderr] The output filenames should be unique.
[INFO] [stderr] This is a known bug where multiple crates with the same name use
[INFO] [stderr] the same path; see <https://github.com/rust-lang/cargo/issues/6313>.
[INFO] [stderr] If this looks unexpected, it may be a bug in Cargo. Please file a bug report at
[INFO] [stderr] https://github.com/rust-lang/cargo/issues/ with as much information as you
[INFO] [stderr] can provide.
[INFO] [stderr] cargo 1.61.0 (a028ae4 2022-04-29) running on `x86_64-unknown-linux-gnu` target `x86_64-unknown-linux-gnu`
[INFO] [stderr] First unit: Unit { pkg: Package { id: PackageId { name: "snark-tool", version: "0.4.0", source: "/opt/rustwide/workdir" }, ..: ".." }, target: TargetInner { name: "snark-tool", doc: true, ..: with_path("/opt/rustwide/workdir/src/main.rs", Edition2018) }, profile: Profile { opt_level: "3", incremental: false, ..: default_dev() }, kind: Host, mode: Doc { deps: false }, features: [], artifact: false, is_std: false, dep_hash: 4488248954351803906 }
[INFO] [stderr] Second unit: Unit { pkg: Package { id: PackageId { name: "snark-tool", version: "0.4.0", source: "/opt/rustwide/workdir" }, ..: ".." }, target: TargetInner { ..: lib_target("snark_tool", ["lib"], "/opt/rustwide/workdir/src/lib.rs", Edition2018) }, profile: Profile { opt_level: "3", incremental: false, ..: default_dev() }, kind: Host, mode: Doc { deps: false }, features: [], artifact: false, is_std: false, dep_hash: 14781678349383458201 }
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling libc v0.2.81
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling syn v1.0.56
[INFO] [stderr]    Compiling anyhow v1.0.37
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling serde_derive v1.0.118
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling proc-macro2 v0.4.30
[INFO] [stderr]    Compiling serde v1.0.118
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling unicode-xid v0.1.0
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]     Checking varisat-formula v0.2.2
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling syn v0.15.44
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking itoa v0.4.7
[INFO] [stderr]    Compiling regex-syntax v0.6.21
[INFO] [stderr]    Compiling unicode-segmentation v1.7.1
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]     Checking smallvec v1.5.1
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking linked-hash-map v0.5.3
[INFO] [stderr]    Compiling serde_json v1.0.61
[INFO] [stderr]     Checking ppv-lite86 v0.2.10
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]     Checking leb128 v0.2.4
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking vec_mut_scan v0.3.0
[INFO] [stderr]     Checking dtoa v0.4.7
[INFO] [stderr]     Checking bit-vec v0.6.3
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]    Compiling thread_local v1.0.1
[INFO] [stderr]     Checking yaml-rust v0.4.4
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling indexmap v1.7.0
[INFO] [stderr]    Compiling heck v0.3.2
[INFO] [stderr]    Compiling aho-corasick v0.7.15
[INFO] [stderr]    Compiling quote v1.0.8
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking num_cpus v1.13.0
[INFO] [stderr]    Compiling jobserver v0.1.22
[INFO] [stderr]    Compiling cc v1.0.69
[INFO] [stderr]    Compiling quote v0.6.13
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]     Checking varisat-internal-proof v0.2.2
[INFO] [stderr]     Checking ordered-float v2.0.1
[INFO] [stderr]    Compiling varisat v0.2.2
[INFO] [stderr]    Compiling regex v1.4.2
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]    Compiling cadical v0.1.13
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr] error: could not compile `regex`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name regex /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/regex-1.4.2/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="aho-corasick"' --cfg 'feature="default"' --cfg 'feature="memchr"' --cfg 'feature="perf"' --cfg 'feature="perf-cache"' --cfg 'feature="perf-dfa"' --cfg 'feature="perf-inline"' --cfg 'feature="perf-literal"' --cfg 'feature="std"' --cfg 'feature="thread_local"' --cfg 'feature="unicode"' --cfg 'feature="unicode-age"' --cfg 'feature="unicode-bool"' --cfg 'feature="unicode-case"' --cfg 'feature="unicode-gencat"' --cfg 'feature="unicode-perl"' --cfg 'feature="unicode-script"' --cfg 'feature="unicode-segment"' -C metadata=3f476501ae5e80e5 -C extra-filename=-3f476501ae5e80e5 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern aho_corasick=/opt/rustwide/target/debug/deps/libaho_corasick-03ebdf95e0809e60.rmeta --extern memchr=/opt/rustwide/target/debug/deps/libmemchr-29b1f3e6ed79b219.rmeta --extern regex_syntax=/opt/rustwide/target/debug/deps/libregex_syntax-f3137a82733a5d03.rmeta --extern thread_local=/opt/rustwide/target/debug/deps/libthread_local-1f71ea9679c2be74.rmeta --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `syn`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name syn --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/syn-1.0.56/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="clone-impls"' --cfg 'feature="default"' --cfg 'feature="derive"' --cfg 'feature="extra-traits"' --cfg 'feature="parsing"' --cfg 'feature="printing"' --cfg 'feature="proc-macro"' --cfg 'feature="quote"' --cfg 'feature="visit"' -C metadata=8359d0fdc96f0665 -C extra-filename=-8359d0fdc96f0665 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-d2fb8bfa8ad64ed4.rmeta --extern quote=/opt/rustwide/target/debug/deps/libquote-c5d2dd0d61293a27.rmeta --extern unicode_xid=/opt/rustwide/target/debug/deps/libunicode_xid-b5509196166d98f1.rmeta --cap-lints allow --cfg syn_disable_nightly_tests` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `syn`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name syn /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/syn-0.15.44/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="clone-impls"' --cfg 'feature="default"' --cfg 'feature="derive"' --cfg 'feature="parsing"' --cfg 'feature="printing"' --cfg 'feature="proc-macro"' --cfg 'feature="quote"' -C metadata=974069579393be34 -C extra-filename=-974069579393be34 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-5183daaff8fc0d44.rmeta --extern quote=/opt/rustwide/target/debug/deps/libquote-6b52825d784462e1.rmeta --extern unicode_xid=/opt/rustwide/target/debug/deps/libunicode_xid-123b1a1a47f71896.rmeta --cap-lints allow --cfg syn_can_match_trailing_dollar --cfg syn_can_use_thread_id --cfg syn_can_use_associated_constants --cfg syn_can_call_macro_by_path --cfg syn_disable_nightly_tests` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `clap`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name clap /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/clap-2.33.3/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C opt-level=3 -C embed-bitcode=no -C debuginfo=2 -C debug-assertions=on --cfg 'feature="ansi_term"' --cfg 'feature="atty"' --cfg 'feature="color"' --cfg 'feature="default"' --cfg 'feature="strsim"' --cfg 'feature="suggestions"' --cfg 'feature="vec_map"' -C metadata=ba48591385d7c439 -C extra-filename=-ba48591385d7c439 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern ansi_term=/opt/rustwide/target/debug/deps/libansi_term-652836b852570869.rmeta --extern atty=/opt/rustwide/target/debug/deps/libatty-5b795be2f014685d.rmeta --extern bitflags=/opt/rustwide/target/debug/deps/libbitflags-6fcadbe3bb5a6986.rmeta --extern strsim=/opt/rustwide/target/debug/deps/libstrsim-16d476007295dfcb.rmeta --extern textwrap=/opt/rustwide/target/debug/deps/libtextwrap-18c9a76d8dcc5e23.rmeta --extern unicode_width=/opt/rustwide/target/debug/deps/libunicode_width-0bad39e59c6f9ce3.rmeta --extern vec_map=/opt/rustwide/target/debug/deps/libvec_map-f56f2bff8dd36492.rmeta --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] The following warnings were emitted during compilation:
[INFO] [stderr] 
[INFO] [stderr] warning: cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=c++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=compilation terminated.compilation terminated.compilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1pluscompilation terminated.compilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1pluscompilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1pluscompilation terminated.compilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1pluscompilation terminated.cargo:warning=compilation terminated.compilation terminated.compilation terminated.compilation terminated.compilation terminated.compilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1pluscompilation terminated.compilation terminated.compilation terminated.compilation terminated.compilation terminated.
[INFO] [stderr] warning: 
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: cargo:warning=compilation terminated.compilation terminated.
[INFO] [stderr] warning: cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: c++: fatal error: Killed signal terminated program cc1plusexit status: 1
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] warning: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: compilation terminated.
[INFO] [stderr] 
[INFO] [stderr] error: failed to run custom build command for `cadical v0.1.13`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/cadical-669184cc7366be49/build-script-build` (exit status: 1)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   TARGET = Some("x86_64-unknown-linux-gnu")
[INFO] [stderr]   HOST = Some("x86_64-unknown-linux-gnu")
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   CXX = None
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   CARGO_CFG_TARGET_FEATURE = Some("fxsr,sse,sse2")
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   CXX = None
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   CARGO_CFG_TARGET_FEATURE = Some("fxsr,sse,sse2")
[INFO] [stderr]   cargo:rerun-if-changed=src/ccadical.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/version.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/solver.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/internal.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/arena.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/proof.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/limit.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/options.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/stats.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/message.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/external.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/profile.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/terminal.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/clause.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/backtrack.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/phases.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/report.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/flags.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/solution.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/assume.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/queue.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/checker.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/score.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/lucky.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/propagate.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/analyze.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/ema.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/averages.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/minimize.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/extend.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/restore.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/walk.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/watch.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/decide.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/collect.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/var.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/condition.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/occs.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/subsume.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/elim.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/cover.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/block.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/backward.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/vivify.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/probe.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/decompose.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/rephase.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/reduce.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/gates.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/deduplicate.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/restart.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/ternary.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/transred.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/instantiate.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/bins.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/compact.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/contract.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/util.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/config.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/file.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/tracer.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/parse.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/format.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/resources.cpp
[INFO] [stderr]   cargo:rerun-if-changed=cadical/src/lookahead.cpp
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/src/ccadical.o" "-c" "src/ccadical.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/version.o" "-c" "cadical/src/version.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/solver.o" "-c" "cadical/src/solver.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/internal.o" "-c" "cadical/src/internal.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/arena.o" "-c" "cadical/src/arena.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/proof.o" "-c" "cadical/src/proof.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/options.o" "-c" "cadical/src/options.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/message.o" "-c" "cadical/src/message.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/limit.o" "-c" "cadical/src/limit.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/stats.o" "-c" "cadical/src/stats.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/external.o" "-c" "cadical/src/external.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/terminal.o" "-c" "cadical/src/terminal.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/profile.o" "-c" "cadical/src/profile.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/backtrack.o" "-c" "cadical/src/backtrack.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/clause.o" "-c" "cadical/src/clause.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/phases.o" "-c" "cadical/src/phases.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/flags.o" "-c" "cadical/src/flags.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/report.o" "-c" "cadical/src/report.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/assume.o" "-c" "cadical/src/assume.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/solution.o" "-c" "cadical/src/solution.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/queue.o" "-c" "cadical/src/queue.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/checker.o" "-c" "cadical/src/checker.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/lucky.o" "-c" "cadical/src/lucky.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/propagate.o" "-c" "cadical/src/propagate.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/score.o" "-c" "cadical/src/score.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/analyze.o" "-c" "cadical/src/analyze.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/ema.o" "-c" "cadical/src/ema.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/averages.o" "-c" "cadical/src/averages.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/minimize.o" "-c" "cadical/src/minimize.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/restore.o" "-c" "cadical/src/restore.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/extend.o" "-c" "cadical/src/extend.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/walk.o" "-c" "cadical/src/walk.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/watch.o" "-c" "cadical/src/watch.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/decide.o" "-c" "cadical/src/decide.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/collect.o" "-c" "cadical/src/collect.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/var.o" "-c" "cadical/src/var.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/condition.o" "-c" "cadical/src/condition.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/occs.o" "-c" "cadical/src/occs.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/subsume.o" "-c" "cadical/src/subsume.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/elim.o" "-c" "cadical/src/elim.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/cover.o" "-c" "cadical/src/cover.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/block.o" "-c" "cadical/src/block.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/backward.o" "-c" "cadical/src/backward.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/vivify.o" "-c" "cadical/src/vivify.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/rephase.o" "-c" "cadical/src/rephase.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/reduce.o" "-c" "cadical/src/reduce.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/decompose.o" "-c" "cadical/src/decompose.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/gates.o" "-c" "cadical/src/gates.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/probe.o" "-c" "cadical/src/probe.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/deduplicate.o" "-c" "cadical/src/deduplicate.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/restart.o" "-c" "cadical/src/restart.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/ternary.o" "-c" "cadical/src/ternary.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/transred.o" "-c" "cadical/src/transred.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/instantiate.o" "-c" "cadical/src/instantiate.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/bins.o" "-c" "cadical/src/bins.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/util.o" "-c" "cadical/src/util.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/compact.o" "-c" "cadical/src/compact.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/contract.o" "-c" "cadical/src/contract.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/config.o" "-c" "cadical/src/config.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/format.o" "-c" "cadical/src/format.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/tracer.o" "-c" "cadical/src/tracer.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/resources.o" "-c" "cadical/src/resources.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/file.o" "-c" "cadical/src/file.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/lookahead.o" "-c" "cadical/src/lookahead.cpp"
[INFO] [stderr]   running: "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/parse.o" "-c" "cadical/src/parse.cpp"
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=c++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=cargo:warning=compilation terminated.compilation terminated.compilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1pluscompilation terminated.compilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1pluscompilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1pluscompilation terminated.compilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1pluscompilation terminated.cargo:warning=compilation terminated.compilation terminated.compilation terminated.compilation terminated.compilation terminated.compilation terminated.compilation terminated.c++: fatal error: Killed signal terminated program cc1pluscompilation terminated.compilation terminated.compilation terminated.compilation terminated.compilation terminated.
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   cargo:warning=
[INFO] [stderr]   compilation terminated.
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plusc++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=cargo:warning=compilation terminated.compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   cargo:warning=cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plusexit status: 1
[INFO] [stderr] 
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   error occurred: Command "c++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-std=c++11" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/debug/build/cadical-0b3632eac70e11c0/out/cadical/src/solver.o" "-c" "cadical/src/solver.cpp" with args "c++" did not execute successfully (status code exit status: 1).
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] running `Command { std: "docker" "inspect" "e25905266ea2adf09d638edee8fb8a2ff6a705d598ae2e452b5d97da9c2a8b3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e25905266ea2adf09d638edee8fb8a2ff6a705d598ae2e452b5d97da9c2a8b3c", kill_on_drop: false }`
[INFO] [stdout] e25905266ea2adf09d638edee8fb8a2ff6a705d598ae2e452b5d97da9c2a8b3c