=> Building math/cryptominisat build started at Mon Sep 18 11:50:50 PDT 2017 port directory: /usr/ports/math/cryptominisat building for: DragonFly pkgbox64.dragonflybsd.org 4.9-DEVELOPMENT DragonFly v4.9.0.503.g33553-DEVELOPMENT #21: Fri Aug 4 16:51:32 PDT 2017 marino@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: 6yearold@gmail.com ident warning: no id keywords in /build/boomdata/data/.m/Release48-default/ref/../03//usr/ports/math/cryptominisat/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400908 Jail OSVERSION: 400801 ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/Release48-default/ref PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin POUDRIERE_BUILD_TYPE=bulk PKGNAME=cryptominisat-5.0.1_5 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/Release48-default/ref/.p/pool MASTERNAME=Release48-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/math/cryptominisat XDG_CONFIG_HOME=/wrkdirs/math/cryptominisat HOME=/wrkdirs/math/cryptominisat TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/math/cryptominisat XDG_CONFIG_HOME=/wrkdirs/math/cryptominisat HOME=/wrkdirs/math/cryptominisat TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" 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" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" OSREL=4.8 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/cryptominisat" EXAMPLESDIR="share/examples/cryptominisat" DATADIR="share/cryptominisat" WWWDIR="www/cryptominisat" ETCDIR="etc/cryptominisat" --End PLIST_SUB-- --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 --End SUB_LIST-- ---Begin make.conf--- NO_BACKUP=yes USE_PACKAGE_DEPENDS=yes PKG_CREATE_VERBOSE=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORT_DBDIR=/options PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MAKE_JOBS_NUMBER=5 ---End make.conf--- =================================================== ===> License MIT LGPL21 accepted by the user =========================================================================== =================================================== ===> cryptominisat-5.0.1_5 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.1.txz Installing pkg-1.10.1... Extracting pkg-1.10.1: .......... done ===> cryptominisat-5.0.1_5 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cryptominisat-5.0.1_5 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT LGPL21 accepted by the user ===> Fetching all distfiles required by cryptominisat-5.0.1_5 for building =========================================================================== =================================================== ===> License MIT LGPL21 accepted by the user ===> Fetching all distfiles required by cryptominisat-5.0.1_5 for building => SHA256 Checksum OK for msoos-cryptominisat-5.0.1_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT LGPL21 accepted by the user ===> Fetching all distfiles required by cryptominisat-5.0.1_5 for building ===> Extracting for cryptominisat-5.0.1_5 => SHA256 Checksum OK for msoos-cryptominisat-5.0.1_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for cryptominisat-5.0.1_5 =========================================================================== =================================================== ===> cryptominisat-5.0.1_5 depends on executable: xxd - not found ===> Installing existing package /packages/All/vim-lite-8.0.1098.txz Installing vim-lite-8.0.1098... `-- Installing ncurses-6.0_3... `-- Extracting ncurses-6.0_3: .......... done Extracting vim-lite-8.0.1098: .......... done Message from ncurses-6.0_3: ===> NOTICE: The ncurses port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> cryptominisat-5.0.1_5 depends on executable: xxd - found ===> Returning to build of cryptominisat-5.0.1_5 ===> cryptominisat-5.0.1_5 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.8.2.txz Installing cmake-3.8.2... `-- Installing cmake-modules-3.8.2... `-- Extracting cmake-modules-3.8.2: .......... done `-- Installing curl-7.55.0... | `-- Installing ca_root_nss-3.32... | `-- Extracting ca_root_nss-3.32: ........ done | `-- Installing krb5-1.15.1_5... | | `-- Installing gettext-runtime-0.19.8.1_1... | | `-- Installing indexinfo-0.2.6... | | `-- Extracting indexinfo-0.2.6: .... done | | `-- Extracting gettext-runtime-0.19.8.1_1: .......... done | | `-- Installing libressl-2.5.5... | | `-- Extracting libressl-2.5.5: .......... done | | `-- Installing pkgconf-1.3.7,1... | | `-- Extracting pkgconf-1.3.7,1: .......... done | | `-- Installing readline-7.0.3... | | `-- Extracting readline-7.0.3: .......... done | `-- Extracting krb5-1.15.1_5: .......... done | `-- Installing libnghttp2-1.24.0... | `-- Extracting libnghttp2-1.24.0: .......... done `-- Extracting curl-7.55.0: .......... done `-- Installing expat-2.2.1... `-- Extracting expat-2.2.1: .......... done `-- Installing jsoncpp-1.8.1... `-- Extracting jsoncpp-1.8.1: .......... done `-- Installing libarchive-3.3.1,1... | `-- Installing liblz4-1.7.5,1... | `-- Extracting liblz4-1.7.5,1: .......... done | `-- Installing lzo2-2.10_1... | `-- Extracting lzo2-2.10_1: .......... done `-- Extracting libarchive-3.3.1,1: .......... done `-- Installing libuv-1.13.1... `-- Extracting libuv-1.13.1: .......... done `-- Installing rhash-1.3.4... `-- Extracting rhash-1.3.4: .......... done Extracting cmake-3.8.2: .......... done Message from ca_root_nss-3.32: ********************************* WARNING ********************************* FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. *********************************** NOTE ********************************** This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem *************************************************************************** ===> cryptominisat-5.0.1_5 depends on file: /usr/local/bin/cmake - found ===> Returning to build of cryptominisat-5.0.1_5 =========================================================================== =================================================== ===> cryptominisat-5.0.1_5 depends on shared library: libboost_program_options.so - not found ===> Installing existing package /packages/All/boost-libs-1.64.0.txz Installing boost-libs-1.64.0... `-- Installing icu-58.2_2,1... `-- Extracting icu-58.2_2,1: .......... done Extracting boost-libs-1.64.0: .......... done Message from boost-libs-1.64.0: You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> cryptominisat-5.0.1_5 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Returning to build of cryptominisat-5.0.1_5 =========================================================================== =================================================== ===> Configuring for cryptominisat-5.0.1_5 ===> Performing in-source build /bin/mkdir -p /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -- Doing a Release build -- The C compiler identification is GNU 5.4.1 -- The CXX compiler identification is GNU 5.4.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- build type is Release -- Performing Test HAVE_FLAG_-fno-stack-protector -- Performing Test HAVE_FLAG_-fno-stack-protector - Success -- No pthread will be used -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- flag -Wall supported -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- flag -Wextra supported -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- flag -Wunused supported -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- flag -pedantic supported -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- flag -Wsign-compare supported -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- flag -Wtype-limits supported -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- flag -Wuninitialized supported -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- flag -Wno-deprecated supported -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- flag -Wstrict-aliasing supported -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- flag -Wpointer-arith supported -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Failed -- flag -Wheader-guard NOT supported -- flag -Wpointer-arith supported -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- flag -Wformat-nonliteral supported -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- flag -Winit-self supported -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- flag -Wparentheses supported -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- flag -Wunreachable-code supported -- Performing Test HAVE_FLAG_-ggdb3 -- Performing Test HAVE_FLAG_-ggdb3 - Success -- flag -ggdb3 supported -- PROJECT_VERSION: 5.0.1 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 0 -- PROJECT_VERSION_PATCH: 1 -- Boost version: 1.64.0 -- Found the following Boost libraries: -- program_options -- Looking for pthread.h -- Looking for pthread.h - found -- Found Threads: TRUE -- Not compiling detailed statistics. Leads to faster system -- Found ZLIB: /usr/lib/libz.so (found version "1.2.8") -- OK, Found ZLIB! -- Valgrind Prefix: -- Could NOT find VALGRIND (missing: VALGRIND_INCLUDE_DIR VALGRIND_PROGRAM) -- Cannot find valgrind or it's disabled, we will not be able to mark memory pool objects as undefined -- All defines at startup: -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_PTHREADS -DUSE_ZLIB -- Could NOT find PythonInterp (missing: PYTHON_EXECUTABLE) (Required is at least version "2.7") -- Could NOT find PythonLibs (missing: PYTHON_LIBRARIES PYTHON_INCLUDE_DIRS) (Required is at least version "2.7") CMake Warning at CMakeLists.txt:419 (message): Cannot find python interpreter, libs and header files, cannot build python interface -- 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 CMake Warning at CMakeLists.txt:481 (message): Testing is disabled -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_MODULE_LINKER_FLAGS -- Build files have been written to: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 =========================================================================== =================================================== ===> Building for cryptominisat-5.0.1_5 /usr/local/bin/cmake -H/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -B/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/CMakeFiles /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- --- cmsat5-src/CMakeFiles/tablestruct.dir/all --- --- 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/tablestruct.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/depend --- cmsat5-src/CMakeFiles/tablestruct.dir/depend --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/CMakeFiles/tablestruct.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake Scanning dependencies of target CopyPublicHeaders /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build --- cmsat5-src/CMakeFiles/tablestruct.dir/all --- Scanning dependencies of target tablestruct /usr/bin/make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/build --- cmsat5-src/sql_tablestructure.cpp --- [ 2%] Generating sql_tablestructure.cpp xxd -i cmsat_tablestructure.sql /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/sql_tablestructure.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- --- CopyPublicHeaders --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 --- cmsat5-src/CMakeFiles/tablestruct.dir/all --- [ 2%] Built target tablestruct --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- Copying cryptominisat_c.h to /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/cryptominisat5/cryptominisat_c.h /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- Scanning dependencies of target libcryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 Copying cryptominisat.h to /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/cryptominisat5/cryptominisat.h /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o --- [ 4%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o --- [ 6%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/cnf.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o --- [ 8%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- Copying solvertypesmini.h to /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/cryptominisat5/solvertypesmini.h /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o --- [ 10%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clausecleaner.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- [ 10%] Built target CopyPublicHeaders --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o --- [ 12%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clauseusagestats.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.h:32, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clausecleaner.h:27:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clausecleaner.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o --- /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.cpp: In member function 'void CMSat::VarReplacer::set_sub_var_during_solution_extension(uint32_t, uint32_t)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.cpp:763:20: warning: unused variable 'sub_var_inter' [-Wunused-variable] const uint32_t sub_var_inter = solver->map_outer_to_inter(sub_var); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.cpp: At global scope: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.cpp:824:48: warning: unused parameter 'var1' [-Wunused-parameter] void VarReplacer::replaceChecks(const uint32_t var1, const uint32_t var2) const ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.cpp:824:69: warning: unused parameter 'var2' [-Wunused-parameter] void VarReplacer::replaceChecks(const uint32_t var1, const uint32_t var2) const ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.cpp:32: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.cpp: At global scope: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.cpp:212:22: warning: unused parameter 'origSize' [-Wunused-parameter] , const uint32_t origSize ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clausecleaner.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clausecleaner.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/vardata.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:29, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o --- [ 14%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/prober.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/prober.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.cpp:23:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.cpp:32:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clauseusagestats.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clauseusagestats.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o --- /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.cpp: At global scope: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.cpp:591:18: warning: unused parameter 'allowFreed' [-Wunused-parameter] , const bool allowFreed ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o --- [ 16%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/occsimplifier.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/prober.h:32, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/prober.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/occsimplifier.cpp:23:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/prober.cpp:32: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/prober.cpp:32: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/occsimplifier.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/occsimplifier.cpp:39: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h: At global scope: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/occsimplifier.cpp:41: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::extend_model(CMSat::SolutionExtender*)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/occsimplifier.cpp:187:24: warning: unused variable 'outer' [-Wunused-variable] const uint32_t outer = solver->map_inter_to_outer(i); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o --- [ 18%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumestrengthen.cpp In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumestrengthen.h:29, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumestrengthen.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumestrengthen.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumestrengthen.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o --- [ 20%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clauseallocator.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o --- [ 22%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sccfinder.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o --- [ 24%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sccfinder.h:26, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sccfinder.cpp:28: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clauseallocator.h:29:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clauseallocator.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sccfinder.cpp:30:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clauseallocator.cpp:32: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clauseallocator.cpp:32: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sccfinder.cpp:31: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sccfinder.cpp: In member function 'void CMSat::SCCFinder::tarjan(uint32_t)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sccfinder.cpp:96:15: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] if (depth >= solver->conf.max_scc_depth) { ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o --- [ 26%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerallwithall.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.cpp:24:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.h: In function 'unsigned int CMSat::clean_to_int(CMSat::ClauseClean)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.h:57:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o --- [ 28%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerlongwithimpl.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerallwithall.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerallwithall.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerallwithall.cpp:25:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o --- [ 30%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/str_impl_w_impl_stamp.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o --- [ 32%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solutionextender.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerlongwithimpl.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerlongwithimpl.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerlongwithimpl.cpp:25:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerlongwithimpl.cpp:26: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/str_impl_w_impl_stamp.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/str_impl_w_impl_stamp.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/distillerallwithall.cpp:26: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/str_impl_w_impl_stamp.cpp:25:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/str_impl_w_impl_stamp.cpp:26: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solutionextender.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solutionextender.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solutionextender.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solutionextender.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solutionextender.cpp: In member function 'void CMSat::SolutionExtender::dummyBlocked(CMSat::Lit)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solutionextender.cpp:86:20: warning: unused variable 'blockedOn_inter' [-Wunused-variable] const uint32_t blockedOn_inter = solver->map_outer_to_inter(blockedOn.var()); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o --- [ 34%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/completedetachreattacher.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o --- [ 36%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o --- [ 38%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/solver.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/completedetachreattacher.h:27:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/completedetachreattacher.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o --- [ 40%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/gatefinder.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o --- [ 42%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sqlstats.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/completedetachreattacher.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/completedetachreattacher.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cset.h:29, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/gatefinder.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/gatefinder.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sqlstats.h:26, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sqlstats.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o --- /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.cpp: In member function 'CMSat::lbool CMSat::Searcher::burst_search()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.cpp:1765:12: warning: unused variable 'backup_var_inc' [-Wunused-variable] double backup_var_inc = var_inc; ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.cpp:1766:12: warning: unused variable 'backup_var_decay' [-Wunused-variable] double backup_var_decay = var_decay; ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.cpp: In member function 'std::pair CMSat::Searcher::remove_useless_bins(bool)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.cpp:2616:22: warning: unused variable 'rem2' [-Wunused-variable] bool rem2 = removeWBin_except_marked(solver->watches, it->getLit2(), it->getLit1(), it->isRed()); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sqlstats.h:26, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sqlstats.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sqlstats.h:26, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/sqlstats.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o --- [ 44%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/implcache.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o --- [ 46%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/stamp.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/gatefinder.cpp:24:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o --- /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp: In member function 'void CMSat::Solver::test_renumbering() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp:809:10: warning: variable 'problem' set but not used [-Wunused-but-set-variable] bool problem = false; ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp: In member function 'std::vector CMSat::Solver::get_zero_assigned_lits() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp:2549:19: warning: variable 'lit' set but not used [-Wunused-but-set-variable] for(const Lit lit: lits) { ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp: In member function 'std::vector > CMSat::Solver::get_all_binary_xors() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp:3017:35: warning: variable 'val' set but not used [-Wunused-but-set-variable] for(const std::pair val: ret) { ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/gatefinder.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/stamp.h:29, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/stamp.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/implcache.cpp:28: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o --- [ 48%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/compfinder.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solvertypes.h:38:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.h: In function 'unsigned int CMSat::clean_to_int(CMSat::ClauseClean)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.h:57:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/implcache.cpp:28: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/implcache.cpp:28: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/implcache.cpp: At global scope: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/implcache.cpp:636:20: warning: unused parameter 'newMaxVars' [-Wunused-parameter] , const size_t newMaxVars ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/compfinder.cpp:28:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/compfinder.cpp:30: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h: At global scope: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/compfinder.cpp:30: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o --- [ 50%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/comphandler.cpp In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/varreplacer.h:32, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/comphandler.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/comphandler.cpp:26: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/comphandler.cpp:26: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/comphandler.cpp: In member function 'bool CMSat::CompHandler::try_to_solve_component(uint32_t, uint32_t, const std::vector&, size_t)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/comphandler.cpp:220:24: warning: unused variable 'var' [-Wunused-variable] for(const uint32_t var: vars_orig) { ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/comphandler.cpp: At global scope: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/comphandler.cpp:346:22: warning: unused parameter 'comp' [-Wunused-parameter] , const uint32_t comp ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/comphandler.cpp:431:22: warning: unused parameter 'comp' [-Wunused-parameter] , const uint32_t comp ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o --- [ 52%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/hyperengine.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o --- [ 54%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumeimplicit.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/vardata.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:29, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/hyperengine.h:23, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/hyperengine.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/hyperengine.h:23:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/hyperengine.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/hyperengine.cpp: In member function 'CMSat::PropResult CMSat::HyperEngine::prop_bin_with_ancestor_info(CMSat::Lit, const CMSat::Watched*, CMSat::PropBy&)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/hyperengine.cpp:1009:17: warning: variable 'origAnc' set but not used [-Wunused-but-set-variable] Lit origAnc = varData[lit.var()].reason.getAncestor(); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumeimplicit.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumeimplicit.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumeimplicit.cpp:25:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/subsumeimplicit.cpp:26: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o --- [ 56%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cleaningstats.cpp In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cleaningstats.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cleaningstats.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o --- [ 58%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/datasync.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cleaningstats.cpp:29: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cleaningstats.cpp:29: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o --- [ 60%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/reducedb.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o --- [ 62%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clausedumper.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/datasync.h:24:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/datasync.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cleaningstats.h:27, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/reducedb.h:26, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/reducedb.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/reducedb.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/reducedb.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/datasync.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/datasync.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clausedumper.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clausedumper.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clausedumper.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o --- [ 64%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/bva.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/bva.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o --- [ 66%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/intree.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/intree.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o --- [ 68%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/features_calc.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/intree.h:25, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/intree.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/bva.h:27:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/bva.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o --- [ 70%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/features_to_reconf.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o --- [ 72%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solvefeatures.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/intree.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/intree.cpp:24: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/features_calc.cpp:26: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/features_calc.cpp:26: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/features_calc.cpp:26: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o --- [ 74%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searchstats.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/bva.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/bva.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o --- [ 76%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/xorfinder.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searchstats.h:29, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searchstats.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o --- [ 78%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cryptominisat_c.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o --- [ 80%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/GitSHA1.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o --- [ 82%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cryptominisat.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cset.h:29, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/xorfinder.h:32, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/xorfinder.cpp:23: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/xorfinder.cpp:24:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/xorfinder.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/clause.h:36:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propby.h:28, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cryptominisat.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/watched.h:195:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/propengine.h:42:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:36, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cryptominisat.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cnf.h:507:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/searcher.h:30:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:37, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cryptominisat.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solvertypes.h:38:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solver.h:34, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/cryptominisat.cpp:25: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.h: In function 'unsigned int CMSat::clean_to_int(CMSat::ClauseClean)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.h:57:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- lib/libcryptominisat5.so.5.0 --- [ 84%] Linking CXX shared library ../lib/libcryptominisat5.so cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libcryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -shared -Wl,-soname,libcryptominisat5.so.5.0 -o ../lib/libcryptominisat5.so.5.0 CMakeFiles/libcryptominisat5.dir/cnf.cpp.o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/libcryptominisat5.dir/prober.cpp.o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o CMakeFiles/libcryptominisat5.dir/solver.cpp.o CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o CMakeFiles/libcryptominisat5.dir/bva.cpp.o CMakeFiles/libcryptominisat5.dir/intree.cpp.o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.0 ../lib/libcryptominisat5.so.5.0 ../lib/libcryptominisat5.so [ 84%] Built target libcryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple.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/cryptominisat5_simple.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/depend --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake Scanning dependencies of target cryptominisat5_simple /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o --- [ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -o CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/main_simple.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- Scanning dependencies of target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main.cpp.o --- [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o --- [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o --- [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/main_exe.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/signalcode.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main.cpp.o --- cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -I/usr/local/include -I/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -o CMakeFiles/cryptominisat5.dir/main.cpp.o -c /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/main.cpp --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/main_simple.cpp:35:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/main.cpp:50:0: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTime()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:58:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h: In function 'double cpuTimeTotal()': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all --- --- cryptominisat5_simple --- [ 94%] Linking CXX executable ../cryptominisat5_simple cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -o ../cryptominisat5_simple -Wl,-rpath,/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/lib:/usr/local/lib ../lib/libcryptominisat5.so.5.0 /usr/local/lib/libboost_program_options.so -lz [ 96%] Built target cryptominisat5_simple --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- In file included from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/main.h:31:0, from /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/main.cpp:48: /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.h: In function 'std::__cxx11::string CMSat::getNameOfElimStrategy(CMSat::ElimStrategy)': /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src/solverconf.h:129:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- cryptominisat5 --- [ 98%] Linking CXX executable ../cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native CMakeFiles/cryptominisat5.dir/main.cpp.o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -o ../cryptominisat5 -Wl,-rpath,/wrkdirs/math/cryptominisat/cryptominisat-5.0.1/lib:/usr/local/lib ../lib/libcryptominisat5.so.5.0 /usr/local/lib/libboost_program_options.so -lz [100%] Built target cryptominisat5 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/CMakeFiles 0 =========================================================================== =================================================== =========================================================================== =================================================== ===> Staging for cryptominisat-5.0.1_5 ===> Generating temporary packing list /usr/local/bin/cmake -H/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 -B/wrkdirs/math/cryptominisat/cryptominisat-5.0.1 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/CMakeFiles /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/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 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 Copying cryptominisat_c.h to /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/cryptominisat5/cryptominisat_c.h /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 Copying cryptominisat.h to /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/cryptominisat5/cryptominisat.h /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 Copying solvertypesmini.h to /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/cryptominisat5/solvertypesmini.h /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/include/cryptominisat5 [ 0%] Built target CopyPublicHeaders /usr/bin/make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/depend cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/CMakeFiles/tablestruct.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/build [ 2%] Built target tablestruct /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build [ 84%] Built target libcryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build [ 94%] Built target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1 /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build [100%] Built target cryptominisat5_simple /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/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 executable CMakeFiles/CMakeRelink.dir/cryptominisat5 cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native CMakeFiles/cryptominisat5.dir/main.cpp.o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -o CMakeFiles/CMakeRelink.dir/cryptominisat5 -Wl,-rpath,/usr/local/lib ../lib/libcryptominisat5.so.5.0 /usr/local/lib/libboost_program_options.so -lz /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/cryptominisat5_simple cd /wrkdirs/math/cryptominisat/cryptominisat-5.0.1/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -o CMakeFiles/CMakeRelink.dir/cryptominisat5_simple -Wl,-rpath,/usr/local/lib ../lib/libcryptominisat5.so.5.0 /usr/local/lib/libboost_program_options.so -lz Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/lib/libcryptominisat5.so.5.0 -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/lib/libcryptominisat5.so -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/include/cryptominisat5/cryptominisat_c.h -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/include/cryptominisat5/cryptominisat.h -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/include/cryptominisat5/solvertypesmini.h -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/bin/cryptominisat5 -- Installing: /wrkdirs/math/cryptominisat/stage/usr/local/bin/cryptominisat5_simple ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for cryptominisat-5.0.1_5 file sizes/checksums [14]: . done packing files [14]: . done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for cryptominisat-5.0.1_5 build of math/cryptominisat ended at Mon Sep 18 11:53:37 PDT 2017 build time: 00:02:47