------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/cryptominisat XDG_CONFIG_HOME=/construction/math/cryptominisat XDG_CACHE_HOME=/construction/math/cryptominisat/.cache HOME=/construction/math/cryptominisat TMPDIR="/tmp" PATH=/construction/math/cryptominisat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/cryptominisat/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/cryptominisat XDG_CONFIG_HOME=/construction/math/cryptominisat XDG_CACHE_HOME=/construction/math/cryptominisat/.cache HOME=/construction/math/cryptominisat TMPDIR="/tmp" PATH=/construction/math/cryptominisat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/cryptominisat/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/cryptominisat/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- CMAKE_BUILD_TYPE="release" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/cryptominisat" EXAMPLESDIR="share/examples/cryptominisat" DATADIR="share/cryptominisat" WWWDIR="www/cryptominisat" ETCDIR="etc/cryptominisat" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cryptominisat DOCSDIR=/usr/local/share/doc/cryptominisat EXAMPLESDIR=/usr/local/share/examples/cryptominisat WWWDIR=/usr/local/www/cryptominisat ETCDIR=/usr/local/etc/cryptominisat SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/expat-2.5.0.pkg Installing /packages/All/libuv-1.46.0.pkg Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/openssl-1.1.1u,1.pkg Installing /packages/All/rhash-1.4.3.pkg Installing /packages/All/pkg-1.19.2.pkg Installing /packages/All/liblz4-1.9.4,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/zstd-1.5.5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libarchive-3.6.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ncurses-6.4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from ncurses-6.4: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/cmake-core-3.26.1_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ccache-3.7.12_4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. Installing /packages/All/png-1.6.39.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/M4RI-20200125.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/icu-73.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/boost-libs-1.82.0_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from boost-libs-1.82.0_1: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. SUCCEEDED 00:00:13 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> cryptominisat-5.11.11 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> cryptominisat-5.11.11 depends on file: /usr/local/sbin/pkg - found => msoos-cryptominisat-5.11.11_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/msoos/cryptominisat/tar.gz/5.11.11?dummy=/msoos-cryptominisat-5.11.11_GH0.tar.gz fetch: https://codeload.github.com/msoos/cryptominisat/tar.gz/5.11.11?dummy=/msoos-cryptominisat-5.11.11_GH0.tar.gz: size unknown fetch: https://codeload.github.com/msoos/cryptominisat/tar.gz/5.11.11?dummy=/msoos-cryptominisat-5.11.11_GH0.tar.gz: size of remote file is not known msoos-cryptominisat-5.11.11_GH0.tar.gz 0 B 0 Bps msoos-cryptominisat-5.11.11_GH0.tar.gz 352 kB 842 kBps msoos-cryptominisat-5.11.11_GH0.tar.gz 989 kB 1270 kBps 01s ===> Fetching all distfiles required by cryptominisat-5.11.11 for building SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> cryptominisat-5.11.11 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cryptominisat-5.11.11 for building => SHA256 Checksum OK for msoos-cryptominisat-5.11.11_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> cryptominisat-5.11.11 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cryptominisat-5.11.11 for building ===> Extracting for cryptominisat-5.11.11 => SHA256 Checksum OK for msoos-cryptominisat-5.11.11_GH0.tar.gz. Extracted Memory Use: 5.25M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for cryptominisat-5.11.11 SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> cryptominisat-5.11.11 depends on file: /usr/local/bin/cmake - found ===> cryptominisat-5.11.11 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> cryptominisat-5.11.11 depends on shared library: libm4ri.so - found (/usr/local/lib/libm4ri.so) ===> cryptominisat-5.11.11 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> cryptominisat-5.11.11 depends on file: /usr/local/bin/cmake - found ===> cryptominisat-5.11.11 depends on file: /usr/local/bin/ccache - found ===> cryptominisat-5.11.11 depends on shared library: libm4ri.so - found (/usr/local/lib/libm4ri.so) ===> cryptominisat-5.11.11 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Configuring for cryptominisat-5.11.11 ===> Performing out-of-source build /bin/mkdir -p /construction/math/cryptominisat/.build -- The CXX compiler identification is GNU 8.3.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/local/libexec/ccache/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is '' -- BIN directory is '' -- Doing a Release build -- The C compiler identification is GNU 8.3.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/libexec/ccache/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- tbuddy not found, not compiling with tbuddy-based GJ FRAT proofs -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Found Threads: TRUE -- build type is Release -- Performing Test HAVE_FLAG_-fno-stack-protector -- Performing Test HAVE_FLAG_-fno-stack-protector - Success -- PROJECT_VERSION: 5.11.11 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 11 -- PROJECT_VERSION_PATCH: 11 CMake Warning at /usr/local/share/cmake/Modules/FindBoost.cmake:1390 (message): New Boost version may have incorrect or missing dependencies and imported targets Call Stack (most recent call first): /usr/local/share/cmake/Modules/FindBoost.cmake:1514 (_Boost_COMPONENT_DEPENDENCIES) /usr/local/share/cmake/Modules/FindBoost.cmake:2125 (_Boost_MISSING_DEPENDENCIES) CMakeLists.txt:478 (find_package) -- Found Boost: /usr/local/include (found suitable version "1.82.0", minimum required is "1.46.0") found components: program_options -- Not compiling detailed statistics. The system is faster without them -- Not on Linux, not creating manpage -- Found ZLIB: /usr/lib/libz.so (found version "1.2.11") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Failed -- Boost -- found at library: /usr/local/lib/libboost_program_options.so -- All defines at startup: -DRDB0_ONLY_FEATURES -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_ZLIB -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success -- GIT Subprojects not initialized, not building drat-trim CMake Warning at CMakeLists.txt:796 (message): Testing is disabled -- Configuring done (8.9s) -- Generating done (0.1s) CMake Warning: Manually-specified variables were not used by the project: CMAKE_MODULE_LINKER_FLAGS ENABLE_PYTHON_INTERFACE FETCHCONTENT_FULLY_DISCONNECTED -- Build files have been written to: /construction/math/cryptominisat/.build SUCCEEDED 00:00:09 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for cryptominisat-5.11.11 /usr/local/bin/cmake -S/construction/math/cryptominisat/cryptominisat-5.11.11 -B/construction/math/cryptominisat/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles /construction/math/cryptominisat/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.11.11 /construction/math/cryptominisat/cryptominisat-5.11.11/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/depend --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.11.11 /construction/math/cryptominisat/cryptominisat-5.11.11/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- --- CopyPublicHeaders --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat_c.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/cryptominisat_c.h /construction/math/cryptominisat/.build/include/cryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o --- [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o -MF CMakeFiles/cryptominisat5.dir/cnf.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/cnf.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o --- [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o -MF CMakeFiles/cryptominisat5.dir/propengine.cpp.o.d -o CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/propengine.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o --- [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -MF CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o.d -o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/varreplacer.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o --- [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -MF CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o.d -o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/clausecleaner.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o --- [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -MF CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o.d -o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/occsimplifier.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o --- [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/gatefinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o --- [ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -MF CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o.d -o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/clauseallocator.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o --- [ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o -MF CMakeFiles/cryptominisat5.dir/frat.cpp.o.d -o CMakeFiles/cryptominisat5.dir/frat.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/frat.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o --- [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/sccfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -MF CMakeFiles/cryptominisat5.dir/solverconf.cpp.o.d -o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/solverconf.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o --- [ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/distillerlong.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/cryptominisat.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying solvertypesmini.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/solvertypesmini.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying dimacsparser.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/dimacsparser.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ streambuffer.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying streambuffer.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/streambuffer.h /construction/math/cryptominisat/.build/include/cryptominisat5 [ 19%] Built target CopyPublicHeaders --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- [ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -MF CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o.d -o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/subsumestrengthen.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o --- [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/distillerlitrem.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o --- [ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/distillerbin.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o --- [ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/distillerlongwithimpl.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o --- [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -MF CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o.d -o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/str_impl_w_impl.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o --- [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -MF CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o.d -o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/solutionextender.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o --- [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -MF CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o.d -o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/completedetachreattacher.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o --- [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o -MF CMakeFiles/cryptominisat5.dir/searcher.cpp.o.d -o CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/searcher.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o --- [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o -MF CMakeFiles/cryptominisat5.dir/solver.cpp.o.d -o CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/solver.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o --- [ 36%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -MF CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o.d -o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/hyperengine.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o --- [ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -MF CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o.d -o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/subsumeimplicit.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o --- [ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o -MF CMakeFiles/cryptominisat5.dir/datasync.cpp.o.d -o CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/datasync.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o --- [ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -MF CMakeFiles/cryptominisat5.dir/reducedb.cpp.o.d -o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/reducedb.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o --- [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o -MF CMakeFiles/cryptominisat5.dir/bva.cpp.o.d -o CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/bva.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o --- [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o -MF CMakeFiles/cryptominisat5.dir/intree.cpp.o.d -o CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/intree.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o --- [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -MF CMakeFiles/cryptominisat5.dir/searchstats.cpp.o.d -o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/searchstats.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o --- [ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/xorfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o --- [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/cardfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o --- [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -MF CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/cryptominisat_c.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o --- [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o -MF CMakeFiles/cryptominisat5.dir/sls.cpp.o.d -o CMakeFiles/cryptominisat5.dir/sls.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/sls.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o --- [ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -MF CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o.d -o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/sqlstats.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o --- [ 57%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -MF CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o.d -o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/vardistgen.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o --- [ 59%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -MF CMakeFiles/cryptominisat5.dir/ccnr.cpp.o.d -o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/ccnr.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o --- [ 61%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -MF CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o.d -o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/ccnr_cms.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o --- [ 63%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o -MF CMakeFiles/cryptominisat5.dir/lucky.cpp.o.d -o CMakeFiles/cryptominisat5.dir/lucky.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/lucky.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o --- [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o -MF CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o.d -o CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/get_clause_query.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o --- [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -MF CMakeFiles/cryptominisat5.dir/gaussian.cpp.o.d -o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/gaussian.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o --- [ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -MF CMakeFiles/cryptominisat5.dir/packedrow.cpp.o.d -o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/packedrow.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o --- [ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/matrixfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o --- [ 71%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/cc -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu99 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o -MF CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o.d -o CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/picosat/picosat.c --- cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o --- [ 73%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o --- [ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/cc -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu99 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o -MF CMakeFiles/cryptominisat5.dir/picosat/version.c.o.d -o CMakeFiles/cryptominisat5.dir/picosat/version.c.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/picosat/version.c --- cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o -MF CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o.d -o CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/oracle/oracle.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o --- [ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -MF CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o.d -o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -c /construction/math/cryptominisat/.build/cmsat5-src/GitSHA1.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o --- [ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -MF CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/cryptominisat.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o --- /construction/math/cryptominisat/cryptominisat-5.11.11/src/searcher.cpp: In member function 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)': /construction/math/cryptominisat/cryptominisat-5.11.11/src/searcher.cpp:3522:51: warning: potential null pointer dereference [-Wnull-dereference] data.nHighestLevel = varData[clause[0].var()].level; ~~~~~~~~~~~~~^~ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o --- /construction/math/cryptominisat/cryptominisat-5.11.11/src/solver.cpp: In member function 'bool CMSat::Solver::oracle_vivif(bool&)': /construction/math/cryptominisat/cryptominisat-5.11.11/src/solver.cpp:5017:25: warning: declaration of 'stats' shadows a member of 'CMSat::Solver' [-Wshadow] ClauseStats stats; ^~~~~ In file included from /construction/math/cryptominisat/cryptominisat-5.11.11/src/solver.h:37, from /construction/math/cryptominisat/cryptominisat-5.11.11/src/solver.cpp:23: /construction/math/cryptominisat/cryptominisat-5.11.11/src/searcher.h:214:21: note: shadowed declaration is here SearchStats stats; ^~~~~ --- lib/libcryptominisat5.so.5.11 --- [ 80%] Linking CXX shared library ../lib/libcryptominisat5.so cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -fPIC -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -O2 -shared -Wl,-soname,libcryptominisat5.so.5.11 -o ../lib/libcryptominisat5.so.5.11 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/frat.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/sls.cpp.o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o CMakeFiles/cryptominisat5.dir/lucky.cpp.o CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o CMakeFiles/cryptominisat5.dir/picosat/version.c.o CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -pthread cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.11 ../lib/libcryptominisat5.so.5.11 ../lib/libcryptominisat5.so [ 82%] Built target cryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.11.11 /construction/math/cryptominisat/cryptominisat-5.11.11/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.11.11 /construction/math/cryptominisat/cryptominisat-5.11.11/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o --- [ 85%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/main_common.cpp --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o --- [ 85%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/main_exe.cpp --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o --- [ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/main.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/main.cpp --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o --- [ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/signalcode.cpp --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -MF CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o.d -o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/main_common.cpp --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o --- [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.11.11 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.11.11/src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -MF CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o.d -o CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.11.11/src/main_simple.cpp --- cryptominisat5_simple --- [ 94%] Linking CXX executable ../cryptominisat5_simple cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple-bin.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -O2 "CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o" "CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o" -o ../cryptominisat5_simple -Wl,-z,origin,-rpath,/construction/math/cryptominisat/.build/lib ../lib/libcryptominisat5.so.5.11 /usr/lib/libz.so -pthread [ 96%] Built target cryptominisat5_simple-bin --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- --- cryptominisat5 --- [ 98%] Linking CXX executable ../cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5-bin.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -O2 "CMakeFiles/cryptominisat5-bin.dir/main.cpp.o" "CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o" "CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o" "CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o" -o ../cryptominisat5 -Wl,-z,origin,-rpath,/usr/local/lib:/construction/math/cryptominisat/.build/lib /usr/local/lib/libboost_program_options.so ../lib/libcryptominisat5.so.5.11 /usr/lib/libz.so -pthread [100%] Built target cryptominisat5-bin /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles 0 SUCCEEDED 00:00:50 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for cryptominisat-5.11.11 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/cryptominisat/cryptominisat-5.11.11 -B/construction/math/cryptominisat/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles /construction/math/cryptominisat/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.11.11 /construction/math/cryptominisat/cryptominisat-5.11.11/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build [ 82%] Built target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.11.11 /construction/math/cryptominisat/cryptominisat-5.11.11/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat_c.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/cryptominisat_c.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/cryptominisat.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying solvertypesmini.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/solvertypesmini.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying dimacsparser.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/dimacsparser.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ streambuffer.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying streambuffer.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.11.11/src/streambuffer.h /construction/math/cryptominisat/.build/include/cryptominisat5 [ 82%] Built target CopyPublicHeaders /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.11.11 /construction/math/cryptominisat/cryptominisat-5.11.11/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build [ 92%] Built target cryptominisat5-bin /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.11.11 /construction/math/cryptominisat/cryptominisat-5.11.11/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build [100%] Built target cryptominisat5_simple-bin /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/preinstall Linking CXX shared library CMakeFiles/CMakeRelink.dir/libcryptominisat5.so cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -fPIC -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -O2 -shared -Wl,-soname,libcryptominisat5.so.5.11 -o CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.11 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/frat.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/sls.cpp.o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o CMakeFiles/cryptominisat5.dir/lucky.cpp.o CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o CMakeFiles/cryptominisat5.dir/picosat/version.c.o CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -pthread cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.11 CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.11 CMakeFiles/CMakeRelink.dir/libcryptominisat5.so /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5-bin.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -O2 "CMakeFiles/cryptominisat5-bin.dir/main.cpp.o" "CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o" "CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o" "CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o" -o CMakeFiles/CMakeRelink.dir/cryptominisat5 -Wl,-z,origin,-rpath,/usr/local/lib /usr/local/lib/libboost_program_options.so ../lib/libcryptominisat5.so.5.11 /usr/lib/libz.so -pthread /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/cryptominisat5_simple cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple-bin.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -pipe -O2 -fno-strict-aliasing -O2 "CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o" "CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o" -o CMakeFiles/CMakeRelink.dir/cryptominisat5_simple ../lib/libcryptominisat5.so.5.11 /usr/lib/libz.so -pthread Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/libcryptominisat5.so.5.11 -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/libcryptominisat5.so -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/cryptominisat_c.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/cryptominisat.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/solvertypesmini.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/dimacsparser.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/streambuffer.h -- Installing: /construction/math/cryptominisat/stage/usr/local/bin/cryptominisat5_simple -- Installing: /construction/math/cryptominisat/stage/usr/local/bin/cryptominisat5 ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for cryptominisat-5.11.11 file sizes/checksums [13]: 0% file sizes/checksums [13]: 100% Service unavailablepacking files [13]: 0% packing files [13]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:01 TOTAL TIME 00:01:19