Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target ppc64le --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/fedora-rawhide-ppc64le-1671936197.804068/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tko03tbn:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tko03tbn:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '398d093bd13e4dcbae5a8ac25caa59d0', '-D', '/var/lib/mock/fedora-rawhide-ppc64le-1671936197.804068/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tko03tbn:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target ppc64le --nodeps /builddir/build/SPECS/kissat.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1658361600 Wrote: /builddir/build/SRPMS/kissat-3.0.0-2.fc38.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target ppc64le --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/fedora-rawhide-ppc64le-1671936197.804068/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tko03tbn:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tko03tbn:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'd7ee233c5dc34ffe81ea0032dc3fc4a5', '-D', '/var/lib/mock/fedora-rawhide-ppc64le-1671936197.804068/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tko03tbn:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target ppc64le --nodeps /builddir/build/SPECS/kissat.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1658361600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.ECDrcV + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf kissat-rel-3.0.0 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/kissat-3.0.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd kissat-rel-3.0.0 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/kissat-shared.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + sed -i 's/ handle\.c//' makefile.in + sed -i 's/@SOVER@/0.0.0/;s/@MAJVER@/0/' makefile.in + sed -ri '/sqrt|prime/s/false/true/' test/testcnfs.h + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.yH4phg + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd kissat-rel-3.0.0 + sed -e 's|-W -Wall|-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC|' -e 's|^\(passtolinker=\)""|\1" -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes"|' -i configure + ./configure -O2 --test configure: new build directory 'build' configure: assuming GCC version 13.0.0-0) uses C99 by default configure: compiler 'gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG' configure: linker 'gcc -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' (additional options) configure: using default 'ar' (no cross compilation) configure: adding 'tissat' goal to default makefile goal too configure: no 'libkissat.so' shared library generated (without '-shared') configure: no 'kitten' binary generated (without '--kitten') configure: linking src/makefile + /usr/bin/make -O -j5 V=1 VERBOSE=1 /usr/bin/make -C "/builddir/build/BUILD/kissat-rel-3.0.0/build" make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/main.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/witness.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/allocate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/arena.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/ands.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/parse.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/averages.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/assign.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' ../scripts/generate-build-header.sh > build.h make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/application.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/check.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/backtrack.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/analyze.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/colors.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/bump.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/backbone.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/clause.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/config.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/decide.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/definition.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/dump.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/compact.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/collect.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/deduce.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/error.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/equivalences.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/extend.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/dense.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/eliminate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/gates.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/file.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/flags.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/handle.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/format.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/import.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/heap.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/ifthenelse.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/kimits.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/logging.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/learn.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/internal.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/forward.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/minimize.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/mode.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/phases.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/probe.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/promote.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/profile.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/print.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/propdense.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/options.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/propbeyond.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/kitten.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/proof.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/reluctant.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/queue.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/proprobe.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/propsearch.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/resize.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/rephase.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/reduce.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/resources.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/restart.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/resolve.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/report.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/search.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/smooth.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/stack.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/sort.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/shrink.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/terminate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/strengthen.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/trail.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/utilities.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/statistics.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/vector.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/substitute.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' In function 'substitute_clauses', inlined from 'substitute_round' at ../src/substitute.c:609:3, inlined from 'substitute_rounds' at ../src/substitute.c:633:12, inlined from 'kissat_substitute' at ../src/substitute.c:677:3: ../src/substitute.c:575:30: warning: array subscript 3 is above array bounds of 'unsigned int[3]' [-Warray-bounds=] 575 | c->lits[old_size - 1] = INVALID_LIT; | ~~~~~~~^~~~~~~~~~~~~~ In file included from ../src/internal.h:9, from ../src/inlinevector.h:4, from ../src/inline.h:4, from ../src/substitute.c:3: ../src/clause.h: In function 'kissat_substitute': ../src/clause.h:34:12: note: while referencing 'lits' 34 | unsigned lits[3]; | ^~~~ make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/warmup.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/weaken.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/watch.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testadd.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -I../build -c ../test/test.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/walk.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testapplication.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testallocate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/sweep.c ../src/sweep.c: In function 'substitute_connected_clauses.isra.0': ../src/sweep.c:1082:28: warning: array subscript 3 is above array bounds of 'unsigned int[3]' [-Warray-bounds=] 1082 | c->lits[old_size - 1] = INVALID_LIT; | ~~~~~~~^~~~~~~~~~~~~~ In file included from ../src/internal.h:9, from ../src/inlinevector.h:4, from ../src/inline.h:4, from ../src/sweep.c:2: ../src/clause.h:34:12: note: while referencing 'lits' 34 | unsigned lits[3]; | ^~~~ make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testarray.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testbump.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testarena.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testceil.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testconfig.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testcoverage.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testdivert.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testcollect.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testdump.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../src/vivify.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testendianness.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testerror.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testinit.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testkitten.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testmain.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testmessages.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testfile.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testparse.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testheap.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testoptions.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testformat.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testprove.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testrandom.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testreluctant.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testqueue.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testsizes.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testsolve.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testrank.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testterminate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testscheduler.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testreferences.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/teststack.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testusage.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testutilities.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -I../build -c ../src/build.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testvector.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG -c ../test/testsort.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -shared -Wl,-h,libkissat.so.0 -o libkissat.so.0.0.0 allocate.o analyze.o ands.o arena.o assign.o averages.o backbone.o backtrack.o build.o bump.o check.o clause.o collect.o colors.o compact.o config.o decide.o deduce.o definition.o dense.o dump.o eliminate.o equivalences.o error.o extend.o file.o flags.o format.o forward.o gates.o handle.o heap.o ifthenelse.o import.o internal.o kimits.o kitten.o learn.o logging.o minimize.o mode.o options.o phases.o print.o probe.o profile.o promote.o proof.o propbeyond.o propdense.o proprobe.o propsearch.o queue.o reduce.o reluctant.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o shrink.o smooth.o sort.o stack.o statistics.o strengthen.o substitute.o sweep.o terminate.o trail.o utilities.o vector.o vivify.o walk.o warmup.o watch.o weaken.o -lm ln -s libkissat.so.0.0.0 libkissat.so.0 ln -s libkissat.so.0 libkissat.so make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o kissat main.o application.o parse.o witness.o libkissat.so -lm make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' gcc -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o tissat test.o application.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 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.so -lm make[1]: Leaving directory '/builddir/build/BUILD/kissat-rel-3.0.0/build' + export LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-rel-3.0.0/build + LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-rel-3.0.0/build + help2man --version-string=3.0.0 -N -o kissat.1 build/kissat + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.FsgEVi + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le '!=' / ']' + rm -rf /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le ++ dirname /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd kissat-rel-3.0.0 + mkdir -p /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/bin + cp -p build/kissat /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/bin + mkdir -p /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/lib64 + cp -p build/libkissat.so.0.0.0 /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/lib64 + ln -s libkissat.so.0.0.0 /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/lib64/libkissat.so.0 + ln -s libkissat.so.0 /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/lib64/libkissat.so + mkdir -p /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/include + cp -p src/kissat.h /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/include + mkdir -p /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/share/man/man1 + cp -p kissat.1 /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/share/man/man1 + /usr/bin/find-debuginfo -j5 --strict-build-id -m -i --build-id-seed 3.0.0-2.fc38 --unique-debug-suffix -3.0.0-2.fc38.ppc64le --unique-debug-src-base kissat-3.0.0-2.fc38.ppc64le --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/kissat-rel-3.0.0 extracting debug info from /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/bin/kissat extracting debug info from /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/lib64/libkissat.so.0.0.0 original debug info size: 2176kB, size after compression: 1664kB /usr/bin/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. 1463 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.KF5qvN + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd kissat-rel-3.0.0 + LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-rel-3.0.0/build + build/tissat TISSAT Tester for KISSAT Copyright (c) 2021-2022 Armin Biere University of Freiburg Copyright (c) 2019-2021 Armin Biere Johannes Kepler University Linz Version 3.0.0 unknown gcc (GCC) 13.0.0 20221219 (Red Hat 13.0.0-0) -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG Sun Dec 25 02:46:03 AM UTC 2022 Linux d7ee233c5dc34ffe81ea0032dc3fc4a5 6.0.8-300.fc37.ppc64le ppc64le Use '-h' to print usage (i.e., how to use patterns). Changed to '/builddir/build/BUILD/kissat-rel-3.0.0/build' directory. Parallel execution using at most 5 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). Found 'bzip2' executable for testing compression. Found 'gzip' executable for testing compression. Found 'lzma' executable for testing compression. Found 'xz' executable for testing compression. Found '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 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 6 jobs through 'tissat_schedule_file'. Scheduled 2 jobs through 'tissat_schedule_parse'. Scheduled 44 jobs through 'tissat_schedule_usage'. Scheduled 6 jobs through 'tissat_schedule_main'. Scheduled 1 jobs through 'tissat_schedule_collect'. Scheduled 2 jobs through 'tissat_schedule_kitten'. Scheduled 204 jobs through 'tissat_schedule_solve'. Scheduled 45 jobs through 'tissat_schedule_coverage'. Scheduled 0 jobs through 'tissat_schedule_terminate'. Scheduled 67 jobs through 'tissat_schedule_prove'. Running 425 jobs in parallel using up to 5 processes. All 425 test jobs succeeded in 0.98 seconds. + RPM_EC=0 ++ jobs -p + exit 0 Processing files: kissat-3.0.0-2.fc38.ppc64le Provides: kissat = 3.0.0-2.fc38 kissat(ppc-64) = 3.0.0-2.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.34)(64bit) libkissat.so.0()(64bit) rtld(GNU_HASH) Processing files: kissat-libs-3.0.0-2.fc38.ppc64le Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.S1RcMc + umask 022 + cd /builddir/build/BUILD + cd kissat-rel-3.0.0 + DOCDIR=/builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/share/doc/kissat-libs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/share/doc/kissat-libs + cp -pr README.md /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/share/doc/kissat-libs + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.PFib8t + umask 022 + cd /builddir/build/BUILD + cd kissat-rel-3.0.0 + LICENSEDIR=/builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/share/licenses/kissat-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/share/licenses/kissat-libs + cp -pr LICENSE /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le/usr/share/licenses/kissat-libs + RPM_EC=0 ++ jobs -p + exit 0 Provides: kissat-libs = 3.0.0-2.fc38 kissat-libs(ppc-64) = 3.0.0-2.fc38 libkissat.so.0()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) rtld(GNU_HASH) Processing files: kissat-devel-3.0.0-2.fc38.ppc64le Provides: kissat-devel = 3.0.0-2.fc38 kissat-devel(ppc-64) = 3.0.0-2.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libkissat.so.0()(64bit) Processing files: kissat-debugsource-3.0.0-2.fc38.ppc64le Provides: kissat-debugsource = 3.0.0-2.fc38 kissat-debugsource(ppc-64) = 3.0.0-2.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: kissat-debuginfo-3.0.0-2.fc38.ppc64le Provides: debuginfo(build-id) = d2a9420e6a4cebe0c8b5999cdf56f48690ca4420 kissat-debuginfo = 3.0.0-2.fc38 kissat-debuginfo(ppc-64) = 3.0.0-2.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: kissat-debugsource(ppc-64) = 3.0.0-2.fc38 Processing files: kissat-libs-debuginfo-3.0.0-2.fc38.ppc64le Provides: debuginfo(build-id) = d7d1f651c074f430e89ef6c568ea51da86e0ab03 kissat-libs-debuginfo = 3.0.0-2.fc38 kissat-libs-debuginfo(ppc-64) = 3.0.0-2.fc38 libkissat.so.0.0.0-3.0.0-2.fc38.ppc64le.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: kissat-debugsource(ppc-64) = 3.0.0-2.fc38 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le Wrote: /builddir/build/RPMS/kissat-3.0.0-2.fc38.ppc64le.rpm Wrote: /builddir/build/RPMS/kissat-devel-3.0.0-2.fc38.ppc64le.rpm Wrote: /builddir/build/RPMS/kissat-debuginfo-3.0.0-2.fc38.ppc64le.rpm Wrote: /builddir/build/RPMS/kissat-libs-3.0.0-2.fc38.ppc64le.rpm Wrote: /builddir/build/RPMS/kissat-debugsource-3.0.0-2.fc38.ppc64le.rpm Wrote: /builddir/build/RPMS/kissat-libs-debuginfo-3.0.0-2.fc38.ppc64le.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.78Rpvt + umask 022 + cd /builddir/build/BUILD + cd kissat-rel-3.0.0 + /usr/bin/rm -rf /builddir/build/BUILDROOT/kissat-3.0.0-2.fc38.ppc64le + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.6zjzPV + umask 022 + cd /builddir/build/BUILD + rm -rf kissat-rel-3.0.0 kissat-rel-3.0.0.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0