[INFO] fetching crate d4-cryptominisat-sys 0.1.5...
[INFO] checking d4-cryptominisat-sys-0.1.5 against 4fcf39725a9c99bd495d8c73af83628a256ff9a9 for pr-162233-crater-rollup
[INFO] extracting crate d4-cryptominisat-sys 0.1.5 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate d4-cryptominisat-sys 0.1.5
[INFO] finished tweaking crates.io crate d4-cryptominisat-sys 0.1.5
[INFO] tweaked toml for crates.io crate d4-cryptominisat-sys 0.1.5 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate d4-cryptominisat-sys 0.1.5 on toolchain 4fcf39725a9c99bd495d8c73af83628a256ff9a9
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4fcf39725a9c99bd495d8c73af83628a256ff9a9" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4fcf39725a9c99bd495d8c73af83628a256ff9a9" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 6 packages to highest compatible versions
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4fcf39725a9c99bd495d8c73af83628a256ff9a9" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]   --> Cargo.toml:27:1
[INFO] [stderr]    |
[INFO] [stderr] 27 | readme = "README.md"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `d4-cryptominisat-sys` (manifest) generated 1 warning
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded d4-cadiback-sys v0.1.1
[INFO] [stderr]   Downloaded d4-cadical-sys v0.1.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 784c8636a76d6021f1ffa501c2883c5f2bf9060779823bac00225c46437f8d5d
[INFO] running `Command { std: "docker" "start" "784c8636a76d6021f1ffa501c2883c5f2bf9060779823bac00225c46437f8d5d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "784c8636a76d6021f1ffa501c2883c5f2bf9060779823bac00225c46437f8d5d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "784c8636a76d6021f1ffa501c2883c5f2bf9060779823bac00225c46437f8d5d" "/opt/rustwide/cargo-home/bin/cargo" "+4fcf39725a9c99bd495d8c73af83628a256ff9a9" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "784c8636a76d6021f1ffa501c2883c5f2bf9060779823bac00225c46437f8d5d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "784c8636a76d6021f1ffa501c2883c5f2bf9060779823bac00225c46437f8d5d" "/opt/rustwide/cargo-home/bin/cargo" "+4fcf39725a9c99bd495d8c73af83628a256ff9a9" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]   --> Cargo.toml:27:1
[INFO] [stderr]    |
[INFO] [stderr] 27 | readme = "README.md"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `d4-cryptominisat-sys` (manifest) generated 1 warning
[INFO] [stderr]    Compiling cmake v0.1.58
[INFO] [stderr]    Compiling d4-cadical-sys v0.1.1
[INFO] [stderr]    Compiling d4-cadiback-sys v0.1.1
[INFO] [stderr]    Compiling d4-cryptominisat-sys v0.1.5 (/opt/rustwide/workdir)
[INFO] [stderr] error: failed to run custom build command for `d4-cryptominisat-sys v0.1.5 (/opt/rustwide/workdir)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/d4-cryptominisat-sys/284e874b0654f8fd/out/build_script_build` (exit status: 101)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   CMAKE_TOOLCHAIN_FILE_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_TOOLCHAIN_FILE_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE_TOOLCHAIN_FILE = None
[INFO] [stderr]   CMAKE_TOOLCHAIN_FILE = None
[INFO] [stderr]   CMAKE_GENERATOR_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_GENERATOR_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE_GENERATOR = None
[INFO] [stderr]   CMAKE_GENERATOR = None
[INFO] [stderr]   CMAKE_PREFIX_PATH_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_PREFIX_PATH_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE_PREFIX_PATH = None
[INFO] [stderr]   CMAKE_PREFIX_PATH = None
[INFO] [stderr]   CMAKE_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE = None
[INFO] [stderr]   CMAKE = None
[INFO] [stderr]   -- LIB directory is ''
[INFO] [stderr]   -- BIN directory is ''
[INFO] [stderr]   -- Doing a Debug build
[INFO] [stderr]   -- The C compiler identification is GNU 15.2.0
[INFO] [stderr]   -- The CXX compiler identification is GNU 15.2.0
[INFO] [stderr]   -- Detecting C compiler ABI info
[INFO] [stderr]   -- Detecting C compiler ABI info - done
[INFO] [stderr]   -- Check for working C compiler: /usr/bin/cc - skipped
[INFO] [stderr]   -- Detecting C compile features
[INFO] [stderr]   -- Detecting C compile features - done
[INFO] [stderr]   -- Detecting CXX compiler ABI info
[INFO] [stderr]   -- Detecting CXX compiler ABI info - done
[INFO] [stderr]   -- Check for working CXX compiler: /usr/bin/c++ - skipped
[INFO] [stderr]   -- Detecting CXX compile features
[INFO] [stderr]   -- Detecting CXX compile features - done
[INFO] [stderr]   -- Found PkgConfig: /usr/bin/pkg-config (found version "2.5.1")
[INFO] [stderr]   -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
[INFO] [stderr]   -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
[INFO] [stderr]   -- Found Threads: TRUE
[INFO] [stderr]   -- build type is Debug
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fvisibility=hidden
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wall
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wall - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wextra
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wextra - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wunused
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wunused - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wsign-compare
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wsign-compare - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wtype-limits
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wtype-limits - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wuninitialized
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wuninitialized - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wno-deprecated
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wno-deprecated - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wstrict-aliasing
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wpointer-arith
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wpointer-arith - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wheader-guard
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wheader-guard - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wformat-nonliteral
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Winit-self
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Winit-self - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wparentheses
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wparentheses - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wunreachable-code
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wunreachable-code - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-g
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-g - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wno-class-memaccess
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-mpopcnt
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-mpopcnt - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-msse4.2
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-msse4.2 - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wextra-semi-stmt
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wnoweak-vtables
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wnoweak-vtables - Failed
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-ggdb3
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-ggdb3 - Success
[INFO] [stderr]   -- Compiling for static library use
[INFO] [stderr]   -- GIT hash found: GIT-notfound
[INFO] [stderr]   -- PROJECT_VERSION: 5.11.22
[INFO] [stderr]   -- PROJECT_VERSION_MAJOR: 5
[INFO] [stderr]   -- PROJECT_VERSION_MINOR: 11
[INFO] [stderr]   -- PROJECT_VERSION_PATCH: 22
[INFO] [stderr]   -- Not compiling detailed statistics. The system is faster without them
[INFO] [stderr]   -- Cannot find help2man, not creating manpage
[INFO] [stderr]   -- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.a (found version "1.3.1")
[INFO] [stderr]   -- OK, Found ZLIB!
[INFO] [stderr]   -- Performing Test HAVE__FPU_SETCW
[INFO] [stderr]   -- Performing Test HAVE__FPU_SETCW - Success
[INFO] [stderr]   -- Found FPU code for yalsat: fpu_control.h, _FPU_SINGLE, _FPU_DOUBLE
[INFO] [stderr]   -- Checking for module 'gmp'
[INFO] [stderr]   --   Found gmp, version 6.3.0
[INFO] [stderr]   -- Found GMP: /usr/lib/x86_64-linux-gnu/libgmpxx.a
[INFO] [stderr]   -- All defines at startup:  -DRDB0_ONLY_FEATURES -DUSE_ZLIB -DYALSAT_FPU
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wlogical-op
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wlogical-op - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wrestrict
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wrestrict - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wnull-dereference
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wnull-dereference - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wdouble-promotion
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wshadow
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wshadow - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wformat=2
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wformat=2 - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wextra-semi
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-Wextra-semi - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-pedantic
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-pedantic - Success
[INFO] [stderr]   -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY
[INFO] [stderr]   -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success
[INFO] [stderr]   -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY
[INFO] [stderr]   -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success
[INFO] [stderr]   -- Performing Test COMPILER_HAS_DEPRECATED_ATTR
[INFO] [stderr]   -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success
[INFO] [stderr]   -- Configuring done (13.6s)
[INFO] [stderr]   -- Generating done (0.0s)
[INFO] [stderr]   -- Build files have been written to: /opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build
[INFO] [stderr]   Copying cryptominisat_c.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build/include/cryptominisat5
[INFO] [stderr]   Copying cryptominisat.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build/include/cryptominisat5
[INFO] [stderr]   Copying solvertypesmini.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build/include/cryptominisat5
[INFO] [stderr]   Copying dimacsparser.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build/include/cryptominisat5
[INFO] [stderr]   Copying streambuffer.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build/include/cryptominisat5
[INFO] [stderr]   [  2%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/backbone.cpp.o
[INFO] [stderr]   [  4%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
[INFO] [stderr]   [  6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
[INFO] [stderr]   [  8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/probe.cpp.o
[INFO] [stderr]   [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o
[INFO] [stderr]   [ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o
[INFO] [stderr]   [ 12%] Built target CopyPublicHeaders
[INFO] [stderr]   [ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o
[INFO] [stderr]   [ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o
[INFO] [stderr]   [ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o
[INFO] [stderr]   [ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o
[INFO] [stderr]   [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o
[INFO] [stderr]   [ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o
[INFO] [stderr]   [ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o
[INFO] [stderr]   [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
[INFO] [stderr]   [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o
[INFO] [stderr]   [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o
[INFO] [stderr]   [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o
[INFO] [stderr]   [ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o
[INFO] [stderr]   [ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o
[INFO] [stderr]   [ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o
[INFO] [stderr]   [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o
[INFO] [stderr]   [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o
[INFO] [stderr]   [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o
[INFO] [stderr]   [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o
[INFO] [stderr]   [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o
[INFO] [stderr]   [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o
[INFO] [stderr]   [ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o
[INFO] [stderr]   [ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o
[INFO] [stderr]   [ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o
[INFO] [stderr]   [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o
[INFO] [stderr]   [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o
[INFO] [stderr]   [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   running: cd "/opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build" && CADIBACK_LIB_DIR="/opt/rustwide/target/debug/build/d4-cadiback-sys/95a2dd1f0a56686e/out/lib" CADICAL_LIB_DIR="/opt/rustwide/target/debug/build/d4-cadical-sys/e5f44bf7e8126c4a/out/lib" CMAKE_PREFIX_PATH="" LC_ALL="C" "cmake" "/opt/rustwide/workdir/cryptominisat" "-B" "/opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build" "-DBUILD_SHARED_LIBS=OFF" "-DBINARY=OFF" "-DCMAKE_INCLUDE_PATH=/opt/rustwide/target/debug/build/d4-cadiback-sys/95a2dd1f0a56686e/out/include" "-DCMAKE_INCLUDE_PATH=/opt/rustwide/target/debug/build/d4-cadical-sys/e5f44bf7e8126c4a/out/include" "-DCMAKE_INSTALL_PREFIX=/opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out" "-DCMAKE_C_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -w" "-DCMAKE_C_COMPILER=/usr/bin/cc" "-DCMAKE_CXX_FLAGS= -isystem /opt/rustwide/target/debug/build/d4-cadiback-sys/95a2dd1f0a56686e/out/include -isystem /opt/rustwide/target/debug/build/d4-cadical-sys/e5f44bf7e8126c4a/out/include -ffunction-sections -fdata-sections -fPIC -m64 -w" "-DCMAKE_CXX_COMPILER=/usr/bin/c++" "-DCMAKE_ASM_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -w" "-DCMAKE_ASM_COMPILER=/usr/bin/cc" "-DCMAKE_BUILD_TYPE=Debug"
[INFO] [stderr]   CMake Warning at CMakeLists.txt:703 (message):
[INFO] [stderr]     Testing is disabled
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   CMake Warning:
[INFO] [stderr]     Manually-specified variables were not used by the project:
[INFO] [stderr] 
[INFO] [stderr]       CMAKE_ASM_COMPILER
[INFO] [stderr]       CMAKE_ASM_FLAGS
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   running: cd "/opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build" && CADIBACK_LIB_DIR="/opt/rustwide/target/debug/build/d4-cadiback-sys/95a2dd1f0a56686e/out/lib" CADICAL_LIB_DIR="/opt/rustwide/target/debug/build/d4-cadical-sys/e5f44bf7e8126c4a/out/lib" LC_ALL="C" MAKEFLAGS="-j --jobserver-fds=4,5 --jobserver-auth=4,5" "cmake" "--build" "/opt/rustwide/target/debug/build/d4-cryptominisat-sys/ff07bee8260c58fe/out/build" "--target" "install" "--config" "Debug"
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[2]: *** [cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make:387: cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o] Error 1
[INFO] [stderr]   gmake[2]: *** Waiting for unfinished jobs....
[INFO] [stderr]   gmake[1]: *** [CMakeFiles/Makefile2:142: cmsat5-src/CMakeFiles/cryptominisat5.dir/all] Error 2
[INFO] [stderr]   gmake: *** [Makefile:136: all] Error 2
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (651) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/cmake-0.1.58/src/lib.rs:1132:5:
[INFO] [stderr] 
[INFO] [stderr]   command did not execute successfully, got: exit status: 2
[INFO] [stderr] 
[INFO] [stderr]   build script failed, must exit now
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x60fbe6fb0031 - std[1542236bf068ba3f]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]      1:     0x60fbe6fb0031 - std[1542236bf068ba3f]::backtrace_rs::backtrace::trace_unsynchronized::<std[1542236bf068ba3f]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]      2:     0x60fbe6fb0031 - std[1542236bf068ba3f]::sys::backtrace::_print_fmt
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]      3:     0x60fbe6fb0031 - <<std[1542236bf068ba3f]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[ef657cae2c5ab5c9]::fmt::Display>::fmt
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]      4:     0x60fbe6fc3f8a - <core[ef657cae2c5ab5c9]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]      5:     0x60fbe6fc3f8a - core[ef657cae2c5ab5c9]::fmt::write
[INFO] [stderr]      6:     0x60fbe6fb578c - core[ef657cae2c5ab5c9]::io::write::default_write_fmt::<std[1542236bf068ba3f]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/core/src/io/write.rs:402:11
[INFO] [stderr]      7:     0x60fbe6fb578c - <std[1542236bf068ba3f]::sys::stdio::unix::Stderr as core[ef657cae2c5ab5c9]::io::write::Write>::write_fmt
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/core/src/io/write.rs:335:13
[INFO] [stderr]      8:     0x60fbe6f8efc6 - <std[1542236bf068ba3f]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]      9:     0x60fbe6f8efc6 - std[1542236bf068ba3f]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panicking.rs:289:27
[INFO] [stderr]     10:     0x60fbe6faad51 - std[1542236bf068ba3f]::panicking::default_hook
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panicking.rs:316:9
[INFO] [stderr]     11:     0x60fbe6faaf0b - std[1542236bf068ba3f]::panicking::panic_with_hook
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panicking.rs:811:13
[INFO] [stderr]     12:     0x60fbe6f8f072 - std[1542236bf068ba3f]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panicking.rs:685:13
[INFO] [stderr]     13:     0x60fbe6f87939 - std[1542236bf068ba3f]::sys::backtrace::__rust_end_short_backtrace::<std[1542236bf068ba3f]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]     14:     0x60fbe6f8f85d - __rustc[ab8e50c704771c67]::rust_begin_unwind
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panicking.rs:676:5
[INFO] [stderr]     15:     0x60fbe6fc477c - core[ef657cae2c5ab5c9]::panicking::panic_fmt
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/core/src/panicking.rs:80:14
[INFO] [stderr]     16:     0x60fbe6f13af7 - cmake[d7a6384505a72f71]::fail
[INFO] [stderr]     17:     0x60fbe6f13783 - cmake[d7a6384505a72f71]::run
[INFO] [stderr]     18:     0x60fbe6f19755 - <cmake[d7a6384505a72f71]::Config>::build
[INFO] [stderr]     19:     0x60fbe6f054cd - build_script_build[ff486aca0eaa50a6]::main
[INFO] [stderr]     20:     0x60fbe6f05f1b - <fn() as core[ef657cae2c5ab5c9]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]     21:     0x60fbe6f04886 - std[1542236bf068ba3f]::sys::backtrace::__rust_begin_short_backtrace::<fn(), ()>
[INFO] [stderr]     22:     0x60fbe6f04899 - std[1542236bf068ba3f]::rt::lang_start::<()>::{closure#0}
[INFO] [stderr]     23:     0x60fbe6faa058 - <&dyn core[ef657cae2c5ab5c9]::ops::function::Fn<(), Output = i32> + core[ef657cae2c5ab5c9]::panic::unwind_safe::RefUnwindSafe + core[ef657cae2c5ab5c9]::marker::Sync as core[ef657cae2c5ab5c9]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/core/src/ops/function.rs:287:21
[INFO] [stderr]     24:     0x60fbe6faa058 - std[1542236bf068ba3f]::panicking::catch_unwind::do_call::<&dyn core[ef657cae2c5ab5c9]::ops::function::Fn<(), Output = i32> + core[ef657cae2c5ab5c9]::panic::unwind_safe::RefUnwindSafe + core[ef657cae2c5ab5c9]::marker::Sync, i32>
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panicking.rs:573:43
[INFO] [stderr]     25:     0x60fbe6faa058 - std[1542236bf068ba3f]::panicking::catch_unwind::<i32, &dyn core[ef657cae2c5ab5c9]::ops::function::Fn<(), Output = i32> + core[ef657cae2c5ab5c9]::panic::unwind_safe::RefUnwindSafe + core[ef657cae2c5ab5c9]::marker::Sync>
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panicking.rs:541:19
[INFO] [stderr]     26:     0x60fbe6faa058 - std[1542236bf068ba3f]::panic::catch_unwind::<&dyn core[ef657cae2c5ab5c9]::ops::function::Fn<(), Output = i32> + core[ef657cae2c5ab5c9]::panic::unwind_safe::RefUnwindSafe + core[ef657cae2c5ab5c9]::marker::Sync, i32>
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panic.rs:359:14
[INFO] [stderr]     27:     0x60fbe6faa058 - std[1542236bf068ba3f]::rt::lang_start_internal::{closure#0}
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/rt.rs:175:24
[INFO] [stderr]     28:     0x60fbe6faa058 - std[1542236bf068ba3f]::panicking::catch_unwind::do_call::<std[1542236bf068ba3f]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panicking.rs:573:43
[INFO] [stderr]     29:     0x60fbe6faa058 - std[1542236bf068ba3f]::panicking::catch_unwind::<isize, std[1542236bf068ba3f]::rt::lang_start_internal::{closure#0}>
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panicking.rs:541:19
[INFO] [stderr]     30:     0x60fbe6faa058 - std[1542236bf068ba3f]::panic::catch_unwind::<std[1542236bf068ba3f]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/panic.rs:359:14
[INFO] [stderr]     31:     0x60fbe6faa058 - std[1542236bf068ba3f]::rt::lang_start_internal
[INFO] [stderr]                                  at /rustc/4fcf39725a9c99bd495d8c73af83628a256ff9a9/library/std/src/rt.rs:171:5
[INFO] [stderr]     32:     0x60fbe6f04411 - std[1542236bf068ba3f]::rt::lang_start::<()>
[INFO] [stderr]     33:     0x60fbe6f05f85 - main
[INFO] [stderr]     34:     0x793a70a7d601 - <unknown>
[INFO] [stderr]     35:     0x793a70a7d718 - __libc_start_main
[INFO] [stderr]     36:     0x60fbe6f03485 - _start
[INFO] [stderr]     37:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "784c8636a76d6021f1ffa501c2883c5f2bf9060779823bac00225c46437f8d5d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "784c8636a76d6021f1ffa501c2883c5f2bf9060779823bac00225c46437f8d5d", kill_on_drop: false }`
[INFO] [stdout] 784c8636a76d6021f1ffa501c2883c5f2bf9060779823bac00225c46437f8d5d
