0s autopkgtest [17:19:26]: starting date and time: 2025-10-18 17:19:26+0000 0s autopkgtest [17:19:26]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [17:19:26]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.1f3pldo8/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-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-s390x-7.secgroup --name adt-resolute-s390x-cvc5-20251018-171926-juju-7f2275-prod-proposed-migration-environment-20-3bc5e309-b43c-4645-a804-c699bdaf38f8 --image adt/ubuntu-resolute-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-proposed-migration-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 4s Creating nova instance adt-resolute-s390x-cvc5-20251018-171926-juju-7f2275-prod-proposed-migration-environment-20-3bc5e309-b43c-4645-a804-c699bdaf38f8 from image adt/ubuntu-resolute-s390x-server-20251018.img (UUID c47ab411-f9be-46ce-b861-20d934d06dba)... 63s autopkgtest [17:20:29]: testbed dpkg architecture: s390x 63s autopkgtest [17:20:29]: testbed apt version: 3.1.6ubuntu2 63s autopkgtest [17:20:29]: @@@@@@@@@@@@@@@@@@@@ test bed setup 63s autopkgtest [17:20:29]: testbed release detected to be: None 64s autopkgtest [17:20:30]: updating testbed package index (apt update) 64s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 64s 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 65s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 65s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 65s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 65s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 65s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x Packages [74.0 kB] 65s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted s390x Packages [940 B] 65s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe s390x Packages [226 kB] 65s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse s390x Packages [3812 B] 65s Fetched 781 kB in 1s (884 kB/s) 66s Reading package lists... 66s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 66s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 67s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 67s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 67s Reading package lists... 67s Reading package lists... 67s Building dependency tree... 67s Reading state information... 67s Calculating upgrade... 68s The following packages will be upgraded: 68s apt gir1.2-girepository-2.0 libapt-pkg7.0 libgirepository-1.0-1 68s libpython3-stdlib lto-disabled-list python3 python3-minimal 68s 8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 68s Need to get 2763 kB of archives. 68s After this operation, 14.3 kB of additional disk space will be used. 68s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x python3-minimal s390x 3.13.7-2 [27.8 kB] 68s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x python3 s390x 3.13.7-2 [23.9 kB] 68s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libpython3-stdlib s390x 3.13.7-2 [10.6 kB] 68s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libapt-pkg7.0 s390x 3.1.8ubuntu1 [1144 kB] 68s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x apt s390x 3.1.8ubuntu1 [1432 kB] 69s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x libgirepository-1.0-1 s390x 1.86.0-6 [86.9 kB] 69s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x gir1.2-girepository-2.0 s390x 1.86.0-6 [25.1 kB] 69s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x lto-disabled-list all 71 [12.5 kB] 69s dpkg-preconfigure: unable to re-open stdin: No such file or directory 69s Fetched 2763 kB in 1s (2389 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 ... 56852 files and directories currently installed.) 69s Preparing to unpack .../python3-minimal_3.13.7-2_s390x.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 ... 56852 files and directories currently installed.) 69s Preparing to unpack .../0-python3_3.13.7-2_s390x.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_s390x.deb ... 69s Unpacking libpython3-stdlib:s390x (3.13.7-2) over (3.13.7-1) ... 69s Preparing to unpack .../2-libapt-pkg7.0_3.1.8ubuntu1_s390x.deb ... 69s Unpacking libapt-pkg7.0:s390x (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 70s Preparing to unpack .../3-apt_3.1.8ubuntu1_s390x.deb ... 70s Unpacking apt (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 70s Preparing to unpack .../4-libgirepository-1.0-1_1.86.0-6_s390x.deb ... 70s Unpacking libgirepository-1.0-1:s390x (1.86.0-6) over (1.84.0-1) ... 70s Preparing to unpack .../5-gir1.2-girepository-2.0_1.86.0-6_s390x.deb ... 70s Unpacking gir1.2-girepository-2.0:s390x (1.86.0-6) over (1.84.0-1) ... 70s Preparing to unpack .../6-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:s390x (1.86.0-6) ... 70s Setting up libapt-pkg7.0:s390x (3.1.8ubuntu1) ... 70s Setting up libpython3-stdlib:s390x (3.13.7-2) ... 70s Setting up apt (3.1.8ubuntu1) ... 70s Setting up python3 (3.13.7-2) ... 70s running python rtupdate hooks for python3.13... 70s running python post-rtupdate hooks for python3.13... 70s Setting up gir1.2-girepository-2.0:s390x (1.86.0-6) ... 70s Processing triggers for man-db (2.13.1-1) ... 72s Processing triggers for libc-bin (2.42-0ubuntu3) ... 72s autopkgtest [17:20:38]: upgrading testbed (apt dist-upgrade and autopurge) 73s Reading package lists... 73s Building dependency tree... 73s Reading state information... 73s Calculating upgrade... 73s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 73s Reading package lists... 73s Building dependency tree... 73s Reading state information... 73s Solving dependencies... 74s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 74s autopkgtest [17:20:40]: rebooting testbed after setup commands that affected boot 87s autopkgtest [17:20:53]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP Mon Sep 22 08:56:47 UTC 2025 89s autopkgtest [17:20:55]: @@@@@@@@@@@@@@@@@@@@ apt-source cvc5 94s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (dsc) [2473 B] 94s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (tar) [8582 kB] 94s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cvc5 1.1.2-2build1 (diff) [7476 B] 94s gpgv: Signature made Fri Jan 3 13:45:53 2025 UTC 94s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 94s gpgv: Can't check signature: No public key 94s dpkg-source: warning: cannot verify inline signature for ./cvc5_1.1.2-2build1.dsc: no acceptable signature found 94s autopkgtest [17:21:00]: testing package cvc5 version 1.1.2-2build1 95s autopkgtest [17:21:01]: build not needed 98s autopkgtest [17:21:04]: test hello-world: preparing testbed 99s Reading package lists... 99s Building dependency tree... 99s Reading state information... 99s Solving dependencies... 99s The following NEW packages will be installed: 99s build-essential cpp cpp-15 cpp-15-s390x-linux-gnu cpp-s390x-linux-gnu cvc5 99s g++ g++-15 g++-15-s390x-linux-gnu g++-s390x-linux-gnu gcc gcc-15 99s gcc-15-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0 libcln6 99s libcryptominisat5-5.11t64 libcvc5-1 libcvc5-dev libcvc5parser1 libgcc-15-dev 99s libgmp-dev libgmpxx4ldbl libgomp1 libisl23 libitm1 libmpc3 libstdc++-15-dev 99s libubsan1 python3-cvc5 99s 0 upgraded, 31 newly installed, 0 to remove and 0 not upgraded. 99s Need to get 59.1 MB of archives. 99s After this operation, 188 MB of additional disk space will be used. 99s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x libisl23 s390x 0.27-1 [704 kB] 100s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libmpc3 s390x 1.3.1-1build3 [57.6 kB] 100s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [10.2 MB] 101s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15 s390x 15.2.0-5ubuntu1 [1024 B] 101s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [5746 B] 101s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x cpp s390x 4:15.2.0-4ubuntu1 [22.4 kB] 101s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libcc1-0 s390x 15.2.0-5ubuntu1 [50.0 kB] 101s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x libgomp1 s390x 15.2.0-5ubuntu1 [154 kB] 101s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x libitm1 s390x 15.2.0-5ubuntu1 [30.9 kB] 101s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x libasan8 s390x 15.2.0-5ubuntu1 [2969 kB] 101s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x libubsan1 s390x 15.2.0-5ubuntu1 [1211 kB] 101s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x libgcc-15-dev s390x 15.2.0-5ubuntu1 [1045 kB] 101s Get:13 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [19.9 MB] 102s Get:14 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15 s390x 15.2.0-5ubuntu1 [512 kB] 102s Get:15 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [1208 B] 102s Get:16 http://ftpmaster.internal/ubuntu resolute/main s390x gcc s390x 4:15.2.0-4ubuntu1 [5018 B] 102s Get:17 http://ftpmaster.internal/ubuntu resolute/main s390x libstdc++-15-dev s390x 15.2.0-5ubuntu1 [2658 kB] 102s Get:18 http://ftpmaster.internal/ubuntu resolute/main s390x g++-15-s390x-linux-gnu s390x 15.2.0-5ubuntu1 [11.7 MB] 103s Get:19 http://ftpmaster.internal/ubuntu resolute/main s390x g++-15 s390x 15.2.0-5ubuntu1 [23.7 kB] 103s Get:20 http://ftpmaster.internal/ubuntu resolute/main s390x g++-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [956 B] 103s Get:21 http://ftpmaster.internal/ubuntu resolute/main s390x g++ s390x 4:15.2.0-4ubuntu1 [1078 B] 103s Get:22 http://ftpmaster.internal/ubuntu resolute/main s390x build-essential s390x 12.12ubuntu1 [5090 B] 103s Get:23 http://ftpmaster.internal/ubuntu resolute/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 103s Get:24 http://ftpmaster.internal/ubuntu resolute/universe s390x libcryptominisat5-5.11t64 s390x 5.11.21+dfsg1-2 [509 kB] 103s Get:25 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc5-1 s390x 1.1.2-2build1 [5661 kB] 103s Get:26 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc5parser1 s390x 1.1.2-2build1 [216 kB] 103s Get:27 http://ftpmaster.internal/ubuntu resolute/universe s390x cvc5 s390x 1.1.2-2build1 [94.4 kB] 103s Get:28 http://ftpmaster.internal/ubuntu resolute/main s390x libgmpxx4ldbl s390x 2:6.3.0+dfsg-5ubuntu1 [10.1 kB] 103s Get:29 http://ftpmaster.internal/ubuntu resolute/main s390x libgmp-dev s390x 2:6.3.0+dfsg-5ubuntu1 [423 kB] 103s Get:30 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc5-dev s390x 1.1.2-2build1 [84.2 kB] 103s Get:31 http://ftpmaster.internal/ubuntu resolute/universe s390x python3-cvc5 s390x 1.1.2-2build1 [396 kB] 104s Fetched 59.1 MB in 4s (13.5 MB/s) 104s Selecting previously unselected package libisl23:s390x. 104s (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 ... 56852 files and directories currently installed.) 104s Preparing to unpack .../00-libisl23_0.27-1_s390x.deb ... 104s Unpacking libisl23:s390x (0.27-1) ... 104s Selecting previously unselected package libmpc3:s390x. 104s Preparing to unpack .../01-libmpc3_1.3.1-1build3_s390x.deb ... 104s Unpacking libmpc3:s390x (1.3.1-1build3) ... 104s Selecting previously unselected package cpp-15-s390x-linux-gnu. 104s Preparing to unpack .../02-cpp-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package cpp-15. 104s Preparing to unpack .../03-cpp-15_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package cpp-s390x-linux-gnu. 104s Preparing to unpack .../04-cpp-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 104s Unpacking cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 104s Selecting previously unselected package cpp. 104s Preparing to unpack .../05-cpp_4%3a15.2.0-4ubuntu1_s390x.deb ... 104s Unpacking cpp (4:15.2.0-4ubuntu1) ... 104s Selecting previously unselected package libcc1-0:s390x. 104s Preparing to unpack .../06-libcc1-0_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking libcc1-0:s390x (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package libgomp1:s390x. 104s Preparing to unpack .../07-libgomp1_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking libgomp1:s390x (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package libitm1:s390x. 104s Preparing to unpack .../08-libitm1_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking libitm1:s390x (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package libasan8:s390x. 104s Preparing to unpack .../09-libasan8_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking libasan8:s390x (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package libubsan1:s390x. 104s Preparing to unpack .../10-libubsan1_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking libubsan1:s390x (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package libgcc-15-dev:s390x. 104s Preparing to unpack .../11-libgcc-15-dev_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package gcc-15-s390x-linux-gnu. 104s Preparing to unpack .../12-gcc-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package gcc-15. 104s Preparing to unpack .../13-gcc-15_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 104s Selecting previously unselected package gcc-s390x-linux-gnu. 104s Preparing to unpack .../14-gcc-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 104s Unpacking gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 104s Selecting previously unselected package gcc. 104s Preparing to unpack .../15-gcc_4%3a15.2.0-4ubuntu1_s390x.deb ... 104s Unpacking gcc (4:15.2.0-4ubuntu1) ... 104s Selecting previously unselected package libstdc++-15-dev:s390x. 104s Preparing to unpack .../16-libstdc++-15-dev_15.2.0-5ubuntu1_s390x.deb ... 104s Unpacking libstdc++-15-dev:s390x (15.2.0-5ubuntu1) ... 105s Selecting previously unselected package g++-15-s390x-linux-gnu. 105s Preparing to unpack .../17-g++-15-s390x-linux-gnu_15.2.0-5ubuntu1_s390x.deb ... 105s Unpacking g++-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 105s Selecting previously unselected package g++-15. 105s Preparing to unpack .../18-g++-15_15.2.0-5ubuntu1_s390x.deb ... 105s Unpacking g++-15 (15.2.0-5ubuntu1) ... 105s Selecting previously unselected package g++-s390x-linux-gnu. 105s Preparing to unpack .../19-g++-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 105s Unpacking g++-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 105s Selecting previously unselected package g++. 105s Preparing to unpack .../20-g++_4%3a15.2.0-4ubuntu1_s390x.deb ... 105s Unpacking g++ (4:15.2.0-4ubuntu1) ... 105s Selecting previously unselected package build-essential. 105s Preparing to unpack .../21-build-essential_12.12ubuntu1_s390x.deb ... 105s Unpacking build-essential (12.12ubuntu1) ... 105s Selecting previously unselected package libcln6:s390x. 105s Preparing to unpack .../22-libcln6_1.3.7-1_s390x.deb ... 105s Unpacking libcln6:s390x (1.3.7-1) ... 105s Selecting previously unselected package libcryptominisat5-5.11t64:s390x. 105s Preparing to unpack .../23-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb ... 105s Unpacking libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-2) ... 105s Selecting previously unselected package libcvc5-1:s390x. 105s Preparing to unpack .../24-libcvc5-1_1.1.2-2build1_s390x.deb ... 105s Unpacking libcvc5-1:s390x (1.1.2-2build1) ... 105s Selecting previously unselected package libcvc5parser1:s390x. 105s Preparing to unpack .../25-libcvc5parser1_1.1.2-2build1_s390x.deb ... 105s Unpacking libcvc5parser1:s390x (1.1.2-2build1) ... 105s Selecting previously unselected package cvc5. 105s Preparing to unpack .../26-cvc5_1.1.2-2build1_s390x.deb ... 105s Unpacking cvc5 (1.1.2-2build1) ... 105s Selecting previously unselected package libgmpxx4ldbl:s390x. 105s Preparing to unpack .../27-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu1_s390x.deb ... 105s Unpacking libgmpxx4ldbl:s390x (2:6.3.0+dfsg-5ubuntu1) ... 105s Selecting previously unselected package libgmp-dev:s390x. 105s Preparing to unpack .../28-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu1_s390x.deb ... 105s Unpacking libgmp-dev:s390x (2:6.3.0+dfsg-5ubuntu1) ... 105s Selecting previously unselected package libcvc5-dev:s390x. 105s Preparing to unpack .../29-libcvc5-dev_1.1.2-2build1_s390x.deb ... 105s Unpacking libcvc5-dev:s390x (1.1.2-2build1) ... 105s Selecting previously unselected package python3-cvc5. 105s Preparing to unpack .../30-python3-cvc5_1.1.2-2build1_s390x.deb ... 105s Unpacking python3-cvc5 (1.1.2-2build1) ... 105s Setting up libcln6:s390x (1.3.7-1) ... 105s Setting up libgomp1:s390x (15.2.0-5ubuntu1) ... 105s Setting up libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-2) ... 105s Setting up libgmpxx4ldbl:s390x (2:6.3.0+dfsg-5ubuntu1) ... 105s Setting up libmpc3:s390x (1.3.1-1build3) ... 105s Setting up libubsan1:s390x (15.2.0-5ubuntu1) ... 105s Setting up libasan8:s390x (15.2.0-5ubuntu1) ... 105s Setting up libisl23:s390x (0.27-1) ... 105s Setting up libcc1-0:s390x (15.2.0-5ubuntu1) ... 105s Setting up libitm1:s390x (15.2.0-5ubuntu1) ... 105s Setting up libcvc5-1:s390x (1.1.2-2build1) ... 105s Setting up libgcc-15-dev:s390x (15.2.0-5ubuntu1) ... 105s Setting up libgmp-dev:s390x (2:6.3.0+dfsg-5ubuntu1) ... 105s Setting up libstdc++-15-dev:s390x (15.2.0-5ubuntu1) ... 105s Setting up libcvc5parser1:s390x (1.1.2-2build1) ... 105s Setting up cvc5 (1.1.2-2build1) ... 105s Setting up cpp-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 105s Setting up gcc-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 105s Setting up g++-15-s390x-linux-gnu (15.2.0-5ubuntu1) ... 105s Setting up cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 105s Setting up libcvc5-dev:s390x (1.1.2-2build1) ... 105s Setting up python3-cvc5 (1.1.2-2build1) ... 105s Setting up gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 105s Setting up cpp-15 (15.2.0-5ubuntu1) ... 105s Setting up cpp (4:15.2.0-4ubuntu1) ... 105s Setting up g++-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 105s Setting up gcc-15 (15.2.0-5ubuntu1) ... 105s Setting up g++-15 (15.2.0-5ubuntu1) ... 105s Setting up gcc (4:15.2.0-4ubuntu1) ... 105s Setting up g++ (4:15.2.0-4ubuntu1) ... 105s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 105s Setting up build-essential (12.12ubuntu1) ... 105s Processing triggers for man-db (2.13.1-1) ... 106s Processing triggers for libc-bin (2.42-0ubuntu3) ... 108s autopkgtest [17:21:14]: test hello-world: [----------------------- 109s autopkgtest [17:21:15]: test hello-world: -----------------------] 109s autopkgtest [17:21:15]: test hello-world: - - - - - - - - - - results - - - - - - - - - - 109s hello-world PASS (superficial) 109s autopkgtest [17:21:15]: test print-version: preparing testbed 110s Reading package lists... 110s Building dependency tree... 110s Reading state information... 110s Solving dependencies... 110s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 111s autopkgtest [17:21:17]: test print-version: [----------------------- 112s autopkgtest [17:21:18]: test print-version: -----------------------] 112s autopkgtest [17:21:18]: test print-version: - - - - - - - - - - results - - - - - - - - - - 112s print-version PASS (superficial) 113s autopkgtest [17:21:19]: test simple-arith: preparing testbed 134s Creating nova instance adt-resolute-s390x-cvc5-20251018-171926-juju-7f2275-prod-proposed-migration-environment-20-3bc5e309-b43c-4645-a804-c699bdaf38f8 from image adt/ubuntu-resolute-s390x-server-20251018.img (UUID c47ab411-f9be-46ce-b861-20d934d06dba)... 186s autopkgtest [17:22:32]: testbed dpkg architecture: s390x 186s autopkgtest [17:22:32]: testbed apt version: 3.1.6ubuntu2 186s autopkgtest [17:22:32]: @@@@@@@@@@@@@@@@@@@@ test bed setup 186s autopkgtest [17:22:32]: testbed release detected to be: resolute 187s autopkgtest [17:22:33]: updating testbed package index (apt update) 187s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 188s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 188s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 188s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 188s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 188s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 188s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 188s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 188s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x Packages [74.0 kB] 188s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted s390x Packages [940 B] 188s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe s390x Packages [226 kB] 188s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse s390x Packages [3812 B] 188s Fetched 781 kB in 1s (774 kB/s) 189s Reading package lists... 189s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 190s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 190s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 190s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 190s Reading package lists... 190s Reading package lists... 191s Building dependency tree... 191s Reading state information... 191s Calculating upgrade... 191s The following packages will be upgraded: 191s apt gir1.2-girepository-2.0 libapt-pkg7.0 libgirepository-1.0-1 191s libpython3-stdlib lto-disabled-list python3 python3-minimal 191s 8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 191s Need to get 2763 kB of archives. 191s After this operation, 14.3 kB of additional disk space will be used. 191s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x python3-minimal s390x 3.13.7-2 [27.8 kB] 191s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x python3 s390x 3.13.7-2 [23.9 kB] 191s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libpython3-stdlib s390x 3.13.7-2 [10.6 kB] 191s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libapt-pkg7.0 s390x 3.1.8ubuntu1 [1144 kB] 192s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x apt s390x 3.1.8ubuntu1 [1432 kB] 192s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x libgirepository-1.0-1 s390x 1.86.0-6 [86.9 kB] 192s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x gir1.2-girepository-2.0 s390x 1.86.0-6 [25.1 kB] 192s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x lto-disabled-list all 71 [12.5 kB] 192s dpkg-preconfigure: unable to re-open stdin: No such file or directory 192s Fetched 2763 kB in 1s (2717 kB/s) 192s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 56852 files and directories currently installed.) 192s Preparing to unpack .../python3-minimal_3.13.7-2_s390x.deb ... 192s Unpacking python3-minimal (3.13.7-2) over (3.13.7-1) ... 192s Setting up python3-minimal (3.13.7-2) ... 192s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 56852 files and directories currently installed.) 192s Preparing to unpack .../0-python3_3.13.7-2_s390x.deb ... 192s running python pre-rtupdate hooks for python3.13... 192s Unpacking python3 (3.13.7-2) over (3.13.7-1) ... 192s Preparing to unpack .../1-libpython3-stdlib_3.13.7-2_s390x.deb ... 192s Unpacking libpython3-stdlib:s390x (3.13.7-2) over (3.13.7-1) ... 193s Preparing to unpack .../2-libapt-pkg7.0_3.1.8ubuntu1_s390x.deb ... 193s Unpacking libapt-pkg7.0:s390x (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 193s Preparing to unpack .../3-apt_3.1.8ubuntu1_s390x.deb ... 193s Unpacking apt (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 193s Preparing to unpack .../4-libgirepository-1.0-1_1.86.0-6_s390x.deb ... 193s Unpacking libgirepository-1.0-1:s390x (1.86.0-6) over (1.84.0-1) ... 193s Preparing to unpack .../5-gir1.2-girepository-2.0_1.86.0-6_s390x.deb ... 193s Unpacking gir1.2-girepository-2.0:s390x (1.86.0-6) over (1.84.0-1) ... 193s Preparing to unpack .../6-lto-disabled-list_71_all.deb ... 193s Unpacking lto-disabled-list (71) over (69) ... 193s Setting up lto-disabled-list (71) ... 193s Setting up libgirepository-1.0-1:s390x (1.86.0-6) ... 193s Setting up libapt-pkg7.0:s390x (3.1.8ubuntu1) ... 193s Setting up libpython3-stdlib:s390x (3.13.7-2) ... 193s Setting up apt (3.1.8ubuntu1) ... 193s Setting up python3 (3.13.7-2) ... 193s running python rtupdate hooks for python3.13... 193s running python post-rtupdate hooks for python3.13... 193s Setting up gir1.2-girepository-2.0:s390x (1.86.0-6) ... 193s Processing triggers for man-db (2.13.1-1) ... 195s Processing triggers for libc-bin (2.42-0ubuntu3) ... 195s autopkgtest [17:22:41]: upgrading testbed (apt dist-upgrade and autopurge) 196s Reading package lists... 196s Building dependency tree... 196s Reading state information... 196s Calculating upgrade... 196s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 197s Reading package lists... 197s Building dependency tree... 197s Reading state information... 197s Solving dependencies... 197s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 197s autopkgtest [17:22:43]: rebooting testbed after setup commands that affected boot 213s Reading package lists... 213s Building dependency tree... 213s Reading state information... 213s Solving dependencies... 213s The following NEW packages will be installed: 213s cvc5 libcln6 libcryptominisat5-5.11t64 libcvc5-1 libcvc5-dev libcvc5parser1 213s libgmp-dev libgmpxx4ldbl python3-cvc5 213s 0 upgraded, 9 newly installed, 0 to remove and 0 not upgraded. 213s Need to get 7916 kB of archives. 213s After this operation, 24.5 MB of additional disk space will be used. 213s Get:1 http://ftpmaster.internal/ubuntu resolute/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 214s Get:2 http://ftpmaster.internal/ubuntu resolute/universe s390x libcryptominisat5-5.11t64 s390x 5.11.21+dfsg1-2 [509 kB] 214s Get:3 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc5-1 s390x 1.1.2-2build1 [5661 kB] 215s Get:4 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc5parser1 s390x 1.1.2-2build1 [216 kB] 215s Get:5 http://ftpmaster.internal/ubuntu resolute/universe s390x cvc5 s390x 1.1.2-2build1 [94.4 kB] 215s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x libgmpxx4ldbl s390x 2:6.3.0+dfsg-5ubuntu1 [10.1 kB] 215s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libgmp-dev s390x 2:6.3.0+dfsg-5ubuntu1 [423 kB] 215s Get:8 http://ftpmaster.internal/ubuntu resolute/universe s390x libcvc5-dev s390x 1.1.2-2build1 [84.2 kB] 215s Get:9 http://ftpmaster.internal/ubuntu resolute/universe s390x python3-cvc5 s390x 1.1.2-2build1 [396 kB] 215s Fetched 7916 kB in 2s (4425 kB/s) 215s Selecting previously unselected package libcln6:s390x. 215s (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 ... 56852 files and directories currently installed.) 215s Preparing to unpack .../0-libcln6_1.3.7-1_s390x.deb ... 215s Unpacking libcln6:s390x (1.3.7-1) ... 215s Selecting previously unselected package libcryptominisat5-5.11t64:s390x. 215s Preparing to unpack .../1-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb ... 215s Unpacking libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-2) ... 215s Selecting previously unselected package libcvc5-1:s390x. 215s Preparing to unpack .../2-libcvc5-1_1.1.2-2build1_s390x.deb ... 215s Unpacking libcvc5-1:s390x (1.1.2-2build1) ... 215s Selecting previously unselected package libcvc5parser1:s390x. 215s Preparing to unpack .../3-libcvc5parser1_1.1.2-2build1_s390x.deb ... 215s Unpacking libcvc5parser1:s390x (1.1.2-2build1) ... 215s Selecting previously unselected package cvc5. 215s Preparing to unpack .../4-cvc5_1.1.2-2build1_s390x.deb ... 215s Unpacking cvc5 (1.1.2-2build1) ... 215s Selecting previously unselected package libgmpxx4ldbl:s390x. 215s Preparing to unpack .../5-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu1_s390x.deb ... 215s Unpacking libgmpxx4ldbl:s390x (2:6.3.0+dfsg-5ubuntu1) ... 215s Selecting previously unselected package libgmp-dev:s390x. 215s Preparing to unpack .../6-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu1_s390x.deb ... 215s Unpacking libgmp-dev:s390x (2:6.3.0+dfsg-5ubuntu1) ... 215s Selecting previously unselected package libcvc5-dev:s390x. 215s Preparing to unpack .../7-libcvc5-dev_1.1.2-2build1_s390x.deb ... 215s Unpacking libcvc5-dev:s390x (1.1.2-2build1) ... 215s Selecting previously unselected package python3-cvc5. 215s Preparing to unpack .../8-python3-cvc5_1.1.2-2build1_s390x.deb ... 215s Unpacking python3-cvc5 (1.1.2-2build1) ... 215s Setting up libcln6:s390x (1.3.7-1) ... 215s Setting up libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-2) ... 215s Setting up libgmpxx4ldbl:s390x (2:6.3.0+dfsg-5ubuntu1) ... 215s Setting up libcvc5-1:s390x (1.1.2-2build1) ... 215s Setting up libgmp-dev:s390x (2:6.3.0+dfsg-5ubuntu1) ... 215s Setting up libcvc5parser1:s390x (1.1.2-2build1) ... 215s Setting up cvc5 (1.1.2-2build1) ... 215s Setting up libcvc5-dev:s390x (1.1.2-2build1) ... 215s Setting up python3-cvc5 (1.1.2-2build1) ... 215s Processing triggers for libc-bin (2.42-0ubuntu3) ... 221s autopkgtest [17:23:07]: test simple-arith: [----------------------- 221s autopkgtest [17:23:07]: test simple-arith: -----------------------] 222s autopkgtest [17:23:08]: test simple-arith: - - - - - - - - - - results - - - - - - - - - - 222s simple-arith PASS 222s autopkgtest [17:23:08]: @@@@@@@@@@@@@@@@@@@@ summary 222s hello-world PASS (superficial) 222s print-version PASS (superficial) 222s simple-arith PASS