0s autopkgtest [16:26:45]: starting date and time: 2025-03-15 16:26:45+0000
  0s autopkgtest [16:26:45]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  0s autopkgtest [16:26:45]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.8h_iwakm/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade ott --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-s390x-10.secgroup --name adt-plucky-s390x-ott-20250315-162645-juju-7f2275-prod-proposed-migration-environment-15-8f53a69c-0aa3-4a98-9765-8150381b55e3 --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --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/
 90s autopkgtest [16:28:15]: testbed dpkg architecture: s390x
 90s autopkgtest [16:28:15]: testbed apt version: 2.9.33
 90s autopkgtest [16:28:15]: @@@@@@@@@@@@@@@@@@@@ test bed setup
 91s autopkgtest [16:28:16]: testbed release detected to be: None
 91s autopkgtest [16:28:16]: updating testbed package index (apt update)
 92s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB]
 92s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
 92s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
 92s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
 92s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB]
 92s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB]
 93s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB]
 93s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [113 kB]
 93s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x c-n-f Metadata [1824 B]
 93s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x c-n-f Metadata [116 B]
 93s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [320 kB]
 93s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x c-n-f Metadata [13.4 kB]
 93s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3776 B]
 93s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x c-n-f Metadata [240 B]
 93s Fetched 1073 kB in 2s (625 kB/s)
 94s Reading package lists...
 94s + lsb_release --codename --short
 94s + RELEASE=plucky
 94s + cat
 94s + [ plucky != trusty ]
 94s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade
 94s Reading package lists...
 95s Building dependency tree...
 95s Reading state information...
 95s Calculating upgrade...
 95s Calculating upgrade...
 95s The following packages were automatically installed and are no longer required:
 95s   libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64
 95s   linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic
 95s   linux-modules-6.11.0-8-generic linux-tools-6.11.0-8
 95s   linux-tools-6.11.0-8-generic
 95s Use 'sudo apt autoremove' to remove them.
 95s The following packages will be upgraded:
 95s   pinentry-curses python3-jinja2 strace
 95s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 95s Need to get 652 kB of archives.
 95s After this operation, 27.6 kB of additional disk space will be used.
 95s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x strace s390x 6.13+ds-1ubuntu1 [500 kB]
 96s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x pinentry-curses s390x 1.3.1-2ubuntu3 [42.9 kB]
 96s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x python3-jinja2 all 3.1.5-2ubuntu1 [109 kB]
 96s Fetched 652 kB in 1s (571 kB/s)
 96s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 81428 files and directories currently installed.)
 96s Preparing to unpack .../strace_6.13+ds-1ubuntu1_s390x.deb ...
 96s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ...
 96s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_s390x.deb ...
 96s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ...
 96s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ...
 97s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ...
 97s Setting up pinentry-curses (1.3.1-2ubuntu3) ...
 97s Setting up python3-jinja2 (3.1.5-2ubuntu1) ...
 97s Setting up strace (6.13+ds-1ubuntu1) ...
 97s Processing triggers for man-db (2.13.0-1) ...
 97s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref
 97s + /usr/lib/apt/apt-helper analyze-pattern ?true
 97s + uname -r
 97s + sed s/\./\\./g
 97s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.*
 97s + apt list ?obsolete
 97s + tail -n+2
 97s + cut -d/ -f1
 97s + grep -v ^linux-.*6\.14\.0-10-generic.*
 97s + obsolete_pkgs=linux-headers-6.11.0-8-generic
 97s linux-headers-6.11.0-8
 97s linux-modules-6.11.0-8-generic
 97s linux-tools-6.11.0-8-generic
 97s linux-tools-6.11.0-8
 97s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8
 97s Reading package lists...
 98s Building dependency tree...
 98s Reading state information...
 98s Solving dependencies...
 98s The following packages will be REMOVED:
 98s   libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64*
 98s   linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic*
 98s   linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8*
 98s   linux-tools-6.11.0-8-generic*
 98s 0 upgraded, 0 newly installed, 9 to remove and 5 not upgraded.
 98s After this operation, 167 MB disk space will be freed.
 98s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 81428 files and directories currently installed.)
 98s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ...
 98s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ...
 98s Removing libpython3.12t64:s390x (3.12.9-1) ...
 98s Removing libpython3.12-stdlib:s390x (3.12.9-1) ...
 98s Removing libnsl2:s390x (1.3.0-3build3) ...
 98s Removing libpython3.12-minimal:s390x (3.12.9-1) ...
 98s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ...
 98s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ...
 99s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
 99s Processing triggers for libc-bin (2.41-1ubuntu1) ...
 99s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 56328 files and directories currently installed.)
 99s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ...
 99s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
 99s + grep -q trusty /etc/lsb-release
 99s + [ ! -d /usr/share/doc/unattended-upgrades ]
 99s + [ ! -d /usr/share/doc/lxd ]
 99s + [ ! -d /usr/share/doc/lxd-client ]
 99s + [ ! -d /usr/share/doc/snapd ]
 99s + type iptables
 99s + cat
 99s + chmod 755 /etc/rc.local
 99s + . /etc/rc.local
 99s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu
 99s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP
 99s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP
 99s + uname -m
 99s + [ s390x = ppc64le ]
 99s + [ -d /run/systemd/system ]
 99s + systemd-detect-virt --quiet --vm
 99s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/
 99s + cat
 99s + grep -q lz4 /etc/initramfs-tools/initramfs.conf
 99s + echo COMPRESS=lz4
 99s autopkgtest [16:28:24]: upgrading testbed (apt dist-upgrade and autopurge)
 99s Reading package lists...
 99s Building dependency tree...
 99s Reading state information...
100s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
100s Starting 2 pkgProblemResolver with broken count: 0
100s Done
100s Entering ResolveByKeep
100s 
100s Calculating upgrade...
100s The following packages will be upgraded:
100s   libc-bin libc-dev-bin libc6 libc6-dev locales
100s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
100s Need to get 9512 kB of archives.
100s After this operation, 8192 B of additional disk space will be used.
100s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu2 [1678 kB]
102s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu2 [24.3 kB]
102s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu2 [2892 kB]
105s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu2 [671 kB]
106s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu2 [4246 kB]
111s Preconfiguring packages ...
111s Fetched 9512 kB in 11s (875 kB/s)
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 ... 56326 files and directories currently installed.)
111s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_s390x.deb ...
111s Unpacking libc6-dev:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
111s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_s390x.deb ...
111s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
111s Preparing to unpack .../libc6_2.41-1ubuntu2_s390x.deb ...
111s Unpacking libc6:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
112s Setting up libc6:s390x (2.41-1ubuntu2) ...
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 ... 56326 files and directories currently installed.)
112s Preparing to unpack .../libc-bin_2.41-1ubuntu2_s390x.deb ...
112s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
112s Setting up libc-bin (2.41-1ubuntu2) ...
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 ... 56326 files and directories currently installed.)
112s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ...
112s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
112s Setting up locales (2.41-1ubuntu2) ...
112s Generating locales (this might take a while)...
113s   en_US.UTF-8... done
113s Generation complete.
113s Setting up libc-dev-bin (2.41-1ubuntu2) ...
113s Setting up libc6-dev:s390x (2.41-1ubuntu2) ...
113s Processing triggers for man-db (2.13.0-1) ...
114s Processing triggers for systemd (257.3-1ubuntu3) ...
115s Reading package lists...
115s Building dependency tree...
115s Reading state information...
115s Starting pkgProblemResolver with broken count: 0
115s Starting 2 pkgProblemResolver with broken count: 0
115s Done
115s Solving dependencies...
115s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
115s autopkgtest [16:28:40]: rebooting testbed after setup commands that affected boot
136s autopkgtest [16:29:01]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP Wed Mar 12 14:53:49 UTC 2025
139s autopkgtest [16:29:04]: @@@@@@@@@@@@@@@@@@@@ apt-source ott
142s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1build3 (dsc) [2108 B]
142s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1build3 (tar) [1142 kB]
142s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1build3 (diff) [7124 B]
142s gpgv: Signature made Tue Feb 18 20:04:27 2025 UTC
142s gpgv:                using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37
142s gpgv: Can't check signature: No public key
142s dpkg-source: warning: cannot verify inline signature for ./ott_0.34+ds-1build3.dsc: no acceptable signature found
142s autopkgtest [16:29:07]: testing package ott version 0.34+ds-1build3
143s autopkgtest [16:29:08]: build not needed
144s autopkgtest [16:29:09]: test command1: preparing testbed
144s Reading package lists...
144s Building dependency tree...
144s Reading state information...
144s Starting pkgProblemResolver with broken count: 0
144s Starting 2 pkgProblemResolver with broken count: 0
144s Done
145s The following NEW packages will be installed:
145s   coq cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14
145s   gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0
145s   libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-ott libcoq-stdlib
145s   libfindlib-ocaml libgcc-14-dev libgomp1 libisl23 libitm1 libmpc3
145s   libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libubsan1 libzarith-ocaml
145s   libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp
145s 0 upgraded, 31 newly installed, 0 to remove and 0 not upgraded.
145s Need to get 259 MB of archives.
145s After this operation, 855 MB of additional disk space will be used.
145s Get:1 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-stdlib s390x 8.20.1+dfsg-1 [27.0 MB]
178s Get:2 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB]
178s Get:3 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB]
179s Get:4 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml s390x 1.9.8-1 [225 kB]
179s Get:5 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml s390x 1.14-1build1 [126 kB]
179s Get:6 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-core-ocaml s390x 8.20.1+dfsg-1 [27.3 MB]
213s Get:7 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB]
221s Get:8 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB]
272s Get:9 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB]
282s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250216-2 [407 kB]
282s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB]
283s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB]
283s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB]
294s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B]
294s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B]
294s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB]
294s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250222-0ubuntu1 [49.2 kB]
294s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250222-0ubuntu1 [152 kB]
294s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250222-0ubuntu1 [31.2 kB]
294s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250222-0ubuntu1 [2970 kB]
298s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250222-0ubuntu1 [1212 kB]
300s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB]
301s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB]
324s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB]
325s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B]
325s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B]
325s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB]
325s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB]
347s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-findlib s390x 1.9.8-1 [679 kB]
348s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x coq s390x 8.20.1+dfsg-1 [82.8 MB]
434s Get:31 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-ott s390x 0.34+ds-1build3 [183 kB]
435s Fetched 259 MB in 4min 50s (895 kB/s)
435s Selecting previously unselected package libcoq-stdlib.
435s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 56326 files and directories currently installed.)
435s Preparing to unpack .../00-libcoq-stdlib_8.20.1+dfsg-1_s390x.deb ...
435s Unpacking libcoq-stdlib (8.20.1+dfsg-1) ...
436s Selecting previously unselected package libstdlib-ocaml.
436s Preparing to unpack .../01-libstdlib-ocaml_5.3.0-2_s390x.deb ...
436s Unpacking libstdlib-ocaml (5.3.0-2) ...
436s Selecting previously unselected package ocaml-base.
436s Preparing to unpack .../02-ocaml-base_5.3.0-2_s390x.deb ...
436s Unpacking ocaml-base (5.3.0-2) ...
436s Selecting previously unselected package libfindlib-ocaml.
436s Preparing to unpack .../03-libfindlib-ocaml_1.9.8-1_s390x.deb ...
436s Unpacking libfindlib-ocaml (1.9.8-1) ...
436s Selecting previously unselected package libzarith-ocaml.
436s Preparing to unpack .../04-libzarith-ocaml_1.14-1build1_s390x.deb ...
436s Unpacking libzarith-ocaml (1.14-1build1) ...
436s Selecting previously unselected package libcoq-core-ocaml.
436s Preparing to unpack .../05-libcoq-core-ocaml_8.20.1+dfsg-1_s390x.deb ...
436s Unpacking libcoq-core-ocaml (8.20.1+dfsg-1) ...
436s Selecting previously unselected package libstdlib-ocaml-dev.
436s Preparing to unpack .../06-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ...
436s Unpacking libstdlib-ocaml-dev (5.3.0-2) ...
436s Selecting previously unselected package libcompiler-libs-ocaml-dev.
436s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ...
436s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ...
436s Selecting previously unselected package ocaml-interp.
436s Preparing to unpack .../08-ocaml-interp_5.3.0-2_s390x.deb ...
436s Unpacking ocaml-interp (5.3.0-2) ...
436s Selecting previously unselected package libncurses-dev:s390x.
436s Preparing to unpack .../09-libncurses-dev_6.5+20250216-2_s390x.deb ...
436s Unpacking libncurses-dev:s390x (6.5+20250216-2) ...
436s Selecting previously unselected package libisl23:s390x.
436s Preparing to unpack .../10-libisl23_0.27-1_s390x.deb ...
436s Unpacking libisl23:s390x (0.27-1) ...
436s Selecting previously unselected package libmpc3:s390x.
436s Preparing to unpack .../11-libmpc3_1.3.1-1build2_s390x.deb ...
436s Unpacking libmpc3:s390x (1.3.1-1build2) ...
436s Selecting previously unselected package cpp-14-s390x-linux-gnu.
436s Preparing to unpack .../12-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ...
436s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ...
437s Selecting previously unselected package cpp-14.
437s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu3_s390x.deb ...
437s Unpacking cpp-14 (14.2.0-17ubuntu3) ...
437s Selecting previously unselected package cpp-s390x-linux-gnu.
437s Preparing to unpack .../14-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
437s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
437s Selecting previously unselected package cpp.
437s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ...
437s Unpacking cpp (4:14.2.0-1ubuntu1) ...
437s Selecting previously unselected package libcc1-0:s390x.
437s Preparing to unpack .../16-libcc1-0_15-20250222-0ubuntu1_s390x.deb ...
437s Unpacking libcc1-0:s390x (15-20250222-0ubuntu1) ...
437s Selecting previously unselected package libgomp1:s390x.
437s Preparing to unpack .../17-libgomp1_15-20250222-0ubuntu1_s390x.deb ...
437s Unpacking libgomp1:s390x (15-20250222-0ubuntu1) ...
437s Selecting previously unselected package libitm1:s390x.
437s Preparing to unpack .../18-libitm1_15-20250222-0ubuntu1_s390x.deb ...
437s Unpacking libitm1:s390x (15-20250222-0ubuntu1) ...
437s Selecting previously unselected package libasan8:s390x.
437s Preparing to unpack .../19-libasan8_15-20250222-0ubuntu1_s390x.deb ...
437s Unpacking libasan8:s390x (15-20250222-0ubuntu1) ...
437s Selecting previously unselected package libubsan1:s390x.
437s Preparing to unpack .../20-libubsan1_15-20250222-0ubuntu1_s390x.deb ...
437s Unpacking libubsan1:s390x (15-20250222-0ubuntu1) ...
437s Selecting previously unselected package libgcc-14-dev:s390x.
437s Preparing to unpack .../21-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ...
437s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ...
437s Selecting previously unselected package gcc-14-s390x-linux-gnu.
437s Preparing to unpack .../22-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ...
437s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ...
437s Selecting previously unselected package gcc-14.
437s Preparing to unpack .../23-gcc-14_14.2.0-17ubuntu3_s390x.deb ...
437s Unpacking gcc-14 (14.2.0-17ubuntu3) ...
437s Selecting previously unselected package gcc-s390x-linux-gnu.
437s Preparing to unpack .../24-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
437s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
437s Selecting previously unselected package gcc.
437s Preparing to unpack .../25-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ...
437s Unpacking gcc (4:14.2.0-1ubuntu1) ...
437s Selecting previously unselected package libzstd-dev:s390x.
437s Preparing to unpack .../26-libzstd-dev_1.5.6+dfsg-2_s390x.deb ...
437s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ...
437s Selecting previously unselected package ocaml.
437s Preparing to unpack .../27-ocaml_5.3.0-2_s390x.deb ...
437s Unpacking ocaml (5.3.0-2) ...
438s Selecting previously unselected package ocaml-findlib.
438s Preparing to unpack .../28-ocaml-findlib_1.9.8-1_s390x.deb ...
438s Unpacking ocaml-findlib (1.9.8-1) ...
438s Selecting previously unselected package coq.
438s Preparing to unpack .../29-coq_8.20.1+dfsg-1_s390x.deb ...
438s Unpacking coq (8.20.1+dfsg-1) ...
439s Selecting previously unselected package libcoq-ott.
439s Preparing to unpack .../30-libcoq-ott_0.34+ds-1build3_s390x.deb ...
439s Unpacking libcoq-ott (0.34+ds-1build3) ...
439s Setting up libncurses-dev:s390x (6.5+20250216-2) ...
439s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ...
439s Setting up libgomp1:s390x (15-20250222-0ubuntu1) ...
439s Setting up libcoq-stdlib (8.20.1+dfsg-1) ...
439s Setting up libstdlib-ocaml (5.3.0-2) ...
439s Setting up libmpc3:s390x (1.3.1-1build2) ...
439s Setting up ocaml-base (5.3.0-2) ...
439s Setting up libubsan1:s390x (15-20250222-0ubuntu1) ...
439s Setting up libasan8:s390x (15-20250222-0ubuntu1) ...
439s Setting up libisl23:s390x (0.27-1) ...
439s Setting up libcc1-0:s390x (15-20250222-0ubuntu1) ...
439s Setting up libitm1:s390x (15-20250222-0ubuntu1) ...
439s Setting up libstdlib-ocaml-dev (5.3.0-2) ...
439s Setting up libcoq-ott (0.34+ds-1build3) ...
439s Setting up libfindlib-ocaml (1.9.8-1) ...
439s Setting up libzarith-ocaml (1.14-1build1) ...
439s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ...
439s Setting up ocaml-interp (5.3.0-2) ...
439s Setting up ocaml-findlib (1.9.8-1) ...
439s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ...
439s Setting up cpp-14 (14.2.0-17ubuntu3) ...
439s Setting up libcoq-core-ocaml (8.20.1+dfsg-1) ...
439s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ...
439s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
439s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ...
439s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
439s Setting up cpp (4:14.2.0-1ubuntu1) ...
439s Setting up gcc-14 (14.2.0-17ubuntu3) ...
439s Setting up gcc (4:14.2.0-1ubuntu1) ...
439s Setting up ocaml (5.3.0-2) ...
439s Setting up coq (8.20.1+dfsg-1) ...
439s Processing triggers for man-db (2.13.0-1) ...
440s Processing triggers for libc-bin (2.41-1ubuntu2) ...
441s autopkgtest [16:34:06]: test command1: coqtop -batch -rifrom Ott ott_list
441s autopkgtest [16:34:06]: test command1: [-----------------------
442s autopkgtest [16:34:06]: test command1: -----------------------]
442s command1             PASS
442s autopkgtest [16:34:07]: test command1:  - - - - - - - - - - results - - - - - - - - - -
442s autopkgtest [16:34:07]: @@@@@@@@@@@@@@@@@@@@ summary
442s command1             PASS
461s nova [W] Using flock in prodstack6-s390x
461s Creating nova instance adt-plucky-s390x-ott-20250315-162645-juju-7f2275-prod-proposed-migration-environment-15-8f53a69c-0aa3-4a98-9765-8150381b55e3 from image adt/ubuntu-plucky-s390x-server-20250315.img (UUID 3d3557fa-fd0f-4bba-9b89-8d5964e09f61)...
461s nova [W] Timed out waiting for ed9042da-1bf2-43da-8b87-06ae3a2f2c2e to get deleted.