[INFO] fetching crate cryptominisat 5.8.0-rust1...
[INFO] documenting cryptominisat-5.8.0-rust1 against 1.75.0 for beta-1.76-rustdoc-1
[INFO] extracting crate cryptominisat 5.8.0-rust1 into /workspace/builds/worker-2-tc1/source
[INFO] validating manifest of crates.io crate cryptominisat 5.8.0-rust1 on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.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-2-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.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.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4e9e23a83fa96747bcbae5c5a36a5609e62ffda9487f305e38fcadfc404e7987
[INFO] running `Command { std: "docker" "start" "-a" "4e9e23a83fa96747bcbae5c5a36a5609e62ffda9487f305e38fcadfc404e7987", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4e9e23a83fa96747bcbae5c5a36a5609e62ffda9487f305e38fcadfc404e7987", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4e9e23a83fa96747bcbae5c5a36a5609e62ffda9487f305e38fcadfc404e7987", kill_on_drop: false }`
[INFO] [stdout] 4e9e23a83fa96747bcbae5c5a36a5609e62ffda9487f305e38fcadfc404e7987
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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.75.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5291e870696ff78140140a4567ae938156bfbe3b0352a3b542625003d57cca18
[INFO] running `Command { std: "docker" "start" "-a" "5291e870696ff78140140a4567ae938156bfbe3b0352a3b542625003d57cca18", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.151
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling cmake v0.1.50
[INFO] [stderr]    Compiling cryptominisat v5.8.0-rust1 (/opt/rustwide/workdir)
[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-67ca9be088783a87/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/cryptominisat-c773c43cd41aae5b/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-c773c43cd41aae5b/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-c773c43cd41aae5b/out/build
[INFO] [stderr]   running: cd "/opt/rustwide/target/debug/build/cryptominisat-c773c43cd41aae5b/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-c773c43cd41aae5b/out/build/include/cryptominisat5
[INFO] [stderr]   Copying cryptominisat.h to /opt/rustwide/target/debug/build/cryptominisat-c773c43cd41aae5b/out/build/include/cryptominisat5
[INFO] [stderr]   Copying solvertypesmini.h to /opt/rustwide/target/debug/build/cryptominisat-c773c43cd41aae5b/out/build/include/cryptominisat5
[INFO] [stderr]   Copying dimacsparser.h to /opt/rustwide/target/debug/build/cryptominisat-c773c43cd41aae5b/out/build/include/cryptominisat5
[INFO] [stderr]   Copying streambuffer.h to /opt/rustwide/target/debug/build/cryptominisat-c773c43cd41aae5b/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:     0x564e6ff8e40c - std::backtrace_rs::backtrace::libunwind::trace::ha637c64ce894333a
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stderr]      1:     0x564e6ff8e40c - std::backtrace_rs::backtrace::trace_unsynchronized::h47f62dea28e0c88d
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x564e6ff8e40c - std::sys_common::backtrace::_print_fmt::h9eef0abe20ede486
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stderr]      3:     0x564e6ff8e40c - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hed7f999df88cc644
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x564e6ffb4910 - core::fmt::rt::Argument::fmt::h1539a9308b8d058d
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/fmt/rt.rs:142:9
[INFO] [stderr]      5:     0x564e6ffb4910 - core::fmt::write::h3a39390d8560d9c9
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/fmt/mod.rs:1120:17
[INFO] [stderr]      6:     0x564e6ff8bb5f - std::io::Write::write_fmt::h5fc9997dfe05f882
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/io/mod.rs:1762:15
[INFO] [stderr]      7:     0x564e6ff8e1f4 - std::sys_common::backtrace::_print::h894006fb5c6f3d45
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      8:     0x564e6ff8e1f4 - std::sys_common::backtrace::print::h23a2d212c6fff936
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      9:     0x564e6ff8fa07 - std::panicking::default_hook::{{closure}}::h8a1d2ee00185001a
[INFO] [stderr]     10:     0x564e6ff8f76f - std::panicking::default_hook::h6038f2eba384e475
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:292:9
[INFO] [stderr]     11:     0x564e6ff8fe88 - std::panicking::rust_panic_with_hook::h2b5517d590cab22e
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:779:13
[INFO] [stderr]     12:     0x564e6ff8fd6e - std::panicking::begin_panic_handler::{{closure}}::h233112c06e0ef43e
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:657:13
[INFO] [stderr]     13:     0x564e6ff8e8d6 - std::sys_common::backtrace::__rust_end_short_backtrace::h6e893f24d7ebbff8
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:170:18
[INFO] [stderr]     14:     0x564e6ff8fad2 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:645:5
[INFO] [stderr]     15:     0x564e6ff10625 - core::panicking::panic_fmt::hbf0e066aabfa482c
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/panicking.rs:72:14
[INFO] [stderr]     16:     0x564e6ff24771 - cmake::fail::h48943d4bc26ff962
[INFO] [stderr]     17:     0x564e6ff23ef7 - cmake::run::hb5b5c0da29ba9049
[INFO] [stderr]     18:     0x564e6ff20811 - cmake::Config::build::h95129dac09be71c5
[INFO] [stderr]     19:     0x564e6ff1271b - build_script_build::main::hc5281d5b041f899d
[INFO] [stderr]     20:     0x564e6ff111e3 - core::ops::function::FnOnce::call_once::hc264230a2235dc86
[INFO] [stderr]     21:     0x564e6ff10e16 - std::sys_common::backtrace::__rust_begin_short_backtrace::hbee98ac46ed1cc28
[INFO] [stderr]     22:     0x564e6ff10f59 - std::rt::lang_start::{{closure}}::h316810d1881b2466
[INFO] [stderr]     23:     0x564e6ff87a27 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::hd95060ecd5e1ca24
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     24:     0x564e6ff87a27 - std::panicking::try::do_call::h6e8cf51db32a6e4b
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:552:40
[INFO] [stderr]     25:     0x564e6ff87a27 - std::panicking::try::h3a52eefe24fe3c29
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:516:19
[INFO] [stderr]     26:     0x564e6ff87a27 - std::panic::catch_unwind::h24c28c23c02c3841
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panic.rs:142:14
[INFO] [stderr]     27:     0x564e6ff87a27 - std::rt::lang_start_internal::{{closure}}::h705d3c9cbc06ef47
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/rt.rs:148:48
[INFO] [stderr]     28:     0x564e6ff87a27 - std::panicking::try::do_call::ha21f52ba13158470
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:552:40
[INFO] [stderr]     29:     0x564e6ff87a27 - std::panicking::try::h5581346bf6aeb1f8
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:516:19
[INFO] [stderr]     30:     0x564e6ff87a27 - std::panic::catch_unwind::h7919645a6b72e25b
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panic.rs:142:14
[INFO] [stderr]     31:     0x564e6ff87a27 - std::rt::lang_start_internal::h12de51168669836e
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/rt.rs:148:20
[INFO] [stderr]     32:     0x564e6ff10f37 - std::rt::lang_start::hda35e2e19ad60c26
[INFO] [stderr]     33:     0x564e6ff129b5 - main
[INFO] [stderr]     34:     0x7fbbf3d56d90 - <unknown>
[INFO] [stderr]     35:     0x7fbbf3d56e40 - __libc_start_main
[INFO] [stderr]     36:     0x564e6ff10d45 - _start
[INFO] [stderr]     37:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "5291e870696ff78140140a4567ae938156bfbe3b0352a3b542625003d57cca18", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5291e870696ff78140140a4567ae938156bfbe3b0352a3b542625003d57cca18", kill_on_drop: false }`
[INFO] [stdout] 5291e870696ff78140140a4567ae938156bfbe3b0352a3b542625003d57cca18
[INFO] documenting cryptominisat-5.8.0-rust1 against beta-2023-12-22 for beta-1.76-rustdoc-1
[INFO] extracting crate cryptominisat 5.8.0-rust1 into /workspace/builds/worker-2-tc2/source
[INFO] validating manifest of crates.io crate cryptominisat 5.8.0-rust1 on toolchain beta-2023-12-22
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "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-2-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "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-2023-12-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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-2023-12-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d10b27d1947332982b1e0d9c7c111399af99e3b2620f7f817e6ab8c7ecba9703
[INFO] running `Command { std: "docker" "start" "-a" "d10b27d1947332982b1e0d9c7c111399af99e3b2620f7f817e6ab8c7ecba9703", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d10b27d1947332982b1e0d9c7c111399af99e3b2620f7f817e6ab8c7ecba9703", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d10b27d1947332982b1e0d9c7c111399af99e3b2620f7f817e6ab8c7ecba9703", kill_on_drop: false }`
[INFO] [stdout] d10b27d1947332982b1e0d9c7c111399af99e3b2620f7f817e6ab8c7ecba9703
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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-2023-12-22" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0de772e2b0f9df41bbfa34e8a1ece34d7a5d0392338bca3cf03b5514302409c3
[INFO] running `Command { std: "docker" "start" "-a" "0de772e2b0f9df41bbfa34e8a1ece34d7a5d0392338bca3cf03b5514302409c3", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.151
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling cmake v0.1.50
[INFO] [stderr]    Compiling cryptominisat v5.8.0-rust1 (/opt/rustwide/workdir)
[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-9258a2a6986ce176/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/cryptominisat-1666e4674af6c96b/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-1666e4674af6c96b/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-1666e4674af6c96b/out/build
[INFO] [stderr]   running: cd "/opt/rustwide/target/debug/build/cryptominisat-1666e4674af6c96b/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-1666e4674af6c96b/out/build/include/cryptominisat5
[INFO] [stderr]   Copying cryptominisat.h to /opt/rustwide/target/debug/build/cryptominisat-1666e4674af6c96b/out/build/include/cryptominisat5
[INFO] [stderr]   Copying solvertypesmini.h to /opt/rustwide/target/debug/build/cryptominisat-1666e4674af6c96b/out/build/include/cryptominisat5
[INFO] [stderr]   Copying dimacsparser.h to /opt/rustwide/target/debug/build/cryptominisat-1666e4674af6c96b/out/build/include/cryptominisat5
[INFO] [stderr]   Copying streambuffer.h to /opt/rustwide/target/debug/build/cryptominisat-1666e4674af6c96b/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:     0x55a6d4708d96 - std::backtrace_rs::backtrace::libunwind::trace::h261606ad26a499c1
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stderr]      1:     0x55a6d4708d96 - std::backtrace_rs::backtrace::trace_unsynchronized::hd183f0625477fb28
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x55a6d4708d96 - std::sys_common::backtrace::_print_fmt::hd7f8fef21b4eda67
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stderr]      3:     0x55a6d4708d96 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h623d9b51f2f453f1
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x55a6d472e660 - core::fmt::rt::Argument::fmt::h9f417ac76a86f368
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/fmt/rt.rs:142:9
[INFO] [stderr]      5:     0x55a6d472e660 - core::fmt::write::hc9b6faf4ac2aeff7
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/fmt/mod.rs:1120:17
[INFO] [stderr]      6:     0x55a6d47065cf - std::io::Write::write_fmt::hfead1eee52c2e65e
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/io/mod.rs:1810:15
[INFO] [stderr]      7:     0x55a6d4708b74 - std::sys_common::backtrace::_print::hd5d66399c7df88a2
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      8:     0x55a6d4708b74 - std::sys_common::backtrace::print::he81ed2da642d37e5
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      9:     0x55a6d470a457 - std::panicking::default_hook::{{closure}}::h85773f4fa117163d
[INFO] [stderr]     10:     0x55a6d470a1b9 - std::panicking::default_hook::h6a1694a91d09b278
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:292:9
[INFO] [stderr]     11:     0x55a6d470a8e8 - std::panicking::rust_panic_with_hook::h0a7ad96e90f7145b
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:779:13
[INFO] [stderr]     12:     0x55a6d470a7c2 - std::panicking::begin_panic_handler::{{closure}}::h7919090525c6485e
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:657:13
[INFO] [stderr]     13:     0x55a6d4709296 - std::sys_common::backtrace::__rust_end_short_backtrace::hf3289479464f7dfe
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stderr]     14:     0x55a6d470a520 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:645:5
[INFO] [stderr]     15:     0x55a6d4689635 - core::panicking::panic_fmt::hcc9f77c5c132af55
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/panicking.rs:72:14
[INFO] [stderr]     16:     0x55a6d469d7c1 - cmake::fail::hb96067ba752479bf
[INFO] [stderr]     17:     0x55a6d469cf57 - cmake::run::h2a913540d65b4727
[INFO] [stderr]     18:     0x55a6d469988d - cmake::Config::build::he6edb72bc52b9536
[INFO] [stderr]     19:     0x55a6d468b73b - build_script_build::main::h3f1272804b808e1d
[INFO] [stderr]     20:     0x55a6d468a233 - core::ops::function::FnOnce::call_once::hb461b521159fcb67
[INFO] [stderr]     21:     0x55a6d4689e36 - std::sys_common::backtrace::__rust_begin_short_backtrace::h2c7280786673532c
[INFO] [stderr]     22:     0x55a6d4689f49 - std::rt::lang_start::{{closure}}::h105f373a2da08376
[INFO] [stderr]     23:     0x55a6d4702211 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h4eb4c5e1620f29b0
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     24:     0x55a6d4702211 - std::panicking::try::do_call::h73fd26535faffcdf
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:552:40
[INFO] [stderr]     25:     0x55a6d4702211 - std::panicking::try::h77ff1d98f0fb9f39
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:516:19
[INFO] [stderr]     26:     0x55a6d4702211 - std::panic::catch_unwind::hab3caf2448b95e37
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panic.rs:142:14
[INFO] [stderr]     27:     0x55a6d4702211 - std::rt::lang_start_internal::{{closure}}::h8086711f9c783f78
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/rt.rs:148:48
[INFO] [stderr]     28:     0x55a6d4702211 - std::panicking::try::do_call::hf920d4dc291cd6ca
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:552:40
[INFO] [stderr]     29:     0x55a6d4702211 - std::panicking::try::h2b806ccc0a85db74
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:516:19
[INFO] [stderr]     30:     0x55a6d4702211 - std::panic::catch_unwind::h038489539c507df2
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panic.rs:142:14
[INFO] [stderr]     31:     0x55a6d4702211 - std::rt::lang_start_internal::h28503b88912e8a5c
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/rt.rs:148:20
[INFO] [stderr]     32:     0x55a6d4689f27 - std::rt::lang_start::h838a4d7319c2ea1e
[INFO] [stderr]     33:     0x55a6d468b9d5 - main
[INFO] [stderr]     34:     0x7f2d23debd90 - <unknown>
[INFO] [stderr]     35:     0x7f2d23debe40 - __libc_start_main
[INFO] [stderr]     36:     0x55a6d4689d65 - _start
[INFO] [stderr]     37:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "0de772e2b0f9df41bbfa34e8a1ece34d7a5d0392338bca3cf03b5514302409c3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0de772e2b0f9df41bbfa34e8a1ece34d7a5d0392338bca3cf03b5514302409c3", kill_on_drop: false }`
[INFO] [stdout] 0de772e2b0f9df41bbfa34e8a1ece34d7a5d0392338bca3cf03b5514302409c3
