0s autopkgtest [15:30:09]: starting date and time: 2025-10-18 15:30:09+0000 0s autopkgtest [15:30:09]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [15:30:09]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.rasnjaxa/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:python3-defaults --apt-upgrade cryptominisat --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=python3-defaults/3.13.7-2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-arm64-3.secgroup --name adt-resolute-arm64-cryptominisat-20251018-153008-juju-7f2275-prod-proposed-migration-environment-2-bcd37a08-2436-439b-991b-3eaab1afba52 --image adt/ubuntu-resolute-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-arm64-cryptominisat-20251018-153008-juju-7f2275-prod-proposed-migration-environment-2-bcd37a08-2436-439b-991b-3eaab1afba52 from image adt/ubuntu-resolute-arm64-server-20251018.img (UUID f7a49384-4e4d-4350-9a26-1f59236f89dd)... 52s autopkgtest [15:31:01]: testbed dpkg architecture: arm64 52s autopkgtest [15:31:01]: testbed apt version: 3.1.6ubuntu2 52s autopkgtest [15:31:01]: @@@@@@@@@@@@@@@@@@@@ test bed setup 53s autopkgtest [15:31:02]: testbed release detected to be: None 54s autopkgtest [15:31:03]: updating testbed package index (apt update) 54s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 54s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 54s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 54s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 54s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 54s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 54s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 54s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 55s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [81.1 kB] 55s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 Packages [43.8 kB] 55s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [223 kB] 55s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [5672 B] 55s Fetched 831 kB in 1s (877 kB/s) 55s Reading package lists... 56s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 56s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 56s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 56s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 57s Reading package lists... 57s Reading package lists... 58s Building dependency tree... 58s Reading state information... 58s Calculating upgrade... 58s The following packages will be upgraded: 58s apt flash-kernel gir1.2-girepository-2.0 libapt-pkg7.0 libgirepository-1.0-1 58s libpython3-stdlib lto-disabled-list python3 python3-minimal 58s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 58s Need to get 2671 kB of archives. 58s After this operation, 66.6 kB of additional disk space will be used. 58s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 python3-minimal arm64 3.13.7-2 [27.8 kB] 58s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 python3 arm64 3.13.7-2 [23.9 kB] 59s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libpython3-stdlib arm64 3.13.7-2 [10.6 kB] 59s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libapt-pkg7.0 arm64 3.1.8ubuntu1 [1055 kB] 59s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 apt arm64 3.1.8ubuntu1 [1373 kB] 59s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libgirepository-1.0-1 arm64 1.86.0-6 [84.5 kB] 59s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 gir1.2-girepository-2.0 arm64 1.86.0-6 [25.3 kB] 59s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 flash-kernel arm64 3.109ubuntu7 [58.8 kB] 59s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 lto-disabled-list all 71 [12.5 kB] 59s dpkg-preconfigure: unable to re-open stdin: No such file or directory 60s Fetched 2671 kB in 1s (2819 kB/s) 60s (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 ... 83359 files and directories currently installed.) 60s Preparing to unpack .../python3-minimal_3.13.7-2_arm64.deb ... 60s Unpacking python3-minimal (3.13.7-2) over (3.13.7-1) ... 60s Setting up python3-minimal (3.13.7-2) ... 60s (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 ... 83359 files and directories currently installed.) 60s Preparing to unpack .../0-python3_3.13.7-2_arm64.deb ... 60s running python pre-rtupdate hooks for python3.13... 60s Unpacking python3 (3.13.7-2) over (3.13.7-1) ... 60s Preparing to unpack .../1-libpython3-stdlib_3.13.7-2_arm64.deb ... 60s Unpacking libpython3-stdlib:arm64 (3.13.7-2) over (3.13.7-1) ... 60s Preparing to unpack .../2-libapt-pkg7.0_3.1.8ubuntu1_arm64.deb ... 60s Unpacking libapt-pkg7.0:arm64 (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 61s Preparing to unpack .../3-apt_3.1.8ubuntu1_arm64.deb ... 61s Unpacking apt (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 61s Preparing to unpack .../4-libgirepository-1.0-1_1.86.0-6_arm64.deb ... 61s Unpacking libgirepository-1.0-1:arm64 (1.86.0-6) over (1.84.0-1) ... 61s Preparing to unpack .../5-gir1.2-girepository-2.0_1.86.0-6_arm64.deb ... 61s Unpacking gir1.2-girepository-2.0:arm64 (1.86.0-6) over (1.84.0-1) ... 61s Preparing to unpack .../6-flash-kernel_3.109ubuntu7_arm64.deb ... 61s Unpacking flash-kernel (3.109ubuntu7) over (3.109ubuntu6) ... 61s Preparing to unpack .../7-lto-disabled-list_71_all.deb ... 61s Unpacking lto-disabled-list (71) over (69) ... 61s Setting up lto-disabled-list (71) ... 61s Setting up libgirepository-1.0-1:arm64 (1.86.0-6) ... 61s Setting up libapt-pkg7.0:arm64 (3.1.8ubuntu1) ... 61s Setting up libpython3-stdlib:arm64 (3.13.7-2) ... 61s Setting up apt (3.1.8ubuntu1) ... 62s Setting up python3 (3.13.7-2) ... 62s running python rtupdate hooks for python3.13... 62s running python post-rtupdate hooks for python3.13... 62s Setting up gir1.2-girepository-2.0:arm64 (1.86.0-6) ... 62s Setting up flash-kernel (3.109ubuntu7) ... 62s flash-kernel: deferring update (trigger activated) 62s Processing triggers for libc-bin (2.42-0ubuntu3) ... 62s Processing triggers for man-db (2.13.1-1) ... 64s Processing triggers for initramfs-tools (0.150ubuntu3) ... 64s update-initramfs: Generating /boot/initrd.img-6.17.0-5-generic 81s System running in EFI mode, skipping. 81s Processing triggers for flash-kernel (3.109ubuntu7) ... 82s System running in EFI mode, skipping. 82s autopkgtest [15:31:31]: upgrading testbed (apt dist-upgrade and autopurge) 83s Reading package lists... 83s Building dependency tree... 83s Reading state information... 83s Calculating upgrade... 84s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 84s Reading package lists... 84s Building dependency tree... 84s Reading state information... 84s Solving dependencies... 85s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 85s autopkgtest [15:31:34]: rebooting testbed after setup commands that affected boot 111s autopkgtest [15:32:00]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 22 09:50:31 UTC 2025 115s autopkgtest [15:32:04]: @@@@@@@@@@@@@@@@@@@@ apt-source cryptominisat 119s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cryptominisat 5.11.21+dfsg1-2 (dsc) [2519 B] 119s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cryptominisat 5.11.21+dfsg1-2 (tar) [481 kB] 119s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cryptominisat 5.11.21+dfsg1-2 (diff) [6696 B] 119s gpgv: Signature made Sat May 24 22:42:08 2025 UTC 119s gpgv: using RSA key 8F6DE104377F3B11E741748731F3144544A1741A 119s gpgv: issuer "tchet@debian.org" 119s gpgv: Can't check signature: No public key 119s dpkg-source: warning: cannot verify inline signature for ./cryptominisat_5.11.21+dfsg1-2.dsc: no acceptable signature found 119s autopkgtest [15:32:08]: testing package cryptominisat version 5.11.21+dfsg1-2 120s autopkgtest [15:32:09]: build not needed 120s autopkgtest [15:32:09]: test cryptominisat-basic: preparing testbed 121s Reading package lists... 121s Building dependency tree... 121s Reading state information... 121s Solving dependencies... 121s The following NEW packages will be installed: 121s cryptominisat libcryptominisat5-5.11t64 libcryptominisat5-dev 121s python3-cryptominisat 122s 0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. 122s Need to get 1138 kB of archives. 122s After this operation, 3042 kB of additional disk space will be used. 122s Get:1 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcryptominisat5-5.11t64 arm64 5.11.21+dfsg1-2 [448 kB] 122s Get:2 http://ftpmaster.internal/ubuntu resolute/universe arm64 cryptominisat arm64 5.11.21+dfsg1-2 [86.9 kB] 122s Get:3 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcryptominisat5-dev arm64 5.11.21+dfsg1-2 [17.8 kB] 122s Get:4 http://ftpmaster.internal/ubuntu resolute/universe arm64 python3-cryptominisat arm64 5.11.21+dfsg1-2 [584 kB] 123s Fetched 1138 kB in 1s (1365 kB/s) 123s Selecting previously unselected package libcryptominisat5-5.11t64:arm64. 123s (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 ... 83359 files and directories currently installed.) 123s Preparing to unpack .../libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb ... 123s Unpacking libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-2) ... 123s Selecting previously unselected package cryptominisat. 123s Preparing to unpack .../cryptominisat_5.11.21+dfsg1-2_arm64.deb ... 123s Unpacking cryptominisat (5.11.21+dfsg1-2) ... 123s Selecting previously unselected package libcryptominisat5-dev:arm64. 123s Preparing to unpack .../libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb ... 123s Unpacking libcryptominisat5-dev:arm64 (5.11.21+dfsg1-2) ... 123s Selecting previously unselected package python3-cryptominisat:arm64. 123s Preparing to unpack .../python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb ... 123s Unpacking python3-cryptominisat:arm64 (5.11.21+dfsg1-2) ... 123s Setting up python3-cryptominisat:arm64 (5.11.21+dfsg1-2) ... 123s Setting up libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-2) ... 123s Setting up cryptominisat (5.11.21+dfsg1-2) ... 123s Setting up libcryptominisat5-dev:arm64 (5.11.21+dfsg1-2) ... 123s Processing triggers for man-db (2.13.1-1) ... 124s Processing triggers for libc-bin (2.42-0ubuntu3) ... 125s autopkgtest [15:32:14]: test cryptominisat-basic: [----------------------- 125s s UNSATISFIABLE 125s s SATISFIABLE 126s autopkgtest [15:32:15]: test cryptominisat-basic: -----------------------] 126s autopkgtest [15:32:15]: test cryptominisat-basic: - - - - - - - - - - results - - - - - - - - - - 126s cryptominisat-basic PASS 127s autopkgtest [15:32:16]: @@@@@@@@@@@@@@@@@@@@ summary 127s cryptominisat-basic PASS