==> Synchronizing chroot copy [/home/leming/armv7/root] -> [leming]...done
==> Making package: cryptominisat 5.14.7-1 (Sat Jun 27 12:40:43 2026)
==> Retrieving sources...
  -> Updating cryptominisat git repo...
  -> Updating cadiback git repo...
  -> Updating cadical git repo...
  -> Found python-build-cmake.patch
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha256sums...
    cryptominisat ... Passed
    cadiback ... Passed
    cadical ... Passed
    python-build-cmake.patch ... Passed
==> Making package: cryptominisat 5.14.7-1 (Sat Jun 27 18:41:12 2026)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...

Packages (24) cppdap-1.58.0-3  gpm-1.20.7.r38.ge82d1a6-6  hicolor-icon-theme-0.18-1  jsoncpp-1.9.6-3  libuv-1.52.1-1  ninja-1.13.2-3  perl-error-0.17030-3  perl-locale-gettext-1.07-16  perl-mailtools-2.22-3  perl-timedate-2.35-1  procps-ng-4.0.6-2  python-packaging-26.2-1  python-pathspec-1.1.1-1  python-pyproject-hooks-1.2.0-6  rhash-1.4.6-1  vim-runtime-9.2.0735-1  zlib-ng-2.3.3-1  cmake-4.3.4-1  git-2.54.0-1  help2man-1.49.3-2  python-build-1.4.3-1  python-installer-1.0.0-1  python-scikit-build-core-0.12.2-1  vim-9.2.0735-1

Total Download Size:    41.35 MiB
Total Installed Size:  205.93 MiB

:: Proceed with installation? [Y/n] 
:: Retrieving packages...
 cmake-4.3.4-1-armv7h downloading...
 git-2.54.0-1-armv7h downloading...
 vim-runtime-9.2.0735-1-armv7h downloading...
 vim-9.2.0735-1-armv7h downloading...
 procps-ng-4.0.6-2-armv7h downloading...
 python-scikit-build-core-0.12.2-1-any downloading...
 cppdap-1.58.0-3-armv7h downloading...
 libuv-1.52.1-1-armv7h downloading...
 python-packaging-26.2-1-any downloading...
 help2man-1.49.3-2-armv7h downloading...
 rhash-1.4.6-1-armv7h downloading...
 ninja-1.13.2-3-armv7h downloading...
 gpm-1.20.7.r38.ge82d1a6-6-armv7h downloading...
 jsoncpp-1.9.6-3-armv7h downloading...
 zlib-ng-2.3.3-1-armv7h downloading...
 python-pathspec-1.1.1-1-any downloading...
 perl-timedate-2.35-1-any downloading...
 perl-mailtools-2.22-3-any downloading...
 python-build-1.4.3-1-any downloading...
 python-installer-1.0.0-1-any downloading...
 python-pyproject-hooks-1.2.0-6-any downloading...
 perl-error-0.17030-3-any downloading...
 hicolor-icon-theme-0.18-1-any downloading...
 perl-locale-gettext-1.07-16-armv7h downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing cppdap...
installing hicolor-icon-theme...
installing jsoncpp...
Optional dependencies for jsoncpp
    jsoncpp-doc: documentation
installing libuv...
installing rhash...
installing cmake...
Optional dependencies for cmake
    make: for unix Makefile generator [installed]
    ninja: for ninja generator [pending]
    qt6-base: cmake-gui
installing perl-error...
installing perl-timedate...
installing perl-mailtools...
installing zlib-ng...
installing git...
Optional dependencies for git
    git-zsh-completion: upstream zsh completion
    tk: gitk and git gui
    openssh: ssh transport and crypto
    man: show help with `git command --help`
    perl-libwww: git svn
    perl-term-readkey: git svn and interactive.singlekey setting
    perl-io-socket-ssl: git send-email TLS support
    perl-authen-sasl: git send-email TLS support
    perl-cgi: gitweb (web interface) support
    python: git svn & git p4 [installed]
    subversion: git svn
    org.freedesktop.secrets: keyring credential helper
    libsecret: libsecret credential helper [installed]
    less: the default pager for git
installing perl-locale-gettext...
installing help2man...
installing python-packaging...
installing python-pyproject-hooks...
installing python-build...
Optional dependencies for python-build
    python-pip: to use as the Python package installer (default)
    python-uv: to use as the Python package installer
    python-virtualenv: to use virtualenv for build isolation
installing python-installer...
installing ninja...
installing python-pathspec...
Optional dependencies for python-pathspec
    python-google-re2: re2 backend
installing python-scikit-build-core...
installing vim-runtime...
Optional dependencies for vim-runtime
    sh: support for some tools and macros [installed]
    python: demoserver example tool [installed]
    gawk: mve tools support [installed]
installing procps-ng...
installing gpm...
installing vim...
Optional dependencies for vim
    python: Python language support [installed]
    ruby: Ruby language support
    lua: Lua language support
    perl: Perl language support [installed]
    tcl: Tcl language support
:: Running post-transaction hooks...
(1/5) Creating system user accounts...
Creating group 'git' with GID 967.
Creating user 'git' (git daemon user) with UID 967 and GID 967.
(2/5) Reloading system manager configuration...
  Skipped: Current root is not booted.
(3/5) Arming ConditionNeedsUpdate...
(4/5) Checking for old perl modules...
(5/5) Updating the info directory file...
==> Retrieving sources...
  -> Found python-build-cmake.patch
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
  -> Creating working copy of cryptominisat git repo...
Cloning into 'cryptominisat'...
done.
Switched to a new branch 'makepkg'
  -> Creating working copy of cadiback git repo...
Cloning into 'cadiback'...
done.
Switched to a new branch 'makepkg'
  -> Creating working copy of cadical git repo...
Cloning into 'cadical'...
done.
Switched to a new branch 'makepkg'
==> Starting prepare()...
patching file CMakeLists.txt
Hunk #1 succeeded at 456 with fuzz 1 (offset 1 line).
patch: setting attribute security.SMACK64 for security.SMACK64: Operation not permitted
patching file pyproject.toml
patch: setting attribute security.SMACK64 for security.SMACK64: Operation not permitted
==> Starting build()...
-- The CXX compiler identification is GNU 16.1.1
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/lib/distcc/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Performing Test HAVE_FLAG_-fvisibility=hidden
-- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
-- Performing Test HAVE_FLAG_-mpopcnt
-- Performing Test HAVE_FLAG_-mpopcnt - Failed
-- Performing Test HAVE_FLAG_-msse4.2
-- Performing Test HAVE_FLAG_-msse4.2 - Failed
-- Performing Test HAVE_FLAG_-mpclmul
-- Performing Test HAVE_FLAG_-mpclmul - Failed
-- Performing Test HAVE_FLAG_-Wall
-- Performing Test HAVE_FLAG_-Wall - Success
-- Performing Test HAVE_FLAG_-Wextra
-- Performing Test HAVE_FLAG_-Wextra - Success
-- Performing Test HAVE_FLAG_-Wunused
-- Performing Test HAVE_FLAG_-Wunused - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - Success
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- Performing Test HAVE_FLAG_-ggdb3
-- Performing Test HAVE_FLAG_-ggdb3 - Success
-- Performing Test HAVE_FLAG_-Wtype-limits
-- Performing Test HAVE_FLAG_-Wtype-limits - Success
-- Performing Test HAVE_FLAG_-Wuninitialized
-- Performing Test HAVE_FLAG_-Wuninitialized - Success
-- Performing Test HAVE_FLAG_-Wno-deprecated
-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
-- Performing Test HAVE_FLAG_-Wno-extra-semi
-- Performing Test HAVE_FLAG_-Wno-extra-semi - Success
-- Performing Test HAVE_FLAG_-Wstrict-aliasing
-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
-- Performing Test HAVE_FLAG_-Wpointer-arith
-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
-- Performing Test HAVE_FLAG_-Wheader-guard
-- Performing Test HAVE_FLAG_-Wheader-guard - Success
-- Performing Test HAVE_FLAG_-Wformat-nonliteral
-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
-- Performing Test HAVE_FLAG_-Winit-self
-- Performing Test HAVE_FLAG_-Winit-self - Success
-- Performing Test HAVE_FLAG_-Wparentheses
-- Performing Test HAVE_FLAG_-Wparentheses - Success
-- Performing Test HAVE_FLAG_-Wunreachable-code
-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
-- Configuring done (10.6s)
-- Generating done (0.1s)
-- Build files have been written to: /build/cryptominisat/src/build-cadical
[  3%] Building CXX object CMakeFiles/cadical.dir/src/arena.cpp.o
[  3%] Building CXX object CMakeFiles/cadical.dir/contrib/craigtracer.cpp.o
[  3%] Building CXX object CMakeFiles/cadical.dir/src/analyze.cpp.o
[  6%] Building CXX object CMakeFiles/cadical.dir/src/assume.cpp.o
[  6%] Building CXX object CMakeFiles/cadical.dir/src/averages.cpp.o
[  7%] Building CXX object CMakeFiles/cadical.dir/src/backtrack.cpp.o
[  8%] Building CXX object CMakeFiles/cadical.dir/src/backward.cpp.o
[  9%] Building CXX object CMakeFiles/cadical.dir/src/bins.cpp.o
[ 10%] Building CXX object CMakeFiles/cadical.dir/src/block.cpp.o
[ 12%] Building CXX object CMakeFiles/cadical.dir/src/ccadical.cpp.o
[ 13%] Building CXX object CMakeFiles/cadical.dir/src/checker.cpp.o
[ 14%] Building CXX object CMakeFiles/cadical.dir/src/clause.cpp.o
[ 15%] Building CXX object CMakeFiles/cadical.dir/src/collect.cpp.o
[ 16%] Building CXX object CMakeFiles/cadical.dir/src/compact.cpp.o
[ 18%] Building CXX object CMakeFiles/cadical.dir/src/condition.cpp.o
[ 19%] Building CXX object CMakeFiles/cadical.dir/src/config.cpp.o
[ 20%] Building CXX object CMakeFiles/cadical.dir/src/constrain.cpp.o
[ 21%] Building CXX object CMakeFiles/cadical.dir/src/contract.cpp.o
[ 22%] Building CXX object CMakeFiles/cadical.dir/src/cover.cpp.o
[ 24%] Building CXX object CMakeFiles/cadical.dir/src/decide.cpp.o
[ 25%] Building CXX object CMakeFiles/cadical.dir/src/decompose.cpp.o
[ 26%] Building CXX object CMakeFiles/cadical.dir/src/deduplicate.cpp.o
[ 27%] Building CXX object CMakeFiles/cadical.dir/src/drattracer.cpp.o
[ 28%] Building CXX object CMakeFiles/cadical.dir/src/elim.cpp.o
[ 30%] Building CXX object CMakeFiles/cadical.dir/src/ema.cpp.o
[ 31%] Building CXX object CMakeFiles/cadical.dir/src/extend.cpp.o
[ 32%] Building CXX object CMakeFiles/cadical.dir/src/external.cpp.o
[ 33%] Building CXX object CMakeFiles/cadical.dir/src/external_propagate.cpp.o
[ 34%] Building CXX object CMakeFiles/cadical.dir/src/file.cpp.o
[ 36%] Building CXX object CMakeFiles/cadical.dir/src/flags.cpp.o
[ 37%] Building CXX object CMakeFiles/cadical.dir/src/flip.cpp.o
[ 38%] Building CXX object CMakeFiles/cadical.dir/src/format.cpp.o
[ 39%] Building CXX object CMakeFiles/cadical.dir/src/frattracer.cpp.o
/build/cryptominisat/src/cadical/src/file.cpp: In static member function 'static FILE* CaDiCaL::File::open_pipe(CaDiCaL::Internal*, const char*, const char*, const char*)':
/build/cryptominisat/src/cadical/src/file.cpp:249:12: warning: format not a string literal, argument types not checked [-Wformat-nonliteral]
[ 40%] Building CXX object CMakeFiles/cadical.dir/src/gates.cpp.o
[ 42%] Building CXX object CMakeFiles/cadical.dir/src/idruptracer.cpp.o
[ 43%] Building CXX object CMakeFiles/cadical.dir/src/instantiate.cpp.o
[ 44%] Building CXX object CMakeFiles/cadical.dir/src/internal.cpp.o
[ 45%] Building CXX object CMakeFiles/cadical.dir/src/ipasir.cpp.o
[ 46%] Building CXX object CMakeFiles/cadical.dir/src/lidruptracer.cpp.o
[ 48%] Building CXX object CMakeFiles/cadical.dir/src/limit.cpp.o
[ 49%] Building CXX object CMakeFiles/cadical.dir/src/logging.cpp.o
[ 50%] Building CXX object CMakeFiles/cadical.dir/src/lookahead.cpp.o
[ 51%] Building CXX object CMakeFiles/cadical.dir/src/lratbuilder.cpp.o
[ 53%] Building CXX object CMakeFiles/cadical.dir/src/lratchecker.cpp.o
[ 54%] Building CXX object CMakeFiles/cadical.dir/src/lrattracer.cpp.o
[ 55%] Building CXX object CMakeFiles/cadical.dir/src/lucky.cpp.o
[ 56%] Building CXX object CMakeFiles/cadical.dir/src/message.cpp.o
[ 57%] Building CXX object CMakeFiles/cadical.dir/src/minimize.cpp.o
[ 59%] Building CXX object CMakeFiles/cadical.dir/src/occs.cpp.o
[ 60%] Building CXX object CMakeFiles/cadical.dir/src/options.cpp.o
[ 61%] Building CXX object CMakeFiles/cadical.dir/src/parse.cpp.o
[ 62%] Building CXX object CMakeFiles/cadical.dir/src/phases.cpp.o
[ 63%] Building CXX object CMakeFiles/cadical.dir/src/probe.cpp.o
[ 65%] Building CXX object CMakeFiles/cadical.dir/src/profile.cpp.o
[ 66%] Building CXX object CMakeFiles/cadical.dir/src/proof.cpp.o
[ 67%] Building CXX object CMakeFiles/cadical.dir/src/propagate.cpp.o
[ 68%] Building CXX object CMakeFiles/cadical.dir/src/queue.cpp.o
[ 69%] Building CXX object CMakeFiles/cadical.dir/src/random.cpp.o
/build/cryptominisat/src/cadical/src/options.cpp: In constructor 'CaDiCaL::Options::Options(CaDiCaL::Internal*)':
/build/cryptominisat/src/cadical/src/options.cpp:103:10: warning: variable 'i' set but not used [-Wunused-but-set-variable=]
[ 71%] Building CXX object CMakeFiles/cadical.dir/src/reap.cpp.o
[ 72%] Building CXX object CMakeFiles/cadical.dir/src/reduce.cpp.o
[ 73%] Building CXX object CMakeFiles/cadical.dir/src/rephase.cpp.o
[ 74%] Building CXX object CMakeFiles/cadical.dir/src/report.cpp.o
[ 75%] Building CXX object CMakeFiles/cadical.dir/src/resources.cpp.o
[ 77%] Building CXX object CMakeFiles/cadical.dir/src/restart.cpp.o
/build/cryptominisat/src/cadical/src/report.cpp: In constructor 'CaDiCaL::Report::Report(const char*, int, int, double)':
/build/cryptominisat/src/cadical/src/report.cpp:92:36: warning: format not a string literal, argument types not checked [-Wformat-nonliteral]
/build/cryptominisat/src/cadical/src/report.cpp:102:36: warning: format not a string literal, argument types not checked [-Wformat-nonliteral]
[ 78%] Building CXX object CMakeFiles/cadical.dir/src/restore.cpp.o
[ 79%] Building CXX object CMakeFiles/cadical.dir/src/score.cpp.o
[ 80%] Building CXX object CMakeFiles/cadical.dir/src/shrink.cpp.o
[ 81%] Building CXX object CMakeFiles/cadical.dir/src/signal.cpp.o
[ 83%] Building CXX object CMakeFiles/cadical.dir/src/solution.cpp.o
[ 84%] Building CXX object CMakeFiles/cadical.dir/src/solver.cpp.o
[ 85%] Building CXX object CMakeFiles/cadical.dir/src/stats.cpp.o
[ 86%] Building CXX object CMakeFiles/cadical.dir/src/subsume.cpp.o
[ 87%] Building CXX object CMakeFiles/cadical.dir/src/terminal.cpp.o
[ 89%] Building CXX object CMakeFiles/cadical.dir/src/ternary.cpp.o
[ 90%] Building CXX object CMakeFiles/cadical.dir/src/transred.cpp.o
[ 91%] Building CXX object CMakeFiles/cadical.dir/src/util.cpp.o
[ 92%] Building CXX object CMakeFiles/cadical.dir/src/var.cpp.o
[ 93%] Building CXX object CMakeFiles/cadical.dir/src/veripbtracer.cpp.o
[ 95%] Building CXX object CMakeFiles/cadical.dir/src/version.cpp.o
[ 96%] Building CXX object CMakeFiles/cadical.dir/src/vivify.cpp.o
[ 97%] Building CXX object CMakeFiles/cadical.dir/src/walk.cpp.o
[ 98%] Building CXX object CMakeFiles/cadical.dir/src/watch.cpp.o
[100%] Linking CXX static library libcadical.a
[100%] Built target cadical
-- Install configuration: ""
-- Installing: /build/cryptominisat/src/install-cadical/usr/lib/libcadical.a
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/clause.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/proof.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/lrattracer.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/instantiate.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/queue.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/internal.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/testing.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/file.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/reluctant.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/heap.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/logging.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/bins.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/profile.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/random.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/cadical.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/limit.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/reap.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/parse.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/inttypes.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/resources.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/tracer.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/signal.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/occs.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/phases.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/frattracer.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/checker.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/range.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/vivify.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/flags.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/external.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/radix.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/terminal.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/averages.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/stats.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/config.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/idruptracer.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/level.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/lratchecker.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/drattracer.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/util.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/watch.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/var.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/format.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/options.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/arena.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/block.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/lidruptracer.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/score.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/version.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/contract.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/decompose.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/elim.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/message.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/cover.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/ema.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/veripbtracer.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/include/cadical/lratbuilder.hpp
-- Installing: /build/cryptominisat/src/install-cadical/usr/lib/cmake/cadical/cadicalTargets.cmake
-- Installing: /build/cryptominisat/src/install-cadical/usr/lib/cmake/cadical/cadicalTargets-noconfig.cmake
-- Installing: /build/cryptominisat/src/install-cadical/usr/lib/cmake/cadical/cadicalConfig.cmake
-- The CXX compiler identification is GNU 16.1.1
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/lib/distcc/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Performing Test HAVE_FLAG_-fvisibility=hidden
-- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
-- Performing Test HAVE_FLAG_-mpopcnt
-- Performing Test HAVE_FLAG_-mpopcnt - Failed
-- Performing Test HAVE_FLAG_-msse4.2
-- Performing Test HAVE_FLAG_-msse4.2 - Failed
-- Performing Test HAVE_FLAG_-mpclmul
-- Performing Test HAVE_FLAG_-mpclmul - Failed
-- Performing Test HAVE_FLAG_-Wall
-- Performing Test HAVE_FLAG_-Wall - Success
-- Performing Test HAVE_FLAG_-Wextra
-- Performing Test HAVE_FLAG_-Wextra - Success
-- Performing Test HAVE_FLAG_-Wunused
-- Performing Test HAVE_FLAG_-Wunused - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - Success
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- Performing Test HAVE_FLAG_-ggdb3
-- Performing Test HAVE_FLAG_-ggdb3 - Success
-- Performing Test HAVE_FLAG_-Wtype-limits
-- Performing Test HAVE_FLAG_-Wtype-limits - Success
-- Performing Test HAVE_FLAG_-Wuninitialized
-- Performing Test HAVE_FLAG_-Wuninitialized - Success
-- Performing Test HAVE_FLAG_-Wno-deprecated
-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
-- Performing Test HAVE_FLAG_-Wno-extra-semi
-- Performing Test HAVE_FLAG_-Wno-extra-semi - Success
-- Performing Test HAVE_FLAG_-Wstrict-aliasing
-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
-- Performing Test HAVE_FLAG_-Wpointer-arith
-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
-- Performing Test HAVE_FLAG_-Wheader-guard
-- Performing Test HAVE_FLAG_-Wheader-guard - Success
-- Performing Test HAVE_FLAG_-Wformat-nonliteral
-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
-- Performing Test HAVE_FLAG_-Winit-self
-- Performing Test HAVE_FLAG_-Winit-self - Success
-- Performing Test HAVE_FLAG_-Wparentheses
-- Performing Test HAVE_FLAG_-Wparentheses - Success
-- Performing Test HAVE_FLAG_-Wunreachable-code
-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
-- CaDiCaL: using pre-built at /build/cryptominisat/src/install-cadical/usr/lib/cmake/cadical
-- Configuring done (10.4s)
-- Generating done (0.0s)
-- Build files have been written to: /build/cryptominisat/src/build-cadiback
[ 50%] Building CXX object CMakeFiles/cadiback.dir/cadiback.cpp.o
[100%] Linking CXX static library libcadiback.a
[100%] Built target cadiback
-- Install configuration: ""
-- Installing: /build/cryptominisat/src/install-cadiback/usr/lib/libcadiback.a
-- Installing: /build/cryptominisat/src/install-cadiback/usr/include/cadiback
-- Installing: /build/cryptominisat/src/install-cadiback/usr/include/cadiback/cadiback.h
-- Installing: /build/cryptominisat/src/install-cadiback/usr/lib/cmake/cadiback/cadibackTargets.cmake
-- Installing: /build/cryptominisat/src/install-cadiback/usr/lib/cmake/cadiback/cadibackTargets-noconfig.cmake
-- Installing: /build/cryptominisat/src/install-cadiback/usr/lib/cmake/cadiback/cadibackConfig.cmake
-- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel
-- Doing a RelWithDebInfo build
-- The C compiler identification is GNU 16.1.1
-- The CXX compiler identification is GNU 16.1.1
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/lib/distcc/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/lib/distcc/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- LIB directory is 'lib'
-- BIN directory is 'bin'
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE
-- build type is RelWithDebInfo
-- Performing Test HAVE_FLAG_-fvisibility=hidden
-- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
-- Performing Test HAVE_FLAG_-msse4.2
-- Performing Test HAVE_FLAG_-msse4.2 - Failed
-- Performing Test HAVE_FLAG_-mpopcnt
-- Performing Test HAVE_FLAG_-mpopcnt - Failed
-- Performing Test HAVE_FLAG_-mpclmul
-- Performing Test HAVE_FLAG_-mpclmul - Failed
-- Performing Test HAVE_FLAG_-Wall
-- Performing Test HAVE_FLAG_-Wall - Success
-- Performing Test HAVE_FLAG_-Wextra
-- Performing Test HAVE_FLAG_-Wextra - Success
-- Performing Test HAVE_FLAG_-Wunused
-- Performing Test HAVE_FLAG_-Wunused - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - Success
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- Performing Test HAVE_FLAG_-Wtype-limits
-- Performing Test HAVE_FLAG_-Wtype-limits - Success
-- Performing Test HAVE_FLAG_-Wuninitialized
-- Performing Test HAVE_FLAG_-Wuninitialized - Success
-- Performing Test HAVE_FLAG_-Wno-deprecated
-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
-- Performing Test HAVE_FLAG_-Wstrict-aliasing
-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
-- Performing Test HAVE_FLAG_-Wpointer-arith
-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
-- Performing Test HAVE_FLAG_-Wheader-guard
-- Performing Test HAVE_FLAG_-Wheader-guard - Success
-- Performing Test HAVE_FLAG_-Wformat-nonliteral
-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
-- Performing Test HAVE_FLAG_-Winit-self
-- Performing Test HAVE_FLAG_-Winit-self - Success
-- Performing Test HAVE_FLAG_-Wparentheses
-- Performing Test HAVE_FLAG_-Wparentheses - Success
-- Performing Test HAVE_FLAG_-Wunreachable-code
-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
-- Performing Test HAVE_FLAG_-g
-- Performing Test HAVE_FLAG_-g - Success
-- Performing Test HAVE_FLAG_-Wno-class-memaccess
-- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success
-- Performing Test HAVE_FLAG_-Wextra-semi-stmt
-- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed
-- Performing Test HAVE_FLAG_-Wnoweak-vtables
-- Performing Test HAVE_FLAG_-Wnoweak-vtables - Failed
-- Performing Test HAVE_FLAG_-ggdb3
-- Performing Test HAVE_FLAG_-ggdb3 - Success
-- GIT hash found: 3c8e228e8a48e41276e8ab039f763daa08d61161
-- PROJECT_VERSION: 5.14.7
-- PROJECT_VERSION_MAJOR: 5
-- PROJECT_VERSION_MINOR: 14
-- PROJECT_VERSION_PATCH: 7
-- Not compiling detailed statistics. The system is faster without them
-- Manpage will be created and installed
-- Found ZLIB: /usr/lib/libz.so (found version "1.3.2")
-- OK, Found ZLIB!
-- CaDiCaL: using pre-built at /build/cryptominisat/src/install-cadical/usr/lib/cmake/cadical
-- CaDiBaCk: using pre-built at /build/cryptominisat/src/install-cadiback/usr/lib/cmake/cadiback
-- Performing Test HAVE__FPU_SETCW
-- Performing Test HAVE__FPU_SETCW - Failed
-- Found PkgConfig: /usr/bin/pkg-config (found version "2.5.1")
-- Checking for module 'gmp'
--   Found gmp, version 6.3.0
-- All defines at startup:  -DUSE_ZLIB
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed
-- Performing Test HAVE_FLAG_-Wlogical-op
-- Performing Test HAVE_FLAG_-Wlogical-op - Success
-- Performing Test HAVE_FLAG_-Wrestrict
-- Performing Test HAVE_FLAG_-Wrestrict - Success
-- Performing Test HAVE_FLAG_-Wnull-dereference
-- Performing Test HAVE_FLAG_-Wnull-dereference - Success
-- Performing Test HAVE_FLAG_-Wdouble-promotion
-- Performing Test HAVE_FLAG_-Wdouble-promotion - Success
-- Performing Test HAVE_FLAG_-Wshadow
-- Performing Test HAVE_FLAG_-Wshadow - Success
-- Performing Test HAVE_FLAG_-Wformat=2
-- Performing Test HAVE_FLAG_-Wformat=2 - Success
-- Performing Test HAVE_FLAG_-Wextra-semi
-- Performing Test HAVE_FLAG_-Wextra-semi - Success
-- Performing Test HAVE_FLAG_-pedantic
-- Performing Test HAVE_FLAG_-pedantic - Success
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success
CMake Warning at CMakeLists.txt:685 (message):
  Testing is disabled


-- Configuring done (19.1s)
-- Generating done (0.1s)
-- Build files have been written to: /build/cryptominisat/src/build
[  1%] Building CXX object cmsat5-src/CMakeFiles/oracle.dir/oracle/oracle.cpp.o
[  3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/probe.cpp.o
[  5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
Symlinking oracle.h to /build/cryptominisat/src/build/include/oracle
Symlinking cryptominisat_c.h to /build/cryptominisat/src/build/include/cryptominisat5
[  5%] Built target CopyPublicHeaders_oracle
[  6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o
Symlinking mpicosat.h to /build/cryptominisat/src/build/include/cryptominisat5
Symlinking cryptominisat.h to /build/cryptominisat/src/build/include/cryptominisat5
Symlinking solvertypesmini.h to /build/cryptominisat/src/build/include/cryptominisat5
Symlinking dimacsparser.h to /build/cryptominisat/src/build/include/cryptominisat5
Symlinking streambuffer.h to /build/cryptominisat/src/build/include/cryptominisat5
[  6%] Built target CopyPublicHeaders_cryptominisat5
[  8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/backbone.cpp.o
[ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
In file included from /usr/include/c++/16.1.1/vector:74,
                 from /usr/include/c++/16.1.1/bits/random.h:34,
                 from /usr/include/c++/16.1.1/random:53,
                 from /build/cryptominisat/src/cryptominisat/src/cnf.h:26,
                 from /build/cryptominisat/src/cryptominisat/src/cnf.cpp:23:
/usr/include/c++/16.1.1/bits/vector.tcc: In member function 'constexpr void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/16.1.1/bits/vector.tcc:662:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
  662 |     vector<_Tp, _Alloc>::
      |     ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/16.1.1/vector:68:
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
    inlined from 'void CMSat::CNF::enlarge_minimal_datastructs(size_t)' at /build/cryptominisat/src/cryptominisat/src/cnf.cpp:148:20:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o
[ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o
/build/cryptominisat/src/cryptominisat/src/oracle_use.cpp: In member function 'bool CMSat::Solver::oracle_vivif(int, bool&)':
/build/cryptominisat/src/cryptominisat/src/oracle_use.cpp:116:13: warning: unused variable 'mems_before_vivif' [-Wunused-variable]
/build/cryptominisat/src/cryptominisat/src/oracle_use.cpp: In member function 'bool CMSat::Solver::oracle_sparsify(bool)':
/build/cryptominisat/src/cryptominisat/src/oracle_use.cpp:480:13: warning: unused variable 'mems_before_vivif' [-Wunused-variable]
[ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o
[ 16%] Linking CXX shared library ../lib/liboracle.so
[ 16%] Built target oracle
[ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o
/build/cryptominisat/src/cryptominisat/src/clausecleaner.cpp: In member function 'bool CMSat::ClauseCleaner::clean_clause(CMSat::Clause&)':
/build/cryptominisat/src/cryptominisat/src/clausecleaner.cpp:259:14: warning: variable 'num' set but not used [-Wunused-but-set-variable=]
In file included from /usr/include/c++/16.1.1/vector:74,
                 from /usr/include/c++/16.1.1/bits/random.h:34,
                 from /usr/include/c++/16.1.1/random:53,
                 from /build/cryptominisat/src/cryptominisat/src/constants.h:28,
                 from /build/cryptominisat/src/cryptominisat/src/propengine.h:32,
                 from /build/cryptominisat/src/cryptominisat/src/propengine.cpp:23:
/usr/include/c++/16.1.1/bits/vector.tcc: In member function 'constexpr void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]':
/usr/include/c++/16.1.1/bits/vector.tcc:662:5: note: parameter passing for argument of type 'std::vector<double>::iterator' changed in GCC 7.1
  662 |     vector<_Tp, _Alloc>::
      |     ^~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/vector.tcc: In member function 'constexpr void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/16.1.1/bits/vector.tcc:662:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
In file included from /usr/include/c++/16.1.1/vector:68:
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]',
    inlined from 'virtual void CMSat::PropEngine::new_var(bool, uint32_t, bool)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:76:25:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]',
    inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:85:25:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
    inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:86:21:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o
[ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o
[ 23%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o
[ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
[ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o
[ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o
[ 30%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o
[ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o
[ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o
[ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o
[ 36%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o
[ 38%] Building CXX object cmsat5-src/CMakeFiles/oracle-bin.dir/oracle/oracle_main.cpp.o
[ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o
[ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o
[ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o
[ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o
[ 46%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o
[ 48%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o
/build/cryptominisat/src/cryptominisat/src/oracle/oracle_main.cpp:32:12: warning: 'int oracle_lit_to_dimacs(sspp::Lit)' defined but not used [-Wunused-function]
[ 50%] Linking CXX executable ../oracle
[ 50%] Built target oracle-bin
[ 51%] Building CXX object cmsat5-src/CMakeFiles/assump_fuzz_oracle.dir/oracle/assump_fuzz_oracle.cpp.o
[ 53%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o
[ 55%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o
In file included from /usr/include/c++/16.1.1/vector:74,
                 from /usr/include/c++/16.1.1/bits/random.h:34,
                 from /usr/include/c++/16.1.1/random:53,
                 from /build/cryptominisat/src/cryptominisat/src/constants.h:28,
                 from /build/cryptominisat/src/cryptominisat/src/searcher.h:25,
                 from /build/cryptominisat/src/cryptominisat/src/searcher.cpp:23:
/usr/include/c++/16.1.1/bits/vector.tcc: In member function 'constexpr void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/16.1.1/bits/vector.tcc:662:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
  662 |     vector<_Tp, _Alloc>::
      |     ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/16.1.1/vector:68:
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
    inlined from 'void CMSat::Searcher::rebuildOrderHeapVMTF(std::vector<unsigned int>&)' at /build/cryptominisat/src/cryptominisat/src/searcher.cpp:2172:21:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o
[ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o
[ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o
[ 61%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o
[ 63%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o
[ 65%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o
[ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o
[ 68%] Linking CXX executable assump_fuzz_oracle
[ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o
[ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_oracle.cpp.o
[ 73%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_oracle_pre.cpp.o
[ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o
[ 75%] Built target assump_fuzz_oracle
[ 76%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o
/build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp: In member function 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_cls()':
/build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:242:14: warning: variable 'individual_vars_bumped' set but not used [-Wunused-but-set-variable=]
In file included from /usr/include/c++/16.1.1/algorithm:63,
                 from /build/cryptominisat/src/cryptominisat/src/time_mem.h:30,
                 from /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:23:
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1770 |     __insertion_sort(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
In file included from /usr/include/c++/16.1.1/bits/stl_algo.h:61:
/usr/include/c++/16.1.1/bits/stl_heap.h: In function 'constexpr void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Distance = int; _Tp = CMSat::CCNR::clause; _Compare = ClWeightSorter]':
/usr/include/c++/16.1.1/bits/stl_heap.h:228:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
  228 |     __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
      |     ^~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Size = int; _Compare = ClWeightSorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1884 |     __introsort_loop(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h:1898:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1898 |           std::__introsort_loop(__cut, __last, __depth_limit, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]',
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_cls()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:240:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1913:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1913 |           std::__introsort_loop(__first, __last,
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
 1914 |                                 std::__lg(__last - __first) * 2,
      |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1915 |                                 __comp);
      |                                 ~~~~~~~
In function 'constexpr void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]',
    inlined from 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:1916:31,
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_cls()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:240:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1821:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1821 |           std::__insertion_sort(__first, __first + __threshold, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1826:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1826 |         std::__insertion_sort(__first, __last, __comp);
      |         ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_heap.h: In function 'constexpr void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Distance = int; _Tp = VarAndVal; _Compare = VarValSorter]':
/usr/include/c++/16.1.1/bits/stl_heap.h:228:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
  228 |     __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
      |     ^~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Size = int; _Compare = VarValSorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1884 |     __introsort_loop(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h:1898:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1898 |           std::__introsort_loop(__cut, __last, __depth_limit, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]',
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:275:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1913:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1913 |           std::__introsort_loop(__first, __last,
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
 1914 |                                 std::__lg(__last - __first) * 2,
      |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1915 |                                 __comp);
      |                                 ~~~~~~~
In function 'constexpr void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]',
    inlined from 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:1916:31,
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:275:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1821:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1821 |           std::__insertion_sort(__first, __first + __threshold, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1826:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1826 |         std::__insertion_sort(__first, __last, __comp);
      |         ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
[ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o
[ 80%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o
[ 81%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o
[ 83%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/mpicosat/mpicosat.c.o
[ 85%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/mpicosat/version.c.o
[ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o
[ 88%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o
[ 90%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o
/build/cryptominisat/src/cryptominisat/src/mpicosat/mpicosat.c: In function 'write_idx':
/build/cryptominisat/src/cryptominisat/src/mpicosat/mpicosat.c:6212:18: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat=]
[ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o
In file included from /usr/include/c++/16.1.1/algorithm:63,
                 from /build/cryptominisat/src/cryptominisat/src/solvertypes.h:28,
                 from /build/cryptominisat/src/cryptominisat/src/xor.h:25,
                 from /build/cryptominisat/src/cryptominisat/src/matrixfinder.h:29,
                 from /build/cryptominisat/src/cryptominisat/src/matrixfinder.cpp:23:
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1770 |     __insertion_sort(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
In file included from /usr/include/c++/16.1.1/bits/stl_algo.h:61:
/usr/include/c++/16.1.1/bits/stl_heap.h: In function 'constexpr void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Distance = int; _Tp = CMSat::MatrixFinder::MatrixShape; _Compare = CMSat::MatrixFinder::mysorter]':
/usr/include/c++/16.1.1/bits/stl_heap.h:228:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
  228 |     __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
      |     ^~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Size = int; _Compare = CMSat::MatrixFinder::mysorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1884 |     __introsort_loop(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h:1898:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1898 |           std::__introsort_loop(__cut, __last, __depth_limit, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]',
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'uint32_t CMSat::MatrixFinder::setup_matrices_attach_remaining_cls()' at /build/cryptominisat/src/cryptominisat/src/matrixfinder.cpp:227:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1913:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1913 |           std::__introsort_loop(__first, __last,
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
 1914 |                                 std::__lg(__last - __first) * 2,
      |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1915 |                                 __comp);
      |                                 ~~~~~~~
In function 'constexpr void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]',
    inlined from 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:1916:31,
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'uint32_t CMSat::MatrixFinder::setup_matrices_attach_remaining_cls()' at /build/cryptominisat/src/cryptominisat/src/matrixfinder.cpp:227:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1821:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1821 |           std::__insertion_sort(__first, __first + __threshold, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1826:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1826 |         std::__insertion_sort(__first, __last, __comp);
      |         ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /build/cryptominisat/src/cryptominisat/src/signalcode.cpp:25:
/build/cryptominisat/src/cryptominisat/src/cryptominisat.h:218:33: warning: declaration of 'wallclock_time_started' shadows a global declaration [-Wshadow]
In file included from /build/cryptominisat/src/cryptominisat/src/signalcode.cpp:23:
/build/cryptominisat/src/cryptominisat/src/signalcode.h:34:60: note: shadowed declaration is here
[ 93%] Linking CXX shared library ../lib/libcryptominisat5.so
[ 93%] Built target cryptominisat5
[ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o
[ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o
[ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o
[100%] Linking CXX executable ../cryptominisat5
[100%] Built target cryptominisat5-bin
[100%] Built target man_cryptominisat5
* Getting build dependencies for wheel...
* Building wheel...
*** scikit-build-core 0.12.2 using CMake 4.3.4 (wheel)
*** Configuring CMake...
loading initial cache file /tmp/tmp65lwee0w/build/CMakeInit.txt
-- Doing a Release build
-- The C compiler identification is GNU 16.1.1
-- The CXX compiler identification is GNU 16.1.1
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/lib/distcc/bin/gcc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/lib/distcc/bin/g++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- LIB directory is 'lib'
-- BIN directory is 'bin'
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE
-- build type is Release
-- Performing Test HAVE_FLAG_-fno-stack-protector
-- Performing Test HAVE_FLAG_-fno-stack-protector - Success
-- Performing Test HAVE_FLAG_-fvisibility=hidden
-- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
-- Performing Test HAVE_FLAG_-msse4.2
-- Performing Test HAVE_FLAG_-msse4.2 - Failed
-- Performing Test HAVE_FLAG_-mpopcnt
-- Performing Test HAVE_FLAG_-mpopcnt - Failed
-- Performing Test HAVE_FLAG_-mpclmul
-- Performing Test HAVE_FLAG_-mpclmul - Failed
-- GIT hash found: 3c8e228e8a48e41276e8ab039f763daa08d61161
-- PROJECT_VERSION: 5.14.7
-- PROJECT_VERSION_MAJOR: 5
-- PROJECT_VERSION_MINOR: 14
-- PROJECT_VERSION_PATCH: 7
-- Not compiling detailed statistics. The system is faster without them
-- Manpage will be created and installed
-- Found ZLIB: /usr/lib/libz.so (found version "1.3.2")
-- OK, Found ZLIB!
-- CaDiCaL: using pre-built at /build/cryptominisat/src/install-cadical/usr/lib/cmake/cadical
-- CaDiBaCk: using pre-built at /build/cryptominisat/src/install-cadiback/usr/lib/cmake/cadiback
-- Performing Test HAVE__FPU_SETCW
-- Performing Test HAVE__FPU_SETCW - Failed
-- Found PkgConfig: /usr/bin/pkg-config (found version "2.5.1")
-- Checking for module 'gmp'
--   Found gmp, version 6.3.0
-- All defines at startup:  -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_ZLIB
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed
-- Performing Test HAVE_FLAG_-Wlogical-op
-- Performing Test HAVE_FLAG_-Wlogical-op - Success
-- Performing Test HAVE_FLAG_-Wrestrict
-- Performing Test HAVE_FLAG_-Wrestrict - Success
-- Performing Test HAVE_FLAG_-Wnull-dereference
-- Performing Test HAVE_FLAG_-Wnull-dereference - Success
-- Performing Test HAVE_FLAG_-Wdouble-promotion
-- Performing Test HAVE_FLAG_-Wdouble-promotion - Success
-- Performing Test HAVE_FLAG_-Wshadow
-- Performing Test HAVE_FLAG_-Wshadow - Success
-- Performing Test HAVE_FLAG_-Wformat=2
-- Performing Test HAVE_FLAG_-Wformat=2 - Success
-- Performing Test HAVE_FLAG_-Wextra-semi
-- Performing Test HAVE_FLAG_-Wextra-semi - Success
-- Performing Test HAVE_FLAG_-pedantic
-- Performing Test HAVE_FLAG_-pedantic - Success
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success
-- Found Python: /usr/bin/python (found version "3.14.6") found components: Interpreter Development.Module
CMake Warning at CMakeLists.txt:685 (message):
  Testing is disabled


-- Configuring done (8.5s)
-- Generating done (0.1s)
-- Build files have been written to: /tmp/tmp65lwee0w/build
*** Building project with Ninja...
[1/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/probe.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[2/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/backbone.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[3/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
In file included from /usr/include/c++/16.1.1/vector:74,
                 from /usr/include/c++/16.1.1/bits/random.h:34,
                 from /usr/include/c++/16.1.1/random:53,
                 from /build/cryptominisat/src/cryptominisat/src/cnf.h:26,
                 from /build/cryptominisat/src/cryptominisat/src/cnf.cpp:23:
/usr/include/c++/16.1.1/bits/vector.tcc: In member function 'constexpr void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/16.1.1/bits/vector.tcc:662:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
  662 |     vector<_Tp, _Alloc>::
      |     ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/16.1.1/vector:68:
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
    inlined from 'void CMSat::CNF::enlarge_minimal_datastructs(size_t)' at /build/cryptominisat/src/cryptominisat/src/cnf.cpp:148:20:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[4/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
In file included from /usr/include/c++/16.1.1/vector:74,
                 from /usr/include/c++/16.1.1/bits/random.h:34,
                 from /usr/include/c++/16.1.1/random:53,
                 from /build/cryptominisat/src/cryptominisat/src/constants.h:28,
                 from /build/cryptominisat/src/cryptominisat/src/propengine.h:32,
                 from /build/cryptominisat/src/cryptominisat/src/propengine.cpp:23:
/usr/include/c++/16.1.1/bits/vector.tcc: In member function 'constexpr void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]':
/usr/include/c++/16.1.1/bits/vector.tcc:662:5: note: parameter passing for argument of type 'std::vector<double>::iterator' changed in GCC 7.1
  662 |     vector<_Tp, _Alloc>::
      |     ^~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/vector.tcc: In member function 'constexpr void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/16.1.1/bits/vector.tcc:662:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
In file included from /usr/include/c++/16.1.1/vector:68:
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]',
    inlined from 'virtual void CMSat::PropEngine::new_var(bool, uint32_t, bool)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:76:25:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]',
    inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:85:25:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
    inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:86:21:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[5/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[6/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[7/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[8/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[9/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[10/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[11/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[12/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[13/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[14/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[15/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[16/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[17/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[18/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[19/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[20/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[21/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[22/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[23/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[24/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[25/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[26/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
In file included from /usr/include/c++/16.1.1/vector:74,
                 from /usr/include/c++/16.1.1/bits/random.h:34,
                 from /usr/include/c++/16.1.1/random:53,
                 from /build/cryptominisat/src/cryptominisat/src/constants.h:28,
                 from /build/cryptominisat/src/cryptominisat/src/searcher.h:25,
                 from /build/cryptominisat/src/cryptominisat/src/searcher.cpp:23:
/usr/include/c++/16.1.1/bits/vector.tcc: In member function 'constexpr void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/16.1.1/bits/vector.tcc:662:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
  662 |     vector<_Tp, _Alloc>::
      |     ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/16.1.1/vector:68:
In member function 'constexpr std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
    inlined from 'void CMSat::Searcher::rebuildOrderHeapVMTF(std::vector<unsigned int>&)' at /build/cryptominisat/src/cryptominisat/src/searcher.cpp:2172:21:
/usr/include/c++/16.1.1/bits/stl_vector.h:1565:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >' changed in GCC 7.1
 1565 |         _M_fill_insert(begin() + __offset, __n, __x);
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[27/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[28/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[29/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[30/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[31/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[32/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[33/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[34/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[35/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[36/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_oracle_pre.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[37/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
In file included from /usr/include/c++/16.1.1/algorithm:63,
                 from /build/cryptominisat/src/cryptominisat/src/time_mem.h:30,
                 from /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:23:
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1770 |     __insertion_sort(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
In file included from /usr/include/c++/16.1.1/bits/stl_algo.h:61:
/usr/include/c++/16.1.1/bits/stl_heap.h: In function 'constexpr void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Distance = int; _Tp = CMSat::CCNR::clause; _Compare = ClWeightSorter]':
/usr/include/c++/16.1.1/bits/stl_heap.h:228:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
  228 |     __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
      |     ^~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Size = int; _Compare = ClWeightSorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1884 |     __introsort_loop(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h:1898:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1898 |           std::__introsort_loop(__cut, __last, __depth_limit, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]',
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_cls()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:240:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1913:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1913 |           std::__introsort_loop(__first, __last,
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
 1914 |                                 std::__lg(__last - __first) * 2,
      |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1915 |                                 __comp);
      |                                 ~~~~~~~
In function 'constexpr void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]',
    inlined from 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:1916:31,
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, vector<CMSat::CCNR::clause> >; _Compare = ClWeightSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_cls()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:240:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1821:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1821 |           std::__insertion_sort(__first, __first + __threshold, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1826:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::CCNR::clause*, std::vector<CMSat::CCNR::clause> >' changed in GCC 7.1
 1826 |         std::__insertion_sort(__first, __last, __comp);
      |         ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_heap.h: In function 'constexpr void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Distance = int; _Tp = VarAndVal; _Compare = VarValSorter]':
/usr/include/c++/16.1.1/bits/stl_heap.h:228:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
  228 |     __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
      |     ^~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Size = int; _Compare = VarValSorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1884 |     __introsort_loop(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h:1898:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1898 |           std::__introsort_loop(__cut, __last, __depth_limit, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]',
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:275:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1913:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1913 |           std::__introsort_loop(__first, __last,
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
 1914 |                                 std::__lg(__last - __first) * 2,
      |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1915 |                                 __comp);
      |                                 ~~~~~~~
In function 'constexpr void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]',
    inlined from 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:1916:31,
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:275:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1821:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1821 |           std::__insertion_sort(__first, __first + __threshold, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1826:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
 1826 |         std::__insertion_sort(__first, __last, __comp);
      |         ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
[38/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[39/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_oracle.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[40/67] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/mpicosat/version.c.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[41/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[42/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[43/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[44/67] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/mpicosat/mpicosat.c.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
/build/cryptominisat/src/cryptominisat/src/mpicosat/mpicosat.c: In function 'write_idx':
/build/cryptominisat/src/cryptominisat/src/mpicosat/mpicosat.c:6212:18: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat=]
[45/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[46/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
In file included from /usr/include/c++/16.1.1/algorithm:63,
                 from /build/cryptominisat/src/cryptominisat/src/solvertypes.h:28,
                 from /build/cryptominisat/src/cryptominisat/src/xor.h:25,
                 from /build/cryptominisat/src/cryptominisat/src/matrixfinder.h:29,
                 from /build/cryptominisat/src/cryptominisat/src/matrixfinder.cpp:23:
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1770 |     __insertion_sort(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
In file included from /usr/include/c++/16.1.1/bits/stl_algo.h:61:
/usr/include/c++/16.1.1/bits/stl_heap.h: In function 'constexpr void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Distance = int; _Tp = CMSat::MatrixFinder::MatrixShape; _Compare = CMSat::MatrixFinder::mysorter]':
/usr/include/c++/16.1.1/bits/stl_heap.h:228:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
  228 |     __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
      |     ^~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h: In function 'constexpr void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Size = int; _Compare = CMSat::MatrixFinder::mysorter]':
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1884 |     __introsort_loop(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1884:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
/usr/include/c++/16.1.1/bits/stl_algo.h:1898:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1898 |           std::__introsort_loop(__cut, __last, __depth_limit, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]',
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'uint32_t CMSat::MatrixFinder::setup_matrices_attach_remaining_cls()' at /build/cryptominisat/src/cryptominisat/src/matrixfinder.cpp:227:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1913:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1913 |           std::__introsort_loop(__first, __last,
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
 1914 |                                 std::__lg(__last - __first) * 2,
      |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1915 |                                 __comp);
      |                                 ~~~~~~~
In function 'constexpr void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]',
    inlined from 'constexpr void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:1916:31,
    inlined from 'constexpr void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/16.1.1/bits/stl_algo.h:4849:18,
    inlined from 'uint32_t CMSat::MatrixFinder::setup_matrices_attach_remaining_cls()' at /build/cryptominisat/src/cryptominisat/src/matrixfinder.cpp:227:14:
/usr/include/c++/16.1.1/bits/stl_algo.h:1821:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1821 |           std::__insertion_sort(__first, __first + __threshold, __comp);
      |           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/16.1.1/bits/stl_algo.h:1826:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
 1826 |         std::__insertion_sort(__first, __last, __comp);
      |         ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
[47/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
In file included from /build/cryptominisat/src/cryptominisat/src/signalcode.cpp:25:
/build/cryptominisat/src/cryptominisat/src/cryptominisat.h:218:33: warning: declaration of 'wallclock_time_started' shadows a global declaration [-Wshadow]
In file included from /build/cryptominisat/src/cryptominisat/src/signalcode.cpp:23:
/build/cryptominisat/src/cryptominisat/src/signalcode.h:34:60: note: shadowed declaration is here
[48/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[49/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[50/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[51/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[52/67] Building CXX object cmsat5-src/CMakeFiles/oracle.dir/oracle/oracle.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[53/67] Linking CXX shared library lib/liboracle.so.5.14
[54/67] Creating library symlink lib/liboracle.so
[55/67] Building CXX object CMakeFiles/pycryptosat.dir/python/src/pycryptosat.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[56/67] Running utility command for CopyPublicHeaders_oracle
Symlinking oracle.h to /tmp/tmp65lwee0w/build/include/oracle
[57/67] Running utility command for CopyPublicHeaders_cryptominisat5
Symlinking cryptominisat_c.h to /tmp/tmp65lwee0w/build/include/cryptominisat5
Symlinking mpicosat.h to /tmp/tmp65lwee0w/build/include/cryptominisat5
Symlinking cryptominisat.h to /tmp/tmp65lwee0w/build/include/cryptominisat5
Symlinking solvertypesmini.h to /tmp/tmp65lwee0w/build/include/cryptominisat5
Symlinking dimacsparser.h to /tmp/tmp65lwee0w/build/include/cryptominisat5
Symlinking streambuffer.h to /tmp/tmp65lwee0w/build/include/cryptominisat5
[58/67] Linking CXX shared library lib/libcryptominisat5.so.5.14
[59/67] Creating library symlink lib/libcryptominisat5.so
[60/67] Linking CXX shared module lib/pycryptosat.cpython-314-arm-linux-gnueabihf.so
[61/67] Building CXX object cmsat5-src/CMakeFiles/oracle-bin.dir/oracle/oracle_main.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[62/67] Linking CXX executable oracle
[63/67] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[64/67] Linking CXX executable cryptominisat5
[65/67] Running utility command for man_cryptominisat5
[66/67] Building CXX object cmsat5-src/CMakeFiles/assump_fuzz_oracle.dir/oracle/assump_fuzz_oracle.cpp.o
<command-line>: warning: ‘_FORTIFY_SOURCE’ redefined
<command-line>: note: this is the location of the previous definition
[67/67] Linking CXX executable cmsat5-src/assump_fuzz_oracle
*** Installing project into wheel...
-- Install configuration: "Release"
-- Installing: /tmp/tmp65lwee0w/wheel/platlib/./pycryptosat.cpython-314-arm-linux-gnueabihf.so
-- Set non-toolchain portion of runtime path of "/tmp/tmp65lwee0w/wheel/platlib/./pycryptosat.cpython-314-arm-linux-gnueabihf.so" to ""
*** Making wheel...
*** Created pycryptosat-5.14.7-cp314-cp314-linux_armv7l.whl
Successfully built pycryptosat-5.14.7-cp314-cp314-linux_armv7l.whl
==> Entering fakeroot environment...
==> Starting package()...
-- Install configuration: "RelWithDebInfo"
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/share/man/man1/cryptominisat5.1
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/libcryptominisat5.so.5.14
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/libcryptominisat5.so
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/cryptominisat_c.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/mpicosat.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/cryptominisat.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/solvertypesmini.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/dimacsparser.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/streambuffer.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/liboracle.so.5.14
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/liboracle.so
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/oracle/oracle.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/bin/oracle
-- Set non-toolchain portion of runtime path of "/build/cryptominisat/pkg/cryptominisat/usr/bin/oracle" to ""
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/bin/cryptominisat5
-- Set non-toolchain portion of runtime path of "/build/cryptominisat/pkg/cryptominisat/usr/bin/cryptominisat5" to ""
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
==> Tidying install...
  -> Removing libtool files...
  -> Removing static library files...
  -> Purging unwanted files...
  -> Stripping unneeded symbols from binaries and libraries...
  -> Compressing man and info pages...
==> Checking for packaging issues...
==> WARNING: Package contains reference to $srcdir
usr/lib/liboracle.so.5.14
usr/lib/libcryptominisat5.so.5.14
usr/bin/cryptominisat5
==> Creating package "cryptominisat"...
  -> Generating .PKGINFO file...
  -> Generating .BUILDINFO file...
  -> Generating .MTREE file...
  -> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: cryptominisat 5.14.7-1 (Sat Jun 27 18:45:11 2026)
==> Cleaning up...
[?12l[?25h