0s autopkgtest [17:46:51]: starting date and time: 2025-10-18 17:46:51+0000 0s autopkgtest [17:46:51]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [17:46:51]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.nhbmk9up/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-cpu2-ram4-disk20-amd64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@sto01-8.secgroup --name adt-resolute-amd64-cryptominisat-20251018-174651-juju-7f2275-prod-proposed-migration-environment-20-2ee3d1dc-a441-44d7-8596-d681754096b0 --image adt/ubuntu-resolute-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-autopkgtest-workers-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-amd64-cryptominisat-20251018-174651-juju-7f2275-prod-proposed-migration-environment-20-2ee3d1dc-a441-44d7-8596-d681754096b0 from image adt/ubuntu-resolute-amd64-server-20251018.img (UUID dd697a48-b6cc-4a02-84bf-0f9f2fad5f89)... 27s autopkgtest [17:47:18]: testbed dpkg architecture: amd64 27s autopkgtest [17:47:18]: testbed apt version: 3.1.6ubuntu2 27s autopkgtest [17:47:18]: @@@@@@@@@@@@@@@@@@@@ test bed setup 27s autopkgtest [17:47:18]: testbed release detected to be: None 28s autopkgtest [17:47:19]: updating testbed package index (apt update) 28s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 28s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 28s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 28s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 28s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.4 kB] 28s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [345 kB] 28s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [28.4 kB] 28s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 28s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main i386 Packages [46.6 kB] 28s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 Packages [85.2 kB] 28s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 Packages [28.0 kB] 29s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted i386 Packages [3208 B] 29s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 Packages [233 kB] 29s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/universe i386 Packages [87.6 kB] 29s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse i386 Packages [2772 B] 29s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 Packages [8376 B] 29s Fetched 972 kB in 1s (1660 kB/s) 29s Reading package lists... 30s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 30s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 30s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 30s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 30s Reading package lists... 30s Reading package lists... 30s Building dependency tree... 30s Reading state information... 31s Calculating upgrade... 31s The following packages will be upgraded: 31s apt gir1.2-girepository-2.0 libapt-pkg7.0 libgirepository-1.0-1 31s libpython3-stdlib python3 python3-minimal 31s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 31s Need to get 2751 kB of archives. 31s After this operation, 2048 B of additional disk space will be used. 31s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 python3-minimal amd64 3.13.7-2 [27.8 kB] 31s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 python3 amd64 3.13.7-2 [23.9 kB] 31s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libpython3-stdlib amd64 3.13.7-2 [10.6 kB] 31s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libapt-pkg7.0 amd64 3.1.8ubuntu1 [1140 kB] 31s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 apt amd64 3.1.8ubuntu1 [1438 kB] 31s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 libgirepository-1.0-1 amd64 1.86.0-6 [85.9 kB] 31s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 gir1.2-girepository-2.0 amd64 1.86.0-6 [25.3 kB] 31s dpkg-preconfigure: unable to re-open stdin: No such file or directory 31s Fetched 2751 kB in 0s (6795 kB/s) 31s (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 ... 78439 files and directories currently installed.) 31s Preparing to unpack .../python3-minimal_3.13.7-2_amd64.deb ... 31s Unpacking python3-minimal (3.13.7-2) over (3.13.7-1) ... 31s Setting up python3-minimal (3.13.7-2) ... 31s (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 ... 78439 files and directories currently installed.) 31s Preparing to unpack .../0-python3_3.13.7-2_amd64.deb ... 32s running python pre-rtupdate hooks for python3.13... 32s Unpacking python3 (3.13.7-2) over (3.13.7-1) ... 32s Preparing to unpack .../1-libpython3-stdlib_3.13.7-2_amd64.deb ... 32s Unpacking libpython3-stdlib:amd64 (3.13.7-2) over (3.13.7-1) ... 32s Preparing to unpack .../2-libapt-pkg7.0_3.1.8ubuntu1_amd64.deb ... 32s Unpacking libapt-pkg7.0:amd64 (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 32s Preparing to unpack .../3-apt_3.1.8ubuntu1_amd64.deb ... 32s Unpacking apt (3.1.8ubuntu1) over (3.1.6ubuntu2) ... 32s Preparing to unpack .../4-libgirepository-1.0-1_1.86.0-6_amd64.deb ... 32s Unpacking libgirepository-1.0-1:amd64 (1.86.0-6) over (1.84.0-1) ... 32s Preparing to unpack .../5-gir1.2-girepository-2.0_1.86.0-6_amd64.deb ... 32s Unpacking gir1.2-girepository-2.0:amd64 (1.86.0-6) over (1.84.0-1) ... 32s Setting up libgirepository-1.0-1:amd64 (1.86.0-6) ... 32s Setting up libapt-pkg7.0:amd64 (3.1.8ubuntu1) ... 32s Setting up libpython3-stdlib:amd64 (3.13.7-2) ... 32s Setting up apt (3.1.8ubuntu1) ... 32s Setting up python3 (3.13.7-2) ... 32s running python rtupdate hooks for python3.13... 32s running python post-rtupdate hooks for python3.13... 32s Setting up gir1.2-girepository-2.0:amd64 (1.86.0-6) ... 32s Processing triggers for man-db (2.13.1-1) ... 33s Processing triggers for libc-bin (2.42-0ubuntu3) ... 33s autopkgtest [17:47:24]: upgrading testbed (apt dist-upgrade and autopurge) 34s Reading package lists... 34s Building dependency tree... 34s Reading state information... 34s Calculating upgrade... 34s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 34s Reading package lists... 34s Building dependency tree... 34s Reading state information... 34s Solving dependencies... 34s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 35s autopkgtest [17:47:26]: rebooting testbed after setup commands that affected boot 50s autopkgtest [17:47:41]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 22 10:00:33 UTC 2025 52s autopkgtest [17:47:43]: @@@@@@@@@@@@@@@@@@@@ apt-source cryptominisat 54s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cryptominisat 5.11.21+dfsg1-2 (dsc) [2519 B] 54s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cryptominisat 5.11.21+dfsg1-2 (tar) [481 kB] 54s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cryptominisat 5.11.21+dfsg1-2 (diff) [6696 B] 55s gpgv: Signature made Sat May 24 22:42:08 2025 UTC 55s gpgv: using RSA key 8F6DE104377F3B11E741748731F3144544A1741A 55s gpgv: issuer "tchet@debian.org" 55s gpgv: Can't check signature: No public key 55s dpkg-source: warning: cannot verify inline signature for ./cryptominisat_5.11.21+dfsg1-2.dsc: no acceptable signature found 55s autopkgtest [17:47:46]: testing package cryptominisat version 5.11.21+dfsg1-2 55s autopkgtest [17:47:46]: build not needed 56s autopkgtest [17:47:47]: test cryptominisat-basic: preparing testbed 56s Reading package lists... 56s Building dependency tree... 56s Reading state information... 56s Solving dependencies... 57s The following NEW packages will be installed: 57s cryptominisat libcryptominisat5-5.11t64 libcryptominisat5-dev 57s python3-cryptominisat 57s 0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. 57s Need to get 1163 kB of archives. 57s After this operation, 3112 kB of additional disk space will be used. 57s Get:1 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcryptominisat5-5.11t64 amd64 5.11.21+dfsg1-2 [457 kB] 57s Get:2 http://ftpmaster.internal/ubuntu resolute/universe amd64 cryptominisat amd64 5.11.21+dfsg1-2 [96.1 kB] 57s Get:3 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcryptominisat5-dev amd64 5.11.21+dfsg1-2 [17.8 kB] 57s Get:4 http://ftpmaster.internal/ubuntu resolute/universe amd64 python3-cryptominisat amd64 5.11.21+dfsg1-2 [592 kB] 57s Fetched 1163 kB in 0s (2951 kB/s) 57s Selecting previously unselected package libcryptominisat5-5.11t64:amd64. 57s (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 ... 78439 files and directories currently installed.) 57s Preparing to unpack .../libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb ... 57s Unpacking libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... 57s Selecting previously unselected package cryptominisat. 57s Preparing to unpack .../cryptominisat_5.11.21+dfsg1-2_amd64.deb ... 57s Unpacking cryptominisat (5.11.21+dfsg1-2) ... 57s Selecting previously unselected package libcryptominisat5-dev:amd64. 57s Preparing to unpack .../libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb ... 57s Unpacking libcryptominisat5-dev:amd64 (5.11.21+dfsg1-2) ... 57s Selecting previously unselected package python3-cryptominisat:amd64. 57s Preparing to unpack .../python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb ... 57s Unpacking python3-cryptominisat:amd64 (5.11.21+dfsg1-2) ... 57s Setting up python3-cryptominisat:amd64 (5.11.21+dfsg1-2) ... 57s Setting up libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... 57s Setting up cryptominisat (5.11.21+dfsg1-2) ... 57s Setting up libcryptominisat5-dev:amd64 (5.11.21+dfsg1-2) ... 57s Processing triggers for man-db (2.13.1-1) ... 58s Processing triggers for libc-bin (2.42-0ubuntu3) ... 59s autopkgtest [17:47:50]: test cryptominisat-basic: [----------------------- 59s s UNSATISFIABLE 59s s SATISFIABLE 59s autopkgtest [17:47:50]: test cryptominisat-basic: -----------------------] 60s autopkgtest [17:47:51]: test cryptominisat-basic: - - - - - - - - - - results - - - - - - - - - - 60s cryptominisat-basic PASS 60s autopkgtest [17:47:51]: @@@@@@@@@@@@@@@@@@@@ summary 60s cryptominisat-basic PASS