Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-100-2_network-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-1.net.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-1.net.wcnf *** c c Min unsat cost LB: 1456 ... c Min unsat cost LB: 2660 ... c Min unsat cost LB: 3482 ... c Min unsat cost LB: 4244 ... c Min unsat cost LB: 4880 ... c Min unsat cost LB: 6313 ... c Min unsat cost LB: 6941 ... c Min unsat cost LB: 8012 ... c Min unsat cost LB: 9052 ... c Min unsat cost LB: 9377 ... c Min unsat cost LB: 10704 ... c Min unsat cost LB: 11646 ... c Min unsat cost LB: 12364 ... c Min unsat cost LB: 12997 ... c Min unsat cost LB: 13046 ... c Min unsat cost LB: 13322 ... c Min unsat cost LB: 13734 ... c Min unsat cost LB: 13793 ... c Min unsat cost LB: 13852 ... c Min unsat cost LB: 14039 ... c Min unsat cost LB: 14416 ... c Min unsat cost LB: 14925 ... c Min unsat cost LB: 14995 ... c Min unsat cost LB: 15173 ... c Min unsat cost LB: 15520 ... c Min unsat cost LB: 15547 ... c Min unsat cost LB: 15958 ... c Min unsat cost LB: 16043 ... c Min unsat cost LB: 16495 ... c Min unsat cost LB: 16522 ... c Min unsat cost LB: 17309 ... c Min unsat cost LB: 17442 ... c Min unsat cost LB: 18080 ... c Min unsat cost LB: 18156 ... c Min unsat cost LB: 18171 ... c Min unsat cost LB: 18838 ... c Min unsat cost LB: 18930 ... c Min unsat cost LB: 19683 ... c Min unsat cost LB: 19710 ... c Min unsat cost LB: 19717 ... c Min unsat cost LB: 20507 ... c Min unsat cost LB: 20775 ... c Min unsat cost LB: 20993 ... c Min unsat cost LB: 21251 ... c Min unsat cost LB: 21260 ... c Min unsat cost LB: 21870 ... c Min unsat cost LB: 22043 ... c Min unsat cost LB: 22052 ... c Min unsat cost LB: 22061 ... c Min unsat cost LB: 22088 ... c Min unsat cost LB: 22115 ... c Min unsat cost LB: 22764 ... c Min unsat cost LB: 22805 ... c Min unsat cost LB: 22862 ... c Min unsat cost LB: 23422 ... c Min unsat cost LB: 24174 ... c Min unsat cost LB: 24177 ... c Min unsat cost LB: 24272 ... c Min unsat cost LB: 24477 ... c Min unsat cost LB: 24574 ... c Min unsat cost LB: 24630 ... c Min unsat cost LB: 24680 ... c Min unsat cost LB: 24959 ... c Min unsat cost LB: 25115 ... c Min unsat cost LB: 25466 ... c Min unsat cost LB: 25749 ... c Min unsat cost LB: 26000 ... c Min unsat cost LB: 26079 ... c Min unsat cost LB: 26604 ... c Min unsat cost LB: 26746 ... c Min unsat cost LB: 26761 ... c Min unsat cost LB: 26996 ... c Min unsat cost LB: 27274 ... c Min unsat cost LB: 27574 ... c Min unsat cost LB: 27666 ... c Min unsat cost LB: 27890 ... c Min unsat cost LB: 27910 ... c Min unsat cost LB: 28060 ... c Min unsat cost LB: 28143 ... c Min unsat cost LB: 28165 ... c Min unsat cost LB: 28202 ... c Min unsat cost LB: 28224 ... c Min unsat cost LB: 29017 ... c Min unsat cost LB: 29413 ... c Min unsat cost LB: 29504 ... c Min unsat cost LB: 29978 ... c Min unsat cost LB: 30303 ... c Min unsat cost LB: 30321 ... c Min unsat cost LB: 30418 ... c Min unsat cost LB: 30435 ... c Min unsat cost LB: 30524 ... c Min unsat cost LB: 31570 ... c Min unsat cost LB: 31650 ... c Min unsat cost LB: 31865 ... c Min unsat cost LB: 31951 ... c Min unsat cost LB: 32024 ... c Min unsat cost LB: 32031 ... c Min unsat cost LB: 33230 ... c Min unsat cost LB: 33350 ... c Min unsat cost LB: 33396 ... c Min unsat cost LB: 33465 ... c Min unsat cost LB: 33653 ... c Min unsat cost LB: 33776 ... c Min unsat cost LB: 33901 ... c Min unsat cost LB: 33919 ... c Min unsat cost LB: 33984 ... c Min unsat cost LB: 34078 ... c Min unsat cost LB: 35031 ... c Min unsat cost LB: 35174 ... c Min unsat cost LB: 35202 ... c Min unsat cost LB: 35352 ... c Min unsat cost LB: 35398 ... c Min unsat cost LB: 35507 ... c Min unsat cost LB: 35541 ... c Min unsat cost LB: 35739 ... c Min unsat cost LB: 35746 ... c Min unsat cost LB: 35773 ... c Min unsat cost LB: 35843 ... c Min unsat cost LB: 35852 ... c Min unsat cost LB: 35874 ... c Min unsat cost LB: 36179 ... c Min unsat cost LB: 36262 ... c Min unsat cost LB: 36283 ... c Min unsat cost LB: 36370 ... c Min unsat cost LB: 36471 ... c Min unsat cost LB: 36505 ... c Min unsat cost LB: 36542 ... c Min unsat cost LB: 36563 ... c Min unsat cost LB: 36585 ... c Min unsat cost LB: 36607 ... c Min unsat cost LB: 36781 ... c Min unsat cost LB: 36795 ... c Min unsat cost LB: 37370 ... c Min unsat cost LB: 37459 ... c Min unsat cost LB: 37820 ... c Min unsat cost LB: 37914 ... c Min unsat cost LB: 37998 ... c Min unsat cost LB: 38147 ... c Min unsat cost LB: 38451 ... c Min unsat cost LB: 38975 ... c Min unsat cost LB: 39430 ... c Min unsat cost LB: 39505 ... c Min unsat cost LB: 39718 ... c Min unsat cost LB: 39812 ... c Min unsat cost LB: 39941 ... c Min unsat cost LB: 39961 ... c Min unsat cost LB: 40363 ... c Min unsat cost LB: 40446 ... c Min unsat cost LB: 40510 ... c Min unsat cost LB: 40611 ... c Min unsat cost LB: 40633 ... c Min unsat cost LB: 40655 ... c Min unsat cost LB: 40692 ... c Min unsat cost LB: 40738 ... c Min unsat cost LB: 40751 ... c Min unsat cost LB: 40785 ... c Min unsat cost LB: 40825 ... c Min unsat cost LB: 40926 ... c Min unsat cost LB: 41068 ... c Min unsat cost LB: 41190 ... c Min unsat cost LB: 41237 ... c Min unsat cost LB: 41244 ... c Min unsat cost LB: 41337 ... c Min unsat cost LB: 41810 ... c Min unsat cost LB: 42087 ... c Min unsat cost LB: 42185 ... c Min unsat cost LB: 42230 ... c Min unsat cost LB: 42284 ... c Min unsat cost LB: 42430 ... c Min unsat cost LB: 42491 ... c Min unsat cost LB: 42652 ... c Min unsat cost LB: 42788 ... c Min unsat cost LB: 42791 ... c Min unsat cost LB: 42833 ... c Min unsat cost LB: 42836 ... c Min unsat cost LB: 42897 ... c Min unsat cost LB: 43007 ... c Min unsat cost LB: 43282 ... c Min unsat cost LB: 43318 ... c Min unsat cost LB: 43359 ... c Min unsat cost LB: 43365 ... c Min unsat cost LB: 43402 ... c Min unsat cost LB: 43467 ... c Min unsat cost LB: 43479 ... c Min unsat cost LB: 43485 ... c Min unsat cost LB: 43499 ... c Min unsat cost LB: 43603 ... c Min unsat cost LB: 43676 ... c Min unsat cost LB: 43730 ... c Min unsat cost LB: 43755 ... c Min unsat cost LB: 43789 ... c Min unsat cost LB: 43810 ... c Min unsat cost LB: 43817 ... c Min unsat cost LB: 43832 ... c Min unsat cost LB: 43838 ... c Min unsat cost LB: 43841 ... c Min unsat cost LB: 43854 ... c Min unsat cost LB: 43878 ... c Min unsat cost LB: 43915 ... c Min unsat cost LB: 43937 ... c Min unsat cost LB: 43974 ... c Min unsat cost LB: 43998 ... c Min unsat cost LB: 44020 ... c Min unsat cost LB: 44042 ... c Min unsat cost LB: 44058 ... c Min unsat cost LB: 44064 ... c Min unsat cost LB: 44085 ... c Min unsat cost LB: 44096 ... c Min unsat cost LB: 44099 ... c Min unsat cost LB: 44119 ... c Min unsat cost LB: 44121 ... c Min unsat cost LB: 44129 ... c Min unsat cost LB: 44137 ... c Min unsat cost LB: 44333 ... c Min unsat cost LB: 44424 ... c Min unsat cost LB: 44615 ... c Min unsat cost LB: 44716 ... c Min unsat cost LB: 44731 ... c Min unsat cost LB: 44763 ... c Min unsat cost LB: 44782 ... c Min unsat cost LB: 44816 ... c Min unsat cost LB: 44983 ... c Min unsat cost LB: 45004 ... c Min unsat cost LB: 45005 ... c Min unsat cost LB: 45011 ... c Min unsat cost LB: 45012 ... c Min unsat cost LB: 45015 ... c Min unsat cost LB: 45017 ... c Min unsat cost LB: 45025 ... c Min unsat cost LB: 45026 ... c Min unsat cost LB: 45030 ... c Min unsat cost LB: 45036 ... c Min unsat cost LB: 45039 ... c Min unsat cost LB: 45041 ... c Min unsat cost LB: 45049 ... c Min unsat cost LB: 45051 ... c Min unsat cost LB: 45053 ... c Min unsat cost LB: 45055 ... c Min unsat cost LB: 45058 ... c Min unsat cost LB: 45071 ... c Min unsat cost LB: 45074 ... c Min unsat cost LB: 45084 ... c Min unsat cost LB: 45087 ... c Min unsat cost LB: 45090 ... c Min unsat cost LB: 45096 ... c Min unsat cost LB: 45102 ... c Min unsat cost LB: 45109 ... c Min unsat cost LB: 45111 ... c Min unsat cost LB: 45119 ... c Min unsat cost LB: 45182 ... c Min unsat cost LB: 45184 ... c Min unsat cost LB: 45185 ... c Min unsat cost LB: 45193 ... c Min unsat cost LB: 45195 ... c Min unsat cost LB: 45197 ... c Min unsat cost LB: 45216 ... c Min unsat cost LB: 45217 ... c Min unsat cost LB: 45224 ... c Min unsat cost LB: 45230 ... c Min unsat cost LB: 45240 ... c Min unsat cost LB: 45242 ... c Min unsat cost LB: 45243 ... c Min unsat cost LB: 45244 ... c Min unsat cost LB: 45246 ... c Min unsat cost LB: 45248 ... c Min unsat cost LB: 45327 ... c Min unsat cost LB: 45328 ... c Min unsat cost LB: 45398 ... c Min unsat cost LB: 45451 ... c Min unsat cost LB: 45454 ... c Min unsat cost LB: 45496 ... c Min unsat cost LB: 45557 ... c Min unsat cost LB: 45561 ... c Min unsat cost LB: 45565 ... c Min unsat cost LB: 45754 ... c Min unsat cost LB: 45757 ... c Min unsat cost LB: 45788 ... c Min unsat cost LB: 45789 ... c Min unsat cost LB: 45802 ... c Min unsat cost LB: 45815 ... c Min unsat cost LB: 45834 ... c Min unsat cost LB: 45837 ... c Min unsat cost LB: 45857 ... c Min unsat cost LB: 45867 ... c Min unsat cost LB: 45879 ... c Min unsat cost LB: 45912 ... c Min unsat cost LB: 45921 ... c Min unsat cost LB: 45940 ... c Min unsat cost LB: 45992 ... c Min unsat cost LB: 45993 ... c Min unsat cost LB: 45996 ... c Min unsat cost LB: 46002 ... c Min unsat cost LB: 46003 ... c Min unsat cost LB: 46009 ... c Min unsat cost LB: 46015 ... c Min unsat cost LB: 46018 ... c Min unsat cost LB: 46021 ... c Min unsat cost LB: 46024 ... c Min unsat cost LB: 46027 ... c Min unsat cost LB: 46029 ... c Min unsat cost LB: 46032 ... c Min unsat cost LB: 46034 ... c Min unsat cost LB: 46090 ... c Min unsat cost LB: 46100 ... c Min unsat cost LB: 46136 ... c Min unsat cost LB: 46164 ... c Min unsat cost LB: 46200 ... c Min unsat cost LB: 46256 ... c Min unsat cost LB: 46295 ... c Min unsat cost LB: 46299 ... c Min unsat cost LB: 46485 ... c Min unsat cost LB: 46616 ... c Min unsat cost LB: 46697 ... c Min unsat cost LB: 46699 ... c Min unsat cost LB: 46840 ... c Min unsat cost LB: 46975 ... c Min unsat cost LB: 47044 ... c Min unsat cost LB: 47045 ... c Min unsat cost LB: 47046 ... c Min unsat cost LB: 47048 ... c Min unsat cost LB: 47054 ... c Min unsat cost LB: 47057 ... c Min unsat cost LB: 47060 ... c Min unsat cost LB: 47093 ... c Min unsat cost LB: 47098 ... c Min unsat cost LB: 47102 ... c Min unsat cost LB: 47115 ... c Min unsat cost LB: 47120 ... c Min unsat cost LB: 47121 ... c Min unsat cost LB: 47123 ... c Min unsat cost LB: 47124 ... c Min unsat cost LB: 47133 ... c Min unsat cost LB: 47159 ... c Min unsat cost LB: 47166 ... c Min unsat cost LB: 47167 ... c Min unsat cost LB: 47173 ... c Min unsat cost LB: 47175 ... c Min unsat cost LB: 47180 ... c Min unsat cost LB: 47181 ... c Min unsat cost LB: 47182 ... c Min unsat cost LB: 47186 ... c Min unsat cost LB: 47189 ... c Min unsat cost LB: 47201 ... c Min unsat cost LB: 47202 ... c Min unsat cost LB: 47207 ... c Min unsat cost LB: 47209 ... c Min unsat cost LB: 47210 ... c Min unsat cost LB: 47212 ... c Min unsat cost LB: 47222 ... c Min unsat cost LB: 47223 ... c Min unsat cost LB: 47230 ... c Min unsat cost LB: 47231 ... c Min unsat cost LB: 47236 ... c Min unsat cost LB: 47237 ... c Min unsat cost LB: 47239 ... c Min unsat cost LB: 47240 ... c Min unsat cost LB: 47242 ... c Min unsat cost LB: 47250 ... c Min unsat cost LB: 47253 ... c Min unsat cost LB: 47258 ... c Min unsat cost LB: 47259 ... c Min unsat cost LB: 47261 ... c Min unsat cost LB: 47263 ... c Min unsat cost LB: 47264 ... c Min unsat cost LB: 47265 ... c Min unsat cost LB: 47268 ... c Min unsat cost LB: 47270 ... c Min unsat cost LB: 47300 ... c Min unsat cost LB: 47306 ... c Min unsat cost LB: 47309 ... c Min unsat cost LB: 47312 ... c Min unsat cost LB: 47314 ... c Min unsat cost LB: 47317 ... c Min unsat cost LB: 47321 ... c Min unsat cost LB: 47323 ... c Min unsat cost LB: 47324 ... c Min unsat cost LB: 47327 ... c Min unsat cost LB: 47328 ... c Min unsat cost LB: 47338 ... c Min unsat cost LB: 47346 ... c Min unsat cost LB: 47348 ... c Min unsat cost LB: 47364 ... c Min unsat cost LB: 47391 ... c Min unsat cost LB: 47394 ... c Min unsat cost LB: 47395 ... c Min unsat cost LB: 47396 ... c Min unsat cost LB: 47397 ... c Min unsat cost LB: 47399 ... c Min unsat cost LB: 47405 ... c Min unsat cost LB: 47406 ... c Min unsat cost LB: 47419 ... c Min unsat cost LB: 47484 ... c Min unsat cost LB: 47487 ... c Min unsat cost LB: 47490 ... c Min unsat cost LB: 47499 ... c Min unsat cost LB: 47503 ... c Min unsat cost LB: 47505 ... c Min unsat cost LB: 47509 ... c Min unsat cost LB: 47526 ... c Min unsat cost LB: 47527 ... c Min unsat cost LB: 47533 ... c Min unsat cost LB: 47536 ... c Min unsat cost LB: 47539 ... c Min unsat cost LB: 47545 ... c Min unsat cost LB: 47547 ... c Min unsat cost LB: 47549 ... c Min unsat cost LB: 47550 ... c Min unsat cost LB: 47553 ... c Min unsat cost LB: 47559 ... c Min unsat cost LB: 47560 ... c Min unsat cost LB: 47561 ... c Min unsat cost LB: 47570 ... c Min unsat cost LB: 47572 ... c Min unsat cost LB: 47606 ... c Min unsat cost LB: 47673 ... c Min unsat cost LB: 47692 ... c Min unsat cost LB: 47695 ... c Min unsat cost LB: 47710 ... c Min unsat cost LB: 47754 ... c Min unsat cost LB: 47766 ... c Min unsat cost LB: 47801 ... c Min unsat cost LB: 47803 ... c Min unsat cost LB: 47845 ... c Min unsat cost LB: 47929 ... c Min unsat cost LB: 47956 ... c Min unsat cost LB: 47958 ... c Min unsat cost LB: 47963 ... c Min unsat cost LB: 47987 ... c Min unsat cost LB: 48018 ... c Min unsat cost LB: 48035 ... c Min unsat cost LB: 48050 ... c Min unsat cost LB: 48058 ... c Min unsat cost LB: 48059 ... c Min unsat cost LB: 48060 ... c Min unsat cost LB: 48061 ... c Min unsat cost LB: 48065 ... c Min unsat cost LB: 48066 ... c Min unsat cost LB: 48067 ... c Min unsat cost LB: 48077 ... c Min unsat cost LB: 48083 ... c Min unsat cost LB: 48090 ... c Min unsat cost LB: 48091 ... c Min unsat cost LB: 48092 ... c Min unsat cost LB: 48095 ... c Min unsat cost LB: 48097 ... c Min unsat cost LB: 48098 ... c Min unsat cost LB: 48102 ... c Min unsat cost LB: 48103 ... c Min unsat cost LB: 48105 ... c Min unsat cost LB: 48106 ... c Min unsat cost LB: 48110 ... c Min unsat cost LB: 48122 ... c Min unsat cost LB: 48125 ... c Min unsat cost LB: 48130 ... c Min unsat cost LB: 48131 ... c Min unsat cost LB: 48145 ... c Min unsat cost LB: 48147 ... c Min unsat cost LB: 48150 ... c Min unsat cost LB: 48166 ... c Min unsat cost LB: 48169 ... c Min unsat cost LB: 48170 ... c Min unsat cost LB: 48171 ... c Min unsat cost LB: 48174 ... c Min unsat cost LB: 48176 ... c Min unsat cost LB: 48177 ... c Min unsat cost LB: 48193 ... c Min unsat cost LB: 48246 ... c Min unsat cost LB: 48247 ... c Min unsat cost LB: 48248 ... c Min unsat cost LB: 48250 ... c Min unsat cost LB: 48253 ... c Min unsat cost LB: 48255 ... c Min unsat cost LB: 48264 ... c Min unsat cost LB: 48270 ... c Min unsat cost LB: 48271 ... c Min unsat cost LB: 48272 ... c Min unsat cost LB: 48273 ... c Min unsat cost LB: 48275 ... c Min unsat cost LB: 48280 ... c Min unsat cost LB: 48282 ... c Min unsat cost LB: 48284 ... c Min unsat cost LB: 48285 ... c Min unsat cost LB: 48286 ... c Min unsat cost LB: 48287 ... c Min unsat cost LB: 48289 ... c Min unsat cost LB: 48291 ... c Min unsat cost LB: 48292 ... c Min unsat cost LB: 48298 ... c Min unsat cost LB: 48308 ... c Min unsat cost LB: 48310 ... c Min unsat cost LB: 48314 ... c Min unsat cost LB: 48318 ... c Min unsat cost LB: 48319 ... c Min unsat cost LB: 48320 ... c Min unsat cost LB: 48323 ... c Min unsat cost LB: 48332 ... c Min unsat cost LB: 48334 ... c Min unsat cost LB: 48346 ... c Min unsat cost LB: 48349 ... c Min unsat cost LB: 48353 ... c Min unsat cost LB: 48354 ... c Min unsat cost LB: 48356 ... c Min unsat cost LB: 48365 ... c Min unsat cost LB: 48471 ... c Min unsat cost LB: 48477 ... c Min unsat cost LB: 48484 ... c Min unsat cost LB: 48512 ... c Min unsat cost LB: 48513 ... c Min unsat cost LB: 48516 ... c Min unsat cost LB: 48537 ... c Min unsat cost LB: 48538 ... c Min unsat cost LB: 48539 ... c Min unsat cost LB: 48541 ... c Min unsat cost LB: 48543 ... c Min unsat cost LB: 48653 ... c Min unsat cost LB: 48655 ... c Min unsat cost LB: 48656 ... c Min unsat cost LB: 48657 ... c Min unsat cost LB: 48658 ... c Min unsat cost LB: 48659 ... c Min unsat cost LB: 48660 ... c Min unsat cost LB: 48661 ... c Min unsat cost LB: 48662 ... c Min unsat cost LB: 48665 ... c Min unsat cost LB: 48666 ... c Min unsat cost LB: 48669 ... c Min unsat cost LB: 48672 ... c Min unsat cost LB: 48673 ... c Min unsat cost LB: 48675 ... c Min unsat cost LB: 48676 ... c Min unsat cost LB: 48677 ... c Min unsat cost LB: 48679 ... c Min unsat cost LB: 48680 ... c Min unsat cost LB: 48681 ... c Min unsat cost LB: 48682 ... c Min unsat cost LB: 48685 ... c Min unsat cost LB: 48686 ... c Min unsat cost LB: 48687 ... c Min unsat cost LB: 48688 ... c Min unsat cost LB: 48689 ... c Min unsat cost LB: 48690 ... c Min unsat cost LB: 48692 ... c Min unsat cost LB: 48693 ... c Min unsat cost LB: 48695 ... c Min unsat cost LB: 48696 ... c Min unsat cost LB: 48699 ... c Min unsat cost LB: 48701 ... c Min unsat cost LB: 48702 ... c Min unsat cost LB: 48703 ... c Min unsat cost LB: 48704 ... c Min unsat cost LB: 48705 ... c Min unsat cost LB: 48706 ... c Min unsat cost LB: 48707 ... c Min unsat cost LB: 48708 ... c Min unsat cost LB: 48709 ... c Min unsat cost LB: 48711 ... c Min unsat cost LB: 48712 ... c Min unsat cost LB: 48717 ... c Min unsat cost LB: 48718 ... c Min unsat cost LB: 48725 ... c Min unsat cost LB: 48730 ... c Min unsat cost LB: 48731 ... c Min unsat cost LB: 48732 ... c Min unsat cost LB: 48733 ... c Min unsat cost LB: 48734 ... c Min unsat cost LB: 48735 ... c Min unsat cost LB: 48736 ... c Min unsat cost LB: 48737 ... c Min unsat cost LB: 48739 ... c Min unsat cost LB: 48741 ... c Min unsat cost LB: 48742 ... c Min unsat cost LB: 48743 ... c Min unsat cost LB: 48744 ... c Min unsat cost LB: 48745 ... c Min unsat cost LB: 48746 ... c Min unsat cost LB: 48748 ... c Min unsat cost LB: 48749 ... c Min unsat cost LB: 48750 ... c Min unsat cost LB: 48751 ... c Min unsat cost LB: 48753 ... c Min unsat cost LB: 48754 ... c Min unsat cost LB: 48756 ... c Min unsat cost LB: 48758 ... c Min unsat cost LB: 48759 ... c Min unsat cost LB: 48760 ... c Min unsat cost LB: 48761 ... c Min unsat cost LB: 48762 ... c Min unsat cost LB: 48763 ... c Min unsat cost LB: 48764 ... c Min unsat cost LB: 48765 ... c Min unsat cost LB: 48775 ... c Min unsat cost LB: 48776 ... c Min unsat cost LB: 48798 ... c Min unsat cost LB: 48870 ... c Min unsat cost LB: 48882 ... c Min unsat cost LB: 48909 ... c Min unsat cost LB: 48915 ... c Min unsat cost LB: 48919 ... c Min unsat cost LB: 48920 ... c Min unsat cost LB: 48923 ... c Min unsat cost LB: 48926 ... c Min unsat cost LB: 48937 ... c Min unsat cost LB: 48940 ... c Min unsat cost LB: 48952 ... c Min unsat cost LB: 48956 ... c Min unsat cost LB: 48957 ... c Min unsat cost LB: 48959 ... c Min unsat cost LB: 48965 ... c Min unsat cost LB: 48969 ... c Min unsat cost LB: 49017 ... c Min unsat cost LB: 49019 ... c Min unsat cost LB: 49022 ... c Min unsat cost LB: 49254 ... c Min unsat cost LB: 49810 ... c Min unsat cost LB: 49822 ... c Min unsat cost LB: 49825 ... c Min unsat cost LB: 49828 ... c Min unsat cost LB: 49830 ... c Min unsat cost LB: 49839 ... c Min unsat cost LB: 49843 ... c Min unsat cost LB: 49851 ... c Min unsat cost LB: 49871 ... c Min unsat cost LB: 49985 ... c Min unsat cost LB: 49986 ... c Min unsat cost LB: 49987 ... c Min unsat cost LB: 49988 ... c Min unsat cost LB: 49989 ... c Min unsat cost LB: 49990 ... c Min unsat cost LB: 49991 ... c Min unsat cost LB: 49992 ... c Min unsat cost LB: 49994 ... c Min unsat cost LB: 49995 ... c Min unsat cost LB: 49996 ... c Min unsat cost LB: 49997 ... c Min unsat cost LB: 49998 ... c Min unsat cost LB: 49999 ... c Min unsat cost LB: 50000 ... c Min unsat cost LB: 50001 ... c Min unsat cost LB: 50002 ... c Min unsat cost LB: 50003 ... c Min unsat cost LB: 50004 ... c Min unsat cost LB: 50005 ... c Min unsat cost LB: 50006 ... c Min unsat cost LB: 50008 ... c Min unsat cost LB: 50009 ... c Min unsat cost LB: 50010 ... c Min unsat cost LB: 50011 ... c Min unsat cost LB: 50012 ... c Min unsat cost LB: 50013 ... c Min unsat cost LB: 50014 ... c Min unsat cost LB: 50015 ... c Min unsat cost LB: 50016 ... c Min unsat cost LB: 50017 ... c Min unsat cost LB: 50018 ... c Min unsat cost LB: 50019 ... c Min unsat cost LB: 50020 ... c Min unsat cost LB: 50021 ... c Min unsat cost LB: 50022 ... c Min unsat cost LB: 50023 ... c Min unsat cost LB: 50024 ... c Min unsat cost LB: 50025 ... c Min unsat cost LB: 50026 ... c Min unsat cost LB: 50027 ... c Min unsat cost LB: 50028 ... c Min unsat cost LB: 50029 ... c Min unsat cost LB: 50030 ... c Min unsat cost LB: 50031 ... c Min unsat cost LB: 50032 ... c Min unsat cost LB: 50035 ... c Min unsat cost LB: 50042 ... c Min unsat cost LB: 50043 ... c Min unsat cost LB: 50044 ... c Min unsat cost LB: 50045 ... c Min unsat cost LB: 50046 ... c Min unsat cost LB: 50048 ... c Min unsat cost LB: 50049 ... c Min unsat cost LB: 50050 ... c Min unsat cost LB: 50052 ... c Min unsat cost LB: 50053 ... c Min unsat cost LB: 50054 ... c Min unsat cost LB: 50055 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50057 ... c Min unsat cost LB: 50058 ... c Min unsat cost LB: 50059 ... c Min unsat cost LB: 50060 ... c Min unsat cost LB: 50089 ... c Min unsat cost LB: 50090 ... c Min unsat cost LB: 50093 ... c Min unsat cost LB: 50110 ... c Min unsat cost LB: 50116 ... c Min unsat cost LB: 50117 ... c Min unsat cost LB: 50118 ... c Min unsat cost LB: 50119 ... c Min unsat cost LB: 50120 ... c Min unsat cost LB: 50125 ... c Min unsat cost LB: 50128 ... c Min unsat cost LB: 50130 ... c Min unsat cost LB: 50140 ... c Min unsat cost LB: 50143 ... c Min unsat cost LB: 50153 ... c Min unsat cost LB: 50155 ... c Min unsat cost LB: 50156 ... c Min unsat cost LB: 50157 ... c Min unsat cost LB: 50159 ... c Min unsat cost LB: 50160 ... c Min unsat cost LB: 50163 ... c Min unsat cost LB: 50165 ... c Min unsat cost LB: 50166 ... c Min unsat cost LB: 50167 ... c Min unsat cost LB: 50168 ... c Min unsat cost LB: 50169 ... c Min unsat cost LB: 50170 ... c Min unsat cost LB: 50171 ... c Min unsat cost LB: 50172 ... c Min unsat cost LB: 50173 ... c Min unsat cost LB: 50174 ... c Min unsat cost LB: 50175 ... c Min unsat cost LB: 50176 ... c Min unsat cost LB: 50177 ... c Min unsat cost LB: 50178 ... c Min unsat cost LB: 50179 ... c Min unsat cost LB: 50180 ... c Min unsat cost LB: 50181 ... c Min unsat cost LB: 50182 ... c Min unsat cost LB: 50183 ... c Min unsat cost LB: 50184 ... c Min unsat cost LB: 50185 ... c Min unsat cost LB: 50186 ... c Min unsat cost LB: 50188 ... c Min unsat cost LB: 50189 ... c Min unsat cost LB: 50190 ... c Min unsat cost LB: 50193 ... c Min unsat cost LB: 50194 ... c Min unsat cost LB: 50195 ... c Min unsat cost LB: 50196 ... c Min unsat cost LB: 50197 ... c Min unsat cost LB: 50198 ... c Min unsat cost LB: 50199 ... c Min unsat cost LB: 50200 ... c Min unsat cost LB: 50201 ... c Min unsat cost LB: 50202 ... c Min unsat cost LB: 50203 ... c Min unsat cost LB: 50206 ... c Min unsat cost LB: 50213 ... c Min unsat cost LB: 50214 ... c Min unsat cost LB: 50215 ... c Min unsat cost LB: 50217 ... c Min unsat cost LB: 50219 ... c Min unsat cost LB: 50220 ... c Min unsat cost LB: 50221 ... c Min unsat cost LB: 50222 ... c Min unsat cost LB: 50223 ... c Min unsat cost LB: 50224 ... c Min unsat cost LB: 50225 ... c Min unsat cost LB: 50226 ... c Min unsat cost LB: 50227 ... c Min unsat cost LB: 50228 ... c Min unsat cost LB: 50229 ... c Min unsat cost LB: 50230 ... c Min unsat cost LB: 50233 ... c Min unsat cost LB: 50234 ... c Min unsat cost LB: 50235 ... c Min unsat cost LB: 50236 ... c Min unsat cost LB: 50237 ... c Min unsat cost LB: 50239 ... c Min unsat cost LB: 50240 ... c Min unsat cost LB: 50242 ... c Min unsat cost LB: 50244 ... c Min unsat cost LB: 50246 ... c Min unsat cost LB: 50247 ... c Min unsat cost LB: 50248 ... c Min unsat cost LB: 50249 ... c Min unsat cost LB: 50251 ... c Min unsat cost LB: 50253 ... c Min unsat cost LB: 50255 ... c Min unsat cost LB: 50256 ... c Min unsat cost LB: 50258 ... c Min unsat cost LB: 50261 ... c Min unsat cost LB: 50262 ... c Min unsat cost LB: 50263 ... c Min unsat cost LB: 50264 ... c Min unsat cost LB: 50265 ... c Min unsat cost LB: 50266 ... c Min unsat cost LB: 50268 ... c Min unsat cost LB: 50269 ... c Min unsat cost LB: 50270 ... c Min unsat cost LB: 50271 ... c Min unsat cost LB: 50272 ... c Min unsat cost LB: 50273 ... c Min unsat cost LB: 50274 ... c Min unsat cost LB: 50275 ... c Min unsat cost LB: 50276 ... c Min unsat cost LB: 50278 ... c Min unsat cost LB: 50279 ... c Min unsat cost LB: 50281 ... c Min unsat cost LB: 50282 ... c Min unsat cost LB: 50283 ... c Min unsat cost LB: 50284 ... c Min unsat cost LB: 50285 ... c Min unsat cost LB: 50286 ... c Min unsat cost LB: 50287 ... c Min unsat cost LB: 50288 ... c Min unsat cost LB: 50289 ... c Min unsat cost LB: 50290 ... c Min unsat cost LB: 50291 ... c Min unsat cost LB: 50292 ... c Min unsat cost LB: 50293 ... c Min unsat cost LB: 50295 ... c Min unsat cost LB: 50304 ... c Min unsat cost LB: 50305 ... c Min unsat cost LB: 50311 ... c Min unsat cost LB: 50312 ... c Min unsat cost LB: 50313 ... c Min unsat cost LB: 50314 ... c Min unsat cost LB: 50315 ... c Min unsat cost LB: 50316 ... c Min unsat cost LB: 50317 ... c Min unsat cost LB: 50318 ... c Min unsat cost LB: 50319 ... c Min unsat cost LB: 50320 ... c Min unsat cost LB: 50321 ... c Min unsat cost LB: 50322 ... c Min unsat cost LB: 50323 ... c Min unsat cost LB: 50324 ... c Min unsat cost LB: 50326 ... c Min unsat cost LB: 50327 ... c Min unsat cost LB: 50328 ... c Min unsat cost LB: 50329 ... c Min unsat cost LB: 50330 ... c Min unsat cost LB: 50331 ... c Min unsat cost LB: 50332 ... c Min unsat cost LB: 50333 ... c Min unsat cost LB: 50334 ... c Min unsat cost LB: 50335 ... c Min unsat cost LB: 50336 ... c Min unsat cost LB: 50337 ... c Min unsat cost LB: 50338 ... c Min unsat cost LB: 50339 ... c Min unsat cost LB: 50341 ... c Min unsat cost LB: 50342 ... c Min unsat cost LB: 50343 ... c Min unsat cost LB: 50344 ... c Min unsat cost LB: 50345 ... c Min unsat cost LB: 50346 ... c Min unsat cost LB: 50347 ... c Min unsat cost LB: 50348 ... c Min unsat cost LB: 50349 ... c Min unsat cost LB: 50350 ... c Min unsat cost LB: 50351 ... c Min unsat cost LB: 50352 ... c Min unsat cost LB: 50353 ... c Min unsat cost LB: 50354 ... c Min unsat cost LB: 50356 ... c Min unsat cost LB: 50357 ... c Min unsat cost LB: 50358 ... c Min unsat cost LB: 50359 ... c Min unsat cost LB: 50360 ... c Min unsat cost LB: 50361 ... c Min unsat cost LB: 50362 ... c Min unsat cost LB: 50363 ... c Min unsat cost LB: 50364 ... c Min unsat cost LB: 50365 ... c Min unsat cost LB: 50366 ... c Min unsat cost LB: 50367 ... c Min unsat cost LB: 50368 ... c Min unsat cost LB: 50384 ... c Min unsat cost LB: 50432 ... c Min unsat cost LB: 50433 ... c Min unsat cost LB: 50941 ... c Min unsat cost LB: 51012 ... c Min unsat cost LB: 51084 ... c Min unsat cost LB: 51085 ... c Min unsat cost LB: 51086 ... c Min unsat cost LB: 51087 ... c Min unsat cost LB: 51088 ... c Min unsat cost LB: 51089 ... c Min unsat cost LB: 51090 ... c Min unsat cost LB: 51091 ... c Min unsat cost LB: 51092 ... c Min unsat cost LB: 51093 ... c Min unsat cost LB: 51094 ... c Min unsat cost LB: 51095 ... c Min unsat cost LB: 51096 ... c Min unsat cost LB: 51097 ... c Min unsat cost LB: 51098 ... c Min unsat cost LB: 51099 ... c Min unsat cost LB: 51100 ... c Min unsat cost LB: 51101 ... c Min unsat cost LB: 51102 ... c Min unsat cost LB: 51103 ... c Min unsat cost LB: 51104 ... c Min unsat cost LB: 51105 ... c Min unsat cost LB: 51107 ... c Min unsat cost LB: 51108 ... c Min unsat cost LB: 51109 ... c Min unsat cost LB: 51110 ... c Min unsat cost LB: 51111 ... c Min unsat cost LB: 51112 ... c Min unsat cost LB: 51113 ... c Min unsat cost LB: 51114 ... c Min unsat cost LB: 51115 ... c Min unsat cost LB: 51116 ... c Min unsat cost LB: 51117 ... c Min unsat cost LB: 51118 ... c Min unsat cost LB: 51119 ... c Min unsat cost LB: 51120 ... c Min unsat cost LB: 51122 ... c Min unsat cost LB: 51123 ... c Min unsat cost LB: 51124 ... c Min unsat cost LB: 51125 ... c Min unsat cost LB: 51126 ... c Min unsat cost LB: 51127 ... c Min unsat cost LB: 51128 ... c Min unsat cost LB: 51129 ... c Min unsat cost LB: 51130 ... c Min unsat cost LB: 51131 ... c Min unsat cost LB: 51132 ... c Min unsat cost LB: 51133 ... c Min unsat cost LB: 51134 ... c Min unsat cost LB: 51135 ... c Min unsat cost LB: 51136 ... c Min unsat cost LB: 51137 ... c Min unsat cost LB: 51138 ... c Min unsat cost LB: 51139 ... c Min unsat cost LB: 51140 ... c Min unsat cost LB: 51141 ... c Min unsat cost LB: 51142 ... c Min unsat cost LB: 51143 ... c Min unsat cost LB: 51144 ... c Min unsat cost LB: 51167 ... c Min unsat cost LB: 51291 ... c Min unsat cost LB: 51292 ... c Min unsat cost LB: 51302 ... c Min unsat cost LB: 51303 ... c Min unsat cost LB: 51304 ... c Min unsat cost LB: 51305 ... c Min unsat cost LB: 51306 ... c Min unsat cost LB: 51307 ... c Min unsat cost LB: 51308 ... c Min unsat cost LB: 51311 ... c Min unsat cost LB: 51312 ... c Min unsat cost LB: 51313 ... c Min unsat cost LB: 51315 ... c Min unsat cost LB: 51316 ... c Min unsat cost LB: 51317 ... c Min unsat cost LB: 51318 ... c Min unsat cost LB: 51319 ... c Min unsat cost LB: 51320 ... c Min unsat cost LB: 51321 ... c Min unsat cost LB: 51322 ... c Min unsat cost LB: 51323 ... c Min unsat cost LB: 51324 ... c Min unsat cost LB: 51325 ... c Min unsat cost LB: 51326 ... c Min unsat cost LB: 51327 ... c Min unsat cost LB: 51710 ... c Min unsat cost LB: 51711 ... c Min unsat cost LB: 51712 ... c Min unsat cost LB: 51713 ... c Min unsat cost LB: 51714 ... c Min unsat cost LB: 51715 ... c Min unsat cost LB: 51716 ... c Min unsat cost LB: 51717 ... c Min unsat cost LB: 51718 ... c Min unsat cost LB: 51719 ... c Min unsat cost LB: 51720 ... c Min unsat cost LB: 51721 ... c Min unsat cost LB: 51722 ... c Min unsat cost LB: 51723 ... c Min unsat cost LB: 51724 ... c Min unsat cost LB: 51725 ... c Min unsat cost LB: 51726 ... c Min unsat cost LB: 51727 ... c Min unsat cost LB: 51728 ... c Min unsat cost LB: 51729 ... c Min unsat cost LB: 51730 ... c Min unsat cost LB: 51731 ... c Min unsat cost LB: 51732 ... c Min unsat cost LB: 51733 ... c Min unsat cost LB: 51734 ... c Min unsat cost LB: 51735 ... c Min unsat cost LB: 51736 ... c Min unsat cost LB: 51737 ... c Min unsat cost LB: 51738 ... c Min unsat cost LB: 51739 ... c Min unsat cost LB: 51740 ... c Min unsat cost LB: 51741 ... c Min unsat cost LB: 51742 ... c Min unsat cost LB: 51743 ... c Min unsat cost LB: 51744 ... c Min unsat cost LB: 51745 ... c Min unsat cost LB: 51746 ... c Min unsat cost LB: 51747 ... c Min unsat cost LB: 51748 ... c Min unsat cost LB: 51749 ... c Min unsat cost LB: 51750 ... c Min unsat cost LB: 51751 ... c Min unsat cost LB: 51752 ... c Min unsat cost LB: 51753 ... c Min unsat cost LB: 51754 ... c Min unsat cost LB: 51896 ... c Min unsat cost LB: 51962 ... c Min unsat cost LB: 51986 ... c Min unsat cost LB: 51987 ... c Min unsat cost LB: 51988 ... c Min unsat cost LB: 51989 ... c Min unsat cost LB: 51990 ... c Min unsat cost LB: 51991 ... c Min unsat cost LB: 51992 ... c Min unsat cost LB: 51993 ... c Min unsat cost LB: 51994 ... c Min unsat cost LB: 51995 ... c Min unsat cost LB: 51996 ... c Min unsat cost LB: 51997 ... c Min unsat cost LB: 51998 ... c Min unsat cost LB: 51999 ... c Min unsat cost LB: 52000 ... c Min unsat cost LB: 52001 ... c Min unsat cost LB: 52002 ... c Min unsat cost LB: 52003 ... c Min unsat cost LB: 52004 ... c Min unsat cost LB: 52005 ... c Min unsat cost LB: 52006 ... c Min unsaKilled 1817.742u 1.990s 30:23.21 99.8% 0+0k 0+0io 0pf+0w