0s autopkgtest [12:09:45]: starting date and time: 2025-03-15 12:09:45+0000 0s autopkgtest [12:09:45]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [12:09:45]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.buyz_o81/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade z3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-s390x-22.secgroup --name adt-plucky-s390x-z3-20250315-120945-juju-7f2275-prod-proposed-migration-environment-20-c182dcc6-868b-4dd7-af3f-bf01f8e4fee9 --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-proposed-migration-s390x -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 87s autopkgtest [12:11:12]: testbed dpkg architecture: s390x 87s autopkgtest [12:11:12]: testbed apt version: 2.9.33 87s autopkgtest [12:11:12]: @@@@@@@@@@@@@@@@@@@@ test bed setup 87s autopkgtest [12:11:12]: testbed release detected to be: None 88s autopkgtest [12:11:13]: updating testbed package index (apt update) 88s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 89s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 89s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 89s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 89s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [46.2 kB] 89s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [410 kB] 89s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 89s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [80.7 kB] 89s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x c-n-f Metadata [1852 B] 89s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x c-n-f Metadata [116 B] 89s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [335 kB] 90s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x c-n-f Metadata [14.4 kB] 90s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3776 B] 90s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x c-n-f Metadata [328 B] 90s Fetched 1034 kB in 2s (651 kB/s) 90s Reading package lists... 91s Reading package lists... 91s Building dependency tree... 91s Reading state information... 91s Calculating upgrade... 91s Calculating upgrade... 91s The following packages were automatically installed and are no longer required: 91s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 91s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 91s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 91s linux-tools-6.11.0-8-generic 91s Use 'sudo apt autoremove' to remove them. 91s The following packages will be upgraded: 91s python3-jinja2 strace 92s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 92s Need to get 609 kB of archives. 92s After this operation, 27.6 kB of additional disk space will be used. 92s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x strace s390x 6.13+ds-1ubuntu1 [500 kB] 92s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 92s Fetched 609 kB in 1s (706 kB/s) 93s (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 ... 81428 files and directories currently installed.) 93s Preparing to unpack .../strace_6.13+ds-1ubuntu1_s390x.deb ... 93s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 93s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 93s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 93s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 93s Setting up strace (6.13+ds-1ubuntu1) ... 93s Processing triggers for man-db (2.13.0-1) ... 93s Reading package lists... 94s Building dependency tree... 94s Reading state information... 94s Solving dependencies... 94s The following packages will be REMOVED: 94s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 94s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 94s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 94s linux-tools-6.11.0-8-generic* 94s 0 upgraded, 0 newly installed, 9 to remove and 5 not upgraded. 94s After this operation, 167 MB disk space will be freed. 94s (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 ... 81428 files and directories currently installed.) 94s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 94s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 94s Removing libpython3.12t64:s390x (3.12.9-1) ... 94s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 94s Removing libnsl2:s390x (1.3.0-3build3) ... 94s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 94s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 94s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 95s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 95s Processing triggers for libc-bin (2.41-1ubuntu1) ... 95s (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 ... 56328 files and directories currently installed.) 95s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 95s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 95s autopkgtest [12:11:20]: upgrading testbed (apt dist-upgrade and autopurge) 95s Reading package lists... 96s Building dependency tree... 96s Reading state information... 96s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 96s Starting 2 pkgProblemResolver with broken count: 0 96s Done 96s Entering ResolveByKeep 96s 96s Calculating upgrade... 96s The following packages will be upgraded: 96s libc-bin libc-dev-bin libc6 libc6-dev locales 96s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 96s Need to get 9512 kB of archives. 96s After this operation, 8192 B of additional disk space will be used. 96s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu2 [1678 kB] 98s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu2 [24.3 kB] 98s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu2 [2892 kB] 102s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu2 [671 kB] 102s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu2 [4246 kB] 108s Preconfiguring packages ... 108s Fetched 9512 kB in 11s (857 kB/s) 108s (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 ... 56326 files and directories currently installed.) 108s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_s390x.deb ... 108s Unpacking libc6-dev:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 108s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_s390x.deb ... 108s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 108s Preparing to unpack .../libc6_2.41-1ubuntu2_s390x.deb ... 108s Unpacking libc6:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 108s Setting up libc6:s390x (2.41-1ubuntu2) ... 108s (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 ... 56326 files and directories currently installed.) 108s Preparing to unpack .../libc-bin_2.41-1ubuntu2_s390x.deb ... 108s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 108s Setting up libc-bin (2.41-1ubuntu2) ... 108s (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 ... 56326 files and directories currently installed.) 108s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 108s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 108s Setting up locales (2.41-1ubuntu2) ... 109s Generating locales (this might take a while)... 109s en_US.UTF-8... done 109s Generation complete. 109s Setting up libc-dev-bin (2.41-1ubuntu2) ... 109s Setting up libc6-dev:s390x (2.41-1ubuntu2) ... 109s Processing triggers for man-db (2.13.0-1) ... 110s Processing triggers for systemd (257.3-1ubuntu3) ... 111s Reading package lists... 111s Building dependency tree... 111s Reading state information... 111s Starting pkgProblemResolver with broken count: 0 111s Starting 2 pkgProblemResolver with broken count: 0 111s Done 111s Solving dependencies... 112s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 112s autopkgtest [12:11:37]: rebooting testbed after setup commands that affected boot 129s autopkgtest [12:11:54]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP Wed Mar 12 14:53:49 UTC 2025 132s autopkgtest [12:11:57]: @@@@@@@@@@@@@@@@@@@@ apt-source z3 142s Get:1 http://ftpmaster.internal/ubuntu plucky/universe z3 4.13.3-1 (dsc) [2704 B] 142s Get:2 http://ftpmaster.internal/ubuntu plucky/universe z3 4.13.3-1 (tar) [5584 kB] 142s Get:3 http://ftpmaster.internal/ubuntu plucky/universe z3 4.13.3-1 (diff) [10.7 kB] 142s gpgv: Signature made Tue Nov 5 07:31:05 2024 UTC 142s gpgv: using RSA key B60DB5994D39BEC4D1A95CCF7E6528DA752F1BE1 142s gpgv: Can't check signature: No public key 142s dpkg-source: warning: cannot verify inline signature for ./z3_4.13.3-1.dsc: no acceptable signature found 142s autopkgtest [12:12:07]: testing package z3 version 4.13.3-1 143s autopkgtest [12:12:08]: build not needed 145s autopkgtest [12:12:10]: test import-z3-test: preparing testbed 145s Reading package lists... 146s Building dependency tree... 146s Reading state information... 146s Starting pkgProblemResolver with broken count: 0 146s Starting 2 pkgProblemResolver with broken count: 0 146s Done 146s The following NEW packages will be installed: 146s build-essential cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu g++ 146s g++-14 g++-14-s390x-linux-gnu g++-s390x-linux-gnu gcc gcc-14 146s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0 libgcc-14-dev 146s libgomp1 libisl23 libitm1 libmpc3 libpkgconf3 libstdc++-14-dev libubsan1 146s libz3-4 libz3-dev pkg-config pkgconf pkgconf-bin python3-z3 z3 146s 0 upgraded, 30 newly installed, 0 to remove and 0 not upgraded. 146s Need to get 64.0 MB of archives. 146s After this operation, 197 MB of additional disk space will be used. 146s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 147s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 147s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 158s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 158s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 158s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 158s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250222-0ubuntu1 [49.2 kB] 158s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250222-0ubuntu1 [152 kB] 158s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250222-0ubuntu1 [31.2 kB] 158s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250222-0ubuntu1 [2970 kB] 162s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250222-0ubuntu1 [1212 kB] 163s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 164s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 181s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 181s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 181s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 181s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libstdc++-14-dev s390x 14.2.0-17ubuntu3 [2611 kB] 183s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x g++-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [11.0 MB] 192s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x g++-14 s390x 14.2.0-17ubuntu3 [21.8 kB] 192s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x g++-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [956 B] 192s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x g++ s390x 4:14.2.0-1ubuntu1 [1080 B] 192s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x build-essential s390x 12.10ubuntu1 [4930 B] 192s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libpkgconf3 s390x 1.8.1-4 [31.2 kB] 192s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x pkgconf-bin s390x 1.8.1-4 [21.5 kB] 192s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x pkgconf s390x 1.8.1-4 [16.7 kB] 192s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x pkg-config s390x 1.8.1-4 [7362 B] 192s Get:27 http://ftpmaster.internal/ubuntu plucky/universe s390x libz3-4 s390x 4.13.3-1 [7466 kB] 198s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x libz3-dev s390x 4.13.3-1 [80.1 kB] 198s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x python3-z3 s390x 4.13.3-1 [85.0 kB] 198s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x z3 s390x 4.13.3-1 [7564 kB] 205s Fetched 64.0 MB in 59s (1092 kB/s) 205s Selecting previously unselected package libisl23:s390x. 205s (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 ... 56326 files and directories currently installed.) 205s Preparing to unpack .../00-libisl23_0.27-1_s390x.deb ... 205s Unpacking libisl23:s390x (0.27-1) ... 205s Selecting previously unselected package libmpc3:s390x. 205s Preparing to unpack .../01-libmpc3_1.3.1-1build2_s390x.deb ... 205s Unpacking libmpc3:s390x (1.3.1-1build2) ... 205s Selecting previously unselected package cpp-14-s390x-linux-gnu. 205s Preparing to unpack .../02-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 205s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 205s Selecting previously unselected package cpp-14. 205s Preparing to unpack .../03-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 205s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 205s Selecting previously unselected package cpp-s390x-linux-gnu. 205s Preparing to unpack .../04-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 205s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 205s Selecting previously unselected package cpp. 205s Preparing to unpack .../05-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 205s Unpacking cpp (4:14.2.0-1ubuntu1) ... 205s Selecting previously unselected package libcc1-0:s390x. 205s Preparing to unpack .../06-libcc1-0_15-20250222-0ubuntu1_s390x.deb ... 205s Unpacking libcc1-0:s390x (15-20250222-0ubuntu1) ... 205s Selecting previously unselected package libgomp1:s390x. 205s Preparing to unpack .../07-libgomp1_15-20250222-0ubuntu1_s390x.deb ... 205s Unpacking libgomp1:s390x (15-20250222-0ubuntu1) ... 205s Selecting previously unselected package libitm1:s390x. 205s Preparing to unpack .../08-libitm1_15-20250222-0ubuntu1_s390x.deb ... 205s Unpacking libitm1:s390x (15-20250222-0ubuntu1) ... 205s Selecting previously unselected package libasan8:s390x. 205s Preparing to unpack .../09-libasan8_15-20250222-0ubuntu1_s390x.deb ... 205s Unpacking libasan8:s390x (15-20250222-0ubuntu1) ... 205s Selecting previously unselected package libubsan1:s390x. 205s Preparing to unpack .../10-libubsan1_15-20250222-0ubuntu1_s390x.deb ... 205s Unpacking libubsan1:s390x (15-20250222-0ubuntu1) ... 205s Selecting previously unselected package libgcc-14-dev:s390x. 205s Preparing to unpack .../11-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 205s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 205s Selecting previously unselected package gcc-14-s390x-linux-gnu. 205s Preparing to unpack .../12-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 205s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 205s Selecting previously unselected package gcc-14. 205s Preparing to unpack .../13-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 205s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 206s Selecting previously unselected package gcc-s390x-linux-gnu. 206s Preparing to unpack .../14-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 206s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 206s Selecting previously unselected package gcc. 206s Preparing to unpack .../15-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 206s Unpacking gcc (4:14.2.0-1ubuntu1) ... 206s Selecting previously unselected package libstdc++-14-dev:s390x. 206s Preparing to unpack .../16-libstdc++-14-dev_14.2.0-17ubuntu3_s390x.deb ... 206s Unpacking libstdc++-14-dev:s390x (14.2.0-17ubuntu3) ... 206s Selecting previously unselected package g++-14-s390x-linux-gnu. 206s Preparing to unpack .../17-g++-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 206s Unpacking g++-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 206s Selecting previously unselected package g++-14. 206s Preparing to unpack .../18-g++-14_14.2.0-17ubuntu3_s390x.deb ... 206s Unpacking g++-14 (14.2.0-17ubuntu3) ... 206s Selecting previously unselected package g++-s390x-linux-gnu. 206s Preparing to unpack .../19-g++-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 206s Unpacking g++-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 206s Selecting previously unselected package g++. 206s Preparing to unpack .../20-g++_4%3a14.2.0-1ubuntu1_s390x.deb ... 206s Unpacking g++ (4:14.2.0-1ubuntu1) ... 206s Selecting previously unselected package build-essential. 206s Preparing to unpack .../21-build-essential_12.10ubuntu1_s390x.deb ... 206s Unpacking build-essential (12.10ubuntu1) ... 206s Selecting previously unselected package libpkgconf3:s390x. 206s Preparing to unpack .../22-libpkgconf3_1.8.1-4_s390x.deb ... 206s Unpacking libpkgconf3:s390x (1.8.1-4) ... 206s Selecting previously unselected package pkgconf-bin. 206s Preparing to unpack .../23-pkgconf-bin_1.8.1-4_s390x.deb ... 206s Unpacking pkgconf-bin (1.8.1-4) ... 206s Selecting previously unselected package pkgconf:s390x. 206s Preparing to unpack .../24-pkgconf_1.8.1-4_s390x.deb ... 206s Unpacking pkgconf:s390x (1.8.1-4) ... 206s Selecting previously unselected package pkg-config:s390x. 206s Preparing to unpack .../25-pkg-config_1.8.1-4_s390x.deb ... 206s Unpacking pkg-config:s390x (1.8.1-4) ... 206s Selecting previously unselected package libz3-4:s390x. 206s Preparing to unpack .../26-libz3-4_4.13.3-1_s390x.deb ... 206s Unpacking libz3-4:s390x (4.13.3-1) ... 206s Selecting previously unselected package libz3-dev:s390x. 206s Preparing to unpack .../27-libz3-dev_4.13.3-1_s390x.deb ... 206s Unpacking libz3-dev:s390x (4.13.3-1) ... 206s Selecting previously unselected package python3-z3. 206s Preparing to unpack .../28-python3-z3_4.13.3-1_s390x.deb ... 206s Unpacking python3-z3 (4.13.3-1) ... 206s Selecting previously unselected package z3. 206s Preparing to unpack .../29-z3_4.13.3-1_s390x.deb ... 206s Unpacking z3 (4.13.3-1) ... 206s Setting up libgomp1:s390x (15-20250222-0ubuntu1) ... 206s Setting up z3 (4.13.3-1) ... 206s Setting up libz3-4:s390x (4.13.3-1) ... 206s Setting up libpkgconf3:s390x (1.8.1-4) ... 206s Setting up libmpc3:s390x (1.3.1-1build2) ... 206s Setting up pkgconf-bin (1.8.1-4) ... 206s Setting up libubsan1:s390x (15-20250222-0ubuntu1) ... 206s Setting up libasan8:s390x (15-20250222-0ubuntu1) ... 206s Setting up libisl23:s390x (0.27-1) ... 206s Setting up libcc1-0:s390x (15-20250222-0ubuntu1) ... 206s Setting up libitm1:s390x (15-20250222-0ubuntu1) ... 206s Setting up libz3-dev:s390x (4.13.3-1) ... 206s Setting up pkgconf:s390x (1.8.1-4) ... 206s Setting up pkg-config:s390x (1.8.1-4) ... 206s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 206s Setting up cpp-14 (14.2.0-17ubuntu3) ... 206s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 206s Setting up libstdc++-14-dev:s390x (14.2.0-17ubuntu3) ... 206s Setting up python3-z3 (4.13.3-1) ... 206s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 206s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 206s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 206s Setting up g++-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 206s Setting up cpp (4:14.2.0-1ubuntu1) ... 206s Setting up g++-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 206s Setting up gcc-14 (14.2.0-17ubuntu3) ... 206s Setting up g++-14 (14.2.0-17ubuntu3) ... 206s Setting up gcc (4:14.2.0-1ubuntu1) ... 206s Setting up g++ (4:14.2.0-1ubuntu1) ... 206s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 206s Setting up build-essential (12.10ubuntu1) ... 206s Processing triggers for man-db (2.13.0-1) ... 207s Processing triggers for libc-bin (2.41-1ubuntu2) ... 208s autopkgtest [12:13:13]: test import-z3-test: [----------------------- 209s autopkgtest [12:13:14]: test import-z3-test: -----------------------] 209s import-z3-test PASS (superficial) 209s autopkgtest [12:13:14]: test import-z3-test: - - - - - - - - - - results - - - - - - - - - - 210s autopkgtest [12:13:15]: test include-z3-test: preparing testbed 210s Reading package lists... 210s Building dependency tree... 210s Reading state information... 210s Starting pkgProblemResolver with broken count: 0 210s Starting 2 pkgProblemResolver with broken count: 0 210s Done 210s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 211s autopkgtest [12:13:16]: test include-z3-test: [----------------------- 212s autopkgtest [12:13:17]: test include-z3-test: -----------------------] 213s include-z3-test PASS (superficial) 213s autopkgtest [12:13:18]: test include-z3-test: - - - - - - - - - - results - - - - - - - - - - 213s autopkgtest [12:13:18]: test run-z3-test: preparing testbed 213s Reading package lists... 214s Building dependency tree... 214s Reading state information... 214s Starting pkgProblemResolver with broken count: 0 214s Starting 2 pkgProblemResolver with broken count: 0 214s Done 214s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 215s autopkgtest [12:13:20]: test run-z3-test: [----------------------- 215s autopkgtest [12:13:20]: test run-z3-test: -----------------------] 216s autopkgtest [12:13:21]: test run-z3-test: - - - - - - - - - - results - - - - - - - - - - 216s run-z3-test PASS (superficial) 216s autopkgtest [12:13:21]: test pkg-config-test: preparing testbed 216s Reading package lists... 217s Building dependency tree... 217s Reading state information... 217s Starting pkgProblemResolver with broken count: 0 217s Starting 2 pkgProblemResolver with broken count: 0 217s Done 217s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 218s autopkgtest [12:13:23]: test pkg-config-test: [----------------------- 219s autopkgtest [12:13:24]: test pkg-config-test: -----------------------] 219s autopkgtest [12:13:24]: test pkg-config-test: - - - - - - - - - - results - - - - - - - - - - 219s pkg-config-test PASS (superficial) 219s autopkgtest [12:13:24]: test z3-int-logic-test: preparing testbed 354s autopkgtest [12:15:39]: testbed dpkg architecture: s390x 354s autopkgtest [12:15:39]: testbed apt version: 2.9.33 354s autopkgtest [12:15:39]: @@@@@@@@@@@@@@@@@@@@ test bed setup 354s autopkgtest [12:15:39]: testbed release detected to be: plucky 355s autopkgtest [12:15:40]: updating testbed package index (apt update) 355s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 356s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 356s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 356s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 356s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 356s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [46.2 kB] 356s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [410 kB] 356s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [80.7 kB] 357s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x c-n-f Metadata [1852 B] 357s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x c-n-f Metadata [116 B] 357s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [335 kB] 357s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x c-n-f Metadata [14.4 kB] 357s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3776 B] 357s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x c-n-f Metadata [328 B] 357s Fetched 1034 kB in 2s (587 kB/s) 358s Reading package lists... 358s Reading package lists... 358s Building dependency tree... 358s Reading state information... 358s Calculating upgrade... 359s Calculating upgrade... 359s The following packages were automatically installed and are no longer required: 359s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 359s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 359s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 359s linux-tools-6.11.0-8-generic 359s Use 'sudo apt autoremove' to remove them. 359s The following packages will be upgraded: 359s python3-jinja2 strace 359s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 359s Need to get 609 kB of archives. 359s After this operation, 27.6 kB of additional disk space will be used. 359s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x strace s390x 6.13+ds-1ubuntu1 [500 kB] 360s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 360s Fetched 609 kB in 1s (624 kB/s) 360s (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 ... 81428 files and directories currently installed.) 360s Preparing to unpack .../strace_6.13+ds-1ubuntu1_s390x.deb ... 360s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 360s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 360s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 360s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 360s Setting up strace (6.13+ds-1ubuntu1) ... 360s Processing triggers for man-db (2.13.0-1) ... 361s Reading package lists... 361s Building dependency tree... 361s Reading state information... 361s Solving dependencies... 361s The following packages will be REMOVED: 361s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 361s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 361s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 361s linux-tools-6.11.0-8-generic* 361s 0 upgraded, 0 newly installed, 9 to remove and 5 not upgraded. 361s After this operation, 167 MB disk space will be freed. 361s (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 ... 81428 files and directories currently installed.) 361s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 361s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 361s Removing libpython3.12t64:s390x (3.12.9-1) ... 361s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 361s Removing libnsl2:s390x (1.3.0-3build3) ... 361s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 361s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 361s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 362s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 362s Processing triggers for libc-bin (2.41-1ubuntu1) ... 362s (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 ... 56328 files and directories currently installed.) 362s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 362s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 362s autopkgtest [12:15:47]: upgrading testbed (apt dist-upgrade and autopurge) 363s Reading package lists... 363s Building dependency tree... 363s Reading state information... 363s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 363s Starting 2 pkgProblemResolver with broken count: 0 363s Done 363s Entering ResolveByKeep 363s 363s Calculating upgrade... 363s The following packages will be upgraded: 363s libc-bin libc-dev-bin libc6 libc6-dev locales 363s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 363s Need to get 9512 kB of archives. 363s After this operation, 8192 B of additional disk space will be used. 363s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu2 [1678 kB] 365s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu2 [24.3 kB] 365s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu2 [2892 kB] 368s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu2 [671 kB] 369s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu2 [4246 kB] 374s Preconfiguring packages ... 374s Fetched 9512 kB in 10s (944 kB/s) 374s (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 ... 56326 files and directories currently installed.) 374s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_s390x.deb ... 374s Unpacking libc6-dev:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 374s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_s390x.deb ... 374s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 374s Preparing to unpack .../libc6_2.41-1ubuntu2_s390x.deb ... 374s Unpacking libc6:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 374s Setting up libc6:s390x (2.41-1ubuntu2) ... 374s (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 ... 56326 files and directories currently installed.) 374s Preparing to unpack .../libc-bin_2.41-1ubuntu2_s390x.deb ... 374s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 374s Setting up libc-bin (2.41-1ubuntu2) ... 374s (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 ... 56326 files and directories currently installed.) 374s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 374s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 374s Setting up locales (2.41-1ubuntu2) ... 374s Generating locales (this might take a while)... 375s en_US.UTF-8... done 375s Generation complete. 375s Setting up libc-dev-bin (2.41-1ubuntu2) ... 375s Setting up libc6-dev:s390x (2.41-1ubuntu2) ... 375s Processing triggers for man-db (2.13.0-1) ... 376s Processing triggers for systemd (257.3-1ubuntu3) ... 377s Reading package lists... 377s Building dependency tree... 377s Reading state information... 377s Starting pkgProblemResolver with broken count: 0 377s Starting 2 pkgProblemResolver with broken count: 0 377s Done 377s Solving dependencies... 377s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 377s autopkgtest [12:16:02]: rebooting testbed after setup commands that affected boot 399s Reading package lists... 400s Building dependency tree... 400s Reading state information... 400s Starting pkgProblemResolver with broken count: 0 400s Starting 2 pkgProblemResolver with broken count: 0 400s Done 400s The following NEW packages will be installed: 400s build-essential cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu g++ 400s g++-14 g++-14-s390x-linux-gnu g++-s390x-linux-gnu gcc gcc-14 400s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0 libgcc-14-dev 400s libgomp1 libisl23 libitm1 libmpc3 libstdc++-14-dev libubsan1 libz3-4 400s libz3-dev python3-z3 z3 400s 0 upgraded, 26 newly installed, 0 to remove and 0 not upgraded. 400s Need to get 63.9 MB of archives. 400s After this operation, 197 MB of additional disk space will be used. 400s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 401s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 401s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 409s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 409s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 409s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 409s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250222-0ubuntu1 [49.2 kB] 409s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250222-0ubuntu1 [152 kB] 409s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250222-0ubuntu1 [31.2 kB] 409s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250222-0ubuntu1 [2970 kB] 411s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250222-0ubuntu1 [1212 kB] 412s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 413s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 427s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 428s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 428s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 428s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libstdc++-14-dev s390x 14.2.0-17ubuntu3 [2611 kB] 430s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x g++-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [11.0 MB] 442s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x g++-14 s390x 14.2.0-17ubuntu3 [21.8 kB] 442s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x g++-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [956 B] 442s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x g++ s390x 4:14.2.0-1ubuntu1 [1080 B] 442s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x build-essential s390x 12.10ubuntu1 [4930 B] 442s Get:23 http://ftpmaster.internal/ubuntu plucky/universe s390x libz3-4 s390x 4.13.3-1 [7466 kB] 449s Get:24 http://ftpmaster.internal/ubuntu plucky/universe s390x libz3-dev s390x 4.13.3-1 [80.1 kB] 449s Get:25 http://ftpmaster.internal/ubuntu plucky/universe s390x python3-z3 s390x 4.13.3-1 [85.0 kB] 449s Get:26 http://ftpmaster.internal/ubuntu plucky/universe s390x z3 s390x 4.13.3-1 [7564 kB] 457s Fetched 63.9 MB in 57s (1115 kB/s) 457s Selecting previously unselected package libisl23:s390x. 458s (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 ... 56326 files and directories currently installed.) 458s Preparing to unpack .../00-libisl23_0.27-1_s390x.deb ... 458s Unpacking libisl23:s390x (0.27-1) ... 458s Selecting previously unselected package libmpc3:s390x. 458s Preparing to unpack .../01-libmpc3_1.3.1-1build2_s390x.deb ... 458s Unpacking libmpc3:s390x (1.3.1-1build2) ... 458s Selecting previously unselected package cpp-14-s390x-linux-gnu. 458s Preparing to unpack .../02-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 458s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 458s Selecting previously unselected package cpp-14. 458s Preparing to unpack .../03-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 458s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 458s Selecting previously unselected package cpp-s390x-linux-gnu. 458s Preparing to unpack .../04-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 458s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 458s Selecting previously unselected package cpp. 458s Preparing to unpack .../05-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 458s Unpacking cpp (4:14.2.0-1ubuntu1) ... 458s Selecting previously unselected package libcc1-0:s390x. 458s Preparing to unpack .../06-libcc1-0_15-20250222-0ubuntu1_s390x.deb ... 458s Unpacking libcc1-0:s390x (15-20250222-0ubuntu1) ... 458s Selecting previously unselected package libgomp1:s390x. 458s Preparing to unpack .../07-libgomp1_15-20250222-0ubuntu1_s390x.deb ... 458s Unpacking libgomp1:s390x (15-20250222-0ubuntu1) ... 458s Selecting previously unselected package libitm1:s390x. 458s Preparing to unpack .../08-libitm1_15-20250222-0ubuntu1_s390x.deb ... 458s Unpacking libitm1:s390x (15-20250222-0ubuntu1) ... 458s Selecting previously unselected package libasan8:s390x. 458s Preparing to unpack .../09-libasan8_15-20250222-0ubuntu1_s390x.deb ... 458s Unpacking libasan8:s390x (15-20250222-0ubuntu1) ... 458s Selecting previously unselected package libubsan1:s390x. 458s Preparing to unpack .../10-libubsan1_15-20250222-0ubuntu1_s390x.deb ... 458s Unpacking libubsan1:s390x (15-20250222-0ubuntu1) ... 458s Selecting previously unselected package libgcc-14-dev:s390x. 458s Preparing to unpack .../11-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 458s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 458s Selecting previously unselected package gcc-14-s390x-linux-gnu. 458s Preparing to unpack .../12-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 458s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 458s Selecting previously unselected package gcc-14. 458s Preparing to unpack .../13-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 458s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 458s Selecting previously unselected package gcc-s390x-linux-gnu. 458s Preparing to unpack .../14-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 458s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 458s Selecting previously unselected package gcc. 458s Preparing to unpack .../15-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 458s Unpacking gcc (4:14.2.0-1ubuntu1) ... 458s Selecting previously unselected package libstdc++-14-dev:s390x. 458s Preparing to unpack .../16-libstdc++-14-dev_14.2.0-17ubuntu3_s390x.deb ... 458s Unpacking libstdc++-14-dev:s390x (14.2.0-17ubuntu3) ... 458s Selecting previously unselected package g++-14-s390x-linux-gnu. 458s Preparing to unpack .../17-g++-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 458s Unpacking g++-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 458s Selecting previously unselected package g++-14. 458s Preparing to unpack .../18-g++-14_14.2.0-17ubuntu3_s390x.deb ... 458s Unpacking g++-14 (14.2.0-17ubuntu3) ... 458s Selecting previously unselected package g++-s390x-linux-gnu. 458s Preparing to unpack .../19-g++-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 458s Unpacking g++-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 458s Selecting previously unselected package g++. 458s Preparing to unpack .../20-g++_4%3a14.2.0-1ubuntu1_s390x.deb ... 458s Unpacking g++ (4:14.2.0-1ubuntu1) ... 458s Selecting previously unselected package build-essential. 458s Preparing to unpack .../21-build-essential_12.10ubuntu1_s390x.deb ... 458s Unpacking build-essential (12.10ubuntu1) ... 458s Selecting previously unselected package libz3-4:s390x. 458s Preparing to unpack .../22-libz3-4_4.13.3-1_s390x.deb ... 458s Unpacking libz3-4:s390x (4.13.3-1) ... 459s Selecting previously unselected package libz3-dev:s390x. 459s Preparing to unpack .../23-libz3-dev_4.13.3-1_s390x.deb ... 459s Unpacking libz3-dev:s390x (4.13.3-1) ... 459s Selecting previously unselected package python3-z3. 459s Preparing to unpack .../24-python3-z3_4.13.3-1_s390x.deb ... 459s Unpacking python3-z3 (4.13.3-1) ... 459s Selecting previously unselected package z3. 459s Preparing to unpack .../25-z3_4.13.3-1_s390x.deb ... 459s Unpacking z3 (4.13.3-1) ... 459s Setting up libgomp1:s390x (15-20250222-0ubuntu1) ... 459s Setting up z3 (4.13.3-1) ... 459s Setting up libz3-4:s390x (4.13.3-1) ... 459s Setting up libmpc3:s390x (1.3.1-1build2) ... 459s Setting up libubsan1:s390x (15-20250222-0ubuntu1) ... 459s Setting up libasan8:s390x (15-20250222-0ubuntu1) ... 459s Setting up libisl23:s390x (0.27-1) ... 459s Setting up libcc1-0:s390x (15-20250222-0ubuntu1) ... 459s Setting up libitm1:s390x (15-20250222-0ubuntu1) ... 459s Setting up libz3-dev:s390x (4.13.3-1) ... 459s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 459s Setting up cpp-14 (14.2.0-17ubuntu3) ... 459s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 459s Setting up libstdc++-14-dev:s390x (14.2.0-17ubuntu3) ... 459s Setting up python3-z3 (4.13.3-1) ... 459s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 459s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 459s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 459s Setting up g++-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 459s Setting up cpp (4:14.2.0-1ubuntu1) ... 459s Setting up g++-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 459s Setting up gcc-14 (14.2.0-17ubuntu3) ... 459s Setting up g++-14 (14.2.0-17ubuntu3) ... 459s Setting up gcc (4:14.2.0-1ubuntu1) ... 459s Setting up g++ (4:14.2.0-1ubuntu1) ... 459s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 459s Setting up build-essential (12.10ubuntu1) ... 459s Processing triggers for man-db (2.13.0-1) ... 459s Processing triggers for libc-bin (2.41-1ubuntu2) ... 468s autopkgtest [12:17:33]: test z3-int-logic-test: [----------------------- 468s autopkgtest [12:17:33]: test z3-int-logic-test: -----------------------] 469s autopkgtest [12:17:34]: test z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 469s z3-int-logic-test PASS 469s autopkgtest [12:17:34]: test python3-z3-int-logic-test: preparing testbed 469s Reading package lists... 469s Building dependency tree... 469s Reading state information... 470s Starting pkgProblemResolver with broken count: 0 470s Starting 2 pkgProblemResolver with broken count: 0 470s Done 470s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 471s autopkgtest [12:17:36]: test python3-z3-int-logic-test: [----------------------- 471s autopkgtest [12:17:36]: test python3-z3-int-logic-test: -----------------------] 472s python3-z3-int-logic-test PASS 472s autopkgtest [12:17:37]: test python3-z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 472s autopkgtest [12:17:37]: @@@@@@@@@@@@@@@@@@@@ summary 472s import-z3-test PASS (superficial) 472s include-z3-test PASS (superficial) 472s run-z3-test PASS (superficial) 472s pkg-config-test PASS (superficial) 472s z3-int-logic-test PASS 472s python3-z3-int-logic-test PASS 490s nova [W] Using flock in prodstack6-s390x 490s Creating nova instance adt-plucky-s390x-z3-20250315-120945-juju-7f2275-prod-proposed-migration-environment-20-c182dcc6-868b-4dd7-af3f-bf01f8e4fee9 from image adt/ubuntu-plucky-s390x-server-20250315.img (UUID 3d3557fa-fd0f-4bba-9b89-8d5964e09f61)... 490s nova [W] Timed out waiting for 1e424094-8675-4946-b1f2-10d628735611 to get deleted. 490s nova [W] Using flock in prodstack6-s390x 490s Creating nova instance adt-plucky-s390x-z3-20250315-120945-juju-7f2275-prod-proposed-migration-environment-20-c182dcc6-868b-4dd7-af3f-bf01f8e4fee9 from image adt/ubuntu-plucky-s390x-server-20250315.img (UUID 3d3557fa-fd0f-4bba-9b89-8d5964e09f61)... 490s nova [W] Timed out waiting for 7a915c57-6d72-49fd-a616-daadbab66ed4 to get deleted.