[INFO] crate cryptominisat 5.6.3 is already in cache
[INFO] checking cryptominisat-5.6.3 against master#209b2be09fcaff937480d1fbbe8b31646e361c7a for pr-70917
[INFO] extracting crate cryptominisat 5.6.3 into /workspace/builds/worker-13/source
[INFO] validating manifest of crates.io crate cryptominisat 5.6.3 on toolchain 209b2be09fcaff937480d1fbbe8b31646e361c7a
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking crates.io crate cryptominisat 5.6.3
[INFO] finished tweaking crates.io crate cryptominisat 5.6.3
[INFO] tweaked toml for crates.io crate cryptominisat 5.6.3 written to /workspace/builds/worker-13/source/Cargo.toml
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] ee4fac34c90bc2e19d69d845e4a5ffc862df94253cfdc82d34c5378404f7f568
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `"docker" "start" "-a" "ee4fac34c90bc2e19d69d845e4a5ffc862df94253cfdc82d34c5378404f7f568"`
[INFO] [stderr]    Compiling cryptominisat v5.6.3 (/opt/rustwide/workdir)
[INFO] [stderr] error: failed to run custom build command for `cryptominisat v5.6.3 (/opt/rustwide/workdir)`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/cryptominisat-9a41ac9c10f8743c/build-script-build` (exit code: 101)
[INFO] [stderr] --- stdout
[INFO] [stderr] running: "cmake" "/opt/rustwide/workdir/cryptominisat" "-DCMAKE_INSTALL_PREFIX=/opt/rustwide/target/debug/build/cryptominisat-6ec74dd06ad7a400/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_BUILD_TYPE=Debug"
[INFO] [stderr] -- LIB directory is 'lib'
[INFO] [stderr] -- BIN directory is 'bin'
[INFO] [stderr] -- Doing a Debug build
[INFO] [stderr] -- The C compiler identification is GNU 7.5.0
[INFO] [stderr] -- The CXX compiler identification is GNU 7.5.0
[INFO] [stderr] -- Check for working C compiler: /usr/bin/cc
[INFO] [stderr] -- Check for working C compiler: /usr/bin/cc -- works
[INFO] [stderr] -- Detecting C compiler ABI info
[INFO] [stderr] -- Detecting C compiler ABI info - done
[INFO] [stderr] -- Detecting C compile features
[INFO] [stderr] -- Detecting C compile features - done
[INFO] [stderr] -- Check for working CXX compiler: /usr/bin/c++
[INFO] [stderr] -- Check for working CXX compiler: /usr/bin/c++ -- works
[INFO] [stderr] -- Detecting CXX compiler ABI info
[INFO] [stderr] -- Detecting CXX compiler ABI info - done
[INFO] [stderr] -- Detecting CXX compile features
[INFO] [stderr] -- Detecting CXX compile features - done
[INFO] [stderr] -- Looking for pthread.h
[INFO] [stderr] -- Looking for pthread.h - found
[INFO] [stderr] -- Looking for pthread_create
[INFO] [stderr] -- Looking for pthread_create - not found
[INFO] [stderr] -- Check if compiler accepts -pthread
[INFO] [stderr] -- Check if compiler accepts -pthread - yes
[INFO] [stderr] -- Found Threads: TRUE  
[INFO] [stderr] -- build type is Debug
[INFO] [stderr] -- Performing Test HAVE_FLAG_-mtune=native
[INFO] [stderr] -- Performing Test HAVE_FLAG_-mtune=native - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wall
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wall - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wextra
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wextra - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wunused
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wunused - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wsign-compare
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wsign-compare - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
[INFO] [stderr] -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wtype-limits
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wtype-limits - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wuninitialized
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wuninitialized - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wno-deprecated
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wno-deprecated - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wstrict-aliasing
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wpointer-arith
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wpointer-arith - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wheader-guard
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wheader-guard - Failed
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wformat-nonliteral
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Winit-self
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Winit-self - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wparentheses
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wparentheses - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wunreachable-code
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wunreachable-code - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-ggdb3
[INFO] [stderr] -- Performing Test HAVE_FLAG_-ggdb3 - Success
[INFO] [stderr] -- Compiling for dynamic library use
[INFO] [stderr] -- GIT hash found: GIT-notfound
[INFO] [stderr] -- PROJECT_VERSION: 5.6.3
[INFO] [stderr] -- PROJECT_VERSION_MAJOR: 5
[INFO] [stderr] -- PROJECT_VERSION_MINOR: 6
[INFO] [stderr] -- PROJECT_VERSION_PATCH: 3
[INFO] [stderr] -- Could NOT find Boost
[INFO] [stderr] -- Not compiling detailed statistics. The system is faster without them
[INFO] [stderr] -- Cannot find help2man, not creating manpage
[INFO] [stderr] -- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.so (found version "1.2.11") 
[INFO] [stderr] -- OK, Found ZLIB!
[INFO] [stderr] -- Valgrind Prefix: 
[INFO] [stderr] -- Could NOT find VALGRIND (missing: VALGRIND_INCLUDE_DIR VALGRIND_PROGRAM) 
[INFO] [stderr] -- Cannot find valgrind or it's disabled, we will not be able to mark memory pool objects as undefined
[INFO] [stderr] -- Found PkgConfig: /usr/bin/pkg-config (found version "0.29.1") 
[INFO] [stderr] -- Could NOT find m4ri (missing: M4RI_LIBRARIES M4RI_INCLUDE_DIRS) 
[INFO] [stderr] -- All defines at startup:  -DBOOST_TEST_DYN_LINK -DUSE_ZLIB
[INFO] [stderr] -- Found PythonInterp: /usr/bin/python3 (found suitable version "3.6.9", minimum required is "3") 
[INFO] [stderr] -- Found PythonLibs: /usr/lib/x86_64-linux-gnu/libpython3.6m.so (found suitable version "3.6.9", 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.6m.so
[INFO] [stderr] -- Python 3 -- PYTHON_INCLUDE_DIRS=/usr/include/python3.6m
[INFO] [stderr] -- Python 3 -- PYTHONLIBS_VERSION_STRING=3.6.9
[INFO] [stderr] -- Only building executable with few command-line options because the boost program_options library were not available
[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_-Wjump-misses-init
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed
[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 - Failed
[INFO] [stderr] -- Performing Test HAVE_FLAG_-pedantic
[INFO] [stderr] -- Performing Test HAVE_FLAG_-pedantic - Success
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wno-class-memaccess
[INFO] [stderr] -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Failed
[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] -- Found python interpreter, libs and header files
[INFO] [stderr] -- Building python interface
[INFO] [stderr] -- Python CFLAGS:  '-Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g   -fstack-protector-strong -Wformat -Werror=format-security  -g -flto -fuse-linker-plugin -ffat-lto-objects'
[INFO] [stderr] -- Python LDFLAGS: '-lpthread -ldl  -lutil'
[INFO] [stderr] -- Python module will be installed to : '/opt/rustwide/target/debug/build/cryptominisat-6ec74dd06ad7a400/out'
[INFO] [stderr] -- Configuring done
[INFO] [stderr] -- Generating done
[INFO] [stderr] -- Build files have been written to: /opt/rustwide/target/debug/build/cryptominisat-6ec74dd06ad7a400/out/build
[INFO] [stderr] running: "cmake" "--build" "." "--target" "install" "--config" "Debug" "--"
[INFO] [stderr] Scanning dependencies of target CopyPublicHeaders
[INFO] [stderr] Copying cryptominisat_c.h to /opt/rustwide/target/debug/build/cryptominisat-6ec74dd06ad7a400/out/build/include/cryptominisat5
[INFO] [stderr] Scanning dependencies of target libcryptominisat5
[INFO] [stderr] [  2%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o
[INFO] [stderr] [  4%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o
[INFO] [stderr] [  7%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o
[INFO] [stderr] [  9%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o
[INFO] [stderr] [ 11%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o
[INFO] [stderr] [ 19%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o
[INFO] [stderr] [ 19%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o
[INFO] [stderr] [ 19%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o
[INFO] [stderr] Copying cryptominisat.h to /opt/rustwide/target/debug/build/cryptominisat-6ec74dd06ad7a400/out/build/include/cryptominisat5
[INFO] [stderr] [ 21%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o
[INFO] [stderr] [ 23%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o
[INFO] [stderr] [ 26%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o
[INFO] [stderr] [ 28%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o
[INFO] [stderr] [ 30%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o
[INFO] [stderr] [ 33%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o
[INFO] [stderr] [ 35%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o
[INFO] [stderr] Copying solvertypesmini.h to /opt/rustwide/target/debug/build/cryptominisat-6ec74dd06ad7a400/out/build/include/cryptominisat5
[INFO] [stderr] Copying dimacsparser.h to /opt/rustwide/target/debug/build/cryptominisat-6ec74dd06ad7a400/out/build/include/cryptominisat5
[INFO] [stderr] Copying streambuffer.h to /opt/rustwide/target/debug/build/cryptominisat-6ec74dd06ad7a400/out/build/include/cryptominisat5
[INFO] [stderr] [ 35%] Built target CopyPublicHeaders
[INFO] [stderr] [ 38%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o
[INFO] [stderr] [ 40%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o
[INFO] [stderr] [ 42%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o
[INFO] [stderr] [ 45%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o
[INFO] [stderr] cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make:206: recipe for target 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o' failed
[INFO] [stderr] cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make:374: recipe for target 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o' failed
[INFO] [stderr] cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make:278: recipe for target 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o' failed
[INFO] [stderr] cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make:398: recipe for target 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o' failed
[INFO] [stderr] cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make:62: recipe for target 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o' failed
[INFO] [stderr] cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make:110: recipe for target 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o' failed
[INFO] [stderr] CMakeFiles/Makefile2:195: recipe for target 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/all' failed
[INFO] [stderr] Makefile:129: recipe for target 'all' failed
[INFO] [stderr] 
[INFO] [stderr] --- stderr
[INFO] [stderr] CMake Warning at /usr/share/cmake-3.10/Modules/FindBoost.cmake:567 (message):
[INFO] [stderr]   Imported targets and dependency information not available for Boost version
[INFO] [stderr]   (all versions older than 1.33)
[INFO] [stderr] Call Stack (most recent call first):
[INFO] [stderr]   /usr/share/cmake-3.10/Modules/FindBoost.cmake:907 (_Boost_COMPONENT_DEPENDENCIES)
[INFO] [stderr]   /usr/share/cmake-3.10/Modules/FindBoost.cmake:1558 (_Boost_MISSING_DEPENDENCIES)
[INFO] [stderr]   CMakeLists.txt:398 (find_package)
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] CMake Warning at CMakeLists.txt:511 (MESSAGE):
[INFO] [stderr]   Did not find M4RI, XOR detection&manipulation disabled
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] CMake Warning at CMakeLists.txt:635 (message):
[INFO] [stderr]   Testing is disabled
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] c++: internal compiler error: Killed (program cc1plus)
[INFO] [stderr] Please submit a full bug report,
[INFO] [stderr] with preprocessed source if appropriate.
[INFO] [stderr] See <file:///usr/share/doc/gcc-7/README.Bugs> for instructions.
[INFO] [stderr] make[2]: *** [cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o] Error 4
[INFO] [stderr] make[2]: *** Waiting for unfinished jobs....
[INFO] [stderr] c++: internal compiler error: Killed (program cc1plus)
[INFO] [stderr] Please submit a full bug report,
[INFO] [stderr] with preprocessed source if appropriate.
[INFO] [stderr] See <file:///usr/share/doc/gcc-7/README.Bugs> for instructions.
[INFO] [stderr] make[2]: *** [cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o] Error 4
[INFO] [stderr] c++: internal compiler error: Killed (program cc1plus)
[INFO] [stderr] Please submit a full bug report,
[INFO] [stderr] with preprocessed source if appropriate.
[INFO] [stderr] See <file:///usr/share/doc/gcc-7/README.Bugs> for instructions.
[INFO] [stderr] c++: internal compiler error: Killed (program cc1plus)
[INFO] [stderr] Please submit a full bug report,
[INFO] [stderr] with preprocessed source if appropriate.
[INFO] [stderr] See <file:///usr/share/doc/gcc-7/README.Bugs> for instructions.
[INFO] [stderr] make[2]: *** [cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o] Error 4
[INFO] [stderr] make[2]: *** [cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o] Error 4
[INFO] [stderr] c++: internal compiler error: Killed (program cc1plus)
[INFO] [stderr] Please submit a full bug report,
[INFO] [stderr] with preprocessed source if appropriate.
[INFO] [stderr] See <file:///usr/share/doc/gcc-7/README.Bugs> for instructions.
[INFO] [stderr] make[2]: *** [cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o] Error 4
[INFO] [stderr] c++: internal compiler error: Killed (program cc1plus)
[INFO] [stderr] Please submit a full bug report,
[INFO] [stderr] with preprocessed source if appropriate.
[INFO] [stderr] See <file:///usr/share/doc/gcc-7/README.Bugs> for instructions.
[INFO] [stderr] make[2]: *** [cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o] Error 4
[INFO] [stderr] /opt/rustwide/workdir/cryptominisat/src/searcher.cpp: In member function 'CMSat::lbool CMSat::Searcher::solve(uint64_t, unsigned int)':
[INFO] [stderr] /opt/rustwide/workdir/cryptominisat/src/searcher.cpp:2179:22: warning: unused parameter 'upper_level_iteration_num' [-Wunused-parameter]
[INFO] [stderr]      , const unsigned upper_level_iteration_num
[INFO] [stderr]                       ^~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] make[1]: *** [cmsat5-src/CMakeFiles/libcryptominisat5.dir/all] Error 2
[INFO] [stderr] make: *** [all] Error 2
[INFO] [stderr] thread 'main' panicked at '
[INFO] [stderr] command did not execute successfully, got: exit code: 2
[INFO] [stderr] 
[INFO] [stderr] build script failed, must exit now', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.42/src/lib.rs:861:5
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x555b6adfdb14 - backtrace::backtrace::libunwind::trace::h9e598fcb10d5c4f5
[INFO] [stderr]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
[INFO] [stderr]    1:     0x555b6adfdb14 - backtrace::backtrace::trace_unsynchronized::hbfbd58fbb4a2603e
[INFO] [stderr]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
[INFO] [stderr]    2:     0x555b6adfdb14 - std::sys_common::backtrace::_print_fmt::hacb596a8013761df
[INFO] [stderr]                                at src/libstd/sys_common/backtrace.rs:78
[INFO] [stderr]    3:     0x555b6adfdb14 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::ha1ba73c9085723eb
[INFO] [stderr]                                at src/libstd/sys_common/backtrace.rs:59
[INFO] [stderr]    4:     0x555b6ae22c9c - core::fmt::write::hb4ac1e8a8c800611
[INFO] [stderr]                                at src/libcore/fmt/mod.rs:1069
[INFO] [stderr]    5:     0x555b6adfa293 - std::io::Write::write_fmt::ha413e6029f4d499f
[INFO] [stderr]                                at src/libstd/io/mod.rs:1504
[INFO] [stderr]    6:     0x555b6ae00755 - std::sys_common::backtrace::_print::h5afa8b3832cd03b8
[INFO] [stderr]                                at src/libstd/sys_common/backtrace.rs:62
[INFO] [stderr]    7:     0x555b6ae00755 - std::sys_common::backtrace::print::h49229e3486b70f83
[INFO] [stderr]                                at src/libstd/sys_common/backtrace.rs:49
[INFO] [stderr]    8:     0x555b6ae00755 - std::panicking::default_hook::{{closure}}::hcfefd5f4943f3aa9
[INFO] [stderr]                                at src/libstd/panicking.rs:198
[INFO] [stderr]    9:     0x555b6ae00492 - std::panicking::default_hook::h4c2b6d8d034c53de
[INFO] [stderr]                                at src/libstd/panicking.rs:218
[INFO] [stderr]   10:     0x555b6ae00db2 - std::panicking::rust_panic_with_hook::hf8cee70c0118d2cc
[INFO] [stderr]                                at src/libstd/panicking.rs:511
[INFO] [stderr]   11:     0x555b6ae0099b - rust_begin_unwind
[INFO] [stderr]                                at src/libstd/panicking.rs:419
[INFO] [stderr]   12:     0x555b6ae0090b - std::panicking::begin_panic_fmt::h58dd034954c7216c
[INFO] [stderr]                                at src/libstd/panicking.rs:373
[INFO] [stderr]   13:     0x555b6ad98297 - cmake::fail::hdb13a4b917684397
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.42/src/lib.rs:861
[INFO] [stderr]   14:     0x555b6ad97bdc - cmake::run::hb0a44602bcbba88a
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.42/src/lib.rs:839
[INFO] [stderr]   15:     0x555b6ad9432b - cmake::Config::build::h5d89e49edb52f331
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.42/src/lib.rs:745
[INFO] [stderr]   16:     0x555b6ad90315 - cmake::build::ha74c328bdaa2e504
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.42/src/lib.rs:97
[INFO] [stderr]   17:     0x555b6ad90130 - build_script_build::main::hb75a102cee0d0d8b
[INFO] [stderr]                                at /opt/rustwide/workdir/build.rs:12
[INFO] [stderr]   18:     0x555b6ad9088b - std::rt::lang_start::{{closure}}::h36b046fcedd138ec
[INFO] [stderr]                                at /rustc/209b2be09fcaff937480d1fbbe8b31646e361c7a/src/libstd/rt.rs:67
[INFO] [stderr]   19:     0x555b6ae011f8 - std::rt::lang_start_internal::{{closure}}::h4c4631d379953dd0
[INFO] [stderr]                                at src/libstd/rt.rs:52
[INFO] [stderr]   20:     0x555b6ae011f8 - std::panicking::try::do_call::hc26b3db2421dedbb
[INFO] [stderr]                                at src/libstd/panicking.rs:331
[INFO] [stderr]   21:     0x555b6ae011f8 - std::panicking::try::h4da6835c8705b8a7
[INFO] [stderr]                                at src/libstd/panicking.rs:274
[INFO] [stderr]   22:     0x555b6ae011f8 - std::panic::catch_unwind::h02aff520273fa6b1
[INFO] [stderr]                                at src/libstd/panic.rs:394
[INFO] [stderr]   23:     0x555b6ae011f8 - std::rt::lang_start_internal::he0572ca212cb5ef4
[INFO] [stderr]                                at src/libstd/rt.rs:51
[INFO] [stderr]   24:     0x555b6ad90867 - std::rt::lang_start::ha1d4deeffb48f7f6
[INFO] [stderr]                                at /rustc/209b2be09fcaff937480d1fbbe8b31646e361c7a/src/libstd/rt.rs:67
[INFO] [stderr]   25:     0x555b6ad9029a - main
[INFO] [stderr]   26:     0x7f7ecf81db97 - __libc_start_main
[INFO] [stderr]   27:     0x555b6ad8fb1a - _start
[INFO] [stderr]   28:                0x0 - <unknown>
[INFO] [stderr] 
[INFO] running `"docker" "inspect" "ee4fac34c90bc2e19d69d845e4a5ffc862df94253cfdc82d34c5378404f7f568"`
[INFO] running `"docker" "rm" "-f" "ee4fac34c90bc2e19d69d845e4a5ffc862df94253cfdc82d34c5378404f7f568"`
[INFO] [stdout] ee4fac34c90bc2e19d69d845e4a5ffc862df94253cfdc82d34c5378404f7f568
