0s autopkgtest [01:26:41]: starting date and time: 2025-02-16 01:26:41+0000
  0s autopkgtest [01:26:41]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  0s autopkgtest [01:26:41]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.o1fh28ie/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc,src:iproute2,src:php-twig,src:postgresql-17,src:postgresql-common,src:roundcube --apt-upgrade ott --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-s390x-26.secgroup --name adt-plucky-s390x-ott-20250216-012641-juju-7f2275-prod-proposed-migration-environment-20-f36a8ea0-7efb-4b8d-88cd-1cb288c53a4e --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-proposed-migration-s390x -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/
 99s autopkgtest [01:28:20]: testbed dpkg architecture: s390x
 99s autopkgtest [01:28:20]: testbed apt version: 2.9.28
100s autopkgtest [01:28:21]: @@@@@@@@@@@@@@@@@@@@ test bed setup
100s autopkgtest [01:28:21]: testbed release detected to be: None
101s autopkgtest [01:28:22]: updating testbed package index (apt update)
101s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB]
101s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
101s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
101s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
101s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB]
101s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [823 kB]
101s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [73.1 kB]
102s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B]
102s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [164 kB]
102s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B]
102s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [871 kB]
102s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3740 B]
102s Fetched 2062 kB in 1s (2115 kB/s)
102s Reading package lists...
103s Reading package lists...
103s Building dependency tree...
103s Reading state information...
103s Calculating upgrade...
103s The following packages were automatically installed and are no longer required:
103s   libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64
103s   linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic
103s   linux-modules-6.11.0-8-generic linux-tools-6.11.0-8
103s   linux-tools-6.11.0-8-generic
103s Use 'sudo apt autoremove' to remove them.
103s The following packages will be upgraded:
103s   dash gcc-14-base libatomic1 libgcc-s1 libstdc++6 libtasn1-6 libxdmcp6
103s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
103s Need to get 1155 kB of archives.
103s After this operation, 16.4 kB of additional disk space will be used.
103s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x dash s390x 0.5.12-12ubuntu1 [100 kB]
104s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libatomic1 s390x 14.2.0-17ubuntu1 [9430 B]
104s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-base s390x 14.2.0-17ubuntu1 [53.5 kB]
104s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libstdc++6 s390x 14.2.0-17ubuntu1 [896 kB]
104s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-s1 s390x 14.2.0-17ubuntu1 [35.9 kB]
104s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libtasn1-6 s390x 4.20.0-2 [48.6 kB]
104s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libxdmcp6 s390x 1:1.1.5-1 [11.0 kB]
104s Preconfiguring packages ...
104s Fetched 1155 kB in 1s (1892 kB/s)
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 ... 80969 files and directories currently installed.)
104s Preparing to unpack .../dash_0.5.12-12ubuntu1_s390x.deb ...
104s Unpacking dash (0.5.12-12ubuntu1) over (0.5.12-9ubuntu1) ...
104s Setting up dash (0.5.12-12ubuntu1) ...
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 ... 80969 files and directories currently installed.)
104s Preparing to unpack .../libatomic1_14.2.0-17ubuntu1_s390x.deb ...
104s Unpacking libatomic1:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
104s Preparing to unpack .../gcc-14-base_14.2.0-17ubuntu1_s390x.deb ...
104s Unpacking gcc-14-base:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
104s Setting up gcc-14-base:s390x (14.2.0-17ubuntu1) ...
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 ... 80969 files and directories currently installed.)
104s Preparing to unpack .../libstdc++6_14.2.0-17ubuntu1_s390x.deb ...
105s Unpacking libstdc++6:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
105s Setting up libstdc++6:s390x (14.2.0-17ubuntu1) ...
105s (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 ... 80969 files and directories currently installed.)
105s Preparing to unpack .../libgcc-s1_14.2.0-17ubuntu1_s390x.deb ...
105s Unpacking libgcc-s1:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
105s Setting up libgcc-s1:s390x (14.2.0-17ubuntu1) ...
105s (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 ... 80969 files and directories currently installed.)
105s Preparing to unpack .../libtasn1-6_4.20.0-2_s390x.deb ...
105s Unpacking libtasn1-6:s390x (4.20.0-2) over (4.19.0-3build1) ...
105s Preparing to unpack .../libxdmcp6_1%3a1.1.5-1_s390x.deb ...
105s Unpacking libxdmcp6:s390x (1:1.1.5-1) over (1:1.1.3-0ubuntu6) ...
105s Setting up libxdmcp6:s390x (1:1.1.5-1) ...
105s Setting up libatomic1:s390x (14.2.0-17ubuntu1) ...
105s Setting up libtasn1-6:s390x (4.20.0-2) ...
105s Processing triggers for libc-bin (2.40-4ubuntu1) ...
105s Processing triggers for man-db (2.13.0-1) ...
105s Processing triggers for debianutils (5.21) ...
105s Reading package lists...
106s Building dependency tree...
106s Reading state information...
106s The following packages will be REMOVED:
106s   libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64*
106s   linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic*
106s   linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8*
106s   linux-tools-6.11.0-8-generic*
106s 0 upgraded, 0 newly installed, 9 to remove and 6 not upgraded.
106s After this operation, 167 MB disk space will be freed.
106s (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 ... 80969 files and directories currently installed.)
106s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ...
106s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ...
106s Removing libpython3.12t64:s390x (3.12.9-1) ...
106s Removing libpython3.12-stdlib:s390x (3.12.9-1) ...
106s Removing libnsl2:s390x (1.3.0-3build3) ...
106s Removing libpython3.12-minimal:s390x (3.12.9-1) ...
106s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ...
106s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ...
107s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
107s Processing triggers for libc-bin (2.40-4ubuntu1) ...
107s (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 ... 55869 files and directories currently installed.)
107s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ...
107s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
108s autopkgtest [01:28:29]: upgrading testbed (apt dist-upgrade and autopurge)
108s Reading package lists...
108s Building dependency tree...
108s Reading state information...
108s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
108s Starting 2 pkgProblemResolver with broken count: 0
108s Done
108s Entering ResolveByKeep
108s 
109s The following packages will be upgraded:
109s   iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales
109s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
109s Need to get 10.7 MB of archives.
109s After this operation, 305 kB of additional disk space will be used.
109s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu1 [24.3 kB]
109s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu1 [1679 kB]
109s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu1 [4246 kB]
109s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu1 [2891 kB]
110s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu1 [672 kB]
110s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB]
110s Preconfiguring packages ...
110s Fetched 10.7 MB in 1s (9911 kB/s)
110s (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 ... 55867 files and directories currently installed.)
110s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_s390x.deb ...
110s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
110s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_s390x.deb ...
110s Unpacking libc6-dev:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
110s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ...
110s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
110s Preparing to unpack .../libc6_2.41-1ubuntu1_s390x.deb ...
110s Checking for services that may need to be restarted...
110s Checking init scripts...
110s Checking for services that may need to be restarted...
110s Checking init scripts...
110s Stopping some services possibly affected by the upgrade (will be restarted later):
110s   cron: stopping...done.
110s 
110s Unpacking libc6:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
110s Setting up libc6:s390x (2.41-1ubuntu1) ...
110s Checking for services that may need to be restarted...
110s Checking init scripts...
110s Restarting services possibly affected by the upgrade:
111s   cron: restarting...done.
111s 
111s Services restarted successfully.
111s (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 ... 55868 files and directories currently installed.)
111s Preparing to unpack .../libc-bin_2.41-1ubuntu1_s390x.deb ...
111s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
111s Setting up libc-bin (2.41-1ubuntu1) ...
111s (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 ... 55868 files and directories currently installed.)
111s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ...
111s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ...
111s Setting up iproute2 (6.13.0-1ubuntu1) ...
111s Setting up locales (2.41-1ubuntu1) ...
111s Installing new version of config file /etc/locale.alias ...
111s Generating locales (this might take a while)...
112s   en_US.UTF-8... done
112s Generation complete.
112s Setting up libc-dev-bin (2.41-1ubuntu1) ...
112s Setting up libc6-dev:s390x (2.41-1ubuntu1) ...
112s Processing triggers for man-db (2.13.0-1) ...
113s Processing triggers for systemd (257.2-3ubuntu1) ...
114s Reading package lists...
114s Building dependency tree...
114s Reading state information...
115s Starting pkgProblemResolver with broken count: 0
115s Starting 2 pkgProblemResolver with broken count: 0
115s Done
115s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
115s autopkgtest [01:28:36]: rebooting testbed after setup commands that affected boot
135s autopkgtest [01:28:56]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb  4 15:05:57 UTC 2025
137s autopkgtest [01:28:58]: @@@@@@@@@@@@@@@@@@@@ apt-source ott
139s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1 (dsc) [2121 B]
139s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1 (tar) [1142 kB]
139s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1 (diff) [6960 B]
140s gpgv: Signature made Sat Jan  4 10:24:17 2025 UTC
140s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
140s gpgv:                issuer "julien.puydt@laposte.net"
140s gpgv: Can't check signature: No public key
140s dpkg-source: warning: cannot verify inline signature for ./ott_0.34+ds-1.dsc: no acceptable signature found
140s autopkgtest [01:29:01]: testing package ott version 0.34+ds-1
140s autopkgtest [01:29:01]: build not needed
141s autopkgtest [01:29:02]: test command1: preparing testbed
141s Reading package lists...
141s Building dependency tree...
141s Reading state information...
141s Starting pkgProblemResolver with broken count: 0
141s Starting 2 pkgProblemResolver with broken count: 0
141s Done
142s The following NEW packages will be installed:
142s   coq cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14
142s   gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0
142s   libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-ott libcoq-stdlib
142s   libfindlib-ocaml libgcc-14-dev libgomp1 libisl23 libitm1 libmpc3
142s   libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libubsan1 libzarith-ocaml
142s   libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp
142s 0 upgraded, 31 newly installed, 0 to remove and 0 not upgraded.
142s Need to get 267 MB of archives.
142s After this operation, 874 MB of additional disk space will be used.
142s Get:1 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-stdlib s390x 8.20.0+dfsg-1 [27.0 MB]
145s Get:2 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB]
145s Get:3 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB]
145s Get:4 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml s390x 1.9.6-3build1 [189 kB]
145s Get:5 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml s390x 1.14-1 [125 kB]
145s Get:6 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-core-ocaml s390x 8.20.0+dfsg-1 [27.2 MB]
146s Get:7 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB]
147s Get:8 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB]
148s Get:9 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB]
148s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB]
148s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB]
148s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB]
148s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB]
149s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B]
149s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B]
149s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB]
149s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 14.2.0-17ubuntu1 [50.7 kB]
149s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 14.2.0-17ubuntu1 [151 kB]
149s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 14.2.0-17ubuntu1 [30.9 kB]
149s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 14.2.0-17ubuntu1 [2964 kB]
149s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 14.2.0-17ubuntu1 [1184 kB]
149s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB]
149s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB]
149s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB]
150s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B]
150s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B]
150s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB]
150s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB]
150s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-findlib s390x 1.9.6-3build1 [658 kB]
150s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x coq s390x 8.20.0+dfsg-1 [91.2 MB]
155s Get:31 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-ott s390x 0.34+ds-1 [183 kB]
156s Fetched 267 MB in 14s (19.6 MB/s)
156s Selecting previously unselected package libcoq-stdlib.
156s (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 ... 55869 files and directories currently installed.)
156s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_s390x.deb ...
156s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
156s Selecting previously unselected package libstdlib-ocaml.
156s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_s390x.deb ...
156s Unpacking libstdlib-ocaml (5.2.0-3) ...
156s Selecting previously unselected package ocaml-base.
156s Preparing to unpack .../02-ocaml-base_5.2.0-3_s390x.deb ...
156s Unpacking ocaml-base (5.2.0-3) ...
156s Selecting previously unselected package libfindlib-ocaml.
156s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_s390x.deb ...
156s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
156s Selecting previously unselected package libzarith-ocaml.
156s Preparing to unpack .../04-libzarith-ocaml_1.14-1_s390x.deb ...
156s Unpacking libzarith-ocaml (1.14-1) ...
157s Selecting previously unselected package libcoq-core-ocaml.
157s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb ...
157s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
157s Selecting previously unselected package libstdlib-ocaml-dev.
157s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ...
157s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
157s Selecting previously unselected package libcompiler-libs-ocaml-dev.
157s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ...
157s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
157s Selecting previously unselected package ocaml-interp.
157s Preparing to unpack .../08-ocaml-interp_5.2.0-3_s390x.deb ...
157s Unpacking ocaml-interp (5.2.0-3) ...
157s Selecting previously unselected package libncurses-dev:s390x.
157s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_s390x.deb ...
157s Unpacking libncurses-dev:s390x (6.5+20250125-2) ...
157s Selecting previously unselected package libisl23:s390x.
157s Preparing to unpack .../10-libisl23_0.27-1_s390x.deb ...
157s Unpacking libisl23:s390x (0.27-1) ...
157s Selecting previously unselected package libmpc3:s390x.
157s Preparing to unpack .../11-libmpc3_1.3.1-1build2_s390x.deb ...
157s Unpacking libmpc3:s390x (1.3.1-1build2) ...
157s Selecting previously unselected package cpp-14-s390x-linux-gnu.
157s Preparing to unpack .../12-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ...
157s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package cpp-14.
158s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_s390x.deb ...
158s Unpacking cpp-14 (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package cpp-s390x-linux-gnu.
158s Preparing to unpack .../14-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
158s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
158s Selecting previously unselected package cpp.
158s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ...
158s Unpacking cpp (4:14.2.0-1ubuntu1) ...
158s Selecting previously unselected package libcc1-0:s390x.
158s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_s390x.deb ...
158s Unpacking libcc1-0:s390x (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package libgomp1:s390x.
158s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_s390x.deb ...
158s Unpacking libgomp1:s390x (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package libitm1:s390x.
158s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_s390x.deb ...
158s Unpacking libitm1:s390x (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package libasan8:s390x.
158s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_s390x.deb ...
158s Unpacking libasan8:s390x (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package libubsan1:s390x.
158s Preparing to unpack .../20-libubsan1_14.2.0-17ubuntu1_s390x.deb ...
158s Unpacking libubsan1:s390x (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package libgcc-14-dev:s390x.
158s Preparing to unpack .../21-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ...
158s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package gcc-14-s390x-linux-gnu.
158s Preparing to unpack .../22-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ...
158s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package gcc-14.
158s Preparing to unpack .../23-gcc-14_14.2.0-17ubuntu1_s390x.deb ...
158s Unpacking gcc-14 (14.2.0-17ubuntu1) ...
158s Selecting previously unselected package gcc-s390x-linux-gnu.
158s Preparing to unpack .../24-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
158s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
158s Selecting previously unselected package gcc.
158s Preparing to unpack .../25-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ...
158s Unpacking gcc (4:14.2.0-1ubuntu1) ...
158s Selecting previously unselected package libzstd-dev:s390x.
158s Preparing to unpack .../26-libzstd-dev_1.5.6+dfsg-2_s390x.deb ...
158s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ...
158s Selecting previously unselected package ocaml.
158s Preparing to unpack .../27-ocaml_5.2.0-3_s390x.deb ...
158s Unpacking ocaml (5.2.0-3) ...
159s Selecting previously unselected package ocaml-findlib.
159s Preparing to unpack .../28-ocaml-findlib_1.9.6-3build1_s390x.deb ...
159s Unpacking ocaml-findlib (1.9.6-3build1) ...
159s Selecting previously unselected package coq.
159s Preparing to unpack .../29-coq_8.20.0+dfsg-1_s390x.deb ...
159s Unpacking coq (8.20.0+dfsg-1) ...
160s Selecting previously unselected package libcoq-ott.
160s Preparing to unpack .../30-libcoq-ott_0.34+ds-1_s390x.deb ...
160s Unpacking libcoq-ott (0.34+ds-1) ...
160s Setting up libncurses-dev:s390x (6.5+20250125-2) ...
160s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ...
160s Setting up libgomp1:s390x (14.2.0-17ubuntu1) ...
160s Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
160s Setting up libstdlib-ocaml (5.2.0-3) ...
160s Setting up libmpc3:s390x (1.3.1-1build2) ...
160s Setting up ocaml-base (5.2.0-3) ...
160s Setting up libubsan1:s390x (14.2.0-17ubuntu1) ...
160s Setting up libasan8:s390x (14.2.0-17ubuntu1) ...
160s Setting up libisl23:s390x (0.27-1) ...
160s Setting up libcc1-0:s390x (14.2.0-17ubuntu1) ...
160s Setting up libitm1:s390x (14.2.0-17ubuntu1) ...
160s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
160s Setting up libcoq-ott (0.34+ds-1) ...
160s Setting up libfindlib-ocaml (1.9.6-3build1) ...
160s Setting up libzarith-ocaml (1.14-1) ...
160s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
160s Setting up ocaml-interp (5.2.0-3) ...
160s Setting up ocaml-findlib (1.9.6-3build1) ...
160s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
160s Setting up cpp-14 (14.2.0-17ubuntu1) ...
160s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
160s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ...
160s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
160s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
160s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
160s Setting up cpp (4:14.2.0-1ubuntu1) ...
160s Setting up gcc-14 (14.2.0-17ubuntu1) ...
160s Setting up gcc (4:14.2.0-1ubuntu1) ...
160s Setting up ocaml (5.2.0-3) ...
160s Setting up coq (8.20.0+dfsg-1) ...
160s Processing triggers for man-db (2.13.0-1) ...
160s Processing triggers for libc-bin (2.41-1ubuntu1) ...
161s autopkgtest [01:29:22]: test command1: coqtop -batch -rifrom Ott ott_list
161s autopkgtest [01:29:22]: test command1: [-----------------------
162s autopkgtest [01:29:23]: test command1: -----------------------]
163s command1             PASS
163s autopkgtest [01:29:24]: test command1:  - - - - - - - - - - results - - - - - - - - - -
163s autopkgtest [01:29:24]: @@@@@@@@@@@@@@@@@@@@ summary
163s command1             PASS
179s nova [W] Using flock in prodstack6-s390x
179s flock: timeout while waiting to get lock
179s Creating nova instance adt-plucky-s390x-ott-20250216-012641-juju-7f2275-prod-proposed-migration-environment-20-f36a8ea0-7efb-4b8d-88cd-1cb288c53a4e from image adt/ubuntu-plucky-s390x-server-20250215.img (UUID 099dc609-2061-4009-a65b-d554466baca0)...
179s nova [W] Timed out waiting for 616a0370-c9cf-4757-b1a2-2ffab6f3e6d5 to get deleted.