I: pbuilder: network access will be disabled during build
I: Current time: Mon Mar 30 23:06:35 +14 2026
I: pbuilder-time-stamp: 1774861595
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz]
I: copying local configuration
W: --override-config is not set; not updating apt.conf Read the manpage for details.
I: mounting /proc filesystem
I: mounting /sys filesystem
I: creating /{dev,run}/shm
I: mounting /dev/pts filesystem
I: redirecting /dev/ptmx to /dev/pts/ptmx
I: policy-rc.d already exists
I: using eatmydata during job
I: Copying source file
I: copying [cryptominisat_5.11.21+dfsg1-1.dsc]
I: copying [./cryptominisat_5.11.21+dfsg1.orig.tar.xz]
I: copying [./cryptominisat_5.11.21+dfsg1-1.debian.tar.xz]
I: Extracting source
dpkg-source: warning: cannot verify inline signature for ./cryptominisat_5.11.21+dfsg1-1.dsc: unsupported subcommand
dpkg-source: info: extracting cryptominisat in cryptominisat-5.11.21+dfsg1
dpkg-source: info: unpacking cryptominisat_5.11.21+dfsg1.orig.tar.xz
dpkg-source: info: unpacking cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying reproducible-build.patch
dpkg-source: info: applying fix_typos.patch
I: using fakeroot in build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/65600/tmp/hooks/D01_modify_environment starting
debug: Running on ionos6-i386.
I: Changing host+domainname to test build reproducibility
I: Adding a custom variable just for the fun of it...
I: Changing /bin/sh to bash
'/bin/sh' -> '/bin/bash'
lrwxrwxrwx 1 root root 9 Mar 30 09:06 /bin/sh -> /bin/bash
I: Setting pbuilder2's login shell to /bin/bash
I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other
I: user script /srv/workspace/pbuilder/65600/tmp/hooks/D01_modify_environment finished
I: user script /srv/workspace/pbuilder/65600/tmp/hooks/D02_print_environment starting
I: set
  BASH=/bin/sh
  BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath
  BASH_ALIASES=()
  BASH_ARGC=()
  BASH_ARGV=()
  BASH_CMDS=()
  BASH_LINENO=([0]="12" [1]="0")
  BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:.
  BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
  BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="i686-pc-linux-gnu")
  BASH_VERSION='5.2.37(1)-release'
  BUILDDIR=/build/reproducible-path
  BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
  BUILDUSERNAME=pbuilder2
  BUILD_ARCH=i386
  DEBIAN_FRONTEND=noninteractive
  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=21 '
  DIRSTACK=()
  DISTRIBUTION=trixie
  EUID=0
  FUNCNAME=([0]="Echo" [1]="main")
  GROUPS=()
  HOME=/root
  HOSTNAME=i-capture-the-hostname
  HOSTTYPE=i686
  HOST_ARCH=i386
  IFS=' 	
  '
  INVOCATION_ID=2f4e1fdd07f1439d9aebe7d562fd8c67
  LANG=C
  LANGUAGE=de_CH:de
  LC_ALL=C
  LD_LIBRARY_PATH=/usr/lib/libeatmydata
  LD_PRELOAD=libeatmydata.so
  MACHTYPE=i686-pc-linux-gnu
  MAIL=/var/mail/root
  OPTERR=1
  OPTIND=1
  OSTYPE=linux-gnu
  PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path
  PBCURRENTCOMMANDLINEOPERATION=build
  PBUILDER_OPERATION=build
  PBUILDER_PKGDATADIR=/usr/share/pbuilder
  PBUILDER_PKGLIBDIR=/usr/lib/pbuilder
  PBUILDER_SYSCONFDIR=/etc
  PIPESTATUS=([0]="0")
  POSIXLY_CORRECT=y
  PPID=65600
  PS4='+ '
  PWD=/
  SHELL=/bin/bash
  SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix
  SHLVL=3
  SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.KtgydRsi/pbuilderrc_tpuF --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.KtgydRsi/b2 --logfile b2/build.log cryptominisat_5.11.21+dfsg1-1.dsc'
  SUDO_GID=112
  SUDO_UID=107
  SUDO_USER=jenkins
  TERM=unknown
  TZ=/usr/share/zoneinfo/Etc/GMT-14
  UID=0
  USER=root
  _='I: set'
  http_proxy=http://213.165.73.152:3128
I: uname -a
  Linux i-capture-the-hostname 6.1.0-31-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.128-1 (2025-02-07) x86_64 GNU/Linux
I: ls -l /bin
  lrwxrwxrwx 1 root root 7 Nov 22  2024 /bin -> usr/bin
I: user script /srv/workspace/pbuilder/65600/tmp/hooks/D02_print_environment finished
 -> Attempting to satisfy build-dependencies
 -> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
Version: 0.invalid.0
Architecture: i386
Maintainer: Debian Pbuilder Team <pbuilder-maint@lists.alioth.debian.org>
Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder
 This package was created automatically by pbuilder to satisfy the
 build-dependencies of the package being currently built.
Depends: dpkg-dev (>= 1.22.5), cmake, debhelper-compat (= 13), dh-python, help2man, libboost-program-options-dev, libm4ri-dev, pybuild-plugin-pyproject, python3-dev, python3-setuptools, zlib1g-dev
dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Selecting previously unselected package pbuilder-satisfydepends-dummy.
(Reading database ... 19788 files and directories currently installed.)
Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ...
Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ...
dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested:
 pbuilder-satisfydepends-dummy depends on cmake; however:
  Package cmake is not installed.
 pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however:
  Package debhelper-compat is not installed.
 pbuilder-satisfydepends-dummy depends on dh-python; however:
  Package dh-python is not installed.
 pbuilder-satisfydepends-dummy depends on help2man; however:
  Package help2man is not installed.
 pbuilder-satisfydepends-dummy depends on libboost-program-options-dev; however:
  Package libboost-program-options-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libm4ri-dev; however:
  Package libm4ri-dev is not installed.
 pbuilder-satisfydepends-dummy depends on pybuild-plugin-pyproject; however:
  Package pybuild-plugin-pyproject is not installed.
 pbuilder-satisfydepends-dummy depends on python3-dev; however:
  Package python3-dev is not installed.
 pbuilder-satisfydepends-dummy depends on python3-setuptools; however:
  Package python3-setuptools is not installed.
 pbuilder-satisfydepends-dummy depends on zlib1g-dev; however:
  Package zlib1g-dev is not installed.

Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ...
Reading package lists...
Building dependency tree...
Reading state information...
Initializing package states...
Writing extended state information...
Building tag database...
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
The following NEW packages will be installed:
  autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} cmake{a} cmake-data{a} debhelper{a} dh-autoreconf{a} dh-python{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} help2man{a} intltool-debian{a} libarchive-zip-perl{a} libarchive13t64{a} libboost-program-options-dev{a} libboost-program-options1.83-dev{a} libboost-program-options1.83.0{a} libboost1.83-dev{a} libbrotli1{a} libcom-err2{a} libcurl4t64{a} libdebhelper-perl{a} libelf1t64{a} libexpat1{a} libexpat1-dev{a} libffi8{a} libfile-stripnondeterminism-perl{a} libgnutls30t64{a} libgssapi-krb5-2{a} libicu72{a} libidn2-0{a} libjs-jquery{a} libjs-sphinxdoc{a} libjs-underscore{a} libjsoncpp26{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} libldap2{a} liblocale-gettext-perl{a} libm4ri-0.0.20200125{a} libm4ri-dev{a} libmagic-mgc{a} libmagic1t64{a} libnghttp2-14{a} libnghttp3-9{a} libp11-kit0{a} libpipeline1{a} libpng16-16t64{a} libproc2-0{a} libpsl5t64{a} libpython3-dev{a} libpython3-stdlib{a} libpython3.13{a} libpython3.13-dev{a} libpython3.13-minimal{a} libpython3.13-stdlib{a} libreadline8t64{a} librhash1{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libssh2-1t64{a} libtasn1-6{a} libtool{a} libuchardet0{a} libunistring5{a} libuv1t64{a} libxml2{a} m4{a} man-db{a} media-types{a} netbase{a} po-debconf{a} procps{a} pybuild-plugin-pyproject{a} python3{a} python3-autocommand{a} python3-build{a} python3-dev{a} python3-inflect{a} python3-installer{a} python3-jaraco.context{a} python3-jaraco.functools{a} python3-jaraco.text{a} python3-minimal{a} python3-more-itertools{a} python3-packaging{a} python3-pkg-resources{a} python3-pyproject-hooks{a} python3-setuptools{a} python3-toml{a} python3-typeguard{a} python3-typing-extensions{a} python3-wheel{a} python3-zipp{a} python3.13{a} python3.13-dev{a} python3.13-minimal{a} readline-common{a} sensible-utils{a} tzdata{a} zlib1g-dev{a} 
The following packages are RECOMMENDED but will NOT be installed:
  ca-certificates curl javascript-common krb5-locales libarchive-cpio-perl libldap-common libltdl-dev libmail-sendmail-perl libsasl2-modules linux-sysctl-defaults lynx psmisc publicsuffix wget 
0 packages upgraded, 110 newly installed, 0 to remove and 0 not upgraded.
Need to get 71.9 MB of archives. After unpacking 385 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian trixie/main i386 liblocale-gettext-perl i386 1.07-7+b1 [15.4 kB]
Get: 2 http://deb.debian.org/debian trixie/main i386 libpython3.13-minimal i386 3.13.2-1 [859 kB]
Get: 3 http://deb.debian.org/debian trixie/main i386 libexpat1 i386 2.6.4-1 [107 kB]
Get: 4 http://deb.debian.org/debian trixie/main i386 python3.13-minimal i386 3.13.2-1 [2266 kB]
Get: 5 http://deb.debian.org/debian trixie/main i386 python3-minimal i386 3.13.1-2 [27.0 kB]
Get: 6 http://deb.debian.org/debian trixie/main i386 media-types all 10.1.0 [26.9 kB]
Get: 7 http://deb.debian.org/debian trixie/main i386 netbase all 6.4 [12.8 kB]
Get: 8 http://deb.debian.org/debian trixie/main i386 tzdata all 2025a-2 [259 kB]
Get: 9 http://deb.debian.org/debian trixie/main i386 libffi8 i386 3.4.7-1 [21.4 kB]
Get: 10 http://deb.debian.org/debian trixie/main i386 readline-common all 8.2-6 [69.4 kB]
Get: 11 http://deb.debian.org/debian trixie/main i386 libreadline8t64 i386 8.2-6 [173 kB]
Get: 12 http://deb.debian.org/debian trixie/main i386 libpython3.13-stdlib i386 3.13.2-1 [1985 kB]
Get: 13 http://deb.debian.org/debian trixie/main i386 python3.13 i386 3.13.2-1 [745 kB]
Get: 14 http://deb.debian.org/debian trixie/main i386 libpython3-stdlib i386 3.13.1-2 [9952 B]
Get: 15 http://deb.debian.org/debian trixie/main i386 python3 i386 3.13.1-2 [28.0 kB]
Get: 16 http://deb.debian.org/debian trixie/main i386 libproc2-0 i386 2:4.0.4-7 [66.0 kB]
Get: 17 http://deb.debian.org/debian trixie/main i386 procps i386 2:4.0.4-7 [876 kB]
Get: 18 http://deb.debian.org/debian trixie/main i386 sensible-utils all 0.0.24 [24.8 kB]
Get: 19 http://deb.debian.org/debian trixie/main i386 libmagic-mgc i386 1:5.45-3+b1 [314 kB]
Get: 20 http://deb.debian.org/debian trixie/main i386 libmagic1t64 i386 1:5.45-3+b1 [115 kB]
Get: 21 http://deb.debian.org/debian trixie/main i386 file i386 1:5.45-3+b1 [43.2 kB]
Get: 22 http://deb.debian.org/debian trixie/main i386 gettext-base i386 0.23.1-1 [245 kB]
Get: 23 http://deb.debian.org/debian trixie/main i386 libuchardet0 i386 0.0.8-1+b2 [69.2 kB]
Get: 24 http://deb.debian.org/debian trixie/main i386 groff-base i386 1.23.0-7 [1199 kB]
Get: 25 http://deb.debian.org/debian trixie/main i386 bsdextrautils i386 2.40.4-4 [96.4 kB]
Get: 26 http://deb.debian.org/debian trixie/main i386 libpipeline1 i386 1.5.8-1 [41.2 kB]
Get: 27 http://deb.debian.org/debian trixie/main i386 man-db i386 2.13.0-1 [1428 kB]
Get: 28 http://deb.debian.org/debian trixie/main i386 m4 i386 1.4.19-5 [301 kB]
Get: 29 http://deb.debian.org/debian trixie/main i386 autoconf all 2.72-3 [493 kB]
Get: 30 http://deb.debian.org/debian trixie/main i386 autotools-dev all 20220109.1 [51.6 kB]
Get: 31 http://deb.debian.org/debian trixie/main i386 automake all 1:1.17-3 [862 kB]
Get: 32 http://deb.debian.org/debian trixie/main i386 autopoint all 0.23.1-1 [770 kB]
Get: 33 http://deb.debian.org/debian trixie/main i386 cmake-data all 3.31.5-2 [2267 kB]
Get: 34 http://deb.debian.org/debian trixie/main i386 libicu72 i386 72.1-6 [9582 kB]
Get: 35 http://deb.debian.org/debian trixie/main i386 libxml2 i386 2.12.7+dfsg+really2.9.14-0.2+b1 [734 kB]
Get: 36 http://deb.debian.org/debian trixie/main i386 libarchive13t64 i386 3.7.4-1.1 [390 kB]
Get: 37 http://deb.debian.org/debian trixie/main i386 libbrotli1 i386 1.1.0-2+b6 [308 kB]
Get: 38 http://deb.debian.org/debian trixie/main i386 libkrb5support0 i386 1.21.3-4 [35.0 kB]
Get: 39 http://deb.debian.org/debian trixie/main i386 libcom-err2 i386 1.47.2-1 [24.3 kB]
Get: 40 http://deb.debian.org/debian trixie/main i386 libk5crypto3 i386 1.21.3-4 [83.7 kB]
Get: 41 http://deb.debian.org/debian trixie/main i386 libkeyutils1 i386 1.6.3-4 [9600 B]
Get: 42 http://deb.debian.org/debian trixie/main i386 libkrb5-3 i386 1.21.3-4 [354 kB]
Get: 43 http://deb.debian.org/debian trixie/main i386 libgssapi-krb5-2 i386 1.21.3-4 [149 kB]
Get: 44 http://deb.debian.org/debian trixie/main i386 libunistring5 i386 1.3-1 [458 kB]
Get: 45 http://deb.debian.org/debian trixie/main i386 libidn2-0 i386 2.3.7-2+b1 [130 kB]
Get: 46 http://deb.debian.org/debian trixie/main i386 libsasl2-modules-db i386 2.1.28+dfsg1-8+b1 [20.9 kB]
Get: 47 http://deb.debian.org/debian trixie/main i386 libsasl2-2 i386 2.1.28+dfsg1-8+b1 [61.3 kB]
Get: 48 http://deb.debian.org/debian trixie/main i386 libldap2 i386 2.6.9+dfsg-1 [205 kB]
Get: 49 http://deb.debian.org/debian trixie/main i386 libnghttp2-14 i386 1.64.0-1 [82.4 kB]
Get: 50 http://deb.debian.org/debian trixie/main i386 libnghttp3-9 i386 1.6.0-2 [75.9 kB]
Get: 51 http://deb.debian.org/debian trixie/main i386 libpsl5t64 i386 0.21.2-1.1+b1 [57.7 kB]
Get: 52 http://deb.debian.org/debian trixie/main i386 libp11-kit0 i386 0.25.5-3 [423 kB]
Get: 53 http://deb.debian.org/debian trixie/main i386 libtasn1-6 i386 4.20.0-2 [51.6 kB]
Get: 54 http://deb.debian.org/debian trixie/main i386 libgnutls30t64 i386 3.8.9-2 [1462 kB]
Get: 55 http://deb.debian.org/debian trixie/main i386 librtmp1 i386 2.4+20151223.gitfa8646d.1-2+b5 [62.4 kB]
Get: 56 http://deb.debian.org/debian trixie/main i386 libssh2-1t64 i386 1.11.1-1 [256 kB]
Get: 57 http://deb.debian.org/debian trixie/main i386 libcurl4t64 i386 8.12.1-2 [415 kB]
Get: 58 http://deb.debian.org/debian trixie/main i386 libjsoncpp26 i386 1.9.6-3 [90.0 kB]
Get: 59 http://deb.debian.org/debian trixie/main i386 librhash1 i386 1.4.5-1 [144 kB]
Get: 60 http://deb.debian.org/debian trixie/main i386 libuv1t64 i386 1.50.0-2 [163 kB]
Get: 61 http://deb.debian.org/debian trixie/main i386 cmake i386 3.31.5-2 [13.1 MB]
Get: 62 http://deb.debian.org/debian trixie/main i386 libdebhelper-perl all 13.24.1 [90.9 kB]
Get: 63 http://deb.debian.org/debian trixie/main i386 libtool all 2.5.4-3 [539 kB]
Get: 64 http://deb.debian.org/debian trixie/main i386 dh-autoreconf all 20 [17.1 kB]
Get: 65 http://deb.debian.org/debian trixie/main i386 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 66 http://deb.debian.org/debian trixie/main i386 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB]
Get: 67 http://deb.debian.org/debian trixie/main i386 dh-strip-nondeterminism all 1.14.1-2 [8620 B]
Get: 68 http://deb.debian.org/debian trixie/main i386 libelf1t64 i386 0.192-4 [195 kB]
Get: 69 http://deb.debian.org/debian trixie/main i386 dwz i386 0.15-1+b1 [116 kB]
Get: 70 http://deb.debian.org/debian trixie/main i386 gettext i386 0.23.1-1 [1714 kB]
Get: 71 http://deb.debian.org/debian trixie/main i386 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 72 http://deb.debian.org/debian trixie/main i386 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 73 http://deb.debian.org/debian trixie/main i386 debhelper all 13.24.1 [920 kB]
Get: 74 http://deb.debian.org/debian trixie/main i386 python3-autocommand all 2.2.2-3 [13.6 kB]
Get: 75 http://deb.debian.org/debian trixie/main i386 python3-more-itertools all 10.6.0-1 [65.3 kB]
Get: 76 http://deb.debian.org/debian trixie/main i386 python3-typing-extensions all 4.12.2-2 [73.0 kB]
Get: 77 http://deb.debian.org/debian trixie/main i386 python3-typeguard all 4.4.1-1 [37.0 kB]
Get: 78 http://deb.debian.org/debian trixie/main i386 python3-inflect all 7.3.1-2 [32.4 kB]
Get: 79 http://deb.debian.org/debian trixie/main i386 python3-jaraco.context all 6.0.0-1 [7984 B]
Get: 80 http://deb.debian.org/debian trixie/main i386 python3-jaraco.functools all 4.1.0-1 [12.0 kB]
Get: 81 http://deb.debian.org/debian trixie/main i386 python3-pkg-resources all 75.8.0-1 [222 kB]
Get: 82 http://deb.debian.org/debian trixie/main i386 python3-jaraco.text all 4.0.0-1 [11.4 kB]
Get: 83 http://deb.debian.org/debian trixie/main i386 python3-zipp all 3.21.0-1 [10.6 kB]
Get: 84 http://deb.debian.org/debian trixie/main i386 python3-setuptools all 75.8.0-1 [724 kB]
Get: 85 http://deb.debian.org/debian trixie/main i386 dh-python all 6.20250108 [113 kB]
Get: 86 http://deb.debian.org/debian trixie/main i386 help2man i386 1.49.3 [198 kB]
Get: 87 http://deb.debian.org/debian trixie/main i386 libboost1.83-dev i386 1.83.0-4.1 [10.6 MB]
Get: 88 http://deb.debian.org/debian trixie/main i386 libboost-program-options1.83.0 i386 1.83.0-4.1 [361 kB]
Get: 89 http://deb.debian.org/debian trixie/main i386 libboost-program-options1.83-dev i386 1.83.0-4.1 [390 kB]
Get: 90 http://deb.debian.org/debian trixie/main i386 libboost-program-options-dev i386 1.83.0.2+b2 [3616 B]
Get: 91 http://deb.debian.org/debian trixie/main i386 libexpat1-dev i386 2.6.4-1 [165 kB]
Get: 92 http://deb.debian.org/debian trixie/main i386 libjs-jquery all 3.6.1+dfsg+~3.5.14-1 [326 kB]
Get: 93 http://deb.debian.org/debian trixie/main i386 libjs-underscore all 1.13.4~dfsg+~1.11.4-3 [116 kB]
Get: 94 http://deb.debian.org/debian trixie/main i386 libjs-sphinxdoc all 8.1.3-5 [30.5 kB]
Get: 95 http://deb.debian.org/debian trixie/main i386 libpng16-16t64 i386 1.6.46-4 [292 kB]
Get: 96 http://deb.debian.org/debian trixie/main i386 libm4ri-0.0.20200125 i386 20240729-1 [83.8 kB]
Get: 97 http://deb.debian.org/debian trixie/main i386 libm4ri-dev i386 20240729-1 [112 kB]
Get: 98 http://deb.debian.org/debian trixie/main i386 libpython3.13 i386 3.13.2-1 [2199 kB]
Get: 99 http://deb.debian.org/debian trixie/main i386 zlib1g-dev i386 1:1.3.dfsg+really1.3.1-1+b1 [916 kB]
Get: 100 http://deb.debian.org/debian trixie/main i386 libpython3.13-dev i386 3.13.2-1 [5181 kB]
Get: 101 http://deb.debian.org/debian trixie/main i386 libpython3-dev i386 3.13.1-2 [10.2 kB]
Get: 102 http://deb.debian.org/debian trixie/main i386 python3-packaging all 24.2-1 [55.3 kB]
Get: 103 http://deb.debian.org/debian trixie/main i386 python3-pyproject-hooks all 1.2.0-1 [11.7 kB]
Get: 104 http://deb.debian.org/debian trixie/main i386 python3-toml all 0.10.2-1 [16.2 kB]
Get: 105 http://deb.debian.org/debian trixie/main i386 python3-wheel all 0.45.1-1 [56.7 kB]
Get: 106 http://deb.debian.org/debian trixie/main i386 python3-build all 1.2.2-1 [36.0 kB]
Get: 107 http://deb.debian.org/debian trixie/main i386 python3-installer all 0.7.0+dfsg1-3 [18.6 kB]
Get: 108 http://deb.debian.org/debian trixie/main i386 pybuild-plugin-pyproject all 6.20250108 [11.6 kB]
Get: 109 http://deb.debian.org/debian trixie/main i386 python3.13-dev i386 3.13.2-1 [505 kB]
Get: 110 http://deb.debian.org/debian trixie/main i386 python3-dev i386 3.13.1-2 [26.1 kB]
Fetched 71.9 MB in 1s (133 MB/s)
Preconfiguring packages ...
Selecting previously unselected package liblocale-gettext-perl.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19788 files and directories currently installed.)
Preparing to unpack .../liblocale-gettext-perl_1.07-7+b1_i386.deb ...
Unpacking liblocale-gettext-perl (1.07-7+b1) ...
Selecting previously unselected package libpython3.13-minimal:i386.
Preparing to unpack .../libpython3.13-minimal_3.13.2-1_i386.deb ...
Unpacking libpython3.13-minimal:i386 (3.13.2-1) ...
Selecting previously unselected package libexpat1:i386.
Preparing to unpack .../libexpat1_2.6.4-1_i386.deb ...
Unpacking libexpat1:i386 (2.6.4-1) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../python3.13-minimal_3.13.2-1_i386.deb ...
Unpacking python3.13-minimal (3.13.2-1) ...
Setting up libpython3.13-minimal:i386 (3.13.2-1) ...
Setting up libexpat1:i386 (2.6.4-1) ...
Setting up python3.13-minimal (3.13.2-1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20137 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.13.1-2_i386.deb ...
Unpacking python3-minimal (3.13.1-2) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../2-netbase_6.4_all.deb ...
Unpacking netbase (6.4) ...
Selecting previously unselected package tzdata.
Preparing to unpack .../3-tzdata_2025a-2_all.deb ...
Unpacking tzdata (2025a-2) ...
Selecting previously unselected package libffi8:i386.
Preparing to unpack .../4-libffi8_3.4.7-1_i386.deb ...
Unpacking libffi8:i386 (3.4.7-1) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../5-readline-common_8.2-6_all.deb ...
Unpacking readline-common (8.2-6) ...
Selecting previously unselected package libreadline8t64:i386.
Preparing to unpack .../6-libreadline8t64_8.2-6_i386.deb ...
Adding 'diversion of /lib/i386-linux-gnu/libhistory.so.8 to /lib/i386-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/i386-linux-gnu/libhistory.so.8.2 to /lib/i386-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/i386-linux-gnu/libreadline.so.8 to /lib/i386-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/i386-linux-gnu/libreadline.so.8.2 to /lib/i386-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:i386 (8.2-6) ...
Selecting previously unselected package libpython3.13-stdlib:i386.
Preparing to unpack .../7-libpython3.13-stdlib_3.13.2-1_i386.deb ...
Unpacking libpython3.13-stdlib:i386 (3.13.2-1) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../8-python3.13_3.13.2-1_i386.deb ...
Unpacking python3.13 (3.13.2-1) ...
Selecting previously unselected package libpython3-stdlib:i386.
Preparing to unpack .../9-libpython3-stdlib_3.13.1-2_i386.deb ...
Unpacking libpython3-stdlib:i386 (3.13.1-2) ...
Setting up python3-minimal (3.13.1-2) ...
Selecting previously unselected package python3.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21147 files and directories currently installed.)
Preparing to unpack .../00-python3_3.13.1-2_i386.deb ...
Unpacking python3 (3.13.1-2) ...
Selecting previously unselected package libproc2-0:i386.
Preparing to unpack .../01-libproc2-0_2%3a4.0.4-7_i386.deb ...
Unpacking libproc2-0:i386 (2:4.0.4-7) ...
Selecting previously unselected package procps.
Preparing to unpack .../02-procps_2%3a4.0.4-7_i386.deb ...
Unpacking procps (2:4.0.4-7) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../03-sensible-utils_0.0.24_all.deb ...
Unpacking sensible-utils (0.0.24) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../04-libmagic-mgc_1%3a5.45-3+b1_i386.deb ...
Unpacking libmagic-mgc (1:5.45-3+b1) ...
Selecting previously unselected package libmagic1t64:i386.
Preparing to unpack .../05-libmagic1t64_1%3a5.45-3+b1_i386.deb ...
Unpacking libmagic1t64:i386 (1:5.45-3+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../06-file_1%3a5.45-3+b1_i386.deb ...
Unpacking file (1:5.45-3+b1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../07-gettext-base_0.23.1-1_i386.deb ...
Unpacking gettext-base (0.23.1-1) ...
Selecting previously unselected package libuchardet0:i386.
Preparing to unpack .../08-libuchardet0_0.0.8-1+b2_i386.deb ...
Unpacking libuchardet0:i386 (0.0.8-1+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../09-groff-base_1.23.0-7_i386.deb ...
Unpacking groff-base (1.23.0-7) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../10-bsdextrautils_2.40.4-4_i386.deb ...
Unpacking bsdextrautils (2.40.4-4) ...
Selecting previously unselected package libpipeline1:i386.
Preparing to unpack .../11-libpipeline1_1.5.8-1_i386.deb ...
Unpacking libpipeline1:i386 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../12-man-db_2.13.0-1_i386.deb ...
Unpacking man-db (2.13.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../13-m4_1.4.19-5_i386.deb ...
Unpacking m4 (1.4.19-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../14-autoconf_2.72-3_all.deb ...
Unpacking autoconf (2.72-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../15-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../16-automake_1%3a1.17-3_all.deb ...
Unpacking automake (1:1.17-3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../17-autopoint_0.23.1-1_all.deb ...
Unpacking autopoint (0.23.1-1) ...
Selecting previously unselected package cmake-data.
Preparing to unpack .../18-cmake-data_3.31.5-2_all.deb ...
Unpacking cmake-data (3.31.5-2) ...
Selecting previously unselected package libicu72:i386.
Preparing to unpack .../19-libicu72_72.1-6_i386.deb ...
Unpacking libicu72:i386 (72.1-6) ...
Selecting previously unselected package libxml2:i386.
Preparing to unpack .../20-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_i386.deb ...
Unpacking libxml2:i386 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Selecting previously unselected package libarchive13t64:i386.
Preparing to unpack .../21-libarchive13t64_3.7.4-1.1_i386.deb ...
Unpacking libarchive13t64:i386 (3.7.4-1.1) ...
Selecting previously unselected package libbrotli1:i386.
Preparing to unpack .../22-libbrotli1_1.1.0-2+b6_i386.deb ...
Unpacking libbrotli1:i386 (1.1.0-2+b6) ...
Selecting previously unselected package libkrb5support0:i386.
Preparing to unpack .../23-libkrb5support0_1.21.3-4_i386.deb ...
Unpacking libkrb5support0:i386 (1.21.3-4) ...
Selecting previously unselected package libcom-err2:i386.
Preparing to unpack .../24-libcom-err2_1.47.2-1_i386.deb ...
Unpacking libcom-err2:i386 (1.47.2-1) ...
Selecting previously unselected package libk5crypto3:i386.
Preparing to unpack .../25-libk5crypto3_1.21.3-4_i386.deb ...
Unpacking libk5crypto3:i386 (1.21.3-4) ...
Selecting previously unselected package libkeyutils1:i386.
Preparing to unpack .../26-libkeyutils1_1.6.3-4_i386.deb ...
Unpacking libkeyutils1:i386 (1.6.3-4) ...
Selecting previously unselected package libkrb5-3:i386.
Preparing to unpack .../27-libkrb5-3_1.21.3-4_i386.deb ...
Unpacking libkrb5-3:i386 (1.21.3-4) ...
Selecting previously unselected package libgssapi-krb5-2:i386.
Preparing to unpack .../28-libgssapi-krb5-2_1.21.3-4_i386.deb ...
Unpacking libgssapi-krb5-2:i386 (1.21.3-4) ...
Selecting previously unselected package libunistring5:i386.
Preparing to unpack .../29-libunistring5_1.3-1_i386.deb ...
Unpacking libunistring5:i386 (1.3-1) ...
Selecting previously unselected package libidn2-0:i386.
Preparing to unpack .../30-libidn2-0_2.3.7-2+b1_i386.deb ...
Unpacking libidn2-0:i386 (2.3.7-2+b1) ...
Selecting previously unselected package libsasl2-modules-db:i386.
Preparing to unpack .../31-libsasl2-modules-db_2.1.28+dfsg1-8+b1_i386.deb ...
Unpacking libsasl2-modules-db:i386 (2.1.28+dfsg1-8+b1) ...
Selecting previously unselected package libsasl2-2:i386.
Preparing to unpack .../32-libsasl2-2_2.1.28+dfsg1-8+b1_i386.deb ...
Unpacking libsasl2-2:i386 (2.1.28+dfsg1-8+b1) ...
Selecting previously unselected package libldap2:i386.
Preparing to unpack .../33-libldap2_2.6.9+dfsg-1_i386.deb ...
Unpacking libldap2:i386 (2.6.9+dfsg-1) ...
Selecting previously unselected package libnghttp2-14:i386.
Preparing to unpack .../34-libnghttp2-14_1.64.0-1_i386.deb ...
Unpacking libnghttp2-14:i386 (1.64.0-1) ...
Selecting previously unselected package libnghttp3-9:i386.
Preparing to unpack .../35-libnghttp3-9_1.6.0-2_i386.deb ...
Unpacking libnghttp3-9:i386 (1.6.0-2) ...
Selecting previously unselected package libpsl5t64:i386.
Preparing to unpack .../36-libpsl5t64_0.21.2-1.1+b1_i386.deb ...
Unpacking libpsl5t64:i386 (0.21.2-1.1+b1) ...
Selecting previously unselected package libp11-kit0:i386.
Preparing to unpack .../37-libp11-kit0_0.25.5-3_i386.deb ...
Unpacking libp11-kit0:i386 (0.25.5-3) ...
Selecting previously unselected package libtasn1-6:i386.
Preparing to unpack .../38-libtasn1-6_4.20.0-2_i386.deb ...
Unpacking libtasn1-6:i386 (4.20.0-2) ...
Selecting previously unselected package libgnutls30t64:i386.
Preparing to unpack .../39-libgnutls30t64_3.8.9-2_i386.deb ...
Unpacking libgnutls30t64:i386 (3.8.9-2) ...
Selecting previously unselected package librtmp1:i386.
Preparing to unpack .../40-librtmp1_2.4+20151223.gitfa8646d.1-2+b5_i386.deb ...
Unpacking librtmp1:i386 (2.4+20151223.gitfa8646d.1-2+b5) ...
Selecting previously unselected package libssh2-1t64:i386.
Preparing to unpack .../41-libssh2-1t64_1.11.1-1_i386.deb ...
Unpacking libssh2-1t64:i386 (1.11.1-1) ...
Selecting previously unselected package libcurl4t64:i386.
Preparing to unpack .../42-libcurl4t64_8.12.1-2_i386.deb ...
Unpacking libcurl4t64:i386 (8.12.1-2) ...
Selecting previously unselected package libjsoncpp26:i386.
Preparing to unpack .../43-libjsoncpp26_1.9.6-3_i386.deb ...
Unpacking libjsoncpp26:i386 (1.9.6-3) ...
Selecting previously unselected package librhash1:i386.
Preparing to unpack .../44-librhash1_1.4.5-1_i386.deb ...
Unpacking librhash1:i386 (1.4.5-1) ...
Selecting previously unselected package libuv1t64:i386.
Preparing to unpack .../45-libuv1t64_1.50.0-2_i386.deb ...
Unpacking libuv1t64:i386 (1.50.0-2) ...
Selecting previously unselected package cmake.
Preparing to unpack .../46-cmake_3.31.5-2_i386.deb ...
Unpacking cmake (3.31.5-2) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../47-libdebhelper-perl_13.24.1_all.deb ...
Unpacking libdebhelper-perl (13.24.1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../48-libtool_2.5.4-3_all.deb ...
Unpacking libtool (2.5.4-3) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../49-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../50-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../51-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../52-dh-strip-nondeterminism_1.14.1-2_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.1-2) ...
Selecting previously unselected package libelf1t64:i386.
Preparing to unpack .../53-libelf1t64_0.192-4_i386.deb ...
Unpacking libelf1t64:i386 (0.192-4) ...
Selecting previously unselected package dwz.
Preparing to unpack .../54-dwz_0.15-1+b1_i386.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../55-gettext_0.23.1-1_i386.deb ...
Unpacking gettext (0.23.1-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../56-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../57-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../58-debhelper_13.24.1_all.deb ...
Unpacking debhelper (13.24.1) ...
Selecting previously unselected package python3-autocommand.
Preparing to unpack .../59-python3-autocommand_2.2.2-3_all.deb ...
Unpacking python3-autocommand (2.2.2-3) ...
Selecting previously unselected package python3-more-itertools.
Preparing to unpack .../60-python3-more-itertools_10.6.0-1_all.deb ...
Unpacking python3-more-itertools (10.6.0-1) ...
Selecting previously unselected package python3-typing-extensions.
Preparing to unpack .../61-python3-typing-extensions_4.12.2-2_all.deb ...
Unpacking python3-typing-extensions (4.12.2-2) ...
Selecting previously unselected package python3-typeguard.
Preparing to unpack .../62-python3-typeguard_4.4.1-1_all.deb ...
Unpacking python3-typeguard (4.4.1-1) ...
Selecting previously unselected package python3-inflect.
Preparing to unpack .../63-python3-inflect_7.3.1-2_all.deb ...
Unpacking python3-inflect (7.3.1-2) ...
Selecting previously unselected package python3-jaraco.context.
Preparing to unpack .../64-python3-jaraco.context_6.0.0-1_all.deb ...
Unpacking python3-jaraco.context (6.0.0-1) ...
Selecting previously unselected package python3-jaraco.functools.
Preparing to unpack .../65-python3-jaraco.functools_4.1.0-1_all.deb ...
Unpacking python3-jaraco.functools (4.1.0-1) ...
Selecting previously unselected package python3-pkg-resources.
Preparing to unpack .../66-python3-pkg-resources_75.8.0-1_all.deb ...
Unpacking python3-pkg-resources (75.8.0-1) ...
Selecting previously unselected package python3-jaraco.text.
Preparing to unpack .../67-python3-jaraco.text_4.0.0-1_all.deb ...
Unpacking python3-jaraco.text (4.0.0-1) ...
Selecting previously unselected package python3-zipp.
Preparing to unpack .../68-python3-zipp_3.21.0-1_all.deb ...
Unpacking python3-zipp (3.21.0-1) ...
Selecting previously unselected package python3-setuptools.
Preparing to unpack .../69-python3-setuptools_75.8.0-1_all.deb ...
Unpacking python3-setuptools (75.8.0-1) ...
Selecting previously unselected package dh-python.
Preparing to unpack .../70-dh-python_6.20250108_all.deb ...
Unpacking dh-python (6.20250108) ...
Selecting previously unselected package help2man.
Preparing to unpack .../71-help2man_1.49.3_i386.deb ...
Unpacking help2man (1.49.3) ...
Selecting previously unselected package libboost1.83-dev:i386.
Preparing to unpack .../72-libboost1.83-dev_1.83.0-4.1_i386.deb ...
Unpacking libboost1.83-dev:i386 (1.83.0-4.1) ...
Selecting previously unselected package libboost-program-options1.83.0:i386.
Preparing to unpack .../73-libboost-program-options1.83.0_1.83.0-4.1_i386.deb ...
Unpacking libboost-program-options1.83.0:i386 (1.83.0-4.1) ...
Selecting previously unselected package libboost-program-options1.83-dev:i386.
Preparing to unpack .../74-libboost-program-options1.83-dev_1.83.0-4.1_i386.deb ...
Unpacking libboost-program-options1.83-dev:i386 (1.83.0-4.1) ...
Selecting previously unselected package libboost-program-options-dev:i386.
Preparing to unpack .../75-libboost-program-options-dev_1.83.0.2+b2_i386.deb ...
Unpacking libboost-program-options-dev:i386 (1.83.0.2+b2) ...
Selecting previously unselected package libexpat1-dev:i386.
Preparing to unpack .../76-libexpat1-dev_2.6.4-1_i386.deb ...
Unpacking libexpat1-dev:i386 (2.6.4-1) ...
Selecting previously unselected package libjs-jquery.
Preparing to unpack .../77-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ...
Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
Selecting previously unselected package libjs-underscore.
Preparing to unpack .../78-libjs-underscore_1.13.4~dfsg+~1.11.4-3_all.deb ...
Unpacking libjs-underscore (1.13.4~dfsg+~1.11.4-3) ...
Selecting previously unselected package libjs-sphinxdoc.
Preparing to unpack .../79-libjs-sphinxdoc_8.1.3-5_all.deb ...
Unpacking libjs-sphinxdoc (8.1.3-5) ...
Selecting previously unselected package libpng16-16t64:i386.
Preparing to unpack .../80-libpng16-16t64_1.6.46-4_i386.deb ...
Unpacking libpng16-16t64:i386 (1.6.46-4) ...
Selecting previously unselected package libm4ri-0.0.20200125:i386.
Preparing to unpack .../81-libm4ri-0.0.20200125_20240729-1_i386.deb ...
Unpacking libm4ri-0.0.20200125:i386 (20240729-1) ...
Selecting previously unselected package libm4ri-dev.
Preparing to unpack .../82-libm4ri-dev_20240729-1_i386.deb ...
Unpacking libm4ri-dev (20240729-1) ...
Selecting previously unselected package libpython3.13:i386.
Preparing to unpack .../83-libpython3.13_3.13.2-1_i386.deb ...
Unpacking libpython3.13:i386 (3.13.2-1) ...
Selecting previously unselected package zlib1g-dev:i386.
Preparing to unpack .../84-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_i386.deb ...
Unpacking zlib1g-dev:i386 (1:1.3.dfsg+really1.3.1-1+b1) ...
Selecting previously unselected package libpython3.13-dev:i386.
Preparing to unpack .../85-libpython3.13-dev_3.13.2-1_i386.deb ...
Unpacking libpython3.13-dev:i386 (3.13.2-1) ...
Selecting previously unselected package libpython3-dev:i386.
Preparing to unpack .../86-libpython3-dev_3.13.1-2_i386.deb ...
Unpacking libpython3-dev:i386 (3.13.1-2) ...
Selecting previously unselected package python3-packaging.
Preparing to unpack .../87-python3-packaging_24.2-1_all.deb ...
Unpacking python3-packaging (24.2-1) ...
Selecting previously unselected package python3-pyproject-hooks.
Preparing to unpack .../88-python3-pyproject-hooks_1.2.0-1_all.deb ...
Unpacking python3-pyproject-hooks (1.2.0-1) ...
Selecting previously unselected package python3-toml.
Preparing to unpack .../89-python3-toml_0.10.2-1_all.deb ...
Unpacking python3-toml (0.10.2-1) ...
Selecting previously unselected package python3-wheel.
Preparing to unpack .../90-python3-wheel_0.45.1-1_all.deb ...
Unpacking python3-wheel (0.45.1-1) ...
Selecting previously unselected package python3-build.
Preparing to unpack .../91-python3-build_1.2.2-1_all.deb ...
Unpacking python3-build (1.2.2-1) ...
Selecting previously unselected package python3-installer.
Preparing to unpack .../92-python3-installer_0.7.0+dfsg1-3_all.deb ...
Unpacking python3-installer (0.7.0+dfsg1-3) ...
Selecting previously unselected package pybuild-plugin-pyproject.
Preparing to unpack .../93-pybuild-plugin-pyproject_6.20250108_all.deb ...
Unpacking pybuild-plugin-pyproject (6.20250108) ...
Selecting previously unselected package python3.13-dev.
Preparing to unpack .../94-python3.13-dev_3.13.2-1_i386.deb ...
Unpacking python3.13-dev (3.13.2-1) ...
Selecting previously unselected package python3-dev.
Preparing to unpack .../95-python3-dev_3.13.1-2_i386.deb ...
Unpacking python3-dev (3.13.1-2) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:i386 (1.5.8-1) ...
Setting up libboost-program-options1.83.0:i386 (1.83.0-4.1) ...
Setting up libkeyutils1:i386 (1.6.3-4) ...
Setting up libboost1.83-dev:i386 (1.83.0-4.1) ...
Setting up libicu72:i386 (72.1-6) ...
Setting up bsdextrautils (2.40.4-4) ...
Setting up libmagic-mgc (1:5.45-3+b1) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.24.1) ...
Setting up libbrotli1:i386 (1.1.0-2+b6) ...
Setting up libuv1t64:i386 (1.50.0-2) ...
Setting up libmagic1t64:i386 (1:5.45-3+b1) ...
Setting up libboost-program-options1.83-dev:i386 (1.83.0-4.1) ...
Setting up libnghttp2-14:i386 (1.64.0-1) ...
Setting up gettext-base (0.23.1-1) ...
Setting up m4 (1.4.19-5) ...
Setting up libcom-err2:i386 (1.47.2-1) ...
Setting up file (1:5.45-3+b1) ...
Setting up libelf1t64:i386 (0.192-4) ...
Setting up libkrb5support0:i386 (1.21.3-4) ...
Setting up libsasl2-modules-db:i386 (2.1.28+dfsg1-8+b1) ...
Setting up tzdata (2025a-2) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Mon Mar 30 09:07:00 UTC 2026.
Universal Time is now:  Mon Mar 30 09:07:00 UTC 2026.
Run 'dpkg-reconfigure tzdata' if you wish to change it.

Setting up autotools-dev (20220109.1) ...
Setting up libexpat1-dev:i386 (2.6.4-1) ...
Setting up libboost-program-options-dev:i386 (1.83.0.2+b2) ...
Setting up libjsoncpp26:i386 (1.9.6-3) ...
Setting up libproc2-0:i386 (2:4.0.4-7) ...
Setting up libunistring5:i386 (1.3-1) ...
Setting up libpng16-16t64:i386 (1.6.46-4) ...
Setting up autopoint (0.23.1-1) ...
Setting up libk5crypto3:i386 (1.21.3-4) ...
Setting up libsasl2-2:i386 (2.1.28+dfsg1-8+b1) ...
Setting up autoconf (2.72-3) ...
Setting up libnghttp3-9:i386 (1.6.0-2) ...
Setting up zlib1g-dev:i386 (1:1.3.dfsg+really1.3.1-1+b1) ...
Setting up libffi8:i386 (3.4.7-1) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.24) ...
Setting up libuchardet0:i386 (0.0.8-1+b2) ...
Setting up procps (2:4.0.4-7) ...
Setting up libtasn1-6:i386 (4.20.0-2) ...
Setting up netbase (6.4) ...
Setting up cmake-data (3.31.5-2) ...
Setting up librhash1:i386 (1.4.5-1) ...
Setting up libkrb5-3:i386 (1.21.3-4) ...
Setting up libssh2-1t64:i386 (1.11.1-1) ...
Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
Setting up readline-common (8.2-6) ...
Setting up libxml2:i386 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Setting up libldap2:i386 (2.6.9+dfsg-1) ...
Setting up liblocale-gettext-perl (1.07-7+b1) ...
Setting up libjs-underscore (1.13.4~dfsg+~1.11.4-3) ...
Setting up automake (1:1.17-3) ...
update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.14.1-2) ...
Setting up gettext (0.23.1-1) ...
Setting up libtool (2.5.4-3) ...
Setting up libidn2-0:i386 (2.3.7-2+b1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up help2man (1.49.3) ...
Setting up dh-autoreconf (20) ...
Setting up libm4ri-0.0.20200125:i386 (20240729-1) ...
Setting up libp11-kit0:i386 (0.25.5-3) ...
Setting up libgssapi-krb5-2:i386 (1.21.3-4) ...
Setting up libjs-sphinxdoc (8.1.3-5) ...
Setting up libm4ri-dev (20240729-1) ...
Setting up libreadline8t64:i386 (8.2-6) ...
Setting up dh-strip-nondeterminism (1.14.1-2) ...
Setting up groff-base (1.23.0-7) ...
Setting up libarchive13t64:i386 (3.7.4-1.1) ...
Setting up libpython3.13-stdlib:i386 (3.13.2-1) ...
Setting up libpython3-stdlib:i386 (3.13.1-2) ...
Setting up libpython3.13:i386 (3.13.2-1) ...
Setting up libgnutls30t64:i386 (3.8.9-2) ...
Setting up python3.13 (3.13.2-1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libpsl5t64:i386 (0.21.2-1.1+b1) ...
Setting up python3 (3.13.1-2) ...
Setting up python3-zipp (3.21.0-1) ...
Setting up python3-autocommand (2.2.2-3) ...
Setting up man-db (2.13.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up python3-wheel (0.45.1-1) ...
Setting up python3-packaging (24.2-1) ...
Setting up python3-pyproject-hooks (1.2.0-1) ...
Setting up librtmp1:i386 (2.4+20151223.gitfa8646d.1-2+b5) ...
Setting up libpython3.13-dev:i386 (3.13.2-1) ...
Setting up python3-typing-extensions (4.12.2-2) ...
Setting up python3-toml (0.10.2-1) ...
Setting up python3-installer (0.7.0+dfsg1-3) ...
Setting up python3-build (1.2.2-1) ...
Setting up python3-more-itertools (10.6.0-1) ...
Setting up libpython3-dev:i386 (3.13.1-2) ...
Setting up python3-jaraco.functools (4.1.0-1) ...
Setting up python3-jaraco.context (6.0.0-1) ...
Setting up libcurl4t64:i386 (8.12.1-2) ...
Setting up python3.13-dev (3.13.2-1) ...
Setting up python3-typeguard (4.4.1-1) ...
Setting up debhelper (13.24.1) ...
Setting up python3-inflect (7.3.1-2) ...
Setting up python3-jaraco.text (4.0.0-1) ...
Setting up python3-dev (3.13.1-2) ...
Setting up cmake (3.31.5-2) ...
Setting up python3-pkg-resources (75.8.0-1) ...
Setting up python3-setuptools (75.8.0-1) ...
Setting up dh-python (6.20250108) ...
Setting up pybuild-plugin-pyproject (6.20250108) ...
Processing triggers for libc-bin (2.40-7) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
Building tag database...
 -> Finished parsing the build-deps
Reading package lists...
Building dependency tree...
Reading state information...
fakeroot is already the newest version (1.37-1).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
I: Building the package
I: user script /srv/workspace/pbuilder/65600/tmp/hooks/A99_set_merged_usr starting
Not re-configuring usrmerge for trixie
I: user script /srv/workspace/pbuilder/65600/tmp/hooks/A99_set_merged_usr finished
hostname: Name or service not known
I: Running cd /build/reproducible-path/cryptominisat-5.11.21+dfsg1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S  > ../cryptominisat_5.11.21+dfsg1-1_source.changes
dpkg-buildpackage: info: source package cryptominisat
dpkg-buildpackage: info: source version 5.11.21+dfsg1-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture i386
 debian/rules clean
dh clean --with python3 --buildsystem=pybuild
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
if test -f Makefile; then \
   make clean ; \
fi
rm -rf build/ .pybuild/ CMakeFiles/ cmsat5-src/ src/pycryptosat.egg-info/ include/
rm -f CMakeCache.txt Makefile compile_commands.json *.cmake install_manifest.txt
rm -f cryptominisat5.1
make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
   dh_autoreconf_clean -O--buildsystem=pybuild
   dh_clean -O--buildsystem=pybuild
 debian/rules binary
dh binary --with python3 --buildsystem=pybuild
   dh_update_autotools_config -O--buildsystem=pybuild
   dh_autoreconf -O--buildsystem=pybuild
   debian/rules override_dh_auto_configure
make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
mkdir build && cd build
cmake -DCMAKE_LIBRARY_ARCHITECTURE=i386-linux-gnu -DCMAKE_BUILD_RPATH_USE_ORIGIN=ON -DCMAKE_INSTALL_PREFIX=/usr
CMake Warning:
  No source or binary directory provided.  Both will be assumed to be the
  same as the current working directory, but note that this warning will
  become a fatal error in future CMake releases.


CMake Warning (dev) at CMakeLists.txt:25 (enable_language):
  project() should be called prior to this enable_language() call.
This warning is for project developers.  Use -Wno-dev to suppress it.

-- The CXX compiler identification is GNU 14.2.0
-- 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
-- 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.0
-- 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
-- Could NOT find tbuddy (missing: tbuddy_DIR)
-- tbuddy not found, not compiling with tbuddy-based GJ FRAT proofs
-- 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
-- PROJECT_VERSION: 5.11.21
-- PROJECT_VERSION_MAJOR: 5
-- PROJECT_VERSION_MINOR: 11
-- PROJECT_VERSION_PATCH: 21
-- Not compiling detailed statistics. The system is faster without them
CMake Warning (dev) at CMakeLists.txt:524 (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/i386-linux-gnu/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
-- 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:714 (message):
  Testing is disabled


CMake Warning at CMakeLists.txt:745 (export):
  Cannot create package registry file:

    /nonexistent/second-build/.cmake/packages/cryptominisat5/26f50bd9b2f5fc7ca06460f9fba531be

  No such file or directory



-- Configuring done (4.9s)
-- Generating done (0.0s)
-- Build files have been written to: /build/reproducible-path/cryptominisat-5.11.21+dfsg1
make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
make
make[2]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
[  1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
[  3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o
[  5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
[  7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o
[  9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o
[ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::subs_with_resolvent_clauses()':
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1140:33: warning: 'ID1' may be used uninitialized [-Wmaybe-uninitialized]
 1140 |                         if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue;
      |                             ~~~~^~~~~~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1080:17: note: 'ID1' was declared here
 1080 |         int32_t ID1;
      |                 ^~~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1140:47: warning: 'ID2' may be used uninitialized [-Wmaybe-uninitialized]
 1140 |                         if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue;
      |                                           ~~~~^~~~~~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1081:17: note: 'ID2' was declared here
 1081 |         int32_t ID2;
      |                 ^~~
[ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o
[ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o
[ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o
[ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o
[ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
[ 23%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o
[ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o
[ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o
[ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o
[ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o
[ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o
[ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o
[ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o
In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solverconf.h:30,
                 from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solvertypes.h:38,
                 from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propby.h:26,
                 from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.h:33,
                 from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.h:29,
                 from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:23:
In member function 'constexpr uint32_t CMSat::Lit::var() const',
    inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:3522:53:
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference]
   67 |         return x >> 1;
      |                ^
In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/heap.h:25,
                 from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.h:38:
In member function 'void CMSat::vec<T>::push(const T&) [with T = CMSat::Watched]',
    inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:3543:40:
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/Vec.h:143:9: warning: 'offs' may be used uninitialized [-Wmaybe-uninitialized]
  143 |         data[sz++] = elem;
      |         ^~~~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp: In member function 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)':
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:3488:18: note: 'offs' was declared here
 3488 |         ClOffset offs;
      |                  ^~~~
[ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.cpp: In member function 'bool CMSat::Solver::oracle_vivif(bool&)':
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.cpp:5000:25: warning: declaration of 'stats' shadows a member of 'CMSat::Solver' [-Wshadow]
 5000 |             ClauseStats stats;
      |                         ^~~~~
In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.h:36,
                 from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.cpp:23:
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.h:213:21: note: shadowed declaration is here
  213 |         SearchStats stats;
      |                     ^~~~~
[ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o
[ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o
[ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o
[ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o
[ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o
[ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o
[ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o
[ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o
[ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o
[ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o
[ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o
[ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o
[ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o
[ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o
[ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o
[ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o
[ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o
[ 74%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o
[ 76%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o
[ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp: In member function 'uint32_t CMSat::MatrixFinder::setMatrixes()':
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp:334:17: warning: 'ratio_sampling' may be used uninitialized [-Wmaybe-uninitialized]
  334 |                 if (ratio_sampling >= 0.6) { //TODO Magic constant
      |                 ^~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp:296:16: note: 'ratio_sampling' was declared here
  296 |         double ratio_sampling;
      |                ^~~~~~~~~~~~~~
[ 80%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:479:7: warning: ISO C forbids zero-size array 'znt' [-Wpedantic]
  479 |   Znt znt[0];
      |       ^~~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:485:7: warning: ISO C forbids zero-size array 'cls' [-Wpedantic]
  485 |   Cls cls[0];
      |       ^~~
In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:26:
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c: In function 'fixvar':
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |                       ^~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer?
  180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
      |                    ^
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |           ^~~~~~~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |                       ^~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer?
  180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
      |                    ^
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |           ^~~~~~~
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c: In function 'write_idx':
/build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.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
[ 82%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o
[ 84%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o
In file included from /usr/include/c++/14/string:51,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/ios:44,
                 from /usr/include/c++/14/ostream:40,
                 from /usr/include/c++/14/iostream:41,
                 from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/oracle/oracle.h:25,
                 from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/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/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/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<const int*, vector<int> >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
    inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
    inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, std::vector<int> >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
    inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
    inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _ForwardIterator = int*; _Tp = int]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
    inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator<int>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
    inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector<int>, bool)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/oracle/oracle.cpp:869:16:
/usr/include/c++/14/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
[100%] Built target man_cryptominisat5
Copying cryptominisat_c.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
Copying cryptominisat.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
Copying solvertypesmini.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
Copying dimacsparser.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
Copying streambuffer.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
[100%] Built target CopyPublicHeaders
make[2]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
pybuild --build
I: pybuild plugin_pyproject:129: Building wheel for python3.13 with "build" module
I: pybuild base:311: python3.13 -m build --skip-dependency-check --no-isolation --wheel --outdir /build/reproducible-path/cryptominisat-5.11.21+dfsg1/.pybuild/cpython3_3.13  
* Building wheel...
running bdist_wheel
running build
running build_py
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'
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 '*.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-i686-cpython-313/oracle
copying src/oracle/oracle.cpp -> build/lib.linux-i686-cpython-313/oracle
copying src/oracle/oracle.h -> build/lib.linux-i686-cpython-313/oracle
copying src/oracle/utils.h -> build/lib.linux-i686-cpython-313/oracle
creating build/lib.linux-i686-cpython-313/picosat
copying src/picosat/pico_config.h -> build/lib.linux-i686-cpython-313/picosat
copying src/picosat/picosat.c -> build/lib.linux-i686-cpython-313/picosat
copying src/picosat/picosat.h -> build/lib.linux-i686-cpython-313/picosat
copying src/picosat/version.c -> build/lib.linux-i686-cpython-313/picosat
creating build/lib.linux-i686-cpython-313/msvc
copying src/msvc/stdint.h -> build/lib.linux-i686-cpython-313/msvc
running build_clib
building 'picosatlib' library
creating build/temp.linux-i686-cpython-313/src/picosat
i686-linux-gnu-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -Isrc/picosat/ -c src/picosat/picosat.c -o build/temp.linux-i686-cpython-313/src/picosat/picosat.o
src/picosat/picosat.c:479:7: warning: ISO C forbids zero-size array 'znt' [-Wpedantic]
  479 |   Znt znt[0];
      |       ^~~
src/picosat/picosat.c:485:7: warning: ISO C forbids zero-size array 'cls' [-Wpedantic]
  485 |   Cls cls[0];
      |       ^~~
In file included from src/picosat/picosat.c:26:
src/picosat/picosat.c: In function 'fixvar':
src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |                       ^~
src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer?
  180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
      |                    ^
src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |           ^~~~~~~
src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |                       ^~
src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer?
  180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
      |                    ^
src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |           ^~~~~~~
src/picosat/picosat.c: In function 'write_idx':
src/picosat/picosat.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
i686-linux-gnu-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -Isrc/picosat/ -c src/picosat/version.c -o build/temp.linux-i686-cpython-313/src/picosat/version.o
i686-linux-gnu-gcc-ar rcs build/temp.linux-i686-cpython-313/libpicosatlib.a build/temp.linux-i686-cpython-313/src/picosat/picosat.o build/temp.linux-i686-cpython-313/src/picosat/version.o
running build_ext
building 'pycryptosat' extension
creating build/temp.linux-i686-cpython-313/python/src
creating build/temp.linux-i686-cpython-313/src/oracle
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c python/src/GitSHA1.cpp -o build/temp.linux-i686-cpython-313/python/src/GitSHA1.o -I../ -Isrc/ -std=c++17
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c python/src/pycryptosat.cpp -o build/temp.linux-i686-cpython-313/python/src/pycryptosat.o -I../ -Isrc/ -std=c++17
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/bva.cpp -o build/temp.linux-i686-cpython-313/src/bva.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/bva.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/ios:44,
                 from /usr/include/c++/14/ostream:40,
                 from /usr/include/c++/14/iostream:41,
                 from src/heap.h:24,
                 from src/bva.h:26,
                 from src/bva.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/cardfinder.cpp -o build/temp.linux-i686-cpython-313/src/cardfinder.o -I../ -Isrc/ -std=c++17
In file included from src/cardfinder.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/cardfinder.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/ccnr.cpp -o build/temp.linux-i686-cpython-313/src/ccnr.o -I../ -Isrc/ -std=c++17
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/ccnr_cms.cpp -o build/temp.linux-i686-cpython-313/src/ccnr_cms.o -I../ -Isrc/ -std=c++17
In file included from src/ccnr_cms.cpp:23:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/time_mem.h:26:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/clauseallocator.cpp -o build/temp.linux-i686-cpython-313/src/clauseallocator.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/clauseallocator.cpp:33:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/clauseallocator.h:27,
                 from src/clauseallocator.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/clausecleaner.cpp -o build/temp.linux-i686-cpython-313/src/clausecleaner.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/clausecleaner.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/clausecleaner.h:26,
                 from src/clausecleaner.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/cnf.cpp -o build/temp.linux-i686-cpython-313/src/cnf.o -I../ -Isrc/ -std=c++17
In file included from src/cnf.cpp:32:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/cnf.h:27,
                 from src/cnf.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/completedetachreattacher.cpp -o build/temp.linux-i686-cpython-313/src/completedetachreattacher.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/completedetachreattacher.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/completedetachreattacher.h:26,
                 from src/completedetachreattacher.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/cryptominisat.cpp -o build/temp.linux-i686-cpython-313/src/cryptominisat.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/cryptominisat.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/cryptominisat.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/cryptominisat_c.cpp -o build/temp.linux-i686-cpython-313/src/cryptominisat_c.o -I../ -Isrc/ -std=c++17
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/datasync.cpp -o build/temp.linux-i686-cpython-313/src/datasync.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/datasync.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/solvertypes.h:27,
                 from src/datasync.h:26,
                 from src/datasync.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/distillerbin.cpp -o build/temp.linux-i686-cpython-313/src/distillerbin.o -I../ -Isrc/ -std=c++17
In file included from src/distillerbin.cpp:29:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/iomanip:42,
                 from src/distillerbin.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/distillerlitrem.cpp -o build/temp.linux-i686-cpython-313/src/distillerlitrem.o -I../ -Isrc/ -std=c++17
In file included from src/distillerlitrem.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/bits/refwrap.h:39,
                 from /usr/include/c++/14/vector:68,
                 from src/distillerlitrem.h:26,
                 from src/distillerlitrem.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/distillerlong.cpp -o build/temp.linux-i686-cpython-313/src/distillerlong.o -I../ -Isrc/ -std=c++17
In file included from src/distillerlong.cpp:26:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/bits/refwrap.h:39,
                 from /usr/include/c++/14/vector:68,
                 from src/distillerlong.h:26,
                 from src/distillerlong.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/distillerlongwithimpl.cpp -o build/temp.linux-i686-cpython-313/src/distillerlongwithimpl.o -I../ -Isrc/ -std=c++17
In file included from src/distillerlongwithimpl.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/bits/refwrap.h:39,
                 from /usr/include/c++/14/vector:68,
                 from src/distillerlongwithimpl.h:26,
                 from src/distillerlongwithimpl.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/frat.cpp -o build/temp.linux-i686-cpython-313/src/frat.o -I../ -Isrc/ -std=c++17
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/gatefinder.cpp -o build/temp.linux-i686-cpython-313/src/gatefinder.o -I../ -Isrc/ -std=c++17
In file included from src/gatefinder.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/solvertypes.h:27,
                 from src/gatefinder.h:26,
                 from src/gatefinder.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/gaussian.cpp -o build/temp.linux-i686-cpython-313/src/gaussian.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/gaussian.cpp:41:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/iomanip:42,
                 from src/gaussian.cpp:31:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/get_clause_query.cpp -o build/temp.linux-i686-cpython-313/src/get_clause_query.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/get_clause_query.cpp:26:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/get_clause_query.h:25,
                 from src/get_clause_query.cpp:25:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/hyperengine.cpp -o build/temp.linux-i686-cpython-313/src/hyperengine.o -I../ -Isrc/ -std=c++17
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/intree.cpp -o build/temp.linux-i686-cpython-313/src/intree.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/intree.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/cloffset.h:26,
                 from src/intree.h:23,
                 from src/intree.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/lucky.cpp -o build/temp.linux-i686-cpython-313/src/lucky.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/lucky.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/solver.h:25:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/matrixfinder.cpp -o build/temp.linux-i686-cpython-313/src/matrixfinder.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/matrixfinder.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/bits/refwrap.h:39,
                 from /usr/include/c++/14/vector:68,
                 from src/matrixfinder.h:26,
                 from src/matrixfinder.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/occsimplifier.cpp -o build/temp.linux-i686-cpython-313/src/occsimplifier.o -I../ -Isrc/ -std=c++17
In file included from src/occsimplifier.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/occsimplifier.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/oracle/oracle.cpp -o build/temp.linux-i686-cpython-313/src/oracle/oracle.o -I../ -Isrc/ -std=c++17
In file included from /usr/include/c++/14/string:51,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/ios:44,
                 from /usr/include/c++/14/ostream:40,
                 from /usr/include/c++/14/iostream:41,
                 from src/oracle/oracle.h:25,
                 from 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/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/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<const int*, vector<int> >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
    inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
    inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, std::vector<int> >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
    inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
    inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _ForwardIterator = int*; _Tp = int]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
    inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator<int>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
    inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector<int>, bool)' at src/oracle/oracle.cpp:869:16:
/usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, unsigned int)' writing between 5 and 2147483647 bytes into a region of size 4 overflows the destination [-Wstringop-overflow=]
  452 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/i386-linux-gnu/c++/14/bits/c++allocator.h:33,
                 from /usr/include/c++/14/bits/allocator.h:46,
                 from /usr/include/c++/14/string:43:
In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = int]',
    inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = int]' at /usr/include/c++/14/bits/alloc_traits.h:515:28,
    inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = int; _Alloc = std::allocator<int>]' at /usr/include/c++/14/bits/stl_vector.h:380:33,
    inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = int; _Alloc = std::allocator<int>]' at /usr/include/c++/14/bits/stl_vector.h:398:44,
    inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = int; _Alloc = std::allocator<int>]' at /usr/include/c++/14/bits/stl_vector.h:334:26,
    inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator<int>]' at /usr/include/c++/14/bits/stl_vector.h:603:61,
    inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector<int>, bool)' at src/oracle/oracle.cpp:869:16:
/usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 4 allocated by 'operator new'
  151 |         return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
      |                                                       ^
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/packedrow.cpp -o build/temp.linux-i686-cpython-313/src/packedrow.o -I../ -Isrc/ -std=c++17
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/propengine.cpp -o build/temp.linux-i686-cpython-313/src/propengine.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/propengine.cpp:32:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/bits/refwrap.h:39,
                 from /usr/include/c++/14/deque:67,
                 from /usr/include/c++/14/stack:62,
                 from src/propengine.h:28,
                 from src/propengine.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/reducedb.cpp -o build/temp.linux-i686-cpython-313/src/reducedb.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/reducedb.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/clauseallocator.h:27,
                 from src/reducedb.h:26,
                 from src/reducedb.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/sccfinder.cpp -o build/temp.linux-i686-cpython-313/src/sccfinder.o -I../ -Isrc/ -std=c++17
In file included from src/sccfinder.cpp:30:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/ios:44,
                 from /usr/include/c++/14/ostream:40,
                 from /usr/include/c++/14/iostream:41,
                 from src/sccfinder.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/searcher.cpp -o build/temp.linux-i686-cpython-313/src/searcher.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/searcher.cpp:23:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/searcher.h:28:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/searchstats.cpp -o build/temp.linux-i686-cpython-313/src/searchstats.o -I../ -Isrc/ -std=c++17
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/sls.cpp -o build/temp.linux-i686-cpython-313/src/sls.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/sls.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/solvertypes.h:27,
                 from src/sls.h:26,
                 from src/sls.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/solutionextender.cpp -o build/temp.linux-i686-cpython-313/src/solutionextender.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/solutionextender.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/solvertypes.h:27,
                 from src/solutionextender.h:26,
                 from src/solutionextender.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/solver.cpp -o build/temp.linux-i686-cpython-313/src/solver.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/solver.cpp:23:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/solver.h:25:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/solverconf.cpp -o build/temp.linux-i686-cpython-313/src/solverconf.o -I../ -Isrc/ -std=c++17
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/str_impl_w_impl.cpp -o build/temp.linux-i686-cpython-313/src/str_impl_w_impl.o -I../ -Isrc/ -std=c++17
In file included from src/str_impl_w_impl.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/bits/refwrap.h:39,
                 from /usr/include/c++/14/vector:68,
                 from src/str_impl_w_impl.h:26,
                 from src/str_impl_w_impl.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/subsumeimplicit.cpp -o build/temp.linux-i686-cpython-313/src/subsumeimplicit.o -I../ -Isrc/ -std=c++17
In file included from src/subsumeimplicit.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/bits/refwrap.h:39,
                 from /usr/include/c++/14/vector:68,
                 from src/subsumeimplicit.h:26,
                 from src/subsumeimplicit.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/subsumestrengthen.cpp -o build/temp.linux-i686-cpython-313/src/subsumestrengthen.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/subsumestrengthen.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/string:49,
                 from /usr/include/c++/14/random:43,
                 from src/constants.h:29,
                 from src/cloffset.h:26,
                 from src/subsumestrengthen.h:26,
                 from src/subsumestrengthen.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/varreplacer.cpp -o build/temp.linux-i686-cpython-313/src/varreplacer.o -I../ -Isrc/ -std=c++17
In file included from src/searcher.h:31,
                 from src/solver.h:36,
                 from src/varreplacer.cpp:25:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/bits/stl_tree.h:65,
                 from /usr/include/c++/14/map:62,
                 from src/varreplacer.h:25,
                 from src/varreplacer.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.13 -c src/xorfinder.cpp -o build/temp.linux-i686-cpython-313/src/xorfinder.o -I../ -Isrc/ -std=c++17
In file included from src/xorfinder.cpp:24:
src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/bits/stl_function.h:1435,
                 from /usr/include/c++/14/bits/refwrap.h:39,
                 from /usr/include/c++/14/vector:68,
                 from src/xorfinder.h:27,
                 from src/xorfinder.cpp:23:
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/backward/binders.h:136:5: note: declared here
  136 |     bind1st(const _Operation& __fn, const _Tp& __x)
      |     ^~~~~~~
i686-linux-gnu-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -fwrapv -O2 -Wl,-z,relro -Wl,-z,now -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-i686-cpython-313/python/src/GitSHA1.o build/temp.linux-i686-cpython-313/python/src/pycryptosat.o build/temp.linux-i686-cpython-313/src/bva.o build/temp.linux-i686-cpython-313/src/cardfinder.o build/temp.linux-i686-cpython-313/src/ccnr.o build/temp.linux-i686-cpython-313/src/ccnr_cms.o build/temp.linux-i686-cpython-313/src/clauseallocator.o build/temp.linux-i686-cpython-313/src/clausecleaner.o build/temp.linux-i686-cpython-313/src/cnf.o build/temp.linux-i686-cpython-313/src/completedetachreattacher.o build/temp.linux-i686-cpython-313/src/cryptominisat.o build/temp.linux-i686-cpython-313/src/cryptominisat_c.o build/temp.linux-i686-cpython-313/src/datasync.o build/temp.linux-i686-cpython-313/src/distillerbin.o build/temp.linux-i686-cpython-313/src/distillerlitrem.o build/temp.linux-i686-cpython-313/src/distillerlong.o build/temp.linux-i686-cpython-313/src/distillerlongwithimpl.o build/temp.linux-i686-cpython-313/src/frat.o build/temp.linux-i686-cpython-313/src/gatefinder.o build/temp.linux-i686-cpython-313/src/gaussian.o build/temp.linux-i686-cpython-313/src/get_clause_query.o build/temp.linux-i686-cpython-313/src/hyperengine.o build/temp.linux-i686-cpython-313/src/intree.o build/temp.linux-i686-cpython-313/src/lucky.o build/temp.linux-i686-cpython-313/src/matrixfinder.o build/temp.linux-i686-cpython-313/src/occsimplifier.o build/temp.linux-i686-cpython-313/src/oracle/oracle.o build/temp.linux-i686-cpython-313/src/packedrow.o build/temp.linux-i686-cpython-313/src/propengine.o build/temp.linux-i686-cpython-313/src/reducedb.o build/temp.linux-i686-cpython-313/src/sccfinder.o build/temp.linux-i686-cpython-313/src/searcher.o build/temp.linux-i686-cpython-313/src/searchstats.o build/temp.linux-i686-cpython-313/src/sls.o build/temp.linux-i686-cpython-313/src/solutionextender.o build/temp.linux-i686-cpython-313/src/solver.o build/temp.linux-i686-cpython-313/src/solverconf.o build/temp.linux-i686-cpython-313/src/str_impl_w_impl.o build/temp.linux-i686-cpython-313/src/subsumeimplicit.o build/temp.linux-i686-cpython-313/src/subsumestrengthen.o build/temp.linux-i686-cpython-313/src/varreplacer.o build/temp.linux-i686-cpython-313/src/xorfinder.o -L/usr/lib/i386-linux-gnu -Lbuild/temp.linux-i686-cpython-313 -lpicosatlib -o build/lib.linux-i686-cpython-313/pycryptosat.cpython-313-i386-linux-gnu.so
installing to build/bdist.linux-i686/wheel
running install
running install_lib
creating build/bdist.linux-i686/wheel
creating build/bdist.linux-i686/wheel/oracle
copying build/lib.linux-i686-cpython-313/oracle/utils.h -> build/bdist.linux-i686/wheel/./oracle
copying build/lib.linux-i686-cpython-313/oracle/oracle.cpp -> build/bdist.linux-i686/wheel/./oracle
copying build/lib.linux-i686-cpython-313/oracle/oracle.h -> build/bdist.linux-i686/wheel/./oracle
creating build/bdist.linux-i686/wheel/picosat
copying build/lib.linux-i686-cpython-313/picosat/picosat.c -> build/bdist.linux-i686/wheel/./picosat
copying build/lib.linux-i686-cpython-313/picosat/pico_config.h -> build/bdist.linux-i686/wheel/./picosat
copying build/lib.linux-i686-cpython-313/picosat/picosat.h -> build/bdist.linux-i686/wheel/./picosat
copying build/lib.linux-i686-cpython-313/picosat/version.c -> build/bdist.linux-i686/wheel/./picosat
copying build/lib.linux-i686-cpython-313/pycryptosat.cpython-313-i386-linux-gnu.so -> build/bdist.linux-i686/wheel/.
creating build/bdist.linux-i686/wheel/msvc
copying build/lib.linux-i686-cpython-313/msvc/stdint.h -> build/bdist.linux-i686/wheel/./msvc
running install_egg_info
Copying src/pycryptosat.egg-info to build/bdist.linux-i686/wheel/./pycryptosat-5.11.21.egg-info
running install_scripts
creating build/bdist.linux-i686/wheel/pycryptosat-5.11.21.dist-info/WHEEL
creating '/build/reproducible-path/cryptominisat-5.11.21+dfsg1/.pybuild/cpython3_3.13/.tmp-dafu1tpw/pycryptosat-5.11.21-cp313-cp313-linux_i686.whl' and adding 'build/bdist.linux-i686/wheel' to it
adding 'pycryptosat.cpython-313-i386-linux-gnu.so'
adding 'msvc/stdint.h'
adding 'oracle/oracle.cpp'
adding 'oracle/oracle.h'
adding 'oracle/utils.h'
adding 'picosat/pico_config.h'
adding 'picosat/picosat.c'
adding 'picosat/picosat.h'
adding 'picosat/version.c'
adding 'pycryptosat-5.11.21.dist-info/AUTHORS'
adding 'pycryptosat-5.11.21.dist-info/LICENSE.txt'
adding 'pycryptosat-5.11.21.dist-info/METADATA'
adding 'pycryptosat-5.11.21.dist-info/WHEEL'
adding 'pycryptosat-5.11.21.dist-info/top_level.txt'
adding 'pycryptosat-5.11.21.dist-info/RECORD'
removing build/bdist.linux-i686/wheel
Successfully built pycryptosat-5.11.21-cp313-cp313-linux_i686.whl
I: pybuild plugin_pyproject:144: Unpacking wheel built for python3.13 with "installer" module
make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
   dh_auto_test -O--buildsystem=pybuild
I: pybuild base:311: cd /build/reproducible-path/cryptominisat-5.11.21+dfsg1/.pybuild/cpython3_3.13/build; python3.13 -m unittest discover -v 

----------------------------------------------------------------------
Ran 0 tests in 0.000s

NO TESTS RAN
   create-stamp debian/debhelper-build-stamp
   dh_testroot -O--buildsystem=pybuild
   dh_prep -O--buildsystem=pybuild
   dh_auto_install -O--buildsystem=pybuild
I: pybuild plugin_pyproject:178: Copying package built for python3.13 to destdir
   debian/rules override_dh_install
make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
make install DESTDIR=debian/tmp
make[2]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
[ 90%] Built target cryptominisat5
[100%] Built target cryptominisat5-bin
[100%] Built target man_cryptominisat5
Copying cryptominisat_c.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
Copying cryptominisat.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
Copying solvertypesmini.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
Copying dimacsparser.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
Copying streambuffer.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5
[100%] Built target CopyPublicHeaders
Install the project...
-- Install configuration: "RelWithDebInfo"
-- Installing: debian/tmp/usr/share/man/man1/cryptominisat5.1
-- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake
-- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
-- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
-- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
-- Installing: debian/tmp/usr/lib/i386-linux-gnu/libcryptominisat5.so.5.11
-- Installing: debian/tmp/usr/lib/i386-linux-gnu/libcryptominisat5.so
-- Installing: debian/tmp/usr/include/cryptominisat5/cryptominisat_c.h
-- Installing: debian/tmp/usr/include/cryptominisat5/cryptominisat.h
-- Installing: debian/tmp/usr/include/cryptominisat5/solvertypesmini.h
-- Installing: debian/tmp/usr/include/cryptominisat5/dimacsparser.h
-- Installing: debian/tmp/usr/include/cryptominisat5/streambuffer.h
-- Installing: debian/tmp/usr/bin/cryptominisat5
-- Set non-toolchain portion of runtime path of "debian/tmp/usr/bin/cryptominisat5" to ""
make[2]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
pybuild --install
I: pybuild plugin_pyproject:178: Copying package built for python3.13 to destdir
dh_install
make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1'
   dh_installdocs -O--buildsystem=pybuild
   dh_installchangelogs -O--buildsystem=pybuild
   dh_installman -O--buildsystem=pybuild
   dh_python3 -O--buildsystem=pybuild
   dh_installsystemduser -O--buildsystem=pybuild
   dh_installmenu -O--buildsystem=pybuild
   dh_lintian -O--buildsystem=pybuild
   dh_perl -O--buildsystem=pybuild
   dh_link -O--buildsystem=pybuild
   dh_strip_nondeterminism -O--buildsystem=pybuild
   dh_compress -O--buildsystem=pybuild
   dh_fixperms -O--buildsystem=pybuild
   dh_missing -O--buildsystem=pybuild
   dh_dwz -a -O--buildsystem=pybuild
   dh_strip -a -O--buildsystem=pybuild
   dh_makeshlibs -a -O--buildsystem=pybuild
   dh_shlibdeps -a -O--buildsystem=pybuild
   dh_installdeb -O--buildsystem=pybuild
   dh_gencontrol -O--buildsystem=pybuild
   dh_md5sums -O--buildsystem=pybuild
   dh_builddeb -O--buildsystem=pybuild
dpkg-deb: building package 'libcryptominisat5-5.11t64-dbgsym' in '../libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_i386.deb'.
dpkg-deb: building package 'libcryptominisat5-5.11t64' in '../libcryptominisat5-5.11t64_5.11.21+dfsg1-1_i386.deb'.
dpkg-deb: building package 'cryptominisat' in '../cryptominisat_5.11.21+dfsg1-1_i386.deb'.
dpkg-deb: building package 'cryptominisat-dbgsym' in '../cryptominisat-dbgsym_5.11.21+dfsg1-1_i386.deb'.
dpkg-deb: building package 'python3-cryptominisat' in '../python3-cryptominisat_5.11.21+dfsg1-1_i386.deb'.
dpkg-deb: building package 'python3-cryptominisat-dbgsym' in '../python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_i386.deb'.
dpkg-deb: building package 'libcryptominisat5-dev' in '../libcryptominisat5-dev_5.11.21+dfsg1-1_i386.deb'.
 dpkg-genbuildinfo --build=binary -O../cryptominisat_5.11.21+dfsg1-1_i386.buildinfo
 dpkg-genchanges --build=binary -O../cryptominisat_5.11.21+dfsg1-1_i386.changes
dpkg-genchanges: info: binary-only upload (no source code included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: including full source code in upload
I: copying local configuration
I: user script /srv/workspace/pbuilder/65600/tmp/hooks/B01_cleanup starting
I: user script /srv/workspace/pbuilder/65600/tmp/hooks/B01_cleanup finished
I: unmounting dev/ptmx filesystem
I: unmounting dev/pts filesystem
I: unmounting dev/shm filesystem
I: unmounting proc filesystem
I: unmounting sys filesystem
I: cleaning the build env 
I: removing directory /srv/workspace/pbuilder/65600 and its subdirectories
I: Current time: Mon Mar 30 23:12:45 +14 2026
I: pbuilder-time-stamp: 1774861965