0s autopkgtest [18:50:51]: starting date and time: 2025-03-15 18:50:51+0000 0s autopkgtest [18:50:51]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [18:50:51]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.prp_9cg0/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade rumur --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-s390x-10.secgroup --name adt-plucky-s390x-rumur-20250315-185051-juju-7f2275-prod-proposed-migration-environment-2-13ad2219-4853-4fee-ab62-e6db9d574077 --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-s390x -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/ 125s autopkgtest [18:52:56]: testbed dpkg architecture: s390x 125s autopkgtest [18:52:56]: testbed apt version: 2.9.33 126s autopkgtest [18:52:57]: @@@@@@@@@@@@@@@@@@@@ test bed setup 126s autopkgtest [18:52:57]: testbed release detected to be: None 127s autopkgtest [18:52:58]: updating testbed package index (apt update) 127s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 127s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 127s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 127s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 127s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 128s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 128s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 128s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [113 kB] 128s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x c-n-f Metadata [1824 B] 128s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x c-n-f Metadata [116 B] 128s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [320 kB] 128s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x c-n-f Metadata [13.4 kB] 128s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3776 B] 128s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x c-n-f Metadata [240 B] 128s Fetched 1073 kB in 1s (825 kB/s) 129s Reading package lists... 130s Reading package lists... 130s Building dependency tree... 130s Reading state information... 130s Calculating upgrade... 130s Calculating upgrade... 130s The following packages were automatically installed and are no longer required: 130s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 130s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 130s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 130s linux-tools-6.11.0-8-generic 130s Use 'sudo apt autoremove' to remove them. 130s The following packages will be upgraded: 130s pinentry-curses python3-jinja2 strace 130s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 130s Need to get 652 kB of archives. 130s After this operation, 27.6 kB of additional disk space will be used. 130s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x strace s390x 6.13+ds-1ubuntu1 [500 kB] 131s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x pinentry-curses s390x 1.3.1-2ubuntu3 [42.9 kB] 131s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 131s Fetched 652 kB in 1s (767 kB/s) 131s (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 ... 81428 files and directories currently installed.) 131s Preparing to unpack .../strace_6.13+ds-1ubuntu1_s390x.deb ... 131s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 131s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_s390x.deb ... 131s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 131s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 131s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 131s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 131s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 132s Setting up strace (6.13+ds-1ubuntu1) ... 132s Processing triggers for man-db (2.13.0-1) ... 132s Reading package lists... 132s Building dependency tree... 132s Reading state information... 132s Solving dependencies... 132s The following packages will be REMOVED: 132s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 132s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 132s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 132s linux-tools-6.11.0-8-generic* 133s 0 upgraded, 0 newly installed, 9 to remove and 5 not upgraded. 133s After this operation, 167 MB disk space will be freed. 133s (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 ... 81428 files and directories currently installed.) 133s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 133s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 133s Removing libpython3.12t64:s390x (3.12.9-1) ... 133s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 133s Removing libnsl2:s390x (1.3.0-3build3) ... 133s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 133s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 133s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 134s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 134s Processing triggers for libc-bin (2.41-1ubuntu1) ... 134s (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 ... 56328 files and directories currently installed.) 134s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 134s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 134s autopkgtest [18:53:05]: upgrading testbed (apt dist-upgrade and autopurge) 134s Reading package lists... 134s Building dependency tree... 134s Reading state information... 134s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 134s Starting 2 pkgProblemResolver with broken count: 0 134s Done 135s Entering ResolveByKeep 135s 135s Calculating upgrade... 135s The following packages will be upgraded: 135s libc-bin libc-dev-bin libc6 libc6-dev locales 135s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 135s Need to get 9512 kB of archives. 135s After this operation, 8192 B of additional disk space will be used. 135s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu2 [1678 kB] 137s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu2 [24.3 kB] 137s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu2 [2892 kB] 139s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu2 [671 kB] 140s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu2 [4246 kB] 144s Preconfiguring packages ... 144s Fetched 9512 kB in 9s (1059 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 ... 56326 files and directories currently installed.) 144s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_s390x.deb ... 144s Unpacking libc6-dev:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 144s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_s390x.deb ... 144s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 144s Preparing to unpack .../libc6_2.41-1ubuntu2_s390x.deb ... 144s Unpacking libc6:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 145s Setting up libc6:s390x (2.41-1ubuntu2) ... 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 ... 56326 files and directories currently installed.) 145s Preparing to unpack .../libc-bin_2.41-1ubuntu2_s390x.deb ... 145s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 145s Setting up libc-bin (2.41-1ubuntu2) ... 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 ... 56326 files and directories currently installed.) 145s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 145s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 145s Setting up locales (2.41-1ubuntu2) ... 145s Generating locales (this might take a while)... 146s en_US.UTF-8... done 146s Generation complete. 146s Setting up libc-dev-bin (2.41-1ubuntu2) ... 146s Setting up libc6-dev:s390x (2.41-1ubuntu2) ... 146s Processing triggers for man-db (2.13.0-1) ... 147s Processing triggers for systemd (257.3-1ubuntu3) ... 148s Reading package lists... 148s Building dependency tree... 148s Reading state information... 148s Starting pkgProblemResolver with broken count: 0 148s Starting 2 pkgProblemResolver with broken count: 0 148s Done 148s Solving dependencies... 148s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 148s autopkgtest [18:53:19]: rebooting testbed after setup commands that affected boot 169s autopkgtest [18:53:40]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP Wed Mar 12 14:53:49 UTC 2025 171s autopkgtest [18:53:42]: @@@@@@@@@@@@@@@@@@@@ apt-source rumur 173s Get:1 http://ftpmaster.internal/ubuntu plucky/universe rumur 2025.02.02-1 (dsc) [2051 B] 173s Get:2 http://ftpmaster.internal/ubuntu plucky/universe rumur 2025.02.02-1 (tar) [353 kB] 173s Get:3 http://ftpmaster.internal/ubuntu plucky/universe rumur 2025.02.02-1 (diff) [6464 B] 173s gpgv: Signature made Sun Feb 23 17:17:52 2025 UTC 173s gpgv: using RSA key 77C9619C49D6A2CDCDF2FFAA428304A1748DCC7A 173s gpgv: Can't check signature: No public key 173s dpkg-source: warning: cannot verify inline signature for ./rumur_2025.02.02-1.dsc: no acceptable signature found 173s autopkgtest [18:53:44]: testing package rumur version 2025.02.02-1 174s autopkgtest [18:53:45]: build not needed 174s autopkgtest [18:53:45]: test librumur-api: preparing testbed 175s Reading package lists... 175s Building dependency tree... 175s Reading state information... 175s Starting pkgProblemResolver with broken count: 0 175s Starting 2 pkgProblemResolver with broken count: 0 175s Done 175s The following NEW packages will be installed: 175s build-essential cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu flex 175s g++ g++-14 g++-14-s390x-linux-gnu g++-s390x-linux-gnu gcc gcc-14 175s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0 libfl-dev 175s libfl2 libgcc-14-dev libgmp-dev libgmpxx4ldbl libgomp1 libisl23 libitm1 175s libmpc3 libstdc++-14-dev libubsan1 m4 rumur 175s 0 upgraded, 29 newly installed, 0 to remove and 0 not upgraded. 175s Need to get 50.9 MB of archives. 175s After this operation, 166 MB of additional disk space will be used. 175s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x m4 s390x 1.4.19-7 [259 kB] 176s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x flex s390x 2.6.4-8.2build1 [311 kB] 176s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 177s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 177s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 185s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 185s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 185s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 185s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250222-0ubuntu1 [49.2 kB] 185s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250222-0ubuntu1 [152 kB] 186s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250222-0ubuntu1 [31.2 kB] 186s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250222-0ubuntu1 [2970 kB] 188s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250222-0ubuntu1 [1212 kB] 189s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 190s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 205s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 206s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 206s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 206s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libstdc++-14-dev s390x 14.2.0-17ubuntu3 [2611 kB] 208s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x g++-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [11.0 MB] 216s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x g++-14 s390x 14.2.0-17ubuntu3 [21.8 kB] 216s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x g++-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [956 B] 216s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x g++ s390x 4:14.2.0-1ubuntu1 [1080 B] 216s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x build-essential s390x 12.10ubuntu1 [4930 B] 217s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x libfl2 s390x 2.6.4-8.2build1 [9714 B] 217s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x libfl-dev s390x 2.6.4-8.2build1 [6270 B] 217s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libgmpxx4ldbl s390x 2:6.3.0+dfsg-3ubuntu1 [10.1 kB] 217s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x libgmp-dev s390x 2:6.3.0+dfsg-3ubuntu1 [424 kB] 217s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x rumur s390x 2025.02.02-1 [1173 kB] 218s Fetched 50.9 MB in 42s (1203 kB/s) 218s Selecting previously unselected package m4. 218s (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 ... 56326 files and directories currently installed.) 218s Preparing to unpack .../00-m4_1.4.19-7_s390x.deb ... 218s Unpacking m4 (1.4.19-7) ... 218s Selecting previously unselected package flex. 218s Preparing to unpack .../01-flex_2.6.4-8.2build1_s390x.deb ... 218s Unpacking flex (2.6.4-8.2build1) ... 218s Selecting previously unselected package libisl23:s390x. 218s Preparing to unpack .../02-libisl23_0.27-1_s390x.deb ... 218s Unpacking libisl23:s390x (0.27-1) ... 218s Selecting previously unselected package libmpc3:s390x. 218s Preparing to unpack .../03-libmpc3_1.3.1-1build2_s390x.deb ... 218s Unpacking libmpc3:s390x (1.3.1-1build2) ... 218s Selecting previously unselected package cpp-14-s390x-linux-gnu. 218s Preparing to unpack .../04-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 218s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 218s Selecting previously unselected package cpp-14. 218s Preparing to unpack .../05-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 218s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 218s Selecting previously unselected package cpp-s390x-linux-gnu. 218s Preparing to unpack .../06-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 218s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 218s Selecting previously unselected package cpp. 218s Preparing to unpack .../07-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 218s Unpacking cpp (4:14.2.0-1ubuntu1) ... 218s Selecting previously unselected package libcc1-0:s390x. 218s Preparing to unpack .../08-libcc1-0_15-20250222-0ubuntu1_s390x.deb ... 218s Unpacking libcc1-0:s390x (15-20250222-0ubuntu1) ... 218s Selecting previously unselected package libgomp1:s390x. 218s Preparing to unpack .../09-libgomp1_15-20250222-0ubuntu1_s390x.deb ... 218s Unpacking libgomp1:s390x (15-20250222-0ubuntu1) ... 218s Selecting previously unselected package libitm1:s390x. 218s Preparing to unpack .../10-libitm1_15-20250222-0ubuntu1_s390x.deb ... 218s Unpacking libitm1:s390x (15-20250222-0ubuntu1) ... 218s Selecting previously unselected package libasan8:s390x. 218s Preparing to unpack .../11-libasan8_15-20250222-0ubuntu1_s390x.deb ... 218s Unpacking libasan8:s390x (15-20250222-0ubuntu1) ... 218s Selecting previously unselected package libubsan1:s390x. 218s Preparing to unpack .../12-libubsan1_15-20250222-0ubuntu1_s390x.deb ... 218s Unpacking libubsan1:s390x (15-20250222-0ubuntu1) ... 218s Selecting previously unselected package libgcc-14-dev:s390x. 218s Preparing to unpack .../13-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 218s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 218s Selecting previously unselected package gcc-14-s390x-linux-gnu. 218s Preparing to unpack .../14-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 218s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 219s Selecting previously unselected package gcc-14. 219s Preparing to unpack .../15-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 219s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 219s Selecting previously unselected package gcc-s390x-linux-gnu. 219s Preparing to unpack .../16-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 219s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 219s Selecting previously unselected package gcc. 219s Preparing to unpack .../17-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 219s Unpacking gcc (4:14.2.0-1ubuntu1) ... 219s Selecting previously unselected package libstdc++-14-dev:s390x. 219s Preparing to unpack .../18-libstdc++-14-dev_14.2.0-17ubuntu3_s390x.deb ... 219s Unpacking libstdc++-14-dev:s390x (14.2.0-17ubuntu3) ... 219s Selecting previously unselected package g++-14-s390x-linux-gnu. 219s Preparing to unpack .../19-g++-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 219s Unpacking g++-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 219s Selecting previously unselected package g++-14. 219s Preparing to unpack .../20-g++-14_14.2.0-17ubuntu3_s390x.deb ... 219s Unpacking g++-14 (14.2.0-17ubuntu3) ... 219s Selecting previously unselected package g++-s390x-linux-gnu. 219s Preparing to unpack .../21-g++-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 219s Unpacking g++-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 219s Selecting previously unselected package g++. 219s Preparing to unpack .../22-g++_4%3a14.2.0-1ubuntu1_s390x.deb ... 219s Unpacking g++ (4:14.2.0-1ubuntu1) ... 219s Selecting previously unselected package build-essential. 219s Preparing to unpack .../23-build-essential_12.10ubuntu1_s390x.deb ... 219s Unpacking build-essential (12.10ubuntu1) ... 219s Selecting previously unselected package libfl2:s390x. 219s Preparing to unpack .../24-libfl2_2.6.4-8.2build1_s390x.deb ... 219s Unpacking libfl2:s390x (2.6.4-8.2build1) ... 219s Selecting previously unselected package libfl-dev:s390x. 219s Preparing to unpack .../25-libfl-dev_2.6.4-8.2build1_s390x.deb ... 219s Unpacking libfl-dev:s390x (2.6.4-8.2build1) ... 219s Selecting previously unselected package libgmpxx4ldbl:s390x. 219s Preparing to unpack .../26-libgmpxx4ldbl_2%3a6.3.0+dfsg-3ubuntu1_s390x.deb ... 219s Unpacking libgmpxx4ldbl:s390x (2:6.3.0+dfsg-3ubuntu1) ... 219s Selecting previously unselected package libgmp-dev:s390x. 219s Preparing to unpack .../27-libgmp-dev_2%3a6.3.0+dfsg-3ubuntu1_s390x.deb ... 219s Unpacking libgmp-dev:s390x (2:6.3.0+dfsg-3ubuntu1) ... 219s Selecting previously unselected package rumur. 219s Preparing to unpack .../28-rumur_2025.02.02-1_s390x.deb ... 219s Unpacking rumur (2025.02.02-1) ... 219s Setting up m4 (1.4.19-7) ... 219s Setting up libgomp1:s390x (15-20250222-0ubuntu1) ... 219s Setting up libgmpxx4ldbl:s390x (2:6.3.0+dfsg-3ubuntu1) ... 219s Setting up rumur (2025.02.02-1) ... 219s Setting up libmpc3:s390x (1.3.1-1build2) ... 219s Setting up libfl2:s390x (2.6.4-8.2build1) ... 219s Setting up libubsan1:s390x (15-20250222-0ubuntu1) ... 219s Setting up libasan8:s390x (15-20250222-0ubuntu1) ... 219s Setting up libisl23:s390x (0.27-1) ... 219s Setting up libcc1-0:s390x (15-20250222-0ubuntu1) ... 219s Setting up libitm1:s390x (15-20250222-0ubuntu1) ... 219s Setting up flex (2.6.4-8.2build1) ... 219s Setting up libgmp-dev:s390x (2:6.3.0+dfsg-3ubuntu1) ... 219s Setting up libfl-dev:s390x (2.6.4-8.2build1) ... 219s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 219s Setting up cpp-14 (14.2.0-17ubuntu3) ... 219s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 219s Setting up libstdc++-14-dev:s390x (14.2.0-17ubuntu3) ... 219s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 219s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 219s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 219s Setting up g++-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 219s Setting up cpp (4:14.2.0-1ubuntu1) ... 219s Setting up g++-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 219s Setting up gcc-14 (14.2.0-17ubuntu3) ... 219s Setting up g++-14 (14.2.0-17ubuntu3) ... 219s Setting up gcc (4:14.2.0-1ubuntu1) ... 219s Setting up g++ (4:14.2.0-1ubuntu1) ... 219s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 219s Setting up build-essential (12.10ubuntu1) ... 219s Processing triggers for libc-bin (2.41-1ubuntu2) ... 219s Processing triggers for man-db (2.13.0-1) ... 220s Processing triggers for install-info (7.1.1-1) ... 221s autopkgtest [18:54:32]: test librumur-api: [----------------------- 221s + mkdir -p /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/librumur-api 221s + cd /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/librumur-api 221s + cat - 221s + cat - 221s + c++ -std=c++11 main.cc -lrumur -lgmpxx -lgmp 222s + ./a.out 222s autopkgtest [18:54:33]: test librumur-api: -----------------------] 223s librumur-api PASS 223s autopkgtest [18:54:34]: test librumur-api: - - - - - - - - - - results - - - - - - - - - - 223s autopkgtest [18:54:34]: test murphi2c-header: preparing testbed 224s Reading package lists... 224s Building dependency tree... 224s Reading state information... 224s Starting pkgProblemResolver with broken count: 0 224s Starting 2 pkgProblemResolver with broken count: 0 224s Done 224s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 225s autopkgtest [18:54:36]: test murphi2c-header: [----------------------- 225s + mkdir -p /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/murphi2c-header 225s + cd /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/murphi2c-header 225s + cat - 225s + murphi2c --header --output model.h model.m 225s + cat - 225s + cc -std=c11 -o /dev/null main.c 225s + cat - 225s + c++ -std=c++11 -o /dev/null main.cc 226s autopkgtest [18:54:37]: test murphi2c-header: -----------------------] 226s autopkgtest [18:54:37]: test murphi2c-header: - - - - - - - - - - results - - - - - - - - - - 226s murphi2c-header PASS 226s autopkgtest [18:54:37]: test murphi2c-source: preparing testbed 227s Reading package lists... 227s Building dependency tree... 227s Reading state information... 227s Starting pkgProblemResolver with broken count: 0 227s Starting 2 pkgProblemResolver with broken count: 0 227s Done 227s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 228s autopkgtest [18:54:39]: test murphi2c-source: [----------------------- 228s + mkdir -p /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/murphi2c-source 228s + cd /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/murphi2c-source 228s + cat - 228s + murphi2c --output model.c model.m 228s + cc -std=c11 -o /dev/null -c model.c 228s autopkgtest [18:54:39]: test murphi2c-source: -----------------------] 229s murphi2c-source PASS 229s autopkgtest [18:54:40]: test murphi2c-source: - - - - - - - - - - results - - - - - - - - - - 229s autopkgtest [18:54:40]: test murphi2c-version: preparing testbed 230s Reading package lists... 230s Building dependency tree... 230s Reading state information... 230s Starting pkgProblemResolver with broken count: 0 230s Starting 2 pkgProblemResolver with broken count: 0 230s Done 230s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 231s autopkgtest [18:54:42]: test murphi2c-version: [----------------------- 231s Murphi2C version v2025.02.02-1 231s + murphi2c --version 231s autopkgtest [18:54:42]: test murphi2c-version: -----------------------] 232s murphi2c-version PASS 232s autopkgtest [18:54:43]: test murphi2c-version: - - - - - - - - - - results - - - - - - - - - - 232s autopkgtest [18:54:43]: test murphi2murphi-basic: preparing testbed 233s 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 233s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 234s autopkgtest [18:54:45]: test murphi2murphi-basic: [----------------------- 234s + mkdir -p /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/murphi2murphi-basic 234s + cd /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/murphi2murphi-basic 234s + cat - 234s + murphi2murphi --output transformed.m --explicit-semicolons model.m 234s + rumur --output /dev/null transformed.m 234s autopkgtest [18:54:45]: test murphi2murphi-basic: -----------------------] 235s murphi2murphi-basic PASS 235s autopkgtest [18:54:46]: test murphi2murphi-basic: - - - - - - - - - - results - - - - - - - - - - 235s autopkgtest [18:54:46]: test murphi2murphi-version: preparing testbed 235s Reading package lists... 235s Building dependency tree... 235s Reading state information... 235s Starting pkgProblemResolver with broken count: 0 235s Starting 2 pkgProblemResolver with broken count: 0 235s Done 236s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 236s autopkgtest [18:54:47]: test murphi2murphi-version: [----------------------- 237s + murphi2murphi --version 237s Murphi2Murphi version v2025.02.02-1 237s autopkgtest [18:54:48]: test murphi2murphi-version: -----------------------] 237s autopkgtest [18:54:48]: test murphi2murphi-version: - - - - - - - - - - results - - - - - - - - - - 237s murphi2murphi-version PASS 238s autopkgtest [18:54:49]: test murphi2xml-model: preparing testbed 238s Reading package lists... 238s Building dependency tree... 238s Reading state information... 238s Starting pkgProblemResolver with broken count: 0 238s Starting 2 pkgProblemResolver with broken count: 0 238s Done 238s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 239s autopkgtest [18:54:50]: test murphi2xml-model: [----------------------- 239s + mkdir -p /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/murphi2xml-model 239s + cd /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/murphi2xml-model 239s + cat - 239s + murphi2xml --output /dev/null model.m 240s autopkgtest [18:54:51]: test murphi2xml-model: -----------------------] 240s autopkgtest [18:54:51]: test murphi2xml-model: - - - - - - - - - - results - - - - - - - - - - 240s murphi2xml-model PASS 241s autopkgtest [18:54:52]: test murphi2xml-version: preparing testbed 241s Reading package lists... 241s Building dependency tree... 241s Reading state information... 241s Starting pkgProblemResolver with broken count: 0 241s Starting 2 pkgProblemResolver with broken count: 0 241s Done 241s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 242s autopkgtest [18:54:53]: test murphi2xml-version: [----------------------- 242s + murphi2xml --version 242s Rumur version v2025.02.02-1 243s autopkgtest [18:54:54]: test murphi2xml-version: -----------------------] 243s murphi2xml-version PASS 243s autopkgtest [18:54:54]: test murphi2xml-version: - - - - - - - - - - results - - - - - - - - - - 243s autopkgtest [18:54:54]: test rumur-model: preparing testbed 244s Reading package lists... 244s Building dependency tree... 244s Reading state information... 244s Starting pkgProblemResolver with broken count: 0 244s Starting 2 pkgProblemResolver with broken count: 0 244s Done 244s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 245s autopkgtest [18:54:56]: test rumur-model: [----------------------- 245s + mkdir -p /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/rumur-model 245s + cd /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/rumur-model 245s + set +e 245s + cat - 245s + cc -std=c11 -march=native march-native-check.c -o /dev/null 245s + '[' 0 -eq 0 ']' 245s + MARCH=-march=native 245s + cat - 245s + cc -std=c11 -mcx16 mcx16-check.c -o /dev/null 245s cc: error: unrecognized command-line option ‘-mcx16’ 245s + '[' 1 -eq 0 ']' 245s + MCX16= 245s + cat - 245s + cc -std=c11 -march=native libatomic-check.c -o /dev/null 245s /usr/bin/ld: /tmp/cckfFAu5.o: in function `atomic_read': 245s libatomic-check.c:(.text+0x46): undefined reference to `__atomic_load_16' 245s /usr/bin/ld: /tmp/cckfFAu5.o: in function `atomic_write': 245s libatomic-check.c:(.text+0xf2): undefined reference to `__atomic_store_16' 245s /usr/bin/ld: /tmp/cckfFAu5.o: in function `atomic_cas': 245s libatomic-check.c:(.text+0x166): undefined reference to `__atomic_compare_exchange_16' 245s /usr/bin/ld: /tmp/cckfFAu5.o: in function `atomic_cas_val': 245s libatomic-check.c:(.text+0x1ec): undefined reference to `__atomic_compare_exchange_16' 245s collect2: error: ld returned 1 exit status 245s + '[' 1 -eq 0 ']' 245s + LIBATOMIC=-latomic 245s + set -e 245s + cat - 245s + rumur --output checker.c model.m 245s + cc -std=c11 -march=native checker.c -latomic -lpthread 245s checker.c:135:2: warning: #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. [-Wcpp] 245s 135 | #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. 245s | ^~~~~~~ 245s + ./a.out 245s Memory usage: 245s 245s * The size of each state is 2 bits (rounded up to 1 bytes). 245s * The size of the hash table is 65536 slots. 245s 245s Progress Report: 245s 245s 245s ========================================================================== 245s 245s Status: 245s 245s No error found. 245s 245s State Space Explored: 245s 245s 2 states, 2 rules fired in 0s. 246s autopkgtest [18:54:57]: test rumur-model: -----------------------] 246s autopkgtest [18:54:57]: test rumur-model: - - - - - - - - - - results - - - - - - - - - - 246s rumur-model PASS 246s autopkgtest [18:54:57]: test rumur-run-model: preparing testbed 247s Reading package lists... 247s Building dependency tree... 247s Reading state information... 247s Starting pkgProblemResolver with broken count: 0 247s Starting 2 pkgProblemResolver with broken count: 0 247s Done 247s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 248s autopkgtest [18:54:59]: test rumur-run-model: [----------------------- 248s + mkdir -p /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/rumur-run-model 248s + cd /tmp/autopkgtest.tqoUEj/autopkgtest_tmp/rumur-run-model 248s + cat - 248s + rumur-run model.m 249s Memory usage: 249s 249s * The size of each state is 2 bits (rounded up to 1 bytes). 249s * The size of the hash table is 65536 slots. 249s 249s Progress Report: 249s 249s 249s ========================================================================== 249s 249s Status: 249s 249s No error found. 249s 249s State Space Explored: 249s 249s 2 states, 2 rules fired in 0s. 249s Generating the checker... 249s Compiling the checker... 249s Running the checker... 249s autopkgtest [18:55:00]: test rumur-run-model: -----------------------] 249s autopkgtest [18:55:00]: test rumur-run-model: - - - - - - - - - - results - - - - - - - - - - 249s rumur-run-model PASS 250s autopkgtest [18:55:01]: test rumur-version: preparing testbed 250s Reading package lists... 250s Building dependency tree... 250s Reading state information... 250s Starting pkgProblemResolver with broken count: 0 250s Starting 2 pkgProblemResolver with broken count: 0 250s Done 250s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 251s autopkgtest [18:55:02]: test rumur-version: [----------------------- 251s Rumur version v2025.02.02-1 251s + rumur --version 252s autopkgtest [18:55:03]: test rumur-version: -----------------------] 252s rumur-version PASS 252s autopkgtest [18:55:03]: test rumur-version: - - - - - - - - - - results - - - - - - - - - - 253s autopkgtest [18:55:04]: @@@@@@@@@@@@@@@@@@@@ summary 253s librumur-api PASS 253s murphi2c-header PASS 253s murphi2c-source PASS 253s murphi2c-version PASS 253s murphi2murphi-basic PASS 253s murphi2murphi-version PASS 253s murphi2xml-model PASS 253s murphi2xml-version PASS 253s rumur-model PASS 253s rumur-run-model PASS 253s rumur-version PASS 260s nova [W] Using flock in prodstack6-s390x 260s flock: timeout while waiting to get lock 260s Creating nova instance adt-plucky-s390x-rumur-20250315-185051-juju-7f2275-prod-proposed-migration-environment-2-13ad2219-4853-4fee-ab62-e6db9d574077 from image adt/ubuntu-plucky-s390x-server-20250315.img (UUID 3d3557fa-fd0f-4bba-9b89-8d5964e09f61)... 260s nova [W] Timed out waiting for 59c2d42b-fdd7-455e-814b-2bd985aedcd7 to get deleted.