0s autopkgtest [17:34:10]: starting date and time: 2026-02-06 17:34:10+0000 2s autopkgtest [17:34:10]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 2s autopkgtest [17:34:10]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.ygqouzgd/out --timeout-copy=6000 --needs-internet=try --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade cbmc --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.42-2ubuntu5 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-cpu2-ram4-disk20-amd64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@sto01-2.secgroup --name adt-resolute-amd64-cbmc-20260206-173410-juju-7f2275-prod-proposed-migration-environment-15-c33dc975-dbff-4971-b6e4-31f1e2b3cae4 --image adt/ubuntu-resolute-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-autopkgtest-workers-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 5s Creating nova instance adt-resolute-amd64-cbmc-20260206-173410-juju-7f2275-prod-proposed-migration-environment-15-c33dc975-dbff-4971-b6e4-31f1e2b3cae4 from image adt/ubuntu-resolute-amd64-server-20260204.img (UUID fedf54b4-458b-493e-8072-6425c19717b4)... 83s autopkgtest [17:35:33]: testbed dpkg architecture: amd64 83s autopkgtest [17:35:33]: testbed apt version: 3.1.14 83s autopkgtest [17:35:33]: @@@@@@@@@@@@@@@@@@@@ test bed setup 83s autopkgtest [17:35:33]: testbed release detected to be: None 84s autopkgtest [17:35:34]: updating testbed package index (apt update) 84s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 84s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 84s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 84s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 84s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [197 kB] 84s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [10.7 kB] 84s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1504 kB] 84s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [32.1 kB] 84s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main i386 Packages [185 kB] 85s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 Packages [259 kB] 85s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 c-n-f Metadata [6320 B] 85s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 Packages [80.4 kB] 85s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/restricted i386 Packages [3692 B] 85s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 c-n-f Metadata [336 B] 85s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/universe i386 Packages [536 kB] 85s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 Packages [1397 kB] 85s Get:17 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 c-n-f Metadata [35.3 kB] 85s Get:18 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 Packages [28.2 kB] 85s Get:19 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse i386 Packages [4892 B] 85s Get:20 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 c-n-f Metadata [1060 B] 85s Fetched 4405 kB in 1s (5521 kB/s) 86s Reading package lists... 87s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 87s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 87s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 87s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 87s Reading package lists... 87s Reading package lists... 88s Building dependency tree... 88s Reading state information... 88s Calculating upgrade... 88s The following packages will be upgraded: 88s amd64-microcode apt busybox-initramfs busybox-static dmsetup findutils less 88s libapt-pkg7.0 libattr1 libc-bin libc-gconv-modules-extra libc6 88s libdevmapper1.02.1 libdrm-amdgpu1 libdrm-common libdrm2 libgpm2 libkeyutils1 88s libmaxminddb0 libnpth0t64 libsensors-config libsensors5 locales mawk patch 88s pollinate python3-linkify-it python3-markdown-it python3-referencing sed tar 88s 31 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 88s Need to get 14.4 MB of archives. 88s After this operation, 270 kB disk space will be freed. 88s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 findutils amd64 4.10.0-3build2 [307 kB] 88s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 sed amd64 4.9-2build3 [195 kB] 88s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 tar amd64 1.35+dfsg-3.1build2 [257 kB] 88s Get:4 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libc-gconv-modules-extra amd64 2.42-2ubuntu5 [1394 kB] 88s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libc6 amd64 2.42-2ubuntu5 [2041 kB] 88s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libc-bin amd64 2.42-2ubuntu5 [702 kB] 88s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 libattr1 amd64 1:2.5.2-3build2 [11.4 kB] 88s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 mawk amd64 1.3.4.20260129-1 [133 kB] 88s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 libapt-pkg7.0 amd64 3.1.15 [1151 kB] 88s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 apt amd64 3.1.15 [1479 kB] 88s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 libdevmapper1.02.1 amd64 2:1.02.205-2ubuntu3 [142 kB] 88s Get:12 http://ftpmaster.internal/ubuntu resolute/main amd64 dmsetup amd64 2:1.02.205-2ubuntu3 [79.4 kB] 88s Get:13 http://ftpmaster.internal/ubuntu resolute/main amd64 less amd64 668-1build1 [172 kB] 88s Get:14 http://ftpmaster.internal/ubuntu resolute/main amd64 libkeyutils1 amd64 1.6.3-6ubuntu3 [10.6 kB] 88s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 locales all 2.42-2ubuntu5 [4255 kB] 88s Get:16 http://ftpmaster.internal/ubuntu resolute/main amd64 python3-linkify-it all 2.0.3-1ubuntu3 [19.4 kB] 88s Get:17 http://ftpmaster.internal/ubuntu resolute/main amd64 python3-markdown-it all 3.0.0-3build1 [54.4 kB] 88s Get:18 http://ftpmaster.internal/ubuntu resolute/main amd64 busybox-static amd64 1:1.37.0-7ubuntu1 [1034 kB] 88s Get:19 http://ftpmaster.internal/ubuntu resolute/main amd64 libdrm-common all 2.4.131-1 [9774 B] 88s Get:20 http://ftpmaster.internal/ubuntu resolute/main amd64 libdrm2 amd64 2.4.131-1 [42.3 kB] 88s Get:21 http://ftpmaster.internal/ubuntu resolute/main amd64 libgpm2 amd64 1.20.7-12build1 [14.4 kB] 88s Get:22 http://ftpmaster.internal/ubuntu resolute/main amd64 libmaxminddb0 amd64 1.12.2-1build2 [18.9 kB] 88s Get:23 http://ftpmaster.internal/ubuntu resolute/main amd64 libsensors-config all 1:3.6.2-2build1 [6862 B] 88s Get:24 http://ftpmaster.internal/ubuntu resolute/main amd64 libsensors5 amd64 1:3.6.2-2build1 [28.9 kB] 88s Get:25 http://ftpmaster.internal/ubuntu resolute/main amd64 busybox-initramfs amd64 1:1.37.0-7ubuntu1 [191 kB] 88s Get:26 http://ftpmaster.internal/ubuntu resolute/main amd64 libdrm-amdgpu1 amd64 2.4.131-1 [23.2 kB] 88s Get:27 http://ftpmaster.internal/ubuntu resolute/main amd64 libnpth0t64 amd64 1.8-3build1 [9302 B] 88s Get:28 http://ftpmaster.internal/ubuntu resolute/main amd64 patch amd64 2.8-2build1 [95.7 kB] 88s Get:29 http://ftpmaster.internal/ubuntu resolute/main amd64 pollinate all 4.33-4ubuntu5 [14.0 kB] 88s Get:30 http://ftpmaster.internal/ubuntu resolute/main amd64 python3-referencing all 0.36.2-1ubuntu2 [22.2 kB] 88s Get:31 http://ftpmaster.internal/ubuntu resolute/main amd64 amd64-microcode amd64 3.20251202.1ubuntu1 [459 kB] 89s dpkg-preconfigure: unable to re-open stdin: No such file or directory 89s Fetched 14.4 MB in 1s (26.5 MB/s) 89s (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 ... 83957 files and directories currently installed.) 89s Preparing to unpack .../findutils_4.10.0-3build2_amd64.deb ... 89s Unpacking findutils (4.10.0-3build2) over (4.10.0-3build1) ... 89s Setting up findutils (4.10.0-3build2) ... 89s (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 ... 83957 files and directories currently installed.) 89s Preparing to unpack .../sed_4.9-2build3_amd64.deb ... 89s Unpacking sed (4.9-2build3) over (4.9-2build2) ... 89s Setting up sed (4.9-2build3) ... 89s (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 ... 83957 files and directories currently installed.) 89s Preparing to unpack .../tar_1.35+dfsg-3.1build2_amd64.deb ... 89s Unpacking tar (1.35+dfsg-3.1build2) over (1.35+dfsg-3.1build1) ... 89s Setting up tar (1.35+dfsg-3.1build2) ... 89s (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 ... 83957 files and directories currently installed.) 89s Preparing to unpack .../libc-gconv-modules-extra_2.42-2ubuntu5_amd64.deb ... 89s Unpacking libc-gconv-modules-extra:amd64 (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 89s Setting up libc-gconv-modules-extra:amd64 (2.42-2ubuntu5) ... 89s (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 ... 83957 files and directories currently installed.) 89s Preparing to unpack .../libc6_2.42-2ubuntu5_amd64.deb ... 89s Unpacking libc6:amd64 (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 89s Setting up libc6:amd64 (2.42-2ubuntu5) ... 90s (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 ... 83957 files and directories currently installed.) 90s Preparing to unpack .../libc-bin_2.42-2ubuntu5_amd64.deb ... 90s Unpacking libc-bin (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 90s Setting up libc-bin (2.42-2ubuntu5) ... 90s (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 ... 83957 files and directories currently installed.) 90s Preparing to unpack .../libattr1_1%3a2.5.2-3build2_amd64.deb ... 90s Unpacking libattr1:amd64 (1:2.5.2-3build2) over (1:2.5.2-3build1) ... 90s Setting up libattr1:amd64 (1:2.5.2-3build2) ... 90s (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 ... 83957 files and directories currently installed.) 90s Preparing to unpack .../00-mawk_1.3.4.20260129-1_amd64.deb ... 90s Unpacking mawk (1.3.4.20260129-1) over (1.3.4.20250131-2) ... 90s Preparing to unpack .../01-libapt-pkg7.0_3.1.15_amd64.deb ... 90s Unpacking libapt-pkg7.0:amd64 (3.1.15) over (3.1.14) ... 90s Preparing to unpack .../02-apt_3.1.15_amd64.deb ... 90s Unpacking apt (3.1.15) over (3.1.14) ... 90s Preparing to unpack .../03-libdevmapper1.02.1_2%3a1.02.205-2ubuntu3_amd64.deb ... 90s Unpacking libdevmapper1.02.1:amd64 (2:1.02.205-2ubuntu3) over (2:1.02.205-2ubuntu2) ... 90s Preparing to unpack .../04-dmsetup_2%3a1.02.205-2ubuntu3_amd64.deb ... 90s Unpacking dmsetup (2:1.02.205-2ubuntu3) over (2:1.02.205-2ubuntu2) ... 90s Preparing to unpack .../05-less_668-1build1_amd64.deb ... 90s Unpacking less (668-1build1) over (668-1) ... 90s Preparing to unpack .../06-libkeyutils1_1.6.3-6ubuntu3_amd64.deb ... 90s Unpacking libkeyutils1:amd64 (1.6.3-6ubuntu3) over (1.6.3-6ubuntu2) ... 90s Preparing to unpack .../07-locales_2.42-2ubuntu5_all.deb ... 90s Unpacking locales (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 90s Preparing to unpack .../08-python3-linkify-it_2.0.3-1ubuntu3_all.deb ... 90s Unpacking python3-linkify-it (2.0.3-1ubuntu3) over (2.0.3-1ubuntu2) ... 90s Preparing to unpack .../09-python3-markdown-it_3.0.0-3build1_all.deb ... 90s Unpacking python3-markdown-it (3.0.0-3build1) over (3.0.0-3) ... 91s Preparing to unpack .../10-busybox-static_1%3a1.37.0-7ubuntu1_amd64.deb ... 91s Unpacking busybox-static (1:1.37.0-7ubuntu1) over (1:1.37.0-4ubuntu1) ... 91s Preparing to unpack .../11-libdrm-common_2.4.131-1_all.deb ... 91s Unpacking libdrm-common (2.4.131-1) over (2.4.129-1) ... 91s Preparing to unpack .../12-libdrm2_2.4.131-1_amd64.deb ... 91s Unpacking libdrm2:amd64 (2.4.131-1) over (2.4.129-1) ... 91s Preparing to unpack .../13-libgpm2_1.20.7-12build1_amd64.deb ... 91s Unpacking libgpm2:amd64 (1.20.7-12build1) over (1.20.7-12) ... 91s Preparing to unpack .../14-libmaxminddb0_1.12.2-1build2_amd64.deb ... 91s Unpacking libmaxminddb0:amd64 (1.12.2-1build2) over (1.12.2-1build1) ... 91s Preparing to unpack .../15-libsensors-config_1%3a3.6.2-2build1_all.deb ... 91s Unpacking libsensors-config (1:3.6.2-2build1) over (1:3.6.2-2) ... 91s Preparing to unpack .../16-libsensors5_1%3a3.6.2-2build1_amd64.deb ... 91s Unpacking libsensors5:amd64 (1:3.6.2-2build1) over (1:3.6.2-2) ... 91s Preparing to unpack .../17-busybox-initramfs_1%3a1.37.0-7ubuntu1_amd64.deb ... 91s Unpacking busybox-initramfs (1:1.37.0-7ubuntu1) over (1:1.37.0-4ubuntu1) ... 91s Preparing to unpack .../18-libdrm-amdgpu1_2.4.131-1_amd64.deb ... 91s Unpacking libdrm-amdgpu1:amd64 (2.4.131-1) over (2.4.129-1) ... 91s Preparing to unpack .../19-libnpth0t64_1.8-3build1_amd64.deb ... 91s Unpacking libnpth0t64:amd64 (1.8-3build1) over (1.8-3) ... 91s Preparing to unpack .../20-patch_2.8-2build1_amd64.deb ... 91s Unpacking patch (2.8-2build1) over (2.8-2) ... 91s Preparing to unpack .../21-pollinate_4.33-4ubuntu5_all.deb ... 91s Unpacking pollinate (4.33-4ubuntu5) over (4.33-4ubuntu4) ... 91s Preparing to unpack .../22-python3-referencing_0.36.2-1ubuntu2_all.deb ... 91s Unpacking python3-referencing (0.36.2-1ubuntu2) over (0.36.2-1ubuntu1) ... 91s Preparing to unpack .../23-amd64-microcode_3.20251202.1ubuntu1_amd64.deb ... 91s Unpacking amd64-microcode (3.20251202.1ubuntu1) over (3.20250708.1ubuntu1) ... 91s Setting up libnpth0t64:amd64 (1.8-3build1) ... 91s Setting up libkeyutils1:amd64 (1.6.3-6ubuntu3) ... 91s Setting up libgpm2:amd64 (1.20.7-12build1) ... 91s Setting up libmaxminddb0:amd64 (1.12.2-1build2) ... 91s Setting up libsensors-config (1:3.6.2-2build1) ... 91s Setting up less (668-1build1) ... 91s Setting up amd64-microcode (3.20251202.1ubuntu1) ... 91s amd64-microcode: microcode will be updated at next boot 91s Setting up locales (2.42-2ubuntu5) ... 92s Generating locales (this might take a while)... 93s en_US.UTF-8... done 93s Generation complete. 93s Setting up pollinate (4.33-4ubuntu5) ... 103s Setting up busybox-static (1:1.37.0-7ubuntu1) ... 103s Setting up patch (2.8-2build1) ... 103s Setting up libsensors5:amd64 (1:3.6.2-2build1) ... 103s Setting up busybox-initramfs (1:1.37.0-7ubuntu1) ... 103s Setting up libdevmapper1.02.1:amd64 (2:1.02.205-2ubuntu3) ... 103s Setting up dmsetup (2:1.02.205-2ubuntu3) ... 103s Setting up python3-linkify-it (2.0.3-1ubuntu3) ... 103s Setting up mawk (1.3.4.20260129-1) ... 103s Setting up libapt-pkg7.0:amd64 (3.1.15) ... 103s Setting up libdrm-common (2.4.131-1) ... 103s Setting up python3-referencing (0.36.2-1ubuntu2) ... 103s Setting up apt (3.1.15) ... 104s Setting up python3-markdown-it (3.0.0-3build1) ... 104s Setting up libdrm2:amd64 (2.4.131-1) ... 104s Setting up libdrm-amdgpu1:amd64 (2.4.131-1) ... 104s Processing triggers for libc-bin (2.42-2ubuntu5) ... 104s Processing triggers for systemd (259-1ubuntu3) ... 105s Processing triggers for man-db (2.13.1-1) ... 106s Processing triggers for install-info (7.2-5) ... 106s Processing triggers for initramfs-tools (0.150ubuntu7) ... 106s update-initramfs: Generating /boot/initrd.img-6.18.0-9-generic 110s autopkgtest [17:36:00]: upgrading testbed (apt dist-upgrade and autopurge) 111s Reading package lists... 111s Building dependency tree... 111s Reading state information... 111s Calculating upgrade... 112s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 112s Reading package lists... 112s Building dependency tree... 112s Reading state information... 112s Solving dependencies... 112s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 112s autopkgtest [17:36:02]: rebooting testbed after setup commands that affected boot 140s autopkgtest [17:36:30]: testbed running kernel: Linux 6.18.0-9-generic #9-Ubuntu SMP PREEMPT_DYNAMIC Mon Jan 12 16:49:02 UTC 2026 142s autopkgtest [17:36:32]: @@@@@@@@@@@@@@@@@@@@ apt-source cbmc 144s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (dsc) [3144 B] 144s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [14.6 kB] 144s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [299 kB] 144s Get:4 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [9147 kB] 144s Get:5 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (diff) [16.5 kB] 144s gpgv: Signature made Wed Apr 30 12:58:58 2025 UTC 144s gpgv: using RSA key ACA6C3F4E1003986F35388043BBF839336ECA931 144s gpgv: issuer "mt@debian.org" 144s gpgv: Can't check signature: No public key 144s dpkg-source: warning: cannot verify inline signature for ./cbmc_6.6.0-4.dsc: no acceptable signature found 145s autopkgtest [17:36:35]: testing package cbmc version 6.6.0-4 146s autopkgtest [17:36:36]: build not needed 153s autopkgtest [17:36:43]: test failing-assert1: preparing testbed 153s Reading package lists... 153s Building dependency tree... 153s Reading state information... 153s Solving dependencies... 154s The following NEW packages will be installed: 154s cbmc cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-15 154s gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libc-dev-bin libc6-dev 154s libcc1-0 libcrypt-dev libgcc-15-dev libgomp1 libhwasan0 libisl23 libitm1 154s liblsan0 libmpc3 libquadmath0 libtsan2 libubsan1 linux-libc-dev minisat 154s rpcsvc-proto 154s 0 upgraded, 27 newly installed, 0 to remove and 0 not upgraded. 154s Need to get 80.7 MB of archives. 154s After this operation, 284 MB of additional disk space will be used. 154s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 libisl23 amd64 0.27-1build1 [691 kB] 154s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libmpc3 amd64 1.3.1-2 [54.8 kB] 154s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15-x86-64-linux-gnu amd64 15.2.0-12ubuntu1 [12.9 MB] 154s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15 amd64 15.2.0-12ubuntu1 [1034 B] 154s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [5746 B] 154s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp amd64 4:15.2.0-4ubuntu1 [22.4 kB] 154s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 libcc1-0 amd64 15.2.0-12ubuntu1 [47.4 kB] 154s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libgomp1 amd64 15.2.0-12ubuntu1 [151 kB] 154s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 libitm1 amd64 15.2.0-12ubuntu1 [29.5 kB] 154s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 libasan8 amd64 15.2.0-12ubuntu1 [3070 kB] 154s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 liblsan0 amd64 15.2.0-12ubuntu1 [1360 kB] 154s Get:12 http://ftpmaster.internal/ubuntu resolute/main amd64 libtsan2 amd64 15.2.0-12ubuntu1 [2757 kB] 154s Get:13 http://ftpmaster.internal/ubuntu resolute/main amd64 libubsan1 amd64 15.2.0-12ubuntu1 [1210 kB] 154s Get:14 http://ftpmaster.internal/ubuntu resolute/main amd64 libhwasan0 amd64 15.2.0-12ubuntu1 [1685 kB] 154s Get:15 http://ftpmaster.internal/ubuntu resolute/main amd64 libquadmath0 amd64 15.2.0-12ubuntu1 [153 kB] 154s Get:16 http://ftpmaster.internal/ubuntu resolute/main amd64 libgcc-15-dev amd64 15.2.0-12ubuntu1 [2866 kB] 154s Get:17 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15-x86-64-linux-gnu amd64 15.2.0-12ubuntu1 [25.4 MB] 155s Get:18 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15 amd64 15.2.0-12ubuntu1 [530 kB] 155s Get:19 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [1208 B] 155s Get:20 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc amd64 4:15.2.0-4ubuntu1 [5024 B] 155s Get:21 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libc-dev-bin amd64 2.42-2ubuntu5 [23.3 kB] 155s Get:22 http://ftpmaster.internal/ubuntu resolute/main amd64 linux-libc-dev amd64 6.18.0-9.9 [1860 kB] 155s Get:23 http://ftpmaster.internal/ubuntu resolute/main amd64 libcrypt-dev amd64 1:4.5.1-1 [122 kB] 155s Get:24 http://ftpmaster.internal/ubuntu resolute/main amd64 rpcsvc-proto amd64 1.4.3-1build1 [68.3 kB] 155s Get:25 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libc6-dev amd64 2.42-2ubuntu5 [2206 kB] 155s Get:26 http://ftpmaster.internal/ubuntu resolute/universe amd64 minisat amd64 1:2.2.1-8build2 [89.9 kB] 155s Get:27 http://ftpmaster.internal/ubuntu resolute/universe amd64 cbmc amd64 6.6.0-4 [23.4 MB] 156s Fetched 80.7 MB in 2s (45.2 MB/s) 156s Selecting previously unselected package libisl23:amd64. 156s (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 ... 83962 files and directories currently installed.) 156s Preparing to unpack .../00-libisl23_0.27-1build1_amd64.deb ... 156s Unpacking libisl23:amd64 (0.27-1build1) ... 156s Selecting previously unselected package libmpc3:amd64. 156s Preparing to unpack .../01-libmpc3_1.3.1-2_amd64.deb ... 156s Unpacking libmpc3:amd64 (1.3.1-2) ... 156s Selecting previously unselected package cpp-15-x86-64-linux-gnu. 156s Preparing to unpack .../02-cpp-15-x86-64-linux-gnu_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking cpp-15-x86-64-linux-gnu (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package cpp-15. 156s Preparing to unpack .../03-cpp-15_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package cpp-x86-64-linux-gnu. 156s Preparing to unpack .../04-cpp-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 156s Unpacking cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 156s Selecting previously unselected package cpp. 156s Preparing to unpack .../05-cpp_4%3a15.2.0-4ubuntu1_amd64.deb ... 156s Unpacking cpp (4:15.2.0-4ubuntu1) ... 156s Selecting previously unselected package libcc1-0:amd64. 156s Preparing to unpack .../06-libcc1-0_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking libcc1-0:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package libgomp1:amd64. 156s Preparing to unpack .../07-libgomp1_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking libgomp1:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package libitm1:amd64. 156s Preparing to unpack .../08-libitm1_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking libitm1:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package libasan8:amd64. 156s Preparing to unpack .../09-libasan8_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking libasan8:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package liblsan0:amd64. 156s Preparing to unpack .../10-liblsan0_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking liblsan0:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package libtsan2:amd64. 156s Preparing to unpack .../11-libtsan2_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking libtsan2:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package libubsan1:amd64. 156s Preparing to unpack .../12-libubsan1_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking libubsan1:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package libhwasan0:amd64. 156s Preparing to unpack .../13-libhwasan0_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking libhwasan0:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package libquadmath0:amd64. 156s Preparing to unpack .../14-libquadmath0_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking libquadmath0:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package libgcc-15-dev:amd64. 156s Preparing to unpack .../15-libgcc-15-dev_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking libgcc-15-dev:amd64 (15.2.0-12ubuntu1) ... 156s Selecting previously unselected package gcc-15-x86-64-linux-gnu. 156s Preparing to unpack .../16-gcc-15-x86-64-linux-gnu_15.2.0-12ubuntu1_amd64.deb ... 156s Unpacking gcc-15-x86-64-linux-gnu (15.2.0-12ubuntu1) ... 157s Selecting previously unselected package gcc-15. 157s Preparing to unpack .../17-gcc-15_15.2.0-12ubuntu1_amd64.deb ... 157s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 157s Selecting previously unselected package gcc-x86-64-linux-gnu. 157s Preparing to unpack .../18-gcc-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 157s Unpacking gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 157s Selecting previously unselected package gcc. 157s Preparing to unpack .../19-gcc_4%3a15.2.0-4ubuntu1_amd64.deb ... 157s Unpacking gcc (4:15.2.0-4ubuntu1) ... 157s Selecting previously unselected package libc-dev-bin. 157s Preparing to unpack .../20-libc-dev-bin_2.42-2ubuntu5_amd64.deb ... 157s Unpacking libc-dev-bin (2.42-2ubuntu5) ... 157s Selecting previously unselected package linux-libc-dev:amd64. 157s Preparing to unpack .../21-linux-libc-dev_6.18.0-9.9_amd64.deb ... 157s Unpacking linux-libc-dev:amd64 (6.18.0-9.9) ... 157s Selecting previously unselected package libcrypt-dev:amd64. 157s Preparing to unpack .../22-libcrypt-dev_1%3a4.5.1-1_amd64.deb ... 157s Unpacking libcrypt-dev:amd64 (1:4.5.1-1) ... 157s Selecting previously unselected package rpcsvc-proto. 157s Preparing to unpack .../23-rpcsvc-proto_1.4.3-1build1_amd64.deb ... 157s Unpacking rpcsvc-proto (1.4.3-1build1) ... 157s Selecting previously unselected package libc6-dev:amd64. 157s Preparing to unpack .../24-libc6-dev_2.42-2ubuntu5_amd64.deb ... 157s Unpacking libc6-dev:amd64 (2.42-2ubuntu5) ... 157s Selecting previously unselected package minisat. 157s Preparing to unpack .../25-minisat_1%3a2.2.1-8build2_amd64.deb ... 157s Unpacking minisat (1:2.2.1-8build2) ... 157s Selecting previously unselected package cbmc. 157s Preparing to unpack .../26-cbmc_6.6.0-4_amd64.deb ... 157s Unpacking cbmc (6.6.0-4) ... 157s Setting up linux-libc-dev:amd64 (6.18.0-9.9) ... 157s Setting up libgomp1:amd64 (15.2.0-12ubuntu1) ... 157s Setting up rpcsvc-proto (1.4.3-1build1) ... 157s Setting up libquadmath0:amd64 (15.2.0-12ubuntu1) ... 157s Setting up libmpc3:amd64 (1.3.1-2) ... 157s Setting up libubsan1:amd64 (15.2.0-12ubuntu1) ... 157s Setting up libhwasan0:amd64 (15.2.0-12ubuntu1) ... 157s Setting up libcrypt-dev:amd64 (1:4.5.1-1) ... 157s Setting up minisat (1:2.2.1-8build2) ... 157s Setting up libasan8:amd64 (15.2.0-12ubuntu1) ... 157s Setting up libtsan2:amd64 (15.2.0-12ubuntu1) ... 157s Setting up libisl23:amd64 (0.27-1build1) ... 157s Setting up libc-dev-bin (2.42-2ubuntu5) ... 157s Setting up libcc1-0:amd64 (15.2.0-12ubuntu1) ... 157s Setting up liblsan0:amd64 (15.2.0-12ubuntu1) ... 157s Setting up libitm1:amd64 (15.2.0-12ubuntu1) ... 157s Setting up libgcc-15-dev:amd64 (15.2.0-12ubuntu1) ... 157s Setting up cpp-15-x86-64-linux-gnu (15.2.0-12ubuntu1) ... 157s Setting up gcc-15-x86-64-linux-gnu (15.2.0-12ubuntu1) ... 157s Setting up cpp-15 (15.2.0-12ubuntu1) ... 157s Setting up libc6-dev:amd64 (2.42-2ubuntu5) ... 157s Setting up cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 157s Setting up gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 157s Setting up gcc-15 (15.2.0-12ubuntu1) ... 157s Setting up cpp (4:15.2.0-4ubuntu1) ... 157s Setting up gcc (4:15.2.0-4ubuntu1) ... 157s Setting up cbmc (6.6.0-4) ... 157s Processing triggers for man-db (2.13.1-1) ... 158s Processing triggers for libc-bin (2.42-2ubuntu5) ... 159s autopkgtest [17:36:49]: test failing-assert1: [----------------------- 159s Runtime decision procedure: 8.8914e-05s 159s autopkgtest [17:36:49]: test failing-assert1: -----------------------] 159s failing-assert1 PASS 159s autopkgtest [17:36:49]: test failing-assert1: - - - - - - - - - - results - - - - - - - - - - 160s autopkgtest [17:36:50]: @@@@@@@@@@@@@@@@@@@@ summary 160s failing-assert1 PASS