Start: 2018-07-17 02:21:58 UTC Package: prover9 Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 265 Maintainer: Peter Collingbourne Architecture: amd64 Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200902a) Suggests: ladr4-apps (= 0.0.200902a-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.200902a-2.1_amd64.deb Size: 128490 MD5sum: 84b7a3242903cbbd19ec26f15255c008 SHA1: 3288bb23b96dbcb2640deebf4f0e70751bd7784a SHA256: cbc9476b431a04655f8dd4d882dec8ed6c79b86a12c8ac4c1f0e909e3807557b Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python2.7/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy --no-upgrade-test --apt prover9=0.0.200902a-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 0.90~201806121501~0.89-1-g6355f063 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy --no-upgrade-test --apt prover9=0.0.200902a-2.1 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 4.9.0-7-amd64 #1 SMP Debian 4.9.110-1 (2018-07-05) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpV9RO56 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpV9RO56 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpV9RO56', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m2.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpV9RO56', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m2.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpV9RO56/proc'] 0m2.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpV9RO56/proc'] 0m2.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/pts'] 0m2.3s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/pts'] 0m2.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/ptmx'] 0m2.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/ptmx'] 0m2.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/console'] 0m2.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/console'] 0m2.3s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpV9RO56/run/shm'] 0m2.3s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpV9RO56/run/shm'] 0m2.3s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ wheezy main 0m2.3s DEBUG: Created policy-rc.d and chmodded it. 0m2.3s DEBUG: Created resolv.conf. 0m2.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpV9RO56/tmp/scripts/ 0m2.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts-wheezy to /srv/piuparts.debian.org/tmp/tmpV9RO56/tmp/scripts/ 0m2.3s INFO: Running scripts post_chroot_unpack 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'update'] 0m5.2s DUMP: Hit http://mirror-ubc.debian.org wheezy Release.gpg Hit http://mirror-ubc.debian.org wheezy Release Hit http://mirror-ubc.debian.org wheezy/main amd64 Packages Hit http://mirror-ubc.debian.org wheezy/main Translation-en Reading package lists... 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'update'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', '-yf', 'dist-upgrade'] 0m5.5s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', '-yf', 'dist-upgrade'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m5.7s DUMP: 0c96df6df725ee7ec7aebd2b6a77fb72 - 0m5.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m5.7s INFO: Running scripts post_setup 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_dummy_users'] 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_dummy_users'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_forbid_home'] 0m6.4s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_forbid_home'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_force-unsafe-io'] 0m6.5s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' `/bin/sync' -> `true' 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_force-unsafe-io'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_minimize'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_minimize'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_squeeze-backports'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_squeeze-backports'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m7.4s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... Suggested packages: perl-modules The following NEW packages will be installed: adduser ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 335 kB of archives. After this operation, 1327 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main adduser all 3.113+nmu3 [264 kB] Get:2 http://mirror-ubc.debian.org/debian/ wheezy/main ucf all 3.0025+nmu3 [70.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 335 kB in 0s (18.1 MB/s) Selecting previously unselected package adduser. (Reading database ... 6639 files and directories currently installed.) Unpacking adduser (from .../adduser_3.113+nmu3_all.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ... Moving old data out of the way Setting up adduser (3.113+nmu3) ... Setting up ucf (3.0025+nmu3) ... 0m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_zz_backports'] 0m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_setup_zz_backports'] 0m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'clean'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'clean'] 0m7.5s DEBUG: Recording chroot state 0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m8.3s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u3 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coreutils coreutils 8.13-3.5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed findutils findutils 4.4.2-4 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gnupg gnupg 1.4.12-7+deb7u7 install ok installed gpgv gpgv 1.4.12-7+deb7u7 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u10 install ok installed libc6:amd64 libc6 2.13-38+deb7u10 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed login login 1:4.1.5.1-1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u10 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed passwd passwd 1:4.1.5.1-1 install ok installed perl-base perl-base 5.14.2-21+deb7u3 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1 install ok installed tzdata tzdata 2016d-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-divert', '--list'] 0m8.3s DUMP: diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-divert', '--list'] 0m8.3s INFO: Running scripts is_testable 0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/is_testable_uninstallable'] 0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/is_testable_uninstallable'] 0m8.3s INFO: apt-cache does not know about any of the requested packages 0m8.3s INFO: Running scripts pre_test 0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_test_exceptions'] 0m8.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_test_exceptions'] 0m8.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_test_root_password'] 0m8.4s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m8.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_test_root_password'] 0m8.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m8.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m9.9s DEBUG: No broken symlinks as far as we can find. 0m9.9s INFO: Running scripts pre_install 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_database-server'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_database-server'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_exceptions'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_exceptions'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_extras'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_extras'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_foreign_architecture'] 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_foreign_architecture'] 0m10.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m10.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-cache', 'show', '--no-all-versions', 'prover9=0.0.200902a-2.1'] 0m11.4s DUMP: Package: prover9 Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 265 Maintainer: Peter Collingbourne Architecture: amd64 Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200902a) Suggests: ladr4-apps (= 0.0.200902a-2.1), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Description-en: theorem prover and countermodel generator This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator. . Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture. . Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9. Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: c442e7a696a012e3623fe548e18e8471 Section: math Priority: optional Filename: pool/main/l/ladr/prover9_0.0.200902a-2.1_amd64.deb Size: 128490 MD5sum: 84b7a3242903cbbd19ec26f15255c008 SHA1: 3288bb23b96dbcb2640deebf4f0e70751bd7784a SHA256: cbc9476b431a04655f8dd4d882dec8ed6c79b86a12c8ac4c1f0e909e3807557b 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-cache', 'show', '--no-all-versions', 'prover9=0.0.200902a-2.1'] 0m11.4s DEBUG: metapackage: Package: piuparts-depends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: piuparts developers team Description: Dummy package to satisfy dependencies - created by piuparts This package was created automatically by piuparts and can safely be removed Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200902a) 0m11.4s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpms3DIv/piuparts-depends-dummy'] 0m11.4s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmpms3DIv/piuparts-depends-dummy.deb'. 0m11.4s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpms3DIv/piuparts-depends-dummy'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m11.4s DUMP: 0.9.7.9+deb7u7 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m11.4s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpms3DIv/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpV9RO56/tmp 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '-i', './tmp/piuparts-depends-dummy.deb'] 0m11.5s DUMP: Selecting previously unselected package piuparts-depends-dummy. (Reading database ... 6768 files and directories currently installed.) Unpacking piuparts-depends-dummy (from .../tmp/piuparts-depends-dummy.deb) ... dpkg: dependency problems prevent configuration of piuparts-depends-dummy: piuparts-depends-dummy depends on libladr4 (>= 0.0.200902a); however: Package libladr4 is not installed. dpkg: error processing piuparts-depends-dummy (--install): dependency problems - leaving unconfigured Errors were encountered while processing: piuparts-depends-dummy 0m11.5s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '-i', './tmp/piuparts-depends-dummy.deb'] 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', '-yf', 'install'] 0m12.2s DUMP: Reading package lists... Building dependency tree... Reading state information... Correcting dependencies... Done The following extra packages will be installed: libladr4 The following NEW packages will be installed: libladr4 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 1 not fully installed or removed. Need to get 245 kB of archives. After this operation, 554 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main libladr4 amd64 0.0.200902a-2.1 [245 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 245 kB in 0s (3411 kB/s) Selecting previously unselected package libladr4. (Reading database ... 6768 files and directories currently installed.) Unpacking libladr4 (from .../libladr4_0.0.200902a-2.1_amd64.deb) ... Setting up libladr4 (0.0.200902a-2.1) ... Setting up piuparts-depends-dummy (0.invalid.0) ... 0m12.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', '-yf', 'install'] 0m12.2s INFO: Installation of ['./tmp/piuparts-depends-dummy.deb'] ok 0m12.2s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpV9RO56/./tmp/piuparts-depends-dummy.deb 0m12.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m12.2s DUMP: piuparts-depends-dummy install ok installed 0m12.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m12.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m12.2s DUMP: (Reading database ... 6774 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m12.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m12.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'clean'] 0m12.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'clean'] 0m12.2s DEBUG: Recording chroot state 0m13.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m13.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m14.2s DEBUG: No broken symlinks as far as we can find. 0m14.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-cache', 'policy'] 0m15.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian/ wheezy/main Translation-en 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror-ubc.debian.org Pinned packages: 0m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-cache', 'policy'] 0m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-cache', 'policy', 'prover9'] 0m15.3s DUMP: prover9: Installed: (none) Candidate: 0.0.200902a-2.1 Version table: 0.0.200902a-2.1 0 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages 0m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-cache', 'policy', 'prover9'] 0m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', '-y', 'install', 'prover9=0.0.200902a-2.1'] 0m15.9s DUMP: Reading package lists... Building dependency tree... Reading state information... Suggested packages: ladr4-apps prover9-doc The following NEW packages will be installed: prover9 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 128 kB of archives. After this operation, 271 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main prover9 amd64 0.0.200902a-2.1 [128 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 128 kB in 0s (8903 kB/s) Selecting previously unselected package prover9. (Reading database ... 6774 files and directories currently installed.) Unpacking prover9 (from .../prover9_0.0.200902a-2.1_amd64.deb) ... Setting up prover9 (0.0.200902a-2.1) ... 0m15.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', '-y', 'install', 'prover9=0.0.200902a-2.1'] 0m15.9s INFO: Running scripts post_install 0m15.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_install_exceptions'] 0m15.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_install_exceptions'] 0m15.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m16.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m17.4s DEBUG: No broken symlinks as far as we can find. 0m17.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m17.4s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u3 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coreutils coreutils 8.13-3.5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed findutils findutils 4.4.2-4 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gnupg gnupg 1.4.12-7+deb7u7 install ok installed gpgv gpgv 1.4.12-7+deb7u7 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u10 install ok installed libc6:amd64 libc6 2.13-38+deb7u10 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed libladr4 libladr4 0.0.200902a-2.1 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed login login 1:4.1.5.1-1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u10 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed passwd passwd 1:4.1.5.1-1 install ok installed perl-base perl-base 5.14.2-21+deb7u3 install ok installed prover9 prover9 0.0.200902a-2.1 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1 install ok installed tzdata tzdata 2016d-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 0m17.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m17.9s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpV9RO56', '-ac', '--ignore-obsolete'] 0m18.5s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpV9RO56', '-ac', '--ignore-obsolete'] 0m18.5s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m18.5s DUMP: 0.15.1 0m18.5s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m18.5s INFO: Running adequate version 0.15.1 now. 0m18.5s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'prover9'] 0m18.7s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'prover9'] 0m18.7s INFO: Running scripts pre_remove 0m18.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m18.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m18.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m18.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m18.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m19.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m19.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_exceptions'] 0m19.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/pre_remove_exceptions'] 0m19.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'remove', 'libladr4', 'prover9'] 0m19.9s 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, 825 kB disk space will be freed. (Reading database ... 6802 files and directories currently installed.) Removing prover9 ... Removing libladr4 ... 0m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'remove', 'libladr4', 'prover9'] 0m19.9s INFO: Running scripts post_remove 0m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_remove_exceptions'] 0m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_remove_exceptions'] 0m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--purge', 'libladr4'] 0m19.9s DUMP: (Reading database ... 6768 files and directories currently installed.) Removing libladr4 ... Purging configuration files for libladr4 ... 0m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--purge', 'libladr4'] 0m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--purge', 'prover9'] 0m19.9s DUMP: dpkg: warning: ignoring request to remove prover9 which isn't installed 0m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--purge', 'prover9'] 0m19.9s INFO: Running scripts post_purge 0m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_purge_exceptions'] 0m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_purge_exceptions'] 0m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--purge', '--pending'] 0m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--purge', '--pending'] 0m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--remove', '--pending'] 0m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg', '--remove', '--pending'] 0m19.9s INFO: Running scripts post_test 0m19.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_test_exceptions'] 0m19.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'tmp/scripts/post_test_exceptions'] 0m19.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m20.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m21.4s DEBUG: No broken symlinks as far as we can find. 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-divert', '--list'] 0m21.4s DUMP: diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'dpkg-divert', '--list'] 0m21.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'clean'] 0m21.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpV9RO56', 'apt-get', 'clean'] 0m21.4s DEBUG: Recording chroot state 0m22.6s INFO: PASS: Installation and purging test. 0m23.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/run/shm'] 0m23.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/run/shm'] 0m23.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/console'] 0m23.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/console'] 0m23.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/ptmx'] 0m23.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/ptmx'] 0m23.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/pts'] 0m23.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/dev/pts'] 0m23.3s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/proc'] 0m23.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpV9RO56/proc'] 0m23.3s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m23.4s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpV9RO56'] 0m23.4s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpV9RO56 0m23.4s INFO: PASS: All tests. 0m23.4s INFO: piuparts run ends. ret=0 End: 2018-07-17 02:22:22 UTC