0s autopkgtest [11:41:10]: starting date and time: 2024-03-23 11:41:10+0000 0s autopkgtest [11:41:10]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [11:41:10]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.hm3a2i3x/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:readline,src:asymptote --apt-upgrade berkeley-abc --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=readline/8.2-4 asymptote/2.87+ds-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-3@bos02-s390x-13.secgroup --name adt-noble-s390x-berkeley-abc-20240323-114110-juju-7f2275-prod-proposed-migration-environment-3 --image adt/ubuntu-noble-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --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,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 72s autopkgtest [11:42:22]: testbed dpkg architecture: s390x 72s autopkgtest [11:42:22]: testbed apt version: 2.7.12 72s autopkgtest [11:42:22]: @@@@@@@@@@@@@@@@@@@@ test bed setup 73s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 73s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 73s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 73s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 73s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3975 kB] 74s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [651 kB] 74s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 74s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 74s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 74s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [4142 kB] 74s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 74s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [46.8 kB] 74s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 76s Fetched 9502 kB in 2s (3927 kB/s) 76s Reading package lists... 79s Reading package lists... 79s Building dependency tree... 79s Reading state information... 79s Calculating upgrade... 79s The following packages will be upgraded: 79s readline-common 79s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 79s Need to get 56.4 kB of archives. 79s After this operation, 0 B of additional disk space will be used. 79s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main s390x readline-common all 8.2-4 [56.4 kB] 80s Fetched 56.4 kB in 0s (209 kB/s) 80s (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 ... 52170 files and directories currently installed.) 80s Preparing to unpack .../readline-common_8.2-4_all.deb ... 80s Unpacking readline-common (8.2-4) over (8.2-3) ... 80s Setting up readline-common (8.2-4) ... 80s Processing triggers for install-info (7.1-3) ... 80s Processing triggers for man-db (2.12.0-3) ... 80s Reading package lists... 81s Building dependency tree... 81s Reading state information... 81s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 81s Unknown architecture, assuming PC-style ttyS0 81s sh: Attempting to set up Debian/Ubuntu apt sources automatically 81s sh: Distribution appears to be Ubuntu 82s Reading package lists... 82s Building dependency tree... 82s Reading state information... 82s eatmydata is already the newest version (131-1). 82s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 82s Reading package lists... 82s Building dependency tree... 82s Reading state information... 82s dbus is already the newest version (1.14.10-4ubuntu1). 82s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 83s Reading package lists... 83s Building dependency tree... 83s Reading state information... 83s rng-tools-debian is already the newest version (2.4). 83s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 83s Reading package lists... 83s Building dependency tree... 83s Reading state information... 83s The following packages will be REMOVED: 83s cloud-init* python3-configobj* python3-debconf* 83s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 83s After this operation, 3256 kB disk space will be freed. 83s (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 ... 52170 files and directories currently installed.) 83s Removing cloud-init (24.1.2-0ubuntu1) ... 84s Removing python3-configobj (5.0.8-3) ... 84s Removing python3-debconf (1.5.86) ... 84s Processing triggers for man-db (2.12.0-3) ... 84s (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 ... 51781 files and directories currently installed.) 84s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 85s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 85s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 85s invoke-rc.d: policy-rc.d denied execution of try-restart. 85s Reading package lists... 85s Building dependency tree... 85s Reading state information... 85s linux-generic is already the newest version (6.8.0-11.11+1). 85s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 86s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 86s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 86s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 87s Reading package lists... 88s Reading package lists... 88s Building dependency tree... 88s Reading state information... 88s Calculating upgrade... 88s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 88s Reading package lists... 88s Building dependency tree... 88s Reading state information... 88s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 88s autopkgtest [11:42:38]: rebooting testbed after setup commands that affected boot 102s autopkgtest [11:42:52]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Tue Feb 13 23:45:46 UTC 2024 105s autopkgtest [11:42:55]: @@@@@@@@@@@@@@@@@@@@ apt-source berkeley-abc 107s Get:1 http://ftpmaster.internal/ubuntu noble/universe berkeley-abc 1.01+20230625git01b1bd1+dfsg-3 (dsc) [2257 B] 107s Get:2 http://ftpmaster.internal/ubuntu noble/universe berkeley-abc 1.01+20230625git01b1bd1+dfsg-3 (tar) [3903 kB] 107s Get:3 http://ftpmaster.internal/ubuntu noble/universe berkeley-abc 1.01+20230625git01b1bd1+dfsg-3 (diff) [20.1 kB] 107s gpgv: Signature made Thu Jun 29 12:25:01 2023 UTC 107s gpgv: using RSA key 57A1BF15B4F6F99B89EDB29FD39481AE1E79ACF7 107s gpgv: Can't check signature: No public key 107s dpkg-source: warning: cannot verify inline signature for ./berkeley-abc_1.01+20230625git01b1bd1+dfsg-3.dsc: no acceptable signature found 108s autopkgtest [11:42:58]: testing package berkeley-abc version 1.01+20230625git01b1bd1+dfsg-3 108s autopkgtest [11:42:58]: build not needed 111s autopkgtest [11:43:01]: test can-show-help: preparing testbed 120s Reading package lists... 120s Building dependency tree... 120s Reading state information... 120s Starting pkgProblemResolver with broken count: 0 120s Starting 2 pkgProblemResolver with broken count: 0 120s Done 120s The following additional packages will be installed: 120s berkeley-abc 120s The following NEW packages will be installed: 120s autopkgtest-satdep berkeley-abc 120s 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. 120s Need to get 4317 kB/4317 kB of archives. 120s After this operation, 11.7 MB of additional disk space will be used. 120s Get:1 /tmp/autopkgtest.3QZRB4/1-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [708 B] 120s Get:2 http://ftpmaster.internal/ubuntu noble/universe s390x berkeley-abc s390x 1.01+20230625git01b1bd1+dfsg-3 [4317 kB] 122s Fetched 4317 kB in 1s (3314 kB/s) 122s Selecting previously unselected package berkeley-abc. 122s (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 ... 51726 files and directories currently installed.) 122s Preparing to unpack .../berkeley-abc_1.01+20230625git01b1bd1+dfsg-3_s390x.deb ... 122s Unpacking berkeley-abc (1.01+20230625git01b1bd1+dfsg-3) ... 122s Selecting previously unselected package autopkgtest-satdep. 122s Preparing to unpack .../1-autopkgtest-satdep.deb ... 122s Unpacking autopkgtest-satdep (0) ... 122s Setting up berkeley-abc (1.01+20230625git01b1bd1+dfsg-3) ... 122s Setting up autopkgtest-satdep (0) ... 122s Processing triggers for man-db (2.12.0-3) ... 124s (Reading database ... 51733 files and directories currently installed.) 124s Removing autopkgtest-satdep (0) ... 125s autopkgtest [11:43:15]: test can-show-help: [----------------------- 125s ABC command line: "help". 125s 125s Welcome to ABC! 125s 125s ABC9 commands: 125s &acec &add1hot &anorm &append 125s &atree &b &back_reach &bcore 125s &bidec &blut &bmc &bmci 125s &bmcs &cec &cexinfo &cfraig 125s &cfs &chainbmc &choice &cof 125s &compare &cone &cycle &dc2 125s &dch &decla &deepsyn &demiter 125s &dfs &dsd &dsdb &edge 125s &embed &enable &equiv &equiv2 125s &equiv3 &equiv_filter &equiv_mark &era 125s &esop &exorcism &extract &fadds 125s &false &fftest &filter &flow 125s &flow2 &flow3 &force &fraig 125s &frames &fx &gen &genqbf 125s &get &glucose &glucose2 &gprove 125s &homoqbf &icec &icheck &if 125s &if2 &iff &iiff &inse 125s &iso &isonpn &isost &iwls21test 125s &jf &kf &lcorr &lf 125s &lneteval &lnetmap &lnetopt &lnetread 125s &lnetsim &load &load2 &loadaig 125s &maxi &mesh &mf &mfs 125s &mfsd &miter &miter2 &mlgen 125s &mltest &move_names &mprove &muxdec 125s &muxpos &muxstr &nf &of 125s &pack &permute &pfan &polyn 125s &popart &posplit &poxsim &print_truth 125s &prodadd &profile &ps &psig 125s &put &qbf &qvar &r 125s &reachm &reachn &reachp &reachy 125s &read &read_blif &read_cblif &read_stg 125s &read_ver &reduce &reshape &resim 125s &resub &retime &reveng &rex2gia 125s &rexwalk &rpm &sat &satclp 125s &satenum &satfx &satlut &satsyn 125s &sattest &save &save2 &saveaig 125s &scl &scorr &semi &setregnum 125s &show &shrink &sif &sim 125s &sim2 &sim3 &sim_gen &sim_print 125s &sim_read &sim_write &simrsb &slice 125s &sopb &speci &speedup &splitprove 125s &srm &srm2 &st &status 125s &stochsyn &struct &sweep &syn2 125s &syn3 &syn4 &synch2 &test 125s × &topand &trace &transduction 125s &transtoch &trim &ttopt &uif 125s &unate &undo &unmap &verify 125s &w &wlut &write &write_ver 125s 125s Abstraction commands: 125s &abs_create &abs_derive &abs_refine &fla_gla 125s &gla &gla_derive &gla_fla &gla_refine 125s &gla_shrink &gla_vta &vta &vta_gla 125s 125s Basic commands: 125s abcrc alias echo empty 125s help history quit recall 125s set source time unalias 125s undo unset version 125s 125s Choicing commands: 125s rec_add3 rec_dump3 rec_merge3 rec_ps3 125s rec_start3 rec_stop3 125s 125s DSD manager commands: 125s dsd_filter dsd_free dsd_load dsd_match 125s dsd_merge dsd_ps dsd_save 125s 125s Exact synthesis commands: 125s allexact bms_ps bms_start bms_stop 125s lutexact majexact majgen testexact 125s twoexact 125s 125s FPGA mapping commands: 125s if ifif print_box print_lut 125s read_box read_lut 125s 125s Fraiging commands: 125s dress dump_equiv fraig fraig_clean 125s fraig_restore fraig_store fraig_sweep fraig_trust 125s 125s I/O commands: 125s &read_gig &write_cnf &write_resub &write_truths 125s read read_aiger read_baf read_bblif 125s read_bench read_blif read_blif_mv read_dsd 125s read_eqn read_fins read_formula read_init 125s read_json read_pla read_plamo read_sf 125s read_status read_truth read_verilog write 125s write_aiger write_aiger_cex write_baf write_bblif 125s write_bench write_blif write_blif_mv write_book 125s write_cellnet write_cex write_cnf write_dot 125s write_edgelist write_eqn write_gml write_hie 125s write_json write_pla write_smv write_sorter_cnf 125s write_status write_truth write_verilog 125s 125s Liveness commands: 125s kcs l2s l2ssim l3s 125s nck 125s 125s LogiCS commands: 125s testrpo 125s 125s New AIG commands: 125s csweep dc2 dch dchoice 125s dfraig drf drw drwsat 125s icut ifraig iresyn irw 125s irws isat istrash qbf 125s 125s New word level commands: 125s :blast :cec :clp :get 125s :ps :put :read :test 125s :write @_cec @_clp @_get 125s @_ps @_put @_read @_test 125s @_write 125s 125s Printing commands: 125s print_auto print_cone print_delay print_dsd 125s print_exdc print_factor print_fanio print_gates 125s print_io print_kmap print_latch print_level 125s print_mffc print_mint print_miter print_sharing 125s print_stats print_status print_supp print_symm 125s print_unate print_xcut show show_bdd 125s show_cut 125s 125s SC mapping commands: 125s amap attach map phase_map 125s print_genlib print_library print_profile read_genlib 125s read_library read_profile read_super super 125s super2 superc supercl timescale 125s unmap write_genlib write_library write_profile 125s 125s SCL mapping commands: 125s buffer dnsize dump_genlib leak2area 125s maxsize minsize print_buf print_constr 125s print_gs print_lib read_constr read_lib 125s read_scl reset_constr stime topo 125s unbuffer upsize write_constr write_lib 125s write_scl 125s 125s Sequential commands: 125s clockgate cretime cubeenum cycle 125s dretime extwin fretime funenum 125s init inswin lcorr onehot 125s pathenum permute phase pipe 125s retime scleanup scorr sim 125s sim3 ssweep symfun synch 125s testscorr testssw undc unpermute 125s xsim zero 125s 125s Synthesis commands: 125s addbuffs balance cascade cleanup 125s collapse dsd eliminate exact 125s extract faultclasses fx fxch 125s glitch logicpush lutmin lutpack 125s merge mfs mfs2 mfs3 125s mfse multi mux_struct powerdown 125s refactor renode resub resub_check 125s rewrite runeco rungen satclp 125s sparsify speedup strash sweep 125s testdec testnpn testtruth trace 125s varmin xec 125s 125s Two-level commands: 125s |gen |merge |ps |read 125s |test |write 125s 125s Various commands: 125s addpi aig andpos append 125s autotuner backup bb2wb bdd 125s bidec bottommost capo care_set 125s cof comb cone cover 125s cubes cut demiter dframes 125s double dropsat espresso exdc_free 125s exdc_get exdc_set expand ext_seq_dcs 125s frames gen genfsm inter 125s load load_plugin logic minisat 125s minisimp miter miter2 move_names 125s muxes mvsis node nodedup 125s npnload npnsave order orpos 125s outdec putontop qreach qrel 125s qvar range reach removepo 125s reorder restore save send_aig 125s send_status senseinput short_names sis 125s sop splitsop starter swappos 125s test testcolor topand topmost 125s trim zeropo 125s 125s Verification commands: 125s &kissat &sat3 &satoko absec 125s blockpo bm bm2 bmc 125s bmc2 bmc3 cec cexcut 125s cexload cexmerge cexsave constr 125s dcec debug dprove dsat 125s dsec dualrail eco enlarge 125s fold fold2 ind indcut 125s int iprove iso match 125s pdr prove psat reconcile 125s sat satoko saucy3 simsec 125s tempor testcex unfold unfold2 125s xsat 125s 125s Word level commands: 125s %abs %abs2 %blast %blastmem 125s %collapse %cone %graft %hierarchy 125s %memabs %memabs2 %pdra %print 125s %profile %ps %read %retime 125s %short_names %show %test %write 125s %yosys inv_check inv_get inv_min 125s inv_print inv_ps inv_put 126s autopkgtest [11:43:16]: test can-show-help: -----------------------] 126s autopkgtest [11:43:16]: test can-show-help: - - - - - - - - - - results - - - - - - - - - - 126s can-show-help PASS (superficial) 126s autopkgtest [11:43:16]: test can-techmap: preparing testbed 138s Reading package lists... 138s Building dependency tree... 138s Reading state information... 138s Starting pkgProblemResolver with broken count: 0 138s Starting 2 pkgProblemResolver with broken count: 0 138s Done 139s The following NEW packages will be installed: 139s autopkgtest-satdep 139s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 139s Need to get 0 B/712 B of archives. 139s After this operation, 0 B of additional disk space will be used. 139s Get:1 /tmp/autopkgtest.3QZRB4/2-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [712 B] 139s Selecting previously unselected package autopkgtest-satdep. 139s (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 ... 51733 files and directories currently installed.) 139s Preparing to unpack .../2-autopkgtest-satdep.deb ... 139s Unpacking autopkgtest-satdep (0) ... 139s Setting up autopkgtest-satdep (0) ... 140s (Reading database ... 51733 files and directories currently installed.) 140s Removing autopkgtest-satdep (0) ... 141s autopkgtest [11:43:31]: test can-techmap: [----------------------- 142s ABC command line: "source debian/tests/abc.script". 142s 142s + read_blif debian/tests/input.blif 142s + read_lib -w debian/tests/mycells.lib 142s Parsing finished successfully. Parsing time = 0.00 sec 142s Warning: Templates are not defined. 142s Libery parser cannot read "time_unit". Assuming time_unit : "1ns". 142s Libery parser cannot read "capacitive_load_unit". Assuming capacitive_load_unit(1, pf). 142s Scl_LibertyReadGenlib() skipped sequential cell "DFF". 142s Library "demo" from "debian/tests/mycells.lib" has 4 cells (1 skipped: 1 seq; 0 tri-state; 0 no func; 0 dont_use). Time = 0.00 sec 142s Memory = 0.00 MB. Time = 0.00 sec 142s + strash 142s + &get -n 142s + &fraig -x 142s + &put 142s + scorr 142s Warning: The network is combinational (run "fraig" or "fraig_sweep"). 142s + dc2 142s + dretime 142s + strash 142s + &get -n 142s + &dch -f 142s + &nf 142s + &put 142s + write_blif /tmp/output.blif 142s autopkgtest [11:43:32]: test can-techmap: -----------------------] 142s can-techmap PASS 142s autopkgtest [11:43:32]: test can-techmap: - - - - - - - - - - results - - - - - - - - - - 143s autopkgtest [11:43:33]: @@@@@@@@@@@@@@@@@@@@ summary 143s can-show-help PASS (superficial) 143s can-techmap PASS 155s Creating nova instance adt-noble-s390x-berkeley-abc-20240323-114110-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240323.img (UUID 15bd59e1-c29b-45d7-aba1-73ff15182fb5)...