[INFO] fetching crate d4-arjun-sys 0.1.10... [INFO] checking d4-arjun-sys-0.1.10 against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342-1 [INFO] extracting crate d4-arjun-sys 0.1.10 into /workspace/builds/worker-0-tc2/source [INFO] started tweaking crates.io crate d4-arjun-sys 0.1.10 [INFO] finished tweaking crates.io crate d4-arjun-sys 0.1.10 [INFO] tweaked toml for crates.io crate d4-arjun-sys 0.1.10 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate d4-arjun-sys 0.1.10 on toolchain a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "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" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 9 packages to latest compatible versions [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3933e26d2f615a7c2dca6aa8882d42904664b77eb4d43d1213b167bb1cba50b2 [INFO] running `Command { std: "docker" "start" "-a" "3933e26d2f615a7c2dca6aa8882d42904664b77eb4d43d1213b167bb1cba50b2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3933e26d2f615a7c2dca6aa8882d42904664b77eb4d43d1213b167bb1cba50b2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3933e26d2f615a7c2dca6aa8882d42904664b77eb4d43d1213b167bb1cba50b2", kill_on_drop: false }` [INFO] [stdout] 3933e26d2f615a7c2dca6aa8882d42904664b77eb4d43d1213b167bb1cba50b2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 139d313f56daf6f2e4ffbb6b4014e3edb51a95e59fadd65eee1ea24cd3be4540 [INFO] running `Command { std: "docker" "start" "-a" "139d313f56daf6f2e4ffbb6b4014e3edb51a95e59fadd65eee1ea24cd3be4540", kill_on_drop: false }` [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling pkg-config v0.3.32 [INFO] [stderr] Compiling cc v1.2.34 [INFO] [stderr] Compiling d4-gmp-sys v0.1.2 [INFO] [stderr] Compiling cmake v0.1.54 [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 [INFO] [stderr] Compiling d4-sbva-sys v0.1.2 [INFO] [stderr] Compiling d4-arjun-sys v0.1.10 (/opt/rustwide/workdir) [INFO] [stderr] error: failed to run custom build command for `d4-cryptominisat-sys v0.1.5` [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-64fdd8fee66ee1c7/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] running: cd "/opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out/build" && CADIBACK_LIB_DIR="/opt/rustwide/target/debug/build/d4-cadiback-sys-8f1b51640bd78a03/out/lib" CADICAL_LIB_DIR="/opt/rustwide/target/debug/build/d4-cadical-sys-e2a6611c52f60e7e/out/lib" CMAKE_PREFIX_PATH="" LC_ALL="C" "cmake" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/d4-cryptominisat-sys-0.1.5/cryptominisat" "-DBUILD_SHARED_LIBS=OFF" "-DBINARY=OFF" "-DCMAKE_INCLUDE_PATH=/opt/rustwide/target/debug/build/d4-cadiback-sys-8f1b51640bd78a03/out/include" "-DCMAKE_INCLUDE_PATH=/opt/rustwide/target/debug/build/d4-cadical-sys-e2a6611c52f60e7e/out/include" "-DCMAKE_INSTALL_PREFIX=/opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out" "-DCMAKE_C_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64" "-DCMAKE_C_COMPILER=/usr/bin/cc" "-DCMAKE_CXX_FLAGS= -isystem /opt/rustwide/target/debug/build/d4-cadiback-sys-8f1b51640bd78a03/out/include -isystem /opt/rustwide/target/debug/build/d4-cadical-sys-e2a6611c52f60e7e/out/include -ffunction-sections -fdata-sections -fPIC -m64" "-DCMAKE_CXX_COMPILER=/usr/bin/c++" "-DCMAKE_ASM_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64" "-DCMAKE_ASM_COMPILER=/usr/bin/cc" "-DCMAKE_BUILD_TYPE=Debug" [INFO] [stderr] -- LIB directory is '' [INFO] [stderr] -- BIN directory is '' [INFO] [stderr] -- Doing a Debug build [INFO] [stderr] -- The C compiler identification is GNU 13.3.0 [INFO] [stderr] -- The CXX compiler identification is GNU 13.3.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 "1.8.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 - Failed [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") [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 - Failed [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 (11.8s) [INFO] [stderr] -- Generating done (0.0s) [INFO] [stderr] -- Build files have been written to: /opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out/build [INFO] [stderr] running: cd "/opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out/build" && CADIBACK_LIB_DIR="/opt/rustwide/target/debug/build/d4-cadiback-sys-8f1b51640bd78a03/out/lib" CADICAL_LIB_DIR="/opt/rustwide/target/debug/build/d4-cadical-sys-e2a6611c52f60e7e/out/lib" LC_ALL="C" MAKEFLAGS="-j --jobserver-fds=8,9 --jobserver-auth=8,9" "cmake" "--build" "/opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out/build" "--target" "install" "--config" "Debug" [INFO] [stderr] [ 2%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o [INFO] [stderr] [ 4%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/probe.cpp.o [INFO] [stderr] [ 6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o [INFO] [stderr] [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o [INFO] [stderr] [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/backbone.cpp.o [INFO] [stderr] [ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o [INFO] [stderr] Copying cryptominisat_c.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out/build/include/cryptominisat5 [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/solverconf.cpp.o [INFO] [stderr] [ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o [INFO] [stderr] [ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o [INFO] [stderr] [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o [INFO] [stderr] [ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o [INFO] [stderr] [ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o [INFO] [stderr] [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o [INFO] [stderr] [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o [INFO] [stderr] Copying cryptominisat.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out/build/include/cryptominisat5 [INFO] [stderr] Copying solvertypesmini.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out/build/include/cryptominisat5 [INFO] [stderr] Copying dimacsparser.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out/build/include/cryptominisat5 [INFO] [stderr] Copying streambuffer.h to /opt/rustwide/target/debug/build/d4-cryptominisat-sys-06ef93b6e78268c8/out/build/include/cryptominisat5 [INFO] [stderr] [ 31%] Built target CopyPublicHeaders [INFO] [stderr] [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o [INFO] [stderr] [INFO] [stderr] --- stderr [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] c++: fatal error: Killed signal terminated program cc1plus [INFO] [stderr] compilation terminated. [INFO] [stderr] gmake[2]: *** [cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make:216: cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o] Error 1 [INFO] [stderr] gmake[2]: *** Waiting for unfinished jobs.... [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:76: cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o] Error 1 [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:146: cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o] Error 1 [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:104: cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o] Error 1 [INFO] [stderr] /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/d4-cryptominisat-sys-0.1.5/cryptominisat/src/backbone.cpp: In member function 'bool CMSat::Solver::backbone_simpl(int64_t, bool&)': [INFO] [stderr] /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/d4-cryptominisat-sys-0.1.5/cryptominisat/src/backbone.cpp:28:37: warning: unused parameter 'orig_max_confl' [-Wunused-parameter] [INFO] [stderr] 28 | bool Solver::backbone_simpl(int64_t orig_max_confl, bool& finished) [INFO] [stderr] | ~~~~~~~~^~~~~~~~~~~~~~ [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:244: cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o] Error 1 [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:202: cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o] Error 1 [INFO] [stderr] gmake[1]: *** [CMakeFiles/Makefile2:127: cmsat5-src/CMakeFiles/cryptominisat5.dir/all] Error 2 [INFO] [stderr] gmake: *** [Makefile:136: all] Error 2 [INFO] [stderr] [INFO] [stderr] thread 'main' (1424) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/cmake-0.1.54/src/lib.rs:1119: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: 0x5b1270182522 - std::backtrace_rs::backtrace::libunwind::trace::h105f921882c12e03 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stderr] 1: 0x5b1270182522 - std::backtrace_rs::backtrace::trace_unsynchronized::hc8b40918ba88bae2 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stderr] 2: 0x5b1270182522 - std::sys::backtrace::_print_fmt::h61144b3593b669a6 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/sys/backtrace.rs:66:9 [INFO] [stderr] 3: 0x5b1270182522 - ::fmt::ha7f14f4d725d0e1f [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/sys/backtrace.rs:39:26 [INFO] [stderr] 4: 0x5b12701a48ef - core::fmt::rt::Argument::fmt::h291cffbfb6f5f437 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/core/src/fmt/rt.rs:173:76 [INFO] [stderr] 5: 0x5b12701a48ef - core::fmt::write::h613c8eb2432c6a8e [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/core/src/fmt/mod.rs:1468:25 [INFO] [stderr] 6: 0x5b1270173183 - std::io::default_write_fmt::h1b19b0ce9c092acc [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/io/mod.rs:639:11 [INFO] [stderr] 7: 0x5b1270173183 - std::io::Write::write_fmt::ha60efb35d66e9b8c [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/io/mod.rs:1954:13 [INFO] [stderr] 8: 0x5b1270182832 - std::sys::backtrace::BacktraceLock::print::hb1963680433203b9 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/sys/backtrace.rs:42:9 [INFO] [stderr] 9: 0x5b127017033c - std::panicking::default_hook::{{closure}}::h12644fad1f9f9c3f [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panicking.rs:301:27 [INFO] [stderr] 10: 0x5b1270170176 - std::panicking::default_hook::h92d7423bfb093343 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panicking.rs:328:9 [INFO] [stderr] 11: 0x5b127016fcd1 - std::panicking::panic_with_hook::hfd863520fce8e281 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panicking.rs:834:13 [INFO] [stderr] 12: 0x5b12701828ea - std::panicking::panic_handler::{{closure}}::h75bad88e9628e7c4 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panicking.rs:707:13 [INFO] [stderr] 13: 0x5b1270182849 - std::sys::backtrace::__rust_end_short_backtrace::hba2ee9743eb3598b [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/sys/backtrace.rs:174:18 [INFO] [stderr] 14: 0x5b127016fc0d - __rustc[d20f6e1e05d5ea87]::rust_begin_unwind [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panicking.rs:698:5 [INFO] [stderr] 15: 0x5b12701a7560 - core::panicking::panic_fmt::h291b19446b355b1a [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/core/src/panicking.rs:75:14 [INFO] [stderr] 16: 0x5b12700f74cb - cmake::fail::h99c0fe87d2c9f4fb [INFO] [stderr] 17: 0x5b12700f0472 - cmake::run::h8a7b1b1d04714fed [INFO] [stderr] 18: 0x5b12700f54fb - cmake::Config::build::h67825ad9bdc08b71 [INFO] [stderr] 19: 0x5b12700e581d - build_script_build::main::hf25257365f9aed57 [INFO] [stderr] 20: 0x5b12700e4673 - core::ops::function::FnOnce::call_once::h4f5be54681c8e91e [INFO] [stderr] 21: 0x5b12700e4b56 - std::sys::backtrace::__rust_begin_short_backtrace::ha5aea90bcc972ab1 [INFO] [stderr] 22: 0x5b12700e4719 - std::rt::lang_start::{{closure}}::h7c0fa7ba17c9c9ab [INFO] [stderr] 23: 0x5b12701830e0 - core::ops::function::impls:: for &F>::call_once::hd30f70589ce52217 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/core/src/ops/function.rs:290:21 [INFO] [stderr] 24: 0x5b12701830e0 - std::panicking::catch_unwind::do_call::h229a800b64964a72 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panicking.rs:590:40 [INFO] [stderr] 25: 0x5b12701830e0 - std::panicking::catch_unwind::hf5b1c782bbaa8c87 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panicking.rs:553:19 [INFO] [stderr] 26: 0x5b12701830e0 - std::panic::catch_unwind::h44fb21a21f79e7af [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panic.rs:359:14 [INFO] [stderr] 27: 0x5b12701830e0 - std::rt::lang_start_internal::{{closure}}::h3d19e32b9588f707 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/rt.rs:175:24 [INFO] [stderr] 28: 0x5b12701830e0 - std::panicking::catch_unwind::do_call::hf0c858106eb39fbd [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panicking.rs:590:40 [INFO] [stderr] 29: 0x5b12701830e0 - std::panicking::catch_unwind::h92692cc8e925ec21 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panicking.rs:553:19 [INFO] [stderr] 30: 0x5b12701830e0 - std::panic::catch_unwind::h4f023f48f37702a5 [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/panic.rs:359:14 [INFO] [stderr] 31: 0x5b12701830e0 - std::rt::lang_start_internal::h80fdaffb9834036d [INFO] [stderr] at /rustc/a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d/library/std/src/rt.rs:171:5 [INFO] [stderr] 32: 0x5b12700e4701 - std::rt::lang_start::h60e643ff7cee53be [INFO] [stderr] 33: 0x5b12700e6145 - main [INFO] [stderr] 34: 0x730b930331ca - [INFO] [stderr] 35: 0x730b9303328b - __libc_start_main [INFO] [stderr] 36: 0x5b12700e3395 - _start [INFO] [stderr] 37: 0x0 - [INFO] running `Command { std: "docker" "inspect" "139d313f56daf6f2e4ffbb6b4014e3edb51a95e59fadd65eee1ea24cd3be4540", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "139d313f56daf6f2e4ffbb6b4014e3edb51a95e59fadd65eee1ea24cd3be4540", kill_on_drop: false }` [INFO] [stdout] 139d313f56daf6f2e4ffbb6b4014e3edb51a95e59fadd65eee1ea24cd3be4540