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