Diff of the two buildlogs: -- --- b1/build.log 2025-11-01 06:05:00.929022771 +0000 +++ b2/build.log 2025-11-01 06:05:47.973075132 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Fri Dec 4 00:25:33 -12 2026 -I: pbuilder-time-stamp: 1796387133 +I: Current time: Sat Nov 1 20:05:02 +14 2025 +I: pbuilder-time-stamp: 1761977102 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/forky-reproducible-base.tgz] I: copying local configuration @@ -27,53 +27,85 @@ dpkg-source: info: applying fix-macro-typo-in-tests.patch I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/1472108/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/3531331/tmp/hooks/D01_modify_environment starting +debug: Running on ionos1-amd64. +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 Nov 1 06:05 /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/3531331/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/3531331/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=42 ' - DISTRIBUTION='forky' - HOME='/root' - HOST_ARCH='amd64' + 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]="3" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.3.3(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=40 nocheck' + DIRSTACK=() + DISTRIBUTION=forky + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='f2a1a085d3584f55ad95e2a8764b343a' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='1472108' - PS1='# ' - PS2='> ' + INVOCATION_ID=74c059d48eaa45789fc8cbafe2e36e4c + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-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=3531331 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.pPde00Yl/pbuilderrc_Bxoo --distribution forky --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.pPde00Yl/b1 --logfile b1/build.log kissat_4.0.3-2.dsc' - SUDO_GID='111' - SUDO_HOME='/var/lib/jenkins' - SUDO_UID='106' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://213.165.73.152:3128' + 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.pPde00Yl/pbuilderrc_zJqE --distribution forky --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.pPde00Yl/b2 --logfile b2/build.log kissat_4.0.3-2.dsc' + SUDO_GID=110 + SUDO_HOME=/var/lib/jenkins + SUDO_UID=105 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://46.16.76.132:3128 I: uname -a - Linux ionos15-amd64 6.12.48+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.48-1 (2025-09-20) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.12.48+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.48-1 (2025-09-20) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/1472108/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Aug 10 12:30 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/3531331/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -145,7 +177,7 @@ Get: 30 http://deb.debian.org/debian forky/main amd64 debhelper all 13.28 [941 kB] Get: 31 http://deb.debian.org/debian forky/main amd64 drat-trim amd64 0.0~git20240428.effa1dc-2 [28.9 kB] Get: 32 http://deb.debian.org/debian forky/main amd64 help2man amd64 1.49.3 [198 kB] -Fetched 11.5 MB in 1s (19.5 MB/s) +Fetched 11.5 MB in 2s (6294 kB/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 ... 19869 files and directories currently installed.) @@ -288,7 +320,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/kissat-4.0.3/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../kissat_4.0.3-2_source.changes +I: user script /srv/workspace/pbuilder/3531331/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for forky +I: user script /srv/workspace/pbuilder/3531331/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/kissat-4.0.3/ && 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 > ../kissat_4.0.3-2_source.changes dpkg-buildpackage: info: source package kissat dpkg-buildpackage: info: source version 4.0.3-2 dpkg-buildpackage: info: source distribution unstable @@ -316,7 +352,7 @@ configure: linking src/makefile make[1]: Leaving directory '/build/reproducible-path/kissat-4.0.3' dh_auto_build - make -j42 + make -j40 make[1]: Entering directory '/build/reproducible-path/kissat-4.0.3' make -C "/build/reproducible-path/kissat-4.0.3/build" make[2]: Entering directory '/build/reproducible-path/kissat-4.0.3/build' @@ -612,7 +648,6 @@ ../test/testfile.c:88:3: note: in expansion of macro 'WRITABLE' 88 | WRITABLE (false, "/kissat-test-file-writable"); | ^~~~~~~~ -x86_64-linux-gnu-gcc -W -Wall -ggdb3 -DEMBEDDED -DLOGGING -DMETRICS -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/kissat-4.0.3=. -flto=auto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -D_DEFAULT_SOURCE -Wdate-time -D_FORTIFY_SOURCE=2 -c ../test/teststack.c ../test/testfile.c:69:22: note: did you mean to use logical not? 69 | else if (!RES && ~EXPECTED) \ | ^ @@ -643,6 +678,7 @@ ../test/testfile.c:91:5: note: in expansion of macro 'WRITABLE' 91 | WRITABLE (false, "/etc/passwd"); | ^~~~~~~~ +x86_64-linux-gnu-gcc -W -Wall -ggdb3 -DEMBEDDED -DLOGGING -DMETRICS -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/kissat-4.0.3=. -flto=auto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -D_DEFAULT_SOURCE -Wdate-time -D_FORTIFY_SOURCE=2 -c ../test/teststack.c x86_64-linux-gnu-gcc -W -Wall -ggdb3 -DEMBEDDED -DLOGGING -DMETRICS -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/kissat-4.0.3=. -flto=auto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -D_DEFAULT_SOURCE -Wdate-time -D_FORTIFY_SOURCE=2 -c ../test/testterminate.c x86_64-linux-gnu-gcc -W -Wall -ggdb3 -DEMBEDDED -DLOGGING -DMETRICS -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/kissat-4.0.3=. -flto=auto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -D_DEFAULT_SOURCE -Wdate-time -D_FORTIFY_SOURCE=2 -c ../test/testusage.c x86_64-linux-gnu-gcc -W -Wall -ggdb3 -DEMBEDDED -DLOGGING -DMETRICS -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/kissat-4.0.3=. -flto=auto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -D_DEFAULT_SOURCE -Wdate-time -D_FORTIFY_SOURCE=2 -c ../test/testutilities.c @@ -658,83 +694,7 @@ make[1]: Entering directory '/build/reproducible-path/kissat-4.0.3' help2man --version-string=4.0.3 --name="Kissat Satisfiability Solver" -N -o kissat.1 build/kissat make[1]: Leaving directory '/build/reproducible-path/kissat-4.0.3' - debian/rules override_dh_auto_test -make[1]: Entering directory '/build/reproducible-path/kissat-4.0.3' -dh_auto_test - make -j42 test TESTSUITEFLAGS="-j42 --verbose" VERBOSE=1 -make[2]: Entering directory '/build/reproducible-path/kissat-4.0.3' -make -C "/build/reproducible-path/kissat-4.0.3/build" test -make[3]: Entering directory '/build/reproducible-path/kissat-4.0.3/build' -../scripts/generate-build-header.sh > build.h -x86_64-linux-gnu-gcc -W -Wall -ggdb3 -DEMBEDDED -DLOGGING -DMETRICS -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/kissat-4.0.3=. -flto=auto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -D_DEFAULT_SOURCE -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/build.c -x86_64-linux-gnu-gcc -W -Wall -ggdb3 -DEMBEDDED -DLOGGING -DMETRICS -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/kissat-4.0.3=. -flto=auto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -D_DEFAULT_SOURCE -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../test/test.c -x86_64-linux-gnu-ar rc libkissat.a allocate.o analyze.o ands.o arena.o assign.o averages.o backbone.o backtrack.o build.o bump.o check.o classify.o clause.o collect.o colors.o compact.o config.o congruence.o decide.o deduce.o definition.o dense.o dump.o eliminate.o equivalences.o error.o extend.o factor.o fastel.o file.o flags.o format.o forward.o gates.o heap.o ifthenelse.o import.o internal.o kimits.o kitten.o krite.o learn.o logging.o lucky.o minimize.o mode.o options.o phases.o preprocess.o print.o probe.o profile.o promote.o proof.o propbeyond.o propdense.o propinitially.o proprobe.o propsearch.o queue.o reduce.o reluctant.o reorder.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o shrink.o smooth.o sort.o statistics.o strengthen.o substitute.o sweep.o terminate.o tiers.o trail.o transitive.o utilities.o vector.o vivify.o walk.o warmup.o watch.o weaken.o -x86_64-linux-gnu-gcc -flto=auto -ffat-lto-objects -Wl,-z,relro -Wl,-z,now -o kissat main.o application.o handle.o parse.o witness.o libkissat.a -lm -x86_64-linux-gnu-gcc -flto=auto -ffat-lto-objects -Wl,-z,relro -Wl,-z,now -o tissat test.o application.o handle.o parse.o witness.o testadd.o testallocate.o testapplication.o testarena.o testarray.o testbump.o testceil.o testcollect.o testconfig.o testcoverage.o testdivert.o testdump.o testendianness.o testerror.o testfifo.o testfile.o testformat.o testheap.o testinit.o testkitten.o testmain.o testmessages.o testoptions.o testparse.o testprove.o testqueue.o testrandom.o testrank.o testreferences.o testreluctant.o testscheduler.o testsizes.o testsolve.o testsort.o teststack.o testterminate.o testusage.o testutilities.o testvector.o libkissat.a -lm -./tissat -TISSAT Tester for KISSAT - -Copyright (c) 2021-2024 Armin Biere University of Freiburg -Copyright (c) 2019-2021 Armin Biere Johannes Kepler University Linz - -Version 4.0.3-2 debian -x86_64-linux-gnu-gcc -W -Wall -ggdb3 -DEMBEDDED -DLOGGING -DMETRICS -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/kissat-4.0.3=. -flto=auto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -D_DEFAULT_SOURCE -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/kissat-4.0.3=. -flto=auto -ffat-lto-objects -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -D_DEFAULT_SOURCE - -Use '-h' to print usage (i.e., how to use patterns). -Changed to '/build/reproducible-path/kissat-4.0.3/build' directory. -Parallel execution using at most 42 processes (by default). -Job execution progress reporting disabled (enable with '-p'). - -Found '../test' directory (running test cases that need '../test' too). -Did not find 'drabt' executable. -Found 'drat-trim' executable (will check proofs with it). -Did not find 'dpr-trim' executable. -Found 'bzip2' executable for testing compression. -Found 'gzip' executable for testing compression. -Found 'lzma' executable for testing compression. -Found 'xz' executable for testing compression. -Did not find '7z' executable for testing compression. - -Scheduled 4 jobs through 'tissat_schedule_error'. -Scheduled 1 jobs through 'tissat_schedule_utilities'. -Scheduled 1 jobs through 'tissat_schedule_endianness'. -Scheduled 3 jobs through 'tissat_schedule_ceil'. -Scheduled 1 jobs through 'tissat_schedule_format'. -Scheduled 2 jobs through 'tissat_schedule_references'. -Scheduled 1 jobs through 'tissat_schedule_reluctant'. -Scheduled 2 jobs through 'tissat_schedule_random'. -Scheduled 1 jobs through 'tissat_schedule_queue'. -Scheduled 3 jobs through 'tissat_schedule_allocate'. -Scheduled 1 jobs through 'tissat_schedule_array'. -Scheduled 2 jobs through 'tissat_schedule_stack'. -Scheduled 1 jobs through 'tissat_schedule_fifo'. -Scheduled 4 jobs through 'tissat_schedule_arena'. -Scheduled 3 jobs through 'tissat_schedule_heap'. -Scheduled 2 jobs through 'tissat_schedule_vector'. -Scheduled 2 jobs through 'tissat_schedule_rank'. -Scheduled 2 jobs through 'tissat_schedule_sort'. -Scheduled 1 jobs through 'tissat_schedule_bump'. -Scheduled 4 jobs through 'tissat_schedule_options'. -Scheduled 2 jobs through 'tissat_schedule_config'. -Scheduled 5 jobs through 'tissat_schedule_init'. -Scheduled 1 jobs through 'tissat_schedule_add'. -Scheduled 2 jobs through 'tissat_schedule_parse'. -Scheduled 46 jobs through 'tissat_schedule_usage'. -Scheduled 6 jobs through 'tissat_schedule_main'. -Scheduled 1 jobs through 'tissat_schedule_collect'. -Scheduled 181 jobs through 'tissat_schedule_kitten'. -Scheduled 714 jobs through 'tissat_schedule_solve'. -Scheduled 45 jobs through 'tissat_schedule_coverage'. -Scheduled 0 jobs through 'tissat_schedule_terminate'. -Scheduled 148 jobs through 'tissat_schedule_prove'. -Scheduled 1 jobs through 'tissat_schedule_dump'. - -Running 1193 jobs in parallel using up to 42 processes. - -All 1193 test jobs succeeded in 1.71 seconds. -make[3]: Leaving directory '/build/reproducible-path/kissat-4.0.3/build' -make[2]: Leaving directory '/build/reproducible-path/kissat-4.0.3' -make[1]: Leaving directory '/build/reproducible-path/kissat-4.0.3' +dh: command-omitted: The call to "debian/rules override_dh_auto_test" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_prep dh_auto_install --destdir=debian/kissat/ @@ -756,8 +716,8 @@ dh_gencontrol dh_md5sums dh_builddeb -dpkg-deb: building package 'kissat-dbgsym' in '../kissat-dbgsym_4.0.3-2_amd64.deb'. dpkg-deb: building package 'kissat' in '../kissat_4.0.3-2_amd64.deb'. +dpkg-deb: building package 'kissat-dbgsym' in '../kissat-dbgsym_4.0.3-2_amd64.deb'. dpkg-genbuildinfo --build=binary -O../kissat_4.0.3-2_amd64.buildinfo dpkg-genchanges --build=binary -O../kissat_4.0.3-2_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) @@ -765,12 +725,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/3531331/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/3531331/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/1472108 and its subdirectories -I: Current time: Fri Dec 4 00:27:58 -12 2026 -I: pbuilder-time-stamp: 1796387278 +I: removing directory /srv/workspace/pbuilder/3531331 and its subdirectories +I: Current time: Sat Nov 1 20:05:47 +14 2025 +I: pbuilder-time-stamp: 1761977147