Start: 2022-10-15 11:32:42 GMT Package: prover9 Source: ladr Version: 0.0.200911a-2.1 Installed-Size: 305 Maintainer: Debian QA Group Architecture: amd64 Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200911a-1) Suggests: ladr4-apps (= 0.0.200911a-2.1), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Description: theorem prover and countermodel generator Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: c442e7a696a012e3623fe548e18e8471 Section: math Priority: optional Filename: pool/main/l/ladr/prover9_0.0.200911a-2.1_amd64.deb Size: 99924 MD5sum: 6e9c461a93ca42a24a4c1199916a3073 SHA1: 219f77f4d671b7d2020f0fe335c8a907c2cb302f SHA256: 28c0a29a2bbd5aa09e9cdb1a414f98abd0ff548575386a0c4b848483f0b08653 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --install-recommends --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-jessie --skip-logrotatefiles-test --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz -d jessie --no-upgrade-test --apt prover9=0.0.200911a-2.1 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.1.5 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --install-recommends --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-jessie --skip-logrotatefiles-test --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz -d jessie --no-upgrade-test --apt prover9=0.0.200911a-2.1 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-18-amd64 #1 SMP Debian 5.10.140-1 (2022-09-02) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmptkldtgmo 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmptkldtgmo 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.6s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.6s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/proc'] 0m1.6s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/proc'] 0m1.6s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/pts'] 0m1.6s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/pts'] 0m1.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/ptmx'] 0m1.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/ptmx'] 0m1.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/console'] 0m1.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/console'] 0m1.6s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/shm'] 0m1.7s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/shm'] 0m1.7s DEBUG: sources.list: deb http://deb.debian.org/debian/ jessie main 0m1.7s DEBUG: Created policy-rc.d and chmodded it. 0m1.7s DEBUG: Created resolv.conf. 0m1.7s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmptkldtgmo/tmp/scripts/ 0m1.7s DEBUG: Copying scriptsdir /etc/piuparts/scripts-jessie to /srv/piuparts.debian.org/tmp/tmptkldtgmo/tmp/scripts/ 0m1.7s INFO: Running scripts post_chroot_unpack 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', 'update'] 0m3.4s DUMP: Ign http://deb.debian.org jessie InRelease Hit http://deb.debian.org jessie Release.gpg Hit http://deb.debian.org jessie Release Hit http://deb.debian.org jessie/main amd64 Packages Hit http://deb.debian.org jessie/main Translation-en Reading package lists... 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', 'update'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', '-yf', 'dist-upgrade'] 0m3.5s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', '-yf', 'dist-upgrade'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.8s DUMP: c58dd1ad19dd97acb5ff8b7cd65de431 - 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.8s INFO: Running scripts post_setup 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_forbid_home'] 0m4.7s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_forbid_home'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.7s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' '/bin/sync' -> 'true' 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_jessie-fake-essential'] 0m5.2s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... The following NEW packages will be installed: init-system-helpers ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 83.7 kB of archives. After this operation, 334 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian/ jessie/main init-system-helpers all 1.22 [14.0 kB] Get:2 http://deb.debian.org/debian/ jessie/main ucf all 3.0030 [69.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 83.7 kB in 0s (3556 kB/s) Selecting previously unselected package init-system-helpers. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 7449 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.22_all.deb ... Unpacking init-system-helpers (1.22) ... Selecting previously unselected package ucf. Preparing to unpack .../archives/ucf_3.0030_all.deb ... Moving old data out of the way Unpacking ucf (3.0030) ... Setting up init-system-helpers (1.22) ... Setting up ucf (3.0030) ... 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_jessie-fake-essential'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_minimize'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_minimize'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_zz_backports'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_setup_zz_backports'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', 'clean'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', 'clean'] 0m5.3s DEBUG: Recording chroot state 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.6s DUMP: install ok installed acl acl 2.2.52-2 install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 1.0.9.8.4 install ok installed base-files base-files 8+deb8u11 install ok installed base-passwd base-passwd 3.5.37 install ok installed bash bash 4.3-11+deb8u1 install ok installed bsdutils bsdutils 1:2.25.2-6 install ok installed coreutils coreutils 8.23-4 install ok installed dash dash 0.5.7-4+b1 install ok installed debconf debconf 1.5.56+deb8u1 install ok installed debconf-i18n debconf-i18n 1.5.56+deb8u1 install ok installed debian-archive-keyring debian-archive-keyring 2017.5~deb8u1 install ok installed debianutils debianutils 4.4+b1 install ok installed diffutils diffutils 1:3.3-1+b1 install ok installed dmsetup dmsetup 2:1.02.90-2.2+deb8u1 install ok installed dpkg dpkg 1.17.27 install ok installed e2fslibs:amd64 e2fslibs 1.42.12-2+b1 install ok installed e2fsprogs e2fsprogs 1.42.12-2+b1 install ok installed findutils findutils 4.4.2-9+b1 install ok installed gcc-4.9-base:amd64 gcc-4.9-base 4.9.2-10+deb8u1 install ok installed gnupg gnupg 1.4.18-7+deb8u5 install ok installed gpgv gpgv 1.4.18-7+deb8u5 install ok installed grep grep 2.20-4.1 install ok installed gzip gzip 1.6-4 install ok installed hostname hostname 3.15 install ok installed init init 1.22 install ok installed init-system-helpers init-system-helpers 1.22 install ok installed initscripts initscripts 2.88dsf-59 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.52-2 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 1.0.9.8.4 install ok installed libattr1:amd64 libattr1 1:2.4.47-2 install ok installed libaudit-common libaudit-common 1:2.4-1 install ok installed libaudit1:amd64 libaudit1 1:2.4-1+b1 install ok installed libblkid1:amd64 libblkid1 2.25.2-6 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-7+b3 install ok installed libc-bin libc-bin 2.19-18+deb8u10 install ok installed libc6:amd64 libc6 2.19-18+deb8u10 install ok installed libcap2:amd64 libcap2 1:2.24-8 install ok installed libcap2-bin libcap2-bin 1:2.24-8 install ok installed libcomerr2:amd64 libcomerr2 1.42.12-2+b1 install ok installed libcryptsetup4:amd64 libcryptsetup4 2:1.6.6-5 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-9+deb8u1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.192 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.90-2.2+deb8u1 install ok installed libgcc1:amd64 libgcc1 1:4.9.2-10+deb8u1 install ok installed libgcrypt20:amd64 libgcrypt20 1.6.3-2+deb8u4 install ok installed libgpg-error0:amd64 libgpg-error0 1.17-3 install ok installed libkmod2:amd64 libkmod2 18-3 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-8+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2+b3 install ok installed libmount1:amd64 libmount1 2.25.2-6 install ok installed libncurses5:amd64 libncurses5 5.9+20140913-1+deb8u3 install ok installed libncursesw5:amd64 libncursesw5 5.9+20140913-1+deb8u3 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.1+deb8u2+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.1+deb8u2+b1 install ok installed libpam-runtime libpam-runtime 1.1.8-3.1+deb8u2 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.1+deb8u2+b1 install ok installed libpcre3:amd64 libpcre3 2:8.35-3.3+deb8u4 install ok installed libprocps3:amd64 libprocps3 2:3.3.9-9+deb8u1 install ok installed libreadline6:amd64 libreadline6 6.3-8+b3 install ok installed libselinux1:amd64 libselinux1 2.3-2 install ok installed libsemanage-common libsemanage-common 2.3-1 install ok installed libsemanage1:amd64 libsemanage1 2.3-1+b1 install ok installed libsepol1:amd64 libsepol1 2.3-2 install ok installed libslang2:amd64 libslang2 2.3.0-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.25.2-6 install ok installed libss2:amd64 libss2 1.42.12-2+b1 install ok installed libstdc++6:amd64 libstdc++6 4.9.2-10+deb8u1 install ok installed libsystemd0:amd64 libsystemd0 215-17+deb8u7 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b3 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5+b2 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9+20140913-1+deb8u3 install ok installed libudev1:amd64 libudev1 215-17+deb8u7 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-25 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3+b2 install ok installed libuuid1:amd64 libuuid1 2.25.2-6 install ok installed login login 1:4.2-3+deb8u4 install ok installed lsb-base lsb-base 4.1+Debian13+nmu1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.25.2-6 install ok installed multiarch-support multiarch-support 2.19-18+deb8u10 install ok installed ncurses-base ncurses-base 5.9+20140913-1+deb8u3 install ok installed ncurses-bin ncurses-bin 5.9+20140913-1+deb8u3 install ok installed passwd passwd 1:4.2-3+deb8u4 install ok installed perl-base perl-base 5.20.2-3+deb8u11 install ok installed procps procps 2:3.3.9-9+deb8u1 install ok installed readline-common readline-common 6.3-8 install ok installed sed sed 4.2.2-4+deb8u1 install ok installed sensible-utils sensible-utils 0.0.9+deb8u1 install ok installed startpar startpar 0.59-3 install ok installed systemd systemd 215-17+deb8u7 install ok installed systemd-sysv systemd-sysv 215-17+deb8u7 install ok installed sysv-rc sysv-rc 2.88dsf-59 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59 install ok installed tar tar 1.27.1-2+deb8u1 install ok installed tzdata tzdata 2018e-0+deb8u1 install ok installed ucf ucf 3.0030 install ok installed udev udev 215-17+deb8u7 install ok installed util-linux util-linux 2.25.2-6 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-2+b1 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg-divert', '--list'] 0m5.7s DUMP: local diversion of /bin/sync to /bin/sync.distrib diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg-divert', '--list'] 0m5.7s INFO: Running scripts is_testable 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/is_testable_uninstallable'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/is_testable_uninstallable'] 0m5.7s INFO: apt-cache does not know about any of the requested packages 0m5.7s INFO: Running scripts pre_test 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_test_exceptions'] 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_test_exceptions'] 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_test_root_password'] 0m5.7s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_test_root_password'] 0m5.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m6.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m6.7s DEBUG: No broken symlinks as far as we can find. 0m6.7s INFO: Running scripts pre_install 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_database-server'] 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_database-server'] 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_exceptions'] 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_exceptions'] 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_extras'] 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_extras'] 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m7.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m7.8s DEBUG: No broken symlinks as far as we can find. 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-cache', 'policy'] 0m8.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian/ jessie/main Translation-en 500 http://deb.debian.org/debian/ jessie/main amd64 Packages release v=8.11,o=Debian,a=oldoldstable,n=jessie,l=Debian,c=main origin deb.debian.org Pinned packages: 0m8.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-cache', 'policy'] 0m8.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-cache', 'policy', 'prover9'] 0m9.0s DUMP: prover9: Installed: (none) Candidate: 0.0.200911a-2.1 Version table: 0.0.200911a-2.1 0 500 http://deb.debian.org/debian/ jessie/main amd64 Packages 0m9.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-cache', 'policy', 'prover9'] 0m9.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', '-y', 'install', 'prover9=0.0.200911a-2.1'] 0m9.8s DUMP: Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: libladr4 Suggested packages: ladr4-apps prover9-doc The following NEW packages will be installed: libladr4 prover9 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 287 kB of archives. After this operation, 863 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian/ jessie/main libladr4 amd64 0.0.200911a-2.1 [187 kB] Get:2 http://deb.debian.org/debian/ jessie/main prover9 amd64 0.0.200911a-2.1 [99.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 287 kB in 0s (3052 kB/s) Selecting previously unselected package libladr4. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 7475 files and directories currently installed.) Preparing to unpack .../libladr4_0.0.200911a-2.1_amd64.deb ... Unpacking libladr4 (0.0.200911a-2.1) ... Selecting previously unselected package prover9. Preparing to unpack .../prover9_0.0.200911a-2.1_amd64.deb ... Unpacking prover9 (0.0.200911a-2.1) ... Setting up libladr4 (0.0.200911a-2.1) ... Setting up prover9 (0.0.200911a-2.1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... 0m9.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', '-y', 'install', 'prover9=0.0.200911a-2.1'] 0m9.8s INFO: Running scripts post_install 0m9.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_install_exceptions'] 0m9.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_install_exceptions'] 0m9.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m10.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m10.9s DEBUG: No broken symlinks as far as we can find. 0m11.3s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', '-ac', '--ignore-obsolete'] 0m11.9s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', '-ac', '--ignore-obsolete'] 0m11.9s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m11.9s DUMP: 0.15.6 0m11.9s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m11.9s INFO: Running adequate version 0.15.6 now. 0m11.9s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'prover9'] 0m12.0s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'prover9'] 0m12.0s INFO: Running scripts pre_remove 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m12.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m12.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m12.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m12.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m12.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m12.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_exceptions'] 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/pre_remove_exceptions'] 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m12.7s DUMP: install ok installed acl acl 2.2.52-2 install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 1.0.9.8.4 install ok installed base-files base-files 8+deb8u11 install ok installed base-passwd base-passwd 3.5.37 install ok installed bash bash 4.3-11+deb8u1 install ok installed bsdutils bsdutils 1:2.25.2-6 install ok installed coreutils coreutils 8.23-4 install ok installed dash dash 0.5.7-4+b1 install ok installed debconf debconf 1.5.56+deb8u1 install ok installed debconf-i18n debconf-i18n 1.5.56+deb8u1 install ok installed debian-archive-keyring debian-archive-keyring 2017.5~deb8u1 install ok installed debianutils debianutils 4.4+b1 install ok installed diffutils diffutils 1:3.3-1+b1 install ok installed dmsetup dmsetup 2:1.02.90-2.2+deb8u1 install ok installed dpkg dpkg 1.17.27 install ok installed e2fslibs:amd64 e2fslibs 1.42.12-2+b1 install ok installed e2fsprogs e2fsprogs 1.42.12-2+b1 install ok installed findutils findutils 4.4.2-9+b1 install ok installed gcc-4.9-base:amd64 gcc-4.9-base 4.9.2-10+deb8u1 install ok installed gnupg gnupg 1.4.18-7+deb8u5 install ok installed gpgv gpgv 1.4.18-7+deb8u5 install ok installed grep grep 2.20-4.1 install ok installed gzip gzip 1.6-4 install ok installed hostname hostname 3.15 install ok installed init init 1.22 install ok installed init-system-helpers init-system-helpers 1.22 install ok installed initscripts initscripts 2.88dsf-59 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.52-2 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 1.0.9.8.4 install ok installed libattr1:amd64 libattr1 1:2.4.47-2 install ok installed libaudit-common libaudit-common 1:2.4-1 install ok installed libaudit1:amd64 libaudit1 1:2.4-1+b1 install ok installed libblkid1:amd64 libblkid1 2.25.2-6 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-7+b3 install ok installed libc-bin libc-bin 2.19-18+deb8u10 install ok installed libc6:amd64 libc6 2.19-18+deb8u10 install ok installed libcap2:amd64 libcap2 1:2.24-8 install ok installed libcap2-bin libcap2-bin 1:2.24-8 install ok installed libcomerr2:amd64 libcomerr2 1.42.12-2+b1 install ok installed libcryptsetup4:amd64 libcryptsetup4 2:1.6.6-5 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-9+deb8u1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.192 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.90-2.2+deb8u1 install ok installed libgcc1:amd64 libgcc1 1:4.9.2-10+deb8u1 install ok installed libgcrypt20:amd64 libgcrypt20 1.6.3-2+deb8u4 install ok installed libgpg-error0:amd64 libgpg-error0 1.17-3 install ok installed libkmod2:amd64 libkmod2 18-3 install ok installed libladr4 libladr4 0.0.200911a-2.1 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-8+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2+b3 install ok installed libmount1:amd64 libmount1 2.25.2-6 install ok installed libncurses5:amd64 libncurses5 5.9+20140913-1+deb8u3 install ok installed libncursesw5:amd64 libncursesw5 5.9+20140913-1+deb8u3 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.1+deb8u2+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.1+deb8u2+b1 install ok installed libpam-runtime libpam-runtime 1.1.8-3.1+deb8u2 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.1+deb8u2+b1 install ok installed libpcre3:amd64 libpcre3 2:8.35-3.3+deb8u4 install ok installed libprocps3:amd64 libprocps3 2:3.3.9-9+deb8u1 install ok installed libreadline6:amd64 libreadline6 6.3-8+b3 install ok installed libselinux1:amd64 libselinux1 2.3-2 install ok installed libsemanage-common libsemanage-common 2.3-1 install ok installed libsemanage1:amd64 libsemanage1 2.3-1+b1 install ok installed libsepol1:amd64 libsepol1 2.3-2 install ok installed libslang2:amd64 libslang2 2.3.0-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.25.2-6 install ok installed libss2:amd64 libss2 1.42.12-2+b1 install ok installed libstdc++6:amd64 libstdc++6 4.9.2-10+deb8u1 install ok installed libsystemd0:amd64 libsystemd0 215-17+deb8u7 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b3 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5+b2 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9+20140913-1+deb8u3 install ok installed libudev1:amd64 libudev1 215-17+deb8u7 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-25 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3+b2 install ok installed libuuid1:amd64 libuuid1 2.25.2-6 install ok installed login login 1:4.2-3+deb8u4 install ok installed lsb-base lsb-base 4.1+Debian13+nmu1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.25.2-6 install ok installed multiarch-support multiarch-support 2.19-18+deb8u10 install ok installed ncurses-base ncurses-base 5.9+20140913-1+deb8u3 install ok installed ncurses-bin ncurses-bin 5.9+20140913-1+deb8u3 install ok installed passwd passwd 1:4.2-3+deb8u4 install ok installed perl-base perl-base 5.20.2-3+deb8u11 install ok installed procps procps 2:3.3.9-9+deb8u1 install ok installed prover9 prover9 0.0.200911a-2.1 install ok installed readline-common readline-common 6.3-8 install ok installed sed sed 4.2.2-4+deb8u1 install ok installed sensible-utils sensible-utils 0.0.9+deb8u1 install ok installed startpar startpar 0.59-3 install ok installed systemd systemd 215-17+deb8u7 install ok installed systemd-sysv systemd-sysv 215-17+deb8u7 install ok installed sysv-rc sysv-rc 2.88dsf-59 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59 install ok installed tar tar 1.27.1-2+deb8u1 install ok installed tzdata tzdata 2018e-0+deb8u1 install ok installed ucf ucf 3.0030 install ok installed udev udev 215-17+deb8u7 install ok installed util-linux util-linux 2.25.2-6 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-2+b1 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', 'remove', 'libladr4', 'prover9'] 0m13.1s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: libladr4 prover9 0 upgraded, 0 newly installed, 2 to remove and 0 not upgraded. After this operation, 863 kB disk space will be freed. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 7509 files and directories currently installed.) Removing prover9 (0.0.200911a-2.1) ... Removing libladr4 (0.0.200911a-2.1) ... Processing triggers for libc-bin (2.19-18+deb8u10) ... 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', 'remove', 'libladr4', 'prover9'] 0m13.1s INFO: Running scripts post_remove 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_remove_exceptions'] 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_remove_exceptions'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg', '--purge', 'libladr4'] 0m13.1s DUMP: (Reading database ... 7475 files and directories currently installed.) Removing libladr4 (0.0.200911a-2.1) ... Purging configuration files for libladr4 (0.0.200911a-2.1) ... 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg', '--purge', 'libladr4'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg', '--purge', 'prover9'] 0m13.1s DUMP: dpkg: warning: ignoring request to remove prover9 which isn't installed 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg', '--purge', 'prover9'] 0m13.1s INFO: Running scripts post_purge 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_purge_exceptions'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_purge_exceptions'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg', '--purge', '--pending'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg', '--purge', '--pending'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg', '--remove', '--pending'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg', '--remove', '--pending'] 0m13.2s INFO: Running scripts post_test 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_test_exceptions'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'tmp/scripts/post_test_exceptions'] 0m13.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m13.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m14.3s DEBUG: No broken symlinks as far as we can find. 0m14.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg-divert', '--list'] 0m14.4s DUMP: local diversion of /bin/sync to /bin/sync.distrib diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m14.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'dpkg-divert', '--list'] 0m14.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', 'clean'] 0m14.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmptkldtgmo', 'apt-get', 'clean'] 0m14.4s DEBUG: Recording chroot state 0m14.9s INFO: PASS: Installation and purging test. 0m15.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/shm'] 0m15.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/shm'] 0m15.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/console'] 0m15.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/console'] 0m15.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/ptmx'] 0m15.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/ptmx'] 0m15.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/pts'] 0m15.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/dev/pts'] 0m15.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/proc'] 0m15.4s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmptkldtgmo/proc'] 0m15.4s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m15.5s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmptkldtgmo'] 0m15.5s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmptkldtgmo 0m15.5s INFO: PASS: All tests. 0m15.5s INFO: piuparts run ends. ret=0 End: 2022-10-15 11:32:58 GMT