[*] /tmp/work/math/cadical3/work/.tools/bin/mkdir build
<.> /usr/bin/mkdir -p build
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -Werror -pedantic -o ./configure-hello-world.exe ./configure-hello-world.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -Werror -pedantic -o ./configure-hello-world.exe ./configure-hello-world.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -Werror -pedantic -o ./configure-requires-c++11.exe ./configure-requires-c++11.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -Werror -pedantic -o ./configure-requires-c++11.exe ./configure-requires-c++11.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -o ./configure-have-flexible-array-members.exe ./configure-have-flexible-array-members.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -o ./configure-have-flexible-array-members.exe ./configure-have-flexible-array-members.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -o ./configure-have-unlocked-io.exe ./configure-have-unlocked-io.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -o ./configure-have-unlocked-io.exe ./configure-have-unlocked-io.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -o ./configure-have-closefrom.exe ./configure-have-closefrom.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -o ./configure-have-closefrom.exe ./configure-have-closefrom.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/analyze.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/analyze.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/arena.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/arena.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/assume.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/assume.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/averages.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/averages.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/backbone.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/backbone.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/backtrack.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/backtrack.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/backward.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/backward.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/bins.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/bins.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/block.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/block.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/ccadical.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/ccadical.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/checker.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/checker.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/clause.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/clause.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/collect.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/collect.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/compact.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/compact.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/condition.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/condition.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/config.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/config.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/congruence.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/congruence.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/constrain.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/constrain.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/contract.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/contract.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/cover.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/cover.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/decide.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/decide.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/decompose.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/decompose.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/deduplicate.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/deduplicate.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/definition.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/definition.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/drattracer.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/drattracer.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/elim.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/elim.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/elimfast.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/elimfast.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/ema.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/ema.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/extend.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/extend.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/external.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/external.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/external_propagate.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/external_propagate.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/factor.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/factor.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/file.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/file.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/flags.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/flags.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/flip.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/flip.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/format.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/format.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/frattracer.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/frattracer.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/gates.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/gates.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/idruptracer.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/idruptracer.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/instantiate.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/instantiate.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/internal.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/internal.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/ipasir.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/ipasir.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lidruptracer.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lidruptracer.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/limit.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/limit.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/logging.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/logging.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lookahead.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lookahead.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lratchecker.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lratchecker.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lrattracer.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lrattracer.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lucky.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/lucky.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/message.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/message.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/minimize.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/minimize.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/occs.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/occs.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/options.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/options.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/parse.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/parse.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/phases.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/phases.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/probe.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/probe.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/profile.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/profile.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/proof.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/proof.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/propagate.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/propagate.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/queue.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/queue.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/random.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/random.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/reap.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/reap.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/reduce.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/reduce.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/rephase.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/rephase.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/report.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/report.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/resources.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/resources.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/restart.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/restart.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/restore.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/restore.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/score.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/score.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/shrink.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/shrink.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/signal.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/signal.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/solution.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/solution.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/solver.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/solver.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/stable.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/stable.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/stats.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/stats.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/subsume.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/subsume.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/sweep.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/sweep.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/terminal.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/terminal.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/ternary.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/ternary.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/tier.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/tier.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/transred.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/transred.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/unstable.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/unstable.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/util.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/util.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/var.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/var.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/veripbtracer.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/veripbtracer.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ --version
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/vivify.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/vivify.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/walk.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/walk.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/walk_full_occs.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/walk_full_occs.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/warmup.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/warmup.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/watch.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/watch.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../contrib/craigtracer.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../contrib/craigtracer.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] cc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -I../build -I../src -x c -c ../src/kitten.c -o kitten.o
<.> /tmp/work/math/cadical3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -I../build -I../src -x c -c ../src/kitten.c -o kitten.o -gdwarf-2 -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/cadical.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/cadical.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/mobical.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/mobical.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/version.cpp
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -c ../src/version.cpp -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -o cadical cadical.o -L. libcadical.a
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -o cadical cadical.o -L. libcadical.a -I/tmp/work/math/cadical3/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-R/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -o mobical mobical.o -L. libcadical.a
<.> /tmp/work/math/cadical3/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -Wl,-rpath,/opt/pkg/lib -DNCLOSEFROM -I../build -I../src -o mobical mobical.o -L. libcadical.a -I/tmp/work/math/cadical3/work/.buildlink/include