0s autopkgtest [18:51:11]: starting date and time: 2024-06-28 18:51:11+0000
  0s autopkgtest [18:51:11]: git checkout: 85adf9a1 setup-testbed: prevent /tmp from getting a tmpfs mount
  0s autopkgtest [18:51:11]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.ex8otud8/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade coqprime --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.39-3.1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-ppc64el-8.secgroup --name adt-oracular-ppc64el-coqprime-20240628-185106-juju-7f2275-prod-proposed-migration-environment-2-a62d3ed0-1e41-4ba6-ac9f-751c53d16687 --image adt/ubuntu-oracular-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --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/
178s autopkgtest [18:54:09]: testbed dpkg architecture: ppc64el
178s autopkgtest [18:54:09]: testbed apt version: 2.9.5
178s autopkgtest [18:54:09]: @@@@@@@@@@@@@@@@@@@@ test bed setup
185s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [110 kB]
185s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [50.1 kB]
185s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B]
185s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [7052 B]
185s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [377 kB]
185s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el Packages [87.8 kB]
185s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el Packages [1368 B]
185s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el Packages [401 kB]
185s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el Packages [1768 B]
185s Fetched 1040 kB in 1s (1194 kB/s)
185s Reading package lists...
194s Reading package lists...
194s Building dependency tree...
194s Reading state information...
194s Calculating upgrade...
194s The following packages will be upgraded:
194s   base-files libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales
194s   motd-news-config
194s 8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
194s Need to get 10.2 MB of archives.
194s After this operation, 1841 kB disk space will be freed.
194s Get:1 http://ftpmaster.internal/ubuntu oracular/main ppc64el motd-news-config all 13.3ubuntu2 [5416 B]
194s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-devtools ppc64el 2.39-3.1ubuntu2 [29.5 kB]
195s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6-dev ppc64el 2.39-3.1ubuntu2 [1982 kB]
195s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-dev-bin ppc64el 2.39-3.1ubuntu2 [21.0 kB]
195s Get:5 http://ftpmaster.internal/ubuntu oracular/main ppc64el base-files ppc64el 13.3ubuntu2 [75.5 kB]
195s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6 ppc64el 2.39-3.1ubuntu2 [3173 kB]
195s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-bin ppc64el 2.39-3.1ubuntu2 [720 kB]
195s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el locales all 2.39-3.1ubuntu2 [4220 kB]
195s Preconfiguring packages ...
196s Fetched 10.2 MB in 1s (10.5 MB/s)
196s (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 ... 72687 files and directories currently installed.)
196s Preparing to unpack .../motd-news-config_13.3ubuntu2_all.deb ...
196s Unpacking motd-news-config (13.3ubuntu2) over (13.1ubuntu1) ...
196s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu2_ppc64el.deb ...
196s Unpacking libc-devtools (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
196s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu2_ppc64el.deb ...
196s Unpacking libc6-dev:ppc64el (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
196s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu2_ppc64el.deb ...
196s Unpacking libc-dev-bin (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
196s Preparing to unpack .../base-files_13.3ubuntu2_ppc64el.deb ...
196s Unpacking base-files (13.3ubuntu2) over (13.1ubuntu1) ...
196s Setting up base-files (13.3ubuntu2) ...
196s Updating /etc/profile to current default.
197s motd-news.service is a disabled or a static unit not running, not starting it.
197s (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 ... 72690 files and directories currently installed.)
197s Preparing to unpack .../libc6_2.39-3.1ubuntu2_ppc64el.deb ...
197s Unpacking libc6:ppc64el (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
198s Setting up libc6:ppc64el (2.39-3.1ubuntu2) ...
198s (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 ... 72690 files and directories currently installed.)
198s Preparing to unpack .../libc-bin_2.39-3.1ubuntu2_ppc64el.deb ...
198s Unpacking libc-bin (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
198s Setting up libc-bin (2.39-3.1ubuntu2) ...
198s (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 ... 72690 files and directories currently installed.)
198s Preparing to unpack .../locales_2.39-3.1ubuntu2_all.deb ...
198s Unpacking locales (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
199s Setting up motd-news-config (13.3ubuntu2) ...
199s Setting up locales (2.39-3.1ubuntu2) ...
199s Generating locales (this might take a while)...
201s   en_US.UTF-8... done
201s Generation complete.
201s Setting up libc-dev-bin (2.39-3.1ubuntu2) ...
201s Setting up libc-devtools (2.39-3.1ubuntu2) ...
201s Setting up libc6-dev:ppc64el (2.39-3.1ubuntu2) ...
201s Processing triggers for man-db (2.12.1-2) ...
202s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-1ubuntu7) ...
202s update-initramfs: deferring update (trigger activated)
202s Processing triggers for install-info (7.1-3build2) ...
202s Processing triggers for initramfs-tools (0.142ubuntu28) ...
202s update-initramfs: Generating /boot/initrd.img-6.8.0-31-generic
202s W: No lz4 in /usr/bin:/sbin:/bin, using gzip
209s Reading package lists...
209s Building dependency tree...
209s Reading state information...
210s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
210s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease
210s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease
211s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease
211s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease
212s Reading package lists...
212s Reading package lists...
212s Building dependency tree...
212s Reading state information...
212s Calculating upgrade...
212s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
212s Reading package lists...
212s Building dependency tree...
212s Reading state information...
213s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
213s autopkgtest [18:54:44]: rebooting testbed after setup commands that affected boot
247s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds...
269s autopkgtest [18:55:40]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP Sat Apr 20 00:05:55 UTC 2024
274s autopkgtest [18:55:45]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime
278s Get:1 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (dsc) [2148 B]
278s Get:2 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (tar) [997 kB]
278s Get:3 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (diff) [3388 B]
278s gpgv: Signature made Sat Jun 15 14:38:47 2024 UTC
278s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
278s gpgv: Can't check signature: No public key
278s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.19-1build2.dsc: no acceptable signature found
278s autopkgtest [18:55:49]: testing package coqprime version 8.19-1build2
278s autopkgtest [18:55:49]: build not needed
279s autopkgtest [18:55:50]: test command1: preparing testbed
281s Reading package lists...
281s Building dependency tree...
281s Reading state information...
282s Starting pkgProblemResolver with broken count: 0
282s Starting 2 pkgProblemResolver with broken count: 0
282s Done
282s The following additional packages will be installed:
282s   coq cpp cpp-13 cpp-13-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu gcc
282s   gcc-13 gcc-13-base gcc-13-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu
282s   libasan8 libatomic1 libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums
282s   libcoq-coqprime libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml
282s   libgcc-13-dev libgomp1 libisl23 libitm1 liblsan0 libmpc3 libncurses-dev
282s   libquadmath0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1
282s   libzarith-ocaml ocaml ocaml-base ocaml-findlib ocaml-interp
282s Suggested packages:
282s   coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why
282s   coq-doc cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf
282s   automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-powerpc64le-linux-gnu
282s   ncurses-doc ocaml-doc elpa-tuareg camlp4
282s Recommended packages:
282s   ocaml-man libfindlib-ocaml-dev ledit | readline-editor
282s The following NEW packages will be installed:
282s   autopkgtest-satdep coq cpp cpp-13 cpp-13-powerpc64le-linux-gnu
282s   cpp-powerpc64le-linux-gnu gcc gcc-13 gcc-13-base
282s   gcc-13-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu libasan8 libatomic1
282s   libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime
282s   libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml libgcc-13-dev libgomp1
282s   libisl23 libitm1 liblsan0 libmpc3 libncurses-dev libquadmath0
282s   libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml ocaml
282s   ocaml-base ocaml-findlib ocaml-interp
282s 0 upgraded, 37 newly installed, 0 to remove and 0 not upgraded.
282s Need to get 340 MB/340 MB of archives.
282s After this operation, 1226 MB of additional disk space will be used.
282s Get:1 /tmp/autopkgtest.Ktye1D/1-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [720 B]
282s Get:2 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcoq-stdlib ppc64el 8.19.1+dfsg-2 [27.0 MB]
284s Get:3 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB]
284s Get:4 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB]
284s Get:5 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libfindlib-ocaml ppc64el 1.9.6-2 [199 kB]
284s Get:6 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libzarith-ocaml ppc64el 1.13-2build4 [132 kB]
284s Get:7 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcoq-core-ocaml ppc64el 8.19.1+dfsg-2 [27.7 MB]
285s Get:8 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libstdlib-ocaml-dev ppc64el 4.14.1-1ubuntu1 [8533 kB]
285s Get:9 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 4.14.1-1ubuntu1 [38.4 MB]
286s Get:10 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml-interp ppc64el 4.14.1-1ubuntu1 [7826 kB]
286s Get:11 http://ftpmaster.internal/ubuntu oracular/main ppc64el libncurses-dev ppc64el 6.5-2 [480 kB]
286s Get:12 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-13-base ppc64el 13.2.0-23ubuntu4 [49.0 kB]
286s Get:13 http://ftpmaster.internal/ubuntu oracular/main ppc64el libisl23 ppc64el 0.26-3build1 [886 kB]
286s Get:14 http://ftpmaster.internal/ubuntu oracular/main ppc64el libmpc3 ppc64el 1.3.1-1build1 [62.1 kB]
286s Get:15 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp-13-powerpc64le-linux-gnu ppc64el 13.2.0-23ubuntu4 [10.7 MB]
286s Get:16 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp-13 ppc64el 13.2.0-23ubuntu4 [1038 B]
286s Get:17 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [5330 B]
286s Get:18 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp ppc64el 4:13.2.0-7ubuntu1 [22.5 kB]
286s Get:19 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcc1-0 ppc64el 14.1.0-1ubuntu1 [48.1 kB]
286s Get:20 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgomp1 ppc64el 14.1.0-1ubuntu1 [161 kB]
286s Get:21 http://ftpmaster.internal/ubuntu oracular/main ppc64el libitm1 ppc64el 14.1.0-1ubuntu1 [32.4 kB]
286s Get:22 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatomic1 ppc64el 14.1.0-1ubuntu1 [10.7 kB]
286s Get:23 http://ftpmaster.internal/ubuntu oracular/main ppc64el libasan8 ppc64el 14.1.0-1ubuntu1 [2971 kB]
287s Get:24 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblsan0 ppc64el 14.1.0-1ubuntu1 [1328 kB]
287s Get:25 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtsan2 ppc64el 14.1.0-1ubuntu1 [2708 kB]
287s Get:26 http://ftpmaster.internal/ubuntu oracular/main ppc64el libubsan1 ppc64el 14.1.0-1ubuntu1 [1196 kB]
287s Get:27 http://ftpmaster.internal/ubuntu oracular/main ppc64el libquadmath0 ppc64el 14.1.0-1ubuntu1 [158 kB]
287s Get:28 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgcc-13-dev ppc64el 13.2.0-23ubuntu4 [1580 kB]
287s Get:29 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-13-powerpc64le-linux-gnu ppc64el 13.2.0-23ubuntu4 [20.6 MB]
287s Get:30 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-13 ppc64el 13.2.0-23ubuntu4 [482 kB]
287s Get:31 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [1224 B]
287s Get:32 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc ppc64el 4:13.2.0-7ubuntu1 [5022 B]
287s Get:33 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml ppc64el 4.14.1-1ubuntu1 [82.9 MB]
290s Get:34 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml-findlib ppc64el 1.9.6-2 [614 kB]
290s Get:35 http://ftpmaster.internal/ubuntu oracular/universe ppc64el coq ppc64el 8.19.1+dfsg-2 [98.3 MB]
293s Get:36 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcoq-bignums ppc64el 9.0.0+coq8.19-1build1 [2263 kB]
293s Get:37 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcoq-coqprime ppc64el 8.19-1build2 [2073 kB]
293s Fetched 340 MB in 11s (32.1 MB/s)
293s Selecting previously unselected package libcoq-stdlib.
293s (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 ... 72690 files and directories currently installed.)
293s Preparing to unpack .../00-libcoq-stdlib_8.19.1+dfsg-2_ppc64el.deb ...
293s Unpacking libcoq-stdlib (8.19.1+dfsg-2) ...
295s Selecting previously unselected package libstdlib-ocaml.
295s Preparing to unpack .../01-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ...
295s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ...
295s Selecting previously unselected package ocaml-base.
295s Preparing to unpack .../02-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ...
295s Unpacking ocaml-base (4.14.1-1ubuntu1) ...
295s Selecting previously unselected package libfindlib-ocaml.
295s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-2_ppc64el.deb ...
295s Unpacking libfindlib-ocaml (1.9.6-2) ...
295s Selecting previously unselected package libzarith-ocaml.
295s Preparing to unpack .../04-libzarith-ocaml_1.13-2build4_ppc64el.deb ...
295s Unpacking libzarith-ocaml (1.13-2build4) ...
295s Selecting previously unselected package libcoq-core-ocaml.
295s Preparing to unpack .../05-libcoq-core-ocaml_8.19.1+dfsg-2_ppc64el.deb ...
295s Unpacking libcoq-core-ocaml (8.19.1+dfsg-2) ...
296s Selecting previously unselected package libstdlib-ocaml-dev.
296s Preparing to unpack .../06-libstdlib-ocaml-dev_4.14.1-1ubuntu1_ppc64el.deb ...
296s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
296s Selecting previously unselected package libcompiler-libs-ocaml-dev.
296s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_ppc64el.deb ...
296s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
297s Selecting previously unselected package ocaml-interp.
297s Preparing to unpack .../08-ocaml-interp_4.14.1-1ubuntu1_ppc64el.deb ...
297s Unpacking ocaml-interp (4.14.1-1ubuntu1) ...
297s Selecting previously unselected package libncurses-dev:ppc64el.
297s Preparing to unpack .../09-libncurses-dev_6.5-2_ppc64el.deb ...
297s Unpacking libncurses-dev:ppc64el (6.5-2) ...
297s Selecting previously unselected package gcc-13-base:ppc64el.
297s Preparing to unpack .../10-gcc-13-base_13.2.0-23ubuntu4_ppc64el.deb ...
297s Unpacking gcc-13-base:ppc64el (13.2.0-23ubuntu4) ...
297s Selecting previously unselected package libisl23:ppc64el.
298s Preparing to unpack .../11-libisl23_0.26-3build1_ppc64el.deb ...
298s Unpacking libisl23:ppc64el (0.26-3build1) ...
298s Selecting previously unselected package libmpc3:ppc64el.
298s Preparing to unpack .../12-libmpc3_1.3.1-1build1_ppc64el.deb ...
298s Unpacking libmpc3:ppc64el (1.3.1-1build1) ...
298s Selecting previously unselected package cpp-13-powerpc64le-linux-gnu.
298s Preparing to unpack .../13-cpp-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4_ppc64el.deb ...
298s Unpacking cpp-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
298s Selecting previously unselected package cpp-13.
298s Preparing to unpack .../14-cpp-13_13.2.0-23ubuntu4_ppc64el.deb ...
298s Unpacking cpp-13 (13.2.0-23ubuntu4) ...
298s Selecting previously unselected package cpp-powerpc64le-linux-gnu.
298s Preparing to unpack .../15-cpp-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
298s Unpacking cpp-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
298s Selecting previously unselected package cpp.
298s Preparing to unpack .../16-cpp_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
298s Unpacking cpp (4:13.2.0-7ubuntu1) ...
298s Selecting previously unselected package libcc1-0:ppc64el.
298s Preparing to unpack .../17-libcc1-0_14.1.0-1ubuntu1_ppc64el.deb ...
298s Unpacking libcc1-0:ppc64el (14.1.0-1ubuntu1) ...
298s Selecting previously unselected package libgomp1:ppc64el.
298s Preparing to unpack .../18-libgomp1_14.1.0-1ubuntu1_ppc64el.deb ...
298s Unpacking libgomp1:ppc64el (14.1.0-1ubuntu1) ...
298s Selecting previously unselected package libitm1:ppc64el.
298s Preparing to unpack .../19-libitm1_14.1.0-1ubuntu1_ppc64el.deb ...
298s Unpacking libitm1:ppc64el (14.1.0-1ubuntu1) ...
298s Selecting previously unselected package libatomic1:ppc64el.
298s Preparing to unpack .../20-libatomic1_14.1.0-1ubuntu1_ppc64el.deb ...
298s Unpacking libatomic1:ppc64el (14.1.0-1ubuntu1) ...
298s Selecting previously unselected package libasan8:ppc64el.
298s Preparing to unpack .../21-libasan8_14.1.0-1ubuntu1_ppc64el.deb ...
298s Unpacking libasan8:ppc64el (14.1.0-1ubuntu1) ...
298s Selecting previously unselected package liblsan0:ppc64el.
298s Preparing to unpack .../22-liblsan0_14.1.0-1ubuntu1_ppc64el.deb ...
298s Unpacking liblsan0:ppc64el (14.1.0-1ubuntu1) ...
298s Selecting previously unselected package libtsan2:ppc64el.
298s Preparing to unpack .../23-libtsan2_14.1.0-1ubuntu1_ppc64el.deb ...
298s Unpacking libtsan2:ppc64el (14.1.0-1ubuntu1) ...
298s Selecting previously unselected package libubsan1:ppc64el.
298s Preparing to unpack .../24-libubsan1_14.1.0-1ubuntu1_ppc64el.deb ...
298s Unpacking libubsan1:ppc64el (14.1.0-1ubuntu1) ...
298s Selecting previously unselected package libquadmath0:ppc64el.
298s Preparing to unpack .../25-libquadmath0_14.1.0-1ubuntu1_ppc64el.deb ...
298s Unpacking libquadmath0:ppc64el (14.1.0-1ubuntu1) ...
298s Selecting previously unselected package libgcc-13-dev:ppc64el.
298s Preparing to unpack .../26-libgcc-13-dev_13.2.0-23ubuntu4_ppc64el.deb ...
298s Unpacking libgcc-13-dev:ppc64el (13.2.0-23ubuntu4) ...
298s Selecting previously unselected package gcc-13-powerpc64le-linux-gnu.
298s Preparing to unpack .../27-gcc-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4_ppc64el.deb ...
298s Unpacking gcc-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
299s Selecting previously unselected package gcc-13.
299s Preparing to unpack .../28-gcc-13_13.2.0-23ubuntu4_ppc64el.deb ...
299s Unpacking gcc-13 (13.2.0-23ubuntu4) ...
299s Selecting previously unselected package gcc-powerpc64le-linux-gnu.
299s Preparing to unpack .../29-gcc-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
299s Unpacking gcc-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
299s Selecting previously unselected package gcc.
299s Preparing to unpack .../30-gcc_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
299s Unpacking gcc (4:13.2.0-7ubuntu1) ...
299s Selecting previously unselected package ocaml.
299s Preparing to unpack .../31-ocaml_4.14.1-1ubuntu1_ppc64el.deb ...
299s Unpacking ocaml (4.14.1-1ubuntu1) ...
301s Selecting previously unselected package ocaml-findlib.
301s Preparing to unpack .../32-ocaml-findlib_1.9.6-2_ppc64el.deb ...
301s Unpacking ocaml-findlib (1.9.6-2) ...
301s Selecting previously unselected package coq.
301s Preparing to unpack .../33-coq_8.19.1+dfsg-2_ppc64el.deb ...
301s Unpacking coq (8.19.1+dfsg-2) ...
304s Selecting previously unselected package libcoq-bignums.
304s Preparing to unpack .../34-libcoq-bignums_9.0.0+coq8.19-1build1_ppc64el.deb ...
304s Unpacking libcoq-bignums (9.0.0+coq8.19-1build1) ...
304s Selecting previously unselected package libcoq-coqprime.
304s Preparing to unpack .../35-libcoq-coqprime_8.19-1build2_ppc64el.deb ...
304s Unpacking libcoq-coqprime (8.19-1build2) ...
304s Selecting previously unselected package autopkgtest-satdep.
304s Preparing to unpack .../36-1-autopkgtest-satdep.deb ...
304s Unpacking autopkgtest-satdep (0) ...
304s Setting up libncurses-dev:ppc64el (6.5-2) ...
304s Setting up libgomp1:ppc64el (14.1.0-1ubuntu1) ...
304s Setting up libcoq-stdlib (8.19.1+dfsg-2) ...
304s Setting up gcc-13-base:ppc64el (13.2.0-23ubuntu4) ...
304s Setting up libquadmath0:ppc64el (14.1.0-1ubuntu1) ...
304s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ...
304s Setting up libmpc3:ppc64el (1.3.1-1build1) ...
304s Setting up libatomic1:ppc64el (14.1.0-1ubuntu1) ...
304s Setting up ocaml-base (4.14.1-1ubuntu1) ...
304s Setting up libubsan1:ppc64el (14.1.0-1ubuntu1) ...
304s Setting up libasan8:ppc64el (14.1.0-1ubuntu1) ...
304s Setting up libtsan2:ppc64el (14.1.0-1ubuntu1) ...
304s Setting up libisl23:ppc64el (0.26-3build1) ...
304s Setting up cpp-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
304s Setting up libcc1-0:ppc64el (14.1.0-1ubuntu1) ...
304s Setting up libcoq-bignums (9.0.0+coq8.19-1build1) ...
304s Setting up liblsan0:ppc64el (14.1.0-1ubuntu1) ...
304s Setting up libitm1:ppc64el (14.1.0-1ubuntu1) ...
304s Setting up cpp-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
304s Setting up cpp-13 (13.2.0-23ubuntu4) ...
304s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
304s Setting up libfindlib-ocaml (1.9.6-2) ...
304s Setting up libzarith-ocaml (1.13-2build4) ...
304s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
304s Setting up ocaml-interp (4.14.1-1ubuntu1) ...
304s Setting up ocaml-findlib (1.9.6-2) ...
304s Setting up libgcc-13-dev:ppc64el (13.2.0-23ubuntu4) ...
304s Setting up libcoq-core-ocaml (8.19.1+dfsg-2) ...
304s Setting up cpp (4:13.2.0-7ubuntu1) ...
304s Setting up libcoq-coqprime (8.19-1build2) ...
304s Setting up gcc-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
304s Setting up gcc-13 (13.2.0-23ubuntu4) ...
304s Setting up gcc-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
304s Setting up gcc (4:13.2.0-7ubuntu1) ...
304s Setting up ocaml (4.14.1-1ubuntu1) ...
304s Setting up coq (8.19.1+dfsg-2) ...
304s Setting up autopkgtest-satdep (0) ...
304s Processing triggers for man-db (2.12.1-2) ...
305s Processing triggers for libc-bin (2.39-3.1ubuntu2) ...
309s (Reading database ... 79018 files and directories currently installed.)
309s Removing autopkgtest-satdep (0) ...
310s autopkgtest [18:56:21]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington
310s autopkgtest [18:56:21]: test command1: [-----------------------
311s autopkgtest [18:56:22]: test command1: -----------------------]
311s autopkgtest [18:56:22]: test command1:  - - - - - - - - - - results - - - - - - - - - -
311s command1             PASS
312s autopkgtest [18:56:23]: @@@@@@@@@@@@@@@@@@@@ summary
312s command1             PASS
328s nova [W] Using flock in scalingstack-bos02-ppc64el
328s flock: timeout while waiting to get lock
328s Creating nova instance adt-oracular-ppc64el-coqprime-20240628-185106-juju-7f2275-prod-proposed-migration-environment-2-a62d3ed0-1e41-4ba6-ac9f-751c53d16687 from image adt/ubuntu-oracular-ppc64el-server-20240627.img (UUID 8e291223-d1f4-4a2e-a764-e61cd93089ff)...