Start: 2023-04-01 22:14:05 GMT [stretch] Package: cbmc Version: 5.6-1 Installed-Size: 18992 Maintainer: Michael Tautschnig Architecture: amd64 Depends: gcc, libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), libzip4 (>= 0.10), minisat Description: bounded model checker for C and C++ programs Homepage: http://www.cprover.org/cbmc/ Description-md5: 2c892fdd5142036595dc17775271afad Tag: role::program Section: science Priority: extra Filename: pool/main/c/cbmc/cbmc_5.6-1_amd64.deb Size: 4000220 MD5sum: 86d22b846fc120de2a931ea0ef3fa671 SHA256: 2a7700368f54c1318645a355604fdf47f1554ddce4aec3ecb2d6a66a48295feb [stretch-lts] Package: cbmc Version: 5.6-1 Installed-Size: 18992 Maintainer: Michael Tautschnig Architecture: amd64 Depends: gcc, libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), libzip4 (>= 0.10), minisat Description: bounded model checker for C and C++ programs Homepage: http://www.cprover.org/cbmc/ Description-md5: 2c892fdd5142036595dc17775271afad Tag: role::program Section: science Priority: extra Filename: pool/main/c/cbmc/cbmc_5.6-1_amd64.deb Size: 4000220 MD5sum: 86d22b846fc120de2a931ea0ef3fa671 SHA256: 2a7700368f54c1318645a355604fdf47f1554ddce4aec3ecb2d6a66a48295feb Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --skip-logrotatefiles-test --warn-on-debsums-errors --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz -d stretch -d stretch-lts -B /srv/piuparts.debian.org/slave/refchroot/stretch2next/reference-chroot-metadata.dat --apt cbmc=5.6-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 --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --skip-logrotatefiles-test --warn-on-debsums-errors --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz -d stretch -d stretch-lts -B /srv/piuparts.debian.org/slave/refchroot/stretch2next/reference-chroot-metadata.dat --apt cbmc=5.6-1 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-21-amd64 #1 SMP Debian 5.10.162-1 (2023-01-21) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpe7rsurwb 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpe7rsurwb 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz'] 0m1.3s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/stretch_amd64.tar.gz'] 0m1.3s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/proc'] 0m1.3s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/proc'] 0m1.3s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/pts'] 0m1.3s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/pts'] 0m1.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/ptmx'] 0m1.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/ptmx'] 0m1.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/console'] 0m1.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/console'] 0m1.3s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/shm'] 0m1.3s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/shm'] 0m1.3s DEBUG: sources.list: deb http://deb.debian.org/debian/ stretch main 0m1.3s DEBUG: Created policy-rc.d and chmodded it. 0m1.3s DEBUG: Created resolv.conf. 0m1.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpe7rsurwb/tmp/scripts/ 0m1.4s INFO: Running scripts post_chroot_unpack 0m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', 'update'] 0m2.1s DUMP: Ign:1 http://deb.debian.org/debian stretch InRelease Hit:2 http://deb.debian.org/debian stretch Release Reading package lists... 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', 'update'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-yf', 'dist-upgrade'] 0m2.4s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-yf', 'dist-upgrade'] 0m2.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.8s DUMP: 660e5103244a20b75ca08c3f8741e16e - 0m2.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.8s INFO: Running scripts post_setup 0m2.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_dummy_users'] 0m3.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_dummy_users'] 0m3.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_forbid_home'] 0m3.3s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_forbid_home'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.3s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' '/bin/sync' -> 'true' 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_minimize'] 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_minimize'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_zz_backports'] 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_setup_zz_backports'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.3s DUMP: install ok installed adduser adduser 3.115 install ok installed apt apt 1.4.10 install ok installed base-files base-files 9.9+deb9u13 install ok installed base-passwd base-passwd 3.5.43 install ok installed bash bash 4.4-5 install ok installed bsdutils bsdutils 1:2.29.2-1+deb9u1 install ok installed coreutils coreutils 8.26-3 install ok installed dash dash 0.5.8-2.4 install ok installed debconf debconf 1.5.61 install ok installed debian-archive-keyring debian-archive-keyring 2017.5+deb9u1 install ok installed debianutils debianutils 4.8.1.1 install ok installed diffutils diffutils 1:3.5-3 install ok installed dpkg dpkg 1.18.25 install ok installed e2fslibs:amd64 e2fslibs 1.43.4-2+deb9u1 install ok installed e2fsprogs e2fsprogs 1.43.4-2+deb9u1 install ok installed findutils findutils 4.6.0+git+20161106-2 install ok installed gcc-6-base:amd64 gcc-6-base 6.3.0-18+deb9u1 install ok installed gpgv gpgv 2.1.18-8~deb9u4 install ok installed grep grep 2.27-2 install ok installed gzip gzip 1.6-5+b1 install ok installed hostname hostname 3.18+b1 install ok installed init-system-helpers init-system-helpers 1.48 install ok installed libacl1:amd64 libacl1 2.2.52-3+b1 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.4.10 install ok installed libattr1:amd64 libattr1 1:2.4.47-2+b2 install ok installed libaudit-common libaudit-common 1:2.6.7-2 install ok installed libaudit1:amd64 libaudit1 1:2.6.7-2 install ok installed libblkid1:amd64 libblkid1 2.29.2-1+deb9u1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-8.1 install ok installed libc-bin libc-bin 2.24-11+deb9u4 install ok installed libc6:amd64 libc6 2.24-11+deb9u4 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.7-3+b1 install ok installed libcomerr2:amd64 libcomerr2 1.43.4-2+deb9u1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-12+deb9u1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.227 install ok installed libfdisk1:amd64 libfdisk1 2.29.2-1+deb9u1 install ok installed libgcc1:amd64 libgcc1 1:6.3.0-18+deb9u1 install ok installed libgcrypt20:amd64 libgcrypt20 1.7.6-2+deb9u3 install ok installed libgpg-error0:amd64 libgpg-error0 1.26-2 install ok installed liblz4-1:amd64 liblz4-1 0.0~r131-2+b1 install ok installed liblzma5:amd64 liblzma5 5.2.2-1.2+b1 install ok installed libmount1:amd64 libmount1 2.29.2-1+deb9u1 install ok installed libncursesw5:amd64 libncursesw5 6.0+20161126-1+deb9u2 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.6 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.6 install ok installed libpam-runtime libpam-runtime 1.1.8-3.6 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.6 install ok installed libpcre3:amd64 libpcre3 2:8.39-3 install ok installed libselinux1:amd64 libselinux1 2.6-3+b3 install ok installed libsemanage-common libsemanage-common 2.6-2 install ok installed libsemanage1:amd64 libsemanage1 2.6-2 install ok installed libsepol1:amd64 libsepol1 2.6-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.29.2-1+deb9u1 install ok installed libss2:amd64 libss2 1.43.4-2+deb9u1 install ok installed libstdc++6:amd64 libstdc++6 6.3.0-18+deb9u1 install ok installed libsystemd0:amd64 libsystemd0 232-25+deb9u12 install ok installed libtinfo5:amd64 libtinfo5 6.0+20161126-1+deb9u2 install ok installed libudev1:amd64 libudev1 232-25+deb9u12 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-6 install ok installed libuuid1:amd64 libuuid1 2.29.2-1+deb9u1 install ok installed login login 1:4.4-4.1 install ok installed mawk mawk 1.3.3-17+b3 install ok installed mount mount 2.29.2-1+deb9u1 install ok installed multiarch-support multiarch-support 2.24-11+deb9u4 install ok installed ncurses-base ncurses-base 6.0+20161126-1+deb9u2 install ok installed ncurses-bin ncurses-bin 6.0+20161126-1+deb9u2 install ok installed passwd passwd 1:4.4-4.1 install ok installed perl-base perl-base 5.24.1-3+deb9u7 install ok installed sed sed 4.4-1 install ok installed sensible-utils sensible-utils 0.0.9+deb9u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59.9 install ok installed tar tar 1.29b-1.1 install ok installed util-linux util-linux 2.29.2-1+deb9u1 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-5 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.3s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/stretch2next/reference-chroot-metadata.dat 0m3.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m3.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m3.6s INFO: Running scripts is_testable 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/is_testable_uninstallable'] 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/is_testable_uninstallable'] 0m3.6s INFO: Running scripts pre_test 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_test_exceptions'] 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_test_exceptions'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_test_root_password'] 0m3.6s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_test_root_password'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'show', '--no-all-versions', 'cbmc'] 0m3.8s DUMP: Package: cbmc Version: 5.6-1 Installed-Size: 18992 Maintainer: Michael Tautschnig Architecture: amd64 Depends: gcc, libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), libzip4 (>= 0.10), minisat Description-en: bounded model checker for C and C++ programs CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations. Description-md5: 2c892fdd5142036595dc17775271afad Homepage: http://www.cprover.org/cbmc/ Tag: role::program Section: science Priority: extra Filename: pool/main/c/cbmc/cbmc_5.6-1_amd64.deb Size: 4000220 MD5sum: 86d22b846fc120de2a931ea0ef3fa671 SHA256: 2a7700368f54c1318645a355604fdf47f1554ddce4aec3ecb2d6a66a48295feb 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'show', '--no-all-versions', 'cbmc'] 0m3.8s INFO: apt-cache knows about the following packages: cbmc 0m3.8s INFO: Running scripts pre_install 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_database-server'] 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_database-server'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_exceptions'] 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_exceptions'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_extras'] 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_extras'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture'] 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy'] 0m3.8s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian stretch/main amd64 Packages release v=9.13,o=Debian,a=oldoldstable,n=stretch,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy', 'cbmc'] 0m3.9s DUMP: cbmc: Installed: (none) Candidate: 5.6-1 Version table: 5.6-1 500 500 http://deb.debian.org/debian stretch/main amd64 Packages 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy', 'cbmc'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-y', 'install', 'cbmc'] 0m7.9s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: binutils cpp cpp-6 gcc gcc-6 libasan3 libatomic1 libcc1-0 libcilkrts5 libgcc-6-dev libgmp10 libgomp1 libisl15 libitm1 liblsan0 libmpc3 libmpfr4 libmpx2 libquadmath0 libtsan0 libubsan0 libzip4 minisat Suggested packages: binutils-doc cpp-doc gcc-6-locales gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-6-multilib gcc-6-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan3-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libmpx2-dbg libquadmath0-dbg Recommended packages: libc6-dev | libc-dev libc6-dev The following NEW packages will be installed: binutils cbmc cpp cpp-6 gcc gcc-6 libasan3 libatomic1 libcc1-0 libcilkrts5 libgcc-6-dev libgmp10 libgomp1 libisl15 libitm1 liblsan0 libmpc3 libmpfr4 libmpx2 libquadmath0 libtsan0 libubsan0 libzip4 minisat 0 upgraded, 24 newly installed, 0 to remove and 0 not upgraded. Need to get 26.2 MB of archives. After this operation, 113 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian stretch/main amd64 binutils amd64 2.28-5 [3770 kB] Get:2 http://deb.debian.org/debian stretch/main amd64 libgmp10 amd64 2:6.1.2+dfsg-1 [253 kB] Get:3 http://deb.debian.org/debian stretch/main amd64 libisl15 amd64 0.18-1 [564 kB] Get:4 http://deb.debian.org/debian stretch/main amd64 libmpfr4 amd64 3.1.5-1 [556 kB] Get:5 http://deb.debian.org/debian stretch/main amd64 libmpc3 amd64 1.0.3-1+b2 [39.9 kB] Get:6 http://deb.debian.org/debian stretch/main amd64 cpp-6 amd64 6.3.0-18+deb9u1 [6584 kB] Get:7 http://deb.debian.org/debian stretch/main amd64 cpp amd64 4:6.3.0-4 [18.7 kB] Get:8 http://deb.debian.org/debian stretch/main amd64 libcc1-0 amd64 6.3.0-18+deb9u1 [30.6 kB] Get:9 http://deb.debian.org/debian stretch/main amd64 libgomp1 amd64 6.3.0-18+deb9u1 [73.3 kB] Get:10 http://deb.debian.org/debian stretch/main amd64 libitm1 amd64 6.3.0-18+deb9u1 [27.3 kB] Get:11 http://deb.debian.org/debian stretch/main amd64 libatomic1 amd64 6.3.0-18+deb9u1 [8966 B] Get:12 http://deb.debian.org/debian stretch/main amd64 libasan3 amd64 6.3.0-18+deb9u1 [311 kB] Get:13 http://deb.debian.org/debian stretch/main amd64 liblsan0 amd64 6.3.0-18+deb9u1 [115 kB] Get:14 http://deb.debian.org/debian stretch/main amd64 libtsan0 amd64 6.3.0-18+deb9u1 [257 kB] Get:15 http://deb.debian.org/debian stretch/main amd64 libubsan0 amd64 6.3.0-18+deb9u1 [107 kB] Get:16 http://deb.debian.org/debian stretch/main amd64 libcilkrts5 amd64 6.3.0-18+deb9u1 [40.5 kB] Get:17 http://deb.debian.org/debian stretch/main amd64 libmpx2 amd64 6.3.0-18+deb9u1 [11.2 kB] Get:18 http://deb.debian.org/debian stretch/main amd64 libquadmath0 amd64 6.3.0-18+deb9u1 [131 kB] Get:19 http://deb.debian.org/debian stretch/main amd64 libgcc-6-dev amd64 6.3.0-18+deb9u1 [2296 kB] Get:20 http://deb.debian.org/debian stretch/main amd64 gcc-6 amd64 6.3.0-18+deb9u1 [6900 kB] Get:21 http://deb.debian.org/debian stretch/main amd64 gcc amd64 4:6.3.0-4 [5196 B] Get:22 http://deb.debian.org/debian stretch/main amd64 libzip4 amd64 1.1.2-1.1+b1 [40.6 kB] Get:23 http://deb.debian.org/debian stretch/main amd64 minisat amd64 1:2.2.1-5+b3 [84.9 kB] Get:24 http://deb.debian.org/debian stretch/main amd64 cbmc amd64 5.6-1 [4000 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 26.2 MB in 0s (76.9 MB/s) Selecting previously unselected package binutils. (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 ... 4411 files and directories currently installed.) Preparing to unpack .../00-binutils_2.28-5_amd64.deb ... Unpacking binutils (2.28-5) ... Selecting previously unselected package libgmp10:amd64. Preparing to unpack .../01-libgmp10_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmp10:amd64 (2:6.1.2+dfsg-1) ... Selecting previously unselected package libisl15:amd64. Preparing to unpack .../02-libisl15_0.18-1_amd64.deb ... Unpacking libisl15:amd64 (0.18-1) ... Selecting previously unselected package libmpfr4:amd64. Preparing to unpack .../03-libmpfr4_3.1.5-1_amd64.deb ... Unpacking libmpfr4:amd64 (3.1.5-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../04-libmpc3_1.0.3-1+b2_amd64.deb ... Unpacking libmpc3:amd64 (1.0.3-1+b2) ... Selecting previously unselected package cpp-6. Preparing to unpack .../05-cpp-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking cpp-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package cpp. Preparing to unpack .../06-cpp_4%3a6.3.0-4_amd64.deb ... Unpacking cpp (4:6.3.0-4) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../07-libcc1-0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libcc1-0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../08-libgomp1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libgomp1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../09-libitm1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libitm1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../10-libatomic1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libatomic1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libasan3:amd64. Preparing to unpack .../11-libasan3_6.3.0-18+deb9u1_amd64.deb ... Unpacking libasan3:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../12-liblsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking liblsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../13-libtsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libtsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libubsan0:amd64. Preparing to unpack .../14-libubsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libubsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libcilkrts5:amd64. Preparing to unpack .../15-libcilkrts5_6.3.0-18+deb9u1_amd64.deb ... Unpacking libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libmpx2:amd64. Preparing to unpack .../16-libmpx2_6.3.0-18+deb9u1_amd64.deb ... Unpacking libmpx2:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../17-libquadmath0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libquadmath0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libgcc-6-dev:amd64. Preparing to unpack .../18-libgcc-6-dev_6.3.0-18+deb9u1_amd64.deb ... Unpacking libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package gcc-6. Preparing to unpack .../19-gcc-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking gcc-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package gcc. Preparing to unpack .../20-gcc_4%3a6.3.0-4_amd64.deb ... Unpacking gcc (4:6.3.0-4) ... Selecting previously unselected package libzip4:amd64. Preparing to unpack .../21-libzip4_1.1.2-1.1+b1_amd64.deb ... Unpacking libzip4:amd64 (1.1.2-1.1+b1) ... Selecting previously unselected package minisat. Preparing to unpack .../22-minisat_1%3a2.2.1-5+b3_amd64.deb ... Unpacking minisat (1:2.2.1-5+b3) ... Selecting previously unselected package cbmc. Preparing to unpack .../23-cbmc_5.6-1_amd64.deb ... Unpacking cbmc (5.6-1) ... Setting up libquadmath0:amd64 (6.3.0-18+deb9u1) ... Setting up libgomp1:amd64 (6.3.0-18+deb9u1) ... Setting up libatomic1:amd64 (6.3.0-18+deb9u1) ... Setting up libcc1-0:amd64 (6.3.0-18+deb9u1) ... Setting up libasan3:amd64 (6.3.0-18+deb9u1) ... Setting up libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Setting up libubsan0:amd64 (6.3.0-18+deb9u1) ... Setting up libtsan0:amd64 (6.3.0-18+deb9u1) ... Setting up minisat (1:2.2.1-5+b3) ... Setting up liblsan0:amd64 (6.3.0-18+deb9u1) ... Setting up libzip4:amd64 (1.1.2-1.1+b1) ... Setting up libmpx2:amd64 (6.3.0-18+deb9u1) ... Setting up libgmp10:amd64 (2:6.1.2+dfsg-1) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... Setting up libmpfr4:amd64 (3.1.5-1) ... Setting up libmpc3:amd64 (1.0.3-1+b2) ... Setting up binutils (2.28-5) ... Setting up libitm1:amd64 (6.3.0-18+deb9u1) ... Setting up libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Setting up libisl15:amd64 (0.18-1) ... Setting up cpp-6 (6.3.0-18+deb9u1) ... Setting up cpp (4:6.3.0-4) ... Setting up gcc-6 (6.3.0-18+deb9u1) ... Setting up gcc (4:6.3.0-4) ... Setting up cbmc (5.6-1) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-y', 'install', 'cbmc'] 0m7.9s INFO: Running scripts post_install 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_install_exceptions'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_install_exceptions'] 0m7.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m8.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m8.2s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpe7rsurwb to stretch-lts 0m8.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ stretch main deb http://security.debian.org stretch/updates main 0m8.2s INFO: Running scripts pre_distupgrade 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_exceptions'] 0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_exceptions'] 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', 'update'] 0m9.3s DUMP: Get:1 http://security.debian.org stretch/updates InRelease [59.1 kB] Ign:2 http://deb.debian.org/debian stretch InRelease Hit:3 http://deb.debian.org/debian stretch Release Get:4 http://security.debian.org stretch/updates/main amd64 Packages [782 kB] Get:5 http://security.debian.org stretch/updates/main Translation-en [368 kB] Fetched 1209 kB in 0s (2675 kB/s) Reading package lists... 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', 'update'] 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-yf', 'dist-upgrade'] 0m12.0s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt debian-archive-keyring dpkg e2fslibs e2fsprogs gzip libapt-pkg5.0 libcomerr2 libgcrypt20 libgmp10 liblz4-1 liblzma5 libss2 libsystemd0 libudev1 libzip4 login passwd tar zlib1g 20 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 9888 kB of archives. After this operation, 50.2 kB of additional disk space will be used. Get:1 http://security.debian.org stretch/updates/main amd64 tar amd64 1.29b-1.1+deb9u1 [760 kB] Get:2 http://security.debian.org stretch/updates/main amd64 dpkg amd64 1.18.26 [2117 kB] Get:3 http://security.debian.org stretch/updates/main amd64 e2fslibs amd64 1.43.4-2+deb9u2 [208 kB] Get:4 http://security.debian.org stretch/updates/main amd64 e2fsprogs amd64 1.43.4-2+deb9u2 [948 kB] Get:5 http://security.debian.org stretch/updates/main amd64 gzip amd64 1.6-5+deb9u1 [114 kB] Get:6 http://security.debian.org stretch/updates/main amd64 login amd64 1:4.4-4.1+deb9u1 [790 kB] Get:7 http://security.debian.org stretch/updates/main amd64 debian-archive-keyring all 2017.5+deb9u2 [92.4 kB] Get:8 http://security.debian.org stretch/updates/main amd64 liblz4-1 amd64 0.0~r131-2+deb9u1 [33.2 kB] Get:9 http://security.debian.org stretch/updates/main amd64 liblzma5 amd64 5.2.2-1.2+deb9u1 [234 kB] Get:10 http://security.debian.org stretch/updates/main amd64 zlib1g amd64 1:1.2.8.dfsg-5+deb9u1 [87.8 kB] Get:11 http://security.debian.org stretch/updates/main amd64 libapt-pkg5.0 amd64 1.4.11 [917 kB] Get:12 http://security.debian.org stretch/updates/main amd64 apt amd64 1.4.11 [1232 kB] Get:13 http://security.debian.org stretch/updates/main amd64 libsystemd0 amd64 232-25+deb9u14 [282 kB] Get:14 http://security.debian.org stretch/updates/main amd64 libcomerr2 amd64 1.43.4-2+deb9u2 [63.8 kB] Get:15 http://security.debian.org stretch/updates/main amd64 libss2 amd64 1.43.4-2+deb9u2 [68.0 kB] Get:16 http://security.debian.org stretch/updates/main amd64 passwd amd64 1:4.4-4.1+deb9u1 [997 kB] Get:17 http://security.debian.org stretch/updates/main amd64 libudev1 amd64 232-25+deb9u14 [126 kB] Get:18 http://security.debian.org stretch/updates/main amd64 libgcrypt20 amd64 1.7.6-2+deb9u4 [523 kB] Get:19 http://security.debian.org stretch/updates/main amd64 libgmp10 amd64 2:6.1.2+dfsg-1+deb9u1 [253 kB] Get:20 http://security.debian.org stretch/updates/main amd64 libzip4 amd64 1.1.2-1.1+deb9u1 [40.5 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 9888 kB in 0s (67.0 MB/s) (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 ... 5099 files and directories currently installed.) Preparing to unpack .../tar_1.29b-1.1+deb9u1_amd64.deb ... Unpacking tar (1.29b-1.1+deb9u1) over (1.29b-1.1) ... Setting up tar (1.29b-1.1+deb9u1) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../dpkg_1.18.26_amd64.deb ... Unpacking dpkg (1.18.26) over (1.18.25) ... Setting up dpkg (1.18.26) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.43.4-2+deb9u2_amd64.deb ... Unpacking e2fslibs:amd64 (1.43.4-2+deb9u2) over (1.43.4-2+deb9u1) ... Setting up e2fslibs:amd64 (1.43.4-2+deb9u2) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.43.4-2+deb9u2_amd64.deb ... Unpacking e2fsprogs (1.43.4-2+deb9u2) over (1.43.4-2+deb9u1) ... Setting up e2fsprogs (1.43.4-2+deb9u2) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../gzip_1.6-5+deb9u1_amd64.deb ... Unpacking gzip (1.6-5+deb9u1) over (1.6-5+b1) ... Setting up gzip (1.6-5+deb9u1) ... (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 ... 5098 files and directories currently installed.) Preparing to unpack .../login_1%3a4.4-4.1+deb9u1_amd64.deb ... Unpacking login (1:4.4-4.1+deb9u1) over (1:4.4-4.1) ... Setting up login (1:4.4-4.1+deb9u1) ... Installing new version of config file /etc/securetty ... (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 ... 5098 files and directories currently installed.) Preparing to unpack .../debian-archive-keyring_2017.5+deb9u2_all.deb ... Unpacking debian-archive-keyring (2017.5+deb9u2) over (2017.5+deb9u1) ... Setting up debian-archive-keyring (2017.5+deb9u2) ... (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 ... 5101 files and directories currently installed.) Preparing to unpack .../liblz4-1_0.0~r131-2+deb9u1_amd64.deb ... Unpacking liblz4-1:amd64 (0.0~r131-2+deb9u1) over (0.0~r131-2+b1) ... Setting up liblz4-1:amd64 (0.0~r131-2+deb9u1) ... (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 ... 5100 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.2-1.2+deb9u1_amd64.deb ... Unpacking liblzma5:amd64 (5.2.2-1.2+deb9u1) over (5.2.2-1.2+b1) ... Setting up liblzma5:amd64 (5.2.2-1.2+deb9u1) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.8.dfsg-5+deb9u1_amd64.deb ... Unpacking zlib1g:amd64 (1:1.2.8.dfsg-5+deb9u1) over (1:1.2.8.dfsg-5) ... Setting up zlib1g:amd64 (1:1.2.8.dfsg-5+deb9u1) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.4.11_amd64.deb ... Unpacking libapt-pkg5.0:amd64 (1.4.11) over (1.4.10) ... Setting up libapt-pkg5.0:amd64 (1.4.11) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../archives/apt_1.4.11_amd64.deb ... Unpacking apt (1.4.11) over (1.4.10) ... Setting up apt (1.4.11) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../libsystemd0_232-25+deb9u14_amd64.deb ... Unpacking libsystemd0:amd64 (232-25+deb9u14) over (232-25+deb9u12) ... Setting up libsystemd0:amd64 (232-25+deb9u14) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.43.4-2+deb9u2_amd64.deb ... Unpacking libcomerr2:amd64 (1.43.4-2+deb9u2) over (1.43.4-2+deb9u1) ... Setting up libcomerr2:amd64 (1.43.4-2+deb9u2) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../libss2_1.43.4-2+deb9u2_amd64.deb ... Unpacking libss2:amd64 (1.43.4-2+deb9u2) over (1.43.4-2+deb9u1) ... Setting up libss2:amd64 (1.43.4-2+deb9u2) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.4-4.1+deb9u1_amd64.deb ... Unpacking passwd (1:4.4-4.1+deb9u1) over (1:4.4-4.1) ... Setting up passwd (1:4.4-4.1+deb9u1) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../libudev1_232-25+deb9u14_amd64.deb ... Unpacking libudev1:amd64 (232-25+deb9u14) over (232-25+deb9u12) ... Setting up libudev1:amd64 (232-25+deb9u14) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.6-2+deb9u4_amd64.deb ... Unpacking libgcrypt20:amd64 (1.7.6-2+deb9u4) over (1.7.6-2+deb9u3) ... Setting up libgcrypt20:amd64 (1.7.6-2+deb9u4) ... (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 ... 5099 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.1.2+dfsg-1+deb9u1_amd64.deb ... Unpacking libgmp10:amd64 (2:6.1.2+dfsg-1+deb9u1) over (2:6.1.2+dfsg-1) ... Preparing to unpack .../libzip4_1.1.2-1.1+deb9u1_amd64.deb ... Unpacking libzip4:amd64 (1.1.2-1.1+deb9u1) over (1.1.2-1.1+b1) ... Setting up libzip4:amd64 (1.1.2-1.1+deb9u1) ... Setting up libgmp10:amd64 (2:6.1.2+dfsg-1+deb9u1) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... 0m12.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-yf', 'dist-upgrade'] 0m12.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m12.4s DUMP: f0660a0a38f941b755664f52e8306b99 - 0m12.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m12.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'show', '--no-all-versions', 'cbmc'] 0m12.7s DUMP: Package: cbmc Version: 5.6-1 Installed-Size: 18992 Maintainer: Michael Tautschnig Architecture: amd64 Depends: gcc, libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), libzip4 (>= 0.10), minisat Description-en: bounded model checker for C and C++ programs CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations. Description-md5: 2c892fdd5142036595dc17775271afad Homepage: http://www.cprover.org/cbmc/ Tag: role::program Section: science Priority: extra Filename: pool/main/c/cbmc/cbmc_5.6-1_amd64.deb Size: 4000220 MD5sum: 86d22b846fc120de2a931ea0ef3fa671 SHA256: 2a7700368f54c1318645a355604fdf47f1554ddce4aec3ecb2d6a66a48295feb 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'show', '--no-all-versions', 'cbmc'] 0m12.7s INFO: apt-cache knows about the following packages: cbmc 0m12.7s INFO: Running scripts pre_install 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_database-server'] 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_database-server'] 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_exceptions'] 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_exceptions'] 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_extras'] 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_extras'] 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture'] 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture'] 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy'] 0m12.7s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org stretch/updates/main amd64 Packages release v=9,o=Debian,a=oldoldstable,n=stretch,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian stretch/main amd64 Packages release v=9.13,o=Debian,a=oldoldstable,n=stretch,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m12.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy'] 0m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy', 'cbmc'] 0m12.8s DUMP: cbmc: Installed: 5.6-1 Candidate: 5.6-1 Version table: *** 5.6-1 500 500 http://deb.debian.org/debian stretch/main amd64 Packages 100 /var/lib/dpkg/status 0m12.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy', 'cbmc'] 0m12.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-y', 'install', 'cbmc'] 0m13.2s DUMP: Reading package lists... Building dependency tree... Reading state information... cbmc is already the newest version (5.6-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-y', 'install', 'cbmc'] 0m13.2s INFO: Running scripts post_install 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_install_exceptions'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_install_exceptions'] 0m13.2s INFO: Running scripts post_distupgrade 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_exceptions'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_exceptions'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m13.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m13.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m13.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m13.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_zz_backports'] 0m13.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_distupgrade_zz_backports'] 0m13.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m13.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m13.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m13.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m13.8s INFO: Running scripts pre_install 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_database-server'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_database-server'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_exceptions'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_exceptions'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_extras'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_extras'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy'] 0m13.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org stretch/updates/main amd64 Packages release v=9,o=Debian,a=oldoldstable,n=stretch,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian stretch/main amd64 Packages release v=9.13,o=Debian,a=oldoldstable,n=stretch,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m13.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy'] 0m13.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy', 'cbmc'] 0m13.9s DUMP: cbmc: Installed: 5.6-1 Candidate: 5.6-1 Version table: *** 5.6-1 500 500 http://deb.debian.org/debian stretch/main amd64 Packages 100 /var/lib/dpkg/status 0m13.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-cache', 'policy', 'cbmc'] 0m13.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-y', 'install', 'cbmc=5.6-1'] 0m14.1s DUMP: Reading package lists... Building dependency tree... Reading state information... cbmc is already the newest version (5.6-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m14.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', '-y', 'install', 'cbmc=5.6-1'] 0m14.1s INFO: Running scripts post_install 0m14.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_install_exceptions'] 0m14.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_install_exceptions'] 0m14.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m14.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m14.7s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', '-ac', '--ignore-obsolete'] 0m15.3s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', '-ac', '--ignore-obsolete'] 0m15.3s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m15.3s DUMP: 0.15.6 0m15.3s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m15.3s INFO: Running adequate version 0.15.6 now. 0m15.3s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'cbmc'] 0m15.4s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'cbmc'] 0m15.4s INFO: Running scripts pre_remove 0m15.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m15.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m15.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m15.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m15.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m16.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m16.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m16.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m16.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m16.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m16.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_exceptions'] 0m16.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/pre_remove_exceptions'] 0m16.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m16.3s DUMP: install ok installed adduser adduser 3.115 install ok installed apt apt 1.4.11 install ok installed base-files base-files 9.9+deb9u13 install ok installed base-passwd base-passwd 3.5.43 install ok installed bash bash 4.4-5 install ok installed binutils binutils 2.28-5 install ok installed bsdutils bsdutils 1:2.29.2-1+deb9u1 install ok installed cbmc cbmc 5.6-1 install ok installed coreutils coreutils 8.26-3 install ok installed cpp cpp 4:6.3.0-4 install ok installed cpp-6 cpp-6 6.3.0-18+deb9u1 install ok installed dash dash 0.5.8-2.4 install ok installed debconf debconf 1.5.61 install ok installed debian-archive-keyring debian-archive-keyring 2017.5+deb9u2 install ok installed debianutils debianutils 4.8.1.1 install ok installed diffutils diffutils 1:3.5-3 install ok installed dpkg dpkg 1.18.26 install ok installed e2fslibs:amd64 e2fslibs 1.43.4-2+deb9u2 install ok installed e2fsprogs e2fsprogs 1.43.4-2+deb9u2 install ok installed findutils findutils 4.6.0+git+20161106-2 install ok installed gcc gcc 4:6.3.0-4 install ok installed gcc-6 gcc-6 6.3.0-18+deb9u1 install ok installed gcc-6-base:amd64 gcc-6-base 6.3.0-18+deb9u1 install ok installed gpgv gpgv 2.1.18-8~deb9u4 install ok installed grep grep 2.27-2 install ok installed gzip gzip 1.6-5+deb9u1 install ok installed hostname hostname 3.18+b1 install ok installed init-system-helpers init-system-helpers 1.48 install ok installed libacl1:amd64 libacl1 2.2.52-3+b1 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.4.11 install ok installed libasan3:amd64 libasan3 6.3.0-18+deb9u1 install ok installed libatomic1:amd64 libatomic1 6.3.0-18+deb9u1 install ok installed libattr1:amd64 libattr1 1:2.4.47-2+b2 install ok installed libaudit-common libaudit-common 1:2.6.7-2 install ok installed libaudit1:amd64 libaudit1 1:2.6.7-2 install ok installed libblkid1:amd64 libblkid1 2.29.2-1+deb9u1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-8.1 install ok installed libc-bin libc-bin 2.24-11+deb9u4 install ok installed libc6:amd64 libc6 2.24-11+deb9u4 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.7-3+b1 install ok installed libcc1-0:amd64 libcc1-0 6.3.0-18+deb9u1 install ok installed libcilkrts5:amd64 libcilkrts5 6.3.0-18+deb9u1 install ok installed libcomerr2:amd64 libcomerr2 1.43.4-2+deb9u2 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-12+deb9u1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.227 install ok installed libfdisk1:amd64 libfdisk1 2.29.2-1+deb9u1 install ok installed libgcc-6-dev:amd64 libgcc-6-dev 6.3.0-18+deb9u1 install ok installed libgcc1:amd64 libgcc1 1:6.3.0-18+deb9u1 install ok installed libgcrypt20:amd64 libgcrypt20 1.7.6-2+deb9u4 install ok installed libgmp10:amd64 libgmp10 2:6.1.2+dfsg-1+deb9u1 install ok installed libgomp1:amd64 libgomp1 6.3.0-18+deb9u1 install ok installed libgpg-error0:amd64 libgpg-error0 1.26-2 install ok installed libisl15:amd64 libisl15 0.18-1 install ok installed libitm1:amd64 libitm1 6.3.0-18+deb9u1 install ok installed liblsan0:amd64 liblsan0 6.3.0-18+deb9u1 install ok installed liblz4-1:amd64 liblz4-1 0.0~r131-2+deb9u1 install ok installed liblzma5:amd64 liblzma5 5.2.2-1.2+deb9u1 install ok installed libmount1:amd64 libmount1 2.29.2-1+deb9u1 install ok installed libmpc3:amd64 libmpc3 1.0.3-1+b2 install ok installed libmpfr4:amd64 libmpfr4 3.1.5-1 install ok installed libmpx2:amd64 libmpx2 6.3.0-18+deb9u1 install ok installed libncursesw5:amd64 libncursesw5 6.0+20161126-1+deb9u2 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.6 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.6 install ok installed libpam-runtime libpam-runtime 1.1.8-3.6 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.6 install ok installed libpcre3:amd64 libpcre3 2:8.39-3 install ok installed libquadmath0:amd64 libquadmath0 6.3.0-18+deb9u1 install ok installed libselinux1:amd64 libselinux1 2.6-3+b3 install ok installed libsemanage-common libsemanage-common 2.6-2 install ok installed libsemanage1:amd64 libsemanage1 2.6-2 install ok installed libsepol1:amd64 libsepol1 2.6-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.29.2-1+deb9u1 install ok installed libss2:amd64 libss2 1.43.4-2+deb9u2 install ok installed libstdc++6:amd64 libstdc++6 6.3.0-18+deb9u1 install ok installed libsystemd0:amd64 libsystemd0 232-25+deb9u14 install ok installed libtinfo5:amd64 libtinfo5 6.0+20161126-1+deb9u2 install ok installed libtsan0:amd64 libtsan0 6.3.0-18+deb9u1 install ok installed libubsan0:amd64 libubsan0 6.3.0-18+deb9u1 install ok installed libudev1:amd64 libudev1 232-25+deb9u14 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-6 install ok installed libuuid1:amd64 libuuid1 2.29.2-1+deb9u1 install ok installed libzip4:amd64 libzip4 1.1.2-1.1+deb9u1 install ok installed login login 1:4.4-4.1+deb9u1 install ok installed mawk mawk 1.3.3-17+b3 install ok installed minisat minisat 1:2.2.1-5+b3 install ok installed mount mount 2.29.2-1+deb9u1 install ok installed multiarch-support multiarch-support 2.24-11+deb9u4 install ok installed ncurses-base ncurses-base 6.0+20161126-1+deb9u2 install ok installed ncurses-bin ncurses-bin 6.0+20161126-1+deb9u2 install ok installed passwd passwd 1:4.4-4.1+deb9u1 install ok installed perl-base perl-base 5.24.1-3+deb9u7 install ok installed sed sed 4.4-1 install ok installed sensible-utils sensible-utils 0.0.9+deb9u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59.9 install ok installed tar tar 1.29b-1.1+deb9u1 install ok installed util-linux util-linux 2.29.2-1+deb9u1 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-5+deb9u1 0m16.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m16.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', 'remove', 'binutils', 'cpp', 'cpp-6', 'gcc', 'gcc-6', 'libasan3:amd64', 'libatomic1:amd64', 'libcc1-0:amd64', 'libcilkrts5:amd64', 'libgcc-6-dev:amd64', 'libgmp10:amd64', 'libgomp1:amd64', 'libisl15:amd64', 'libitm1:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libmpx2:amd64', 'libquadmath0:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libzip4:amd64', 'minisat', 'cbmc'] 0m16.9s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils cbmc cpp cpp-6 gcc gcc-6 libasan3 libatomic1 libcc1-0 libcilkrts5 libgcc-6-dev libgmp10 libgomp1 libisl15 libitm1 liblsan0 libmpc3 libmpfr4 libmpx2 libquadmath0 libtsan0 libubsan0 libzip4 minisat 0 upgraded, 0 newly installed, 24 to remove and 0 not upgraded. After this operation, 113 MB 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 ... 5098 files and directories currently installed.) Removing cbmc (5.6-1) ... Removing gcc (4:6.3.0-4) ... Removing gcc-6 (6.3.0-18+deb9u1) ... Removing binutils (2.28-5) ... Removing cpp (4:6.3.0-4) ... Removing cpp-6 (6.3.0-18+deb9u1) ... Removing libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Removing libasan3:amd64 (6.3.0-18+deb9u1) ... Removing libatomic1:amd64 (6.3.0-18+deb9u1) ... Removing libcc1-0:amd64 (6.3.0-18+deb9u1) ... Removing libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Removing libmpc3:amd64 (1.0.3-1+b2) ... Removing libmpfr4:amd64 (3.1.5-1) ... Removing libisl15:amd64 (0.18-1) ... Removing libgmp10:amd64 (2:6.1.2+dfsg-1+deb9u1) ... Removing libgomp1:amd64 (6.3.0-18+deb9u1) ... Removing libitm1:amd64 (6.3.0-18+deb9u1) ... Removing liblsan0:amd64 (6.3.0-18+deb9u1) ... Removing libmpx2:amd64 (6.3.0-18+deb9u1) ... Removing libquadmath0:amd64 (6.3.0-18+deb9u1) ... Removing libtsan0:amd64 (6.3.0-18+deb9u1) ... Removing libubsan0:amd64 (6.3.0-18+deb9u1) ... Removing libzip4:amd64 (1.1.2-1.1+deb9u1) ... Removing minisat (1:2.2.1-5+b3) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... 0m16.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', 'remove', 'binutils', 'cpp', 'cpp-6', 'gcc', 'gcc-6', 'libasan3:amd64', 'libatomic1:amd64', 'libcc1-0:amd64', 'libcilkrts5:amd64', 'libgcc-6-dev:amd64', 'libgmp10:amd64', 'libgomp1:amd64', 'libisl15:amd64', 'libitm1:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libmpx2:amd64', 'libquadmath0:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libzip4:amd64', 'minisat', 'cbmc'] 0m16.9s INFO: Running scripts post_remove 0m16.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_remove_exceptions'] 0m16.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_remove_exceptions'] 0m16.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg', '--purge', 'binutils', 'cpp', 'cpp-6', 'gcc', 'gcc-6', 'libasan3:amd64', 'libatomic1:amd64', 'libcc1-0:amd64', 'libcilkrts5:amd64', 'libgcc-6-dev:amd64', 'libgmp10:amd64', 'libgomp1:amd64', 'libisl15:amd64', 'libitm1:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libmpx2:amd64', 'libquadmath0:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libzip4:amd64', 'minisat'] 0m16.9s DUMP: dpkg: warning: ignoring request to remove binutils which isn't installed dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove cpp-6 which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-6 which isn't installed dpkg: warning: ignoring request to remove libasan3 which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcilkrts5 which isn't installed dpkg: warning: ignoring request to remove libgcc-6-dev which isn't installed dpkg: warning: ignoring request to remove libgmp10 which isn't installed dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libisl15 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr4 which isn't installed dpkg: warning: ignoring request to remove libmpx2 which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libtsan0 which isn't installed dpkg: warning: ignoring request to remove libubsan0 which isn't installed dpkg: warning: ignoring request to remove libzip4 which isn't installed dpkg: warning: ignoring request to remove minisat which isn't installed 0m16.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg', '--purge', 'binutils', 'cpp', 'cpp-6', 'gcc', 'gcc-6', 'libasan3:amd64', 'libatomic1:amd64', 'libcc1-0:amd64', 'libcilkrts5:amd64', 'libgcc-6-dev:amd64', 'libgmp10:amd64', 'libgomp1:amd64', 'libisl15:amd64', 'libitm1:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr4:amd64', 'libmpx2:amd64', 'libquadmath0:amd64', 'libtsan0:amd64', 'libubsan0:amd64', 'libzip4:amd64', 'minisat'] 0m16.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg', '--purge', 'cbmc'] 0m16.9s DUMP: dpkg: warning: ignoring request to remove cbmc which isn't installed 0m16.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg', '--purge', 'cbmc'] 0m16.9s INFO: Running scripts post_purge 0m16.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_purge_exceptions'] 0m16.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_purge_exceptions'] 0m16.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg', '--purge', '--pending'] 0m16.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg', '--purge', '--pending'] 0m16.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg', '--remove', '--pending'] 0m17.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg', '--remove', '--pending'] 0m17.0s INFO: Running scripts post_test 0m17.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_test_exceptions'] 0m17.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'tmp/scripts/post_test_exceptions'] 0m17.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m17.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m17.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg-divert', '--list'] 0m17.2s 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 0m17.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'dpkg-divert', '--list'] 0m17.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', 'clean'] 0m17.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb', 'apt-get', 'clean'] 0m17.2s DEBUG: Recording chroot state 0m17.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/shm'] 0m17.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/shm'] 0m17.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/console'] 0m17.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/console'] 0m17.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/ptmx'] 0m17.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/ptmx'] 0m17.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/pts'] 0m17.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/dev/pts'] 0m17.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/proc'] 0m17.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb/proc'] 0m17.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m18.0s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpe7rsurwb'] 0m18.0s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpe7rsurwb 0m18.0s INFO: PASS: Upgrading between Debian distributions. 0m18.0s INFO: PASS: All tests. 0m18.0s INFO: piuparts run ends. ret=0 End: 2023-04-01 22:14:23 GMT