0s autopkgtest [17:41:54]: starting date and time: 2025-03-15 17:41:54+0000 0s autopkgtest [17:41:54]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [17:41:54]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.brjxoc0r/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade z3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-arm64-34.secgroup --name adt-plucky-arm64-z3-20250315-174153-juju-7f2275-prod-proposed-migration-environment-2-a240176f-35ed-4168-8364-a36009091fc0 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 165s autopkgtest [17:44:39]: testbed dpkg architecture: arm64 165s autopkgtest [17:44:39]: testbed apt version: 2.9.33 165s autopkgtest [17:44:39]: @@@@@@@@@@@@@@@@@@@@ test bed setup 166s autopkgtest [17:44:40]: testbed release detected to be: None 166s autopkgtest [17:44:40]: updating testbed package index (apt update) 167s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 167s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 167s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 167s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 167s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 168s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 168s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 168s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [111 kB] 168s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 c-n-f Metadata [1856 B] 168s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 c-n-f Metadata [116 B] 168s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [324 kB] 168s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 c-n-f Metadata [14.7 kB] 168s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [4948 B] 168s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 c-n-f Metadata [268 B] 168s Fetched 1078 kB in 1s (775 kB/s) 169s Reading package lists... 170s Reading package lists... 170s Building dependency tree... 170s Reading state information... 171s Calculating upgrade... 171s Calculating upgrade... 172s The following packages will be upgraded: 172s pinentry-curses python3-jinja2 strace 172s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 172s Need to get 647 kB of archives. 172s After this operation, 11.3 kB of additional disk space will be used. 172s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 strace arm64 6.13+ds-1ubuntu1 [499 kB] 172s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 pinentry-curses arm64 1.3.1-2ubuntu3 [39.2 kB] 172s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 173s Fetched 647 kB in 1s (798 kB/s) 173s (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 ... 117701 files and directories currently installed.) 173s Preparing to unpack .../strace_6.13+ds-1ubuntu1_arm64.deb ... 173s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 173s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_arm64.deb ... 173s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 173s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 174s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 174s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 174s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 174s Setting up strace (6.13+ds-1ubuntu1) ... 174s Processing triggers for man-db (2.13.0-1) ... 175s Reading package lists... 175s Building dependency tree... 175s Reading state information... 175s Solving dependencies... 176s The following packages will be REMOVED: 176s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 176s libunwind8* linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 176s linux-image-6.11.0-8-generic* linux-modules-6.11.0-8-generic* 176s linux-tools-6.11.0-8* linux-tools-6.11.0-8-generic* 176s 0 upgraded, 0 newly installed, 11 to remove and 5 not upgraded. 176s After this operation, 267 MB disk space will be freed. 176s (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 ... 117701 files and directories currently installed.) 176s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 176s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 176s Removing libpython3.12t64:arm64 (3.12.9-1) ... 176s Removing libpython3.12-stdlib:arm64 (3.12.9-1) ... 177s Removing libnsl2:arm64 (1.3.0-3build3) ... 177s Removing libpython3.12-minimal:arm64 (3.12.9-1) ... 177s Removing libunwind8:arm64 (1.6.2-3.1) ... 177s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 177s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 179s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 179s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.14.0-10-generic 179s I: /boot/initrd.img.old is now a symlink to initrd.img-6.14.0-10-generic 179s /etc/kernel/postrm.d/initramfs-tools: 179s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 179s /etc/kernel/postrm.d/zz-flash-kernel: 179s flash-kernel: Kernel 6.11.0-8-generic has been removed. 179s flash-kernel: A higher version (6.14.0-10-generic) is still installed, no reflashing required. 180s /etc/kernel/postrm.d/zz-update-grub: 180s Sourcing file `/etc/default/grub' 180s Sourcing file `/etc/default/grub.d/50-cloudimg-settings.cfg' 180s Generating grub configuration file ... 180s Found linux image: /boot/vmlinuz-6.14.0-10-generic 180s Found initrd image: /boot/initrd.img-6.14.0-10-generic 180s Warning: os-prober will not be executed to detect other bootable partitions. 180s Systems on them will not be added to the GRUB boot configuration. 180s Check GRUB_DISABLE_OS_PROBER documentation entry. 180s Adding boot menu entry for UEFI Firmware Settings ... 180s done 180s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 181s Processing triggers for libc-bin (2.41-1ubuntu1) ... 181s (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 ... 81650 files and directories currently installed.) 181s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 181s Purging configuration files for libpython3.12-minimal:arm64 (3.12.9-1) ... 181s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 181s autopkgtest [17:44:55]: upgrading testbed (apt dist-upgrade and autopurge) 181s Reading package lists... 182s Building dependency tree... 182s Reading state information... 182s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 182s Starting 2 pkgProblemResolver with broken count: 0 182s Done 183s Entering ResolveByKeep 183s 183s Calculating upgrade... 184s The following packages will be upgraded: 184s libc-bin libc-dev-bin libc6 libc6-dev locales 184s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 184s Need to get 9530 kB of archives. 184s After this operation, 0 B of additional disk space will be used. 184s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu2 [1750 kB] 185s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu2 [24.0 kB] 185s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu2 [2910 kB] 187s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu2 [600 kB] 187s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu2 [4246 kB] 190s Preconfiguring packages ... 191s Fetched 9530 kB in 6s (1571 kB/s) 191s (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 ... 81647 files and directories currently installed.) 191s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_arm64.deb ... 191s Unpacking libc6-dev:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 191s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_arm64.deb ... 191s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 191s Preparing to unpack .../libc6_2.41-1ubuntu2_arm64.deb ... 191s Unpacking libc6:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 191s Setting up libc6:arm64 (2.41-1ubuntu2) ... 192s (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 ... 81647 files and directories currently installed.) 192s Preparing to unpack .../libc-bin_2.41-1ubuntu2_arm64.deb ... 192s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 192s Setting up libc-bin (2.41-1ubuntu2) ... 192s (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 ... 81647 files and directories currently installed.) 192s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 192s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 192s Setting up locales (2.41-1ubuntu2) ... 193s Generating locales (this might take a while)... 195s en_US.UTF-8... done 195s Generation complete. 195s Setting up libc-dev-bin (2.41-1ubuntu2) ... 195s Setting up libc6-dev:arm64 (2.41-1ubuntu2) ... 195s Processing triggers for man-db (2.13.0-1) ... 196s Processing triggers for systemd (257.3-1ubuntu3) ... 197s Reading package lists... 197s Building dependency tree... 197s Reading state information... 198s Starting pkgProblemResolver with broken count: 0 198s Starting 2 pkgProblemResolver with broken count: 0 198s Done 198s Solving dependencies... 199s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 199s autopkgtest [17:45:13]: rebooting testbed after setup commands that affected boot 222s autopkgtest [17:45:36]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP PREEMPT_DYNAMIC Wed Mar 12 15:45:31 UTC 2025 225s autopkgtest [17:45:39]: @@@@@@@@@@@@@@@@@@@@ apt-source z3 235s Get:1 http://ftpmaster.internal/ubuntu plucky/universe z3 4.13.3-1 (dsc) [2704 B] 235s Get:2 http://ftpmaster.internal/ubuntu plucky/universe z3 4.13.3-1 (tar) [5584 kB] 235s Get:3 http://ftpmaster.internal/ubuntu plucky/universe z3 4.13.3-1 (diff) [10.7 kB] 236s gpgv: Signature made Tue Nov 5 07:31:05 2024 UTC 236s gpgv: using RSA key B60DB5994D39BEC4D1A95CCF7E6528DA752F1BE1 236s gpgv: Can't check signature: No public key 236s dpkg-source: warning: cannot verify inline signature for ./z3_4.13.3-1.dsc: no acceptable signature found 236s autopkgtest [17:45:50]: testing package z3 version 4.13.3-1 237s autopkgtest [17:45:51]: build not needed 239s autopkgtest [17:45:53]: test import-z3-test: preparing testbed 240s Reading package lists... 240s Building dependency tree... 240s Reading state information... 240s Starting pkgProblemResolver with broken count: 0 240s Starting 2 pkgProblemResolver with broken count: 0 240s Done 241s The following NEW packages will be installed: 241s build-essential cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu 241s g++ g++-14 g++-14-aarch64-linux-gnu g++-aarch64-linux-gnu gcc gcc-14 241s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0 241s libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 241s libpkgconf3 libstdc++-14-dev libtsan2 libubsan1 libz3-4 libz3-dev pkg-config 241s pkgconf pkgconf-bin python3-z3 z3 241s 0 upgraded, 33 newly installed, 0 to remove and 0 not upgraded. 241s Need to get 73.2 MB of archives. 241s After this operation, 244 MB of additional disk space will be used. 241s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 242s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 242s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 253s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 253s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 253s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 253s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250222-0ubuntu1 [44.2 kB] 253s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250222-0ubuntu1 [146 kB] 253s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250222-0ubuntu1 [28.0 kB] 253s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250222-0ubuntu1 [2924 kB] 256s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250222-0ubuntu1 [1319 kB] 258s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250222-0ubuntu1 [2694 kB] 261s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250222-0ubuntu1 [1178 kB] 262s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250222-0ubuntu1 [1642 kB] 264s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 267s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 285s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 286s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 286s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 286s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libstdc++-14-dev arm64 14.2.0-17ubuntu3 [2499 kB] 288s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [12.1 MB] 297s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14 arm64 14.2.0-17ubuntu3 [21.8 kB] 297s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [956 B] 297s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 g++ arm64 4:14.2.0-1ubuntu1 [1080 B] 297s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 build-essential arm64 12.10ubuntu1 [4932 B] 297s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 libpkgconf3 arm64 1.8.1-4 [31.4 kB] 297s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 pkgconf-bin arm64 1.8.1-4 [20.9 kB] 297s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 pkgconf arm64 1.8.1-4 [16.7 kB] 297s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 pkg-config arm64 1.8.1-4 [7362 B] 297s Get:30 http://ftpmaster.internal/ubuntu plucky/universe arm64 libz3-4 arm64 4.13.3-1 [6440 kB] 302s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 libz3-dev arm64 4.13.3-1 [80.1 kB] 302s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 python3-z3 arm64 4.13.3-1 [85.0 kB] 302s Get:33 http://ftpmaster.internal/ubuntu plucky/universe arm64 z3 arm64 4.13.3-1 [6526 kB] 309s Fetched 73.2 MB in 1min 7s (1090 kB/s) 309s Selecting previously unselected package libisl23:arm64. 309s (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 ... 81647 files and directories currently installed.) 309s Preparing to unpack .../00-libisl23_0.27-1_arm64.deb ... 309s Unpacking libisl23:arm64 (0.27-1) ... 309s Selecting previously unselected package libmpc3:arm64. 309s Preparing to unpack .../01-libmpc3_1.3.1-1build2_arm64.deb ... 309s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 310s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 310s Preparing to unpack .../02-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 310s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 310s Selecting previously unselected package cpp-14. 310s Preparing to unpack .../03-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 310s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 310s Selecting previously unselected package cpp-aarch64-linux-gnu. 310s Preparing to unpack .../04-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 310s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 310s Selecting previously unselected package cpp. 310s Preparing to unpack .../05-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 310s Unpacking cpp (4:14.2.0-1ubuntu1) ... 310s Selecting previously unselected package libcc1-0:arm64. 310s Preparing to unpack .../06-libcc1-0_15-20250222-0ubuntu1_arm64.deb ... 310s Unpacking libcc1-0:arm64 (15-20250222-0ubuntu1) ... 310s Selecting previously unselected package libgomp1:arm64. 310s Preparing to unpack .../07-libgomp1_15-20250222-0ubuntu1_arm64.deb ... 310s Unpacking libgomp1:arm64 (15-20250222-0ubuntu1) ... 310s Selecting previously unselected package libitm1:arm64. 310s Preparing to unpack .../08-libitm1_15-20250222-0ubuntu1_arm64.deb ... 310s Unpacking libitm1:arm64 (15-20250222-0ubuntu1) ... 310s Selecting previously unselected package libasan8:arm64. 310s Preparing to unpack .../09-libasan8_15-20250222-0ubuntu1_arm64.deb ... 310s Unpacking libasan8:arm64 (15-20250222-0ubuntu1) ... 310s Selecting previously unselected package liblsan0:arm64. 310s Preparing to unpack .../10-liblsan0_15-20250222-0ubuntu1_arm64.deb ... 310s Unpacking liblsan0:arm64 (15-20250222-0ubuntu1) ... 310s Selecting previously unselected package libtsan2:arm64. 310s Preparing to unpack .../11-libtsan2_15-20250222-0ubuntu1_arm64.deb ... 310s Unpacking libtsan2:arm64 (15-20250222-0ubuntu1) ... 311s Selecting previously unselected package libubsan1:arm64. 311s Preparing to unpack .../12-libubsan1_15-20250222-0ubuntu1_arm64.deb ... 311s Unpacking libubsan1:arm64 (15-20250222-0ubuntu1) ... 311s Selecting previously unselected package libhwasan0:arm64. 311s Preparing to unpack .../13-libhwasan0_15-20250222-0ubuntu1_arm64.deb ... 311s Unpacking libhwasan0:arm64 (15-20250222-0ubuntu1) ... 311s Selecting previously unselected package libgcc-14-dev:arm64. 311s Preparing to unpack .../14-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 311s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 311s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 311s Preparing to unpack .../15-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 311s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 311s Selecting previously unselected package gcc-14. 311s Preparing to unpack .../16-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 311s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 311s Selecting previously unselected package gcc-aarch64-linux-gnu. 311s Preparing to unpack .../17-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 311s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 311s Selecting previously unselected package gcc. 312s Preparing to unpack .../18-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 312s Unpacking gcc (4:14.2.0-1ubuntu1) ... 312s Selecting previously unselected package libstdc++-14-dev:arm64. 312s Preparing to unpack .../19-libstdc++-14-dev_14.2.0-17ubuntu3_arm64.deb ... 312s Unpacking libstdc++-14-dev:arm64 (14.2.0-17ubuntu3) ... 312s Selecting previously unselected package g++-14-aarch64-linux-gnu. 312s Preparing to unpack .../20-g++-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 312s Unpacking g++-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 312s Selecting previously unselected package g++-14. 312s Preparing to unpack .../21-g++-14_14.2.0-17ubuntu3_arm64.deb ... 312s Unpacking g++-14 (14.2.0-17ubuntu3) ... 312s Selecting previously unselected package g++-aarch64-linux-gnu. 312s Preparing to unpack .../22-g++-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 312s Unpacking g++-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 312s Selecting previously unselected package g++. 312s Preparing to unpack .../23-g++_4%3a14.2.0-1ubuntu1_arm64.deb ... 312s Unpacking g++ (4:14.2.0-1ubuntu1) ... 312s Selecting previously unselected package build-essential. 312s Preparing to unpack .../24-build-essential_12.10ubuntu1_arm64.deb ... 312s Unpacking build-essential (12.10ubuntu1) ... 312s Selecting previously unselected package libpkgconf3:arm64. 312s Preparing to unpack .../25-libpkgconf3_1.8.1-4_arm64.deb ... 312s Unpacking libpkgconf3:arm64 (1.8.1-4) ... 312s Selecting previously unselected package pkgconf-bin. 312s Preparing to unpack .../26-pkgconf-bin_1.8.1-4_arm64.deb ... 312s Unpacking pkgconf-bin (1.8.1-4) ... 312s Selecting previously unselected package pkgconf:arm64. 312s Preparing to unpack .../27-pkgconf_1.8.1-4_arm64.deb ... 312s Unpacking pkgconf:arm64 (1.8.1-4) ... 312s Selecting previously unselected package pkg-config:arm64. 312s Preparing to unpack .../28-pkg-config_1.8.1-4_arm64.deb ... 312s Unpacking pkg-config:arm64 (1.8.1-4) ... 312s Selecting previously unselected package libz3-4:arm64. 312s Preparing to unpack .../29-libz3-4_4.13.3-1_arm64.deb ... 312s Unpacking libz3-4:arm64 (4.13.3-1) ... 312s Selecting previously unselected package libz3-dev:arm64. 312s Preparing to unpack .../30-libz3-dev_4.13.3-1_arm64.deb ... 312s Unpacking libz3-dev:arm64 (4.13.3-1) ... 312s Selecting previously unselected package python3-z3. 312s Preparing to unpack .../31-python3-z3_4.13.3-1_arm64.deb ... 312s Unpacking python3-z3 (4.13.3-1) ... 312s Selecting previously unselected package z3. 313s Preparing to unpack .../32-z3_4.13.3-1_arm64.deb ... 313s Unpacking z3 (4.13.3-1) ... 313s Setting up libgomp1:arm64 (15-20250222-0ubuntu1) ... 313s Setting up z3 (4.13.3-1) ... 313s Setting up libz3-4:arm64 (4.13.3-1) ... 313s Setting up libpkgconf3:arm64 (1.8.1-4) ... 313s Setting up libmpc3:arm64 (1.3.1-1build2) ... 313s Setting up pkgconf-bin (1.8.1-4) ... 313s Setting up libubsan1:arm64 (15-20250222-0ubuntu1) ... 313s Setting up libhwasan0:arm64 (15-20250222-0ubuntu1) ... 313s Setting up libasan8:arm64 (15-20250222-0ubuntu1) ... 313s Setting up libtsan2:arm64 (15-20250222-0ubuntu1) ... 313s Setting up libisl23:arm64 (0.27-1) ... 313s Setting up libcc1-0:arm64 (15-20250222-0ubuntu1) ... 313s Setting up liblsan0:arm64 (15-20250222-0ubuntu1) ... 313s Setting up libitm1:arm64 (15-20250222-0ubuntu1) ... 313s Setting up libz3-dev:arm64 (4.13.3-1) ... 313s Setting up pkgconf:arm64 (1.8.1-4) ... 313s Setting up pkg-config:arm64 (1.8.1-4) ... 313s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 313s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 313s Setting up libstdc++-14-dev:arm64 (14.2.0-17ubuntu3) ... 313s Setting up python3-z3 (4.13.3-1) ... 313s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 313s Setting up cpp-14 (14.2.0-17ubuntu3) ... 313s Setting up cpp (4:14.2.0-1ubuntu1) ... 313s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 313s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 313s Setting up g++-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 313s Setting up gcc-14 (14.2.0-17ubuntu3) ... 313s Setting up g++-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 313s Setting up g++-14 (14.2.0-17ubuntu3) ... 313s Setting up gcc (4:14.2.0-1ubuntu1) ... 313s Setting up g++ (4:14.2.0-1ubuntu1) ... 313s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 313s Setting up build-essential (12.10ubuntu1) ... 313s Processing triggers for man-db (2.13.0-1) ... 314s Processing triggers for libc-bin (2.41-1ubuntu2) ... 316s autopkgtest [17:47:10]: test import-z3-test: [----------------------- 316s autopkgtest [17:47:10]: test import-z3-test: -----------------------] 317s autopkgtest [17:47:11]: test import-z3-test: - - - - - - - - - - results - - - - - - - - - - 317s import-z3-test PASS (superficial) 318s autopkgtest [17:47:12]: test include-z3-test: preparing testbed 318s Reading package lists... 318s Building dependency tree... 318s Reading state information... 318s Starting pkgProblemResolver with broken count: 0 319s Starting 2 pkgProblemResolver with broken count: 0 319s Done 319s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 321s autopkgtest [17:47:15]: test include-z3-test: [----------------------- 323s autopkgtest [17:47:17]: test include-z3-test: -----------------------] 323s include-z3-test PASS (superficial) 323s autopkgtest [17:47:17]: test include-z3-test: - - - - - - - - - - results - - - - - - - - - - 323s autopkgtest [17:47:17]: test run-z3-test: preparing testbed 324s Reading package lists... 324s Building dependency tree... 324s Reading state information... 325s Starting pkgProblemResolver with broken count: 0 325s Starting 2 pkgProblemResolver with broken count: 0 325s Done 326s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 327s autopkgtest [17:47:21]: test run-z3-test: [----------------------- 328s autopkgtest [17:47:22]: test run-z3-test: -----------------------] 328s autopkgtest [17:47:22]: test run-z3-test: - - - - - - - - - - results - - - - - - - - - - 328s run-z3-test PASS (superficial) 328s autopkgtest [17:47:22]: test pkg-config-test: preparing testbed 329s Reading package lists... 329s Building dependency tree... 329s Reading state information... 329s Starting pkgProblemResolver with broken count: 0 329s Starting 2 pkgProblemResolver with broken count: 0 329s Done 330s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 331s autopkgtest [17:47:25]: test pkg-config-test: [----------------------- 332s autopkgtest [17:47:26]: test pkg-config-test: -----------------------] 332s pkg-config-test PASS (superficial) 332s autopkgtest [17:47:26]: test pkg-config-test: - - - - - - - - - - results - - - - - - - - - - 333s autopkgtest [17:47:27]: test z3-int-logic-test: preparing testbed 478s autopkgtest [17:49:52]: testbed dpkg architecture: arm64 479s autopkgtest [17:49:53]: testbed apt version: 2.9.33 479s autopkgtest [17:49:53]: @@@@@@@@@@@@@@@@@@@@ test bed setup 479s autopkgtest [17:49:53]: testbed release detected to be: plucky 480s autopkgtest [17:49:54]: updating testbed package index (apt update) 481s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 481s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 481s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 481s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 481s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 481s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 481s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 482s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [111 kB] 482s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 c-n-f Metadata [1856 B] 482s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 c-n-f Metadata [116 B] 482s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [324 kB] 482s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 c-n-f Metadata [14.7 kB] 482s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [4948 B] 482s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 c-n-f Metadata [268 B] 482s Fetched 1078 kB in 2s (703 kB/s) 483s Reading package lists... 484s Reading package lists... 484s Building dependency tree... 484s Reading state information... 485s Calculating upgrade... 485s Calculating upgrade... 485s The following packages will be upgraded: 485s pinentry-curses python3-jinja2 strace 485s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 485s Need to get 647 kB of archives. 485s After this operation, 11.3 kB of additional disk space will be used. 485s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 strace arm64 6.13+ds-1ubuntu1 [499 kB] 486s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 pinentry-curses arm64 1.3.1-2ubuntu3 [39.2 kB] 486s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 487s Fetched 647 kB in 1s (653 kB/s) 487s (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 ... 117701 files and directories currently installed.) 487s Preparing to unpack .../strace_6.13+ds-1ubuntu1_arm64.deb ... 487s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 487s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_arm64.deb ... 487s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 487s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 487s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 487s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 487s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 487s Setting up strace (6.13+ds-1ubuntu1) ... 487s Processing triggers for man-db (2.13.0-1) ... 488s Reading package lists... 489s Building dependency tree... 489s Reading state information... 489s Solving dependencies... 489s The following packages will be REMOVED: 489s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 489s libunwind8* linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 489s linux-image-6.11.0-8-generic* linux-modules-6.11.0-8-generic* 489s linux-tools-6.11.0-8* linux-tools-6.11.0-8-generic* 490s 0 upgraded, 0 newly installed, 11 to remove and 5 not upgraded. 490s After this operation, 267 MB disk space will be freed. 490s (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 ... 117701 files and directories currently installed.) 490s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 490s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 490s Removing libpython3.12t64:arm64 (3.12.9-1) ... 490s Removing libpython3.12-stdlib:arm64 (3.12.9-1) ... 490s Removing libnsl2:arm64 (1.3.0-3build3) ... 490s Removing libpython3.12-minimal:arm64 (3.12.9-1) ... 490s Removing libunwind8:arm64 (1.6.2-3.1) ... 490s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 491s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 492s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 492s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.14.0-10-generic 492s I: /boot/initrd.img.old is now a symlink to initrd.img-6.14.0-10-generic 492s /etc/kernel/postrm.d/initramfs-tools: 492s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 493s /etc/kernel/postrm.d/zz-flash-kernel: 493s flash-kernel: Kernel 6.11.0-8-generic has been removed. 493s flash-kernel: A higher version (6.14.0-10-generic) is still installed, no reflashing required. 493s /etc/kernel/postrm.d/zz-update-grub: 493s Sourcing file `/etc/default/grub' 493s Sourcing file `/etc/default/grub.d/50-cloudimg-settings.cfg' 493s Generating grub configuration file ... 493s Found linux image: /boot/vmlinuz-6.14.0-10-generic 493s Found initrd image: /boot/initrd.img-6.14.0-10-generic 494s Warning: os-prober will not be executed to detect other bootable partitions. 494s Systems on them will not be added to the GRUB boot configuration. 494s Check GRUB_DISABLE_OS_PROBER documentation entry. 494s Adding boot menu entry for UEFI Firmware Settings ... 494s done 494s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 494s Processing triggers for libc-bin (2.41-1ubuntu1) ... 494s (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 ... 81650 files and directories currently installed.) 494s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 494s Purging configuration files for libpython3.12-minimal:arm64 (3.12.9-1) ... 494s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 495s autopkgtest [17:50:09]: upgrading testbed (apt dist-upgrade and autopurge) 495s Reading package lists... 495s Building dependency tree... 495s Reading state information... 496s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 496s Starting 2 pkgProblemResolver with broken count: 0 496s Done 497s Entering ResolveByKeep 497s 497s Calculating upgrade... 497s The following packages will be upgraded: 497s libc-bin libc-dev-bin libc6 libc6-dev locales 498s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 498s Need to get 9530 kB of archives. 498s After this operation, 0 B of additional disk space will be used. 498s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu2 [1750 kB] 500s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu2 [24.0 kB] 500s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu2 [2910 kB] 502s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu2 [600 kB] 503s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu2 [4246 kB] 507s Preconfiguring packages ... 507s Fetched 9530 kB in 9s (1052 kB/s) 507s (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 ... 81647 files and directories currently installed.) 507s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_arm64.deb ... 507s Unpacking libc6-dev:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 507s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_arm64.deb ... 507s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 507s Preparing to unpack .../libc6_2.41-1ubuntu2_arm64.deb ... 507s Unpacking libc6:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 508s Setting up libc6:arm64 (2.41-1ubuntu2) ... 508s (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 ... 81647 files and directories currently installed.) 508s Preparing to unpack .../libc-bin_2.41-1ubuntu2_arm64.deb ... 508s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 508s Setting up libc-bin (2.41-1ubuntu2) ... 508s (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 ... 81647 files and directories currently installed.) 508s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 508s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 508s Setting up locales (2.41-1ubuntu2) ... 509s Generating locales (this might take a while)... 511s en_US.UTF-8... done 511s Generation complete. 511s Setting up libc-dev-bin (2.41-1ubuntu2) ... 511s Setting up libc6-dev:arm64 (2.41-1ubuntu2) ... 511s Processing triggers for man-db (2.13.0-1) ... 512s Processing triggers for systemd (257.3-1ubuntu3) ... 513s Reading package lists... 513s Building dependency tree... 513s Reading state information... 514s Starting pkgProblemResolver with broken count: 0 514s Starting 2 pkgProblemResolver with broken count: 0 514s Done 514s Solving dependencies... 515s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 515s autopkgtest [17:50:29]: rebooting testbed after setup commands that affected boot 541s Reading package lists... 541s Building dependency tree... 541s Reading state information... 542s Starting pkgProblemResolver with broken count: 0 542s Starting 2 pkgProblemResolver with broken count: 0 542s Done 542s The following NEW packages will be installed: 542s build-essential cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu 542s g++ g++-14 g++-14-aarch64-linux-gnu g++-aarch64-linux-gnu gcc gcc-14 542s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0 542s libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 542s libstdc++-14-dev libtsan2 libubsan1 libz3-4 libz3-dev python3-z3 z3 543s 0 upgraded, 29 newly installed, 0 to remove and 0 not upgraded. 543s Need to get 73.1 MB of archives. 543s After this operation, 243 MB of additional disk space will be used. 543s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 543s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 543s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 554s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 554s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 554s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 554s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250222-0ubuntu1 [44.2 kB] 554s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250222-0ubuntu1 [146 kB] 555s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250222-0ubuntu1 [28.0 kB] 555s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250222-0ubuntu1 [2924 kB] 557s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250222-0ubuntu1 [1319 kB] 559s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250222-0ubuntu1 [2694 kB] 561s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250222-0ubuntu1 [1178 kB] 563s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250222-0ubuntu1 [1642 kB] 564s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 567s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 586s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 586s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 586s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 586s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libstdc++-14-dev arm64 14.2.0-17ubuntu3 [2499 kB] 589s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [12.1 MB] 599s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14 arm64 14.2.0-17ubuntu3 [21.8 kB] 599s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [956 B] 599s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 g++ arm64 4:14.2.0-1ubuntu1 [1080 B] 599s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 build-essential arm64 12.10ubuntu1 [4932 B] 599s Get:26 http://ftpmaster.internal/ubuntu plucky/universe arm64 libz3-4 arm64 4.13.3-1 [6440 kB] 604s Get:27 http://ftpmaster.internal/ubuntu plucky/universe arm64 libz3-dev arm64 4.13.3-1 [80.1 kB] 604s Get:28 http://ftpmaster.internal/ubuntu plucky/universe arm64 python3-z3 arm64 4.13.3-1 [85.0 kB] 604s Get:29 http://ftpmaster.internal/ubuntu plucky/universe arm64 z3 arm64 4.13.3-1 [6526 kB] 611s Fetched 73.1 MB in 1min 8s (1075 kB/s) 611s Selecting previously unselected package libisl23:arm64. 611s (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 ... 81647 files and directories currently installed.) 611s Preparing to unpack .../00-libisl23_0.27-1_arm64.deb ... 611s Unpacking libisl23:arm64 (0.27-1) ... 611s Selecting previously unselected package libmpc3:arm64. 611s Preparing to unpack .../01-libmpc3_1.3.1-1build2_arm64.deb ... 611s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 611s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 611s Preparing to unpack .../02-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 611s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 612s Selecting previously unselected package cpp-14. 612s Preparing to unpack .../03-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 612s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 612s Selecting previously unselected package cpp-aarch64-linux-gnu. 612s Preparing to unpack .../04-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 612s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 612s Selecting previously unselected package cpp. 612s Preparing to unpack .../05-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 612s Unpacking cpp (4:14.2.0-1ubuntu1) ... 612s Selecting previously unselected package libcc1-0:arm64. 612s Preparing to unpack .../06-libcc1-0_15-20250222-0ubuntu1_arm64.deb ... 612s Unpacking libcc1-0:arm64 (15-20250222-0ubuntu1) ... 612s Selecting previously unselected package libgomp1:arm64. 612s Preparing to unpack .../07-libgomp1_15-20250222-0ubuntu1_arm64.deb ... 612s Unpacking libgomp1:arm64 (15-20250222-0ubuntu1) ... 612s Selecting previously unselected package libitm1:arm64. 612s Preparing to unpack .../08-libitm1_15-20250222-0ubuntu1_arm64.deb ... 612s Unpacking libitm1:arm64 (15-20250222-0ubuntu1) ... 612s Selecting previously unselected package libasan8:arm64. 612s Preparing to unpack .../09-libasan8_15-20250222-0ubuntu1_arm64.deb ... 612s Unpacking libasan8:arm64 (15-20250222-0ubuntu1) ... 612s Selecting previously unselected package liblsan0:arm64. 612s Preparing to unpack .../10-liblsan0_15-20250222-0ubuntu1_arm64.deb ... 612s Unpacking liblsan0:arm64 (15-20250222-0ubuntu1) ... 612s Selecting previously unselected package libtsan2:arm64. 612s Preparing to unpack .../11-libtsan2_15-20250222-0ubuntu1_arm64.deb ... 612s Unpacking libtsan2:arm64 (15-20250222-0ubuntu1) ... 612s Selecting previously unselected package libubsan1:arm64. 612s Preparing to unpack .../12-libubsan1_15-20250222-0ubuntu1_arm64.deb ... 612s Unpacking libubsan1:arm64 (15-20250222-0ubuntu1) ... 612s Selecting previously unselected package libhwasan0:arm64. 612s Preparing to unpack .../13-libhwasan0_15-20250222-0ubuntu1_arm64.deb ... 612s Unpacking libhwasan0:arm64 (15-20250222-0ubuntu1) ... 612s Selecting previously unselected package libgcc-14-dev:arm64. 612s Preparing to unpack .../14-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 612s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 612s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 612s Preparing to unpack .../15-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 612s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 613s Selecting previously unselected package gcc-14. 613s Preparing to unpack .../16-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 613s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 613s Selecting previously unselected package gcc-aarch64-linux-gnu. 613s Preparing to unpack .../17-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 613s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 613s Selecting previously unselected package gcc. 613s Preparing to unpack .../18-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 613s Unpacking gcc (4:14.2.0-1ubuntu1) ... 613s Selecting previously unselected package libstdc++-14-dev:arm64. 613s Preparing to unpack .../19-libstdc++-14-dev_14.2.0-17ubuntu3_arm64.deb ... 613s Unpacking libstdc++-14-dev:arm64 (14.2.0-17ubuntu3) ... 613s Selecting previously unselected package g++-14-aarch64-linux-gnu. 613s Preparing to unpack .../20-g++-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 613s Unpacking g++-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 613s Selecting previously unselected package g++-14. 613s Preparing to unpack .../21-g++-14_14.2.0-17ubuntu3_arm64.deb ... 613s Unpacking g++-14 (14.2.0-17ubuntu3) ... 613s Selecting previously unselected package g++-aarch64-linux-gnu. 613s Preparing to unpack .../22-g++-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 613s Unpacking g++-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 613s Selecting previously unselected package g++. 613s Preparing to unpack .../23-g++_4%3a14.2.0-1ubuntu1_arm64.deb ... 613s Unpacking g++ (4:14.2.0-1ubuntu1) ... 613s Selecting previously unselected package build-essential. 613s Preparing to unpack .../24-build-essential_12.10ubuntu1_arm64.deb ... 613s Unpacking build-essential (12.10ubuntu1) ... 613s Selecting previously unselected package libz3-4:arm64. 613s Preparing to unpack .../25-libz3-4_4.13.3-1_arm64.deb ... 613s Unpacking libz3-4:arm64 (4.13.3-1) ... 614s Selecting previously unselected package libz3-dev:arm64. 614s Preparing to unpack .../26-libz3-dev_4.13.3-1_arm64.deb ... 614s Unpacking libz3-dev:arm64 (4.13.3-1) ... 614s Selecting previously unselected package python3-z3. 614s Preparing to unpack .../27-python3-z3_4.13.3-1_arm64.deb ... 614s Unpacking python3-z3 (4.13.3-1) ... 614s Selecting previously unselected package z3. 614s Preparing to unpack .../28-z3_4.13.3-1_arm64.deb ... 614s Unpacking z3 (4.13.3-1) ... 614s Setting up libgomp1:arm64 (15-20250222-0ubuntu1) ... 614s Setting up z3 (4.13.3-1) ... 614s Setting up libz3-4:arm64 (4.13.3-1) ... 614s Setting up libmpc3:arm64 (1.3.1-1build2) ... 614s Setting up libubsan1:arm64 (15-20250222-0ubuntu1) ... 614s Setting up libhwasan0:arm64 (15-20250222-0ubuntu1) ... 614s Setting up libasan8:arm64 (15-20250222-0ubuntu1) ... 614s Setting up libtsan2:arm64 (15-20250222-0ubuntu1) ... 614s Setting up libisl23:arm64 (0.27-1) ... 614s Setting up libcc1-0:arm64 (15-20250222-0ubuntu1) ... 614s Setting up liblsan0:arm64 (15-20250222-0ubuntu1) ... 614s Setting up libitm1:arm64 (15-20250222-0ubuntu1) ... 614s Setting up libz3-dev:arm64 (4.13.3-1) ... 614s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 614s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 614s Setting up libstdc++-14-dev:arm64 (14.2.0-17ubuntu3) ... 614s Setting up python3-z3 (4.13.3-1) ... 614s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 614s Setting up cpp-14 (14.2.0-17ubuntu3) ... 614s Setting up cpp (4:14.2.0-1ubuntu1) ... 614s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 614s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 614s Setting up g++-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 614s Setting up gcc-14 (14.2.0-17ubuntu3) ... 614s Setting up g++-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 614s Setting up g++-14 (14.2.0-17ubuntu3) ... 614s Setting up gcc (4:14.2.0-1ubuntu1) ... 614s Setting up g++ (4:14.2.0-1ubuntu1) ... 614s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 614s Setting up build-essential (12.10ubuntu1) ... 614s Processing triggers for man-db (2.13.0-1) ... 615s Processing triggers for libc-bin (2.41-1ubuntu2) ... 624s autopkgtest [17:52:18]: test z3-int-logic-test: [----------------------- 624s autopkgtest [17:52:18]: test z3-int-logic-test: -----------------------] 625s autopkgtest [17:52:19]: test z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 625s z3-int-logic-test PASS 625s autopkgtest [17:52:19]: test python3-z3-int-logic-test: preparing testbed 626s Reading package lists... 626s Building dependency tree... 626s Reading state information... 626s Starting pkgProblemResolver with broken count: 0 626s Starting 2 pkgProblemResolver with broken count: 0 626s Done 627s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 628s autopkgtest [17:52:22]: test python3-z3-int-logic-test: [----------------------- 629s autopkgtest [17:52:23]: test python3-z3-int-logic-test: -----------------------] 630s python3-z3-int-logic-test PASS 630s autopkgtest [17:52:24]: test python3-z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 630s autopkgtest [17:52:24]: @@@@@@@@@@@@@@@@@@@@ summary 630s import-z3-test PASS (superficial) 630s include-z3-test PASS (superficial) 630s run-z3-test PASS (superficial) 630s pkg-config-test PASS (superficial) 630s z3-int-logic-test PASS 630s python3-z3-int-logic-test PASS 648s nova [W] Using flock in prodstack6-arm64 648s Creating nova instance adt-plucky-arm64-z3-20250315-174153-juju-7f2275-prod-proposed-migration-environment-2-a240176f-35ed-4168-8364-a36009091fc0 from image adt/ubuntu-plucky-arm64-server-20250315.img (UUID bd6e766c-b51f-4b53-86d6-23aa4d18f524)... 648s nova [W] Timed out waiting for bfb4858b-afde-4e5b-972f-13d25338a86d to get deleted. 648s nova [W] Using flock in prodstack6-arm64 648s Creating nova instance adt-plucky-arm64-z3-20250315-174153-juju-7f2275-prod-proposed-migration-environment-2-a240176f-35ed-4168-8364-a36009091fc0 from image adt/ubuntu-plucky-arm64-server-20250315.img (UUID bd6e766c-b51f-4b53-86d6-23aa4d18f524)... 648s nova [W] Timed out waiting for e5bbaacc-e3f0-4711-aa3c-6a441d69502e to get deleted.