0s autopkgtest [09:54:30]: starting date and time: 2024-10-30 09:54:30+0000
  0s autopkgtest [09:54:30]: git checkout: 6f3be7a8 Fix armhf LXD image generation for plucky
  0s autopkgtest [09:54:30]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.rfoeql5n/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:setuptools --apt-upgrade z3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=setuptools/75.2.0-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-arm64-42.secgroup --name adt-plucky-arm64-z3-20241030-095430-juju-7f2275-prod-proposed-migration-environment-15-788e2c19-01bc-49a5-84fb-b611b4c44eff --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration -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'"'"'' --mirror=http://ftpmaster.internal/ubuntu/
 89s autopkgtest [09:55:59]: testbed dpkg architecture: arm64
 90s autopkgtest [09:56:00]: testbed apt version: 2.9.8
 90s autopkgtest [09:56:00]: @@@@@@@@@@@@@@@@@@@@ test bed setup
 91s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB]
 91s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [2840 B]
 91s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [212 kB]
 91s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [28.1 kB]
 91s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B]
 91s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [59.3 kB]
 91s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [50.3 kB]
 91s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [249 kB]
 91s Fetched 682 kB in 1s (1006 kB/s)
 91s Reading package lists...
 94s Reading package lists...
 94s Building dependency tree...
 94s Reading state information...
 95s Calculating upgrade...
 96s The following NEW packages will be installed:
 96s   python3-jaraco.text
 96s The following packages will be upgraded:
 96s   libkeyutils1 python3-pkg-resources python3-setuptools
 96s 3 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
 96s Need to get 812 kB of archives.
 96s After this operation, 13.3 kB of additional disk space will be used.
 96s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libkeyutils1 arm64 1.6.3-4ubuntu2 [10.2 kB]
 96s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jaraco.text all 4.0.0-1 [11.5 kB]
 96s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 python3-pkg-resources all 75.2.0-1 [134 kB]
 96s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 python3-setuptools all 75.2.0-1 [657 kB]
 97s Fetched 812 kB in 1s (1484 kB/s)
 97s (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 ... 79697 files and directories currently installed.)
 97s Preparing to unpack .../libkeyutils1_1.6.3-4ubuntu2_arm64.deb ...
 97s Unpacking libkeyutils1:arm64 (1.6.3-4ubuntu2) over (1.6.3-3build1) ...
 97s Selecting previously unselected package python3-jaraco.text.
 97s Preparing to unpack .../python3-jaraco.text_4.0.0-1_all.deb ...
 97s Unpacking python3-jaraco.text (4.0.0-1) ...
 97s Preparing to unpack .../python3-pkg-resources_75.2.0-1_all.deb ...
 97s Unpacking python3-pkg-resources (75.2.0-1) over (74.1.2-1) ...
 97s Preparing to unpack .../python3-setuptools_75.2.0-1_all.deb ...
 97s Unpacking python3-setuptools (75.2.0-1) over (74.1.2-1) ...
 97s Setting up python3-pkg-resources (75.2.0-1) ...
 98s Setting up libkeyutils1:arm64 (1.6.3-4ubuntu2) ...
 98s Setting up python3-jaraco.text (4.0.0-1) ...
 98s Setting up python3-setuptools (75.2.0-1) ...
 99s Processing triggers for libc-bin (2.40-1ubuntu3) ...
 99s Reading package lists...
 99s Building dependency tree...
 99s Reading state information...
100s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
100s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease
100s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
100s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
100s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
101s Reading package lists...
101s Reading package lists...
101s Building dependency tree...
101s Reading state information...
102s Calculating upgrade...
102s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
102s Reading package lists...
103s Building dependency tree...
103s Reading state information...
103s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
106s autopkgtest [09:56:16]: testbed running kernel: Linux 6.11.0-8-generic #8-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 16 14:19:41 UTC 2024
106s autopkgtest [09:56:16]: @@@@@@@@@@@@@@@@@@@@ apt-source z3
110s Get:1 http://ftpmaster.internal/ubuntu plucky/universe z3 4.8.12-3.1build1 (dsc) [2770 B]
111s Get:2 http://ftpmaster.internal/ubuntu plucky/universe z3 4.8.12-3.1build1 (tar) [4803 kB]
111s Get:3 http://ftpmaster.internal/ubuntu plucky/universe z3 4.8.12-3.1build1 (diff) [10.5 kB]
111s gpgv: Signature made Mon Apr 22 09:53:16 2024 UTC
111s gpgv:                using RSA key 4FB588A84C2DDE79A74C77876FA458DD1DB03F71
111s gpgv:                issuer "juliank@ubuntu.com"
111s gpgv: Can't check signature: No public key
111s dpkg-source: warning: cannot verify inline signature for ./z3_4.8.12-3.1build1.dsc: no acceptable signature found
111s autopkgtest [09:56:21]: testing package z3 version 4.8.12-3.1build1
111s autopkgtest [09:56:21]: build not needed
113s autopkgtest [09:56:23]: test import-z3-test: preparing testbed
121s Reading package lists...
121s Building dependency tree...
121s Reading state information...
121s Starting pkgProblemResolver with broken count: 0
122s Starting 2 pkgProblemResolver with broken count: 0
122s Done
122s The following additional packages will be installed:
122s   build-essential cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu
122s   g++ g++-14 g++-14-aarch64-linux-gnu g++-aarch64-linux-gnu gcc gcc-14
122s   gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0
122s   libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3
122s   libpkgconf3 libstdc++-14-dev libtsan2 libubsan1 libz3-4 libz3-dev pkg-config
122s   pkgconf pkgconf-bin python3-z3 z3
122s Suggested packages:
122s   cpp-doc gcc-14-locales cpp-14-doc gcc-14-doc gcc-multilib manpages-dev
122s   autoconf automake libtool flex bison gdb gcc-doc gdb-aarch64-linux-gnu
122s   libstdc++-14-doc
122s The following NEW packages will be installed:
122s   autopkgtest-satdep build-essential cpp cpp-14 cpp-14-aarch64-linux-gnu
122s   cpp-aarch64-linux-gnu g++ g++-14 g++-14-aarch64-linux-gnu
122s   g++-aarch64-linux-gnu gcc gcc-14 gcc-14-aarch64-linux-gnu
122s   gcc-aarch64-linux-gnu libasan8 libcc1-0 libgcc-14-dev libgomp1 libhwasan0
122s   libisl23 libitm1 liblsan0 libmpc3 libpkgconf3 libstdc++-14-dev libtsan2
122s   libubsan1 libz3-4 libz3-dev pkg-config pkgconf pkgconf-bin python3-z3 z3
122s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded.
122s Need to get 71.1 MB/71.1 MB of archives.
122s After this operation, 238 MB of additional disk space will be used.
122s Get:1 /tmp/autopkgtest.arEX64/1-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [740 B]
122s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB]
123s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB]
123s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-7ubuntu1 [10.6 MB]
123s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-7ubuntu1 [1030 B]
123s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [5452 B]
123s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.1.0-2ubuntu1 [22.5 kB]
123s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 14.2.0-7ubuntu1 [49.7 kB]
123s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 14.2.0-7ubuntu1 [145 kB]
123s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 14.2.0-7ubuntu1 [27.8 kB]
123s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 14.2.0-7ubuntu1 [2893 kB]
123s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 14.2.0-7ubuntu1 [1283 kB]
123s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 14.2.0-7ubuntu1 [2691 kB]
123s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 14.2.0-7ubuntu1 [1151 kB]
123s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 14.2.0-7ubuntu1 [1599 kB]
123s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-7ubuntu1 [2594 kB]
124s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-7ubuntu1 [20.9 MB]
124s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-7ubuntu1 [515 kB]
124s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [1200 B]
124s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.1.0-2ubuntu1 [4994 B]
124s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libstdc++-14-dev arm64 14.2.0-7ubuntu1 [2474 kB]
124s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14-aarch64-linux-gnu arm64 14.2.0-7ubuntu1 [12.1 MB]
124s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14 arm64 14.2.0-7ubuntu1 [19.8 kB]
124s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [958 B]
124s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 g++ arm64 4:14.1.0-2ubuntu1 [1080 B]
124s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 build-essential arm64 12.10ubuntu1 [4932 B]
124s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 libpkgconf3 arm64 1.8.1-3ubuntu1 [31.5 kB]
124s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 pkgconf-bin arm64 1.8.1-3ubuntu1 [20.9 kB]
124s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 pkgconf arm64 1.8.1-3ubuntu1 [16.8 kB]
124s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 pkg-config arm64 1.8.1-3ubuntu1 [7402 B]
124s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 libz3-4 arm64 4.8.12-3.1build1 [5492 kB]
125s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 libz3-dev arm64 4.8.12-3.1build1 [72.2 kB]
126s Get:33 http://ftpmaster.internal/ubuntu plucky/universe arm64 python3-z3 arm64 4.8.12-3.1build1 [79.7 kB]
126s Get:34 http://ftpmaster.internal/ubuntu plucky/universe arm64 z3 arm64 4.8.12-3.1build1 [5573 kB]
126s Fetched 71.1 MB in 3s (27.7 MB/s)
126s Selecting previously unselected package libisl23:arm64.
126s (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 ... 79706 files and directories currently installed.)
126s Preparing to unpack .../00-libisl23_0.27-1_arm64.deb ...
126s Unpacking libisl23:arm64 (0.27-1) ...
126s Selecting previously unselected package libmpc3:arm64.
126s Preparing to unpack .../01-libmpc3_1.3.1-1build2_arm64.deb ...
126s Unpacking libmpc3:arm64 (1.3.1-1build2) ...
126s Selecting previously unselected package cpp-14-aarch64-linux-gnu.
126s Preparing to unpack .../02-cpp-14-aarch64-linux-gnu_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package cpp-14.
126s Preparing to unpack .../03-cpp-14_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking cpp-14 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package cpp-aarch64-linux-gnu.
126s Preparing to unpack .../04-cpp-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ...
126s Unpacking cpp-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
126s Selecting previously unselected package cpp.
126s Preparing to unpack .../05-cpp_4%3a14.1.0-2ubuntu1_arm64.deb ...
126s Unpacking cpp (4:14.1.0-2ubuntu1) ...
126s Selecting previously unselected package libcc1-0:arm64.
126s Preparing to unpack .../06-libcc1-0_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking libcc1-0:arm64 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package libgomp1:arm64.
126s Preparing to unpack .../07-libgomp1_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking libgomp1:arm64 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package libitm1:arm64.
126s Preparing to unpack .../08-libitm1_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking libitm1:arm64 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package libasan8:arm64.
126s Preparing to unpack .../09-libasan8_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking libasan8:arm64 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package liblsan0:arm64.
126s Preparing to unpack .../10-liblsan0_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking liblsan0:arm64 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package libtsan2:arm64.
126s Preparing to unpack .../11-libtsan2_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking libtsan2:arm64 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package libubsan1:arm64.
126s Preparing to unpack .../12-libubsan1_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking libubsan1:arm64 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package libhwasan0:arm64.
126s Preparing to unpack .../13-libhwasan0_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking libhwasan0:arm64 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package libgcc-14-dev:arm64.
126s Preparing to unpack .../14-libgcc-14-dev_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking libgcc-14-dev:arm64 (14.2.0-7ubuntu1) ...
126s Selecting previously unselected package gcc-14-aarch64-linux-gnu.
126s Preparing to unpack .../15-gcc-14-aarch64-linux-gnu_14.2.0-7ubuntu1_arm64.deb ...
126s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
127s Selecting previously unselected package gcc-14.
127s Preparing to unpack .../16-gcc-14_14.2.0-7ubuntu1_arm64.deb ...
127s Unpacking gcc-14 (14.2.0-7ubuntu1) ...
127s Selecting previously unselected package gcc-aarch64-linux-gnu.
127s Preparing to unpack .../17-gcc-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ...
127s Unpacking gcc-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
127s Selecting previously unselected package gcc.
127s Preparing to unpack .../18-gcc_4%3a14.1.0-2ubuntu1_arm64.deb ...
127s Unpacking gcc (4:14.1.0-2ubuntu1) ...
127s Selecting previously unselected package libstdc++-14-dev:arm64.
127s Preparing to unpack .../19-libstdc++-14-dev_14.2.0-7ubuntu1_arm64.deb ...
127s Unpacking libstdc++-14-dev:arm64 (14.2.0-7ubuntu1) ...
127s Selecting previously unselected package g++-14-aarch64-linux-gnu.
127s Preparing to unpack .../20-g++-14-aarch64-linux-gnu_14.2.0-7ubuntu1_arm64.deb ...
127s Unpacking g++-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
127s Selecting previously unselected package g++-14.
127s Preparing to unpack .../21-g++-14_14.2.0-7ubuntu1_arm64.deb ...
127s Unpacking g++-14 (14.2.0-7ubuntu1) ...
127s Selecting previously unselected package g++-aarch64-linux-gnu.
127s Preparing to unpack .../22-g++-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ...
127s Unpacking g++-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
127s Selecting previously unselected package g++.
127s Preparing to unpack .../23-g++_4%3a14.1.0-2ubuntu1_arm64.deb ...
127s Unpacking g++ (4:14.1.0-2ubuntu1) ...
127s Selecting previously unselected package build-essential.
127s Preparing to unpack .../24-build-essential_12.10ubuntu1_arm64.deb ...
127s Unpacking build-essential (12.10ubuntu1) ...
127s Selecting previously unselected package libpkgconf3:arm64.
127s Preparing to unpack .../25-libpkgconf3_1.8.1-3ubuntu1_arm64.deb ...
127s Unpacking libpkgconf3:arm64 (1.8.1-3ubuntu1) ...
127s Selecting previously unselected package pkgconf-bin.
127s Preparing to unpack .../26-pkgconf-bin_1.8.1-3ubuntu1_arm64.deb ...
127s Unpacking pkgconf-bin (1.8.1-3ubuntu1) ...
127s Selecting previously unselected package pkgconf:arm64.
127s Preparing to unpack .../27-pkgconf_1.8.1-3ubuntu1_arm64.deb ...
127s Unpacking pkgconf:arm64 (1.8.1-3ubuntu1) ...
127s Selecting previously unselected package pkg-config:arm64.
127s Preparing to unpack .../28-pkg-config_1.8.1-3ubuntu1_arm64.deb ...
127s Unpacking pkg-config:arm64 (1.8.1-3ubuntu1) ...
127s Selecting previously unselected package libz3-4:arm64.
127s Preparing to unpack .../29-libz3-4_4.8.12-3.1build1_arm64.deb ...
127s Unpacking libz3-4:arm64 (4.8.12-3.1build1) ...
128s Selecting previously unselected package libz3-dev:arm64.
128s Preparing to unpack .../30-libz3-dev_4.8.12-3.1build1_arm64.deb ...
128s Unpacking libz3-dev:arm64 (4.8.12-3.1build1) ...
128s Selecting previously unselected package python3-z3.
128s Preparing to unpack .../31-python3-z3_4.8.12-3.1build1_arm64.deb ...
128s Unpacking python3-z3 (4.8.12-3.1build1) ...
128s Selecting previously unselected package z3.
128s Preparing to unpack .../32-z3_4.8.12-3.1build1_arm64.deb ...
128s Unpacking z3 (4.8.12-3.1build1) ...
128s Selecting previously unselected package autopkgtest-satdep.
128s Preparing to unpack .../33-1-autopkgtest-satdep.deb ...
128s Unpacking autopkgtest-satdep (0) ...
128s Setting up libgomp1:arm64 (14.2.0-7ubuntu1) ...
128s Setting up z3 (4.8.12-3.1build1) ...
128s Setting up libz3-4:arm64 (4.8.12-3.1build1) ...
128s Setting up libpkgconf3:arm64 (1.8.1-3ubuntu1) ...
128s Setting up libmpc3:arm64 (1.3.1-1build2) ...
128s Setting up pkgconf-bin (1.8.1-3ubuntu1) ...
128s Setting up libubsan1:arm64 (14.2.0-7ubuntu1) ...
128s Setting up libhwasan0:arm64 (14.2.0-7ubuntu1) ...
128s Setting up libasan8:arm64 (14.2.0-7ubuntu1) ...
128s Setting up libtsan2:arm64 (14.2.0-7ubuntu1) ...
128s Setting up libisl23:arm64 (0.27-1) ...
128s Setting up libcc1-0:arm64 (14.2.0-7ubuntu1) ...
128s Setting up liblsan0:arm64 (14.2.0-7ubuntu1) ...
128s Setting up libitm1:arm64 (14.2.0-7ubuntu1) ...
128s Setting up libz3-dev:arm64 (4.8.12-3.1build1) ...
128s Setting up pkgconf:arm64 (1.8.1-3ubuntu1) ...
128s Setting up pkg-config:arm64 (1.8.1-3ubuntu1) ...
128s Setting up cpp-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
128s Setting up libgcc-14-dev:arm64 (14.2.0-7ubuntu1) ...
128s Setting up libstdc++-14-dev:arm64 (14.2.0-7ubuntu1) ...
128s Setting up python3-z3 (4.8.12-3.1build1) ...
128s Setting up cpp-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
128s Setting up cpp-14 (14.2.0-7ubuntu1) ...
128s Setting up cpp (4:14.1.0-2ubuntu1) ...
128s Setting up gcc-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
128s Setting up gcc-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
128s Setting up g++-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
128s Setting up gcc-14 (14.2.0-7ubuntu1) ...
128s Setting up g++-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
128s Setting up g++-14 (14.2.0-7ubuntu1) ...
128s Setting up gcc (4:14.1.0-2ubuntu1) ...
128s Setting up g++ (4:14.1.0-2ubuntu1) ...
128s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode
128s Setting up build-essential (12.10ubuntu1) ...
128s Setting up autopkgtest-satdep (0) ...
128s Processing triggers for man-db (2.12.1-3) ...
129s Processing triggers for libc-bin (2.40-1ubuntu3) ...
133s (Reading database ... 80925 files and directories currently installed.)
133s Removing autopkgtest-satdep (0) ...
133s autopkgtest [09:56:43]: test import-z3-test: [-----------------------
134s autopkgtest [09:56:44]: test import-z3-test: -----------------------]
134s autopkgtest [09:56:44]: test import-z3-test:  - - - - - - - - - - results - - - - - - - - - -
134s import-z3-test       PASS (superficial)
135s autopkgtest [09:56:45]: test include-z3-test: preparing testbed
137s Reading package lists...
138s Building dependency tree...
138s Reading state information...
138s Starting pkgProblemResolver with broken count: 0
138s Starting 2 pkgProblemResolver with broken count: 0
138s Done
139s The following NEW packages will be installed:
139s   autopkgtest-satdep
139s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
139s Need to get 0 B/740 B of archives.
139s After this operation, 0 B of additional disk space will be used.
139s Get:1 /tmp/autopkgtest.arEX64/2-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [740 B]
139s Selecting previously unselected package autopkgtest-satdep.
139s (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 ... 80925 files and directories currently installed.)
139s Preparing to unpack .../2-autopkgtest-satdep.deb ...
139s Unpacking autopkgtest-satdep (0) ...
139s Setting up autopkgtest-satdep (0) ...
142s (Reading database ... 80925 files and directories currently installed.)
142s Removing autopkgtest-satdep (0) ...
143s autopkgtest [09:56:53]: test include-z3-test: [-----------------------
144s autopkgtest [09:56:54]: test include-z3-test: -----------------------]
145s autopkgtest [09:56:55]: test include-z3-test:  - - - - - - - - - - results - - - - - - - - - -
145s include-z3-test      PASS (superficial)
145s autopkgtest [09:56:55]: test run-z3-test: preparing testbed
146s Reading package lists...
147s Building dependency tree...
147s Reading state information...
147s Starting pkgProblemResolver with broken count: 0
147s Starting 2 pkgProblemResolver with broken count: 0
147s Done
148s The following NEW packages will be installed:
148s   autopkgtest-satdep
148s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
148s Need to get 0 B/740 B of archives.
148s After this operation, 0 B of additional disk space will be used.
148s Get:1 /tmp/autopkgtest.arEX64/3-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [740 B]
148s Selecting previously unselected package autopkgtest-satdep.
148s (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 ... 80925 files and directories currently installed.)
148s Preparing to unpack .../3-autopkgtest-satdep.deb ...
148s Unpacking autopkgtest-satdep (0) ...
148s Setting up autopkgtest-satdep (0) ...
151s (Reading database ... 80925 files and directories currently installed.)
151s Removing autopkgtest-satdep (0) ...
152s autopkgtest [09:57:02]: test run-z3-test: [-----------------------
152s autopkgtest [09:57:02]: test run-z3-test: -----------------------]
153s autopkgtest [09:57:03]: test run-z3-test:  - - - - - - - - - - results - - - - - - - - - -
153s run-z3-test          PASS (superficial)
153s autopkgtest [09:57:03]: test pkg-config-test: preparing testbed
158s Reading package lists...
159s Building dependency tree...
159s Reading state information...
159s Starting pkgProblemResolver with broken count: 0
159s Starting 2 pkgProblemResolver with broken count: 0
159s Done
160s The following NEW packages will be installed:
160s   autopkgtest-satdep
160s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
160s Need to get 0 B/740 B of archives.
160s After this operation, 0 B of additional disk space will be used.
160s Get:1 /tmp/autopkgtest.arEX64/4-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [740 B]
160s Selecting previously unselected package autopkgtest-satdep.
160s (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 ... 80925 files and directories currently installed.)
160s Preparing to unpack .../4-autopkgtest-satdep.deb ...
160s Unpacking autopkgtest-satdep (0) ...
160s Setting up autopkgtest-satdep (0) ...
163s (Reading database ... 80925 files and directories currently installed.)
163s Removing autopkgtest-satdep (0) ...
164s autopkgtest [09:57:14]: test pkg-config-test: [-----------------------
164s autopkgtest [09:57:14]: test pkg-config-test: -----------------------]
165s pkg-config-test      PASS (superficial)
165s autopkgtest [09:57:15]: test pkg-config-test:  - - - - - - - - - - results - - - - - - - - - -
165s autopkgtest [09:57:15]: test z3-int-logic-test: preparing testbed
234s autopkgtest [09:58:24]: testbed dpkg architecture: arm64
234s autopkgtest [09:58:24]: testbed apt version: 2.9.8
234s autopkgtest [09:58:24]: @@@@@@@@@@@@@@@@@@@@ test bed setup
235s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB]
235s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [212 kB]
236s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [2840 B]
236s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B]
236s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [28.1 kB]
236s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [59.3 kB]
236s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [50.3 kB]
236s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [249 kB]
236s Fetched 682 kB in 1s (1035 kB/s)
236s Reading package lists...
238s Reading package lists...
238s Building dependency tree...
239s Reading state information...
239s Calculating upgrade...
240s The following NEW packages will be installed:
240s   python3-jaraco.text
240s The following packages will be upgraded:
240s   libkeyutils1 python3-pkg-resources python3-setuptools
240s 3 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
240s Need to get 812 kB of archives.
240s After this operation, 13.3 kB of additional disk space will be used.
240s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libkeyutils1 arm64 1.6.3-4ubuntu2 [10.2 kB]
240s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jaraco.text all 4.0.0-1 [11.5 kB]
240s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 python3-pkg-resources all 75.2.0-1 [134 kB]
240s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 python3-setuptools all 75.2.0-1 [657 kB]
241s Fetched 812 kB in 1s (1444 kB/s)
241s (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 ... 79697 files and directories currently installed.)
241s Preparing to unpack .../libkeyutils1_1.6.3-4ubuntu2_arm64.deb ...
241s Unpacking libkeyutils1:arm64 (1.6.3-4ubuntu2) over (1.6.3-3build1) ...
241s Selecting previously unselected package python3-jaraco.text.
241s Preparing to unpack .../python3-jaraco.text_4.0.0-1_all.deb ...
241s Unpacking python3-jaraco.text (4.0.0-1) ...
241s Preparing to unpack .../python3-pkg-resources_75.2.0-1_all.deb ...
241s Unpacking python3-pkg-resources (75.2.0-1) over (74.1.2-1) ...
241s Preparing to unpack .../python3-setuptools_75.2.0-1_all.deb ...
242s Unpacking python3-setuptools (75.2.0-1) over (74.1.2-1) ...
242s Setting up python3-pkg-resources (75.2.0-1) ...
242s Setting up libkeyutils1:arm64 (1.6.3-4ubuntu2) ...
242s Setting up python3-jaraco.text (4.0.0-1) ...
242s Setting up python3-setuptools (75.2.0-1) ...
243s Processing triggers for libc-bin (2.40-1ubuntu3) ...
243s Reading package lists...
244s Building dependency tree...
244s Reading state information...
245s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
245s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease
245s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
245s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
245s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
246s Reading package lists...
246s Reading package lists...
247s Building dependency tree...
247s Reading state information...
247s Calculating upgrade...
248s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
248s Reading package lists...
249s Building dependency tree...
249s Reading state information...
250s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
254s Reading package lists...
254s Building dependency tree...
254s Reading state information...
255s Starting pkgProblemResolver with broken count: 0
255s Starting 2 pkgProblemResolver with broken count: 0
255s Done
256s The following additional packages will be installed:
256s   build-essential cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu
256s   g++ g++-14 g++-14-aarch64-linux-gnu g++-aarch64-linux-gnu gcc gcc-14
256s   gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0
256s   libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3
256s   libstdc++-14-dev libtsan2 libubsan1 libz3-4 libz3-dev python3-z3 z3
256s Suggested packages:
256s   cpp-doc gcc-14-locales cpp-14-doc gcc-14-doc gcc-multilib manpages-dev
256s   autoconf automake libtool flex bison gdb gcc-doc gdb-aarch64-linux-gnu
256s   libstdc++-14-doc
256s The following NEW packages will be installed:
256s   autopkgtest-satdep build-essential cpp cpp-14 cpp-14-aarch64-linux-gnu
256s   cpp-aarch64-linux-gnu g++ g++-14 g++-14-aarch64-linux-gnu
256s   g++-aarch64-linux-gnu gcc gcc-14 gcc-14-aarch64-linux-gnu
256s   gcc-aarch64-linux-gnu libasan8 libcc1-0 libgcc-14-dev libgomp1 libhwasan0
256s   libisl23 libitm1 liblsan0 libmpc3 libstdc++-14-dev libtsan2 libubsan1
256s   libz3-4 libz3-dev python3-z3 z3
256s 0 upgraded, 30 newly installed, 0 to remove and 0 not upgraded.
256s Need to get 71.0 MB/71.0 MB of archives.
256s After this operation, 238 MB of additional disk space will be used.
256s Get:1 /tmp/autopkgtest.arEX64/5-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [732 B]
256s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB]
257s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB]
257s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-7ubuntu1 [10.6 MB]
257s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-7ubuntu1 [1030 B]
257s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [5452 B]
257s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.1.0-2ubuntu1 [22.5 kB]
257s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 14.2.0-7ubuntu1 [49.7 kB]
257s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 14.2.0-7ubuntu1 [145 kB]
257s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 14.2.0-7ubuntu1 [27.8 kB]
257s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 14.2.0-7ubuntu1 [2893 kB]
257s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 14.2.0-7ubuntu1 [1283 kB]
257s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 14.2.0-7ubuntu1 [2691 kB]
257s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 14.2.0-7ubuntu1 [1151 kB]
257s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 14.2.0-7ubuntu1 [1599 kB]
257s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-7ubuntu1 [2594 kB]
257s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-7ubuntu1 [20.9 MB]
258s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-7ubuntu1 [515 kB]
258s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [1200 B]
258s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.1.0-2ubuntu1 [4994 B]
258s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libstdc++-14-dev arm64 14.2.0-7ubuntu1 [2474 kB]
258s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14-aarch64-linux-gnu arm64 14.2.0-7ubuntu1 [12.1 MB]
258s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14 arm64 14.2.0-7ubuntu1 [19.8 kB]
258s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [958 B]
258s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 g++ arm64 4:14.1.0-2ubuntu1 [1080 B]
258s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 build-essential arm64 12.10ubuntu1 [4932 B]
258s Get:27 http://ftpmaster.internal/ubuntu plucky/universe arm64 libz3-4 arm64 4.8.12-3.1build1 [5492 kB]
258s Get:28 http://ftpmaster.internal/ubuntu plucky/universe arm64 libz3-dev arm64 4.8.12-3.1build1 [72.2 kB]
258s Get:29 http://ftpmaster.internal/ubuntu plucky/universe arm64 python3-z3 arm64 4.8.12-3.1build1 [79.7 kB]
258s Get:30 http://ftpmaster.internal/ubuntu plucky/universe arm64 z3 arm64 4.8.12-3.1build1 [5573 kB]
259s Fetched 71.0 MB in 2s (30.5 MB/s)
259s Selecting previously unselected package libisl23:arm64.
259s (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 ... 79706 files and directories currently installed.)
259s Preparing to unpack .../00-libisl23_0.27-1_arm64.deb ...
259s Unpacking libisl23:arm64 (0.27-1) ...
259s Selecting previously unselected package libmpc3:arm64.
259s Preparing to unpack .../01-libmpc3_1.3.1-1build2_arm64.deb ...
259s Unpacking libmpc3:arm64 (1.3.1-1build2) ...
259s Selecting previously unselected package cpp-14-aarch64-linux-gnu.
259s Preparing to unpack .../02-cpp-14-aarch64-linux-gnu_14.2.0-7ubuntu1_arm64.deb ...
259s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
259s Selecting previously unselected package cpp-14.
259s Preparing to unpack .../03-cpp-14_14.2.0-7ubuntu1_arm64.deb ...
259s Unpacking cpp-14 (14.2.0-7ubuntu1) ...
259s Selecting previously unselected package cpp-aarch64-linux-gnu.
259s Preparing to unpack .../04-cpp-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ...
259s Unpacking cpp-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
259s Selecting previously unselected package cpp.
259s Preparing to unpack .../05-cpp_4%3a14.1.0-2ubuntu1_arm64.deb ...
259s Unpacking cpp (4:14.1.0-2ubuntu1) ...
259s Selecting previously unselected package libcc1-0:arm64.
259s Preparing to unpack .../06-libcc1-0_14.2.0-7ubuntu1_arm64.deb ...
259s Unpacking libcc1-0:arm64 (14.2.0-7ubuntu1) ...
259s Selecting previously unselected package libgomp1:arm64.
259s Preparing to unpack .../07-libgomp1_14.2.0-7ubuntu1_arm64.deb ...
259s Unpacking libgomp1:arm64 (14.2.0-7ubuntu1) ...
260s Selecting previously unselected package libitm1:arm64.
260s Preparing to unpack .../08-libitm1_14.2.0-7ubuntu1_arm64.deb ...
260s Unpacking libitm1:arm64 (14.2.0-7ubuntu1) ...
260s Selecting previously unselected package libasan8:arm64.
260s Preparing to unpack .../09-libasan8_14.2.0-7ubuntu1_arm64.deb ...
260s Unpacking libasan8:arm64 (14.2.0-7ubuntu1) ...
260s Selecting previously unselected package liblsan0:arm64.
260s Preparing to unpack .../10-liblsan0_14.2.0-7ubuntu1_arm64.deb ...
260s Unpacking liblsan0:arm64 (14.2.0-7ubuntu1) ...
260s Selecting previously unselected package libtsan2:arm64.
260s Preparing to unpack .../11-libtsan2_14.2.0-7ubuntu1_arm64.deb ...
260s Unpacking libtsan2:arm64 (14.2.0-7ubuntu1) ...
260s Selecting previously unselected package libubsan1:arm64.
260s Preparing to unpack .../12-libubsan1_14.2.0-7ubuntu1_arm64.deb ...
260s Unpacking libubsan1:arm64 (14.2.0-7ubuntu1) ...
260s Selecting previously unselected package libhwasan0:arm64.
260s Preparing to unpack .../13-libhwasan0_14.2.0-7ubuntu1_arm64.deb ...
260s Unpacking libhwasan0:arm64 (14.2.0-7ubuntu1) ...
260s Selecting previously unselected package libgcc-14-dev:arm64.
260s Preparing to unpack .../14-libgcc-14-dev_14.2.0-7ubuntu1_arm64.deb ...
260s Unpacking libgcc-14-dev:arm64 (14.2.0-7ubuntu1) ...
260s Selecting previously unselected package gcc-14-aarch64-linux-gnu.
260s Preparing to unpack .../15-gcc-14-aarch64-linux-gnu_14.2.0-7ubuntu1_arm64.deb ...
260s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
260s Selecting previously unselected package gcc-14.
260s Preparing to unpack .../16-gcc-14_14.2.0-7ubuntu1_arm64.deb ...
260s Unpacking gcc-14 (14.2.0-7ubuntu1) ...
261s Selecting previously unselected package gcc-aarch64-linux-gnu.
261s Preparing to unpack .../17-gcc-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ...
261s Unpacking gcc-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
261s Selecting previously unselected package gcc.
261s Preparing to unpack .../18-gcc_4%3a14.1.0-2ubuntu1_arm64.deb ...
261s Unpacking gcc (4:14.1.0-2ubuntu1) ...
261s Selecting previously unselected package libstdc++-14-dev:arm64.
261s Preparing to unpack .../19-libstdc++-14-dev_14.2.0-7ubuntu1_arm64.deb ...
261s Unpacking libstdc++-14-dev:arm64 (14.2.0-7ubuntu1) ...
261s Selecting previously unselected package g++-14-aarch64-linux-gnu.
261s Preparing to unpack .../20-g++-14-aarch64-linux-gnu_14.2.0-7ubuntu1_arm64.deb ...
261s Unpacking g++-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
261s Selecting previously unselected package g++-14.
261s Preparing to unpack .../21-g++-14_14.2.0-7ubuntu1_arm64.deb ...
261s Unpacking g++-14 (14.2.0-7ubuntu1) ...
261s Selecting previously unselected package g++-aarch64-linux-gnu.
261s Preparing to unpack .../22-g++-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ...
261s Unpacking g++-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
261s Selecting previously unselected package g++.
261s Preparing to unpack .../23-g++_4%3a14.1.0-2ubuntu1_arm64.deb ...
261s Unpacking g++ (4:14.1.0-2ubuntu1) ...
261s Selecting previously unselected package build-essential.
261s Preparing to unpack .../24-build-essential_12.10ubuntu1_arm64.deb ...
261s Unpacking build-essential (12.10ubuntu1) ...
261s Selecting previously unselected package libz3-4:arm64.
261s Preparing to unpack .../25-libz3-4_4.8.12-3.1build1_arm64.deb ...
261s Unpacking libz3-4:arm64 (4.8.12-3.1build1) ...
261s Selecting previously unselected package libz3-dev:arm64.
261s Preparing to unpack .../26-libz3-dev_4.8.12-3.1build1_arm64.deb ...
261s Unpacking libz3-dev:arm64 (4.8.12-3.1build1) ...
261s Selecting previously unselected package python3-z3.
261s Preparing to unpack .../27-python3-z3_4.8.12-3.1build1_arm64.deb ...
261s Unpacking python3-z3 (4.8.12-3.1build1) ...
261s Selecting previously unselected package z3.
261s Preparing to unpack .../28-z3_4.8.12-3.1build1_arm64.deb ...
261s Unpacking z3 (4.8.12-3.1build1) ...
262s Selecting previously unselected package autopkgtest-satdep.
262s Preparing to unpack .../29-5-autopkgtest-satdep.deb ...
262s Unpacking autopkgtest-satdep (0) ...
262s Setting up libgomp1:arm64 (14.2.0-7ubuntu1) ...
262s Setting up z3 (4.8.12-3.1build1) ...
262s Setting up libz3-4:arm64 (4.8.12-3.1build1) ...
262s Setting up libmpc3:arm64 (1.3.1-1build2) ...
262s Setting up libubsan1:arm64 (14.2.0-7ubuntu1) ...
262s Setting up libhwasan0:arm64 (14.2.0-7ubuntu1) ...
262s Setting up libasan8:arm64 (14.2.0-7ubuntu1) ...
262s Setting up libtsan2:arm64 (14.2.0-7ubuntu1) ...
262s Setting up libisl23:arm64 (0.27-1) ...
262s Setting up libcc1-0:arm64 (14.2.0-7ubuntu1) ...
262s Setting up liblsan0:arm64 (14.2.0-7ubuntu1) ...
262s Setting up libitm1:arm64 (14.2.0-7ubuntu1) ...
262s Setting up libz3-dev:arm64 (4.8.12-3.1build1) ...
262s Setting up cpp-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
262s Setting up libgcc-14-dev:arm64 (14.2.0-7ubuntu1) ...
262s Setting up libstdc++-14-dev:arm64 (14.2.0-7ubuntu1) ...
262s Setting up python3-z3 (4.8.12-3.1build1) ...
262s Setting up cpp-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
262s Setting up cpp-14 (14.2.0-7ubuntu1) ...
262s Setting up cpp (4:14.1.0-2ubuntu1) ...
262s Setting up gcc-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
262s Setting up gcc-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
262s Setting up g++-14-aarch64-linux-gnu (14.2.0-7ubuntu1) ...
262s Setting up gcc-14 (14.2.0-7ubuntu1) ...
262s Setting up g++-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
262s Setting up g++-14 (14.2.0-7ubuntu1) ...
262s Setting up gcc (4:14.1.0-2ubuntu1) ...
262s Setting up g++ (4:14.1.0-2ubuntu1) ...
262s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode
262s Setting up build-essential (12.10ubuntu1) ...
262s Setting up autopkgtest-satdep (0) ...
262s Processing triggers for man-db (2.12.1-3) ...
263s Processing triggers for libc-bin (2.40-1ubuntu3) ...
267s (Reading database ... 80891 files and directories currently installed.)
267s Removing autopkgtest-satdep (0) ...
270s autopkgtest [09:59:00]: test z3-int-logic-test: [-----------------------
270s autopkgtest [09:59:00]: test z3-int-logic-test: -----------------------]
271s autopkgtest [09:59:01]: test z3-int-logic-test:  - - - - - - - - - - results - - - - - - - - - -
271s z3-int-logic-test    PASS
271s autopkgtest [09:59:01]: test python3-z3-int-logic-test: preparing testbed
272s Reading package lists...
273s Building dependency tree...
273s Reading state information...
273s Starting pkgProblemResolver with broken count: 0
273s Starting 2 pkgProblemResolver with broken count: 0
273s Done
274s The following NEW packages will be installed:
274s   autopkgtest-satdep
274s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
274s Need to get 0 B/732 B of archives.
274s After this operation, 0 B of additional disk space will be used.
274s Get:1 /tmp/autopkgtest.arEX64/6-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [732 B]
274s Selecting previously unselected package autopkgtest-satdep.
274s (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 ... 80891 files and directories currently installed.)
274s Preparing to unpack .../6-autopkgtest-satdep.deb ...
274s Unpacking autopkgtest-satdep (0) ...
274s Setting up autopkgtest-satdep (0) ...
277s (Reading database ... 80891 files and directories currently installed.)
277s Removing autopkgtest-satdep (0) ...
278s autopkgtest [09:59:08]: test python3-z3-int-logic-test: [-----------------------
279s autopkgtest [09:59:09]: test python3-z3-int-logic-test: -----------------------]
279s python3-z3-int-logic-test PASS
279s autopkgtest [09:59:09]: test python3-z3-int-logic-test:  - - - - - - - - - - results - - - - - - - - - -
280s autopkgtest [09:59:10]: @@@@@@@@@@@@@@@@@@@@ summary
280s import-z3-test       PASS (superficial)
280s include-z3-test      PASS (superficial)
280s run-z3-test          PASS (superficial)
280s pkg-config-test      PASS (superficial)
280s z3-int-logic-test    PASS
280s python3-z3-int-logic-test PASS
291s nova [W] Skipping flock in bos03-arm64
291s Creating nova instance adt-plucky-arm64-z3-20241030-095430-juju-7f2275-prod-proposed-migration-environment-15-788e2c19-01bc-49a5-84fb-b611b4c44eff from image adt/ubuntu-plucky-arm64-server-20241029.img (UUID b10dda10-7c97-4e89-a4a8-9b73e189f96e)...
291s nova [W] Skipping flock in bos03-arm64
291s Creating nova instance adt-plucky-arm64-z3-20241030-095430-juju-7f2275-prod-proposed-migration-environment-15-788e2c19-01bc-49a5-84fb-b611b4c44eff from image adt/ubuntu-plucky-arm64-server-20241029.img (UUID b10dda10-7c97-4e89-a4a8-9b73e189f96e)...