Sep 20 04:51:12.298 INFO checking cryptominisat-5.6.3 against try#135b4cd023a753409d01e43b0f23d22a899feeeb for pr-54352
Sep 20 04:51:12.298 INFO running: cargo +135b4cd023a753409d01e43b0f23d22a899feeeb-alt check --frozen --all --all-targets
Sep 20 04:51:12.298 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-54352/try#135b4cd023a753409d01e43b0f23d22a899feeeb:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54352/worker-3/try#135b4cd023a753409d01e43b0f23d22a899feeeb:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "CMD=cargo +135b4cd023a753409d01e43b0f23d22a899feeeb-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"`
Sep 20 04:51:12.499 INFO blam! afb8d5721dc8b882845010a54bbb62117859f42202b223b333bdfa4902c6d935
Sep 20 04:51:12.502 INFO running `"docker" "start" "-a" "afb8d5721dc8b882845010a54bbb62117859f42202b223b333bdfa4902c6d935"`
Sep 20 04:51:13.598 INFO kablam! usermod: no changes
Sep 20 04:51:13.641 INFO kablam!    Compiling cryptominisat v5.6.3 (/source)
Sep 20 04:51:34.689 INFO kablam! error: failed to run custom build command for `cryptominisat v5.6.3 (/source)`
Sep 20 04:51:34.689 INFO kablam! process didn't exit successfully: `/target/debug/build/cryptominisat-c1dd8aab041b4a3d/build-script-build` (exit code: 101)
Sep 20 04:51:34.689 INFO kablam! --- stdout
Sep 20 04:51:34.689 INFO kablam! running: "cmake" "/source/cryptominisat" "-DCMAKE_INSTALL_PREFIX=/target/debug/build/cryptominisat-35c1ae0d56e2c8a2/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"
Sep 20 04:51:34.689 INFO kablam! -- LIB directory is 'lib'
Sep 20 04:51:34.689 INFO kablam! -- BIN directory is 'bin'
Sep 20 04:51:34.689 INFO kablam! -- Doing a Debug build
Sep 20 04:51:34.689 INFO kablam! -- The C compiler identification is GNU 5.4.0
Sep 20 04:51:34.689 INFO kablam! -- The CXX compiler identification is GNU 5.4.0
Sep 20 04:51:34.689 INFO kablam! -- Check for working C compiler: /usr/bin/cc
Sep 20 04:51:34.689 INFO kablam! -- Check for working C compiler: /usr/bin/cc -- works
Sep 20 04:51:34.689 INFO kablam! -- Detecting C compiler ABI info
Sep 20 04:51:34.689 INFO kablam! -- Detecting C compiler ABI info - done
Sep 20 04:51:34.689 INFO kablam! -- Detecting C compile features
Sep 20 04:51:34.689 INFO kablam! -- Detecting C compile features - done
Sep 20 04:51:34.689 INFO kablam! -- Check for working CXX compiler: /usr/bin/c++
Sep 20 04:51:34.689 INFO kablam! -- Check for working CXX compiler: /usr/bin/c++ -- works
Sep 20 04:51:34.689 INFO kablam! -- Detecting CXX compiler ABI info
Sep 20 04:51:34.689 INFO kablam! -- Detecting CXX compiler ABI info - done
Sep 20 04:51:34.689 INFO kablam! -- Detecting CXX compile features
Sep 20 04:51:34.689 INFO kablam! -- Detecting CXX compile features - done
Sep 20 04:51:34.689 INFO kablam! -- Looking for pthread.h
Sep 20 04:51:34.689 INFO kablam! -- Looking for pthread.h - found
Sep 20 04:51:34.689 INFO kablam! -- Looking for pthread_create
Sep 20 04:51:34.689 INFO kablam! -- Looking for pthread_create - not found
Sep 20 04:51:34.689 INFO kablam! -- Check if compiler accepts -pthread
Sep 20 04:51:34.689 INFO kablam! -- Check if compiler accepts -pthread - yes
Sep 20 04:51:34.689 INFO kablam! -- Found Threads: TRUE  
Sep 20 04:51:34.689 INFO kablam! -- build type is Debug
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-mtune=native
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-mtune=native - Success
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-Wall
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-Wall - Success
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-Wextra
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-Wextra - Success
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-Wunused
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-Wunused - Success
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-Wsign-compare
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-Wsign-compare - Success
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
Sep 20 04:51:34.689 INFO kablam! -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wtype-limits
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wtype-limits - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wuninitialized
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wuninitialized - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wno-deprecated
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wno-deprecated - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wstrict-aliasing
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wpointer-arith
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wpointer-arith - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wheader-guard
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wheader-guard - Failed
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wformat-nonliteral
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Winit-self
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Winit-self - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wparentheses
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wparentheses - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wunreachable-code
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wunreachable-code - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-ggdb3
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-ggdb3 - Success
Sep 20 04:51:34.690 INFO kablam! -- Compiling for dynamic library use
Sep 20 04:51:34.690 INFO kablam! -- PROJECT_VERSION: 5.6.3
Sep 20 04:51:34.690 INFO kablam! -- PROJECT_VERSION_MAJOR: 5
Sep 20 04:51:34.690 INFO kablam! -- PROJECT_VERSION_MINOR: 6
Sep 20 04:51:34.690 INFO kablam! -- PROJECT_VERSION_PATCH: 3
Sep 20 04:51:34.690 INFO kablam! -- Boost version: 1.58.0
Sep 20 04:51:34.690 INFO kablam! -- Found the following Boost libraries:
Sep 20 04:51:34.690 INFO kablam! --   program_options
Sep 20 04:51:34.690 INFO kablam! -- Not compiling detailed statistics. The system is faster without them
Sep 20 04:51:34.690 INFO kablam! -- Cannot find help2man, not creating manpage
Sep 20 04:51:34.690 INFO kablam! -- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.so (found version "1.2.8") 
Sep 20 04:51:34.690 INFO kablam! -- OK, Found ZLIB!
Sep 20 04:51:34.690 INFO kablam! -- Valgrind Prefix: 
Sep 20 04:51:34.690 INFO kablam! -- Could NOT find VALGRIND (missing:  VALGRIND_INCLUDE_DIR VALGRIND_PROGRAM) 
Sep 20 04:51:34.690 INFO kablam! -- Cannot find valgrind or it's disabled, we will not be able to mark memory pool objects as undefined
Sep 20 04:51:34.690 INFO kablam! -- Found PkgConfig: /usr/bin/pkg-config (found version "0.29.1") 
Sep 20 04:51:34.690 INFO kablam! -- Could NOT find m4ri (missing:  M4RI_LIBRARIES M4RI_INCLUDE_DIRS) 
Sep 20 04:51:34.690 INFO kablam! -- All defines at startup:  -DBOOST_TEST_DYN_LINK -DUSE_ZLIB
Sep 20 04:51:34.690 INFO kablam! -- Found PythonInterp: /usr/bin/python3 (found suitable version "3.5.2", minimum required is "3") 
Sep 20 04:51:34.690 INFO kablam! -- Could NOT find PythonLibs (missing:  PYTHON_LIBRARIES PYTHON_INCLUDE_DIRS) (Required is at least version "3")
Sep 20 04:51:34.690 INFO kablam! -- Python 3 -- PYTHON_EXECUTABLE=/usr/bin/python3
Sep 20 04:51:34.690 INFO kablam! -- Python 3 -- PYTHON_LIBRARIES=PYTHON_LIBRARY-NOTFOUND
Sep 20 04:51:34.690 INFO kablam! -- Python 3 -- PYTHON_INCLUDE_DIRS=
Sep 20 04:51:34.690 INFO kablam! -- Python 3 -- PYTHONLIBS_VERSION_STRING=
Sep 20 04:51:34.690 INFO kablam! -- Python 3 not fully found or Python 2 has been forced -- trying Python 2.7
Sep 20 04:51:34.690 INFO kablam! -- Found PythonInterp: /usr/bin/python2.7 (found suitable version "2.7.12", minimum required is "2.7") 
Sep 20 04:51:34.690 INFO kablam! -- Found PythonLibs: /usr/lib/x86_64-linux-gnu/libpython2.7.so (found suitable version "2.7.12", minimum required is "2.7") 
Sep 20 04:51:34.690 INFO kablam! -- Python 2.7 -- PYTHON_EXECUTABLE=/usr/bin/python2.7
Sep 20 04:51:34.690 INFO kablam! -- Python 2.7 -- PYTHON_LIBRARIES=/usr/lib/x86_64-linux-gnu/libpython2.7.so
Sep 20 04:51:34.690 INFO kablam! -- Python 2.7 -- PYTHON_INCLUDE_DIRS=/usr/include/python2.7
Sep 20 04:51:34.690 INFO kablam! -- Python 2.7 -- PYTHONLIBS_VERSION_STRING=2.7.12
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wlogical-op
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wlogical-op - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wrestrict
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wrestrict - Failed
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wnull-dereference
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wnull-dereference - Failed
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wjump-misses-init
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wdouble-promotion
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wshadow
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wshadow - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wformat=2
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wformat=2 - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wextra-semi
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wextra-semi - Failed
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-pedantic
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-pedantic - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wno-class-memaccess
Sep 20 04:51:34.690 INFO kablam! -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Failed
Sep 20 04:51:34.690 INFO kablam! -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY
Sep 20 04:51:34.690 INFO kablam! -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY
Sep 20 04:51:34.690 INFO kablam! -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success
Sep 20 04:51:34.690 INFO kablam! -- Performing Test COMPILER_HAS_DEPRECATED_ATTR
Sep 20 04:51:34.690 INFO kablam! -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success
Sep 20 04:51:34.690 INFO kablam! -- Found python interpreter, libs and header files
Sep 20 04:51:34.690 INFO kablam! -- Building python interface
Sep 20 04:51:34.690 INFO kablam! -- Python CFLAGS:  '-fno-strict-aliasing -DNDEBUG -g -fwrapv -O2 -Wall -Wstrict-prototypes -Wdate-time -D_FORTIFY_SOURCE=2 -g -fstack-protector-strong -Wformat -Werror=format-security  '
Sep 20 04:51:34.690 INFO kablam! -- Python LDFLAGS: '-lpthread -ldl  -lutil'
Sep 20 04:51:34.690 INFO kablam! -- Python module will be installed to : '/target/debug/build/cryptominisat-35c1ae0d56e2c8a2/out'
Sep 20 04:51:34.690 INFO kablam! -- Configuring done
Sep 20 04:51:34.690 INFO kablam! -- Generating done
Sep 20 04:51:34.690 INFO kablam! -- Build files have been written to: /target/debug/build/cryptominisat-35c1ae0d56e2c8a2/out/build
Sep 20 04:51:34.690 INFO kablam! running: "cmake" "--build" "." "--target" "install" "--config" "Debug" "--"
Sep 20 04:51:34.690 INFO kablam! Scanning dependencies of target CopyPublicHeaders
Sep 20 04:51:34.690 INFO kablam! Copying cryptominisat_c.h to /target/debug/build/cryptominisat-35c1ae0d56e2c8a2/out/build/include/cryptominisat5
Sep 20 04:51:34.690 INFO kablam! Scanning dependencies of target libcryptominisat5
Sep 20 04:51:34.690 INFO kablam! Copying cryptominisat.h to /target/debug/build/cryptominisat-35c1ae0d56e2c8a2/out/build/include/cryptominisat5
Sep 20 04:51:34.690 INFO kablam! [  2%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o
Sep 20 04:51:34.690 INFO kablam! [  4%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o
Sep 20 04:51:34.690 INFO kablam! [  6%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o
Sep 20 04:51:34.690 INFO kablam! [  8%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o
Sep 20 04:51:34.690 INFO kablam! [ 10%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o
Sep 20 04:51:34.690 INFO kablam! [ 13%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o
Sep 20 04:51:34.690 INFO kablam! [ 15%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o
Sep 20 04:51:34.691 INFO kablam! Copying solvertypesmini.h to /target/debug/build/cryptominisat-35c1ae0d56e2c8a2/out/build/include/cryptominisat5
Sep 20 04:51:34.691 INFO kablam! Copying dimacsparser.h to /target/debug/build/cryptominisat-35c1ae0d56e2c8a2/out/build/include/cryptominisat5
Sep 20 04:51:34.691 INFO kablam! Copying streambuffer.h to /target/debug/build/cryptominisat-35c1ae0d56e2c8a2/out/build/include/cryptominisat5
Sep 20 04:51:34.691 INFO kablam! [ 15%] Built target CopyPublicHeaders
Sep 20 04:51:34.691 INFO kablam! [ 17%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 19%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 21%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 23%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 26%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 28%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 30%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 32%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 34%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 36%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 39%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 41%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 43%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 45%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 47%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 50%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 52%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 54%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 56%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 58%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 60%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o
Sep 20 04:51:34.691 INFO kablam! [ 63%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o
Sep 20 04:51:34.691 INFO kablam! cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make:470: recipe for target 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o' failed
Sep 20 04:51:34.691 INFO kablam! CMakeFiles/Makefile2:197: recipe for target 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/all' failed
Sep 20 04:51:34.691 INFO kablam! Makefile:127: recipe for target 'all' failed
Sep 20 04:51:34.691 INFO kablam! 
Sep 20 04:51:34.691 INFO kablam! --- stderr
Sep 20 04:51:34.691 INFO kablam! CMake Warning at CMakeLists.txt:511 (MESSAGE):
Sep 20 04:51:34.691 INFO kablam!   Did not find M4RI, XOR detection&manipulation disabled
Sep 20 04:51:34.691 INFO kablam! 
Sep 20 04:51:34.691 INFO kablam! 
Sep 20 04:51:34.691 INFO kablam! CMake Warning at CMakeLists.txt:635 (message):
Sep 20 04:51:34.691 INFO kablam!   Testing is disabled
Sep 20 04:51:34.691 INFO kablam! 
Sep 20 04:51:34.691 INFO kablam! 
Sep 20 04:51:34.691 INFO kablam! /source/cryptominisat/src/searcher.cpp:2179:22: warning: unused parameter 'upper_level_iteration_num' [-Wunused-parameter]
Sep 20 04:51:34.691 INFO kablam!      , const unsigned upper_level_iteration_num
Sep 20 04:51:34.691 INFO kablam!                       ^
Sep 20 04:51:34.691 INFO kablam! c++: internal compiler error: Killed (program cc1plus)
Sep 20 04:51:34.691 INFO kablam! Please submit a full bug report,
Sep 20 04:51:34.691 INFO kablam! with preprocessed source if appropriate.
Sep 20 04:51:34.691 INFO kablam! See <file:///usr/share/doc/gcc-5/README.Bugs> for instructions.
Sep 20 04:51:34.691 INFO kablam! make[2]: *** [cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o] Error 4
Sep 20 04:51:34.691 INFO kablam! make[2]: *** Waiting for unfinished jobs....
Sep 20 04:51:34.691 INFO kablam! make[1]: *** [cmsat5-src/CMakeFiles/libcryptominisat5.dir/all] Error 2
Sep 20 04:51:34.691 INFO kablam! make: *** [all] Error 2
Sep 20 04:51:34.691 INFO kablam! thread 'main' panicked at '
Sep 20 04:51:34.691 INFO kablam! command did not execute successfully, got: exit code: 2
Sep 20 04:51:34.691 INFO kablam! 
Sep 20 04:51:34.691 INFO kablam! build script failed, must exit now', /cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.34/src/lib.rs:776:5
Sep 20 04:51:34.691 INFO kablam! stack backtrace:
Sep 20 04:51:34.691 INFO kablam!    0:     0x56008dc3ba0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h060561e77e35d806
Sep 20 04:51:34.691 INFO kablam!                                at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49
Sep 20 04:51:34.691 INFO kablam!    1:     0x56008dc2b786 - std::sys_common::backtrace::print::haea7ed8a1bf250c8
Sep 20 04:51:34.691 INFO kablam!                                at libstd/sys_common/backtrace.rs:71
Sep 20 04:51:34.691 INFO kablam!                                at libstd/sys_common/backtrace.rs:59
Sep 20 04:51:34.691 INFO kablam!    2:     0x56008dc2a0dd - std::panicking::default_hook::{{closure}}::h1005c8854e58be8d
Sep 20 04:51:34.691 INFO kablam!                                at libstd/panicking.rs:211
Sep 20 04:51:34.691 INFO kablam!    3:     0x56008dc29e50 - std::panicking::default_hook::h79143d5863e2bd30
Sep 20 04:51:34.691 INFO kablam!                                at libstd/panicking.rs:227
Sep 20 04:51:34.691 INFO kablam!    4:     0x56008dc2a6ec - std::panicking::rust_panic_with_hook::hd9cae99f6e4776b8
Sep 20 04:51:34.691 INFO kablam!                                at libstd/panicking.rs:477
Sep 20 04:51:34.691 INFO kablam!    5:     0x56008dc2a2e9 - std::panicking::continue_panic_fmt::h446ccd7d316def28
Sep 20 04:51:34.691 INFO kablam!                                at libstd/panicking.rs:391
Sep 20 04:51:34.691 INFO kablam!    6:     0x56008dc2a24d - std::panicking::begin_panic_fmt::hb88cb158287c55b4
Sep 20 04:51:34.691 INFO kablam!                                at libstd/panicking.rs:346
Sep 20 04:51:34.691 INFO kablam!    7:     0x56008dbc0ae1 - cmake::fail::hd94d28807daae48c
Sep 20 04:51:34.691 INFO kablam!                                at /cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.34/src/lib.rs:776
Sep 20 04:51:34.691 INFO kablam!    8:     0x56008dbc041a - cmake::run::h235c734c2f98518a
Sep 20 04:51:34.691 INFO kablam!                                at /cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.34/src/lib.rs:757
Sep 20 04:51:34.691 INFO kablam!    9:     0x56008dbbcbbf - cmake::Config::build::hf11cad1da1e277c8
Sep 20 04:51:34.691 INFO kablam!                                at /cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.34/src/lib.rs:669
Sep 20 04:51:34.691 INFO kablam!   10:     0x56008dbb8a5c - cmake::build::h614075602910f076
Sep 20 04:51:34.691 INFO kablam!                                at /cargo-home/registry/src/github.com-1ecc6299db9ec823/cmake-0.1.34/src/lib.rs:97
Sep 20 04:51:34.691 INFO kablam!   11:     0x56008dbb9881 - build_script_build::main::hba1ce43b20effa55
Sep 20 04:51:34.691 INFO kablam!                                at /source/build.rs:12
Sep 20 04:51:34.691 INFO kablam!   12:     0x56008dbb8fdf - std::rt::lang_start::{{closure}}::h9bfb6644b1e0215f
Sep 20 04:51:34.691 INFO kablam!                                at libstd/rt.rs:74
Sep 20 04:51:34.691 INFO kablam!   13:     0x56008dc2a182 - std::panicking::try::do_call::had563038a207619d
Sep 20 04:51:34.691 INFO kablam!                                at libstd/rt.rs:59
Sep 20 04:51:34.691 INFO kablam!                                at libstd/panicking.rs:310
Sep 20 04:51:34.691 INFO kablam!   14:     0x56008dc4e359 - __rust_maybe_catch_panic
Sep 20 04:51:34.691 INFO kablam!                                at libpanic_unwind/lib.rs:102
Sep 20 04:51:34.691 INFO kablam!   15:     0x56008dc367d5 - std::rt::lang_start_internal::hcd623b62ef9a6b5e
Sep 20 04:51:34.691 INFO kablam!                                at libstd/panicking.rs:289
Sep 20 04:51:34.692 INFO kablam!                                at libstd/panic.rs:392
Sep 20 04:51:34.692 INFO kablam!                                at libstd/rt.rs:58
Sep 20 04:51:34.692 INFO kablam!   16:     0x56008dbb8fb7 - std::rt::lang_start::h4e341b0a9a00ae70
Sep 20 04:51:34.692 INFO kablam!                                at libstd/rt.rs:74
Sep 20 04:51:34.692 INFO kablam!   17:     0x56008dbb99d9 - main
Sep 20 04:51:34.692 INFO kablam!   18:     0x7fc71e06f82f - __libc_start_main
Sep 20 04:51:34.692 INFO kablam!   19:     0x56008dbb88e8 - _start
Sep 20 04:51:34.692 INFO kablam!   20:                0x0 - <unknown>
Sep 20 04:51:34.692 INFO kablam! 
Sep 20 04:51:34.692 INFO kablam! su: No module specific data is present
Sep 20 04:51:35.597 INFO running `"docker" "rm" "-f" "afb8d5721dc8b882845010a54bbb62117859f42202b223b333bdfa4902c6d935"`
Sep 20 04:51:35.656 INFO blam! afb8d5721dc8b882845010a54bbb62117859f42202b223b333bdfa4902c6d935