Ticket #23533: cryptominisat-5.0.1.log

File cryptominisat-5.0.1.log, 71.5 KB (added by vdelecroix, 4 years ago)
Line 
1Found local metadata for cryptominisat-5.0.1
2Using cached file /opt/sage/upstream/cryptominisat-5.0.1.tar.gz
3cryptominisat-5.0.1
4====================================================
5Setting up build directory for cryptominisat-5.0.1
6Finished extraction
7Applying patches from ../patches...
8Applying ../patches/osx_install_nameQA.patch
9patching file src/CMakeLists.txt
10****************************************************
11Host system:
12Linux mangouste 4.11.9-1-ARCH #1 SMP PREEMPT Wed Jul 5 18:23:08 CEST 2017 x86_64 GNU/Linux
13****************************************************
14C compiler: gcc
15C compiler version:
16Using built-in specs.
17COLLECT_GCC=/usr/bin/gcc
18COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-linux-gnu/7.1.1/lto-wrapper
19Target: x86_64-pc-linux-gnu
20Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --enable-libmpx --with-system-zlib --with-isl --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object --enable-linker-build-id --enable-lto --enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-function --disable-multilib --disable-werror --enable-checking=release --enable-default-pie --enable-default-ssp
21Thread model: posix
22gcc version 7.1.1 20170630 (GCC)
23****************************************************
24-- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel
25-- Doing a RelWithDebInfo build
26-- The C compiler identification is GNU 7.1.1
27-- The CXX compiler identification is GNU 7.1.1
28-- Check for working C compiler: /usr/lib/ccache/bin/gcc
29-- Check for working C compiler: /usr/lib/ccache/bin/gcc -- works
30-- Detecting C compiler ABI info
31-- Detecting C compiler ABI info - done
32-- Detecting C compile features
33-- Detecting C compile features - done
34-- Check for working CXX compiler: /usr/lib/ccache/bin/g++
35-- Check for working CXX compiler: /usr/lib/ccache/bin/g++ -- works
36-- Detecting CXX compiler ABI info
37-- Detecting CXX compiler ABI info - done
38-- Detecting CXX compile features
39-- Detecting CXX compile features - done
40-- Building with GAUSS enabled at every level
41-- build type is RelWithDebInfo
42-- No pthread will be used
43-- Performing Test HAVE_FLAG_-Wall
44-- Performing Test HAVE_FLAG_-Wall - Success
45-- flag -Wall supported
46-- Performing Test HAVE_FLAG_-Wextra
47-- Performing Test HAVE_FLAG_-Wextra - Success
48-- flag -Wextra supported
49-- Performing Test HAVE_FLAG_-Wunused
50-- Performing Test HAVE_FLAG_-Wunused - Success
51-- flag -Wunused supported
52-- Performing Test HAVE_FLAG_-pedantic
53-- Performing Test HAVE_FLAG_-pedantic - Success
54-- flag -pedantic supported
55-- Performing Test HAVE_FLAG_-Wsign-compare
56-- Performing Test HAVE_FLAG_-Wsign-compare - Success
57-- flag -Wsign-compare supported
58-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
59-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
60-- flag -fno-omit-frame-pointer supported
61-- Performing Test HAVE_FLAG_-Wtype-limits
62-- Performing Test HAVE_FLAG_-Wtype-limits - Success
63-- flag -Wtype-limits supported
64-- Performing Test HAVE_FLAG_-Wuninitialized
65-- Performing Test HAVE_FLAG_-Wuninitialized - Success
66-- flag -Wuninitialized supported
67-- Performing Test HAVE_FLAG_-Wno-deprecated
68-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
69-- flag -Wno-deprecated supported
70-- Performing Test HAVE_FLAG_-Wstrict-aliasing
71-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
72-- flag -Wstrict-aliasing supported
73-- Performing Test HAVE_FLAG_-Wpointer-arith
74-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
75-- flag -Wpointer-arith supported
76-- Performing Test HAVE_FLAG_-Wheader-guard
77-- Performing Test HAVE_FLAG_-Wheader-guard - Failed
78-- flag -Wheader-guard NOT supported
79-- Performing Test HAVE_FLAG_-fvisibility=hidden
80-- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
81-- flag -fvisibility=hidden supported
82-- flag -Wpointer-arith supported
83-- Performing Test HAVE_FLAG_-Wformat-nonliteral
84-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
85-- flag -Wformat-nonliteral supported
86-- Performing Test HAVE_FLAG_-Winit-self
87-- Performing Test HAVE_FLAG_-Winit-self - Success
88-- flag -Winit-self supported
89-- Performing Test HAVE_FLAG_-Wparentheses
90-- Performing Test HAVE_FLAG_-Wparentheses - Success
91-- flag -Wparentheses supported
92-- Performing Test HAVE_FLAG_-Wunreachable-code
93-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
94-- flag -Wunreachable-code supported
95-- Performing Test HAVE_FLAG_-ggdb3
96-- Performing Test HAVE_FLAG_-ggdb3 - Success
97-- flag -ggdb3 supported
98-- Compiling for dynamic library use
99-- GIT hash found: 74b03027bc770db3b9a60d181682c08bd41a1f55
100-- PROJECT_VERSION: 5.0.1
101-- PROJECT_VERSION_MAJOR: 5
102-- PROJECT_VERSION_MINOR: 0
103-- PROJECT_VERSION_PATCH: 1
104-- Boost version: 1.64.0
105-- Found the following Boost libraries:
106--   program_options
107-- Looking for pthread.h
108-- Looking for pthread.h - found
109-- Looking for pthread_create
110-- Looking for pthread_create - not found
111-- Looking for pthread_create in pthreads
112-- Looking for pthread_create in pthreads - not found
113-- Looking for pthread_create in pthread
114-- Looking for pthread_create in pthread - found
115-- Found Threads: TRUE 
116-- Not compiling detailed statistics. Leads to faster system
117-- Found ZLIB: /opt/sage/local/lib/libz.so (found version "1.2.11")
118-- OK, Found ZLIB!
119-- Valgrind Prefix:
120-- Found VALGRIND: /usr/include/valgrind 
121-- Cannot find valgrind or it's disabled, we will not be able to mark memory pool objects as undefined
122-- Found PkgConfig: /opt/sage/local/bin/pkg-config (found version "0.29.2")
123-- Found m4ri: /opt/sage/local/lib/libm4ri.so 
124-- OK, Found M4RI lib at /opt/sage/local/lib/libm4ri.so and includes at /opt/sage/local/include
125-- All defines at startup:  -DUSE_GAUSS -DUSE_PTHREADS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DUSE_M4RI
126-- Found PythonInterp: /opt/sage/local/bin/python2.7 (found suitable version "2.7.13", minimum required is "2.7")
127-- Found PythonLibs: /opt/sage/local/lib/libpython2.7.so (found suitable version "2.7.13", minimum required is "2.7")
128-- PYTHON_EXECUTABLE:FILEPATH=/opt/sage/local/bin/python2.7
129-- PYTHON_LIBRARY:FILEPATH=/opt/sage/local/lib/libpython2.7.so
130-- PYTHON_INCLUDE_DIR:FILEPATH=/opt/sage/local/include/python2.7
131-- PYTHONLIBS_VERSION_STRING=2.7.13
132-- OK, found python interpreter, libs and header files
133-- Building python interface
134-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY
135-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success
136-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY
137-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success
138-- Performing Test COMPILER_HAS_DEPRECATED_ATTR
139-- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success
140CMake Warning at CMakeLists.txt:481 (message):
141  Testing is disabled
142
143
144-- Configuring done
145-- Generating done
146-- Build files have been written to: /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src
147make[2]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
148/opt/sage/local/bin/cmake -H/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -B/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src --check-build-system CMakeFiles/Makefile.cmake 0
149/opt/sage/local/bin/cmake -E cmake_progress_start /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/CMakeFiles /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/CMakeFiles/progress.marks
150make -f CMakeFiles/Makefile2 all
151make[3]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
152make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/depend
153make[4]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
154cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src && /opt/sage/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/tablestruct.dir/DependInfo.cmake --color=
155Dependee "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/tablestruct.dir/DependInfo.cmake" is newer than depender "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/tablestruct.dir/depend.internal".
156Dependee "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/tablestruct.dir/depend.internal".
157Scanning dependencies of target tablestruct
158make[4]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
159make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/build
160make[4]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
161[  1%] Generating sql_tablestructure.cpp
162xxd -i cmsat_tablestructure.sql /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/sql_tablestructure.cpp
163make[4]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
164[  1%] Built target tablestruct
165make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend
166make[4]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
167cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src && /opt/sage/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake --color=
168Dependee "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake" is newer than depender "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend.internal".
169Dependee "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend.internal".
170Scanning dependencies of target libcryptominisat5
171make[4]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
172make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build
173make[4]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
174[  3%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o
175cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/cnf.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/cnf.cpp
176[  5%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o
177cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/propengine.cpp
178[  7%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o
179cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/varreplacer.cpp
180[  8%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o
181cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/clausecleaner.cpp
182../src/clausecleaner.cpp: In member function 'bool CMSat::ClauseCleaner::satisfied(const CMSat::Clause&) const':
183../src/clausecleaner.cpp:298:5: warning: this 'for' clause does not guard... [-Wmisleading-indentation]
184     for (uint32_t i = 0; i != cl.size(); i++)
185     ^~~
186../src/clausecleaner.cpp:301:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for'
187         return false;
188         ^~~~~~
189[ 10%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o
190cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/clauseusagestats.cpp
191[ 12%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o
192cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/prober.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/prober.cpp
193[ 14%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o
194cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/occsimplifier.cpp
195[ 16%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o
196cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/subsumestrengthen.cpp
197[ 17%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o
198cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/clauseallocator.cpp
199[ 19%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o
200cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/sccfinder.cpp
201../src/sccfinder.cpp: In member function 'void CMSat::SCCFinder::tarjan(uint32_t)':
202../src/sccfinder.cpp:96:15: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
203     if (depth >= solver->conf.max_scc_depth) {
204         ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
205[ 21%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o
206cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/solverconf.cpp
207[ 23%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o
208cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/distillerallwithall.cpp
209[ 25%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o
210cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/distillerlongwithimpl.cpp
211[ 26%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o
212cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/str_impl_w_impl_stamp.cpp
213[ 28%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o
214cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/solutionextender.cpp
215[ 30%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o
216cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/completedetachreattacher.cpp
217[ 32%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o
218cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/searcher.cpp
219../src/searcher.cpp: In member function 'void CMSat::Searcher::analyze_final_confl_with_assumptions(CMSat::Lit, std::vector<CMSat::Lit>&)':
220../src/searcher.cpp:959:25: warning: this statement may fall through [-Wimplicit-fallthrough=]
221                         }
222                         ^
223../src/searcher.cpp:962:21: note: here
224                     case PropByType::binary_t: {
225                     ^~~~
226[ 33%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o
227cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/solver.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/solver.cpp
228[ 35%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o
229cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/gatefinder.cpp
230[ 37%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o
231cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/sqlstats.cpp
232[ 39%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o
233cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/implcache.cpp
234[ 41%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o
235cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/stamp.cpp
236[ 42%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o
237cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/compfinder.cpp
238[ 44%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o
239cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/comphandler.cpp
240[ 46%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o
241cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/hyperengine.cpp
242../src/hyperengine.cpp: In member function 'CMSat::Lit CMSat::HyperEngine::analyzeFail(CMSat::PropBy)':
243../src/hyperengine.cpp:821:45: warning: this statement may fall through [-Wimplicit-fallthrough=]
244                 currAncestors.push_back(lit);
245                                             ^
246../src/hyperengine.cpp:825:9: note: here
247         case binary_t: {
248         ^~~~
249[ 48%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o
250cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/subsumeimplicit.cpp
251[ 50%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o
252cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/cleaningstats.cpp
253[ 51%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o
254cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/datasync.cpp
255[ 53%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o
256cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/reducedb.cpp
257[ 55%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o
258cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/clausedumper.cpp
259[ 57%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o
260cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/bva.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/bva.cpp
261[ 58%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o
262cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/intree.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/intree.cpp
263[ 60%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o
264cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/features_calc.cpp
265[ 62%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o
266cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/features_to_reconf.cpp
267[ 64%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o
268cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/solvefeatures.cpp
269[ 66%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o
270cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/searchstats.cpp
271[ 67%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o
272cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/xorfinder.cpp
273In member function 'void CMSat::XorFinder::xor_together_xors()':
274cc1plus: warning: 'void* __builtin_memset(void*, int, long unsigned int)': specified size 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
275[ 69%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o
276cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/cryptominisat_c.cpp
277[ 71%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o
278cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/GitSHA1.cpp
279[ 73%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/gaussian.cpp.o
280cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/gaussian.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/gaussian.cpp
281[ 75%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/matrixfinder.cpp.o
282cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/matrixfinder.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/matrixfinder.cpp
283[ 76%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/toplevelgauss.cpp.o
284cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/toplevelgauss.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/toplevelgauss.cpp
285[ 78%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o
286cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -Dlibcryptominisat5_EXPORTS -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -fPIC   -o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/cryptominisat.cpp
287[ 80%] Linking CXX shared library ../lib/libcryptominisat5.so
288cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /opt/sage/local/bin/cmake -E cmake_link_script CMakeFiles/libcryptominisat5.dir/link.txt --verbose=ON
289/usr/lib/ccache/bin/g++ -fPIC  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native -L/opt/sage/local/lib -Wl,-rpath,/opt/sage/local/lib -shared -Wl,-soname,libcryptominisat5.so.5.0 -o ../lib/libcryptominisat5.so.5.0 CMakeFiles/libcryptominisat5.dir/cnf.cpp.o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/libcryptominisat5.dir/prober.cpp.o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o CMakeFiles/libcryptominisat5.dir/solver.cpp.o CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o CMakeFiles/libcryptominisat5.dir/bva.cpp.o CMakeFiles/libcryptominisat5.dir/intree.cpp.o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/libcryptominisat5.dir/gaussian.cpp.o CMakeFiles/libcryptominisat5.dir/matrixfinder.cpp.o CMakeFiles/libcryptominisat5.dir/toplevelgauss.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o -lm4ri
290cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /opt/sage/local/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.0 ../lib/libcryptominisat5.so.5.0 ../lib/libcryptominisat5.so
291make[4]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
292[ 80%] Built target libcryptominisat5
293make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend
294make[4]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
295cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src && /opt/sage/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/python /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/pycryptosat /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color=
296Dependee "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake" is newer than depender "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/pycryptosat/CMakeFiles/python_interface.dir/depend.internal".
297Dependee "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/pycryptosat/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/pycryptosat/CMakeFiles/python_interface.dir/depend.internal".
298Scanning dependencies of target python_interface
299make[4]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
300make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build
301make[4]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
302[ 82%] Generating build/timestamp
303cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/pycryptosat && /opt/sage/local/bin/python2.7 setup.py build_ext --inplace --rpath ../lib
304running build_ext
305building 'pycryptosat' extension
306creating build
307creating build/temp.linux-x86_64-2.7
308creating build/temp.linux-x86_64-2.7/opt
309creating build/temp.linux-x86_64-2.7/opt/sage
310creating build/temp.linux-x86_64-2.7/opt/sage/local
311creating build/temp.linux-x86_64-2.7/opt/sage/local/var
312creating build/temp.linux-x86_64-2.7/opt/sage/local/var/tmp
313creating build/temp.linux-x86_64-2.7/opt/sage/local/var/tmp/sage
314creating build/temp.linux-x86_64-2.7/opt/sage/local/var/tmp/sage/build
315creating build/temp.linux-x86_64-2.7/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1
316creating build/temp.linux-x86_64-2.7/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src
317creating build/temp.linux-x86_64-2.7/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/python
318gcc -g -W -Wall -Wno-deprecated -std=c++11 -fPIC -I/opt/sage/local/include/python2.7 -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/python/pycryptosat.cpp -o build/temp.linux-x86_64-2.7/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/python/pycryptosat.o -I/opt/sage/local/include/python2.7 -I/opt/sage/local/include/python2.7 -fno-strict-aliasing -g -O2 -DNDEBUG -g -fwrapv -O3 -Wall -Wno-unused -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src
319../python/pycryptosat.cpp: In function 'CMSat::SATSolver* setup_solver(PyObject*, PyObject*)':
320../python/pycryptosat.cpp:52:71: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
321     static char* kwlist[] = {"verbose", "confl_limit", "threads", NULL};
322                                                                       ^
323../python/pycryptosat.cpp:52:71: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
324../python/pycryptosat.cpp:52:71: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
325../python/pycryptosat.cpp: In function 'PyObject* add_clause(Solver*, PyObject*, PyObject*)':
326../python/pycryptosat.cpp:194:44: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
327     static char* kwlist[] = {"clause", NULL};
328                                            ^
329../python/pycryptosat.cpp: In function 'PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)':
330../python/pycryptosat.cpp:212:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
331     static char* kwlist[] = {"xor_clause", "rhs", NULL};
332                                                       ^
333../python/pycryptosat.cpp:212:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
334../python/pycryptosat.cpp: In function 'PyObject* solve(Solver*, PyObject*, PyObject*)':
335../python/pycryptosat.cpp:314:49: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
336     static char* kwlist[] = {"assumptions", NULL};
337                                                 ^
338../python/pycryptosat.cpp: At global scope:
339../python/pycryptosat.cpp:366:1: warning: missing initializer for member 'PyMethodDef::ml_flags' [-Wmissing-field-initializers]
340 };
341 ^
342../python/pycryptosat.cpp:366:1: warning: missing initializer for member 'PyMethodDef::ml_doc' [-Wmissing-field-initializers]
343../python/pycryptosat.cpp:373:1: warning: missing initializer for member 'PyMethodDef::ml_flags' [-Wmissing-field-initializers]
344 };
345 ^
346../python/pycryptosat.cpp:373:1: warning: missing initializer for member 'PyMethodDef::ml_doc' [-Wmissing-field-initializers]
347../python/pycryptosat.cpp:417:1: warning: missing initializer for member 'PyMemberDef::type' [-Wmissing-field-initializers]
348 };
349 ^
350../python/pycryptosat.cpp:417:1: warning: missing initializer for member 'PyMemberDef::offset' [-Wmissing-field-initializers]
351../python/pycryptosat.cpp:417:1: warning: missing initializer for member 'PyMemberDef::flags' [-Wmissing-field-initializers]
352../python/pycryptosat.cpp:417:1: warning: missing initializer for member 'PyMemberDef::doc' [-Wmissing-field-initializers]
353../python/pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_free' [-Wmissing-field-initializers]
354 };
355 ^
356../python/pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_is_gc' [-Wmissing-field-initializers]
357../python/pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_bases' [-Wmissing-field-initializers]
358../python/pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_mro' [-Wmissing-field-initializers]
359../python/pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_cache' [-Wmissing-field-initializers]
360../python/pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_subclasses' [-Wmissing-field-initializers]
361../python/pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_weaklist' [-Wmissing-field-initializers]
362../python/pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_del' [-Wmissing-field-initializers]
363../python/pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_version_tag' [-Wmissing-field-initializers]
364../python/pycryptosat.cpp: In function 'void initpycryptosat()':
365../python/pycryptosat.cpp:487:120: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
366     outofconflerr = PyErr_NewExceptionWithDoc("Solver.OutOfConflicts", "Ran out of the number of conflicts", NULL, NULL);
367                                                                                                                        ^
368../python/pycryptosat.cpp:487:120: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
369g++ -shared -g -W -Wall -Wno-deprecated -L/opt/sage/local/lib -Wl,-rpath,/opt/sage/local/lib build/temp.linux-x86_64-2.7/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/python/pycryptosat.o -L. -L/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/lib -L/opt/sage/local/lib -Wl,-R../lib -lcryptominisat5 -lpython2.7 -o /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/pycryptosat/pycryptosat.so -lpython2.7 -lpthread -ldl -lutil -lm -Xlinker -export-dynamic
370make[4]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
371[ 82%] Built target python_interface
372make -f cmsat5-src/CMakeFiles/scalmc.dir/build.make cmsat5-src/CMakeFiles/scalmc.dir/depend
373make[4]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
374cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src && /opt/sage/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/scalmc.dir/DependInfo.cmake --color=
375Dependee "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/scalmc.dir/DependInfo.cmake" is newer than depender "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/scalmc.dir/depend.internal".
376Dependee "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src/CMakeFiles/scalmc.dir/depend.internal".
377Scanning dependencies of target scalmc
378make[4]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
379make -f cmsat5-src/CMakeFiles/scalmc.dir/build.make cmsat5-src/CMakeFiles/scalmc.dir/build
380make[4]: Entering directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
381[ 83%] Building CXX object cmsat5-src/CMakeFiles/scalmc.dir/main.cpp.o
382cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native   -o CMakeFiles/scalmc.dir/main.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/main.cpp
383[ 85%] Building CXX object cmsat5-src/CMakeFiles/scalmc.dir/signalcode.cpp.o
384cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native   -o CMakeFiles/scalmc.dir/signalcode.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/signalcode.cpp
385[ 87%] Building CXX object cmsat5-src/CMakeFiles/scalmc.dir/scalmc.cpp.o
386cd /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src && /usr/lib/ccache/bin/g++  -DBOOST_TEST_DYN_LINK -DUSE_GAUSS -DUSE_M4RI -DUSE_PTHREADS -DUSE_ZLIB -I/opt/sage/local/include -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src -I/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/cmsat5-src  -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -fvisibility=hidden -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -mtune=native   -o CMakeFiles/scalmc.dir/scalmc.cpp.o -c /opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src/src/scalmc.cpp
387../src/scalmc.cpp: In member function 'bool CUSP::ScalApproxMC(SATCount&)':
388../src/scalmc.cpp:554:40: error: call of overloaded 'abs(uint64_t)' is ambiguous
389                 if (abs(hashCount-mPrev) <= 2 && mPrev != 0) {
390                                        ^
391In file included from /usr/include/c++/7.1.1/cstdlib:75:0,
392                 from /usr/include/c++/7.1.1/ext/string_conversions.h:41,
393                 from /usr/include/c++/7.1.1/bits/basic_string.h:6159,
394                 from /usr/include/c++/7.1.1/string:52,
395                 from /usr/include/c++/7.1.1/bits/locale_classes.h:40,
396                 from /usr/include/c++/7.1.1/bits/ios_base.h:41,
397                 from /usr/include/c++/7.1.1/ios:42,
398                 from /usr/include/c++/7.1.1/istream:38,
399                 from /usr/include/c++/7.1.1/sstream:38,
400                 from ../src/scalmc.cpp:39:
401/usr/include/stdlib.h:751:12: note: candidate: int abs(int)
402 extern int abs (int __x) __THROW __attribute__ ((__const__)) __wur;
403            ^~~
404In file included from /usr/include/c++/7.1.1/cstdlib:77:0,
405                 from /usr/include/c++/7.1.1/ext/string_conversions.h:41,
406                 from /usr/include/c++/7.1.1/bits/basic_string.h:6159,
407                 from /usr/include/c++/7.1.1/string:52,
408                 from /usr/include/c++/7.1.1/bits/locale_classes.h:40,
409                 from /usr/include/c++/7.1.1/bits/ios_base.h:41,
410                 from /usr/include/c++/7.1.1/ios:42,
411                 from /usr/include/c++/7.1.1/istream:38,
412                 from /usr/include/c++/7.1.1/sstream:38,
413                 from ../src/scalmc.cpp:39:
414/usr/include/c++/7.1.1/bits/std_abs.h:56:3: note: candidate: long int std::abs(long int)
415   abs(long __i) { return __builtin_labs(__i); }
416   ^~~
417/usr/include/c++/7.1.1/bits/std_abs.h:61:3: note: candidate: long long int std::abs(long long int)
418   abs(long long __x) { return __builtin_llabs (__x); }
419   ^~~
420/usr/include/c++/7.1.1/bits/std_abs.h:70:3: note: candidate: constexpr double std::abs(double)
421   abs(double __x)
422   ^~~
423/usr/include/c++/7.1.1/bits/std_abs.h:74:3: note: candidate: constexpr float std::abs(float)
424   abs(float __x)
425   ^~~
426/usr/include/c++/7.1.1/bits/std_abs.h:78:3: note: candidate: constexpr long double std::abs(long double)
427   abs(long double __x)
428   ^~~
429../src/scalmc.cpp:580:42: error: call of overloaded 'abs(uint64_t)' is ambiguous
430                 if (abs(hashCount - mPrev) < 2 && mPrev!=0) {
431                                          ^
432In file included from /usr/include/c++/7.1.1/cstdlib:75:0,
433                 from /usr/include/c++/7.1.1/ext/string_conversions.h:41,
434                 from /usr/include/c++/7.1.1/bits/basic_string.h:6159,
435                 from /usr/include/c++/7.1.1/string:52,
436                 from /usr/include/c++/7.1.1/bits/locale_classes.h:40,
437                 from /usr/include/c++/7.1.1/bits/ios_base.h:41,
438                 from /usr/include/c++/7.1.1/ios:42,
439                 from /usr/include/c++/7.1.1/istream:38,
440                 from /usr/include/c++/7.1.1/sstream:38,
441                 from ../src/scalmc.cpp:39:
442/usr/include/stdlib.h:751:12: note: candidate: int abs(int)
443 extern int abs (int __x) __THROW __attribute__ ((__const__)) __wur;
444            ^~~
445In file included from /usr/include/c++/7.1.1/cstdlib:77:0,
446                 from /usr/include/c++/7.1.1/ext/string_conversions.h:41,
447                 from /usr/include/c++/7.1.1/bits/basic_string.h:6159,
448                 from /usr/include/c++/7.1.1/string:52,
449                 from /usr/include/c++/7.1.1/bits/locale_classes.h:40,
450                 from /usr/include/c++/7.1.1/bits/ios_base.h:41,
451                 from /usr/include/c++/7.1.1/ios:42,
452                 from /usr/include/c++/7.1.1/istream:38,
453                 from /usr/include/c++/7.1.1/sstream:38,
454                 from ../src/scalmc.cpp:39:
455/usr/include/c++/7.1.1/bits/std_abs.h:56:3: note: candidate: long int std::abs(long int)
456   abs(long __i) { return __builtin_labs(__i); }
457   ^~~
458/usr/include/c++/7.1.1/bits/std_abs.h:61:3: note: candidate: long long int std::abs(long long int)
459   abs(long long __x) { return __builtin_llabs (__x); }
460   ^~~
461/usr/include/c++/7.1.1/bits/std_abs.h:70:3: note: candidate: constexpr double std::abs(double)
462   abs(double __x)
463   ^~~
464/usr/include/c++/7.1.1/bits/std_abs.h:74:3: note: candidate: constexpr float std::abs(float)
465   abs(float __x)
466   ^~~
467/usr/include/c++/7.1.1/bits/std_abs.h:78:3: note: candidate: constexpr long double std::abs(long double)
468   abs(long double __x)
469   ^~~
470make[4]: *** [cmsat5-src/CMakeFiles/scalmc.dir/build.make:111: cmsat5-src/CMakeFiles/scalmc.dir/scalmc.cpp.o] Error 1
471make[4]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
472make[3]: *** [CMakeFiles/Makefile2:220: cmsat5-src/CMakeFiles/scalmc.dir/all] Error 2
473make[3]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
474make[2]: *** [Makefile:130: all] Error 2
475make[2]: Leaving directory '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1/src'
476Error building cryptominisat
477
478real    0m7.376s
479user    0m6.422s
480sys     0m0.973s
481************************************************************************
482Error installing package cryptominisat-5.0.1
483************************************************************************
484Please email sage-devel (http://groups.google.com/group/sage-devel)
485explaining the problem and including the log file
486  /opt/sage/logs/pkgs/cryptominisat-5.0.1.log
487Describe your computer, operating system, etc.
488If you want to try to fix the problem yourself, *don't* just cd to
489/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1 and type 'make' or whatever is appropriate.
490Instead, the following commands setup all environment variables
491correctly and load a subshell for you to debug the error:
492  (cd '/opt/sage/local/var/tmp/sage/build/cryptominisat-5.0.1' && '/opt/sage/sage' --sh)
493When you are done debugging, you can type "exit" to leave the subshell.
494************************************************************************