0s autopkgtest [16:31:15]: starting date and time: 2025-10-18 16:31:15+0000 0s autopkgtest [16:31:15]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [16:31:15]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.5oafr4t1/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-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-ppc64el-5.secgroup --name adt-resolute-ppc64el-cvc5-20251018-163115-juju-7f2275-prod-proposed-migration-environment-15-e6c22f36-7192-4530-91dc-1958b6861572 --image adt/ubuntu-resolute-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-ppc64el -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-ppc64el-cvc5-20251018-163115-juju-7f2275-prod-proposed-migration-environment-15-e6c22f36-7192-4530-91dc-1958b6861572 from image adt/ubuntu-resolute-ppc64el-server-20251018.img (UUID 746a0a80-14f1-4bf7-89b6-cbb5ab236a4e)... 60s autopkgtest [16:32:15]: testbed dpkg architecture: ppc64el 60s autopkgtest [16:32:15]: testbed apt version: 3.1.8ubuntu1 61s autopkgtest [16:32:16]: @@@@@@@@@@@@@@@@@@@@ test bed setup 61s autopkgtest [16:32:16]: testbed release detected to be: None 62s autopkgtest [16:32:17]: updating testbed package index (apt update) 62s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 62s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 62s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 62s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 63s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 63s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 63s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 63s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 63s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [73.4 kB] 63s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted ppc64el Packages [940 B] 63s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [222 kB] 63s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [3808 B] 63s Fetched 777 kB in 1s (673 kB/s) 64s Reading package lists... 64s Failed to check for VM: Permission denied 65s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 65s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 65s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 65s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 66s Reading package lists... 66s Reading package lists... 66s Building dependency tree... 66s Reading state information... 66s Calculating upgrade... 66s The following packages will be upgraded: 66s gir1.2-girepository-2.0 libgirepository-1.0-1 libpython3-stdlib python3 66s python3-minimal 66s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 66s Need to get 185 kB of archives. 66s After this operation, 2048 B of additional disk space will be used. 66s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el python3-minimal ppc64el 3.13.7-2 [27.8 kB] 67s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el python3 ppc64el 3.13.7-2 [23.9 kB] 67s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el libpython3-stdlib ppc64el 3.13.7-2 [10.6 kB] 67s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgirepository-1.0-1 ppc64el 1.86.0-6 [97.4 kB] 67s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el gir1.2-girepository-2.0 ppc64el 1.86.0-6 [25.3 kB] 67s dpkg-preconfigure: unable to re-open stdin: No such file or directory 67s Fetched 185 kB in 0s (404 kB/s) 67s (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 ... 76461 files and directories currently installed.) 67s Preparing to unpack .../python3-minimal_3.13.7-2_ppc64el.deb ... 67s Unpacking python3-minimal (3.13.7-2) over (3.13.7-1) ... 67s Setting up python3-minimal (3.13.7-2) ... 68s (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 ... 76461 files and directories currently installed.) 68s Preparing to unpack .../python3_3.13.7-2_ppc64el.deb ... 68s running python pre-rtupdate hooks for python3.13... 68s Unpacking python3 (3.13.7-2) over (3.13.7-1) ... 68s Preparing to unpack .../libpython3-stdlib_3.13.7-2_ppc64el.deb ... 68s Unpacking libpython3-stdlib:ppc64el (3.13.7-2) over (3.13.7-1) ... 68s Preparing to unpack .../libgirepository-1.0-1_1.86.0-6_ppc64el.deb ... 68s Unpacking libgirepository-1.0-1:ppc64el (1.86.0-6) over (1.84.0-1) ... 68s Preparing to unpack .../gir1.2-girepository-2.0_1.86.0-6_ppc64el.deb ... 68s Unpacking gir1.2-girepository-2.0:ppc64el (1.86.0-6) over (1.84.0-1) ... 68s Setting up libgirepository-1.0-1:ppc64el (1.86.0-6) ... 68s Setting up libpython3-stdlib:ppc64el (3.13.7-2) ... 68s Setting up python3 (3.13.7-2) ... 68s running python rtupdate hooks for python3.13... 68s running python post-rtupdate hooks for python3.13... 68s Setting up gir1.2-girepository-2.0:ppc64el (1.86.0-6) ... 68s Processing triggers for man-db (2.13.1-1) ... 69s Processing triggers for libc-bin (2.42-0ubuntu3) ... 69s autopkgtest [16:32:24]: upgrading testbed (apt dist-upgrade and autopurge) 69s Reading package lists... 69s Building dependency tree... 69s Reading state information... 69s Calculating upgrade... 70s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 70s Reading package lists... 70s Building dependency tree... 70s Reading state information... 70s Solving dependencies... 70s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 73s autopkgtest [16:32:28]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 22 10:02:41 UTC 2025 73s autopkgtest [16:32:28]: @@@@@@@@@@@@@@@@@@@@ apt-source cvc5 78s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (dsc) [2473 B] 78s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (tar) [8582 kB] 78s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (diff) [7476 B] 79s gpgv: Signature made Fri Jan 3 13:45:53 2025 UTC 79s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 79s gpgv: Can't check signature: No public key 79s dpkg-source: warning: cannot verify inline signature for ./cvc5_1.1.2-2build1.dsc: no acceptable signature found 79s autopkgtest [16:32:34]: testing package cvc5 version 1.1.2-2build1 80s autopkgtest [16:32:35]: build not needed 83s autopkgtest [16:32:38]: test hello-world: preparing testbed 84s Reading package lists... 84s Building dependency tree... 84s Reading state information... 84s Solving dependencies... 84s The following NEW packages will be installed: 84s build-essential cpp cpp-15 cpp-15-powerpc64le-linux-gnu 84s cpp-powerpc64le-linux-gnu cvc5 g++ g++-15 g++-15-powerpc64le-linux-gnu 84s g++-powerpc64le-linux-gnu gcc gcc-15 gcc-15-powerpc64le-linux-gnu 84s gcc-powerpc64le-linux-gnu libasan8 libcc1-0 libcln6 84s libcryptominisat5-5.11t64 libcvc5-1 libcvc5-dev libcvc5parser1 libgcc-15-dev 84s libgmp-dev libgmpxx4ldbl libgomp1 libisl23 libitm1 liblsan0 libmpc3 84s libquadmath0 libstdc++-15-dev libtsan2 libubsan1 python3-cvc5 84s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded. 84s Need to get 68.9 MB of archives. 84s After this operation, 246 MB of additional disk space will be used. 84s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 85s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el libmpc3 ppc64el 1.3.1-1build3 [62.6 kB] 85s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [11.4 MB] 86s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15 ppc64el 15.2.0-5ubuntu1 [1036 B] 86s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [5746 B] 86s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp ppc64el 4:15.2.0-4ubuntu1 [22.4 kB] 86s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcc1-0 ppc64el 15.2.0-5ubuntu1 [49.0 kB] 86s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgomp1 ppc64el 15.2.0-5ubuntu1 [169 kB] 86s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el libitm1 ppc64el 15.2.0-5ubuntu1 [32.3 kB] 86s Get:10 http://ftpmaster.internal/ubuntu resolute/main ppc64el libasan8 ppc64el 15.2.0-5ubuntu1 [3006 kB] 86s Get:11 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblsan0 ppc64el 15.2.0-5ubuntu1 [1374 kB] 86s Get:12 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtsan2 ppc64el 15.2.0-5ubuntu1 [2729 kB] 86s Get:13 http://ftpmaster.internal/ubuntu resolute/main ppc64el libubsan1 ppc64el 15.2.0-5ubuntu1 [1231 kB] 86s Get:14 http://ftpmaster.internal/ubuntu resolute/main ppc64el libquadmath0 ppc64el 15.2.0-5ubuntu1 [160 kB] 86s Get:15 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgcc-15-dev ppc64el 15.2.0-5ubuntu1 [1670 kB] 86s Get:16 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [22.4 MB] 87s Get:17 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15 ppc64el 15.2.0-5ubuntu1 [523 kB] 87s Get:18 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [1220 B] 87s Get:19 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc ppc64el 4:15.2.0-4ubuntu1 [5032 B] 87s Get:20 http://ftpmaster.internal/ubuntu resolute/main ppc64el libstdc++-15-dev ppc64el 15.2.0-5ubuntu1 [2744 kB] 87s Get:21 http://ftpmaster.internal/ubuntu resolute/main ppc64el g++-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [13.0 MB] 88s Get:22 http://ftpmaster.internal/ubuntu resolute/main ppc64el g++-15 ppc64el 15.2.0-5ubuntu1 [23.7 kB] 88s Get:23 http://ftpmaster.internal/ubuntu resolute/main ppc64el g++-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [970 B] 88s Get:24 http://ftpmaster.internal/ubuntu resolute/main ppc64el g++ ppc64el 4:15.2.0-4ubuntu1 [1092 B] 88s Get:25 http://ftpmaster.internal/ubuntu resolute/main ppc64el build-essential ppc64el 12.12ubuntu1 [5094 B] 88s Get:26 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 88s Get:27 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcryptominisat5-5.11t64 ppc64el 5.11.21+dfsg1-2 [510 kB] 88s Get:28 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc5-1 ppc64el 1.1.2-2build1 [5247 kB] 88s Get:29 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc5parser1 ppc64el 1.1.2-2build1 [217 kB] 89s Get:30 http://ftpmaster.internal/ubuntu resolute/universe ppc64el cvc5 ppc64el 1.1.2-2build1 [93.1 kB] 89s Get:31 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgmpxx4ldbl ppc64el 2:6.3.0+dfsg-5ubuntu1 [10.2 kB] 89s Get:32 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgmp-dev ppc64el 2:6.3.0+dfsg-5ubuntu1 [382 kB] 89s Get:33 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc5-dev ppc64el 1.1.2-2build1 [84.2 kB] 89s Get:34 http://ftpmaster.internal/ubuntu resolute/universe ppc64el python3-cvc5 ppc64el 1.1.2-2build1 [331 kB] 89s Fetched 68.9 MB in 5s (15.0 MB/s) 89s Selecting previously unselected package libisl23:ppc64el. 89s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 76461 files and directories currently installed.) 89s Preparing to unpack .../00-libisl23_0.27-1_ppc64el.deb ... 89s Unpacking libisl23:ppc64el (0.27-1) ... 89s Selecting previously unselected package libmpc3:ppc64el. 89s Preparing to unpack .../01-libmpc3_1.3.1-1build3_ppc64el.deb ... 89s Unpacking libmpc3:ppc64el (1.3.1-1build3) ... 89s Selecting previously unselected package cpp-15-powerpc64le-linux-gnu. 89s Preparing to unpack .../02-cpp-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package cpp-15. 89s Preparing to unpack .../03-cpp-15_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 89s Preparing to unpack .../04-cpp-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 89s Unpacking cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 89s Selecting previously unselected package cpp. 89s Preparing to unpack .../05-cpp_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 89s Unpacking cpp (4:15.2.0-4ubuntu1) ... 89s Selecting previously unselected package libcc1-0:ppc64el. 89s Preparing to unpack .../06-libcc1-0_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package libgomp1:ppc64el. 89s Preparing to unpack .../07-libgomp1_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking libgomp1:ppc64el (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package libitm1:ppc64el. 89s Preparing to unpack .../08-libitm1_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking libitm1:ppc64el (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package libasan8:ppc64el. 89s Preparing to unpack .../09-libasan8_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking libasan8:ppc64el (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package liblsan0:ppc64el. 89s Preparing to unpack .../10-liblsan0_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking liblsan0:ppc64el (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package libtsan2:ppc64el. 89s Preparing to unpack .../11-libtsan2_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking libtsan2:ppc64el (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package libubsan1:ppc64el. 89s Preparing to unpack .../12-libubsan1_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking libubsan1:ppc64el (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package libquadmath0:ppc64el. 89s Preparing to unpack .../13-libquadmath0_15.2.0-5ubuntu1_ppc64el.deb ... 89s Unpacking libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 89s Selecting previously unselected package libgcc-15-dev:ppc64el. 90s Preparing to unpack .../14-libgcc-15-dev_15.2.0-5ubuntu1_ppc64el.deb ... 90s Unpacking libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 90s Selecting previously unselected package gcc-15-powerpc64le-linux-gnu. 90s Preparing to unpack .../15-gcc-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 90s Unpacking gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 90s Selecting previously unselected package gcc-15. 90s Preparing to unpack .../16-gcc-15_15.2.0-5ubuntu1_ppc64el.deb ... 90s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 90s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 90s Preparing to unpack .../17-gcc-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 90s Unpacking gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 90s Selecting previously unselected package gcc. 90s Preparing to unpack .../18-gcc_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 90s Unpacking gcc (4:15.2.0-4ubuntu1) ... 90s Selecting previously unselected package libstdc++-15-dev:ppc64el. 90s Preparing to unpack .../19-libstdc++-15-dev_15.2.0-5ubuntu1_ppc64el.deb ... 90s Unpacking libstdc++-15-dev:ppc64el (15.2.0-5ubuntu1) ... 90s Selecting previously unselected package g++-15-powerpc64le-linux-gnu. 90s Preparing to unpack .../20-g++-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 90s Unpacking g++-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 90s Selecting previously unselected package g++-15. 90s Preparing to unpack .../21-g++-15_15.2.0-5ubuntu1_ppc64el.deb ... 90s Unpacking g++-15 (15.2.0-5ubuntu1) ... 90s Selecting previously unselected package g++-powerpc64le-linux-gnu. 90s Preparing to unpack .../22-g++-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 90s Unpacking g++-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 90s Selecting previously unselected package g++. 90s Preparing to unpack .../23-g++_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 90s Unpacking g++ (4:15.2.0-4ubuntu1) ... 90s Selecting previously unselected package build-essential. 90s Preparing to unpack .../24-build-essential_12.12ubuntu1_ppc64el.deb ... 90s Unpacking build-essential (12.12ubuntu1) ... 90s Selecting previously unselected package libcln6:ppc64el. 90s Preparing to unpack .../25-libcln6_1.3.7-1_ppc64el.deb ... 90s Unpacking libcln6:ppc64el (1.3.7-1) ... 90s Selecting previously unselected package libcryptominisat5-5.11t64:ppc64el. 90s Preparing to unpack .../26-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb ... 90s Unpacking libcryptominisat5-5.11t64:ppc64el (5.11.21+dfsg1-2) ... 90s Selecting previously unselected package libcvc5-1:ppc64el. 90s Preparing to unpack .../27-libcvc5-1_1.1.2-2build1_ppc64el.deb ... 90s Unpacking libcvc5-1:ppc64el (1.1.2-2build1) ... 91s Selecting previously unselected package libcvc5parser1:ppc64el. 91s Preparing to unpack .../28-libcvc5parser1_1.1.2-2build1_ppc64el.deb ... 91s Unpacking libcvc5parser1:ppc64el (1.1.2-2build1) ... 91s Selecting previously unselected package cvc5. 91s Preparing to unpack .../29-cvc5_1.1.2-2build1_ppc64el.deb ... 91s Unpacking cvc5 (1.1.2-2build1) ... 91s Selecting previously unselected package libgmpxx4ldbl:ppc64el. 91s Preparing to unpack .../30-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu1_ppc64el.deb ... 91s Unpacking libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-5ubuntu1) ... 91s Selecting previously unselected package libgmp-dev:ppc64el. 91s Preparing to unpack .../31-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu1_ppc64el.deb ... 91s Unpacking libgmp-dev:ppc64el (2:6.3.0+dfsg-5ubuntu1) ... 91s Selecting previously unselected package libcvc5-dev:ppc64el. 91s Preparing to unpack .../32-libcvc5-dev_1.1.2-2build1_ppc64el.deb ... 91s Unpacking libcvc5-dev:ppc64el (1.1.2-2build1) ... 91s Selecting previously unselected package python3-cvc5. 91s Preparing to unpack .../33-python3-cvc5_1.1.2-2build1_ppc64el.deb ... 91s Unpacking python3-cvc5 (1.1.2-2build1) ... 91s Setting up libcln6:ppc64el (1.3.7-1) ... 91s Setting up libgomp1:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up libcryptominisat5-5.11t64:ppc64el (5.11.21+dfsg1-2) ... 91s Setting up libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-5ubuntu1) ... 91s Setting up libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up libmpc3:ppc64el (1.3.1-1build3) ... 91s Setting up libubsan1:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up libasan8:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up libtsan2:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up libisl23:ppc64el (0.27-1) ... 91s Setting up libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up liblsan0:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up libitm1:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up libcvc5-1:ppc64el (1.1.2-2build1) ... 91s Setting up libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up libgmp-dev:ppc64el (2:6.3.0+dfsg-5ubuntu1) ... 91s Setting up cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 91s Setting up libstdc++-15-dev:ppc64el (15.2.0-5ubuntu1) ... 91s Setting up libcvc5parser1:ppc64el (1.1.2-2build1) ... 91s Setting up cpp-15 (15.2.0-5ubuntu1) ... 91s Setting up cvc5 (1.1.2-2build1) ... 91s Setting up cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 91s Setting up gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 91s Setting up libcvc5-dev:ppc64el (1.1.2-2build1) ... 91s Setting up gcc-15 (15.2.0-5ubuntu1) ... 91s Setting up python3-cvc5 (1.1.2-2build1) ... 91s Setting up gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 91s Setting up cpp (4:15.2.0-4ubuntu1) ... 91s Setting up g++-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 91s Setting up gcc (4:15.2.0-4ubuntu1) ... 91s Setting up g++-15 (15.2.0-5ubuntu1) ... 91s Setting up g++-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 91s Setting up g++ (4:15.2.0-4ubuntu1) ... 91s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 91s Setting up build-essential (12.12ubuntu1) ... 91s Processing triggers for man-db (2.13.1-1) ... 91s Processing triggers for libc-bin (2.42-0ubuntu3) ... 93s autopkgtest [16:32:48]: test hello-world: [----------------------- 94s autopkgtest [16:32:49]: test hello-world: -----------------------] 95s autopkgtest [16:32:50]: test hello-world: - - - - - - - - - - results - - - - - - - - - - 95s hello-world PASS (superficial) 95s autopkgtest [16:32:50]: test print-version: preparing testbed 96s Reading package lists... 96s Building dependency tree... 96s Reading state information... 96s Solving dependencies... 96s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 98s autopkgtest [16:32:53]: test print-version: [----------------------- 98s autopkgtest [16:32:53]: test print-version: -----------------------] 99s autopkgtest [16:32:54]: test print-version: - - - - - - - - - - results - - - - - - - - - - 99s print-version PASS (superficial) 99s autopkgtest [16:32:54]: test simple-arith: preparing testbed 107s Creating nova instance adt-resolute-ppc64el-cvc5-20251018-163115-juju-7f2275-prod-proposed-migration-environment-15-e6c22f36-7192-4530-91dc-1958b6861572 from image adt/ubuntu-resolute-ppc64el-server-20251018.img (UUID 746a0a80-14f1-4bf7-89b6-cbb5ab236a4e)... 155s autopkgtest [16:33:50]: testbed dpkg architecture: ppc64el 156s autopkgtest [16:33:51]: testbed apt version: 3.1.8ubuntu1 156s autopkgtest [16:33:51]: @@@@@@@@@@@@@@@@@@@@ test bed setup 156s autopkgtest [16:33:51]: testbed release detected to be: resolute 157s autopkgtest [16:33:52]: updating testbed package index (apt update) 157s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 158s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 158s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 158s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 158s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 158s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 158s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 158s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 158s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [73.4 kB] 158s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted ppc64el Packages [940 B] 158s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [222 kB] 158s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [3808 B] 158s Fetched 777 kB in 1s (754 kB/s) 159s Reading package lists... 159s Failed to check for VM: Permission denied 160s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 160s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 160s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 160s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 161s Reading package lists... 161s Reading package lists... 161s Building dependency tree... 161s Reading state information... 161s Calculating upgrade... 161s The following packages will be upgraded: 161s gir1.2-girepository-2.0 libgirepository-1.0-1 libpython3-stdlib python3 161s python3-minimal 161s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 161s Need to get 185 kB of archives. 161s After this operation, 2048 B of additional disk space will be used. 161s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el python3-minimal ppc64el 3.13.7-2 [27.8 kB] 161s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el python3 ppc64el 3.13.7-2 [23.9 kB] 161s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el libpython3-stdlib ppc64el 3.13.7-2 [10.6 kB] 161s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgirepository-1.0-1 ppc64el 1.86.0-6 [97.4 kB] 161s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el gir1.2-girepository-2.0 ppc64el 1.86.0-6 [25.3 kB] 162s dpkg-preconfigure: unable to re-open stdin: No such file or directory 162s Fetched 185 kB in 0s (417 kB/s) 162s (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 ... 76461 files and directories currently installed.) 162s Preparing to unpack .../python3-minimal_3.13.7-2_ppc64el.deb ... 162s Unpacking python3-minimal (3.13.7-2) over (3.13.7-1) ... 162s Setting up python3-minimal (3.13.7-2) ... 162s (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 ... 76461 files and directories currently installed.) 162s Preparing to unpack .../python3_3.13.7-2_ppc64el.deb ... 162s running python pre-rtupdate hooks for python3.13... 162s Unpacking python3 (3.13.7-2) over (3.13.7-1) ... 162s Preparing to unpack .../libpython3-stdlib_3.13.7-2_ppc64el.deb ... 162s Unpacking libpython3-stdlib:ppc64el (3.13.7-2) over (3.13.7-1) ... 162s Preparing to unpack .../libgirepository-1.0-1_1.86.0-6_ppc64el.deb ... 162s Unpacking libgirepository-1.0-1:ppc64el (1.86.0-6) over (1.84.0-1) ... 162s Preparing to unpack .../gir1.2-girepository-2.0_1.86.0-6_ppc64el.deb ... 162s Unpacking gir1.2-girepository-2.0:ppc64el (1.86.0-6) over (1.84.0-1) ... 162s Setting up libgirepository-1.0-1:ppc64el (1.86.0-6) ... 162s Setting up libpython3-stdlib:ppc64el (3.13.7-2) ... 162s Setting up python3 (3.13.7-2) ... 162s running python rtupdate hooks for python3.13... 162s running python post-rtupdate hooks for python3.13... 163s Setting up gir1.2-girepository-2.0:ppc64el (1.86.0-6) ... 163s Processing triggers for man-db (2.13.1-1) ... 163s Processing triggers for libc-bin (2.42-0ubuntu3) ... 163s autopkgtest [16:33:58]: upgrading testbed (apt dist-upgrade and autopurge) 164s Reading package lists... 164s Building dependency tree... 164s Reading state information... 164s Calculating upgrade... 164s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 164s Reading package lists... 164s Building dependency tree... 164s Reading state information... 164s Solving dependencies... 164s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 167s Reading package lists... 167s Building dependency tree... 167s Reading state information... 167s Solving dependencies... 167s The following NEW packages will be installed: 167s cvc5 libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5-dev libcvc5parser1 167s libgmp-dev libgmpxx4ldbl python3-cvc5 168s 0 upgraded, 9 newly installed, 0 to remove and 0 not upgraded. 168s Need to get 7400 kB of archives. 168s After this operation, 25.8 MB of additional disk space will be used. 168s Get:1 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 168s Get:2 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcryptominisat5-5.11t64 ppc64el 5.11.21+dfsg1-2 [510 kB] 168s Get:3 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc5-1 ppc64el 1.1.2-2build1 [5247 kB] 169s Get:4 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc5parser1 ppc64el 1.1.2-2build1 [217 kB] 169s Get:5 http://ftpmaster.internal/ubuntu resolute/universe ppc64el cvc5 ppc64el 1.1.2-2build1 [93.1 kB] 169s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgmpxx4ldbl ppc64el 2:6.3.0+dfsg-5ubuntu1 [10.2 kB] 169s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgmp-dev ppc64el 2:6.3.0+dfsg-5ubuntu1 [382 kB] 169s Get:8 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc5-dev ppc64el 1.1.2-2build1 [84.2 kB] 169s Get:9 http://ftpmaster.internal/ubuntu resolute/universe ppc64el python3-cvc5 ppc64el 1.1.2-2build1 [331 kB] 170s Fetched 7400 kB in 2s (3448 kB/s) 170s Selecting previously unselected package libcln6:ppc64el. 170s (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 ... 76461 files and directories currently installed.) 170s Preparing to unpack .../0-libcln6_1.3.7-1_ppc64el.deb ... 170s Unpacking libcln6:ppc64el (1.3.7-1) ... 170s Selecting previously unselected package libcryptominisat5-5.11t64:ppc64el. 170s Preparing to unpack .../1-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb ... 170s Unpacking libcryptominisat5-5.11t64:ppc64el (5.11.21+dfsg1-2) ... 170s Selecting previously unselected package libcvc5-1:ppc64el. 170s Preparing to unpack .../2-libcvc5-1_1.1.2-2build1_ppc64el.deb ... 170s Unpacking libcvc5-1:ppc64el (1.1.2-2build1) ... 170s Selecting previously unselected package libcvc5parser1:ppc64el. 170s Preparing to unpack .../3-libcvc5parser1_1.1.2-2build1_ppc64el.deb ... 170s Unpacking libcvc5parser1:ppc64el (1.1.2-2build1) ... 170s Selecting previously unselected package cvc5. 170s Preparing to unpack .../4-cvc5_1.1.2-2build1_ppc64el.deb ... 170s Unpacking cvc5 (1.1.2-2build1) ... 170s Selecting previously unselected package libgmpxx4ldbl:ppc64el. 170s Preparing to unpack .../5-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu1_ppc64el.deb ... 170s Unpacking libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-5ubuntu1) ... 170s Selecting previously unselected package libgmp-dev:ppc64el. 170s Preparing to unpack .../6-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu1_ppc64el.deb ... 170s Unpacking libgmp-dev:ppc64el (2:6.3.0+dfsg-5ubuntu1) ... 170s Selecting previously unselected package libcvc5-dev:ppc64el. 170s Preparing to unpack .../7-libcvc5-dev_1.1.2-2build1_ppc64el.deb ... 170s Unpacking libcvc5-dev:ppc64el (1.1.2-2build1) ... 170s Selecting previously unselected package python3-cvc5. 170s Preparing to unpack .../8-python3-cvc5_1.1.2-2build1_ppc64el.deb ... 170s Unpacking python3-cvc5 (1.1.2-2build1) ... 170s Setting up libcln6:ppc64el (1.3.7-1) ... 170s Setting up libcryptominisat5-5.11t64:ppc64el (5.11.21+dfsg1-2) ... 170s Setting up libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-5ubuntu1) ... 170s Setting up libcvc5-1:ppc64el (1.1.2-2build1) ... 170s Setting up libgmp-dev:ppc64el (2:6.3.0+dfsg-5ubuntu1) ... 170s Setting up libcvc5parser1:ppc64el (1.1.2-2build1) ... 170s Setting up cvc5 (1.1.2-2build1) ... 170s Setting up libcvc5-dev:ppc64el (1.1.2-2build1) ... 170s Setting up python3-cvc5 (1.1.2-2build1) ... 170s Processing triggers for libc-bin (2.42-0ubuntu3) ... 187s autopkgtest [16:34:22]: test simple-arith: [----------------------- 187s autopkgtest [16:34:22]: test simple-arith: -----------------------] 188s autopkgtest [16:34:23]: test simple-arith: - - - - - - - - - - results - - - - - - - - - - 188s simple-arith PASS 188s autopkgtest [16:34:23]: @@@@@@@@@@@@@@@@@@@@ summary 188s hello-world PASS (superficial) 188s print-version PASS (superficial) 188s simple-arith PASS