0s autopkgtest [17:54:26]: starting date and time: 2025-10-18 17:54:26+0000 0s autopkgtest [17:54:26]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [17:54:26]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.j971fote/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-cpu2-ram4-disk20-amd64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@sto01-5.secgroup --name adt-resolute-amd64-cvc5-20251018-175425-juju-7f2275-prod-proposed-migration-environment-15-62d6a824-8af2-4753-98ca-232b239876c4 --image adt/ubuntu-resolute-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-autopkgtest-workers-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-amd64-cvc5-20251018-175425-juju-7f2275-prod-proposed-migration-environment-15-62d6a824-8af2-4753-98ca-232b239876c4 from image adt/ubuntu-resolute-amd64-server-20251018.img (UUID dd697a48-b6cc-4a02-84bf-0f9f2fad5f89)... 27s autopkgtest [17:54:53]: testbed dpkg architecture: amd64 27s autopkgtest [17:54:53]: testbed apt version: 3.1.6ubuntu2 27s autopkgtest [17:54:53]: @@@@@@@@@@@@@@@@@@@@ test bed setup 27s autopkgtest [17:54:53]: testbed release detected to be: None 28s autopkgtest [17:54:54]: updating testbed package index (apt update) 28s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 28s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 28s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 28s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 28s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 28s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 28s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 28s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 28s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main i386 Packages [46.6 kB] 28s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 Packages [85.2 kB] 28s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/restricted i386 Packages [3208 B] 28s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 Packages [28.0 kB] 29s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 Packages [233 kB] 29s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/universe i386 Packages [87.6 kB] 29s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 Packages [8376 B] 29s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse i386 Packages [2772 B] 29s Fetched 972 kB in 1s (1614 kB/s) 29s Reading package lists... 30s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 30s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 30s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 30s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 30s Reading package lists... 30s Reading package lists... 30s Building dependency tree... 30s Reading state information... 30s Calculating upgrade... 31s The following packages will be upgraded: 31s apt gir1.2-girepository-2.0 libapt-pkg7.0 libgirepository-1.0-1 31s libpython3-stdlib python3 python3-minimal 31s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 31s Need to get 2751 kB of archives. 31s After this operation, 2048 B of additional disk space will be used. 31s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 python3-minimal amd64 3.13.7-2 [27.8 kB] 31s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 python3 amd64 3.13.7-2 [23.9 kB] 31s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libpython3-stdlib amd64 3.13.7-2 [10.6 kB] 31s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libapt-pkg7.0 amd64 3.1.8ubuntu1 [1140 kB] 31s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 apt amd64 3.1.8ubuntu1 [1438 kB] 31s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 libgirepository-1.0-1 amd64 1.86.0-6 [85.9 kB] 31s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 gir1.2-girepository-2.0 amd64 1.86.0-6 [25.3 kB] 31s dpkg-preconfigure: unable to re-open stdin: No such file or directory 31s Fetched 2751 kB in 0s (20.8 MB/s) 31s (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 ... 78439 files and directories currently installed.) 31s Preparing to unpack .../python3-minimal_3.13.7-2_amd64.deb ... 31s Unpacking python3-minimal (3.13.7-2) over (3.13.7-1) ... 31s Setting up python3-minimal (3.13.7-2) ... 31s (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 ... 78439 files and directories currently installed.) 31s Preparing to unpack .../0-python3_3.13.7-2_amd64.deb ... 31s running python pre-rtupdate hooks for python3.13... 31s Unpacking python3 (3.13.7-2) over (3.13.7-1) ... 31s Preparing to unpack .../1-libpython3-stdlib_3.13.7-2_amd64.deb ... 31s Unpacking libpython3-stdlib:amd64 (3.13.7-2) over (3.13.7-1) ... 31s Preparing to unpack .../2-libapt-pkg7.0_3.1.8ubuntu1_amd64.deb ... 31s Unpacking libapt-pkg7.0:amd64 (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 31s Preparing to unpack .../3-apt_3.1.8ubuntu1_amd64.deb ... 31s Unpacking apt (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 31s Preparing to unpack .../4-libgirepository-1.0-1_1.86.0-6_amd64.deb ... 31s Unpacking libgirepository-1.0-1:amd64 (1.86.0-6) over (1.84.0-1) ... 31s Preparing to unpack .../5-gir1.2-girepository-2.0_1.86.0-6_amd64.deb ... 31s Unpacking gir1.2-girepository-2.0:amd64 (1.86.0-6) over (1.84.0-1) ... 31s Setting up libgirepository-1.0-1:amd64 (1.86.0-6) ... 31s Setting up libapt-pkg7.0:amd64 (3.1.8ubuntu1) ... 31s Setting up libpython3-stdlib:amd64 (3.13.7-2) ... 31s Setting up apt (3.1.8ubuntu1) ... 32s Setting up python3 (3.13.7-2) ... 32s running python rtupdate hooks for python3.13... 32s running python post-rtupdate hooks for python3.13... 32s Setting up gir1.2-girepository-2.0:amd64 (1.86.0-6) ... 32s Processing triggers for man-db (2.13.1-1) ... 33s Processing triggers for libc-bin (2.42-0ubuntu3) ... 33s autopkgtest [17:54:59]: upgrading testbed (apt dist-upgrade and autopurge) 34s Reading package lists... 34s Building dependency tree... 34s Reading state information... 34s Calculating upgrade... 34s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 34s Reading package lists... 34s Building dependency tree... 34s Reading state information... 34s Solving dependencies... 34s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 34s autopkgtest [17:55:00]: rebooting testbed after setup commands that affected boot 49s autopkgtest [17:55:15]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 22 10:00:33 UTC 2025 51s autopkgtest [17:55:17]: @@@@@@@@@@@@@@@@@@@@ apt-source cvc5 55s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (dsc) [2473 B] 55s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (tar) [8582 kB] 55s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (diff) [7476 B] 55s gpgv: Signature made Fri Jan 3 13:45:53 2025 UTC 55s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 55s gpgv: Can't check signature: No public key 55s dpkg-source: warning: cannot verify inline signature for ./cvc5_1.1.2-2build1.dsc: no acceptable signature found 56s autopkgtest [17:55:22]: testing package cvc5 version 1.1.2-2build1 57s autopkgtest [17:55:23]: build not needed 61s autopkgtest [17:55:27]: test hello-world: preparing testbed 61s Reading package lists... 61s Building dependency tree... 61s Reading state information... 61s Solving dependencies... 61s The following NEW packages will be installed: 61s build-essential cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu cvc5 61s g++ g++-15 g++-15-x86-64-linux-gnu g++-x86-64-linux-gnu gcc gcc-15 61s gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 libcln6 61s libcryptominisat5-5.11t64 libcvc5-1 libcvc5-dev libcvc5parser1 libgcc-15-dev 61s libgmp-dev libgmpxx4ldbl libgomp1 libhwasan0 libisl23 libitm1 liblsan0 61s libmpc3 libquadmath0 libstdc++-15-dev libtsan2 libubsan1 python3-cvc5 61s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 61s Need to get 77.3 MB of archives. 61s After this operation, 261 MB of additional disk space will be used. 61s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 libisl23 amd64 0.27-1 [685 kB] 61s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libmpc3 amd64 1.3.1-1build3 [57.0 kB] 61s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [12.9 MB] 62s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15 amd64 15.2.0-5ubuntu1 [1028 B] 62s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [5746 B] 62s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp amd64 4:15.2.0-4ubuntu1 [22.4 kB] 62s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 libcc1-0 amd64 15.2.0-5ubuntu1 [47.4 kB] 62s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libgomp1 amd64 15.2.0-5ubuntu1 [151 kB] 62s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 libitm1 amd64 15.2.0-5ubuntu1 [29.3 kB] 62s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 libasan8 amd64 15.2.0-5ubuntu1 [3071 kB] 62s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 liblsan0 amd64 15.2.0-5ubuntu1 [1360 kB] 62s Get:12 http://ftpmaster.internal/ubuntu resolute/main amd64 libtsan2 amd64 15.2.0-5ubuntu1 [2757 kB] 62s Get:13 http://ftpmaster.internal/ubuntu resolute/main amd64 libubsan1 amd64 15.2.0-5ubuntu1 [1210 kB] 62s Get:14 http://ftpmaster.internal/ubuntu resolute/main amd64 libhwasan0 amd64 15.2.0-5ubuntu1 [1685 kB] 62s Get:15 http://ftpmaster.internal/ubuntu resolute/main amd64 libquadmath0 amd64 15.2.0-5ubuntu1 [153 kB] 62s Get:16 http://ftpmaster.internal/ubuntu resolute/main amd64 libgcc-15-dev amd64 15.2.0-5ubuntu1 [2863 kB] 62s Get:17 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [25.4 MB] 62s Get:18 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15 amd64 15.2.0-5ubuntu1 [523 kB] 62s Get:19 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [1208 B] 62s Get:20 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc amd64 4:15.2.0-4ubuntu1 [5024 B] 62s Get:21 http://ftpmaster.internal/ubuntu resolute/main amd64 libstdc++-15-dev amd64 15.2.0-5ubuntu1 [2573 kB] 62s Get:22 http://ftpmaster.internal/ubuntu resolute/main amd64 g++-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [14.4 MB] 63s Get:23 http://ftpmaster.internal/ubuntu resolute/main amd64 g++-15 amd64 15.2.0-5ubuntu1 [23.7 kB] 63s Get:24 http://ftpmaster.internal/ubuntu resolute/main amd64 g++-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [966 B] 63s Get:25 http://ftpmaster.internal/ubuntu resolute/main amd64 g++ amd64 4:15.2.0-4ubuntu1 [1100 B] 63s Get:26 http://ftpmaster.internal/ubuntu resolute/main amd64 build-essential amd64 12.12ubuntu1 [5080 B] 63s Get:27 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcln6 amd64 1.3.7-1 [504 kB] 63s Get:28 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcryptominisat5-5.11t64 amd64 5.11.21+dfsg1-2 [457 kB] 63s Get:29 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc5-1 amd64 1.1.2-2build1 [5286 kB] 63s Get:30 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc5parser1 amd64 1.1.2-2build1 [211 kB] 63s Get:31 http://ftpmaster.internal/ubuntu resolute/universe amd64 cvc5 amd64 1.1.2-2build1 [91.9 kB] 63s Get:32 http://ftpmaster.internal/ubuntu resolute/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5ubuntu1 [9956 B] 63s Get:33 http://ftpmaster.internal/ubuntu resolute/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5ubuntu1 [342 kB] 63s Get:34 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc5-dev amd64 1.1.2-2build1 [84.2 kB] 63s Get:35 http://ftpmaster.internal/ubuntu resolute/universe amd64 python3-cvc5 amd64 1.1.2-2build1 [358 kB] 63s Fetched 77.3 MB in 2s (40.3 MB/s) 63s Selecting previously unselected package libisl23:amd64. 63s (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 ... 78439 files and directories currently installed.) 63s Preparing to unpack .../00-libisl23_0.27-1_amd64.deb ... 63s Unpacking libisl23:amd64 (0.27-1) ... 63s Selecting previously unselected package libmpc3:amd64. 63s Preparing to unpack .../01-libmpc3_1.3.1-1build3_amd64.deb ... 63s Unpacking libmpc3:amd64 (1.3.1-1build3) ... 63s Selecting previously unselected package cpp-15-x86-64-linux-gnu. 63s Preparing to unpack .../02-cpp-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 63s Unpacking cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package cpp-15. 64s Preparing to unpack .../03-cpp-15_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package cpp-x86-64-linux-gnu. 64s Preparing to unpack .../04-cpp-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 64s Unpacking cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 64s Selecting previously unselected package cpp. 64s Preparing to unpack .../05-cpp_4%3a15.2.0-4ubuntu1_amd64.deb ... 64s Unpacking cpp (4:15.2.0-4ubuntu1) ... 64s Selecting previously unselected package libcc1-0:amd64. 64s Preparing to unpack .../06-libcc1-0_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libcc1-0:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package libgomp1:amd64. 64s Preparing to unpack .../07-libgomp1_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libgomp1:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package libitm1:amd64. 64s Preparing to unpack .../08-libitm1_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libitm1:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package libasan8:amd64. 64s Preparing to unpack .../09-libasan8_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libasan8:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package liblsan0:amd64. 64s Preparing to unpack .../10-liblsan0_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking liblsan0:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package libtsan2:amd64. 64s Preparing to unpack .../11-libtsan2_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libtsan2:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package libubsan1:amd64. 64s Preparing to unpack .../12-libubsan1_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libubsan1:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package libhwasan0:amd64. 64s Preparing to unpack .../13-libhwasan0_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libhwasan0:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package libquadmath0:amd64. 64s Preparing to unpack .../14-libquadmath0_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libquadmath0:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package libgcc-15-dev:amd64. 64s Preparing to unpack .../15-libgcc-15-dev_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package gcc-15-x86-64-linux-gnu. 64s Preparing to unpack .../16-gcc-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package gcc-15. 64s Preparing to unpack .../17-gcc-15_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package gcc-x86-64-linux-gnu. 64s Preparing to unpack .../18-gcc-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 64s Unpacking gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 64s Selecting previously unselected package gcc. 64s Preparing to unpack .../19-gcc_4%3a15.2.0-4ubuntu1_amd64.deb ... 64s Unpacking gcc (4:15.2.0-4ubuntu1) ... 64s Selecting previously unselected package libstdc++-15-dev:amd64. 64s Preparing to unpack .../20-libstdc++-15-dev_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking libstdc++-15-dev:amd64 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package g++-15-x86-64-linux-gnu. 64s Preparing to unpack .../21-g++-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking g++-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package g++-15. 64s Preparing to unpack .../22-g++-15_15.2.0-5ubuntu1_amd64.deb ... 64s Unpacking g++-15 (15.2.0-5ubuntu1) ... 64s Selecting previously unselected package g++-x86-64-linux-gnu. 64s Preparing to unpack .../23-g++-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 64s Unpacking g++-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 64s Selecting previously unselected package g++. 64s Preparing to unpack .../24-g++_4%3a15.2.0-4ubuntu1_amd64.deb ... 64s Unpacking g++ (4:15.2.0-4ubuntu1) ... 64s Selecting previously unselected package build-essential. 64s Preparing to unpack .../25-build-essential_12.12ubuntu1_amd64.deb ... 64s Unpacking build-essential (12.12ubuntu1) ... 64s Selecting previously unselected package libcln6:amd64. 64s Preparing to unpack .../26-libcln6_1.3.7-1_amd64.deb ... 64s Unpacking libcln6:amd64 (1.3.7-1) ... 64s Selecting previously unselected package libcryptominisat5-5.11t64:amd64. 64s Preparing to unpack .../27-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb ... 64s Unpacking libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... 64s Selecting previously unselected package libcvc5-1:amd64. 64s Preparing to unpack .../28-libcvc5-1_1.1.2-2build1_amd64.deb ... 64s Unpacking libcvc5-1:amd64 (1.1.2-2build1) ... 64s Selecting previously unselected package libcvc5parser1:amd64. 64s Preparing to unpack .../29-libcvc5parser1_1.1.2-2build1_amd64.deb ... 64s Unpacking libcvc5parser1:amd64 (1.1.2-2build1) ... 64s Selecting previously unselected package cvc5. 64s Preparing to unpack .../30-cvc5_1.1.2-2build1_amd64.deb ... 64s Unpacking cvc5 (1.1.2-2build1) ... 64s Selecting previously unselected package libgmpxx4ldbl:amd64. 64s Preparing to unpack .../31-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu1_amd64.deb ... 64s Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5ubuntu1) ... 64s Selecting previously unselected package libgmp-dev:amd64. 64s Preparing to unpack .../32-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu1_amd64.deb ... 64s Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5ubuntu1) ... 64s Selecting previously unselected package libcvc5-dev:amd64. 64s Preparing to unpack .../33-libcvc5-dev_1.1.2-2build1_amd64.deb ... 64s Unpacking libcvc5-dev:amd64 (1.1.2-2build1) ... 64s Selecting previously unselected package python3-cvc5. 64s Preparing to unpack .../34-python3-cvc5_1.1.2-2build1_amd64.deb ... 64s Unpacking python3-cvc5 (1.1.2-2build1) ... 64s Setting up libcln6:amd64 (1.3.7-1) ... 64s Setting up libgomp1:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... 64s Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5ubuntu1) ... 64s Setting up libquadmath0:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libmpc3:amd64 (1.3.1-1build3) ... 64s Setting up libubsan1:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libhwasan0:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libasan8:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libtsan2:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libisl23:amd64 (0.27-1) ... 64s Setting up libcc1-0:amd64 (15.2.0-5ubuntu1) ... 64s Setting up liblsan0:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libitm1:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libcvc5-1:amd64 (1.1.2-2build1) ... 64s Setting up libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5ubuntu1) ... 64s Setting up cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 64s Setting up gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 64s Setting up libstdc++-15-dev:amd64 (15.2.0-5ubuntu1) ... 64s Setting up libcvc5parser1:amd64 (1.1.2-2build1) ... 64s Setting up cpp-15 (15.2.0-5ubuntu1) ... 64s Setting up cvc5 (1.1.2-2build1) ... 64s Setting up cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 64s Setting up g++-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 64s Setting up gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 64s Setting up libcvc5-dev:amd64 (1.1.2-2build1) ... 64s Setting up gcc-15 (15.2.0-5ubuntu1) ... 64s Setting up python3-cvc5 (1.1.2-2build1) ... 64s Setting up cpp (4:15.2.0-4ubuntu1) ... 64s Setting up g++-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 64s Setting up g++-15 (15.2.0-5ubuntu1) ... 64s Setting up gcc (4:15.2.0-4ubuntu1) ... 64s Setting up g++ (4:15.2.0-4ubuntu1) ... 64s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 64s Setting up build-essential (12.12ubuntu1) ... 64s Processing triggers for man-db (2.13.1-1) ... 65s Processing triggers for libc-bin (2.42-0ubuntu3) ... 66s autopkgtest [17:55:32]: test hello-world: [----------------------- 67s autopkgtest [17:55:33]: test hello-world: -----------------------] 68s autopkgtest [17:55:34]: test hello-world: - - - - - - - - - - results - - - - - - - - - - 68s hello-world PASS (superficial) 68s autopkgtest [17:55:34]: test print-version: preparing testbed 68s Reading package lists... 68s Building dependency tree... 68s Reading state information... 68s Solving dependencies... 68s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 70s autopkgtest [17:55:36]: test print-version: [----------------------- 70s autopkgtest [17:55:36]: test print-version: -----------------------] 70s autopkgtest [17:55:36]: test print-version: - - - - - - - - - - results - - - - - - - - - - 70s print-version PASS (superficial) 71s autopkgtest [17:55:37]: test simple-arith: preparing testbed 77s Creating nova instance adt-resolute-amd64-cvc5-20251018-175425-juju-7f2275-prod-proposed-migration-environment-15-62d6a824-8af2-4753-98ca-232b239876c4 from image adt/ubuntu-resolute-amd64-server-20251018.img (UUID dd697a48-b6cc-4a02-84bf-0f9f2fad5f89)... 101s autopkgtest [17:56:07]: testbed dpkg architecture: amd64 101s autopkgtest [17:56:07]: testbed apt version: 3.1.6ubuntu2 101s autopkgtest [17:56:07]: @@@@@@@@@@@@@@@@@@@@ test bed setup 101s autopkgtest [17:56:07]: testbed release detected to be: resolute 102s autopkgtest [17:56:08]: updating testbed package index (apt update) 102s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 102s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 102s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 102s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 102s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 102s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 103s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 103s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 103s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main i386 Packages [46.6 kB] 103s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 Packages [85.2 kB] 103s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/restricted i386 Packages [3208 B] 103s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 Packages [28.0 kB] 103s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 Packages [233 kB] 103s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/universe i386 Packages [87.6 kB] 103s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse i386 Packages [2772 B] 103s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 Packages [8376 B] 103s Fetched 972 kB in 1s (1384 kB/s) 103s Reading package lists... 104s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 104s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 104s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 104s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 104s Reading package lists... 104s Reading package lists... 105s Building dependency tree... 105s Reading state information... 105s Calculating upgrade... 105s The following packages will be upgraded: 105s apt gir1.2-girepository-2.0 libapt-pkg7.0 libgirepository-1.0-1 105s libpython3-stdlib python3 python3-minimal 105s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 105s Need to get 2751 kB of archives. 105s After this operation, 2048 B of additional disk space will be used. 105s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 python3-minimal amd64 3.13.7-2 [27.8 kB] 105s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 python3 amd64 3.13.7-2 [23.9 kB] 105s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libpython3-stdlib amd64 3.13.7-2 [10.6 kB] 105s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libapt-pkg7.0 amd64 3.1.8ubuntu1 [1140 kB] 105s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 apt amd64 3.1.8ubuntu1 [1438 kB] 105s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 libgirepository-1.0-1 amd64 1.86.0-6 [85.9 kB] 105s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 gir1.2-girepository-2.0 amd64 1.86.0-6 [25.3 kB] 105s dpkg-preconfigure: unable to re-open stdin: No such file or directory 105s Fetched 2751 kB in 0s (8556 kB/s) 105s (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 ... 78439 files and directories currently installed.) 105s Preparing to unpack .../python3-minimal_3.13.7-2_amd64.deb ... 105s Unpacking python3-minimal (3.13.7-2) over (3.13.7-1) ... 105s Setting up python3-minimal (3.13.7-2) ... 106s (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 ... 78439 files and directories currently installed.) 106s Preparing to unpack .../0-python3_3.13.7-2_amd64.deb ... 106s running python pre-rtupdate hooks for python3.13... 106s Unpacking python3 (3.13.7-2) over (3.13.7-1) ... 106s Preparing to unpack .../1-libpython3-stdlib_3.13.7-2_amd64.deb ... 106s Unpacking libpython3-stdlib:amd64 (3.13.7-2) over (3.13.7-1) ... 106s Preparing to unpack .../2-libapt-pkg7.0_3.1.8ubuntu1_amd64.deb ... 106s Unpacking libapt-pkg7.0:amd64 (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 106s Preparing to unpack .../3-apt_3.1.8ubuntu1_amd64.deb ... 106s Unpacking apt (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 106s Preparing to unpack .../4-libgirepository-1.0-1_1.86.0-6_amd64.deb ... 106s Unpacking libgirepository-1.0-1:amd64 (1.86.0-6) over (1.84.0-1) ... 106s Preparing to unpack .../5-gir1.2-girepository-2.0_1.86.0-6_amd64.deb ... 106s Unpacking gir1.2-girepository-2.0:amd64 (1.86.0-6) over (1.84.0-1) ... 106s Setting up libgirepository-1.0-1:amd64 (1.86.0-6) ... 106s Setting up libapt-pkg7.0:amd64 (3.1.8ubuntu1) ... 106s Setting up libpython3-stdlib:amd64 (3.13.7-2) ... 106s Setting up apt (3.1.8ubuntu1) ... 106s Setting up python3 (3.13.7-2) ... 106s running python rtupdate hooks for python3.13... 106s running python post-rtupdate hooks for python3.13... 106s Setting up gir1.2-girepository-2.0:amd64 (1.86.0-6) ... 106s Processing triggers for man-db (2.13.1-1) ... 107s Processing triggers for libc-bin (2.42-0ubuntu3) ... 107s autopkgtest [17:56:13]: upgrading testbed (apt dist-upgrade and autopurge) 108s Reading package lists... 108s Building dependency tree... 108s Reading state information... 108s Calculating upgrade... 108s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 108s Reading package lists... 108s Building dependency tree... 108s Reading state information... 108s Solving dependencies... 108s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 109s autopkgtest [17:56:15]: rebooting testbed after setup commands that affected boot 125s Reading package lists... 125s Building dependency tree... 125s Reading state information... 125s Solving dependencies... 125s The following NEW packages will be installed: 125s cvc5 libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5-dev libcvc5parser1 125s libgmp-dev libgmpxx4ldbl python3-cvc5 125s 0 upgraded, 9 newly installed, 0 to remove and 0 not upgraded. 125s Need to get 7344 kB of archives. 125s After this operation, 23.9 MB of additional disk space will be used. 125s Get:1 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcln6 amd64 1.3.7-1 [504 kB] 126s Get:2 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcryptominisat5-5.11t64 amd64 5.11.21+dfsg1-2 [457 kB] 126s Get:3 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc5-1 amd64 1.1.2-2build1 [5286 kB] 127s Get:4 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc5parser1 amd64 1.1.2-2build1 [211 kB] 127s Get:5 http://ftpmaster.internal/ubuntu resolute/universe amd64 cvc5 amd64 1.1.2-2build1 [91.9 kB] 127s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5ubuntu1 [9956 B] 127s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5ubuntu1 [342 kB] 127s Get:8 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc5-dev amd64 1.1.2-2build1 [84.2 kB] 127s Get:9 http://ftpmaster.internal/ubuntu resolute/universe amd64 python3-cvc5 amd64 1.1.2-2build1 [358 kB] 127s Fetched 7344 kB in 1s (5768 kB/s) 127s Selecting previously unselected package libcln6:amd64. 127s (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 ... 78439 files and directories currently installed.) 127s Preparing to unpack .../0-libcln6_1.3.7-1_amd64.deb ... 127s Unpacking libcln6:amd64 (1.3.7-1) ... 127s Selecting previously unselected package libcryptominisat5-5.11t64:amd64. 127s Preparing to unpack .../1-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb ... 127s Unpacking libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... 127s Selecting previously unselected package libcvc5-1:amd64. 127s Preparing to unpack .../2-libcvc5-1_1.1.2-2build1_amd64.deb ... 127s Unpacking libcvc5-1:amd64 (1.1.2-2build1) ... 127s Selecting previously unselected package libcvc5parser1:amd64. 127s Preparing to unpack .../3-libcvc5parser1_1.1.2-2build1_amd64.deb ... 127s Unpacking libcvc5parser1:amd64 (1.1.2-2build1) ... 127s Selecting previously unselected package cvc5. 127s Preparing to unpack .../4-cvc5_1.1.2-2build1_amd64.deb ... 127s Unpacking cvc5 (1.1.2-2build1) ... 127s Selecting previously unselected package libgmpxx4ldbl:amd64. 127s Preparing to unpack .../5-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu1_amd64.deb ... 127s Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5ubuntu1) ... 127s Selecting previously unselected package libgmp-dev:amd64. 127s Preparing to unpack .../6-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu1_amd64.deb ... 127s Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5ubuntu1) ... 127s Selecting previously unselected package libcvc5-dev:amd64. 127s Preparing to unpack .../7-libcvc5-dev_1.1.2-2build1_amd64.deb ... 127s Unpacking libcvc5-dev:amd64 (1.1.2-2build1) ... 127s Selecting previously unselected package python3-cvc5. 127s Preparing to unpack .../8-python3-cvc5_1.1.2-2build1_amd64.deb ... 127s Unpacking python3-cvc5 (1.1.2-2build1) ... 127s Setting up libcln6:amd64 (1.3.7-1) ... 127s Setting up libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... 127s Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5ubuntu1) ... 127s Setting up libcvc5-1:amd64 (1.1.2-2build1) ... 127s Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5ubuntu1) ... 127s Setting up libcvc5parser1:amd64 (1.1.2-2build1) ... 127s Setting up cvc5 (1.1.2-2build1) ... 127s Setting up libcvc5-dev:amd64 (1.1.2-2build1) ... 127s Setting up python3-cvc5 (1.1.2-2build1) ... 127s Processing triggers for libc-bin (2.42-0ubuntu3) ... 131s autopkgtest [17:56:37]: test simple-arith: [----------------------- 131s autopkgtest [17:56:37]: test simple-arith: -----------------------] 131s autopkgtest [17:56:37]: test simple-arith: - - - - - - - - - - results - - - - - - - - - - 131s simple-arith PASS 132s autopkgtest [17:56:38]: @@@@@@@@@@@@@@@@@@@@ summary 132s hello-world PASS (superficial) 132s print-version PASS (superficial) 132s simple-arith PASS