[INFO] fetching crate cryptominisat 5.8.0-rust1...
[INFO] testing cryptominisat-5.8.0-rust1 against 1.76.0 for beta-1.77-1
[INFO] extracting crate cryptominisat 5.8.0-rust1 into /workspace/builds/worker-3-tc1/source
[INFO] validating manifest of crates.io crate cryptominisat 5.8.0-rust1 on toolchain 1.76.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate cryptominisat 5.8.0-rust1
[INFO] finished tweaking crates.io crate cryptominisat 5.8.0-rust1
[INFO] tweaked toml for crates.io crate cryptominisat 5.8.0-rust1 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 69856fa9664ce18c6f5234f92a12e4cfdab1385adf579cefaaf06f91fe1520af
[INFO] running `Command { std: "docker" "start" "-a" "69856fa9664ce18c6f5234f92a12e4cfdab1385adf579cefaaf06f91fe1520af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "69856fa9664ce18c6f5234f92a12e4cfdab1385adf579cefaaf06f91fe1520af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "69856fa9664ce18c6f5234f92a12e4cfdab1385adf579cefaaf06f91fe1520af", kill_on_drop: false }`
[INFO] [stdout] 69856fa9664ce18c6f5234f92a12e4cfdab1385adf579cefaaf06f91fe1520af
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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=warn" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2b7b7a355c1e5e2892d986dea72858051fc72ca53f4e724603ce661a00b97099
[INFO] running `Command { std: "docker" "start" "-a" "2b7b7a355c1e5e2892d986dea72858051fc72ca53f4e724603ce661a00b97099", kill_on_drop: false }`
[INFO] [stderr]    Compiling cmake v0.1.50
[INFO] [stderr]    Compiling cryptominisat v5.8.0-rust1 (/opt/rustwide/workdir)
[INFO] [stderr] The following warnings were emitted during compilation:
[INFO] [stderr] 
[INFO] [stderr] warning: cryptominisat@5.8.0-rust1: Compiler version doesn't include clang or GCC: "cc" "--version"
[INFO] [stderr] warning: cryptominisat@5.8.0-rust1: Compiler version doesn't include clang or GCC: "c++" "--version"
[INFO] [stderr] warning: cryptominisat@5.8.0-rust1: Compiler version doesn't include clang or GCC: "cc" "--version"
[INFO] [stderr] 
[INFO] [stderr] error: failed to run custom build command for `cryptominisat v5.8.0-rust1 (/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/cryptominisat-e1160c3307cda02b/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]   running: "cc" "--version"
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:warning=Compiler version doesn't include clang or GCC: "cc" "--version"
[INFO] [stderr]   running: "c++" "--version"
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:warning=Compiler version doesn't include clang or GCC: "c++" "--version"
[INFO] [stderr]   running: "cc" "--version"
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:warning=Compiler version doesn't include clang or GCC: "cc" "--version"
[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/cryptominisat-b5226935b9005bd2/out/build" && CMAKE_PREFIX_PATH="" "cmake" "/opt/rustwide/workdir/cryptominisat" "-DCMAKE_BUILD_TYPE=Release" "-DSTATICCOMPILE=ON" "-DENABLE_PYTHON_INTERFACE=OFF" "-DONLY_SIMPLE=ON" "-DNOZLIB=ON" "-DNOM4RI=ON" "-DSTATS=OFF" "-DNOVALGRIND=ON" "-DENABLE_TESTING=OFF" "-DCMAKE_INSTALL_PREFIX=/opt/rustwide/target/debug/build/cryptominisat-b5226935b9005bd2/out" "-DCMAKE_C_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64" "-DCMAKE_C_COMPILER=/usr/bin/cc" "-DCMAKE_CXX_FLAGS= -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"
[INFO] [stderr]   -- The CXX compiler identification is GNU 11.4.0
[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]   -- LIB directory is ''
[INFO] [stderr]   -- BIN directory is ''
[INFO] [stderr]   -- Doing a Release build
[INFO] [stderr]   -- The C compiler identification is GNU 11.4.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]   -- Looking for pthread.h
[INFO] [stderr]   -- Looking for pthread.h - found
[INFO] [stderr]   -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
[INFO] [stderr]   -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
[INFO] [stderr]   -- Found Threads: TRUE  
[INFO] [stderr]   -- Building with GAUSS enabled at every level
[INFO] [stderr]   -- build type is Release
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fno-stack-protector
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fno-stack-protector - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fvisibility=hidden
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
[INFO] [stderr]   -- Compiling for static library use
[INFO] [stderr]   -- GIT hash found: GIT-notfound
[INFO] [stderr]   -- PROJECT_VERSION: 5.8.0
[INFO] [stderr]   -- PROJECT_VERSION_MAJOR: 5
[INFO] [stderr]   -- PROJECT_VERSION_MINOR: 8
[INFO] [stderr]   -- PROJECT_VERSION_PATCH: 0
[INFO] [stderr]   -- Found SQLITE3: /usr/lib/x86_64-linux-gnu/libsqlite3.a  
[INFO] [stderr]   -- OK, Found SQLITE3!
[INFO] [stderr]   -- Not compiling detailed statistics. The system is faster without them
[INFO] [stderr]   -- Cannot find help2man, not creating manpage
[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]   -- Could NOT find MPI_C (missing: MPI_mpi_LIBRARY MPI_C_WORKS) 
[INFO] [stderr]   -- Could NOT find MPI_CXX (missing: MPI_mpi_cxx_LIBRARY MPI_mpi_LIBRARY MPI_CXX_WORKS) 
[INFO] [stderr]   -- Could NOT find MPI (missing: MPI_C_FOUND MPI_CXX_FOUND) 
[INFO] [stderr]   -- No suitable C++ MPI implementation found. CryptoMiniSat will not be distributed.
[INFO] [stderr]   -- In case your Python interpreter is not found, or a wrong one is found, please set it with '-DPYTHON_EXECUTABLE:FILEPATH=your path here'
[INFO] [stderr]   -- Found PythonInterp: /usr/bin/python3 (found suitable version "3.10.12", minimum required is "3") 
[INFO] [stderr]   -- Found PythonLibs: /usr/lib/x86_64-linux-gnu/libpython3.10.a (found suitable version "3.10.12", minimum required is "3") 
[INFO] [stderr]   -- Python 3 -- PYTHON_EXECUTABLE=/usr/bin/python3
[INFO] [stderr]   -- Python 3 -- PYTHON_LIBRARIES=/usr/lib/x86_64-linux-gnu/libpython3.10.a
[INFO] [stderr]   -- Python 3 -- PYTHON_INCLUDE_DIRS=/usr/include/python3.10
[INFO] [stderr]   -- Python 3 -- PYTHONLIBS_VERSION_STRING=3.10.12
[INFO] [stderr]   -- Only building executable with few command-line options because the boost program_options library were not available
[INFO] [stderr]   -- All defines at startup:  -DEXTENDED_FEATURES -DUSE_GAUSS -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_SQLITE3 -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]   -- GIT Subprojects not initialized, not building drat-trim
[INFO] [stderr]   -- Configuring done
[INFO] [stderr]   -- Generating done
[INFO] [stderr]   -- Build files have been written to: /opt/rustwide/target/debug/build/cryptominisat-b5226935b9005bd2/out/build
[INFO] [stderr]   running: cd "/opt/rustwide/target/debug/build/cryptominisat-b5226935b9005bd2/out/build" && MAKEFLAGS="-j --jobserver-fds=7,8 --jobserver-auth=7,8" "cmake" "--build" "." "--target" "install" "--config" "Debug"
[INFO] [stderr]   [  1%] Generating sql_tablestructure.cpp
[INFO] [stderr]   [  3%] Generating sql_tablestructure.cpp
[INFO] [stderr]   Copying cryptominisat_c.h to /opt/rustwide/target/debug/build/cryptominisat-b5226935b9005bd2/out/build/include/cryptominisat5
[INFO] [stderr]   Copying cryptominisat.h to /opt/rustwide/target/debug/build/cryptominisat-b5226935b9005bd2/out/build/include/cryptominisat5
[INFO] [stderr]   Copying solvertypesmini.h to /opt/rustwide/target/debug/build/cryptominisat-b5226935b9005bd2/out/build/include/cryptominisat5
[INFO] [stderr]   Copying dimacsparser.h to /opt/rustwide/target/debug/build/cryptominisat-b5226935b9005bd2/out/build/include/cryptominisat5
[INFO] [stderr]   Copying streambuffer.h to /opt/rustwide/target/debug/build/cryptominisat-b5226935b9005bd2/out/build/include/cryptominisat5
[INFO] [stderr]   [  3%] Built target CopyPublicHeaders
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   CMake Warning at CMakeLists.txt:647 (find_package):
[INFO] [stderr]     By not providing "Findbreakid.cmake" in CMAKE_MODULE_PATH this project has
[INFO] [stderr]     asked CMake to find a package configuration file provided by "breakid", but
[INFO] [stderr]     CMake did not find one.
[INFO] [stderr] 
[INFO] [stderr]     Could not find a package configuration file provided by "breakid" with any
[INFO] [stderr]     of the following names:
[INFO] [stderr] 
[INFO] [stderr]       breakidConfig.cmake
[INFO] [stderr]       breakid-config.cmake
[INFO] [stderr] 
[INFO] [stderr]     Add the installation prefix of "breakid" to CMAKE_PREFIX_PATH or set
[INFO] [stderr]     "breakid_DIR" to a directory containing one of the above files.  If
[INFO] [stderr]     "breakid" provides a separate development package or SDK, be sure it has
[INFO] [stderr]     been installed.
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   CMake Warning at CMakeLists.txt:649 (message):
[INFO] [stderr]     BreakID NOT found
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   CMake Warning at CMakeLists.txt:819 (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]   /usr/bin/python3: can't open file '/opt/rustwide/workdir/cryptominisat/scripts/xxd-alike.py': [Errno 2] No such file or directory
[INFO] [stderr]   gmake[2]: *** [cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make:74: cmsat5-src/sql_tablestructure.cpp] Error 2
[INFO] [stderr]   gmake[1]: *** [CMakeFiles/Makefile2:156: cmsat5-src/CMakeFiles/cryptominisat5.dir/all] Error 2
[INFO] [stderr]   gmake[1]: *** Waiting for unfinished jobs....
[INFO] [stderr]   /usr/bin/python3: can't open file '/opt/rustwide/workdir/cryptominisat/scripts/xxd-alike.py': [Errno 2] No such file or directory
[INFO] [stderr]   gmake[2]: *** [cmsat5-src/CMakeFiles/tablestruct.dir/build.make:73: cmsat5-src/sql_tablestructure.cpp] Error 2
[INFO] [stderr]   gmake[1]: *** [CMakeFiles/Makefile2:131: cmsat5-src/CMakeFiles/tablestruct.dir/all] Error 2
[INFO] [stderr]   gmake: *** [Makefile:136: all] Error 2
[INFO] [stderr]   thread 'main' panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/cmake-0.1.50/src/lib.rs:1098: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:     0x55b8d84a6786 - std::backtrace_rs::backtrace::libunwind::trace::hbee8a7973eeb6c93
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stderr]      1:     0x55b8d84a6786 - std::backtrace_rs::backtrace::trace_unsynchronized::hc8ac75eea3aa6899
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x55b8d84a6786 - std::sys_common::backtrace::_print_fmt::hc7f3e3b5298b1083
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stderr]      3:     0x55b8d84a6786 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hbb235daedd7c6190
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x55b8d84cb7e0 - core::fmt::rt::Argument::fmt::h76c38a80d925a410
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/rt.rs:142:9
[INFO] [stderr]      5:     0x55b8d84cb7e0 - core::fmt::write::h3ed6aeaa977c8e45
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/mod.rs:1120:17
[INFO] [stderr]      6:     0x55b8d84a3f5f - std::io::Write::write_fmt::h78b18af5775fedb5
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/io/mod.rs:1810:15
[INFO] [stderr]      7:     0x55b8d84a6564 - std::sys_common::backtrace::_print::h5d645a07e0fcfdbb
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      8:     0x55b8d84a6564 - std::sys_common::backtrace::print::h85035a511aafe7a8
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      9:     0x55b8d84a7cd7 - std::panicking::default_hook::{{closure}}::hcce8cea212785a25
[INFO] [stderr]     10:     0x55b8d84a7a39 - std::panicking::default_hook::hf5fcb0f213fe709a
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:292:9
[INFO] [stderr]     11:     0x55b8d84a8168 - std::panicking::rust_panic_with_hook::h095fccf1dc9379ee
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:779:13
[INFO] [stderr]     12:     0x55b8d84a8042 - std::panicking::begin_panic_handler::{{closure}}::h032ba12139b353db
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:657:13
[INFO] [stderr]     13:     0x55b8d84a6c86 - std::sys_common::backtrace::__rust_end_short_backtrace::h9259bc2ff8fd0f76
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stderr]     14:     0x55b8d84a7da0 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:645:5
[INFO] [stderr]     15:     0x55b8d84255e5 - core::panicking::panic_fmt::h784f20a50eaab275
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panicking.rs:72:14
[INFO] [stderr]     16:     0x55b8d84385f1 - cmake::fail::h4eaebd76de2252ca
[INFO] [stderr]     17:     0x55b8d8437d87 - cmake::run::h5aa7f098ca3a80da
[INFO] [stderr]     18:     0x55b8d84346bd - cmake::Config::build::h57af991bebb7b4e5
[INFO] [stderr]     19:     0x55b8d842772b - build_script_build::main::haacd1d9738d6126e
[INFO] [stderr]     20:     0x55b8d84261e3 - core::ops::function::FnOnce::call_once::h11d230b18c9cc015
[INFO] [stderr]     21:     0x55b8d8425e26 - std::sys_common::backtrace::__rust_begin_short_backtrace::hba026bb0379168b9
[INFO] [stderr]     22:     0x55b8d8425f39 - std::rt::lang_start::{{closure}}::hdd209c0fd7dacd77
[INFO] [stderr]     23:     0x55b8d849fda1 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h37600b1e5eea4ecd
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     24:     0x55b8d849fda1 - std::panicking::try::do_call::hb4bda49fa13a0c2b
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:552:40
[INFO] [stderr]     25:     0x55b8d849fda1 - std::panicking::try::h8bbf75149211aaaa
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:516:19
[INFO] [stderr]     26:     0x55b8d849fda1 - std::panic::catch_unwind::h8c78ec68ebea34cb
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panic.rs:142:14
[INFO] [stderr]     27:     0x55b8d849fda1 - std::rt::lang_start_internal::{{closure}}::hffdf44a19fd9e220
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/rt.rs:148:48
[INFO] [stderr]     28:     0x55b8d849fda1 - std::panicking::try::do_call::hcb3194972c74716d
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:552:40
[INFO] [stderr]     29:     0x55b8d849fda1 - std::panicking::try::hcdc6892c5f0dba4c
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:516:19
[INFO] [stderr]     30:     0x55b8d849fda1 - std::panic::catch_unwind::h4910beb4573f4776
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panic.rs:142:14
[INFO] [stderr]     31:     0x55b8d849fda1 - std::rt::lang_start_internal::h6939038e2873596b
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/rt.rs:148:20
[INFO] [stderr]     32:     0x55b8d8425f17 - std::rt::lang_start::ha7dc10e83a721385
[INFO] [stderr]     33:     0x55b8d84279c5 - main
[INFO] [stderr]     34:     0x7efe2c870d90 - <unknown>
[INFO] [stderr]     35:     0x7efe2c870e40 - __libc_start_main
[INFO] [stderr]     36:     0x55b8d8425d55 - _start
[INFO] [stderr]     37:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "2b7b7a355c1e5e2892d986dea72858051fc72ca53f4e724603ce661a00b97099", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2b7b7a355c1e5e2892d986dea72858051fc72ca53f4e724603ce661a00b97099", kill_on_drop: false }`
[INFO] [stdout] 2b7b7a355c1e5e2892d986dea72858051fc72ca53f4e724603ce661a00b97099
[INFO] testing cryptominisat-5.8.0-rust1 against beta-2024-02-10 for beta-1.77-1
[INFO] extracting crate cryptominisat 5.8.0-rust1 into /workspace/builds/worker-3-tc2/source
[INFO] validating manifest of crates.io crate cryptominisat 5.8.0-rust1 on toolchain beta-2024-02-10
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate cryptominisat 5.8.0-rust1
[INFO] finished tweaking crates.io crate cryptominisat 5.8.0-rust1
[INFO] tweaked toml for crates.io crate cryptominisat 5.8.0-rust1 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b1268d36fe55f9239774f8c2bed11f61c1db32212d6061bb928af01bfd464e56
[INFO] running `Command { std: "docker" "start" "-a" "b1268d36fe55f9239774f8c2bed11f61c1db32212d6061bb928af01bfd464e56", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b1268d36fe55f9239774f8c2bed11f61c1db32212d6061bb928af01bfd464e56", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b1268d36fe55f9239774f8c2bed11f61c1db32212d6061bb928af01bfd464e56", kill_on_drop: false }`
[INFO] [stdout] b1268d36fe55f9239774f8c2bed11f61c1db32212d6061bb928af01bfd464e56
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 03fe3b174307d87aa36d9a350e08cb202c4d952420029580de3a701771f103d8
[INFO] running `Command { std: "docker" "start" "-a" "03fe3b174307d87aa36d9a350e08cb202c4d952420029580de3a701771f103d8", kill_on_drop: false }`
[INFO] [stderr]    Compiling cmake v0.1.50
[INFO] [stderr]    Compiling cryptominisat v5.8.0-rust1 (/opt/rustwide/workdir)
[INFO] [stderr] The following warnings were emitted during compilation:
[INFO] [stderr] 
[INFO] [stderr] warning: cryptominisat@5.8.0-rust1: Compiler version doesn't include clang or GCC: "cc" "--version"
[INFO] [stderr] warning: cryptominisat@5.8.0-rust1: Compiler version doesn't include clang or GCC: "c++" "--version"
[INFO] [stderr] warning: cryptominisat@5.8.0-rust1: Compiler version doesn't include clang or GCC: "cc" "--version"
[INFO] [stderr] 
[INFO] [stderr] error: failed to run custom build command for `cryptominisat v5.8.0-rust1 (/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/cryptominisat-fa7c24a0f04dbcb9/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]   running: "cc" "--version"
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:warning=Compiler version doesn't include clang or GCC: "cc" "--version"
[INFO] [stderr]   running: "c++" "--version"
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:warning=Compiler version doesn't include clang or GCC: "c++" "--version"
[INFO] [stderr]   running: "cc" "--version"
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:warning=Compiler version doesn't include clang or GCC: "cc" "--version"
[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/cryptominisat-304c0d53d41dcbd2/out/build" && CMAKE_PREFIX_PATH="" "cmake" "/opt/rustwide/workdir/cryptominisat" "-DCMAKE_BUILD_TYPE=Release" "-DSTATICCOMPILE=ON" "-DENABLE_PYTHON_INTERFACE=OFF" "-DONLY_SIMPLE=ON" "-DNOZLIB=ON" "-DNOM4RI=ON" "-DSTATS=OFF" "-DNOVALGRIND=ON" "-DENABLE_TESTING=OFF" "-DCMAKE_INSTALL_PREFIX=/opt/rustwide/target/debug/build/cryptominisat-304c0d53d41dcbd2/out" "-DCMAKE_C_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64" "-DCMAKE_C_COMPILER=/usr/bin/cc" "-DCMAKE_CXX_FLAGS= -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"
[INFO] [stderr]   -- The CXX compiler identification is GNU 11.4.0
[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]   -- LIB directory is ''
[INFO] [stderr]   -- BIN directory is ''
[INFO] [stderr]   -- Doing a Release build
[INFO] [stderr]   -- The C compiler identification is GNU 11.4.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]   -- Looking for pthread.h
[INFO] [stderr]   -- Looking for pthread.h - found
[INFO] [stderr]   -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
[INFO] [stderr]   -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
[INFO] [stderr]   -- Found Threads: TRUE  
[INFO] [stderr]   -- Building with GAUSS enabled at every level
[INFO] [stderr]   -- build type is Release
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fno-stack-protector
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fno-stack-protector - Success
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fvisibility=hidden
[INFO] [stderr]   -- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
[INFO] [stderr]   -- Compiling for static library use
[INFO] [stderr]   -- GIT hash found: GIT-notfound
[INFO] [stderr]   -- PROJECT_VERSION: 5.8.0
[INFO] [stderr]   -- PROJECT_VERSION_MAJOR: 5
[INFO] [stderr]   -- PROJECT_VERSION_MINOR: 8
[INFO] [stderr]   -- PROJECT_VERSION_PATCH: 0
[INFO] [stderr]   -- Found SQLITE3: /usr/lib/x86_64-linux-gnu/libsqlite3.a  
[INFO] [stderr]   -- OK, Found SQLITE3!
[INFO] [stderr]   -- Not compiling detailed statistics. The system is faster without them
[INFO] [stderr]   -- Cannot find help2man, not creating manpage
[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]   -- Could NOT find MPI_C (missing: MPI_mpi_LIBRARY MPI_C_WORKS) 
[INFO] [stderr]   -- Could NOT find MPI_CXX (missing: MPI_mpi_cxx_LIBRARY MPI_mpi_LIBRARY MPI_CXX_WORKS) 
[INFO] [stderr]   -- Could NOT find MPI (missing: MPI_C_FOUND MPI_CXX_FOUND) 
[INFO] [stderr]   -- No suitable C++ MPI implementation found. CryptoMiniSat will not be distributed.
[INFO] [stderr]   -- In case your Python interpreter is not found, or a wrong one is found, please set it with '-DPYTHON_EXECUTABLE:FILEPATH=your path here'
[INFO] [stderr]   -- Found PythonInterp: /usr/bin/python3 (found suitable version "3.10.12", minimum required is "3") 
[INFO] [stderr]   -- Found PythonLibs: /usr/lib/x86_64-linux-gnu/libpython3.10.a (found suitable version "3.10.12", minimum required is "3") 
[INFO] [stderr]   -- Python 3 -- PYTHON_EXECUTABLE=/usr/bin/python3
[INFO] [stderr]   -- Python 3 -- PYTHON_LIBRARIES=/usr/lib/x86_64-linux-gnu/libpython3.10.a
[INFO] [stderr]   -- Python 3 -- PYTHON_INCLUDE_DIRS=/usr/include/python3.10
[INFO] [stderr]   -- Python 3 -- PYTHONLIBS_VERSION_STRING=3.10.12
[INFO] [stderr]   -- Only building executable with few command-line options because the boost program_options library were not available
[INFO] [stderr]   -- All defines at startup:  -DEXTENDED_FEATURES -DUSE_GAUSS -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_SQLITE3 -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]   -- GIT Subprojects not initialized, not building drat-trim
[INFO] [stderr]   -- Configuring done
[INFO] [stderr]   -- Generating done
[INFO] [stderr]   -- Build files have been written to: /opt/rustwide/target/debug/build/cryptominisat-304c0d53d41dcbd2/out/build
[INFO] [stderr]   running: cd "/opt/rustwide/target/debug/build/cryptominisat-304c0d53d41dcbd2/out/build" && MAKEFLAGS="-j --jobserver-fds=7,8 --jobserver-auth=7,8" "cmake" "--build" "." "--target" "install" "--config" "Debug"
[INFO] [stderr]   [  1%] Generating sql_tablestructure.cpp
[INFO] [stderr]   [  3%] Generating sql_tablestructure.cpp
[INFO] [stderr]   Copying cryptominisat_c.h to /opt/rustwide/target/debug/build/cryptominisat-304c0d53d41dcbd2/out/build/include/cryptominisat5
[INFO] [stderr]   Copying cryptominisat.h to /opt/rustwide/target/debug/build/cryptominisat-304c0d53d41dcbd2/out/build/include/cryptominisat5
[INFO] [stderr]   Copying solvertypesmini.h to /opt/rustwide/target/debug/build/cryptominisat-304c0d53d41dcbd2/out/build/include/cryptominisat5
[INFO] [stderr]   Copying dimacsparser.h to /opt/rustwide/target/debug/build/cryptominisat-304c0d53d41dcbd2/out/build/include/cryptominisat5
[INFO] [stderr]   Copying streambuffer.h to /opt/rustwide/target/debug/build/cryptominisat-304c0d53d41dcbd2/out/build/include/cryptominisat5
[INFO] [stderr]   [  3%] Built target CopyPublicHeaders
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   CMake Warning at CMakeLists.txt:647 (find_package):
[INFO] [stderr]     By not providing "Findbreakid.cmake" in CMAKE_MODULE_PATH this project has
[INFO] [stderr]     asked CMake to find a package configuration file provided by "breakid", but
[INFO] [stderr]     CMake did not find one.
[INFO] [stderr] 
[INFO] [stderr]     Could not find a package configuration file provided by "breakid" with any
[INFO] [stderr]     of the following names:
[INFO] [stderr] 
[INFO] [stderr]       breakidConfig.cmake
[INFO] [stderr]       breakid-config.cmake
[INFO] [stderr] 
[INFO] [stderr]     Add the installation prefix of "breakid" to CMAKE_PREFIX_PATH or set
[INFO] [stderr]     "breakid_DIR" to a directory containing one of the above files.  If
[INFO] [stderr]     "breakid" provides a separate development package or SDK, be sure it has
[INFO] [stderr]     been installed.
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   CMake Warning at CMakeLists.txt:649 (message):
[INFO] [stderr]     BreakID NOT found
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   CMake Warning at CMakeLists.txt:819 (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]   /usr/bin/python3: can't open file '/opt/rustwide/workdir/cryptominisat/scripts/xxd-alike.py': [Errno 2] No such file or directory
[INFO] [stderr]   gmake[2]: *** [cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make:74: cmsat5-src/sql_tablestructure.cpp] Error 2
[INFO] [stderr]   gmake[1]: *** [CMakeFiles/Makefile2:156: cmsat5-src/CMakeFiles/cryptominisat5.dir/all] Error 2
[INFO] [stderr]   gmake[1]: *** Waiting for unfinished jobs....
[INFO] [stderr]   /usr/bin/python3: can't open file '/opt/rustwide/workdir/cryptominisat/scripts/xxd-alike.py': [Errno 2] No such file or directory
[INFO] [stderr]   gmake[2]: *** [cmsat5-src/CMakeFiles/tablestruct.dir/build.make:73: cmsat5-src/sql_tablestructure.cpp] Error 2
[INFO] [stderr]   gmake[1]: *** [CMakeFiles/Makefile2:131: cmsat5-src/CMakeFiles/tablestruct.dir/all] Error 2
[INFO] [stderr]   gmake: *** [Makefile:136: all] Error 2
[INFO] [stderr]   thread 'main' panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/cmake-0.1.50/src/lib.rs:1098: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:     0x55d4b884c486 - std::backtrace_rs::backtrace::libunwind::trace::h140b6deb6a45c671
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stderr]      1:     0x55d4b884c486 - std::backtrace_rs::backtrace::trace_unsynchronized::h8450d7e4e9219aed
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x55d4b884c486 - std::sys_common::backtrace::_print_fmt::hbd28e5e6c6fc3a3f
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stderr]      3:     0x55d4b884c486 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hb058f285768cf98e
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x55d4b8871260 - core::fmt::rt::Argument::fmt::h87dec7a95127da24
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/core/src/fmt/rt.rs:142:9
[INFO] [stderr]      5:     0x55d4b8871260 - core::fmt::write::h873f89a91a4832db
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/core/src/fmt/mod.rs:1120:17
[INFO] [stderr]      6:     0x55d4b884998f - std::io::Write::write_fmt::hc65183f01d14754a
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/io/mod.rs:1846:15
[INFO] [stderr]      7:     0x55d4b884c264 - std::sys_common::backtrace::_print::h7719d1529d9a9e13
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      8:     0x55d4b884c264 - std::sys_common::backtrace::print::haa3afbd0e7947108
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      9:     0x55d4b884d9d7 - std::panicking::default_hook::{{closure}}::h10e3de2ec0eaff22
[INFO] [stderr]     10:     0x55d4b884d739 - std::panicking::default_hook::hbdc1b1b7fe073dab
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:292:9
[INFO] [stderr]     11:     0x55d4b884de68 - std::panicking::rust_panic_with_hook::hb81692602460473d
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:781:13
[INFO] [stderr]     12:     0x55d4b884dd42 - std::panicking::begin_panic_handler::{{closure}}::h2470593aa2678e9c
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:659:13
[INFO] [stderr]     13:     0x55d4b884c986 - std::sys_common::backtrace::__rust_end_short_backtrace::h560bb50225b0562b
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stderr]     14:     0x55d4b884da94 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:647:5
[INFO] [stderr]     15:     0x55d4b87cb5e5 - core::panicking::panic_fmt::h29b6f262f6458dc3
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/core/src/panicking.rs:72:14
[INFO] [stderr]     16:     0x55d4b87e0381 - cmake::fail::ha484132c9614130b
[INFO] [stderr]     17:     0x55d4b87dfb17 - cmake::run::h93ee9ae44450f131
[INFO] [stderr]     18:     0x55d4b87dc385 - cmake::Config::build::h964136b6e4409bfe
[INFO] [stderr]     19:     0x55d4b87cd78b - build_script_build::main::h7c9c05b6b4232fea
[INFO] [stderr]     20:     0x55d4b87cc233 - core::ops::function::FnOnce::call_once::hc516255b73ae15a8
[INFO] [stderr]     21:     0x55d4b87cbe26 - std::sys_common::backtrace::__rust_begin_short_backtrace::h8f84bf1cdc2b9d6d
[INFO] [stderr]     22:     0x55d4b87cbf39 - std::rt::lang_start::{{closure}}::h97b5be952d589719
[INFO] [stderr]     23:     0x55d4b88456b1 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::hb70d08830a5ade10
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     24:     0x55d4b88456b1 - std::panicking::try::do_call::h22b4f7e5a6651b4a
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:554:40
[INFO] [stderr]     25:     0x55d4b88456b1 - std::panicking::try::hc21d1712e01c2e20
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:518:19
[INFO] [stderr]     26:     0x55d4b88456b1 - std::panic::catch_unwind::h043dedc9b446785f
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panic.rs:142:14
[INFO] [stderr]     27:     0x55d4b88456b1 - std::rt::lang_start_internal::{{closure}}::hd5b437811c37f411
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/rt.rs:148:48
[INFO] [stderr]     28:     0x55d4b88456b1 - std::panicking::try::do_call::hd87c54a927c7af49
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:554:40
[INFO] [stderr]     29:     0x55d4b88456b1 - std::panicking::try::hf94d97659ed75d92
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:518:19
[INFO] [stderr]     30:     0x55d4b88456b1 - std::panic::catch_unwind::h2ddd57de1d25402e
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panic.rs:142:14
[INFO] [stderr]     31:     0x55d4b88456b1 - std::rt::lang_start_internal::h7fecc45801af5220
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/rt.rs:148:20
[INFO] [stderr]     32:     0x55d4b87cbf17 - std::rt::lang_start::hb95dfe48ab224d5c
[INFO] [stderr]     33:     0x55d4b87cda25 - main
[INFO] [stderr]     34:     0x7f67d6157d90 - <unknown>
[INFO] [stderr]     35:     0x7f67d6157e40 - __libc_start_main
[INFO] [stderr]     36:     0x55d4b87cbd55 - _start
[INFO] [stderr]     37:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "03fe3b174307d87aa36d9a350e08cb202c4d952420029580de3a701771f103d8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "03fe3b174307d87aa36d9a350e08cb202c4d952420029580de3a701771f103d8", kill_on_drop: false }`
[INFO] [stdout] 03fe3b174307d87aa36d9a350e08cb202c4d952420029580de3a701771f103d8
