:: Synchronizing package databases... build-support-manual downloading... build-support downloading... core-staging downloading... extra-staging downloading... core-testing downloading... core downloading... extra-testing downloading... extra downloading... :: Starting full system upgrade... there is nothing to do ==> Building in chroot for [extra-staging-with-build-support] (i486)... ==> Synchronizing chroot copy [/var/lib/archbuild/extra-staging-with-build-support-i486/root] -> [build]...done ==> Making package: cryptominisat 5.11.22-3.0 (Mon Dec 23 06:18:24 2024) ==> Retrieving sources... -> Updating cryptominisat git repo... -> Updating cadiback git repo... -> Updating cadical git repo... -> Found python-system-libs.patch -> Found link-private.patch -> Found python-3.13.patch ==> Validating source files with sha256sums... cryptominisat ... Passed cadiback ... Passed cadical ... Passed python-system-libs.patch ... Passed link-private.patch ... Passed python-3.13.patch ... Passed gpg: Warning: using insecure memory! ==> Appending keys from archlinux32.gpg... gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! ==> Updating trust database... gpg: Warning: using insecure memory! gpg: next trustdb check due at 2025-01-01 ==> Making package: cryptominisat 5.11.22-3.0 (Mon Dec 23 06:18:35 2024) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (35) cppdap-1.58.0-2.0 gpm-1.20.7.r38.ge82d1a6-6.0 hicolor-icon-theme-0.18-1.0 jsoncpp-1.9.6-3.0 libuv-1.49.2-1.0 mpdecimal-4.0.0-2.153 perl-error-0.17029-7.0 perl-locale-gettext-1.07-15.0 perl-mailtools-2.22-1.0 perl-timedate-2.33-7.0 procps-ng-4.0.4-3.0 python-3.13.1-1.0 python-autocommand-2.2.2-6.0 python-fastjsonschema-2.20.0-1.0 python-jaraco.context-5.3.0-1.0 python-jaraco.functools-4.0.2-1.0 python-jaraco.text-4.0.0-1.0 python-more-itertools-10.3.0-1.0 python-ordered-set-4.1.0-5.1 python-packaging-24.2-1.0 python-platformdirs-4.3.6-1.0 python-pyproject-hooks-1.2.0-1.0 python-trove-classifiers-2024.10.21.16-1.0 python-validate-pyproject-0.22-1.0 rhash-1.4.4-1.0 vim-runtime-9.1.0866-1.0 cmake-3.30.3-2.1 git-2.47.0-1.0 help2man-1.49.3-2.0 python-build-1.2.2-1.0 python-installer-0.7.0-8.2 python-setuptools-1:69.5.1-1.1 python-tomli-2.0.1-4.1 python-wheel-0.45.0-1.0 vim-9.1.0866-1.0 Total Installed Size: 217.40 MiB :: Proceed with installation? [Y/n] checking keyring... checking package integrity... loading package files... checking for file conflicts... :: 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 qt6-base: cmake-gui installing perl-error... installing perl-timedate... installing perl-mailtools... installing git... Optional dependencies for git tk: gitk and git gui openssh: ssh transport and crypto 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-mediawiki-api: git mediawiki support perl-datetime-format-iso8601: git mediawiki support perl-lwp-protocol-https: git mediawiki https support perl-cgi: gitweb (web interface) support python: git svn & git p4 [pending] subversion: git svn org.freedesktop.secrets: keyring credential helper libsecret: libsecret credential helper [installed] installing perl-locale-gettext... installing help2man... installing mpdecimal... installing python... Optional dependencies for python python-setuptools: for building Python packages using tooling that is usually bundled with Python [pending] python-pip: for installing Python packages using tooling that is usually bundled with Python python-pipx: for installing Python software not packaged on Arch Linux sqlite: for a default database integration [installed] xz: for lzma [installed] tk: for tkinter installing python-packaging... installing python-pyproject-hooks... installing python-build... installing python-installer... installing python-more-itertools... installing python-jaraco.functools... installing python-jaraco.context... installing python-autocommand... installing python-jaraco.text... Optional dependencies for python-jaraco.text python-inflect: for show-newlines script installing python-ordered-set... installing python-platformdirs... installing python-tomli... installing python-fastjsonschema... installing python-trove-classifiers... installing python-validate-pyproject... installing python-setuptools... installing python-wheel... Optional dependencies for python-wheel python-keyring: for wheel.signatures python-xdg: for wheel.signatures python-setuptools: for legacy bdist_wheel subcommand [installed] installing vim-runtime... Optional dependencies for vim-runtime sh: support for some tools and macros [installed] python: demoserver example tool [installed] gawk: mve tools upport [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 972. Creating user 'git' (git daemon user) with UID 972 and GID 972. (2/5) Reloading system manager configuration... Skipped: Current root is not booted. (3/5) Arming ConditionNeedsUpdate... (4/5) Warn about old perl modules (5/5) Updating the info directory file... ==> Retrieving sources... -> Found python-system-libs.patch -> Found link-private.patch -> Found python-3.13.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 setup.py patching file python/tests/test_pycryptosat.py patching file src/CMakeLists.txt ==> Starting build()... configure: making default 'build' directory configure: building in default '/build/cryptominisat/src/cadical/build' configure: root directory '/build/cryptominisat/src/cadical' configure: source directory '/build/cryptominisat/src/cadical/src' configure: unlocked IO with '{putc,getc}_unlocked' seems to work configure: compiling with 'g++ -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/build/cryptominisat/src/cadical/build/makefile' configure: linking '/build/cryptominisat/src/cadical/makefile' configure: now run 'make' to compile CaDiCaL configure: optionally run 'make test' make: Entering directory '/build/cryptominisat/src/cadical/build' g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/analyze.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/arena.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/assume.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/averages.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/backtrack.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/backward.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/bins.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/block.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ccadical.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/checker.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/clause.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/collect.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/compact.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/condition.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/config.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/constrain.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/contract.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/cover.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/decide.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/decompose.cpp ../src/decompose.cpp: In member function ‘bool CaDiCaL::Internal::decompose_round()’: ../src/decompose.cpp:573:22: warning: array subscript 2 is above array bounds of ‘int [2]’ [-Warray-bounds=] 573 | c->literals[l] = clause[l]; | ~~~~~~~~~~~~~^ In file included from ../src/internal.hpp:54, from ../src/decompose.cpp:1: ../src/clause.hpp:86:9: note: while referencing ‘CaDiCaL::Clause::::literals’ 86 | int literals[2]; // Of variadic 'size' (shrunken if strengthened). | ^~~~~~~~ g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/deduplicate.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/elim.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ema.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/extend.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/external.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/external_propagate.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/file.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/flags.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/flip.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/format.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/gates.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/instantiate.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/internal.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ipasir.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/limit.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/logging.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lookahead.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lratbuilder.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lratchecker.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lucky.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/message.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/minimize.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/occs.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/options.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/parse.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/phases.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/probe.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/profile.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/proof.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/propagate.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/queue.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/random.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/reap.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/reduce.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/rephase.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/report.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/resources.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/restart.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/restore.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/score.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/shrink.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/signal.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/solution.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/solver.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/stats.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/subsume.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/terminal.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ternary.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/tracer.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/transred.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/util.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/var.cpp ../scripts/make-build-header.sh > build.hpp ../scripts/make-build-header.sh: line 81: warning: setlocale: LC_TIME: cannot change locale (en_US): No such file or directory g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/version.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/vivify.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/walk.cpp g++ -fPIC -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/watch.cpp ar rcs libcadical.a analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o elim.o ema.o extend.o external.o external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o make: Leaving directory '/build/cryptominisat/src/cadical/build' [configure] Using CADICAL='../cadical' version '1.8.0' [configure] your 'CaDiCaL' version supports 'bool flip (int lit)' [configure] Compiling with 'g++ -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -fPIC -W -O3 -std=c++17 -DNDEBUG' [configure] Generated 'makefile' (run 'make' to compile) ./generate > config.hpp g++ -march=i486 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cryptominisat/src=/usr/src/debug/cryptominisat -fPIC -W -O3 -std=c++17 -DNDEBUG -c cadiback.cpp -I../cadical/src cadiback.cpp: In function ‘int CadiBack::doit(const std::vector&, int, std::vector&)’: cadiback.cpp:1192:25: warning: format ‘%ld’ expects argument of type ‘long int’, but argument 2 has type ‘size_t’ {aka ‘unsigned int’} [-Wformat=] 1192 | msg ("BIG found %ld backbones after %.2f seconds", | ~~^ | | | long int | %d 1193 | statistics.big_backbones, time ()); | ~~~~~~~~~~~~~~~~~~~~~~~~ | | | size_t {aka unsigned int} cadiback.cpp: In instantiation of ‘void CadiBack::big_backbone(const std::vector&, const std::vector&) [with bool big_roots = true]’: cadiback.cpp:1151:28: required from here 1151 | big_backbone (f, e); | ~~~~~~~~~~~~~~~~~~~^~~~~~ cadiback.cpp:991:21: warning: format ‘%ld’ expects argument of type ‘long int’, but argument 2 has type ‘std::vector::size_type’ {aka ‘unsigned int’} [-Wformat=] 991 | msg ("BIG found %ld initial candidates", candidates.size ()); | ~~^ ~~~~~~~~~~~~~~~~~~ | | | | long int std::vector::size_type {aka unsigned int} | %d cadiback.cpp: In instantiation of ‘void CadiBack::big_backbone(const std::vector&, const std::vector&) [with bool big_roots = false]’: cadiback.cpp:1153:29: required from here 1153 | big_backbone (f, e); | ~~~~~~~~~~~~~~~~~~~~^~~~~~ cadiback.cpp:991:21: warning: format ‘%ld’ expects argument of type ‘long int’, but argument 2 has type ‘std::vector::size_type’ {aka ‘unsigned int’} [-Wformat=] 991 | msg ("BIG found %ld initial candidates", candidates.size ()); | ~~^ ~~~~~~~~~~~~~~~~~~ | | | | long int std::vector::size_type {aka unsigned int} | %d ar rcs libcadiback.a cadiback.o -- LIB directory is '' -- BIN directory is '' -- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel -- Doing a RelWithDebInfo build -- The C compiler identification is GNU 14.2.1 -- The CXX compiler identification is GNU 14.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/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/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- 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_-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 - Failed -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- 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_-mpopcnt -- Performing Test HAVE_FLAG_-mpopcnt - Success -- Performing Test HAVE_FLAG_-msse4.2 -- Performing Test HAVE_FLAG_-msse4.2 - 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 -- Compiling for dynamic library use -- GIT hash found: 8c265503cfc02eeda3fcbf101578e8eea9f398f5 -- PROJECT_VERSION: 5.11.22 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 11 -- PROJECT_VERSION_PATCH: 22 -- 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.1") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Success -- Found FPU code for yalsat: fpu_control.h, _FPU_SINGLE, _FPU_DOUBLE CMake Warning (dev) at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:441 (message): The package name passed to `find_package_handle_standard_args` (PkgConfig) does not match the name of the calling package (GMP). This can lead to problems in calling code that expects `find_package` result variables (e.g., `_FOUND`) to follow a certain pattern. Call Stack (most recent call first): /usr/share/cmake/Modules/FindPkgConfig.cmake:114 (find_package_handle_standard_args) cmake/FindGMP.cmake:1 (include) CMakeLists.txt:596 (find_package) This warning is for project developers. Use -Wno-dev to suppress it. -- Found PkgConfig: /usr/bin/pkg-config (found version "2.3.0") -- Checking for module 'gmp' -- Found gmp, version 6.3.0 -- Found GMP: /usr/lib/libgmpxx.so -- All defines at startup: -DRDB0_ONLY_FEATURES -DUSE_ZLIB -DYALSAT_FPU -- 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:700 (message): Testing is disabled -- Configuring done (3.2s) -- Generating done (0.0s) -- Build files have been written to: /build/cryptominisat/src/build [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/probe.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/backbone.cpp.o /build/cryptominisat/src/cryptominisat/src/backbone.cpp: In member function ‘bool CMSat::Solver::backbone_simpl(int64_t, bool&)’: /build/cryptominisat/src/cryptominisat/src/backbone.cpp:28:37: warning: unused parameter ‘orig_max_confl’ [-Wunused-parameter] 28 | bool Solver::backbone_simpl(int64_t orig_max_confl, bool& finished) | ~~~~~~~~^~~~~~~~~~~~~~ [ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o [ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o [ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o [ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o [ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o [ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o [ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o [ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o [ 30%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o [ 32%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o [ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o [ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o [ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o [ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o [ 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 [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o [ 67%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o [ 69%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o [ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o [ 73%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o [ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o [ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o [ 79%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o [ 81%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/mpicosat/mpicosat.c.o /build/cryptominisat/src/cryptominisat/src/mpicosat/mpicosat.c: In function ‘write_idx’: /build/cryptominisat/src/cryptominisat/src/mpicosat/mpicosat.c:6187:21: warning: format ‘%ld’ expects argument of type ‘long int’, but argument 3 has type ‘unsigned int’ [-Wformat=] 6187 | fprintf (file, "%ld", EXPORTIDX (idx)); | ~~^ | | | long int | %d [ 83%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/mpicosat/version.c.o [ 84%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o In file included from /usr/include/c++/14.2.1/string:51, from /usr/include/c++/14.2.1/bits/locale_classes.h:40, from /usr/include/c++/14.2.1/bits/ios_base.h:41, from /usr/include/c++/14.2.1/ios:44, from /usr/include/c++/14.2.1/ostream:40, from /usr/include/c++/14.2.1/iostream:41, from /build/cryptominisat/src/cryptominisat/src/oracle/oracle.h:25, from /build/cryptominisat/src/cryptominisat/src/oracle/oracle.cpp:23: In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const int; _Up = int; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]’ at /usr/include/c++/14.2.1/bits/stl_algobase.h:521:30, inlined from ‘_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]’ at /usr/include/c++/14.2.1/bits/stl_algobase.h:548:42, inlined from ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = int*]’ at /usr/include/c++/14.2.1/bits/stl_algobase.h:555:31, inlined from ‘_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = int*]’ at /usr/include/c++/14.2.1/bits/stl_algobase.h:651:7, inlined from ‘static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]’ at /usr/include/c++/14.2.1/bits/stl_uninitialized.h:147:27, inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]’ at /usr/include/c++/14.2.1/bits/stl_uninitialized.h:185:15, inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*; _Tp = int]’ at /usr/include/c++/14.2.1/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator]’ at /usr/include/c++/14.2.1/bits/stl_vector.h:606:31, inlined from ‘bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector, bool)’ at /build/cryptominisat/src/cryptominisat/src/oracle/oracle.cpp:866:16: /usr/include/c++/14.2.1/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, unsigned int)’ forming offset 4 is out of the bounds [0, 4] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o [ 88%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o [ 90%] Linking CXX shared library ../lib/libcryptominisat5.so [ 90%] Built target cryptominisat5 [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o [100%] Linking CXX executable ../cryptominisat5 [100%] Built target cryptominisat5-bin help2man: can't get `-h' info from /build/cryptominisat/src/build/cryptominisat5 Try `--no-discard-stderr' if option outputs to stderr make[2]: *** [CMakeFiles/man_cryptominisat5.dir/build.make:73: man_cryptominisat5] Error 132 make[1]: *** [CMakeFiles/Makefile2:105: CMakeFiles/man_cryptominisat5.dir/all] Error 2 make: *** [Makefile:136: all] Error 2 ==> ERROR: A failure occurred in build(). Aborting... ==> ERROR: Build failed, check /var/lib/archbuild/extra-staging-with-build-support-i486/build/build used straw: :with_build_support:without_check: build@euronuc-i486