0s autopkgtest [13:43:16]: starting date and time: 2025-02-21 13:43:16+0000 0s autopkgtest [13:43:16]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [13:43:16]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.l19c6h6b/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:build-essential --apt-upgrade rumur --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=build-essential/12.12 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-arm64-30.secgroup --name adt-plucky-arm64-rumur-20250221-134316-juju-7f2275-prod-proposed-migration-environment-2-ac1179ef-967f-4034-968b-0f3492acee58 --image adt/ubuntu-plucky-arm64-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,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 134s autopkgtest [13:45:30]: testbed dpkg architecture: arm64 135s autopkgtest [13:45:31]: testbed apt version: 2.9.30ubuntu1 135s autopkgtest [13:45:31]: @@@@@@@@@@@@@@@@@@@@ test bed setup 135s autopkgtest [13:45:31]: testbed release detected to be: None 137s autopkgtest [13:45:33]: updating testbed package index (apt update) 138s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 138s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 138s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 138s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 138s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [719 kB] 138s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [90.3 kB] 138s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 138s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 138s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [132 kB] 138s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 138s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [677 kB] 139s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.7 kB] 139s Fetched 1765 kB in 1s (1837 kB/s) 140s Reading package lists... 141s Reading package lists... 141s Building dependency tree... 141s Reading state information... 142s Calculating upgrade... 142s Calculating upgrade... 142s The following packages will be upgraded: 142s base-files cloud-init cloud-init-base gcc-14-base motd-news-config 142s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 142s Need to get 752 kB of archives. 142s After this operation, 19.5 kB of additional disk space will be used. 142s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 motd-news-config all 13.6ubuntu1 [5168 B] 142s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 base-files arm64 13.6ubuntu1 [75.6 kB] 143s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-base arm64 14.2.0-17ubuntu3 [53.6 kB] 143s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init-base all 25.1-0ubuntu1 [616 kB] 143s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init all 25.1-0ubuntu1 [2088 B] 143s Preconfiguring packages ... 143s Fetched 752 kB in 1s (1373 kB/s) 144s (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 ... 116668 files and directories currently installed.) 144s Preparing to unpack .../motd-news-config_13.6ubuntu1_all.deb ... 144s Unpacking motd-news-config (13.6ubuntu1) over (13.5ubuntu3) ... 144s Preparing to unpack .../base-files_13.6ubuntu1_arm64.deb ... 144s Unpacking base-files (13.6ubuntu1) over (13.5ubuntu3) ... 144s Setting up base-files (13.6ubuntu1) ... 144s Updating /root/.profile to current default. 145s motd-news.service is a disabled or a static unit not running, not starting it. 145s (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 ... 116668 files and directories currently installed.) 145s Preparing to unpack .../gcc-14-base_14.2.0-17ubuntu3_arm64.deb ... 145s Unpacking gcc-14-base:arm64 (14.2.0-17ubuntu3) over (14.2.0-17ubuntu1) ... 145s Preparing to unpack .../cloud-init-base_25.1-0ubuntu1_all.deb ... 145s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 145s for fn in glob1(directory, "%s.*" % fname): 145s Unpacking cloud-init-base (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 145s Preparing to unpack .../cloud-init_25.1-0ubuntu1_all.deb ... 145s Unpacking cloud-init (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 145s Setting up motd-news-config (13.6ubuntu1) ... 145s Setting up gcc-14-base:arm64 (14.2.0-17ubuntu3) ... 145s Setting up cloud-init-base (25.1-0ubuntu1) ... 147s Setting up cloud-init (25.1-0ubuntu1) ... 147s Processing triggers for man-db (2.13.0-1) ... 148s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-2ubuntu5) ... 148s Processing triggers for install-info (7.1.1-1) ... 148s Processing triggers for rsyslog (8.2412.0-2ubuntu1) ... 148s Processing triggers for initramfs-tools (0.145ubuntu2) ... 148s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 148s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 166s System running in EFI mode, skipping. 166s Reading package lists... 167s Building dependency tree... 167s Reading state information... 167s Solving dependencies... 167s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 167s autopkgtest [13:46:03]: upgrading testbed (apt dist-upgrade and autopurge) 168s Reading package lists... 168s Building dependency tree... 168s Reading state information... 169s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 169s Starting 2 pkgProblemResolver with broken count: 0 169s Done 169s Entering ResolveByKeep 170s 170s Calculating upgrade... 170s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 171s Reading package lists... 171s Building dependency tree... 171s Reading state information... 171s Starting pkgProblemResolver with broken count: 0 171s Starting 2 pkgProblemResolver with broken count: 0 171s Done 172s Solving dependencies... 172s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 173s autopkgtest [13:46:09]: rebooting testbed after setup commands that affected boot 197s autopkgtest [13:46:33]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 15:49:33 UTC 2025 200s autopkgtest [13:46:36]: @@@@@@@@@@@@@@@@@@@@ apt-source rumur 203s Get:1 http://ftpmaster.internal/ubuntu plucky/universe rumur 2024.05.07-1 (dsc) [2035 B] 203s Get:2 http://ftpmaster.internal/ubuntu plucky/universe rumur 2024.05.07-1 (tar) [318 kB] 203s Get:3 http://ftpmaster.internal/ubuntu plucky/universe rumur 2024.05.07-1 (diff) [6256 B] 203s gpgv: Signature made Sun Jul 14 06:56:08 2024 UTC 203s gpgv: using RSA key 33CB284313E90BD27DCB4523600316A6DC277476 203s gpgv: Can't check signature: No public key 203s dpkg-source: warning: cannot verify inline signature for ./rumur_2024.05.07-1.dsc: no acceptable signature found 203s autopkgtest [13:46:39]: testing package rumur version 2024.05.07-1 204s autopkgtest [13:46:40]: build not needed 205s autopkgtest [13:46:41]: test librumur-api: preparing testbed 205s Reading package lists... 205s Building dependency tree... 205s Reading state information... 206s Starting pkgProblemResolver with broken count: 0 206s Starting 2 pkgProblemResolver with broken count: 0 206s Done 207s The following NEW packages will be installed: 207s build-essential cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu 207s flex g++ g++-14 g++-14-aarch64-linux-gnu g++-aarch64-linux-gnu gcc gcc-14 207s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0 libfl-dev 207s libfl2 libgcc-14-dev libgmp-dev libgmpxx4ldbl libgomp1 libhwasan0 libisl23 207s libitm1 liblsan0 libmpc3 libstdc++-14-dev libtsan2 libubsan1 m4 rumur 207s 0 upgraded, 32 newly installed, 0 to remove and 0 not upgraded. 207s Need to get 61.9 MB of archives. 207s After this operation, 217 MB of additional disk space will be used. 207s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 m4 arm64 1.4.19-5 [244 kB] 207s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 flex arm64 2.6.4-8.2build1 [291 kB] 207s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 208s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 208s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 210s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 210s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 210s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 210s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 210s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 210s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 210s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 210s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 210s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 210s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 210s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 210s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 211s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 211s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 211s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 211s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 211s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libstdc++-14-dev arm64 14.2.0-17ubuntu3 [2499 kB] 211s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [12.1 MB] 212s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14 arm64 14.2.0-17ubuntu3 [21.8 kB] 212s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [956 B] 212s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 g++ arm64 4:14.2.0-1ubuntu1 [1080 B] 212s Get:27 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 build-essential arm64 12.12 [4610 B] 212s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 libfl2 arm64 2.6.4-8.2build1 [9618 B] 212s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 libfl-dev arm64 2.6.4-8.2build1 [6286 B] 212s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-2ubuntu7 [10.1 kB] 212s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-2ubuntu7 [335 kB] 212s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 rumur arm64 2024.05.07-1 [1000 kB] 212s Fetched 61.9 MB in 5s (12.1 MB/s) 212s Selecting previously unselected package m4. 213s (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 ... 116669 files and directories currently installed.) 213s Preparing to unpack .../00-m4_1.4.19-5_arm64.deb ... 213s Unpacking m4 (1.4.19-5) ... 213s Selecting previously unselected package flex. 213s Preparing to unpack .../01-flex_2.6.4-8.2build1_arm64.deb ... 213s Unpacking flex (2.6.4-8.2build1) ... 213s Selecting previously unselected package libisl23:arm64. 213s Preparing to unpack .../02-libisl23_0.27-1_arm64.deb ... 213s Unpacking libisl23:arm64 (0.27-1) ... 213s Selecting previously unselected package libmpc3:arm64. 213s Preparing to unpack .../03-libmpc3_1.3.1-1build2_arm64.deb ... 213s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 213s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 213s Preparing to unpack .../04-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 213s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 214s Selecting previously unselected package cpp-14. 214s Preparing to unpack .../05-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 214s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 214s Selecting previously unselected package cpp-aarch64-linux-gnu. 214s Preparing to unpack .../06-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 214s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 214s Selecting previously unselected package cpp. 214s Preparing to unpack .../07-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 214s Unpacking cpp (4:14.2.0-1ubuntu1) ... 214s Selecting previously unselected package libcc1-0:arm64. 214s Preparing to unpack .../08-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 214s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 214s Selecting previously unselected package libgomp1:arm64. 214s Preparing to unpack .../09-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 214s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 214s Selecting previously unselected package libitm1:arm64. 214s Preparing to unpack .../10-libitm1_15-20250213-1ubuntu1_arm64.deb ... 214s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 214s Selecting previously unselected package libasan8:arm64. 214s Preparing to unpack .../11-libasan8_15-20250213-1ubuntu1_arm64.deb ... 214s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 214s Selecting previously unselected package liblsan0:arm64. 214s Preparing to unpack .../12-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 214s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 214s Selecting previously unselected package libtsan2:arm64. 214s Preparing to unpack .../13-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 214s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 214s Selecting previously unselected package libubsan1:arm64. 214s Preparing to unpack .../14-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 214s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 214s Selecting previously unselected package libhwasan0:arm64. 214s Preparing to unpack .../15-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 214s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 214s Selecting previously unselected package libgcc-14-dev:arm64. 214s Preparing to unpack .../16-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 214s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 214s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 214s Preparing to unpack .../17-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 214s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 215s Selecting previously unselected package gcc-14. 215s Preparing to unpack .../18-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 215s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 215s Selecting previously unselected package gcc-aarch64-linux-gnu. 215s Preparing to unpack .../19-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 215s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 215s Selecting previously unselected package gcc. 215s Preparing to unpack .../20-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 215s Unpacking gcc (4:14.2.0-1ubuntu1) ... 215s Selecting previously unselected package libstdc++-14-dev:arm64. 215s Preparing to unpack .../21-libstdc++-14-dev_14.2.0-17ubuntu3_arm64.deb ... 215s Unpacking libstdc++-14-dev:arm64 (14.2.0-17ubuntu3) ... 215s Selecting previously unselected package g++-14-aarch64-linux-gnu. 215s Preparing to unpack .../22-g++-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 215s Unpacking g++-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 216s Selecting previously unselected package g++-14. 216s Preparing to unpack .../23-g++-14_14.2.0-17ubuntu3_arm64.deb ... 216s Unpacking g++-14 (14.2.0-17ubuntu3) ... 216s Selecting previously unselected package g++-aarch64-linux-gnu. 216s Preparing to unpack .../24-g++-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 216s Unpacking g++-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 216s Selecting previously unselected package g++. 216s Preparing to unpack .../25-g++_4%3a14.2.0-1ubuntu1_arm64.deb ... 216s Unpacking g++ (4:14.2.0-1ubuntu1) ... 216s Selecting previously unselected package build-essential. 216s Preparing to unpack .../26-build-essential_12.12_arm64.deb ... 216s Unpacking build-essential (12.12) ... 216s Selecting previously unselected package libfl2:arm64. 216s Preparing to unpack .../27-libfl2_2.6.4-8.2build1_arm64.deb ... 216s Unpacking libfl2:arm64 (2.6.4-8.2build1) ... 216s Selecting previously unselected package libfl-dev:arm64. 216s Preparing to unpack .../28-libfl-dev_2.6.4-8.2build1_arm64.deb ... 216s Unpacking libfl-dev:arm64 (2.6.4-8.2build1) ... 216s Selecting previously unselected package libgmpxx4ldbl:arm64. 216s Preparing to unpack .../29-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu7_arm64.deb ... 216s Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2ubuntu7) ... 216s Selecting previously unselected package libgmp-dev:arm64. 216s Preparing to unpack .../30-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu7_arm64.deb ... 216s Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-2ubuntu7) ... 216s Selecting previously unselected package rumur. 216s Preparing to unpack .../31-rumur_2024.05.07-1_arm64.deb ... 216s Unpacking rumur (2024.05.07-1) ... 216s Setting up m4 (1.4.19-5) ... 216s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 216s Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2ubuntu7) ... 216s Setting up rumur (2024.05.07-1) ... 216s Setting up libmpc3:arm64 (1.3.1-1build2) ... 216s Setting up libfl2:arm64 (2.6.4-8.2build1) ... 216s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 216s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 216s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 216s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 216s Setting up libisl23:arm64 (0.27-1) ... 216s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 216s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 216s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 216s Setting up flex (2.6.4-8.2build1) ... 216s Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-2ubuntu7) ... 216s Setting up libfl-dev:arm64 (2.6.4-8.2build1) ... 216s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 216s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 216s Setting up libstdc++-14-dev:arm64 (14.2.0-17ubuntu3) ... 216s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 216s Setting up cpp-14 (14.2.0-17ubuntu3) ... 216s Setting up cpp (4:14.2.0-1ubuntu1) ... 216s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 216s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 216s Setting up g++-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 216s Setting up gcc-14 (14.2.0-17ubuntu3) ... 216s Setting up g++-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 216s Setting up g++-14 (14.2.0-17ubuntu3) ... 216s Setting up gcc (4:14.2.0-1ubuntu1) ... 216s Setting up g++ (4:14.2.0-1ubuntu1) ... 216s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 216s Setting up build-essential (12.12) ... 216s Processing triggers for libc-bin (2.40-4ubuntu1) ... 216s Processing triggers for man-db (2.13.0-1) ... 217s Processing triggers for install-info (7.1.1-1) ... 219s autopkgtest [13:46:55]: test librumur-api: [----------------------- 220s + mkdir -p /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/librumur-api 220s + cd /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/librumur-api 220s + cat - 220s + cat - 220s + c++ -std=c++11 main.cc -lrumur -lgmpxx -lgmp 221s + ./a.out 221s autopkgtest [13:46:57]: test librumur-api: -----------------------] 222s autopkgtest [13:46:58]: test librumur-api: - - - - - - - - - - results - - - - - - - - - - 222s librumur-api PASS 222s autopkgtest [13:46:58]: test murphi2c-header: preparing testbed 223s Reading package lists... 223s Building dependency tree... 223s Reading state information... 223s Starting pkgProblemResolver with broken count: 0 223s Starting 2 pkgProblemResolver with broken count: 0 223s Done 224s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 225s autopkgtest [13:47:01]: test murphi2c-header: [----------------------- 226s + mkdir -p /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/murphi2c-header 226s + cd /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/murphi2c-header 226s + cat - 226s + murphi2c --header --output model.h model.m 226s + cat - 226s + cc -std=c11 -o /dev/null main.c 226s + cat - 226s + c++ -std=c++11 -o /dev/null main.cc 226s autopkgtest [13:47:02]: test murphi2c-header: -----------------------] 227s murphi2c-header PASS 227s autopkgtest [13:47:03]: test murphi2c-header: - - - - - - - - - - results - - - - - - - - - - 228s autopkgtest [13:47:04]: test murphi2c-source: preparing testbed 228s Reading package lists... 228s Building dependency tree... 228s Reading state information... 229s Starting pkgProblemResolver with broken count: 0 229s Starting 2 pkgProblemResolver with broken count: 0 229s Done 229s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 230s autopkgtest [13:47:06]: test murphi2c-source: [----------------------- 231s + mkdir -p /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/murphi2c-source 231s + cd /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/murphi2c-source 231s + cat - 231s + murphi2c --output model.c model.m 231s + cc -std=c11 -o /dev/null -c model.c 231s autopkgtest [13:47:07]: test murphi2c-source: -----------------------] 232s murphi2c-source PASS 232s autopkgtest [13:47:08]: test murphi2c-source: - - - - - - - - - - results - - - - - - - - - - 232s autopkgtest [13:47:08]: test murphi2c-version: preparing testbed 232s Reading package lists... 233s Building dependency tree... 233s Reading state information... 233s Starting pkgProblemResolver with broken count: 0 233s Starting 2 pkgProblemResolver with broken count: 0 233s Done 234s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 235s autopkgtest [13:47:11]: test murphi2c-version: [----------------------- 236s Murphi2C version v2024.05.07-1 236s + murphi2c --version 236s autopkgtest [13:47:12]: test murphi2c-version: -----------------------] 237s murphi2c-version PASS 237s autopkgtest [13:47:13]: test murphi2c-version: - - - - - - - - - - results - - - - - - - - - - 237s autopkgtest [13:47:13]: test murphi2murphi-basic: preparing testbed 238s Reading package lists... 238s Building dependency tree... 238s Reading state information... 239s Starting pkgProblemResolver with broken count: 0 239s Starting 2 pkgProblemResolver with broken count: 0 239s Done 239s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 241s autopkgtest [13:47:17]: test murphi2murphi-basic: [----------------------- 241s + mkdir -p /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/murphi2murphi-basic 241s + cd /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/murphi2murphi-basic 241s + cat - 241s + murphi2murphi --output transformed.m --explicit-semicolons model.m 241s + rumur --output /dev/null transformed.m 241s autopkgtest [13:47:17]: test murphi2murphi-basic: -----------------------] 242s murphi2murphi-basic PASS 242s autopkgtest [13:47:18]: test murphi2murphi-basic: - - - - - - - - - - results - - - - - - - - - - 243s autopkgtest [13:47:19]: test murphi2murphi-version: preparing testbed 243s Reading package lists... 243s Building dependency tree... 243s Reading state information... 244s Starting pkgProblemResolver with broken count: 0 244s Starting 2 pkgProblemResolver with broken count: 0 244s Done 245s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 246s autopkgtest [13:47:22]: test murphi2murphi-version: [----------------------- 247s Murphi2Murphi version v2024.05.07-1 247s + murphi2murphi --version 247s autopkgtest [13:47:23]: test murphi2murphi-version: -----------------------] 248s autopkgtest [13:47:24]: test murphi2murphi-version: - - - - - - - - - - results - - - - - - - - - - 248s murphi2murphi-version PASS 249s autopkgtest [13:47:25]: test murphi2xml-model: preparing testbed 249s Reading package lists... 249s Building dependency tree... 249s Reading state information... 250s Starting pkgProblemResolver with broken count: 0 250s Starting 2 pkgProblemResolver with broken count: 0 250s Done 251s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 252s autopkgtest [13:47:28]: test murphi2xml-model: [----------------------- 252s + mkdir -p /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/murphi2xml-model 252s + cd /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/murphi2xml-model 252s + cat - 252s + murphi2xml --output /dev/null model.m 253s autopkgtest [13:47:29]: test murphi2xml-model: -----------------------] 253s murphi2xml-model PASS 253s autopkgtest [13:47:29]: test murphi2xml-model: - - - - - - - - - - results - - - - - - - - - - 254s autopkgtest [13:47:30]: test murphi2xml-version: preparing testbed 255s Reading package lists... 255s Building dependency tree... 255s Reading state information... 255s Starting pkgProblemResolver with broken count: 0 255s Starting 2 pkgProblemResolver with broken count: 0 255s Done 256s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 258s autopkgtest [13:47:34]: test murphi2xml-version: [----------------------- 258s Rumur version v2024.05.07-1 258s + murphi2xml --version 259s autopkgtest [13:47:35]: test murphi2xml-version: -----------------------] 259s murphi2xml-version PASS 259s autopkgtest [13:47:35]: test murphi2xml-version: - - - - - - - - - - results - - - - - - - - - - 260s autopkgtest [13:47:36]: test rumur-model: preparing testbed 260s Reading package lists... 261s Building dependency tree... 261s Reading state information... 261s Starting pkgProblemResolver with broken count: 0 261s Starting 2 pkgProblemResolver with broken count: 0 261s Done 262s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 263s autopkgtest [13:47:39]: test rumur-model: [----------------------- 263s + mkdir -p /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/rumur-model 263s + cd /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/rumur-model 263s + set +e 263s + cat - 263s + cc -std=c11 -march=native march-native-check.c -o /dev/null 263s + '[' 0 -eq 0 ']' 263s + MARCH=-march=native 263s + cat - 263s + cc -std=c11 -mcx16 mcx16-check.c -o /dev/null 263s cc: error: unrecognized command-line option ‘-mcx16’ 263s + '[' 1 -eq 0 ']' 263s + MCX16= 263s + cat - 263s + cc -std=c11 -march=native libatomic-check.c -o /dev/null 263s + '[' 0 -eq 0 ']' 263s + LIBATOMIC= 263s + set -e 263s + cat - 263s + rumur --output checker.c model.m 263s + cc -std=c11 -march=native checker.c -lpthread 263s checker.c:135:2: warning: #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. [-Wcpp] 263s 135 | #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. 263s | ^~~~~~~ 264s Memory usage: 264s 264s * The size of each state is 2 bits (rounded up to 1 bytes). 264s * The size of the hash table is 65536 slots. 264s 264s Progress Report: 264s 264s 264s ========================================================================== 264s 264s Status: 264s 264s No error found. 264s 264s State Space Explored: 264s 264s 2 states, 2 rules fired in 0s. 264s + ./a.out 264s autopkgtest [13:47:40]: test rumur-model: -----------------------] 265s autopkgtest [13:47:41]: test rumur-model: - - - - - - - - - - results - - - - - - - - - - 265s rumur-model PASS 266s autopkgtest [13:47:42]: test rumur-run-model: preparing testbed 266s Reading package lists... 266s Building dependency tree... 266s Reading state information... 267s Starting pkgProblemResolver with broken count: 0 267s Starting 2 pkgProblemResolver with broken count: 0 267s Done 268s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 269s autopkgtest [13:47:45]: test rumur-run-model: [----------------------- 269s + mkdir -p /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/rumur-run-model 269s + cd /tmp/autopkgtest.w3v3Ij/autopkgtest_tmp/rumur-run-model 269s + cat - 269s + rumur-run model.m 270s Memory usage: 270s 270s * The size of each state is 2 bits (rounded up to 1 bytes). 270s * The size of the hash table is 65536 slots. 270s 270s Progress Report: 270s 270s 270s ========================================================================== 270s 270s Status: 270s 270s No error found. 270s 270s State Space Explored: 270s 270s 2 states, 2 rules fired in 0s. 270s Generating the checker... 270s Compiling the checker... 270s Running the checker... 271s autopkgtest [13:47:47]: test rumur-run-model: -----------------------] 271s rumur-run-model PASS 271s autopkgtest [13:47:47]: test rumur-run-model: - - - - - - - - - - results - - - - - - - - - - 272s autopkgtest [13:47:48]: test rumur-version: preparing testbed 272s Reading package lists... 272s Building dependency tree... 272s Reading state information... 273s Starting pkgProblemResolver with broken count: 0 273s Starting 2 pkgProblemResolver with broken count: 0 273s Done 274s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 275s autopkgtest [13:47:51]: test rumur-version: [----------------------- 275s + rumur --version 275s Rumur version v2024.05.07-1 276s autopkgtest [13:47:52]: test rumur-version: -----------------------] 276s autopkgtest [13:47:52]: test rumur-version: - - - - - - - - - - results - - - - - - - - - - 276s rumur-version PASS 277s autopkgtest [13:47:53]: @@@@@@@@@@@@@@@@@@@@ summary 277s librumur-api PASS 277s murphi2c-header PASS 277s murphi2c-source PASS 277s murphi2c-version PASS 277s murphi2murphi-basic PASS 277s murphi2murphi-version PASS 277s murphi2xml-model PASS 277s murphi2xml-version PASS 277s rumur-model PASS 277s rumur-run-model PASS 277s rumur-version PASS 284s nova [W] Using flock in prodstack6-arm64 284s flock: timeout while waiting to get lock 284s Creating nova instance adt-plucky-arm64-rumur-20250221-134316-juju-7f2275-prod-proposed-migration-environment-2-ac1179ef-967f-4034-968b-0f3492acee58 from image adt/ubuntu-plucky-arm64-server-20250221.img (UUID 7cc4cd7e-6f5b-4658-9b17-e38e7fa05fb0)... 284s nova [W] Timed out waiting for 394f4d8f-9504-4341-99de-849ea8bd0448 to get deleted.