0s autopkgtest [15:32:12]: starting date and time: 2025-10-18 15:32:12+0000 0s autopkgtest [15:32:12]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [15:32:12]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.7t00apoq/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:python3-defaults --apt-upgrade cvc5 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=python3-defaults/3.13.7-2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-arm64-3.secgroup --name adt-resolute-arm64-cvc5-20251018-153212-juju-7f2275-prod-proposed-migration-environment-15-37199d83-857b-48fc-bb17-05c802c16266 --image adt/ubuntu-resolute-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-arm64-cvc5-20251018-153212-juju-7f2275-prod-proposed-migration-environment-15-37199d83-857b-48fc-bb17-05c802c16266 from image adt/ubuntu-resolute-arm64-server-20251018.img (UUID f7a49384-4e4d-4350-9a26-1f59236f89dd)... 58s autopkgtest [15:33:10]: testbed dpkg architecture: arm64 59s autopkgtest [15:33:11]: testbed apt version: 3.1.6ubuntu2 59s autopkgtest [15:33:11]: @@@@@@@@@@@@@@@@@@@@ test bed setup 59s autopkgtest [15:33:11]: testbed release detected to be: None 60s autopkgtest [15:33:12]: updating testbed package index (apt update) 61s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 61s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 61s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 61s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 61s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 61s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 61s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 61s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 61s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [81.1 kB] 61s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 Packages [43.8 kB] 61s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [223 kB] 61s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [5672 B] 61s Fetched 831 kB in 1s (859 kB/s) 63s Reading package lists... 64s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 64s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 64s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 64s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 65s Reading package lists... 65s Reading package lists... 65s Building dependency tree... 65s Reading state information... 66s Calculating upgrade... 67s The following packages will be upgraded: 67s apt flash-kernel gir1.2-girepository-2.0 libapt-pkg7.0 libgirepository-1.0-1 67s libpython3-stdlib lto-disabled-list python3 python3-minimal 67s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 67s Need to get 2671 kB of archives. 67s After this operation, 66.6 kB of additional disk space will be used. 67s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 python3-minimal arm64 3.13.7-2 [27.8 kB] 67s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 python3 arm64 3.13.7-2 [23.9 kB] 67s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libpython3-stdlib arm64 3.13.7-2 [10.6 kB] 67s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libapt-pkg7.0 arm64 3.1.8ubuntu1 [1055 kB] 67s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 apt arm64 3.1.8ubuntu1 [1373 kB] 67s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libgirepository-1.0-1 arm64 1.86.0-6 [84.5 kB] 67s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 gir1.2-girepository-2.0 arm64 1.86.0-6 [25.3 kB] 67s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 flash-kernel arm64 3.109ubuntu7 [58.8 kB] 67s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 lto-disabled-list all 71 [12.5 kB] 68s dpkg-preconfigure: unable to re-open stdin: No such file or directory 68s Fetched 2671 kB in 1s (2753 kB/s) 69s (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 ... 83359 files and directories currently installed.) 69s Preparing to unpack .../python3-minimal_3.13.7-2_arm64.deb ... 69s Unpacking python3-minimal (3.13.7-2) over (3.13.7-1) ... 69s Setting up python3-minimal (3.13.7-2) ... 69s (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 ... 83359 files and directories currently installed.) 69s Preparing to unpack .../0-python3_3.13.7-2_arm64.deb ... 69s running python pre-rtupdate hooks for python3.13... 69s Unpacking python3 (3.13.7-2) over (3.13.7-1) ... 69s Preparing to unpack .../1-libpython3-stdlib_3.13.7-2_arm64.deb ... 69s Unpacking libpython3-stdlib:arm64 (3.13.7-2) over (3.13.7-1) ... 69s Preparing to unpack .../2-libapt-pkg7.0_3.1.8ubuntu1_arm64.deb ... 69s Unpacking libapt-pkg7.0:arm64 (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 70s Preparing to unpack .../3-apt_3.1.8ubuntu1_arm64.deb ... 70s Unpacking apt (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 70s Preparing to unpack .../4-libgirepository-1.0-1_1.86.0-6_arm64.deb ... 70s Unpacking libgirepository-1.0-1:arm64 (1.86.0-6) over (1.84.0-1) ... 70s Preparing to unpack .../5-gir1.2-girepository-2.0_1.86.0-6_arm64.deb ... 70s Unpacking gir1.2-girepository-2.0:arm64 (1.86.0-6) over (1.84.0-1) ... 70s Preparing to unpack .../6-flash-kernel_3.109ubuntu7_arm64.deb ... 70s Unpacking flash-kernel (3.109ubuntu7) over (3.109ubuntu6) ... 70s Preparing to unpack .../7-lto-disabled-list_71_all.deb ... 70s Unpacking lto-disabled-list (71) over (69) ... 70s Setting up lto-disabled-list (71) ... 70s Setting up libgirepository-1.0-1:arm64 (1.86.0-6) ... 70s Setting up libapt-pkg7.0:arm64 (3.1.8ubuntu1) ... 70s Setting up libpython3-stdlib:arm64 (3.13.7-2) ... 71s Setting up apt (3.1.8ubuntu1) ... 71s Setting up python3 (3.13.7-2) ... 71s running python rtupdate hooks for python3.13... 71s running python post-rtupdate hooks for python3.13... 72s Setting up gir1.2-girepository-2.0:arm64 (1.86.0-6) ... 72s Setting up flash-kernel (3.109ubuntu7) ... 72s flash-kernel: deferring update (trigger activated) 72s Processing triggers for libc-bin (2.42-0ubuntu3) ... 72s Processing triggers for man-db (2.13.1-1) ... 74s Processing triggers for initramfs-tools (0.150ubuntu3) ... 74s update-initramfs: Generating /boot/initrd.img-6.17.0-5-generic 101s System running in EFI mode, skipping. 101s Processing triggers for flash-kernel (3.109ubuntu7) ... 102s System running in EFI mode, skipping. 102s autopkgtest [15:33:54]: upgrading testbed (apt dist-upgrade and autopurge) 103s Reading package lists... 103s Building dependency tree... 103s Reading state information... 104s Calculating upgrade... 105s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 105s Reading package lists... 105s Building dependency tree... 105s Reading state information... 106s Solving dependencies... 106s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 106s autopkgtest [15:33:58]: rebooting testbed after setup commands that affected boot 136s autopkgtest [15:34:28]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 22 09:50:31 UTC 2025 138s autopkgtest [15:34:30]: @@@@@@@@@@@@@@@@@@@@ apt-source cvc5 143s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (dsc) [2473 B] 143s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (tar) [8582 kB] 143s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (diff) [7476 B] 143s gpgv: Signature made Fri Jan 3 13:45:53 2025 UTC 143s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 143s gpgv: Can't check signature: No public key 143s dpkg-source: warning: cannot verify inline signature for ./cvc5_1.1.2-2build1.dsc: no acceptable signature found 144s autopkgtest [15:34:36]: testing package cvc5 version 1.1.2-2build1 145s autopkgtest [15:34:37]: build not needed 148s autopkgtest [15:34:40]: test hello-world: preparing testbed 149s Reading package lists... 149s Building dependency tree... 149s Reading state information... 149s Solving dependencies... 150s The following NEW packages will be installed: 150s build-essential cpp cpp-15 cpp-15-aarch64-linux-gnu cpp-aarch64-linux-gnu 150s cvc5 g++ g++-15 g++-15-aarch64-linux-gnu g++-aarch64-linux-gnu gcc gcc-15 150s gcc-15-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0 libcln6 150s libcryptominisat5-5.11t64 libcvc5-1 libcvc5-dev libcvc5parser1 libgcc-15-dev 150s libgmp-dev libgmpxx4ldbl libgomp1 libhwasan0 libisl23 libitm1 liblsan0 150s libmpc3 libstdc++-15-dev libtsan2 libubsan1 python3-cvc5 150s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded. 150s Need to get 71.4 MB of archives. 150s After this operation, 246 MB of additional disk space will be used. 150s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 libisl23 arm64 0.27-1 [676 kB] 151s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libmpc3 arm64 1.3.1-1build3 [58.9 kB] 151s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [11.7 MB] 153s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15 arm64 15.2.0-5ubuntu1 [1028 B] 153s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [5736 B] 153s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp arm64 4:15.2.0-4ubuntu1 [22.4 kB] 153s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libcc1-0 arm64 15.2.0-5ubuntu1 [49.2 kB] 153s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libgomp1 arm64 15.2.0-5ubuntu1 [148 kB] 153s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 libitm1 arm64 15.2.0-5ubuntu1 [28.1 kB] 153s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 libasan8 arm64 15.2.0-5ubuntu1 [2922 kB] 154s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 liblsan0 arm64 15.2.0-5ubuntu1 [1316 kB] 154s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 libtsan2 arm64 15.2.0-5ubuntu1 [2689 kB] 154s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 libubsan1 arm64 15.2.0-5ubuntu1 [1176 kB] 154s Get:14 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwasan0 arm64 15.2.0-5ubuntu1 [1639 kB] 154s Get:15 http://ftpmaster.internal/ubuntu resolute/main arm64 libgcc-15-dev arm64 15.2.0-5ubuntu1 [2601 kB] 154s Get:16 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [23.1 MB] 155s Get:17 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15 arm64 15.2.0-5ubuntu1 [512 kB] 155s Get:18 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [1206 B] 155s Get:19 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc arm64 4:15.2.0-4ubuntu1 [5016 B] 155s Get:20 http://ftpmaster.internal/ubuntu resolute/main arm64 libstdc++-15-dev arm64 15.2.0-5ubuntu1 [2545 kB] 155s Get:21 http://ftpmaster.internal/ubuntu resolute/main arm64 g++-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [13.2 MB] 155s Get:22 http://ftpmaster.internal/ubuntu resolute/main arm64 g++-15 arm64 15.2.0-5ubuntu1 [23.7 kB] 155s Get:23 http://ftpmaster.internal/ubuntu resolute/main arm64 g++-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [956 B] 155s Get:24 http://ftpmaster.internal/ubuntu resolute/main arm64 g++ arm64 4:15.2.0-4ubuntu1 [1080 B] 155s Get:25 http://ftpmaster.internal/ubuntu resolute/main arm64 build-essential arm64 12.12ubuntu1 [5082 B] 156s Get:26 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 156s Get:27 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcryptominisat5-5.11t64 arm64 5.11.21+dfsg1-2 [448 kB] 156s Get:28 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc5-1 arm64 1.1.2-2build1 [4875 kB] 156s Get:29 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc5parser1 arm64 1.1.2-2build1 [199 kB] 156s Get:30 http://ftpmaster.internal/ubuntu resolute/universe arm64 cvc5 arm64 1.1.2-2build1 [87.0 kB] 156s Get:31 http://ftpmaster.internal/ubuntu resolute/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-5ubuntu1 [9944 B] 156s Get:32 http://ftpmaster.internal/ubuntu resolute/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-5ubuntu1 [348 kB] 156s Get:33 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc5-dev arm64 1.1.2-2build1 [84.2 kB] 156s Get:34 http://ftpmaster.internal/ubuntu resolute/universe arm64 python3-cvc5 arm64 1.1.2-2build1 [339 kB] 156s Fetched 71.4 MB in 6s (12.1 MB/s) 156s Selecting previously unselected package libisl23:arm64. 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 ... 83359 files and directories currently installed.) 156s Preparing to unpack .../00-libisl23_0.27-1_arm64.deb ... 156s Unpacking libisl23:arm64 (0.27-1) ... 157s Selecting previously unselected package libmpc3:arm64. 157s Preparing to unpack .../01-libmpc3_1.3.1-1build3_arm64.deb ... 157s Unpacking libmpc3:arm64 (1.3.1-1build3) ... 157s Selecting previously unselected package cpp-15-aarch64-linux-gnu. 157s Preparing to unpack .../02-cpp-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 157s Unpacking cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 157s Selecting previously unselected package cpp-15. 157s Preparing to unpack .../03-cpp-15_15.2.0-5ubuntu1_arm64.deb ... 157s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 157s Selecting previously unselected package cpp-aarch64-linux-gnu. 157s Preparing to unpack .../04-cpp-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 157s Unpacking cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 157s Selecting previously unselected package cpp. 157s Preparing to unpack .../05-cpp_4%3a15.2.0-4ubuntu1_arm64.deb ... 157s Unpacking cpp (4:15.2.0-4ubuntu1) ... 157s Selecting previously unselected package libcc1-0:arm64. 157s Preparing to unpack .../06-libcc1-0_15.2.0-5ubuntu1_arm64.deb ... 157s Unpacking libcc1-0:arm64 (15.2.0-5ubuntu1) ... 157s Selecting previously unselected package libgomp1:arm64. 157s Preparing to unpack .../07-libgomp1_15.2.0-5ubuntu1_arm64.deb ... 157s Unpacking libgomp1:arm64 (15.2.0-5ubuntu1) ... 157s Selecting previously unselected package libitm1:arm64. 157s Preparing to unpack .../08-libitm1_15.2.0-5ubuntu1_arm64.deb ... 157s Unpacking libitm1:arm64 (15.2.0-5ubuntu1) ... 157s Selecting previously unselected package libasan8:arm64. 157s Preparing to unpack .../09-libasan8_15.2.0-5ubuntu1_arm64.deb ... 157s Unpacking libasan8:arm64 (15.2.0-5ubuntu1) ... 157s Selecting previously unselected package liblsan0:arm64. 158s Preparing to unpack .../10-liblsan0_15.2.0-5ubuntu1_arm64.deb ... 158s Unpacking liblsan0:arm64 (15.2.0-5ubuntu1) ... 158s Selecting previously unselected package libtsan2:arm64. 158s Preparing to unpack .../11-libtsan2_15.2.0-5ubuntu1_arm64.deb ... 158s Unpacking libtsan2:arm64 (15.2.0-5ubuntu1) ... 158s Selecting previously unselected package libubsan1:arm64. 158s Preparing to unpack .../12-libubsan1_15.2.0-5ubuntu1_arm64.deb ... 158s Unpacking libubsan1:arm64 (15.2.0-5ubuntu1) ... 158s Selecting previously unselected package libhwasan0:arm64. 158s Preparing to unpack .../13-libhwasan0_15.2.0-5ubuntu1_arm64.deb ... 158s Unpacking libhwasan0:arm64 (15.2.0-5ubuntu1) ... 158s Selecting previously unselected package libgcc-15-dev:arm64. 158s Preparing to unpack .../14-libgcc-15-dev_15.2.0-5ubuntu1_arm64.deb ... 158s Unpacking libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 158s Selecting previously unselected package gcc-15-aarch64-linux-gnu. 158s Preparing to unpack .../15-gcc-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 158s Unpacking gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 159s Selecting previously unselected package gcc-15. 159s Preparing to unpack .../16-gcc-15_15.2.0-5ubuntu1_arm64.deb ... 159s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 159s Selecting previously unselected package gcc-aarch64-linux-gnu. 159s Preparing to unpack .../17-gcc-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 159s Unpacking gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 159s Selecting previously unselected package gcc. 159s Preparing to unpack .../18-gcc_4%3a15.2.0-4ubuntu1_arm64.deb ... 159s Unpacking gcc (4:15.2.0-4ubuntu1) ... 159s Selecting previously unselected package libstdc++-15-dev:arm64. 159s Preparing to unpack .../19-libstdc++-15-dev_15.2.0-5ubuntu1_arm64.deb ... 159s Unpacking libstdc++-15-dev:arm64 (15.2.0-5ubuntu1) ... 159s Selecting previously unselected package g++-15-aarch64-linux-gnu. 159s Preparing to unpack .../20-g++-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 159s Unpacking g++-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 159s Selecting previously unselected package g++-15. 159s Preparing to unpack .../21-g++-15_15.2.0-5ubuntu1_arm64.deb ... 159s Unpacking g++-15 (15.2.0-5ubuntu1) ... 159s Selecting previously unselected package g++-aarch64-linux-gnu. 159s Preparing to unpack .../22-g++-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 159s Unpacking g++-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 159s Selecting previously unselected package g++. 160s Preparing to unpack .../23-g++_4%3a15.2.0-4ubuntu1_arm64.deb ... 160s Unpacking g++ (4:15.2.0-4ubuntu1) ... 160s Selecting previously unselected package build-essential. 160s Preparing to unpack .../24-build-essential_12.12ubuntu1_arm64.deb ... 160s Unpacking build-essential (12.12ubuntu1) ... 160s Selecting previously unselected package libcln6:arm64. 160s Preparing to unpack .../25-libcln6_1.3.7-1_arm64.deb ... 160s Unpacking libcln6:arm64 (1.3.7-1) ... 160s Selecting previously unselected package libcryptominisat5-5.11t64:arm64. 160s Preparing to unpack .../26-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb ... 160s Unpacking libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-2) ... 160s Selecting previously unselected package libcvc5-1:arm64. 160s Preparing to unpack .../27-libcvc5-1_1.1.2-2build1_arm64.deb ... 160s Unpacking libcvc5-1:arm64 (1.1.2-2build1) ... 160s Selecting previously unselected package libcvc5parser1:arm64. 160s Preparing to unpack .../28-libcvc5parser1_1.1.2-2build1_arm64.deb ... 160s Unpacking libcvc5parser1:arm64 (1.1.2-2build1) ... 160s Selecting previously unselected package cvc5. 160s Preparing to unpack .../29-cvc5_1.1.2-2build1_arm64.deb ... 160s Unpacking cvc5 (1.1.2-2build1) ... 160s Selecting previously unselected package libgmpxx4ldbl:arm64. 160s Preparing to unpack .../30-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu1_arm64.deb ... 160s Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-5ubuntu1) ... 160s Selecting previously unselected package libgmp-dev:arm64. 160s Preparing to unpack .../31-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu1_arm64.deb ... 160s Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-5ubuntu1) ... 160s Selecting previously unselected package libcvc5-dev:arm64. 160s Preparing to unpack .../32-libcvc5-dev_1.1.2-2build1_arm64.deb ... 160s Unpacking libcvc5-dev:arm64 (1.1.2-2build1) ... 160s Selecting previously unselected package python3-cvc5. 160s Preparing to unpack .../33-python3-cvc5_1.1.2-2build1_arm64.deb ... 160s Unpacking python3-cvc5 (1.1.2-2build1) ... 160s Setting up libcln6:arm64 (1.3.7-1) ... 160s Setting up libgomp1:arm64 (15.2.0-5ubuntu1) ... 160s Setting up libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-2) ... 160s Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-5ubuntu1) ... 160s Setting up libmpc3:arm64 (1.3.1-1build3) ... 160s Setting up libubsan1:arm64 (15.2.0-5ubuntu1) ... 160s Setting up libhwasan0:arm64 (15.2.0-5ubuntu1) ... 160s Setting up libasan8:arm64 (15.2.0-5ubuntu1) ... 160s Setting up libtsan2:arm64 (15.2.0-5ubuntu1) ... 160s Setting up libisl23:arm64 (0.27-1) ... 160s Setting up libcc1-0:arm64 (15.2.0-5ubuntu1) ... 160s Setting up liblsan0:arm64 (15.2.0-5ubuntu1) ... 160s Setting up libitm1:arm64 (15.2.0-5ubuntu1) ... 160s Setting up libcvc5-1:arm64 (1.1.2-2build1) ... 160s Setting up cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 160s Setting up libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 160s Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-5ubuntu1) ... 160s Setting up cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 160s Setting up libstdc++-15-dev:arm64 (15.2.0-5ubuntu1) ... 160s Setting up libcvc5parser1:arm64 (1.1.2-2build1) ... 160s Setting up cpp-15 (15.2.0-5ubuntu1) ... 160s Setting up cvc5 (1.1.2-2build1) ... 160s Setting up cpp (4:15.2.0-4ubuntu1) ... 160s Setting up gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 160s Setting up libcvc5-dev:arm64 (1.1.2-2build1) ... 160s Setting up gcc-15 (15.2.0-5ubuntu1) ... 160s Setting up python3-cvc5 (1.1.2-2build1) ... 160s Setting up g++-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 160s Setting up g++-15 (15.2.0-5ubuntu1) ... 160s Setting up gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 160s Setting up gcc (4:15.2.0-4ubuntu1) ... 161s Setting up g++-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 161s Setting up g++ (4:15.2.0-4ubuntu1) ... 161s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 161s Setting up build-essential (12.12ubuntu1) ... 161s Processing triggers for man-db (2.13.1-1) ... 162s Processing triggers for libc-bin (2.42-0ubuntu3) ... 163s autopkgtest [15:34:55]: test hello-world: [----------------------- 165s autopkgtest [15:34:57]: test hello-world: -----------------------] 166s autopkgtest [15:34:58]: test hello-world: - - - - - - - - - - results - - - - - - - - - - 166s hello-world PASS (superficial) 166s autopkgtest [15:34:58]: test print-version: preparing testbed 166s Reading package lists... 167s Building dependency tree... 167s Reading state information... 167s Solving dependencies... 167s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 169s autopkgtest [15:35:01]: test print-version: [----------------------- 170s autopkgtest [15:35:02]: test print-version: -----------------------] 170s print-version PASS (superficial) 170s autopkgtest [15:35:02]: test print-version: - - - - - - - - - - results - - - - - - - - - - 171s autopkgtest [15:35:03]: test simple-arith: preparing testbed 191s Creating nova instance adt-resolute-arm64-cvc5-20251018-153212-juju-7f2275-prod-proposed-migration-environment-15-37199d83-857b-48fc-bb17-05c802c16266 from image adt/ubuntu-resolute-arm64-server-20251018.img (UUID f7a49384-4e4d-4350-9a26-1f59236f89dd)... 242s autopkgtest [15:36:14]: testbed dpkg architecture: arm64 242s autopkgtest [15:36:14]: testbed apt version: 3.1.6ubuntu2 242s autopkgtest [15:36:14]: @@@@@@@@@@@@@@@@@@@@ test bed setup 242s autopkgtest [15:36:14]: testbed release detected to be: resolute 243s autopkgtest [15:36:15]: updating testbed package index (apt update) 243s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 244s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 244s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 244s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 244s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 244s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 244s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 244s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 244s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [81.1 kB] 244s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 Packages [43.8 kB] 244s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [223 kB] 244s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [5672 B] 244s Fetched 831 kB in 1s (1095 kB/s) 245s Reading package lists... 246s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 246s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 246s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 246s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 247s Reading package lists... 247s Reading package lists... 247s Building dependency tree... 247s Reading state information... 247s Calculating upgrade... 248s The following packages will be upgraded: 248s apt flash-kernel gir1.2-girepository-2.0 libapt-pkg7.0 libgirepository-1.0-1 248s libpython3-stdlib lto-disabled-list python3 python3-minimal 248s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 248s Need to get 2671 kB of archives. 248s After this operation, 66.6 kB of additional disk space will be used. 248s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 python3-minimal arm64 3.13.7-2 [27.8 kB] 248s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 python3 arm64 3.13.7-2 [23.9 kB] 248s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libpython3-stdlib arm64 3.13.7-2 [10.6 kB] 248s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libapt-pkg7.0 arm64 3.1.8ubuntu1 [1055 kB] 248s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 apt arm64 3.1.8ubuntu1 [1373 kB] 249s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libgirepository-1.0-1 arm64 1.86.0-6 [84.5 kB] 249s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 gir1.2-girepository-2.0 arm64 1.86.0-6 [25.3 kB] 249s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 flash-kernel arm64 3.109ubuntu7 [58.8 kB] 249s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 lto-disabled-list all 71 [12.5 kB] 249s dpkg-preconfigure: unable to re-open stdin: No such file or directory 249s Fetched 2671 kB in 1s (2977 kB/s) 249s (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 ... 83359 files and directories currently installed.) 249s Preparing to unpack .../python3-minimal_3.13.7-2_arm64.deb ... 249s Unpacking python3-minimal (3.13.7-2) over (3.13.7-1) ... 249s Setting up python3-minimal (3.13.7-2) ... 250s (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 ... 83359 files and directories currently installed.) 250s Preparing to unpack .../0-python3_3.13.7-2_arm64.deb ... 250s running python pre-rtupdate hooks for python3.13... 250s Unpacking python3 (3.13.7-2) over (3.13.7-1) ... 250s Preparing to unpack .../1-libpython3-stdlib_3.13.7-2_arm64.deb ... 250s Unpacking libpython3-stdlib:arm64 (3.13.7-2) over (3.13.7-1) ... 250s Preparing to unpack .../2-libapt-pkg7.0_3.1.8ubuntu1_arm64.deb ... 250s Unpacking libapt-pkg7.0:arm64 (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 250s Preparing to unpack .../3-apt_3.1.8ubuntu1_arm64.deb ... 250s Unpacking apt (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 250s Preparing to unpack .../4-libgirepository-1.0-1_1.86.0-6_arm64.deb ... 250s Unpacking libgirepository-1.0-1:arm64 (1.86.0-6) over (1.84.0-1) ... 251s Preparing to unpack .../5-gir1.2-girepository-2.0_1.86.0-6_arm64.deb ... 251s Unpacking gir1.2-girepository-2.0:arm64 (1.86.0-6) over (1.84.0-1) ... 251s Preparing to unpack .../6-flash-kernel_3.109ubuntu7_arm64.deb ... 251s Unpacking flash-kernel (3.109ubuntu7) over (3.109ubuntu6) ... 251s Preparing to unpack .../7-lto-disabled-list_71_all.deb ... 251s Unpacking lto-disabled-list (71) over (69) ... 251s Setting up lto-disabled-list (71) ... 251s Setting up libgirepository-1.0-1:arm64 (1.86.0-6) ... 251s Setting up libapt-pkg7.0:arm64 (3.1.8ubuntu1) ... 251s Setting up libpython3-stdlib:arm64 (3.13.7-2) ... 251s Setting up apt (3.1.8ubuntu1) ... 251s Setting up python3 (3.13.7-2) ... 251s running python rtupdate hooks for python3.13... 251s running python post-rtupdate hooks for python3.13... 252s Setting up gir1.2-girepository-2.0:arm64 (1.86.0-6) ... 252s Setting up flash-kernel (3.109ubuntu7) ... 252s flash-kernel: deferring update (trigger activated) 252s Processing triggers for libc-bin (2.42-0ubuntu3) ... 252s Processing triggers for man-db (2.13.1-1) ... 254s Processing triggers for initramfs-tools (0.150ubuntu3) ... 254s update-initramfs: Generating /boot/initrd.img-6.17.0-5-generic 271s System running in EFI mode, skipping. 271s Processing triggers for flash-kernel (3.109ubuntu7) ... 271s System running in EFI mode, skipping. 271s autopkgtest [15:36:43]: upgrading testbed (apt dist-upgrade and autopurge) 272s Reading package lists... 272s Building dependency tree... 272s Reading state information... 273s Calculating upgrade... 273s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 273s Reading package lists... 274s Building dependency tree... 274s Reading state information... 274s Solving dependencies... 274s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 274s autopkgtest [15:36:46]: rebooting testbed after setup commands that affected boot 305s Reading package lists... 305s Building dependency tree... 305s Reading state information... 305s Solving dependencies... 305s The following NEW packages will be installed: 305s cvc5 libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5-dev libcvc5parser1 305s libgmp-dev libgmpxx4ldbl python3-cvc5 306s 0 upgraded, 9 newly installed, 0 to remove and 0 not upgraded. 306s Need to get 6869 kB of archives. 306s After this operation, 22.0 MB of additional disk space will be used. 306s Get:1 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 306s Get:2 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcryptominisat5-5.11t64 arm64 5.11.21+dfsg1-2 [448 kB] 306s Get:3 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc5-1 arm64 1.1.2-2build1 [4875 kB] 307s Get:4 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc5parser1 arm64 1.1.2-2build1 [199 kB] 307s Get:5 http://ftpmaster.internal/ubuntu resolute/universe arm64 cvc5 arm64 1.1.2-2build1 [87.0 kB] 307s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-5ubuntu1 [9944 B] 307s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-5ubuntu1 [348 kB] 307s Get:8 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc5-dev arm64 1.1.2-2build1 [84.2 kB] 307s Get:9 http://ftpmaster.internal/ubuntu resolute/universe arm64 python3-cvc5 arm64 1.1.2-2build1 [339 kB] 307s Fetched 6869 kB in 1s (6458 kB/s) 307s Selecting previously unselected package libcln6:arm64. 307s (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 ... 83359 files and directories currently installed.) 307s Preparing to unpack .../0-libcln6_1.3.7-1_arm64.deb ... 307s Unpacking libcln6:arm64 (1.3.7-1) ... 307s Selecting previously unselected package libcryptominisat5-5.11t64:arm64. 307s Preparing to unpack .../1-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb ... 307s Unpacking libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-2) ... 307s Selecting previously unselected package libcvc5-1:arm64. 307s Preparing to unpack .../2-libcvc5-1_1.1.2-2build1_arm64.deb ... 307s Unpacking libcvc5-1:arm64 (1.1.2-2build1) ... 307s Selecting previously unselected package libcvc5parser1:arm64. 307s Preparing to unpack .../3-libcvc5parser1_1.1.2-2build1_arm64.deb ... 307s Unpacking libcvc5parser1:arm64 (1.1.2-2build1) ... 307s Selecting previously unselected package cvc5. 307s Preparing to unpack .../4-cvc5_1.1.2-2build1_arm64.deb ... 307s Unpacking cvc5 (1.1.2-2build1) ... 308s Selecting previously unselected package libgmpxx4ldbl:arm64. 308s Preparing to unpack .../5-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu1_arm64.deb ... 308s Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-5ubuntu1) ... 308s Selecting previously unselected package libgmp-dev:arm64. 308s Preparing to unpack .../6-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu1_arm64.deb ... 308s Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-5ubuntu1) ... 308s Selecting previously unselected package libcvc5-dev:arm64. 308s Preparing to unpack .../7-libcvc5-dev_1.1.2-2build1_arm64.deb ... 308s Unpacking libcvc5-dev:arm64 (1.1.2-2build1) ... 308s Selecting previously unselected package python3-cvc5. 308s Preparing to unpack .../8-python3-cvc5_1.1.2-2build1_arm64.deb ... 308s Unpacking python3-cvc5 (1.1.2-2build1) ... 308s Setting up libcln6:arm64 (1.3.7-1) ... 308s Setting up libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-2) ... 308s Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-5ubuntu1) ... 308s Setting up libcvc5-1:arm64 (1.1.2-2build1) ... 308s Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-5ubuntu1) ... 308s Setting up libcvc5parser1:arm64 (1.1.2-2build1) ... 308s Setting up cvc5 (1.1.2-2build1) ... 308s Setting up libcvc5-dev:arm64 (1.1.2-2build1) ... 308s Setting up python3-cvc5 (1.1.2-2build1) ... 308s Processing triggers for libc-bin (2.42-0ubuntu3) ... 313s autopkgtest [15:37:25]: test simple-arith: [----------------------- 314s autopkgtest [15:37:26]: test simple-arith: -----------------------] 314s simple-arith PASS 314s autopkgtest [15:37:26]: test simple-arith: - - - - - - - - - - results - - - - - - - - - - 315s autopkgtest [15:37:27]: @@@@@@@@@@@@@@@@@@@@ summary 315s hello-world PASS (superficial) 315s print-version PASS (superficial) 315s simple-arith PASS