==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_4eaaca09-e31a-4cca-b5d8-1a3d0586b2f4]...done ==> Making package: cryptominisat 5.12.1-1.1 (Tue Feb 11 10:27:49 2025) ==> Retrieving sources... -> Cloning cryptominisat git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v4/cryptominisat-5.12.1-1/cryptominisat'... -> Cloning cadiback git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v4/cryptominisat-5.12.1-1/cadiback'... -> Cloning cadical git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v4/cryptominisat-5.12.1-1/cadical'... -> 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 ==> Making package: cryptominisat 5.12.1-1.1 (Tue Feb 11 09:28:02 2025) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Package (32) New Version Net Change extra/cppdap 1.58.0-2 1.55 MiB core/gpm 1.20.7.r38.ge82d1a6-6 0.38 MiB extra/hicolor-icon-theme 0.18-1 0.05 MiB extra/jsoncpp 1.9.6-3 0.77 MiB extra/libuv 1.50.0-1 0.61 MiB core/mpdecimal 4.0.0-2 0.32 MiB extra/perl-error 0.17029-7 0.04 MiB extra/perl-locale-gettext 1.07-15 0.09 MiB extra/perl-mailtools 2.22-1 0.10 MiB extra/perl-timedate 2.33-7 0.08 MiB core/procps-ng 4.0.5-2 2.37 MiB core/python 3.13.1-1 67.54 MiB extra/python-autocommand 2.2.2-7 0.08 MiB extra/python-jaraco.collections 5.1.0-1 0.10 MiB extra/python-jaraco.context 6.0.1-1 0.04 MiB extra/python-jaraco.functools 4.1.0-1 0.07 MiB extra/python-jaraco.text 4.0.0-2 0.08 MiB extra/python-more-itertools 10.5.0-1 0.64 MiB extra/python-packaging 24.2-3 0.66 MiB extra/python-platformdirs 4.3.6-2 0.24 MiB extra/python-pyproject-hooks 1.2.0-3 0.10 MiB extra/rhash 1.4.4-1 0.32 MiB extra/vim-runtime 9.1.1065-1 37.55 MiB extra/cmake 3.31.5-1 77.89 MiB extra/git 2.48.1-1 28.48 MiB extra/help2man 1.49.3-2 0.38 MiB extra/python-build 1.2.2-3 0.20 MiB extra/python-installer 0.7.0-10 0.17 MiB extra/python-setuptools 1:75.2.0-4 8.05 MiB extra/python-tomli 2.0.1-5 0.10 MiB extra/python-wheel 0.45.0-3 0.28 MiB extra/vim 9.1.1065-1 4.91 MiB Total Installed Size: 234.27 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... 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 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-jaraco.collections... installing python-platformdirs... 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 [pending] installing python-setuptools... installing python-tomli... 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 '/startdir/src/cadical/build' configure: root directory '/startdir/src/cadical' configure: source directory '/startdir/src/cadical/src' configure: unlocked IO with '{putc,getc}_unlocked' seems to work configure: compiling with 'g++ -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/startdir/src/cadical/build/makefile' configure: linking '/startdir/src/cadical/makefile' configure: now run 'make' to compile CaDiCaL configure: optionally run 'make test' make: Entering directory '/startdir/src/cadical/build' g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/analyze.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/arena.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/assume.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/averages.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/backtrack.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/backward.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/bins.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/block.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ccadical.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/checker.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/clause.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/collect.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/compact.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/condition.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/config.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/constrain.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/contract.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/cover.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/decide.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/decompose.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/deduplicate.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/elim.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ema.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/extend.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/external.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/external_propagate.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/file.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/flags.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/flip.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/format.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/gates.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/instantiate.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/internal.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ipasir.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/limit.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/logging.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lookahead.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lratbuilder.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lratchecker.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lucky.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/message.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/minimize.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/occs.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/options.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/parse.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/phases.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/probe.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/profile.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/proof.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/propagate.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/queue.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/random.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/reap.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/reduce.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/rephase.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/report.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/resources.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/restart.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/restore.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/score.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/shrink.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/signal.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/solution.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/solver.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/stats.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/subsume.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/terminal.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ternary.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/tracer.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/transred.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/util.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/var.cpp ../scripts/make-build-header.sh > build.hpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/vivify.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/walk.cpp g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/watch.cpp ../scripts/make-build-header.sh: line 81: warning: setlocale: LC_TIME: cannot change locale (en_US): No such file or directory g++ -fPIC -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/version.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 '/startdir/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=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -W -O3 -std=c++17 -DNDEBUG' [configure] Generated 'makefile' (run 'make' to compile) ./generate > config.hpp g++ -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -W -O3 -std=c++17 -DNDEBUG -c cadiback.cpp -I../cadical/src 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: b4ab662f79024af8ebdd295f9c93d7a522b070a7 -- PROJECT_VERSION: 5.12.1 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 12 -- PROJECT_VERSION_PATCH: 1 -- Not compiling detailed statistics. The system is faster without them CMake Warning (dev) at CMakeLists.txt:500 (ADD_CUSTOM_COMMAND): Exactly one of PRE_BUILD, PRE_LINK, or POST_BUILD must be given. Assuming POST_BUILD to preserve backward compatibility. Policy CMP0175 is not set: add_custom_command() rejects invalid arguments. Run "cmake --help-policy CMP0175" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-dev to suppress it. -- 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 (125.5s) -- Generating done (0.3s) -- Build files have been written to: /startdir/src/build [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/backbone.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/probe.cpp.o [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o [ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o [ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o [ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o [ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o Copying cryptominisat_c.h to /startdir/src/build/include/cryptominisat5 Copying cryptominisat.h to /startdir/src/build/include/cryptominisat5 Copying solvertypesmini.h to /startdir/src/build/include/cryptominisat5 [ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o Copying dimacsparser.h to /startdir/src/build/include/cryptominisat5 [ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o Copying streambuffer.h to /startdir/src/build/include/cryptominisat5 [ 20%] Built target CopyPublicHeaders [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o [ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o /startdir/src/cryptominisat/src/backbone.cpp: In member function ‘bool CMSat::Solver::backbone_simpl(int64_t, bool&)’: /startdir/src/cryptominisat/src/backbone.cpp:32:37: warning: unused parameter ‘orig_max_confl’ [-Wunused-parameter] 32 | bool Solver::backbone_simpl(int64_t orig_max_confl, bool& finished) | ~~~~~~~~^~~~~~~~~~~~~~ [ 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 [ 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 [ 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_common.cpp.o [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.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 [100%] Built target man_cryptominisat5 * Getting build dependencies for wheel... running egg_info creating src/pycryptosat.egg-info writing src/pycryptosat.egg-info/PKG-INFO writing dependency_links to src/pycryptosat.egg-info/dependency_links.txt writing top-level names to src/pycryptosat.egg-info/top_level.txt writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' dependency python/cadiback/cadiback.h won't be automatically included in the manifest: the path doesn't exist reading manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no files found matching '*.h' under directory 'src/picosat' warning: no files found matching '*.hpp' under directory 'src/picosat' warning: no files found matching '*.hpp' under directory 'src/oracle' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' * Building wheel... running bdist_wheel running build running build_py running egg_info writing src/pycryptosat.egg-info/PKG-INFO writing dependency_links to src/pycryptosat.egg-info/dependency_links.txt writing top-level names to src/pycryptosat.egg-info/top_level.txt dependency python/cadiback/cadiback.h won't be automatically included in the manifest: the path doesn't exist reading manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no files found matching '*.h' under directory 'src/picosat' warning: no files found matching '*.hpp' under directory 'src/picosat' warning: no files found matching '*.hpp' under directory 'src/oracle' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' creating build/lib.linux-x86_64-cpython-313/mpicosat copying src/mpicosat/mpico_config.h -> build/lib.linux-x86_64-cpython-313/mpicosat copying src/mpicosat/mpicosat.c -> build/lib.linux-x86_64-cpython-313/mpicosat copying src/mpicosat/mpicosat.h -> build/lib.linux-x86_64-cpython-313/mpicosat copying src/mpicosat/version.c -> build/lib.linux-x86_64-cpython-313/mpicosat creating build/lib.linux-x86_64-cpython-313/msvc copying src/msvc/stdint.h -> build/lib.linux-x86_64-cpython-313/msvc creating build/lib.linux-x86_64-cpython-313/oracle copying src/oracle/oracle.h -> build/lib.linux-x86_64-cpython-313/oracle copying src/oracle/utils.h -> build/lib.linux-x86_64-cpython-313/oracle running build_clib building 'picosatlib' library creating build/temp.linux-x86_64-cpython-313/src/mpicosat gcc -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -Isrc/mpicosat/ -c src/mpicosat/mpicosat.c -o build/temp.linux-x86_64-cpython-313/src/mpicosat/mpicosat.o gcc -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -Isrc/mpicosat/ -c src/mpicosat/version.c -o build/temp.linux-x86_64-cpython-313/src/mpicosat/version.o ar rcs build/temp.linux-x86_64-cpython-313/libpicosatlib.a build/temp.linux-x86_64-cpython-313/src/mpicosat/mpicosat.o build/temp.linux-x86_64-cpython-313/src/mpicosat/version.o running build_ext building 'pycryptosat' extension creating build/temp.linux-x86_64-cpython-313/python/src g++ -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DINSTALLED_CADIBACK= -DCMS_FULL_VERSION=\"5.12.1\" -Isrc/ -I./ -I/usr/include/python3.13 -c python/src/GitSHA1.cpp -o build/temp.linux-x86_64-cpython-313/python/src/GitSHA1.o -I../ -Isrc/ -std=c++17 -DINSTALLED_CADIBACK : warning: "INSTALLED_CADIBACK" redefined : note: this is the location of the previous definition g++ -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DINSTALLED_CADIBACK= -DCMS_FULL_VERSION=\"5.12.1\" -Isrc/ -I./ -I/usr/include/python3.13 -c python/src/pycryptosat.cpp -o build/temp.linux-x86_64-cpython-313/python/src/pycryptosat.o -I../ -Isrc/ -std=c++17 -DINSTALLED_CADIBACK : warning: "INSTALLED_CADIBACK" redefined : note: this is the location of the previous definition warning: no library file corresponding to '/usr/lib/libcadiback.so' found (skipping) g++ -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -shared -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-z,pack-relative-relocs -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-z,pack-relative-relocs -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-z,pack-relative-relocs -flto=auto -falign-functions=32 -march=x86-64-v4 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 build/temp.linux-x86_64-cpython-313/python/src/GitSHA1.o build/temp.linux-x86_64-cpython-313/python/src/pycryptosat.o -L../build/lib -L/usr/lib -Lbuild/temp.linux-x86_64-cpython-313 -lcryptominisat5 -lpicosatlib -o build/lib.linux-x86_64-cpython-313/pycryptosat.cpython-313-x86_64-linux-gnu.so installing to build/bdist.linux-x86_64/wheel running install running install_lib creating build/bdist.linux-x86_64/wheel creating build/bdist.linux-x86_64/wheel/mpicosat copying build/lib.linux-x86_64-cpython-313/mpicosat/mpico_config.h -> build/bdist.linux-x86_64/wheel/./mpicosat copying build/lib.linux-x86_64-cpython-313/mpicosat/mpicosat.c -> build/bdist.linux-x86_64/wheel/./mpicosat copying build/lib.linux-x86_64-cpython-313/mpicosat/mpicosat.h -> build/bdist.linux-x86_64/wheel/./mpicosat copying build/lib.linux-x86_64-cpython-313/mpicosat/version.c -> build/bdist.linux-x86_64/wheel/./mpicosat creating build/bdist.linux-x86_64/wheel/msvc copying build/lib.linux-x86_64-cpython-313/msvc/stdint.h -> build/bdist.linux-x86_64/wheel/./msvc creating build/bdist.linux-x86_64/wheel/oracle copying build/lib.linux-x86_64-cpython-313/oracle/oracle.h -> build/bdist.linux-x86_64/wheel/./oracle copying build/lib.linux-x86_64-cpython-313/oracle/utils.h -> build/bdist.linux-x86_64/wheel/./oracle copying build/lib.linux-x86_64-cpython-313/pycryptosat.cpython-313-x86_64-linux-gnu.so -> build/bdist.linux-x86_64/wheel/. running install_egg_info Copying src/pycryptosat.egg-info to build/bdist.linux-x86_64/wheel/./pycryptosat-5.12.1-py3.13.egg-info running install_scripts creating build/bdist.linux-x86_64/wheel/pycryptosat-5.12.1.dist-info/WHEEL creating '/startdir/src/cryptominisat/dist/.tmp-sue26q1d/pycryptosat-5.12.1-cp313-cp313-linux_x86_64.whl' and adding 'build/bdist.linux-x86_64/wheel' to it adding 'pycryptosat.cpython-313-x86_64-linux-gnu.so' adding 'mpicosat/mpico_config.h' adding 'mpicosat/mpicosat.c' adding 'mpicosat/mpicosat.h' adding 'mpicosat/version.c' adding 'msvc/stdint.h' adding 'oracle/oracle.h' adding 'oracle/utils.h' adding 'pycryptosat-5.12.1.dist-info/AUTHORS' adding 'pycryptosat-5.12.1.dist-info/LICENSE.txt' adding 'pycryptosat-5.12.1.dist-info/METADATA' adding 'pycryptosat-5.12.1.dist-info/WHEEL' adding 'pycryptosat-5.12.1.dist-info/top_level.txt' adding 'pycryptosat-5.12.1.dist-info/RECORD' removing build/bdist.linux-x86_64/wheel Successfully built pycryptosat-5.12.1-cp313-cp313-linux_x86_64.whl ==> Starting check()... test_3_long (__main__.TestXor.test_3_long) ... ok test_3_long2 (__main__.TestXor.test_3_long2) ... ok test_binary (__main__.TestXor.test_binary) ... ok test_long (__main__.TestXor.test_long) ... ok test_unit (__main__.TestXor.test_unit) ... ok test_unit2 (__main__.TestXor.test_unit2) ... ok test_wrong_args (__main__.TestXor.test_wrong_args) ... ok test_wrong_args_to_solver (__main__.InitTester.test_wrong_args_to_solver) ... ok test_add_clauses (__main__.TestSolve.test_add_clauses) ... ok test_add_clauses_array_SAT (__main__.TestSolve.test_add_clauses_array_SAT) ... ok test_add_clauses_array_UNSAT (__main__.TestSolve.test_add_clauses_array_UNSAT) ... ok test_add_clauses_array_unterminated (__main__.TestSolve.test_add_clauses_array_unterminated) ... ok test_add_clauses_wrong_zero (__main__.TestSolve.test_add_clauses_wrong_zero) ... ok test_bad_iter (__main__.TestSolve.test_bad_iter) ... ok test_by_re_curse (__main__.TestSolve.test_by_re_curse) ... ok test_cnf1 (__main__.TestSolve.test_cnf1) ... ok test_cnf1_confl_limit (__main__.TestSolve.test_cnf1_confl_limit) ... ok test_cnf2 (__main__.TestSolve.test_cnf2) ... ok test_cnf3 (__main__.TestSolve.test_cnf3) ... ok test_get_conflict (__main__.TestSolve.test_get_conflict) ... ok test_no_clauses (__main__.TestSolve.test_no_clauses) ... ok test_wrong_args (__main__.TestSolve.test_wrong_args) ... ok test_time (__main__.TestSolveTimeLimit.test_time) ... FAIL ====================================================================== FAIL: test_time (__main__.TestSolveTimeLimit.test_time) ---------------------------------------------------------------------- Traceback (most recent call last): File "/startdir/src/cryptominisat/python/tests/test_pycryptosat.py", line 333, in test_time self.assertLess(took_time, 4) ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^ AssertionError: 4.748870134353638 not less than 4 ---------------------------------------------------------------------- Ran 23 tests in 4.792s FAILED (failures=1) sys.prefix: /usr sys.version: 3.13.1 (main, Dec 4 2024, 18:05:56) [GCC 14.2.1 20240910] pycryptosat version: '5.12.1' Summary: 0 errors and 1 failures reported ==> ERROR: A failure occurred in check(). Aborting... ==> ERROR: Build failed, check /home/alhp/workspace/chroot/build_4eaaca09-e31a-4cca-b5d8-1a3d0586b2f4/build