0s autopkgtest [12:02:23]: starting date and time: 2024-10-30 12:02:23+0000 0s autopkgtest [12:02:23]: git checkout: 6f3be7a8 Fix armhf LXD image generation for plucky 0s autopkgtest [12:02:23]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.as3746bs/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@lcy02-48.secgroup --name adt-plucky-amd64-z3-20241030-120223-juju-7f2275-prod-proposed-migration-environment-15-366e846f-55b2-4e99-a979-38f9390e39fd --image adt/ubuntu-plucky-amd64-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/ 59s autopkgtest [12:03:22]: testbed dpkg architecture: amd64 59s autopkgtest [12:03:22]: testbed apt version: 2.9.8 59s autopkgtest [12:03:22]: @@@@@@@@@@@@@@@@@@@@ test bed setup 60s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB] 60s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [30.5 kB] 60s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [2840 B] 60s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [213 kB] 60s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B] 60s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [66.9 kB] 60s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [25.6 kB] 60s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [32.6 kB] 60s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [84.3 kB] 60s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [258 kB] 60s Fetched 794 kB in 0s (3212 kB/s) 60s Reading package lists... 62s Reading package lists... 62s Building dependency tree... 62s Reading state information... 63s Calculating upgrade... 63s The following NEW packages will be installed: 63s python3-jaraco.text 63s The following packages will be upgraded: 63s python3-pkg-resources python3-setuptools 63s 2 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 63s Need to get 802 kB of archives. 63s After this operation, 12.3 kB of additional disk space will be used. 63s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-jaraco.text all 4.0.0-1 [11.5 kB] 63s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 python3-pkg-resources all 75.2.0-1 [134 kB] 63s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 python3-setuptools all 75.2.0-1 [657 kB] 64s Fetched 802 kB in 0s (25.6 MB/s) 64s Selecting previously unselected package python3-jaraco.text. 64s (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 ... 75315 files and directories currently installed.) 64s Preparing to unpack .../python3-jaraco.text_4.0.0-1_all.deb ... 64s Unpacking python3-jaraco.text (4.0.0-1) ... 64s Preparing to unpack .../python3-pkg-resources_75.2.0-1_all.deb ... 64s Unpacking python3-pkg-resources (75.2.0-1) over (74.1.2-1) ... 65s Preparing to unpack .../python3-setuptools_75.2.0-1_all.deb ... 65s Unpacking python3-setuptools (75.2.0-1) over (74.1.2-1) ... 65s Setting up python3-pkg-resources (75.2.0-1) ... 65s Setting up python3-jaraco.text (4.0.0-1) ... 65s Setting up python3-setuptools (75.2.0-1) ... 67s Reading package lists... 67s Building dependency tree... 67s Reading state information... 68s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 68s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease 68s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 68s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 68s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 70s Reading package lists... 70s Reading package lists... 70s Building dependency tree... 70s Reading state information... 71s Calculating upgrade... 71s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 71s Reading package lists... 71s Building dependency tree... 71s Reading state information... 72s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 73s autopkgtest [12:03:36]: testbed running kernel: Linux 6.11.0-8-generic #8-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 16 13:41:20 UTC 2024 73s autopkgtest [12:03:36]: @@@@@@@@@@@@@@@@@@@@ apt-source z3 75s Get:1 http://ftpmaster.internal/ubuntu plucky/universe z3 4.8.12-3.1build1 (dsc) [2770 B] 75s Get:2 http://ftpmaster.internal/ubuntu plucky/universe z3 4.8.12-3.1build1 (tar) [4803 kB] 75s Get:3 http://ftpmaster.internal/ubuntu plucky/universe z3 4.8.12-3.1build1 (diff) [10.5 kB] 75s gpgv: Signature made Mon Apr 22 09:53:16 2024 UTC 75s gpgv: using RSA key 4FB588A84C2DDE79A74C77876FA458DD1DB03F71 75s gpgv: issuer "juliank@ubuntu.com" 75s gpgv: Can't check signature: No public key 75s dpkg-source: warning: cannot verify inline signature for ./z3_4.8.12-3.1build1.dsc: no acceptable signature found 75s autopkgtest [12:03:38]: testing package z3 version 4.8.12-3.1build1 75s autopkgtest [12:03:38]: build not needed 75s autopkgtest [12:03:38]: test import-z3-test: preparing testbed 76s Reading package lists... 76s Building dependency tree... 76s Reading state information... 77s Starting pkgProblemResolver with broken count: 0 77s Starting 2 pkgProblemResolver with broken count: 0 77s Done 78s The following additional packages will be installed: 78s build-essential cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu g++ 78s g++-14 g++-14-x86-64-linux-gnu g++-x86-64-linux-gnu gcc gcc-14 78s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 libgcc-14-dev 78s libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libpkgconf3 78s libquadmath0 libstdc++-14-dev libtsan2 libubsan1 libz3-4 libz3-dev 78s pkg-config pkgconf pkgconf-bin python3-z3 z3 78s Suggested packages: 78s cpp-doc gcc-14-locales cpp-14-doc g++-multilib g++-14-multilib gcc-14-doc 78s gcc-multilib manpages-dev autoconf automake libtool flex bison gdb gcc-doc 78s gcc-14-multilib gdb-x86-64-linux-gnu libstdc++-14-doc 78s The following NEW packages will be installed: 78s autopkgtest-satdep build-essential cpp cpp-14 cpp-14-x86-64-linux-gnu 78s cpp-x86-64-linux-gnu g++ g++-14 g++-14-x86-64-linux-gnu g++-x86-64-linux-gnu 78s gcc gcc-14 gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 78s libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 78s libpkgconf3 libquadmath0 libstdc++-14-dev libtsan2 libubsan1 libz3-4 78s libz3-dev pkg-config pkgconf pkgconf-bin python3-z3 z3 78s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 78s Need to get 77.5 MB/77.5 MB of archives. 78s After this operation, 257 MB of additional disk space will be used. 78s Get:1 /tmp/autopkgtest.5BjCap/1-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [740 B] 78s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 78s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 78s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-7ubuntu1 [11.9 MB] 78s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-7ubuntu1 [1026 B] 78s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.1.0-2ubuntu1 [5452 B] 78s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.1.0-2ubuntu1 [22.4 kB] 78s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 14.2.0-7ubuntu1 [47.6 kB] 78s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 14.2.0-7ubuntu1 [148 kB] 78s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 14.2.0-7ubuntu1 [29.1 kB] 78s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 14.2.0-7ubuntu1 [2998 kB] 78s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 14.2.0-7ubuntu1 [1316 kB] 78s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 14.2.0-7ubuntu1 [2733 kB] 78s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 14.2.0-7ubuntu1 [1177 kB] 78s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 14.2.0-7ubuntu1 [1634 kB] 78s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 14.2.0-7ubuntu1 [153 kB] 78s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-7ubuntu1 [2814 kB] 78s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-7ubuntu1 [23.4 MB] 78s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-7ubuntu1 [526 kB] 78s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.1.0-2ubuntu1 [1214 B] 78s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.1.0-2ubuntu1 [5000 B] 78s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 libstdc++-14-dev amd64 14.2.0-7ubuntu1 [2503 kB] 78s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 g++-14-x86-64-linux-gnu amd64 14.2.0-7ubuntu1 [13.4 MB] 78s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 g++-14 amd64 14.2.0-7ubuntu1 [19.8 kB] 78s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 g++-x86-64-linux-gnu amd64 4:14.1.0-2ubuntu1 [966 B] 78s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 g++ amd64 4:14.1.0-2ubuntu1 [1100 B] 78s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 build-essential amd64 12.10ubuntu1 [4928 B] 78s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 libpkgconf3 amd64 1.8.1-3ubuntu1 [31.0 kB] 78s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 pkgconf-bin amd64 1.8.1-3ubuntu1 [21.2 kB] 78s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 pkgconf amd64 1.8.1-3ubuntu1 [16.8 kB] 78s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 pkg-config amd64 1.8.1-3ubuntu1 [7402 B] 78s Get:32 http://ftpmaster.internal/ubuntu plucky/universe amd64 libz3-4 amd64 4.8.12-3.1build1 [5836 kB] 79s Get:33 http://ftpmaster.internal/ubuntu plucky/universe amd64 libz3-dev amd64 4.8.12-3.1build1 [72.2 kB] 79s Get:34 http://ftpmaster.internal/ubuntu plucky/universe amd64 python3-z3 amd64 4.8.12-3.1build1 [79.7 kB] 79s Get:35 http://ftpmaster.internal/ubuntu plucky/universe amd64 z3 amd64 4.8.12-3.1build1 [5911 kB] 80s Fetched 77.5 MB in 1s (88.9 MB/s) 80s Selecting previously unselected package libisl23:amd64. 80s (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 ... 75324 files and directories currently installed.) 80s Preparing to unpack .../00-libisl23_0.27-1_amd64.deb ... 80s Unpacking libisl23:amd64 (0.27-1) ... 80s Selecting previously unselected package libmpc3:amd64. 80s Preparing to unpack .../01-libmpc3_1.3.1-1build2_amd64.deb ... 80s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 80s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 80s Preparing to unpack .../02-cpp-14-x86-64-linux-gnu_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package cpp-14. 80s Preparing to unpack .../03-cpp-14_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking cpp-14 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package cpp-x86-64-linux-gnu. 80s Preparing to unpack .../04-cpp-x86-64-linux-gnu_4%3a14.1.0-2ubuntu1_amd64.deb ... 80s Unpacking cpp-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 80s Selecting previously unselected package cpp. 80s Preparing to unpack .../05-cpp_4%3a14.1.0-2ubuntu1_amd64.deb ... 80s Unpacking cpp (4:14.1.0-2ubuntu1) ... 80s Selecting previously unselected package libcc1-0:amd64. 80s Preparing to unpack .../06-libcc1-0_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking libcc1-0:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package libgomp1:amd64. 80s Preparing to unpack .../07-libgomp1_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking libgomp1:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package libitm1:amd64. 80s Preparing to unpack .../08-libitm1_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking libitm1:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package libasan8:amd64. 80s Preparing to unpack .../09-libasan8_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking libasan8:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package liblsan0:amd64. 80s Preparing to unpack .../10-liblsan0_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking liblsan0:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package libtsan2:amd64. 80s Preparing to unpack .../11-libtsan2_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking libtsan2:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package libubsan1:amd64. 80s Preparing to unpack .../12-libubsan1_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking libubsan1:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package libhwasan0:amd64. 80s Preparing to unpack .../13-libhwasan0_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking libhwasan0:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package libquadmath0:amd64. 80s Preparing to unpack .../14-libquadmath0_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking libquadmath0:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package libgcc-14-dev:amd64. 80s Preparing to unpack .../15-libgcc-14-dev_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking libgcc-14-dev:amd64 (14.2.0-7ubuntu1) ... 80s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 80s Preparing to unpack .../16-gcc-14-x86-64-linux-gnu_14.2.0-7ubuntu1_amd64.deb ... 80s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 82s Selecting previously unselected package gcc-14. 82s Preparing to unpack .../17-gcc-14_14.2.0-7ubuntu1_amd64.deb ... 82s Unpacking gcc-14 (14.2.0-7ubuntu1) ... 82s Selecting previously unselected package gcc-x86-64-linux-gnu. 82s Preparing to unpack .../18-gcc-x86-64-linux-gnu_4%3a14.1.0-2ubuntu1_amd64.deb ... 82s Unpacking gcc-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 82s Selecting previously unselected package gcc. 82s Preparing to unpack .../19-gcc_4%3a14.1.0-2ubuntu1_amd64.deb ... 82s Unpacking gcc (4:14.1.0-2ubuntu1) ... 82s Selecting previously unselected package libstdc++-14-dev:amd64. 82s Preparing to unpack .../20-libstdc++-14-dev_14.2.0-7ubuntu1_amd64.deb ... 82s Unpacking libstdc++-14-dev:amd64 (14.2.0-7ubuntu1) ... 82s Selecting previously unselected package g++-14-x86-64-linux-gnu. 82s Preparing to unpack .../21-g++-14-x86-64-linux-gnu_14.2.0-7ubuntu1_amd64.deb ... 82s Unpacking g++-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 82s Selecting previously unselected package g++-14. 82s Preparing to unpack .../22-g++-14_14.2.0-7ubuntu1_amd64.deb ... 82s Unpacking g++-14 (14.2.0-7ubuntu1) ... 82s Selecting previously unselected package g++-x86-64-linux-gnu. 82s Preparing to unpack .../23-g++-x86-64-linux-gnu_4%3a14.1.0-2ubuntu1_amd64.deb ... 82s Unpacking g++-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 82s Selecting previously unselected package g++. 82s Preparing to unpack .../24-g++_4%3a14.1.0-2ubuntu1_amd64.deb ... 82s Unpacking g++ (4:14.1.0-2ubuntu1) ... 82s Selecting previously unselected package build-essential. 82s Preparing to unpack .../25-build-essential_12.10ubuntu1_amd64.deb ... 82s Unpacking build-essential (12.10ubuntu1) ... 82s Selecting previously unselected package libpkgconf3:amd64. 82s Preparing to unpack .../26-libpkgconf3_1.8.1-3ubuntu1_amd64.deb ... 82s Unpacking libpkgconf3:amd64 (1.8.1-3ubuntu1) ... 82s Selecting previously unselected package pkgconf-bin. 82s Preparing to unpack .../27-pkgconf-bin_1.8.1-3ubuntu1_amd64.deb ... 82s Unpacking pkgconf-bin (1.8.1-3ubuntu1) ... 82s Selecting previously unselected package pkgconf:amd64. 82s Preparing to unpack .../28-pkgconf_1.8.1-3ubuntu1_amd64.deb ... 82s Unpacking pkgconf:amd64 (1.8.1-3ubuntu1) ... 82s Selecting previously unselected package pkg-config:amd64. 82s Preparing to unpack .../29-pkg-config_1.8.1-3ubuntu1_amd64.deb ... 82s Unpacking pkg-config:amd64 (1.8.1-3ubuntu1) ... 82s Selecting previously unselected package libz3-4:amd64. 82s Preparing to unpack .../30-libz3-4_4.8.12-3.1build1_amd64.deb ... 82s Unpacking libz3-4:amd64 (4.8.12-3.1build1) ... 82s Selecting previously unselected package libz3-dev:amd64. 82s Preparing to unpack .../31-libz3-dev_4.8.12-3.1build1_amd64.deb ... 82s Unpacking libz3-dev:amd64 (4.8.12-3.1build1) ... 82s Selecting previously unselected package python3-z3. 82s Preparing to unpack .../32-python3-z3_4.8.12-3.1build1_amd64.deb ... 82s Unpacking python3-z3 (4.8.12-3.1build1) ... 82s Selecting previously unselected package z3. 82s Preparing to unpack .../33-z3_4.8.12-3.1build1_amd64.deb ... 82s Unpacking z3 (4.8.12-3.1build1) ... 83s Selecting previously unselected package autopkgtest-satdep. 83s Preparing to unpack .../34-1-autopkgtest-satdep.deb ... 83s Unpacking autopkgtest-satdep (0) ... 83s Setting up libgomp1:amd64 (14.2.0-7ubuntu1) ... 83s Setting up z3 (4.8.12-3.1build1) ... 83s Setting up libz3-4:amd64 (4.8.12-3.1build1) ... 83s Setting up libpkgconf3:amd64 (1.8.1-3ubuntu1) ... 83s Setting up libquadmath0:amd64 (14.2.0-7ubuntu1) ... 83s Setting up libmpc3:amd64 (1.3.1-1build2) ... 83s Setting up pkgconf-bin (1.8.1-3ubuntu1) ... 83s Setting up libubsan1:amd64 (14.2.0-7ubuntu1) ... 83s Setting up libhwasan0:amd64 (14.2.0-7ubuntu1) ... 83s Setting up libasan8:amd64 (14.2.0-7ubuntu1) ... 83s Setting up libtsan2:amd64 (14.2.0-7ubuntu1) ... 83s Setting up libisl23:amd64 (0.27-1) ... 83s Setting up libcc1-0:amd64 (14.2.0-7ubuntu1) ... 83s Setting up liblsan0:amd64 (14.2.0-7ubuntu1) ... 83s Setting up libitm1:amd64 (14.2.0-7ubuntu1) ... 83s Setting up libz3-dev:amd64 (4.8.12-3.1build1) ... 83s Setting up pkgconf:amd64 (1.8.1-3ubuntu1) ... 83s Setting up pkg-config:amd64 (1.8.1-3ubuntu1) ... 83s Setting up cpp-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 83s Setting up cpp-14 (14.2.0-7ubuntu1) ... 83s Setting up libgcc-14-dev:amd64 (14.2.0-7ubuntu1) ... 83s Setting up libstdc++-14-dev:amd64 (14.2.0-7ubuntu1) ... 83s Setting up python3-z3 (4.8.12-3.1build1) ... 83s Setting up cpp-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 83s Setting up cpp (4:14.1.0-2ubuntu1) ... 83s Setting up gcc-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 83s Setting up gcc-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 83s Setting up gcc-14 (14.2.0-7ubuntu1) ... 83s Setting up g++-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 83s Setting up g++-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 83s Setting up g++-14 (14.2.0-7ubuntu1) ... 83s Setting up gcc (4:14.1.0-2ubuntu1) ... 83s Setting up g++ (4:14.1.0-2ubuntu1) ... 83s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 83s Setting up build-essential (12.10ubuntu1) ... 83s Setting up autopkgtest-satdep (0) ... 83s Processing triggers for man-db (2.12.1-3) ... 84s Processing triggers for libc-bin (2.40-1ubuntu3) ... 87s (Reading database ... 76660 files and directories currently installed.) 87s Removing autopkgtest-satdep (0) ... 88s autopkgtest [12:03:51]: test import-z3-test: [----------------------- 88s autopkgtest [12:03:51]: test import-z3-test: -----------------------] 89s autopkgtest [12:03:52]: test import-z3-test: - - - - - - - - - - results - - - - - - - - - - 89s import-z3-test PASS (superficial) 89s autopkgtest [12:03:52]: test include-z3-test: preparing testbed 92s Reading package lists... 92s Building dependency tree... 92s Reading state information... 93s Starting pkgProblemResolver with broken count: 0 93s Starting 2 pkgProblemResolver with broken count: 0 93s Done 93s The following NEW packages will be installed: 93s autopkgtest-satdep 93s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 93s Need to get 0 B/740 B of archives. 93s After this operation, 0 B of additional disk space will be used. 93s Get:1 /tmp/autopkgtest.5BjCap/2-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [740 B] 94s Selecting previously unselected package autopkgtest-satdep. 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 ... 76660 files and directories currently installed.) 94s Preparing to unpack .../2-autopkgtest-satdep.deb ... 94s Unpacking autopkgtest-satdep (0) ... 94s Setting up autopkgtest-satdep (0) ... 96s (Reading database ... 76660 files and directories currently installed.) 96s Removing autopkgtest-satdep (0) ... 97s autopkgtest [12:04:00]: test include-z3-test: [----------------------- 99s autopkgtest [12:04:01]: test include-z3-test: -----------------------] 100s include-z3-test PASS (superficial) 100s autopkgtest [12:04:03]: test include-z3-test: - - - - - - - - - - results - - - - - - - - - - 100s autopkgtest [12:04:03]: test run-z3-test: preparing testbed 101s Reading package lists... 102s Building dependency tree... 102s Reading state information... 102s Starting pkgProblemResolver with broken count: 0 102s Starting 2 pkgProblemResolver with broken count: 0 102s Done 103s The following NEW packages will be installed: 103s autopkgtest-satdep 103s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 103s Need to get 0 B/744 B of archives. 103s After this operation, 0 B of additional disk space will be used. 103s Get:1 /tmp/autopkgtest.5BjCap/3-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B] 103s Selecting previously unselected package autopkgtest-satdep. 104s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 76660 files and directories currently installed.) 104s Preparing to unpack .../3-autopkgtest-satdep.deb ... 104s Unpacking autopkgtest-satdep (0) ... 104s Setting up autopkgtest-satdep (0) ... 106s (Reading database ... 76660 files and directories currently installed.) 106s Removing autopkgtest-satdep (0) ... 106s autopkgtest [12:04:09]: test run-z3-test: [----------------------- 107s autopkgtest [12:04:10]: test run-z3-test: -----------------------] 107s autopkgtest [12:04:10]: test run-z3-test: - - - - - - - - - - results - - - - - - - - - - 107s run-z3-test PASS (superficial) 107s autopkgtest [12:04:10]: test pkg-config-test: preparing testbed 109s Reading package lists... 110s Building dependency tree... 110s Reading state information... 110s Starting pkgProblemResolver with broken count: 0 110s Starting 2 pkgProblemResolver with broken count: 0 110s Done 111s The following NEW packages will be installed: 111s autopkgtest-satdep 111s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 111s Need to get 0 B/740 B of archives. 111s After this operation, 0 B of additional disk space will be used. 111s Get:1 /tmp/autopkgtest.5BjCap/4-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [740 B] 111s Selecting previously unselected package autopkgtest-satdep. 112s (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 ... 76660 files and directories currently installed.) 112s Preparing to unpack .../4-autopkgtest-satdep.deb ... 112s Unpacking autopkgtest-satdep (0) ... 112s Setting up autopkgtest-satdep (0) ... 114s (Reading database ... 76660 files and directories currently installed.) 114s Removing autopkgtest-satdep (0) ... 114s autopkgtest [12:04:17]: test pkg-config-test: [----------------------- 115s autopkgtest [12:04:18]: test pkg-config-test: -----------------------] 115s pkg-config-test PASS (superficial) 115s autopkgtest [12:04:18]: test pkg-config-test: - - - - - - - - - - results - - - - - - - - - - 115s autopkgtest [12:04:18]: test z3-int-logic-test: preparing testbed 187s autopkgtest [12:05:30]: testbed dpkg architecture: amd64 187s autopkgtest [12:05:30]: testbed apt version: 2.9.8 187s autopkgtest [12:05:30]: @@@@@@@@@@@@@@@@@@@@ test bed setup 188s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB] 188s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [2840 B] 188s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [213 kB] 188s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [30.5 kB] 188s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B] 188s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [25.6 kB] 188s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [66.9 kB] 188s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [32.6 kB] 188s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [258 kB] 188s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [84.3 kB] 188s Fetched 794 kB in 0s (4837 kB/s) 188s Reading package lists... 190s Reading package lists... 190s Building dependency tree... 190s Reading state information... 190s Calculating upgrade... 190s The following NEW packages will be installed: 190s python3-jaraco.text 190s The following packages will be upgraded: 190s python3-pkg-resources python3-setuptools 190s 2 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 190s Need to get 802 kB of archives. 190s After this operation, 12.3 kB of additional disk space will be used. 190s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-jaraco.text all 4.0.0-1 [11.5 kB] 190s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 python3-pkg-resources all 75.2.0-1 [134 kB] 190s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 python3-setuptools all 75.2.0-1 [657 kB] 191s Fetched 802 kB in 0s (28.0 MB/s) 191s Selecting previously unselected package python3-jaraco.text. 191s (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 ... 75315 files and directories currently installed.) 191s Preparing to unpack .../python3-jaraco.text_4.0.0-1_all.deb ... 191s Unpacking python3-jaraco.text (4.0.0-1) ... 191s Preparing to unpack .../python3-pkg-resources_75.2.0-1_all.deb ... 191s Unpacking python3-pkg-resources (75.2.0-1) over (74.1.2-1) ... 191s Preparing to unpack .../python3-setuptools_75.2.0-1_all.deb ... 191s Unpacking python3-setuptools (75.2.0-1) over (74.1.2-1) ... 191s Setting up python3-pkg-resources (75.2.0-1) ... 193s Setting up python3-jaraco.text (4.0.0-1) ... 193s Setting up python3-setuptools (75.2.0-1) ... 193s Reading package lists... 193s Building dependency tree... 193s Reading state information... 193s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 193s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease 193s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 193s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 193s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 194s Reading package lists... 194s Reading package lists... 194s Building dependency tree... 194s Reading state information... 195s Calculating upgrade... 196s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 196s Reading package lists... 196s Building dependency tree... 196s Reading state information... 196s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 199s Reading package lists... 199s Building dependency tree... 199s Reading state information... 199s Starting pkgProblemResolver with broken count: 0 199s Starting 2 pkgProblemResolver with broken count: 0 199s Done 200s The following additional packages will be installed: 200s build-essential cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu g++ 200s g++-14 g++-14-x86-64-linux-gnu g++-x86-64-linux-gnu gcc gcc-14 200s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 libgcc-14-dev 200s libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libquadmath0 200s libstdc++-14-dev libtsan2 libubsan1 libz3-4 libz3-dev python3-z3 z3 200s Suggested packages: 200s cpp-doc gcc-14-locales cpp-14-doc g++-multilib g++-14-multilib gcc-14-doc 200s gcc-multilib manpages-dev autoconf automake libtool flex bison gdb gcc-doc 200s gcc-14-multilib gdb-x86-64-linux-gnu libstdc++-14-doc 200s The following NEW packages will be installed: 200s autopkgtest-satdep build-essential cpp cpp-14 cpp-14-x86-64-linux-gnu 200s cpp-x86-64-linux-gnu g++ g++-14 g++-14-x86-64-linux-gnu g++-x86-64-linux-gnu 200s gcc gcc-14 gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 200s libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 200s libquadmath0 libstdc++-14-dev libtsan2 libubsan1 libz3-4 libz3-dev 200s python3-z3 z3 200s 0 upgraded, 31 newly installed, 0 to remove and 0 not upgraded. 200s Need to get 77.4 MB/77.4 MB of archives. 200s After this operation, 256 MB of additional disk space will be used. 200s Get:1 /tmp/autopkgtest.5BjCap/5-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [732 B] 200s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 200s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 200s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-7ubuntu1 [11.9 MB] 200s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-7ubuntu1 [1026 B] 200s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.1.0-2ubuntu1 [5452 B] 200s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.1.0-2ubuntu1 [22.4 kB] 200s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 14.2.0-7ubuntu1 [47.6 kB] 200s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 14.2.0-7ubuntu1 [148 kB] 200s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 14.2.0-7ubuntu1 [29.1 kB] 200s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 14.2.0-7ubuntu1 [2998 kB] 200s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 14.2.0-7ubuntu1 [1316 kB] 200s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 14.2.0-7ubuntu1 [2733 kB] 200s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 14.2.0-7ubuntu1 [1177 kB] 200s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 14.2.0-7ubuntu1 [1634 kB] 200s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 14.2.0-7ubuntu1 [153 kB] 200s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-7ubuntu1 [2814 kB] 200s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-7ubuntu1 [23.4 MB] 200s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-7ubuntu1 [526 kB] 200s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.1.0-2ubuntu1 [1214 B] 200s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.1.0-2ubuntu1 [5000 B] 200s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 libstdc++-14-dev amd64 14.2.0-7ubuntu1 [2503 kB] 200s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 g++-14-x86-64-linux-gnu amd64 14.2.0-7ubuntu1 [13.4 MB] 200s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 g++-14 amd64 14.2.0-7ubuntu1 [19.8 kB] 200s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 g++-x86-64-linux-gnu amd64 4:14.1.0-2ubuntu1 [966 B] 200s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 g++ amd64 4:14.1.0-2ubuntu1 [1100 B] 200s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 build-essential amd64 12.10ubuntu1 [4928 B] 200s Get:28 http://ftpmaster.internal/ubuntu plucky/universe amd64 libz3-4 amd64 4.8.12-3.1build1 [5836 kB] 200s Get:29 http://ftpmaster.internal/ubuntu plucky/universe amd64 libz3-dev amd64 4.8.12-3.1build1 [72.2 kB] 200s Get:30 http://ftpmaster.internal/ubuntu plucky/universe amd64 python3-z3 amd64 4.8.12-3.1build1 [79.7 kB] 200s Get:31 http://ftpmaster.internal/ubuntu plucky/universe amd64 z3 amd64 4.8.12-3.1build1 [5911 kB] 201s Fetched 77.4 MB in 1s (118 MB/s) 201s Selecting previously unselected package libisl23:amd64. 201s (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 ... 75324 files and directories currently installed.) 201s Preparing to unpack .../00-libisl23_0.27-1_amd64.deb ... 201s Unpacking libisl23:amd64 (0.27-1) ... 201s Selecting previously unselected package libmpc3:amd64. 201s Preparing to unpack .../01-libmpc3_1.3.1-1build2_amd64.deb ... 201s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 201s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 201s Preparing to unpack .../02-cpp-14-x86-64-linux-gnu_14.2.0-7ubuntu1_amd64.deb ... 201s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 201s Selecting previously unselected package cpp-14. 201s Preparing to unpack .../03-cpp-14_14.2.0-7ubuntu1_amd64.deb ... 201s Unpacking cpp-14 (14.2.0-7ubuntu1) ... 201s Selecting previously unselected package cpp-x86-64-linux-gnu. 201s Preparing to unpack .../04-cpp-x86-64-linux-gnu_4%3a14.1.0-2ubuntu1_amd64.deb ... 201s Unpacking cpp-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 201s Selecting previously unselected package cpp. 201s Preparing to unpack .../05-cpp_4%3a14.1.0-2ubuntu1_amd64.deb ... 201s Unpacking cpp (4:14.1.0-2ubuntu1) ... 201s Selecting previously unselected package libcc1-0:amd64. 201s Preparing to unpack .../06-libcc1-0_14.2.0-7ubuntu1_amd64.deb ... 201s Unpacking libcc1-0:amd64 (14.2.0-7ubuntu1) ... 201s Selecting previously unselected package libgomp1:amd64. 201s Preparing to unpack .../07-libgomp1_14.2.0-7ubuntu1_amd64.deb ... 201s Unpacking libgomp1:amd64 (14.2.0-7ubuntu1) ... 201s Selecting previously unselected package libitm1:amd64. 201s Preparing to unpack .../08-libitm1_14.2.0-7ubuntu1_amd64.deb ... 201s Unpacking libitm1:amd64 (14.2.0-7ubuntu1) ... 201s Selecting previously unselected package libasan8:amd64. 201s Preparing to unpack .../09-libasan8_14.2.0-7ubuntu1_amd64.deb ... 201s Unpacking libasan8:amd64 (14.2.0-7ubuntu1) ... 201s Selecting previously unselected package liblsan0:amd64. 201s Preparing to unpack .../10-liblsan0_14.2.0-7ubuntu1_amd64.deb ... 201s Unpacking liblsan0:amd64 (14.2.0-7ubuntu1) ... 201s Selecting previously unselected package libtsan2:amd64. 202s Preparing to unpack .../11-libtsan2_14.2.0-7ubuntu1_amd64.deb ... 202s Unpacking libtsan2:amd64 (14.2.0-7ubuntu1) ... 202s Selecting previously unselected package libubsan1:amd64. 202s Preparing to unpack .../12-libubsan1_14.2.0-7ubuntu1_amd64.deb ... 202s Unpacking libubsan1:amd64 (14.2.0-7ubuntu1) ... 202s Selecting previously unselected package libhwasan0:amd64. 202s Preparing to unpack .../13-libhwasan0_14.2.0-7ubuntu1_amd64.deb ... 202s Unpacking libhwasan0:amd64 (14.2.0-7ubuntu1) ... 202s Selecting previously unselected package libquadmath0:amd64. 202s Preparing to unpack .../14-libquadmath0_14.2.0-7ubuntu1_amd64.deb ... 202s Unpacking libquadmath0:amd64 (14.2.0-7ubuntu1) ... 202s Selecting previously unselected package libgcc-14-dev:amd64. 202s Preparing to unpack .../15-libgcc-14-dev_14.2.0-7ubuntu1_amd64.deb ... 202s Unpacking libgcc-14-dev:amd64 (14.2.0-7ubuntu1) ... 202s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 202s Preparing to unpack .../16-gcc-14-x86-64-linux-gnu_14.2.0-7ubuntu1_amd64.deb ... 202s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 202s Selecting previously unselected package gcc-14. 202s Preparing to unpack .../17-gcc-14_14.2.0-7ubuntu1_amd64.deb ... 202s Unpacking gcc-14 (14.2.0-7ubuntu1) ... 202s Selecting previously unselected package gcc-x86-64-linux-gnu. 202s Preparing to unpack .../18-gcc-x86-64-linux-gnu_4%3a14.1.0-2ubuntu1_amd64.deb ... 202s Unpacking gcc-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 202s Selecting previously unselected package gcc. 202s Preparing to unpack .../19-gcc_4%3a14.1.0-2ubuntu1_amd64.deb ... 202s Unpacking gcc (4:14.1.0-2ubuntu1) ... 202s Selecting previously unselected package libstdc++-14-dev:amd64. 202s Preparing to unpack .../20-libstdc++-14-dev_14.2.0-7ubuntu1_amd64.deb ... 202s Unpacking libstdc++-14-dev:amd64 (14.2.0-7ubuntu1) ... 203s Selecting previously unselected package g++-14-x86-64-linux-gnu. 203s Preparing to unpack .../21-g++-14-x86-64-linux-gnu_14.2.0-7ubuntu1_amd64.deb ... 203s Unpacking g++-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 203s Selecting previously unselected package g++-14. 203s Preparing to unpack .../22-g++-14_14.2.0-7ubuntu1_amd64.deb ... 203s Unpacking g++-14 (14.2.0-7ubuntu1) ... 203s Selecting previously unselected package g++-x86-64-linux-gnu. 203s Preparing to unpack .../23-g++-x86-64-linux-gnu_4%3a14.1.0-2ubuntu1_amd64.deb ... 203s Unpacking g++-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 203s Selecting previously unselected package g++. 203s Preparing to unpack .../24-g++_4%3a14.1.0-2ubuntu1_amd64.deb ... 203s Unpacking g++ (4:14.1.0-2ubuntu1) ... 203s Selecting previously unselected package build-essential. 203s Preparing to unpack .../25-build-essential_12.10ubuntu1_amd64.deb ... 203s Unpacking build-essential (12.10ubuntu1) ... 203s Selecting previously unselected package libz3-4:amd64. 203s Preparing to unpack .../26-libz3-4_4.8.12-3.1build1_amd64.deb ... 203s Unpacking libz3-4:amd64 (4.8.12-3.1build1) ... 203s Selecting previously unselected package libz3-dev:amd64. 203s Preparing to unpack .../27-libz3-dev_4.8.12-3.1build1_amd64.deb ... 203s Unpacking libz3-dev:amd64 (4.8.12-3.1build1) ... 203s Selecting previously unselected package python3-z3. 203s Preparing to unpack .../28-python3-z3_4.8.12-3.1build1_amd64.deb ... 203s Unpacking python3-z3 (4.8.12-3.1build1) ... 203s Selecting previously unselected package z3. 203s Preparing to unpack .../29-z3_4.8.12-3.1build1_amd64.deb ... 203s Unpacking z3 (4.8.12-3.1build1) ... 204s Selecting previously unselected package autopkgtest-satdep. 204s Preparing to unpack .../30-5-autopkgtest-satdep.deb ... 204s Unpacking autopkgtest-satdep (0) ... 204s Setting up libgomp1:amd64 (14.2.0-7ubuntu1) ... 204s Setting up z3 (4.8.12-3.1build1) ... 204s Setting up libz3-4:amd64 (4.8.12-3.1build1) ... 204s Setting up libquadmath0:amd64 (14.2.0-7ubuntu1) ... 204s Setting up libmpc3:amd64 (1.3.1-1build2) ... 204s Setting up libubsan1:amd64 (14.2.0-7ubuntu1) ... 204s Setting up libhwasan0:amd64 (14.2.0-7ubuntu1) ... 204s Setting up libasan8:amd64 (14.2.0-7ubuntu1) ... 204s Setting up libtsan2:amd64 (14.2.0-7ubuntu1) ... 204s Setting up libisl23:amd64 (0.27-1) ... 204s Setting up libcc1-0:amd64 (14.2.0-7ubuntu1) ... 204s Setting up liblsan0:amd64 (14.2.0-7ubuntu1) ... 204s Setting up libitm1:amd64 (14.2.0-7ubuntu1) ... 204s Setting up libz3-dev:amd64 (4.8.12-3.1build1) ... 204s Setting up cpp-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 204s Setting up cpp-14 (14.2.0-7ubuntu1) ... 204s Setting up libgcc-14-dev:amd64 (14.2.0-7ubuntu1) ... 204s Setting up libstdc++-14-dev:amd64 (14.2.0-7ubuntu1) ... 204s Setting up python3-z3 (4.8.12-3.1build1) ... 204s Setting up cpp-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 204s Setting up cpp (4:14.1.0-2ubuntu1) ... 204s Setting up gcc-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 204s Setting up gcc-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 204s Setting up gcc-14 (14.2.0-7ubuntu1) ... 204s Setting up g++-14-x86-64-linux-gnu (14.2.0-7ubuntu1) ... 204s Setting up g++-x86-64-linux-gnu (4:14.1.0-2ubuntu1) ... 204s Setting up g++-14 (14.2.0-7ubuntu1) ... 204s Setting up gcc (4:14.1.0-2ubuntu1) ... 204s Setting up g++ (4:14.1.0-2ubuntu1) ... 204s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 204s Setting up build-essential (12.10ubuntu1) ... 204s Setting up autopkgtest-satdep (0) ... 204s Processing triggers for man-db (2.12.1-3) ... 204s Processing triggers for libc-bin (2.40-1ubuntu3) ... 209s (Reading database ... 76626 files and directories currently installed.) 209s Removing autopkgtest-satdep (0) ... 211s autopkgtest [12:05:54]: test z3-int-logic-test: [----------------------- 212s autopkgtest [12:05:55]: test z3-int-logic-test: -----------------------] 213s z3-int-logic-test PASS 213s autopkgtest [12:05:56]: test z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 213s autopkgtest [12:05:56]: test python3-z3-int-logic-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 The following NEW packages will be installed: 217s autopkgtest-satdep 217s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 217s Need to get 0 B/732 B of archives. 217s After this operation, 0 B of additional disk space will be used. 217s Get:1 /tmp/autopkgtest.5BjCap/6-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [732 B] 218s Selecting previously unselected package autopkgtest-satdep. 218s (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 ... 76626 files and directories currently installed.) 218s Preparing to unpack .../6-autopkgtest-satdep.deb ... 218s Unpacking autopkgtest-satdep (0) ... 218s Setting up autopkgtest-satdep (0) ... 219s (Reading database ... 76626 files and directories currently installed.) 219s Removing autopkgtest-satdep (0) ... 220s autopkgtest [12:06:03]: test python3-z3-int-logic-test: [----------------------- 220s autopkgtest [12:06:03]: test python3-z3-int-logic-test: -----------------------] 221s autopkgtest [12:06:04]: test python3-z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 221s python3-z3-int-logic-test PASS 221s autopkgtest [12:06:04]: @@@@@@@@@@@@@@@@@@@@ summary 221s import-z3-test PASS (superficial) 221s include-z3-test PASS (superficial) 221s run-z3-test PASS (superficial) 221s pkg-config-test PASS (superficial) 221s z3-int-logic-test PASS 221s python3-z3-int-logic-test PASS 230s nova [W] Skipping flock for amd64 230s Creating nova instance adt-plucky-amd64-z3-20241030-120223-juju-7f2275-prod-proposed-migration-environment-15-366e846f-55b2-4e99-a979-38f9390e39fd from image adt/ubuntu-plucky-amd64-server-20241029.img (UUID 38cf62dc-8d54-4e4f-bcab-db8084c89f55)... 230s nova [W] Skipping flock for amd64 230s Creating nova instance adt-plucky-amd64-z3-20241030-120223-juju-7f2275-prod-proposed-migration-environment-15-366e846f-55b2-4e99-a979-38f9390e39fd from image adt/ubuntu-plucky-amd64-server-20241029.img (UUID 38cf62dc-8d54-4e4f-bcab-db8084c89f55)...