Mock Version: 1.3.4 Mock Version: 1.3.4 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target i686 --nodeps /builddir/build/SPECS/cryptominisat.spec'], chrootPath='/var/lib/mock/f28-build-12722460-929438/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]printOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target i686 --nodeps /builddir/build/SPECS/cryptominisat.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: i686 Building for target i686 Wrote: /builddir/build/SRPMS/cryptominisat-5.6.3-1.fc28.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target i686 --nodeps /builddir/build/SPECS/cryptominisat.spec'], chrootPath='/var/lib/mock/f28-build-12722460-929438/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]printOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target i686 --nodeps /builddir/build/SPECS/cryptominisat.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: i686 Building for target i686 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.sP9cFe + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cryptominisat-5.6.3 + /usr/bin/gzip -dc /builddir/build/SOURCES/cryptominisat-5.6.3.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd cryptominisat-5.6.3 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/cryptominisat-cmake.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch + '[' /usr/lib = /usr/lib64 ']' + sed -ri 's|install |&--root /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386 |' python/CMakeLists.txt + cp -a . ../python3 + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ZxENNl + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.6.3 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + /usr/bin/cmake -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_Fortran_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON -DCMAKE_INSTALL_PREFIX:PATH=/usr -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DBUILD_SHARED_LIBS:BOOL=ON -DCMAKE_INSTALL_LIBDIR=lib -DFORCE_PYTHON2=ON -- LIB directory is 'lib' -- BIN directory is 'bin' -- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel -- Doing a RelWithDebInfo build -- The C compiler identification is GNU 8.1.1 -- The CXX compiler identification is GNU 8.1.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 -- Looking for pthread.h -- Looking for pthread.h - found -- Looking for pthread_create -- Looking for pthread_create - not found -- Check if compiler accepts -pthread -- Check if compiler accepts -pthread - yes -- Found Threads: TRUE -- build type is RelWithDebInfo -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Failed -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- Compiling for dynamic library use -- PROJECT_VERSION: 5.6.3 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 6 -- PROJECT_VERSION_PATCH: 3 -- Boost version: 1.66.0 -- Found the following Boost libraries: -- program_options -- Not compiling detailed statistics. The system is faster without them -- Manpage will be created and installed -- Found ZLIB: /usr/lib/libz.so (found version "1.2.11") -- 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 -- Found PkgConfig: /usr/bin/pkg-config (found version "1.4.2") -- Found m4ri: /usr/lib/libm4ri.so -- OK, Found M4RI lib at /usr/lib/libm4ri.so and includes at /usr/include -- All defines at startup: -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DUSE_M4RI -- Python 3 not fully found or Python 2 has been forced -- trying Python 2.7 -- Found PythonInterp: /usr/bin/python2.7 (found suitable version "2.7.15", minimum required is "2.7") -- Found PythonLibs: /usr/lib/libpython2.7.so (found suitable version "2.7.15", minimum required is "2.7") -- Python 2.7 -- PYTHON_EXECUTABLE=/usr/bin/python2.7 -- Python 2.7 -- PYTHON_LIBRARIES=/usr/lib/libpython2.7.so -- Python 2.7 -- PYTHON_INCLUDE_DIRS=/usr/include/python2.7 -- Python 2.7 -- PYTHONLIBS_VERSION_STRING=2.7.15 -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wjump-misses-init -- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test HAVE_FLAG_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success CMake Warning at CMakeLists.txt:623 (message): Testing is disabled -- Found python interpreter, libs and header files -- Building python interface -- Python CFLAGS: '-fno-strict-aliasing -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -D_GNU_SOURCE -fPIC -fwrapv -DNDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -D_GNU_SOURCE -fPIC -fwrapv' -- Python LDFLAGS: '-lpthread -ldl -lutil' -- Python module will be installed to : '/usr' -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_Fortran_FLAGS_RELEASE INCLUDE_INSTALL_DIR LIB_INSTALL_DIR SHARE_INSTALL_PREFIX SYSCONF_INSTALL_DIR -- Build files have been written to: /builddir/build/BUILD/cryptominisat-5.6.3 + /usr/bin/make -O -j6 /usr/bin/cmake -H/builddir/build/BUILD/cryptominisat-5.6.3 -B/builddir/build/BUILD/cryptominisat-5.6.3 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/src /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color= Scanning dependencies of target CopyPublicHeaders make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/src /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake --color= Scanning dependencies of target libcryptominisat5 make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying cryptominisat_c.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/cryptominisat5/cryptominisat_c.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying cryptominisat.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/cryptominisat5/cryptominisat.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying solvertypesmini.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/cryptominisat5/solvertypesmini.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying dimacsparser.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/src/dimacsparser.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ streambuffer.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying streambuffer.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/src/streambuffer.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 10%] Built target CopyPublicHeaders make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 10%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/clauseusagestats.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 8%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/clausecleaner.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 4%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/propengine.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 12%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/prober.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/prober.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 19%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/clauseallocator.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 2%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/cnf.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/cnf.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 6%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/varreplacer.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 17%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/subsumestrengthen.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 23%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/solverconf.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 21%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/sccfinder.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 29%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/str_impl_w_impl_stamp.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 25%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/distillerlong.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 31%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/solutionextender.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 27%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/distillerlongwithimpl.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 34%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/completedetachreattacher.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 40%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/sqlstats.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 14%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/occsimplifier.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 44%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/stamp.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 42%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/implcache.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 46%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/compfinder.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 51%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/hyperengine.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 53%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/subsumeimplicit.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 55%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/datasync.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 48%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/comphandler.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 36%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/searcher.cpp /builddir/build/BUILD/cryptominisat-5.6.3/src/searcher.cpp: In member function 'CMSat::lbool CMSat::Searcher::solve(uint64_t, unsigned int)': /builddir/build/BUILD/cryptominisat-5.6.3/src/searcher.cpp:2179:22: warning: unused parameter 'upper_level_iteration_num' [-Wunused-parameter] , const unsigned upper_level_iteration_num ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 59%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/clausedumper.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 57%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/reducedb.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 68%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/features_to_reconf.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 70%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/solvefeatures.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 63%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/intree.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/intree.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 65%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/features_calc.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 78%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/GitSHA1.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 76%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/cryptominisat_c.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 72%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/searchstats.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 61%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/bva.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/bva.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 38%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solver.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/solver.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 80%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/toplevelgauss.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/toplevelgauss.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/toplevelgauss.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 82%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/cryptominisat.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 74%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/xorfinder.cpp In file included from /builddir/build/BUILD/cryptominisat-5.6.3/src/xorfinder.h:31, from /builddir/build/BUILD/cryptominisat-5.6.3/src/xorfinder.cpp:23: /builddir/build/BUILD/cryptominisat-5.6.3/src/xor.h: In member function 'std::vector CMSat::XorFinder::remove_xors_without_connecting_vars(const std::vector&)': /builddir/build/BUILD/cryptominisat-5.6.3/src/xor.h:37:7: warning: potential null pointer dereference [-Wnull-dereference] class Xor ^~~ /builddir/build/BUILD/cryptominisat-5.6.3/src/xor.h:37:7: warning: potential null pointer dereference [-Wnull-dereference] class Xor ^~~ make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 85%] Linking CXX shared library ../lib/libcryptominisat5.so cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libcryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -shared -Wl,-soname,libcryptominisat5.so.5.6 -o ../lib/libcryptominisat5.so.5.6 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/distillerlong.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/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/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/toplevelgauss.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o /usr/lib/libm4ri.so -pthread cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.6 ../lib/libcryptominisat5.so.5.6 ../lib/libcryptominisat5.so make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 85%] Built target libcryptominisat5 make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend /usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/python /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/pycryptosat /builddir/build/BUILD/cryptominisat-5.6.3/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color= Scanning dependencies of target python_interface make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/src /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color= Scanning dependencies of target cryptominisat5 make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/src /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake --color= Scanning dependencies of target cryptominisat5_simple make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 95%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/signalcode.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 89%] Generating build/timestamp cd /builddir/build/BUILD/cryptominisat-5.6.3/pycryptosat && /usr/bin/python2.7 setup.py build_ext --inplace --rpath ../lib running build_ext building 'pycryptosat' extension creating build creating build/temp.linux-i686-2.7 creating build/temp.linux-i686-2.7/builddir creating build/temp.linux-i686-2.7/builddir/build creating build/temp.linux-i686-2.7/builddir/build/BUILD creating build/temp.linux-i686-2.7/builddir/build/BUILD/cryptominisat-5.6.3 creating build/temp.linux-i686-2.7/builddir/build/BUILD/cryptominisat-5.6.3/python creating build/temp.linux-i686-2.7/builddir/build/BUILD/cryptominisat-5.6.3/python/src /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fPIC -DLIBRARY_VERSION="5.6.3" -I/usr/include/python2.7 -c /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp -o build/temp.linux-i686-2.7/builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.o -fno-strict-aliasing -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -D_GNU_SOURCE -fPIC -fwrapv -DNDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -D_GNU_SOURCE -fPIC -fwrapv -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /usr/bin/c++ -pthread -shared -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection build/temp.linux-i686-2.7/builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.o -L. -L/builddir/build/BUILD/cryptominisat-5.6.3/lib -L/usr/lib -Wl,-R../lib -lcryptominisat5 -lpython2.7 -o /builddir/build/BUILD/cryptominisat-5.6.3/pycryptosat/pycryptosat.so -lpthread -ldl -lutil make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'int parse_clause(Solver*, PyObject*, std::vector&)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:179:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare] if (var >= self->cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'int parse_xor_clause(Solver*, PyObject*, std::vector&)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:222:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare] if (var >= self->cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'PyObject* get_next_small_clause(Solver*, PyObject*, PyObject*)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:265:15: warning: unused variable 'max_len' [-Wunused-variable] PyObject *max_len; ^~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'PyObject* end_getting_small_clauses(Solver*, PyObject*, PyObject*)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:299:15: warning: unused variable 'max_len' [-Wunused-variable] PyObject *max_len; ^~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:515:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare] if (var >= cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: At global scope: /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:839:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, ^~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:840:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, ^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:841:35: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, ^~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:842:37: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, ^~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:843:31: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, ^~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:845:39: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, ^~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:846:38: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, ^~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:848:51: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:849:45: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, ^~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:850:49: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~ make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 95%] Built target python_interface make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/main_exe.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 93%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/main_simple.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 97%] Linking CXX executable ../cryptominisat5_simple cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -rdynamic CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -o ../cryptominisat5_simple -Wl,-rpath,/builddir/build/BUILD/cryptominisat-5.6.3/lib: ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so /usr/lib/libm4ri.so -pthread make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 97%] Built target cryptominisat5_simple make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake --color= Scanning dependencies of target man_cms5_simple make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' help2man --version-string=5.6.3 --help-option="-h" /builddir/build/BUILD/cryptominisat-5.6.3/cryptominisat5_simple -o /builddir/build/BUILD/cryptominisat-5.6.3/cryptominisat5_simple.1 make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 97%] Built target man_cms5_simple make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main.cpp.o cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/main.cpp.o -c /builddir/build/BUILD/cryptominisat-5.6.3/src/main.cpp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [100%] Linking CXX executable ../cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -rdynamic CMakeFiles/cryptominisat5.dir/main.cpp.o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -o ../cryptominisat5 -Wl,-rpath,/builddir/build/BUILD/cryptominisat-5.6.3/lib: ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so /usr/lib/libboost_program_options.so /usr/lib/libm4ri.so -pthread make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [100%] Built target cryptominisat5 make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles/man_cms5.dir/DependInfo.cmake --color= Scanning dependencies of target man_cms5 make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' help2man --version-string=5.6.3 --help-option="--hhelp" /builddir/build/BUILD/cryptominisat-5.6.3/cryptominisat5 -o /builddir/build/BUILD/cryptominisat-5.6.3/cryptominisat5.1 make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [100%] Built target man_cms5 make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles 0 + pushd ../python3 ~/build/BUILD/python3 ~/build/BUILD/cryptominisat-5.6.3 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + /usr/bin/cmake -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_Fortran_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON -DCMAKE_INSTALL_PREFIX:PATH=/usr -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DBUILD_SHARED_LIBS:BOOL=ON -DCMAKE_INSTALL_LIBDIR=lib -- LIB directory is 'lib' -- BIN directory is 'bin' -- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel -- Doing a RelWithDebInfo build -- The C compiler identification is GNU 8.1.1 -- The CXX compiler identification is GNU 8.1.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 -- Looking for pthread.h -- Looking for pthread.h - found -- Looking for pthread_create -- Looking for pthread_create - not found -- Check if compiler accepts -pthread -- Check if compiler accepts -pthread - yes -- Found Threads: TRUE -- build type is RelWithDebInfo -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Failed -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- Compiling for dynamic library use -- PROJECT_VERSION: 5.6.3 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 6 -- PROJECT_VERSION_PATCH: 3 -- Boost version: 1.66.0 -- Found the following Boost libraries: -- program_options -- Not compiling detailed statistics. The system is faster without them -- Manpage will be created and installed -- Found ZLIB: /usr/lib/libz.so (found version "1.2.11") -- 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 -- Found PkgConfig: /usr/bin/pkg-config (found version "1.4.2") -- Found m4ri: /usr/lib/libm4ri.so -- OK, Found M4RI lib at /usr/lib/libm4ri.so and includes at /usr/include -- All defines at startup: -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DUSE_M4RI -- Found PythonInterp: /usr/bin/python3 (found suitable version "3.6.5", minimum required is "3") -- Found PythonLibs: /usr/lib/libpython3.6m.so (found suitable version "3.6.5", minimum required is "3") -- Python 3 -- PYTHON_EXECUTABLE=/usr/bin/python3 -- Python 3 -- PYTHON_LIBRARIES=/usr/lib/libpython3.6m.so -- Python 3 -- PYTHON_INCLUDE_DIRS=/usr/include/python3.6m -- Python 3 -- PYTHONLIBS_VERSION_STRING=3.6.5 -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wjump-misses-init -- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test HAVE_FLAG_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success CMake Warning at CMakeLists.txt:623 (message): Testing is disabled -- Found python interpreter, libs and header files -- Building python interface -- Python CFLAGS: '-Wno-unused-result -Wsign-compare -DDYNAMIC_ANNOTATIONS_ENABLED=1 -DNDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -mcet -fcf-protection -D_GNU_SOURCE -fPIC -fwrapv' -- Python LDFLAGS: '-lpthread -ldl -lutil' -- Python module will be installed to : '/usr' -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_Fortran_FLAGS_RELEASE INCLUDE_INSTALL_DIR LIB_INSTALL_DIR SHARE_INSTALL_PREFIX SYSCONF_INSTALL_DIR -- Build files have been written to: /builddir/build/BUILD/python3 + /usr/bin/make -O -j6 /usr/bin/cmake -H/builddir/build/BUILD/python3 -B/builddir/build/BUILD/python3 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/python3/CMakeFiles /builddir/build/BUILD/python3/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/src /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/cmsat5-src /builddir/build/BUILD/python3/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color= Scanning dependencies of target CopyPublicHeaders make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/src /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/cmsat5-src /builddir/build/BUILD/python3/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake --color= Scanning dependencies of target libcryptominisat5 make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying cryptominisat_c.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/cmsat5-src/cryptominisat5/cryptominisat_c.h /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying cryptominisat.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/cmsat5-src/cryptominisat5/cryptominisat.h /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying solvertypesmini.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/cmsat5-src/cryptominisat5/solvertypesmini.h /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying dimacsparser.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/src/dimacsparser.h /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ streambuffer.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying streambuffer.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/src/streambuffer.h /builddir/build/BUILD/python3/include/cryptominisat5 make[2]: Leaving directory '/builddir/build/BUILD/python3' make[1]: Entering directory '/builddir/build/BUILD/python3' [ 10%] Built target CopyPublicHeaders make[1]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 6%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o -c /builddir/build/BUILD/python3/src/clauseusagestats.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 4%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o -c /builddir/build/BUILD/python3/src/clausecleaner.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 8%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o -c /builddir/build/BUILD/python3/src/propengine.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 12%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/prober.cpp.o -c /builddir/build/BUILD/python3/src/prober.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 19%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o -c /builddir/build/BUILD/python3/src/clauseallocator.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 2%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/cnf.cpp.o -c /builddir/build/BUILD/python3/src/cnf.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 10%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o -c /builddir/build/BUILD/python3/src/varreplacer.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 17%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o -c /builddir/build/BUILD/python3/src/subsumestrengthen.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 23%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o -c /builddir/build/BUILD/python3/src/solverconf.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 21%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o -c /builddir/build/BUILD/python3/src/sccfinder.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 25%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o -c /builddir/build/BUILD/python3/src/distillerlong.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 29%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /builddir/build/BUILD/python3/src/str_impl_w_impl_stamp.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 27%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o -c /builddir/build/BUILD/python3/src/distillerlongwithimpl.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 31%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o -c /builddir/build/BUILD/python3/src/solutionextender.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 34%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o -c /builddir/build/BUILD/python3/src/completedetachreattacher.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 40%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o -c /builddir/build/BUILD/python3/src/sqlstats.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 14%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o -c /builddir/build/BUILD/python3/src/occsimplifier.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 44%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o -c /builddir/build/BUILD/python3/src/stamp.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 42%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o -c /builddir/build/BUILD/python3/src/implcache.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 46%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o -c /builddir/build/BUILD/python3/src/compfinder.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 51%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o -c /builddir/build/BUILD/python3/src/hyperengine.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 53%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o -c /builddir/build/BUILD/python3/src/subsumeimplicit.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 55%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o -c /builddir/build/BUILD/python3/src/datasync.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 48%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o -c /builddir/build/BUILD/python3/src/comphandler.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 36%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o -c /builddir/build/BUILD/python3/src/searcher.cpp /builddir/build/BUILD/python3/src/searcher.cpp: In member function 'CMSat::lbool CMSat::Searcher::solve(uint64_t, unsigned int)': /builddir/build/BUILD/python3/src/searcher.cpp:2179:22: warning: unused parameter 'upper_level_iteration_num' [-Wunused-parameter] , const unsigned upper_level_iteration_num ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 59%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o -c /builddir/build/BUILD/python3/src/clausedumper.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 57%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o -c /builddir/build/BUILD/python3/src/reducedb.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 70%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o -c /builddir/build/BUILD/python3/src/solvefeatures.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 68%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o -c /builddir/build/BUILD/python3/src/features_to_reconf.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 63%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/intree.cpp.o -c /builddir/build/BUILD/python3/src/intree.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 65%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o -c /builddir/build/BUILD/python3/src/features_calc.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 78%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o -c /builddir/build/BUILD/python3/cmsat5-src/GitSHA1.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 76%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o -c /builddir/build/BUILD/python3/src/cryptominisat_c.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 72%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o -c /builddir/build/BUILD/python3/src/searchstats.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 61%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/bva.cpp.o -c /builddir/build/BUILD/python3/src/bva.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 38%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solver.cpp.o -c /builddir/build/BUILD/python3/src/solver.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 80%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/toplevelgauss.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/toplevelgauss.cpp.o -c /builddir/build/BUILD/python3/src/toplevelgauss.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 74%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o -c /builddir/build/BUILD/python3/src/xorfinder.cpp In file included from /builddir/build/BUILD/python3/src/xorfinder.h:31, from /builddir/build/BUILD/python3/src/xorfinder.cpp:23: /builddir/build/BUILD/python3/src/xor.h: In member function 'std::vector CMSat::XorFinder::remove_xors_without_connecting_vars(const std::vector&)': /builddir/build/BUILD/python3/src/xor.h:37:7: warning: potential null pointer dereference [-Wnull-dereference] class Xor ^~~ /builddir/build/BUILD/python3/src/xor.h:37:7: warning: potential null pointer dereference [-Wnull-dereference] class Xor ^~~ make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 82%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o -c /builddir/build/BUILD/python3/src/cryptominisat.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 85%] Linking CXX shared library ../lib/libcryptominisat5.so cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libcryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -shared -Wl,-soname,libcryptominisat5.so.5.6 -o ../lib/libcryptominisat5.so.5.6 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/distillerlong.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/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/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/toplevelgauss.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o /usr/lib/libm4ri.so -pthread cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.6 ../lib/libcryptominisat5.so.5.6 ../lib/libcryptominisat5.so make[2]: Leaving directory '/builddir/build/BUILD/python3' make[1]: Entering directory '/builddir/build/BUILD/python3' [ 85%] Built target libcryptominisat5 make[1]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend /usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/python /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/pycryptosat /builddir/build/BUILD/python3/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color= Scanning dependencies of target python_interface make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/src /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/cmsat5-src /builddir/build/BUILD/python3/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake --color= Scanning dependencies of target cryptominisat5_simple /usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/src /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/cmsat5-src /builddir/build/BUILD/python3/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color= Scanning dependencies of target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' [ 95%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -c /builddir/build/BUILD/python3/src/signalcode.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 91%] Generating build/timestamp cd /builddir/build/BUILD/python3/pycryptosat && /usr/bin/python3 setup.py build_ext --inplace --rpath ../lib running build_ext building 'pycryptosat' extension creating build creating build/temp.linux-i686-3.6 creating build/temp.linux-i686-3.6/builddir creating build/temp.linux-i686-3.6/builddir/build creating build/temp.linux-i686-3.6/builddir/build/BUILD creating build/temp.linux-i686-3.6/builddir/build/BUILD/python3 creating build/temp.linux-i686-3.6/builddir/build/BUILD/python3/python creating build/temp.linux-i686-3.6/builddir/build/BUILD/python3/python/src /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fPIC -DLIBRARY_VERSION="5.6.3" -I/usr/include/python3.6m -c /builddir/build/BUILD/python3/python/src/pycryptosat.cpp -o build/temp.linux-i686-3.6/builddir/build/BUILD/python3/python/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DDYNAMIC_ANNOTATIONS_ENABLED=1 -DNDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -mcet -fcf-protection -D_GNU_SOURCE -fPIC -fwrapv -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src /usr/bin/c++ -pthread -shared -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -g -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -g -flto -fuse-linker-plugin -ffat-lto-objects -flto-partition=none -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection build/temp.linux-i686-3.6/builddir/build/BUILD/python3/python/src/pycryptosat.o -L. -L/builddir/build/BUILD/python3/lib -L/usr/lib -Wl,--enable-new-dtags,-R../lib -lcryptominisat5 -lpython3.6m -o /builddir/build/BUILD/python3/pycryptosat/pycryptosat.cpython-36m-i386-linux-gnu.so -lpthread -ldl -lutil /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘int parse_clause(Solver*, PyObject*, std::vector&)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:179:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] if (var >= self->cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘int parse_xor_clause(Solver*, PyObject*, std::vector&)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:222:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] if (var >= self->cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘PyObject* get_next_small_clause(Solver*, PyObject*, PyObject*)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:265:15: warning: unused variable ‘max_len’ [-Wunused-variable] PyObject *max_len; ^~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘PyObject* end_getting_small_clauses(Solver*, PyObject*, PyObject*)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:299:15: warning: unused variable ‘max_len’ [-Wunused-variable] PyObject *max_len; ^~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:515:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] if (var >= cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: At global scope: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:839:33: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, ^~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:840:33: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, ^~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:841:35: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, ^~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:842:37: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, ^~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:843:31: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, ^~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:845:39: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, ^~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:846:38: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, ^~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:848:51: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:849:45: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, ^~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:850:49: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~ make[2]: Leaving directory '/builddir/build/BUILD/python3' make[1]: Entering directory '/builddir/build/BUILD/python3' [ 95%] Built target python_interface make[1]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 93%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o -c /builddir/build/BUILD/python3/src/main_exe.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -c /builddir/build/BUILD/python3/src/main_simple.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 97%] Linking CXX executable ../cryptominisat5_simple cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -rdynamic CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -o ../cryptominisat5_simple -Wl,-rpath,/builddir/build/BUILD/python3/lib: ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so /usr/lib/libm4ri.so -pthread make[2]: Leaving directory '/builddir/build/BUILD/python3' make[1]: Entering directory '/builddir/build/BUILD/python3' [ 97%] Built target cryptominisat5_simple make[1]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake --color= Scanning dependencies of target man_cms5_simple make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' help2man --version-string=5.6.3 --help-option="-h" /builddir/build/BUILD/python3/cryptominisat5_simple -o /builddir/build/BUILD/python3/cryptominisat5_simple.1 make[2]: Leaving directory '/builddir/build/BUILD/python3' make[1]: Entering directory '/builddir/build/BUILD/python3' [ 97%] Built target man_cms5_simple make[1]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main.cpp.o cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -g -pthread -O2 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/main.cpp.o -c /builddir/build/BUILD/python3/src/main.cpp make[2]: Leaving directory '/builddir/build/BUILD/python3' make[2]: Entering directory '/builddir/build/BUILD/python3' [100%] Linking CXX executable ../cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -rdynamic CMakeFiles/cryptominisat5.dir/main.cpp.o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -o ../cryptominisat5 -Wl,-rpath,/builddir/build/BUILD/python3/lib: ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so /usr/lib/libboost_program_options.so /usr/lib/libm4ri.so -pthread make[2]: Leaving directory '/builddir/build/BUILD/python3' make[1]: Entering directory '/builddir/build/BUILD/python3' [100%] Built target cryptominisat5 make[1]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/CMakeFiles/man_cms5.dir/DependInfo.cmake --color= Scanning dependencies of target man_cms5 make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' help2man --version-string=5.6.3 --help-option="--hhelp" /builddir/build/BUILD/python3/cryptominisat5 -o /builddir/build/BUILD/python3/cryptominisat5.1 make[2]: Leaving directory '/builddir/build/BUILD/python3' make[1]: Entering directory '/builddir/build/BUILD/python3' [100%] Built target man_cms5 make[1]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/python3/CMakeFiles 0 + popd ~/build/BUILD/cryptominisat-5.6.3 + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.DpL1e4 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386 ++ dirname /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386 + cd cryptominisat-5.6.3 + pushd ../python3 ~/build/BUILD/python3 ~/build/BUILD/cryptominisat-5.6.3 + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386 'INSTALL=/usr/bin/install -p' /usr/bin/cmake -H/builddir/build/BUILD/python3 -B/builddir/build/BUILD/python3 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/python3/CMakeFiles /builddir/build/BUILD/python3/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all make[1]: Entering directory '/builddir/build/BUILD/python3' /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/src /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/cmsat5-src /builddir/build/BUILD/python3/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' make[2]: Nothing to be done for 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/python3' [ 85%] Built target libcryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/src /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/cmsat5-src /builddir/build/BUILD/python3/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' make[2]: Nothing to be done for 'cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/python3' [ 89%] Built target cryptominisat5_simple /usr/bin/make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' help2man --version-string=5.6.3 --help-option="-h" /builddir/build/BUILD/python3/cryptominisat5_simple -o /builddir/build/BUILD/python3/cryptominisat5_simple.1 make[2]: Leaving directory '/builddir/build/BUILD/python3' [ 89%] Built target man_cms5_simple /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/src /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/cmsat5-src /builddir/build/BUILD/python3/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' make[2]: Nothing to be done for 'cmsat5-src/CMakeFiles/cryptominisat5.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/python3' [ 97%] Built target cryptominisat5 /usr/bin/make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/CMakeFiles/man_cms5.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' help2man --version-string=5.6.3 --help-option="--hhelp" /builddir/build/BUILD/python3/cryptominisat5 -o /builddir/build/BUILD/python3/cryptominisat5.1 make[2]: Leaving directory '/builddir/build/BUILD/python3' [ 97%] Built target man_cms5 /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/src /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/cmsat5-src /builddir/build/BUILD/python3/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying cryptominisat_c.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/cmsat5-src/cryptominisat5/cryptominisat_c.h /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying cryptominisat.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/cmsat5-src/cryptominisat5/cryptominisat.h /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying solvertypesmini.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/cmsat5-src/cryptominisat5/solvertypesmini.h /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying dimacsparser.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/src/dimacsparser.h /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E echo Copying\ streambuffer.h\ to\ /builddir/build/BUILD/python3/include/cryptominisat5 Copying streambuffer.h to /builddir/build/BUILD/python3/include/cryptominisat5 cd /builddir/build/BUILD/python3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/python3/src/streambuffer.h /builddir/build/BUILD/python3/include/cryptominisat5 make[2]: Leaving directory '/builddir/build/BUILD/python3' [ 97%] Built target CopyPublicHeaders /usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend make[2]: Entering directory '/builddir/build/BUILD/python3' cd /builddir/build/BUILD/python3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/python /builddir/build/BUILD/python3 /builddir/build/BUILD/python3/pycryptosat /builddir/build/BUILD/python3/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build make[2]: Entering directory '/builddir/build/BUILD/python3' [100%] Generating build/timestamp cd /builddir/build/BUILD/python3/pycryptosat && /usr/bin/python3 setup.py build_ext --inplace --rpath ../lib running build_ext make[2]: Leaving directory '/builddir/build/BUILD/python3' [100%] Built target python_interface make[1]: Leaving directory '/builddir/build/BUILD/python3' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/python3/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall make[1]: Entering directory '/builddir/build/BUILD/python3' make[1]: Nothing to be done for 'preinstall'. make[1]: Leaving directory '/builddir/build/BUILD/python3' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "RelWithDebInfo" -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/man/man1/cryptominisat5.1 -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/man/man1/cryptominisat5_simple.1 -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/libcryptominisat5.so.5.6 -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/libcryptominisat5.so -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/cryptominisat_c.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/cryptominisat.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/solvertypesmini.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/dimacsparser.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/streambuffer.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5_simple -- Set runtime path of "/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5_simple" to "" -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5 -- Set runtime path of "/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5" to "" running install running build running build_ext building 'pycryptosat' extension /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -fPIC -DLIBRARY_VERSION="5.6.3" -I/usr/include/python3.6m -c /builddir/build/BUILD/python3/python/src/pycryptosat.cpp -o build/temp.linux-i686-3.6/builddir/build/BUILD/python3/python/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DDYNAMIC_ANNOTATIONS_ENABLED=1 -DNDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -mcet -fcf-protection -D_GNU_SOURCE -fPIC -fwrapv -I/builddir/build/BUILD/python3 -I/builddir/build/BUILD/python3/cmsat5-src /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘int parse_clause(Solver*, PyObject*, std::vector&)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:179:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] if (var >= self->cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘int parse_xor_clause(Solver*, PyObject*, std::vector&)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:222:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] if (var >= self->cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘PyObject* get_next_small_clause(Solver*, PyObject*, PyObject*)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:265:15: warning: unused variable ‘max_len’ [-Wunused-variable] PyObject *max_len; ^~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘PyObject* end_getting_small_clauses(Solver*, PyObject*, PyObject*)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:299:15: warning: unused variable ‘max_len’ [-Wunused-variable] PyObject *max_len; ^~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: In function ‘int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)’: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:515:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] if (var >= cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp: At global scope: /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:839:33: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, ^~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:840:33: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, ^~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:841:35: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, ^~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:842:37: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, ^~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:843:31: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, ^~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:845:39: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, ^~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:846:38: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, ^~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:848:51: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:849:45: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)��} [-Wcast-function-type] {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, ^~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/python3/python/src/pycryptosat.cpp:850:49: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~ creating build/lib.linux-i686-3.6 /usr/bin/c++ -pthread -shared -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -g -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -g -flto -fuse-linker-plugin -ffat-lto-objects -flto-partition=none build/temp.linux-i686-3.6/builddir/build/BUILD/python3/python/src/pycryptosat.o -L. -L/builddir/build/BUILD/python3/lib -L/usr/lib -lcryptominisat5 -lpython3.6m -o build/lib.linux-i686-3.6/pycryptosat.cpython-36m-i386-linux-gnu.so -lpthread -ldl -lutil running install_lib creating /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python3.6 creating /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python3.6/site-packages copying build/lib.linux-i686-3.6/pycryptosat.cpython-36m-i386-linux-gnu.so -> /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python3.6/site-packages running install_egg_info Writing /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python3.6/site-packages/pycryptosat-0.2.0-py3.6.egg-info writing list of installed files to 'files.txt' + popd ~/build/BUILD/cryptominisat-5.6.3 + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386 'INSTALL=/usr/bin/install -p' /usr/bin/cmake -H/builddir/build/BUILD/cryptominisat-5.6.3 -B/builddir/build/BUILD/cryptominisat-5.6.3 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/src /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Nothing to be done for 'cmsat5-src/CMakeFiles/libcryptominisat5.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 85%] Built target libcryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/src /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Nothing to be done for 'cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 89%] Built target cryptominisat5_simple /usr/bin/make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' help2man --version-string=5.6.3 --help-option="-h" /builddir/build/BUILD/cryptominisat-5.6.3/cryptominisat5_simple -o /builddir/build/BUILD/cryptominisat-5.6.3/cryptominisat5_simple.1 make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 89%] Built target man_cms5_simple /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/src /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[2]: Nothing to be done for 'cmsat5-src/CMakeFiles/cryptominisat5.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 97%] Built target cryptominisat5 /usr/bin/make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles/man_cms5.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' help2man --version-string=5.6.3 --help-option="--hhelp" /builddir/build/BUILD/cryptominisat-5.6.3/cryptominisat5 -o /builddir/build/BUILD/cryptominisat-5.6.3/cryptominisat5.1 make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 97%] Built target man_cms5 /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/src /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying cryptominisat_c.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/cryptominisat5/cryptominisat_c.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying cryptominisat.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/cryptominisat5/cryptominisat.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying solvertypesmini.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src/cryptominisat5/solvertypesmini.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying dimacsparser.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/src/dimacsparser.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E echo Copying\ streambuffer.h\ to\ /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 Copying streambuffer.h to /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.6.3/src/streambuffer.h /builddir/build/BUILD/cryptominisat-5.6.3/include/cryptominisat5 make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' [ 97%] Built target CopyPublicHeaders /usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' cd /builddir/build/BUILD/cryptominisat-5.6.3 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/python /builddir/build/BUILD/cryptominisat-5.6.3 /builddir/build/BUILD/cryptominisat-5.6.3/pycryptosat /builddir/build/BUILD/cryptominisat-5.6.3/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' [100%] Generating build/timestamp cd /builddir/build/BUILD/cryptominisat-5.6.3/pycryptosat && /usr/bin/python2.7 setup.py build_ext --inplace --rpath ../lib running build_ext make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' [100%] Built target python_interface make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/cryptominisat-5.6.3/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.6.3' make[1]: Nothing to be done for 'preinstall'. make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.6.3' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "RelWithDebInfo" -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/man/man1/cryptominisat5.1 -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/man/man1/cryptominisat5_simple.1 -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/libcryptominisat5.so.5.6 -- Up-to-date: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/libcryptominisat5.so -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/cryptominisat_c.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/cryptominisat.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/solvertypesmini.h -- Up-to-date: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/dimacsparser.h -- Up-to-date: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/include/cryptominisat5/streambuffer.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5_simple -- Set runtime path of "/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5_simple" to "" -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5 -- Set runtime path of "/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5" to "" running install running build running build_ext building 'pycryptosat' extension /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -fPIC -DLIBRARY_VERSION="5.6.3" -I/usr/include/python2.7 -c /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp -o build/temp.linux-i686-2.7/builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.o -fno-strict-aliasing -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -D_GNU_SOURCE -fPIC -fwrapv -DNDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -D_GNU_SOURCE -fPIC -fwrapv -I/builddir/build/BUILD/cryptominisat-5.6.3 -I/builddir/build/BUILD/cryptominisat-5.6.3/cmsat5-src /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'int parse_clause(Solver*, PyObject*, std::vector&)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:179:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare] if (var >= self->cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'int parse_xor_clause(Solver*, PyObject*, std::vector&)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:222:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare] if (var >= self->cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'PyObject* get_next_small_clause(Solver*, PyObject*, PyObject*)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:265:15: warning: unused variable 'max_len' [-Wunused-variable] PyObject *max_len; ^~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'PyObject* end_getting_small_clauses(Solver*, PyObject*, PyObject*)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:299:15: warning: unused variable 'max_len' [-Wunused-variable] PyObject *max_len; ^~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: In function 'int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)': /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:515:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare] if (var >= cmsat->nVars()) { ~~~~^~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp: At global scope: /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:839:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, ^~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:840:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, ^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:841:35: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, ^~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:842:37: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, ^~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:843:31: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, ^~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:845:39: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, ^~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:846:38: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, ^~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:848:51: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:849:45: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, ^~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.cpp:850:49: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~ creating build/lib.linux-i686-2.7 /usr/bin/c++ -pthread -shared -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld build/temp.linux-i686-2.7/builddir/build/BUILD/cryptominisat-5.6.3/python/src/pycryptosat.o -L. -L/builddir/build/BUILD/cryptominisat-5.6.3/lib -L/usr/lib -lcryptominisat5 -lpython2.7 -o build/lib.linux-i686-2.7/pycryptosat.so -lpthread -ldl -lutil running install_lib creating /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python2.7 creating /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python2.7/site-packages copying build/lib.linux-i686-2.7/pycryptosat.so -> /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python2.7/site-packages running install_egg_info Writing /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python2.7/site-packages/pycryptosat-0.2.0-py2.7.egg-info writing list of installed files to 'files.txt' + '[' /usr/lib = /usr/lib64 ']' + /usr/lib/rpm/find-debuginfo.sh -j6 --strict-build-id -m -i --build-id-seed 5.6.3-1.fc28 --unique-debug-suffix -5.6.3-1.fc28.i386 --unique-debug-src-base cryptominisat-5.6.3-1.fc28.i386 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cryptominisat-5.6.3 extracting debug info from /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/libcryptominisat5.so.5.6 extracting debug info from /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python3.6/site-packages/pycryptosat.cpython-36m-i386-linux-gnu.so extracting debug info from /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python2.7/site-packages/pycryptosat.so extracting debug info from /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5_simple extracting debug info from /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/bin/cryptominisat5 /usr/lib/rpm/sepdebugcrcfix: Updated 5 CRC32s, 0 CRC32s did match. 2609 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 Bytecompiling .py files below /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python3.6 using /usr/bin/python3.6 Bytecompiling .py files below /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/debug/usr/lib/python3.6 using /usr/bin/python3.6 Bytecompiling .py files below /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/debug/usr/lib/python2.7 using /usr/bin/python2.7 Bytecompiling .py files below /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/lib/python2.7 using /usr/bin/python2.7 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs '' '' Processing files: cryptominisat-5.6.3-1.fc28.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.hyrbC4 + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.6.3 + DOCDIR=/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/cryptominisat + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/cryptominisat + cp -pr README.markdown /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/cryptominisat + exit 0 Provides: cryptominisat = 5.6.3-1.fc28 cryptominisat(x86-32) = 5.6.3-1.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libboost_program_options.so.1.66.0 libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.4) libcryptominisat5.so.5.6 libgcc_s.so.1 libgcc_s.so.1(GCC_3.0) libgcc_s.so.1(GLIBC_2.0) libm.so.6 libm.so.6(GLIBC_2.0) libm.so.6(GLIBC_2.2) libm4ri-0.0.20140914.so libpthread.so.0 libpthread.so.0(GLIBC_2.0) libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(GLIBCXX_3.4) libstdc++.so.6(GLIBCXX_3.4.11) libstdc++.so.6(GLIBCXX_3.4.17) libstdc++.so.6(GLIBCXX_3.4.20) libstdc++.so.6(GLIBCXX_3.4.21) libstdc++.so.6(GLIBCXX_3.4.5) libstdc++.so.6(GLIBCXX_3.4.9) libz.so.1 rtld(GNU_HASH) Processing files: cryptominisat-devel-5.6.3-1.fc28.i686 Provides: cmake(cryptominisat5) cryptominisat-devel = 5.6.3-1.fc28 cryptominisat-devel(x86-32) = 5.6.3-1.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: cmake-filesystem(x86-32) libcryptominisat5.so.5.6 Processing files: cryptominisat-libs-5.6.3-1.fc28.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.6FAMn5 + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.6.3 + DOCDIR=/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/cryptominisat-libs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/cryptominisat-libs + cp -pr AUTHORS /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/cryptominisat-libs + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.Pi8va6 + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.6.3 + LICENSEDIR=/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/licenses/cryptominisat-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/licenses/cryptominisat-libs + cp -pr LICENSE.txt /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/licenses/cryptominisat-libs + exit 0 Provides: cryptominisat-libs = 5.6.3-1.fc28 cryptominisat-libs(x86-32) = 5.6.3-1.fc28 libcryptominisat5.so.5.6 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.0) libgcc_s.so.1(GCC_3.4) libgcc_s.so.1(GLIBC_2.0) libm.so.6 libm.so.6(GLIBC_2.0) libm.so.6(GLIBC_2.1) libm4ri-0.0.20140914.so libpthread.so.0 libpthread.so.0(GLIBC_2.0) libpthread.so.0(GLIBC_2.1) libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(GLIBCXX_3.4) libstdc++.so.6(GLIBCXX_3.4.11) libstdc++.so.6(GLIBCXX_3.4.14) libstdc++.so.6(GLIBCXX_3.4.20) libstdc++.so.6(GLIBCXX_3.4.21) libstdc++.so.6(GLIBCXX_3.4.22) libstdc++.so.6(GLIBCXX_3.4.9) rtld(GNU_HASH) Processing files: python2-cryptominisat-5.6.3-1.fc28.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.wszV26 + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.6.3 + DOCDIR=/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/python2-cryptominisat + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/python2-cryptominisat + cp -pr python/README.rst /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/python2-cryptominisat + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.8sJlW7 + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.6.3 + LICENSEDIR=/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/licenses/python2-cryptominisat + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/licenses/python2-cryptominisat + cp -pr python/LICENSE /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/licenses/python2-cryptominisat + exit 0 Provides: python-cryptominisat = 5.6.3-1.fc28 python-cryptominisat(x86-32) = 5.6.3-1.fc28 python2-cryptominisat = 5.6.3-1.fc28 python2-cryptominisat(x86-32) = 5.6.3-1.fc28 python2.7dist(pycryptosat) = 0.2.0 python2dist(pycryptosat) = 0.2.0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.4) libcryptominisat5.so.5.6 libdl.so.2 libgcc_s.so.1 libgcc_s.so.1(GCC_3.0) libm.so.6 libpthread.so.0 libpython2.7.so.1.0 libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(GLIBCXX_3.4) libutil.so.1 python(abi) = 2.7 rtld(GNU_HASH) Obsoletes: python-cryptominisat < 5.6.3-1.fc28 Processing files: python3-cryptominisat-5.6.3-1.fc28.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.FHwDx9 + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.6.3 + DOCDIR=/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/python3-cryptominisat + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/python3-cryptominisat + cp -pr python/README.rst /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/doc/python3-cryptominisat + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ipS09a + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.6.3 + LICENSEDIR=/builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/licenses/python3-cryptominisat + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/licenses/python3-cryptominisat + cp -pr python/LICENSE /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386/usr/share/licenses/python3-cryptominisat + exit 0 Provides: python3-cryptominisat = 5.6.3-1.fc28 python3-cryptominisat(x86-32) = 5.6.3-1.fc28 python3.6dist(pycryptosat) = 0.2.0 python3dist(pycryptosat) = 0.2.0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.4) libcryptominisat5.so.5.6 libdl.so.2 libgcc_s.so.1 libgcc_s.so.1(GCC_3.0) libm.so.6 libpthread.so.0 libpython3.6m.so.1.0 libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(GLIBCXX_3.4) libutil.so.1 python(abi) = 3.6 rtld(GNU_HASH) Processing files: cryptominisat-debugsource-5.6.3-1.fc28.i686 Provides: cryptominisat-debugsource = 5.6.3-1.fc28 cryptominisat-debugsource(x86-32) = 5.6.3-1.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cryptominisat-debuginfo-5.6.3-1.fc28.i686 Provides: cryptominisat-debuginfo = 5.6.3-1.fc28 cryptominisat-debuginfo(x86-32) = 5.6.3-1.fc28 debuginfo(build-id) = 3e362f7282c622c33c2618129336ca2e2d259157 debuginfo(build-id) = b67645ef945411c5674fbd7a6ff88fcf0dafe38a Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cryptominisat-debugsource(x86-32) = 5.6.3-1.fc28 Processing files: cryptominisat-libs-debuginfo-5.6.3-1.fc28.i686 Provides: cryptominisat-libs-debuginfo = 5.6.3-1.fc28 cryptominisat-libs-debuginfo(x86-32) = 5.6.3-1.fc28 debuginfo(build-id) = 06401aa95a47ab2c8eda10525c383f5b52541fa4 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cryptominisat-debugsource(x86-32) = 5.6.3-1.fc28 Processing files: python2-cryptominisat-debuginfo-5.6.3-1.fc28.i686 Provides: debuginfo(build-id) = 856ec90666cdce04bdbb22d8b95edd8c171e05b3 python2-cryptominisat-debuginfo = 5.6.3-1.fc28 python2-cryptominisat-debuginfo(x86-32) = 5.6.3-1.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cryptominisat-debugsource(x86-32) = 5.6.3-1.fc28 Processing files: python3-cryptominisat-debuginfo-5.6.3-1.fc28.i686 Provides: debuginfo(build-id) = 0d99ea05e3f64bffa1adede902196bc91e92a217 python3-cryptominisat-debuginfo = 5.6.3-1.fc28 python3-cryptominisat-debuginfo(x86-32) = 5.6.3-1.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cryptominisat-debugsource(x86-32) = 5.6.3-1.fc28 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386 Wrote: /builddir/build/RPMS/cryptominisat-5.6.3-1.fc28.i686.rpm Wrote: /builddir/build/RPMS/cryptominisat-devel-5.6.3-1.fc28.i686.rpm Wrote: /builddir/build/RPMS/cryptominisat-libs-5.6.3-1.fc28.i686.rpm Wrote: /builddir/build/RPMS/python2-cryptominisat-5.6.3-1.fc28.i686.rpm Wrote: /builddir/build/RPMS/python3-cryptominisat-5.6.3-1.fc28.i686.rpm Wrote: /builddir/build/RPMS/cryptominisat-debugsource-5.6.3-1.fc28.i686.rpm Wrote: /builddir/build/RPMS/cryptominisat-debuginfo-5.6.3-1.fc28.i686.rpm Wrote: /builddir/build/RPMS/cryptominisat-libs-debuginfo-5.6.3-1.fc28.i686.rpm Wrote: /builddir/build/RPMS/python2-cryptominisat-debuginfo-5.6.3-1.fc28.i686.rpm Wrote: /builddir/build/RPMS/python3-cryptominisat-debuginfo-5.6.3-1.fc28.i686.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.wWaG7j + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.6.3 + /usr/bin/rm -rf /builddir/build/BUILDROOT/cryptominisat-5.6.3-1.fc28.i386 + exit 0 Child return code was: 0