0s autopkgtest [03:31:48]: starting date and time: 2026-01-24 03:31:48+0000 0s autopkgtest [03:31:48]: git checkout: 508d4a25 a-v-ssh wait_for_ssh: demote "ssh connection failed" to a debug message 0s autopkgtest [03:31:48]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.8b5s34_g/out --timeout-copy=6000 --setup-commands 'ln -s /dev/null /etc/systemd/system/bluetooth.service; printf "http_proxy=http://squid.internal:3128\nhttps_proxy=http://squid.internal:3128\nno_proxy=127.0.0.1,127.0.1.1,localhost,localdomain,internal,login.ubuntu.com,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com\n" >> /etc/environment' --apt-pocket=proposed=src:underscore --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=underscore/1.13.7~dfsg+~1.13.0-5' -- lxd -r lxd-armhf-10.145.243.207 lxd-armhf-10.145.243.207:autopkgtest/ubuntu/resolute/armhf 20s autopkgtest [03:32:08]: testbed dpkg architecture: armhf 22s autopkgtest [03:32:10]: testbed apt version: 3.1.13 26s autopkgtest [03:32:14]: @@@@@@@@@@@@@@@@@@@@ test bed setup 28s autopkgtest [03:32:16]: testbed release detected to be: None 35s autopkgtest [03:32:23]: updating testbed package index (apt update) 37s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 38s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 38s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 38s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 38s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [94.5 kB] 38s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1031 kB] 38s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [24.3 kB] 38s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [2820 B] 38s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf Packages [102 kB] 38s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/universe armhf Packages [833 kB] 38s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse armhf Packages [8712 B] 38s Fetched 2221 kB in 1s (1904 kB/s) 39s Reading package lists... 45s autopkgtest [03:32:33]: upgrading testbed (apt dist-upgrade and autopurge) 47s Reading package lists... 47s Building dependency tree... 47s Reading state information... 47s Calculating upgrade... 48s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 50s Reading package lists... 50s Building dependency tree... 50s Reading state information... 50s Solving dependencies... 50s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 52s autopkgtest [03:32:40]: rebooting testbed after setup commands that affected boot 93s autopkgtest [03:33:21]: testbed running kernel: Linux 6.8.0-87-generic #88~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Tue Oct 14 14:00:09 UTC 2 117s autopkgtest [03:33:45]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 137s cannot confirm that parent process is alive: Operation not permitted 137s unexpected eof from helper process 142s Get:1 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (dsc) [2677 B] 142s Get:2 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (tar) [6645 kB] 142s Get:3 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (diff) [19.6 kB] 142s gpgv: Signature made Tue Jan 6 09:14:00 2026 UTC 142s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 142s gpgv: Can't check signature: No public key 142s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.2-3.dsc: no acceptable signature found 143s autopkgtest [03:34:11]: testing package why3 version 1.8.2-3 146s autopkgtest [03:34:14]: build not needed 150s autopkgtest [03:34:18]: test why3+cvc4: preparing testbed 152s Reading package lists... 152s Building dependency tree... 152s Reading state information... 152s Solving dependencies... 152s Some packages could not be installed. This may mean that you have 152s requested an impossible situation or if you are using the unstable 152s distribution that some required packages have not yet been created 152s or been moved out of Incoming. 152s The following information may help to resolve the situation: 152s 152s The following packages have unmet dependencies: 152s satisfy:command-line : Depends: why3 but it is not going to be installed 152s Depends: cvc4 (< 1.9) but it is not going to be installed 152s Depends: ocaml-native-compilers but it is not installable 152s E: Unable to satisfy dependencies. Reached two conflicting assignments: 152s 1. why3:armhf is selected for install because: 152s 1. satisfy:command-line:armhf=1 is selected for install 152s 2. satisfy:command-line:armhf Depends why3 152s 2. why3:armhf Depends libstdlib-ocaml-1vpd4 152s but none of the choices are installable: 152s - libstdlib-ocaml:armhf=5.4.0-1ubuntu1 is not selected for install 152s - libstdlib-ocaml:armhf=5.4.0-2ubuntu1 is not selected for install 152s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from resolute-proposed 156s Reading package lists... 157s Building dependency tree... 157s Reading state information... 157s Solving dependencies... 157s Some packages could not be installed. This may mean that you have 157s requested an impossible situation or if you are using the unstable 157s distribution that some required packages have not yet been created 157s or been moved out of Incoming. 157s The following information may help to resolve the situation: 157s 157s The following packages have unmet dependencies: 157s satisfy:command-line : Depends: why3 but it is not going to be installed 157s Depends: cvc4 (< 1.9) but it is not going to be installed 157s Depends: ocaml-native-compilers but it is not installable 157s E: Unable to satisfy dependencies. Reached two conflicting assignments: 157s 1. why3:armhf is selected for install because: 157s 1. satisfy:command-line:armhf=1 is selected for install 157s 2. satisfy:command-line:armhf Depends why3 157s 2. why3:armhf Depends ocaml-base-5.4.0 157s but none of the choices are installable: 157s - ocaml-base:armhf=5.4.0-2ubuntu1 is not selected for install 157s - ocaml-base:armhf=5.4.0-1ubuntu1 is not selected for install 157s autopkgtest [03:34:25]: test why3+cvc5: preparing testbed 157s why3+cvc4 SKIP installation fails and skip-not-installable set 182s autopkgtest [03:34:49]: testbed dpkg architecture: armhf 184s autopkgtest [03:34:51]: testbed apt version: 3.1.13 187s autopkgtest [03:34:55]: @@@@@@@@@@@@@@@@@@@@ test bed setup 189s autopkgtest [03:34:57]: testbed release detected to be: resolute 197s autopkgtest [03:35:05]: updating testbed package index (apt update) 199s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 199s Get:2 http://ftpmaster.internal/ubuntu resolute InRelease [124 kB] 199s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 199s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 199s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1058 kB] 200s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [94.5 kB] 200s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [24.3 kB] 200s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [2820 B] 200s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf Packages [102 kB] 200s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/universe armhf Packages [855 kB] 201s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse armhf Packages [8712 B] 201s Get:12 http://ftpmaster.internal/ubuntu resolute/universe Sources [21.4 MB] 207s Get:13 http://ftpmaster.internal/ubuntu resolute/main armhf Packages [1371 kB] 207s Get:14 http://ftpmaster.internal/ubuntu resolute/universe armhf Packages [14.9 MB] 210s Fetched 40.0 MB in 12s (3445 kB/s) 211s Reading package lists... 217s autopkgtest [03:35:25]: upgrading testbed (apt dist-upgrade and autopurge) 219s Reading package lists... 220s Building dependency tree... 220s Reading state information... 220s Calculating upgrade... 221s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 223s Reading package lists... 223s Building dependency tree... 223s Reading state information... 224s Solving dependencies... 224s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 226s autopkgtest [03:35:34]: rebooting testbed after setup commands that affected boot 286s autopkgtest [03:36:34]: ERROR: "mkdir -p /tmp/autopkgtest.y99FpF" failed with stderr "cannot confirm that parent process is alive: Operation not permitted 286s cannot send command 0 to helper process: Broken pipe 286s "