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_AUCTIONS_AUC_SCHEDULING_cat_sched_60_140_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0004.txt.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/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0004.txt.wcnf *** c c Min unsat cost LB: 56 ... c Min unsat cost LB: 157 ... c Min unsat cost LB: 202 ... c Min unsat cost LB: 343 ... c Min unsat cost LB: 484 ... c Min unsat cost LB: 625 ... c Min unsat cost LB: 766 ... c Min unsat cost LB: 822 ... c Min unsat cost LB: 963 ... c Min unsat cost LB: 1104 ... c Min unsat cost LB: 1160 ... c Min unsat cost LB: 1205 ... c Min unsat cost LB: 1216 ... c Min unsat cost LB: 1261 ... c Min unsat cost LB: 1272 ... c Min unsat cost LB: 1317 ... c Min unsat cost LB: 1458 ... c Min unsat cost LB: 1514 ... c Min unsat cost LB: 1613 ... c Min unsat cost LB: 1655 ... c Min unsat cost LB: 1666 ... c Min unsat cost LB: 1722 ... c Min unsat cost LB: 1756 ... c Min unsat cost LB: 1812 ... c Min unsat cost LB: 1855 ... c Min unsat cost LB: 1996 ... c Min unsat cost LB: 2137 ... c Min unsat cost LB: 2236 ... c Min unsat cost LB: 2377 ... c Min unsat cost LB: 2518 ... c Min unsat cost LB: 2560 ... c Min unsat cost LB: 2701 ... c Min unsat cost LB: 2842 ... c Min unsat cost LB: 2898 ... c Min unsat cost LB: 2954 ... c Min unsat cost LB: 3359 ... c Min unsat cost LB: 3460 ... c Min unsat cost LB: 3865 ... c Min unsat cost LB: 4270 ... c Min unsat cost LB: 4675 ... c Min unsat cost LB: 5080 ... c Min unsat cost LB: 5485 ... c Min unsat cost LB: 5586 ... c Min unsat cost LB: 5642 ... c Min unsat cost LB: 5685 ... c Min unsat cost LB: 5826 ... c Min unsat cost LB: 5883 ... c Min unsat cost LB: 5925 ... c Min unsat cost LB: 7137 ... c Min unsat cost LB: 7148 ... c Min unsat cost LB: 8360 ... c Min unsat cost LB: 9572 ... c Min unsat cost LB: 9628 ... c Min unsat cost LB: 9684 ... c Min unsat cost LB: 10896 ... c Min unsat cost LB: 12108 ... c Min unsat cost LB: 12209 ... c Min unsat cost LB: 12350 ... c Min unsat cost LB: 13562 ... c Min unsat cost LB: 14774 ... c Min unsat cost LB: 15179 ... c Min unsat cost LB: 15201 ... c Min unsat cost LB: 16413 ... c Min unsat cost LB: 17625 ... c Min unsat cost LB: 18837 ... c Min unsat cost LB: 18893 ... c Min unsat cost LB: 20049 ... c Min unsat cost LB: 20105 ... c Min unsat cost LB: 21261 ... c Min unsat cost LB: 21666 ... c Min unsat cost LB: 21667 ... c Min unsat cost LB: 22778 ... c Min unsat cost LB: 22919 ... c Min unsat cost LB: 24131 ... c Min unsat cost LB: 24232 ... c Min unsat cost LB: 25039 ... c Min unsat cost LB: 25084 ... c Min unsat cost LB: 26296 ... c Min unsat cost LB: 27466 ... c Min unsat cost LB: 27871 ... c Min unsat cost LB: 27913 ... c Min unsat cost LB: 28318 ... c Min unsat cost LB: 29530 ... c Min unsat cost LB: 30639 ... c Min unsat cost LB: 30695 ... c Min unsat cost LB: 30740 ... c Min unsat cost LB: 30839 ... c Min unsat cost LB: 31244 ... c Min unsat cost LB: 31649 ... c Min unsat cost LB: 31660 ... c Min unsat cost LB: 31716 ... c Min unsat cost LB: 31772 ... c Min unsat cost LB: 31873 ... c Min unsat cost LB: 31974 ... c Min unsat cost LB: 32073 ... c Min unsat cost LB: 32214 ... c Min unsat cost LB: 32271 ... c Min unsat cost LB: 32355 ... c Min unsat cost LB: 32574 ... c Min unsat cost LB: 32589 ... c Min unsat cost LB: 32688 ... c Min unsat cost LB: 32715 ... c Min unsat cost LB: 32816 ... c Min unsat cost LB: 32888 ... c Min unsat cost LB: 32957 ... c Min unsat cost LB: 32987 ... c Min unsat cost LB: 33086 ... c Min unsat cost LB: 33187 ... c Min unsat cost LB: 33288 ... c Min unsat cost LB: 33322 ... c Min unsat cost LB: 33389 ... c Min unsat cost LB: 33423 ... c Min unsat cost LB: 33490 ... c Min unsat cost LB: 33501 ... c Min unsat cost LB: 33524 ... c Min unsat cost LB: 33546 ... c Min unsat cost LB: 33602 ... c Min unsat cost LB: 33658 ... c Min unsat cost LB: 33742 ... c Min unsat cost LB: 33757 ... c Min unsat cost LB: 33800 ... c Min unsat cost LB: 33843 ... c Min unsat cost LB: 33899 ... c Min unsat cost LB: 34040 ... c Min unsat cost LB: 34063 ... c Min unsat cost LB: 34141 ... c Min unsat cost LB: 35297 ... c Min unsat cost LB: 35353 ... c Min unsat cost LB: 35395 ... c Min unsat cost LB: 35454 ... c Min unsat cost LB: 35494 ... c Min unsat cost LB: 35517 ... c Min unsat cost LB: 35536 ... c Min unsat cost LB: 35595 ... c Min unsat cost LB: 35651 ... c Min unsat cost LB: 35707 ... c Min unsat cost LB: 35763 ... c Min unsat cost LB: 35819 ... c Min unsat cost LB: 35875 ... c Min unsat cost LB: 35917 ... c Min unsat cost LB: 36016 ... c Min unsat cost LB: 36157 ... c Min unsat cost LB: 36239 ... c Min unsat cost LB: 36321 ... c Min unsat cost LB: 36333 ... c Min unsat cost LB: 36405 ... c Min unsat cost LB: 36462 ... c Min unsat cost LB: 36474 ... c Min unsat cost LB: 36516 ... c Min unsat cost LB: 36546 ... c Min unsat cost LB: 36573 ... c Min unsat cost LB: 36596 ... c Min unsat cost LB: 36607 ... c Min unsat cost LB: 36645 ... c Min unsat cost LB: 36679 ... c Min unsat cost LB: 36706 ... c Min unsat cost LB: 36723 ... c Min unsat cost LB: 36826 ... c Min unsat cost LB: 36847 ... c Min unsat cost LB: 36870 ... c Min unsat cost LB: 36889 ... c Min unsat cost LB: 36948 ... c Min unsat cost LB: 37007 ... c Min unsat cost LB: 37030 ... c Min unsat cost LB: 37040 ... c Min unsat cost LB: 37096 ... c Min unsat cost LB: 37141 ... c Min unsat cost LB: 37152 ... c Min unsat cost LB: 37197 ... c Min unsat cost LB: 37208 ... c Min unsat cost LB: 37264 ... c Min unsat cost LB: 38037 ... c Min unsat cost LB: 38041 ... c Min unsat cost LB: 38178 ... c Min unsat cost LB: 38479 ... c Min unsat cost LB: 39086 ... c Min unsat cost LB: 39090 ... c Min unsat cost LB: 39112 ... c Min unsat cost LB: 39614 ... c Min unsat cost LB: 39833 ... c Min unsat cost LB: 39924 ... c Min unsat cost LB: 39934 ... c Min unsat cost LB: 40206 ... c Min unsat cost LB: 40302 ... c Min unsat cost LB: 40343 ... c Min unsat cost LB: 40434 ... c Min unsat cost LB: 40535 ... c Min unsat cost LB: 40636 ... c Min unsat cost LB: 40640 ... c Min unsat cost LB: 40650 ... c Min unsat cost LB: 41457 ... c Min unsat cost LB: 41510 ... c Min unsat cost LB: 41592 ... c Min unsat cost LB: 41647 ... c Min unsat cost LB: 41664 ... c Min unsat cost LB: 42290 ... c Min unsat cost LB: 42332 ... c Min unsat cost LB: 42410 ... c Min unsat cost LB: 42496 ... c Min unsat cost LB: 42501 ... c Min unsat cost LB: 42557 ... c Min unsat cost LB: 42579 ... c Min unsat cost LB: 42602 ... c Min unsat cost LB: 42636 ... c Min unsat cost LB: 42647 ... c Min unsat cost LB: 42703 ... c Min unsat cost LB: 42730 ... c Min unsat cost LB: 42770 ... c Min unsat cost LB: 42820 ... c Min unsat cost LB: 42827 ... c Min unsat cost LB: 42873 ... c Min unsat cost LB: 42880 ... c Min unsat cost LB: 42908 ... c Min unsat cost LB: 43364 ... c Min unsat cost LB: 43378 ... c Min unsat cost LB: 43405 ... c Min unsat cost LB: 44161 ... c Min unsat cost LB: 44217 ... c Min unsat cost LB: 44273 ... c Min unsat cost LB: 44294 ... c Min unsat cost LB: 44421 ... c Min unsat cost LB: 44464 ... c Min unsat cost LB: 45471 ... c Min unsat cost LB: 45478 ... c Min unsat cost LB: 45577 ... c Min unsat cost LB: 45834 ... c Min unsat cost LB: 46535 ... c Min unsat cost LB: 46591 ... c Min unsat cost LB: 46647 ... c Min unsat cost LB: 46689 ... c Min unsat cost LB: 46936 ... c Min unsat cost LB: 46937 ... c Min unsat cost LB: 46959 ... c Min unsat cost LB: 46993 ... c Min unsat cost LB: 47020 ... c Min unsat cost LB: 47100 ... c Min unsat cost LB: 47203 ... c Min unsat cost LB: 47422 ... c Min unsat cost LB: 47445 ... c Min unsat cost LB: 47617 ... c Min unsat cost LB: 47664 ... c Min unsat cost LB: 47850 ... c Min unsat cost LB: 48069 ... c Min unsat cost LB: 48255 ... c Min unsat cost LB: 48474 ... c Min unsat cost LB: 48534 ... c Min unsat cost LB: 48719 ... c Min unsat cost LB: 48738 ... c Min unsat cost LB: 48740 ... c Min unsat cost LB: 48818 ... c Min unsat cost LB: 48873 ... c Min unsat cost LB: 48932 ... c Min unsat cost LB: 49143 ... c Min unsat cost LB: 49189 ... c Min unsat cost LB: 49196 ... c Min unsat cost LB: 49344 ... c Min unsat cost LB: 49601 ... c Min unsat cost LB: 49629 ... c Min unsat cost LB: 49669 ... c Min unsat cost LB: 49676 ... c Min unsat cost LB: 49681 ... c Min unsat cost LB: 49721 ... c Min unsat cost LB: 49724 ... c Min unsat cost LB: 49776 ... c Min unsat cost LB: 49780 ... c Min unsat cost LB: 49784 ... c Min unsat cost LB: 49788 ... c Min unsat cost LB: 50844 ... c Min unsat cost LB: 50916 ... c Min unsat cost LB: 50998 ... c Min unsat cost LB: 51005 ... c Min unsat cost LB: 51051 ... c Min unsat cost LB: 51912 ... c Min unsat cost LB: 51957 ... c Min unsat cost LB: 51968 ... c Min unsat cost LB: 51986 ... c Min unsat cost LB: 51993 ... c Min unsat cost LB: 52064 ... c Min unsat cost LB: 52068 ... c Min unsat cost LB: 52069 ... c Min unsat cost LB: 52070 ... c Min unsat cost LB: 52081 ... c Min unsat cost LB: 52114 ... c Min unsat cost LB: 52125 ... c Min unsat cost LB: 52167 ... c Min unsat cost LB: 52198 ... c Min unsat cost LB: 52201 ... c Min unsat cost LB: 52212 ... c Min unsat cost LB: 52224 ... c Min unsat cost LB: 52269 ... c Min unsat cost LB: 52280 ... c Min unsat cost LB: 52284 ... c Min unsat cost LB: 52298 ... c Min unsat cost LB: 52326 ... c Min unsat cost LB: 52366 ... c Min unsat cost LB: 52373 ... c Min unsat cost LB: 52453 ... c Min unsat cost LB: 52454 ... c Min unsat cost LB: 52487 ... c Min unsat cost LB: 52514 ... c Min unsat cost LB: 52516 ... c Min unsat cost LB: 52588 ... c Min unsat cost LB: 52601 ... c Min unsat cost LB: 52679 ... c Min unsat cost LB: 52687 ... c Min unsat cost LB: 52697 ... c Min unsat cost LB: 53446 ... c Min unsat cost LB: 53501 ... c Min unsat cost LB: 53557 ... c Min unsat cost LB: 53603 ... c Min unsat cost LB: 53659 ... c Min unsat cost LB: 53771 ... c Min unsat cost LB: 53778 ... c Min unsat cost LB: 53882 ... c Min unsat cost LB: 53983 ... c Min unsat cost LB: 54527 ... c Min unsat cost LB: 54541 ... c Min unsat cost LB: 54640 ... c Min unsat cost LB: 54667 ... c Min unsat cost LB: 54723 ... c Min unsat cost LB: 54752 ... c Min unsat cost LB: 54779 ... c Min unsat cost LB: 54800 ... c Min unsat cost LB: 54811 ... c Min unsat cost LB: 55335 ... c Min unsat cost LB: 55568 ... c Min unsat cost LB: 55627 ... c Min unsat cost LB: 55730 ... c Min unsat cost LB: 55747 ... c Min unsat cost LB: 55933 ... c Min unsat cost LB: 55966 ... c Min unsat cost LB: 55970 ... c Min unsat cost LB: 56017 ... c Min unsat cost LB: 56320 ... c Min unsat cost LB: 56448 ... c Min unsat cost LB: 56504 ... c Min unsat cost LB: 56560 ... c Min unsat cost LB: 56695 ... c Min unsat cost LB: 56730 ... c Min unsat cost LB: 56776 ... c Min unsat cost LB: 56835 ... c Min unsat cost LB: 56941 ... c Min unsat cost LB: 56942 ... c Min unsat cost LB: 56984 ... c Min unsat cost LB: 57170 ... c Min unsat cost LB: 57203 ... c Min unsat cost LB: 57328 ... c Min unsat cost LB: 57389 ... c Min unsat cost LB: 57392 ... c Min unsat cost LB: 57411 ... c Min unsat cost LB: 57467 ... c Min unsat cost LB: 57510 ... c Min unsat cost LB: 57514 ... c Min unsat cost LB: 57517 ... c Min unsat cost LB: 57519 ... c Min unsat cost LB: 57529 ... c Min unsat cost LB: 57541 ... c Min unsat cost LB: 57542 ... c Min unsat cost LB: 57549 ... c Min unsat cost LB: 57565 ... c Min unsat cost LB: 57567 ... c Min unsat cost LB: 57577 ... c Min unsat cost LB: 57599 ... c Min unsat cost LB: 57600 ... c Min unsat cost LB: 57610 ... c Min unsat cost LB: 57652 ... c Min unsat cost LB: 57679 ... c Min unsat cost LB: 57722 ... c Min unsat cost LB: 57727 ... c Min unsat cost LB: 57850 ... c Min unsat cost LB: 58051 ... c Min unsat cost LB: 58184 ... c Min unsat cost LB: 58266 ... c Min unsat cost LB: 58318 ... c Min unsat cost LB: 58414 ... c Min unsat cost LB: 58461 ... c Min unsat cost LB: 58472 ... c Min unsat cost LB: 58483 ... c Min unsat cost LB: 58526 ... c Min unsat cost LB: 58528 ... c Min unsat cost LB: 58610 ... c Min unsat cost LB: 58624 ... c Min unsat cost LB: 58669 ... c Min unsat cost LB: 58724 ... c Min unsat cost LB: 58810 ... c Min unsat cost LB: 58855 ... c Min unsat cost LB: 58866 ... c Min unsat cost LB: 58897 ... c Min unsat cost LB: 58953 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59533 ... c Min unsat cost LB: 59617 ... c Min unsat cost LB: 59687 ... c Min unsat cost LB: 59723 ... c Min unsat cost LB: 59725 ... c Min unsat cost LB: 59735 ... c Min unsat cost LB: 59736 ... c Min unsat cost LB: 59758 ... c Min unsat cost LB: 59759 ... c Min unsat cost LB: 59792 ... c Min unsat cost LB: 59802 ... c Min unsat cost LB: 59826 ... c Min unsat cost LB: 59849 ... c Min unsat cost LB: 59852 ... c Min unsat cost LB: 59882 ... c Min unsat cost LB: 59913 ... c Min unsat cost LB: 59946 ... c Min unsat cost LB: 59948 ... c Min unsat cost LB: 59981 ... c Min unsat cost LB: 60009 ... c Min unsat cost LB: 60016 ... c Min unsat cost LB: 60020 ... c Min unsat cost LB: 60063 ... c Min unsat cost LB: 60064 ... c Min unsat cost LB: 60066 ... c Min unsat cost LB: 60074 ... c Min unsat cost LB: 60086 ... c Min unsat cost LB: 60088 ... c Min unsat cost LB: 60090 ... c Min unsat cost LB: 60091 ... c Min unsat cost LB: 60101 ... c Min unsat cost LB: 60115 ... c Min unsat cost LB: 60119 ... c Min unsat cost LB: 60124 ... c Min unsat cost LB: 60133 ... c Min unsat cost LB: 60134 ... c Min unsat cost LB: 60135 ... c Min unsat cost LB: 60145 ... c Min unsat cost LB: 60155 ... c Min unsat cost LB: 60162 ... c Min unsat cost LB: 60163 ... c Min unsat cost LB: 60173 ... c Min unsat cost LB: 60185 ... c Min unsat cost LB: 60192 ... c Min unsat cost LB: 60193 ... c Min unsat cost LB: 60195 ... c Min unsat cost LB: 60196 ... c Min unsat cost LB: 60207 ... c Min unsat cost LB: 60208 ... c Min unsat cost LB: 60210 ... c Min unsat cost LB: 60213 ... c Min unsat cost LB: 60214 ... c Min unsat cost LB: 60216 ... c Min unsat cost LB: 60268 ... c Min unsat cost LB: 60269 ... c Min unsat cost LB: 60272 ... c Min unsat cost LB: 60273 ... c Min unsat cost LB: 60274 ... c Min unsat cost LB: 60275 ... c Min unsat cost LB: 60276 ... c Min unsat cost LB: 60282 ... c Min unsat cost LB: 60287 ... c Min unsat cost LB: 60288 ... c Min unsat cost LB: 60298 ... c Min unsat cost LB: 60301 ... c Min unsat cost LB: 60304 ... c Min unsat cost LB: 60307 ... c Min unsat cost LB: 60311 ... c Min unsat cost LB: 60313 ... c Min unsat cost LB: 60314 ... c Min unsat cost LB: 60315 ... c Min unsat cost LB: 60317 ... c Min unsat cost LB: 60344 ... c Min unsat cost LB: 60372 ... c Min unsat cost LB: 60374 ... c Min unsat cost LB: 60388 ... c Min unsat cost LB: 60389 ... c Min unsat cost LB: 60391 ... c Min unsat cost LB: 60395 ... c Min unsat cost LB: 60417 ... c Min unsat cost LB: 60419 ... c Min unsat cost LB: 60441 ... c Min unsat cost LB: 60450 ... c Min unsat cost LB: 60461 ... c Min unsat cost LB: 60486 ... c Min unsat cost LB: 60496 ... c Min unsat cost LB: 60497 ... c Min unsat cost LB: 60498 ... c Min unsat cost LB: 60504 ... c Min unsat cost LB: 60506 ... c Min unsat cost LB: 60508 ... c Min unsat cost LB: 60510 ... c Min unsat cost LB: 60511 ... c Min unsat cost LB: 60512 ... c Min unsat cost LB: 60513 ... c Min unsat cost LB: 60514 ... c Min unsat cost LB: 60515 ... c Min unsat cost LB: 60516 ... c Min unsat cost LB: 60517 ... c Min unsat cost LB: 60518 ... c Min unsat cost LB: 60519 ... c Min unsat cost LB: 60520 ... c Min unsat cost LB: 60521 ... c Min unsat cost LB: 60522 ... c Min unsat cost LB: 60523 ... c Min unsat cost LB: 60524 ... c Min unsat cost LB: 60525 ... c Min unsat cost LB: 60526 ... c Min unsat cost LB: 60527 ... c Min unsat cost LB: 60528 ... c Min unsat cost LB: 60539 ... c Min unsat cost LB: 60548 ... c Min unsat cost LB: 60566 ... c Min unsat cost LB: 60570 ... c Min unsat cost LB: 60572 ... c Min unsat cost LB: 60582 ... c Min unsat cost LB: 60590 ... c Min unsat cost LB: 60592 ... c Min unsat cost LB: 60593 ... c Min unsat cost LB: 60596 ... c Min unsat cost LB: 60598 ... c Min unsat cost LB: 60601 ... c Min unsat cost LB: 60605 ... c Min unsat cost LB: 60608 ... c Min unsat cost LB: 60632 ... c Min unsat cost LB: 60646 ... c Min unsat cost LB: 60647 ... c Min unsat cost LB: 60664 ... c Min unsat cost LB: 60666 ... c Min unsat cost LB: 60670 ... c Min unsat cost LB: 60673 ... c Min unsat cost LB: 60677 ... c Min unsat cost LB: 60684 ... c Min unsat cost LB: 60745 ... c Min unsat cost LB: 60757 ... c Min unsat cost LB: 60803 ... c Min unsat cost LB: 60850 ... c Min unsat cost LB: 60853 ... c Min unsat cost LB: 60860 ... c Min unsat cost LB: 60871 ... c Min unsat cost LB: 60888 ... c Min unsat cost LB: 60892 ... c Min unsat cost LB: 60928 ... c Min unsat cost LB: 60935 ... c Min unsat cost LB: 60962 ... c Min unsat cost LB: 60968 ... c Min unsat cost LB: 60975 ... c Min unsat cost LB: 60981 ... c Min unsat cost LB: 60983 ... c Min unsat cost LB: 60984 ... c Min unsat cost LB: 61012 ... c Min unsat cost LB: 61019 ... c Min unsat cost LB: 61020 ... c Min unsat cost LB: 61021 ... c Min unsat cost LB: 61022 ... c Min unsat cost LB: 61028 ... c Min unsat cost LB: 61040 ... c Min unsat cost LB: 61041 ... c Min unsat cost LB: 61052 ... c Min unsat cost LB: 61055 ... c Min unsat cost LB: 61062 ... c Min unsat cost LB: 61063 ... c Min unsat cost LB: 61065 ... c Min unsat cost LB: 61073 ... c Min unsat cost LB: 61074 ... c Min unsat cost LB: 61075 ... c Min unsat cost LB: 61082 ... c Min unsat cost LB: 61084 ... c Min unsat cost LB: 61088 ... c Min unsat cost LB: 61090 ... c Min unsat cost LB: 61104 ... c Min unsat cost LB: 61105 ... c Min unsat cost LB: 61119 ... c Min unsat cost LB: 61122 ... c Min unsat cost LB: 61123 ... c Min unsat cost LB: 61124 ... c Min unsat cost LB: 61127 ... c Min unsat cost LB: 61130 ... c Min unsat cost LB: 61134 ... c Min unsat cost LB: 61136 ... c Min unsat cost LB: 61141 ... c Min unsat cost LB: 61151 ... c Min unsat cost LB: 61152 ... c Min unsat cost LB: 61158 ... c Min unsat cost LB: 61172 ... c Min unsat cost LB: 61180 ... c Min unsat cost LB: 61189 ... c Min unsat cost LB: 61191 ... c Min unsat cost LB: 61226 ... c Min unsat cost LB: 61244 ... c Min unsat cost LB: 61248 ... c Min unsat cost LB: 61252 ... c Min unsat cost LB: 61254 ... c Min unsat cost LB: 61255 ... c Min unsat cost LB: 61257 ... c Min unsat cost LB: 61259 ... c Min unsat cost LB: 61261 ... c Min unsat cost LB: 61265 ... c Min unsat cost LB: 61276 ... c Min unsat cost LB: 61289 ... c Min unsat cost LB: 61300 ... c Min unsat cost LB: 61305 ... c Min unsat cost LB: 61318 ... c Min unsat cost LB: 61319 ... c Min unsat cost LB: 61332 ... c Min unsat cost LB: 61365 ... c Min unsat cost LB: 61366 ... c Min unsat cost LB: 61369 ... c Min unsat cost LB: 61370 ... c Min unsat cost LB: 61371 ... c Min unsat cost LB: 61372 ... c Min unsat cost LB: 61373 ... c Min unsat cost LB: 61378 ... c Min unsat cost LB: 61379 ... c Min unsat cost LB: 61380 ... c Min unsat cost LB: 61381 ... c Min unsat cost LB: 61383 ... c Min unsat cost LB: 61384 ... c Min unsat cost LB: 61388 ... c Min unsat cost LB: 61391 ... c Min unsat cost LB: 61393 ... c Min unsat cost LB: 61394 ... c Min unsat cost LB: 61395 ... c Min unsat cost LB: 61396 ... c Min unsat cost LB: 61397 ... c Min unsat cost LB: 61500 ... c Min unsat cost LB: 61547 ... c Min unsat cost LB: 61558 ... c Min unsat cost LB: 61569 ... c Min unsat cost LB: 61580 ... c Min unsat cost LB: 61581 ... c Min unsat cost LB: 61582 ... c Min unsat cost LB: 61585 ... c Min unsat cost LB: 61586 ... c Min unsat cost LB: 61587 ... c Min unsat cost LB: 61588 ... c Min unsat cost LB: 61591 ... c Min unsat cost LB: 61612 ... c Min unsat cost LB: 61613 ... c Min unsat cost LB: 61672 ... c Min unsat cost LB: 61721 ... c Min unsat cost LB: 61722 ... c Min unsat cost LB: 61723 ... c Min unsat cost LB: 61724 ... c Min unsat cost LB: 61725 ... c Min unsat cost LB: 61726 ... c Min unsat cost LB: 61728 ... c Min unsat cost LB: 61730 ... c Min unsat cost LB: 61731 ... c Min unsat cost LB: 61733 ... c Min unsat cost LB: 61734 ... c Min unsat cost LB: 61735 ... c Min unsat cost LB: 61736 ... c Min unsat cost LB: 61737 ... c Min unsat cost LB: 61738 ... c Min unsat cost LB: 61740 ... c Min unsat cost LB: 61741 ... c Min unsat cost LB: 61743 ... c Min unsat cost LB: 61744 ... c Min unsat cost LB: 61745 ... c Min unsat cost LB: 61746 ... c Min unsat cost LB: 61747 ... c Min unsat cost LB: 61749 ... c Min unsat cost LB: 61753 ... c Min unsat cost LB: 61788 ... c Min unsat cost LB: 61789 ... c Min unsat cost LB: 61806 ... c Min unsat cost LB: 61807 ... c Min unsat cost LB: 61814 ... c Min unsat cost LB: 61815 ... c Min unsat cost LB: 61817 ... c Min unsat cost LB: 61818 ... c Min unsat cost LB: 61819 ... c Min unsat cost LB: 61820 ... c Min unsat cost LB: 61821 ... c Min unsat cost LB: 61826 ... c Min unsat cost LB: 61828 ... c Min unsat cost LB: 61845 ... c Min unsat cost LB: 61852 ... c Min unsat cost LB: 61856 ... c Min unsat cost LB: 61877 ... c Min unsat cost LB: 61878 ... c Min unsat cost LB: 61879 ... c Min unsat cost LB: 61880 ... c Min unsat cost LB: 61881 ... c Min unsat cost LB: 61882 ... c Min unsat cost LB: 61883 ... c Min unsat cost LB: 61884 ... c Min unsat cost LB: 61885 ... c Min unsat cost LB: 61886 ... c Min unsat cost LB: 61889 ... c Min unsat cost LB: 61893 ... c Min unsat cost LB: 61894 ... c Min unsat cost LB: 61896 ... c Min unsat cost LB: 61897 ... c Min unsat cost LB: 61898 ... c Min unsat cost LB: 61899 ... c Min unsat cost LB: 61900 ... c Min unsat cost LB: 61901 ... c Min unsat cost LB: 61903 ... c Min unsat cost LB: 61904 ... c Min unsat cost LB: 61905 ... c Min unsat cost LB: 61906 ... c Min unsat cost LB: 61907 ... c Min unsat cost LB: 61909 ... c Min unsat cost LB: 61910 ... c Min unsat cost LB: 61911 ... c Min unsat cost LB: 61912 ... c Min unsat cost LB: 61913 ... c Min unsat cost LB: 61914 ... c Min unsat cost LB: 61916 ... c Min unsat cost LB: 61917 ... c Min unsat cost LB: 61918 ... c Min unsat cost LB: 61919 ... c Min unsat cost LB: 61924 ... c Min unsat cost LB: 61931 ... c Min unsat cost LB: 61939 ... c Min unsat cost LB: 61946 ... c Min unsat cost LB: 61947 ... c Min unsat cost LB: 61972 ... c Min unsat cost LB: 61973 ... c Min unsat cost LB: 61979 ... c Min unsat cost LB: 61992 ... c Min unsat cost LB: 62023 ... c Min unsat cost LB: 62127 ... c Min unsat cost LB: 62228 ... c Min unsat cost LB: 62233 ... c Min unsat cost LB: 62297 ... c Min unsat cost LB: 62298 ... c Min unsat cost LB: 62302 ... c Min unsat cost LB: 62315 ... c Min unsat cost LB: 62333 ... c Min unsat cost LB: 62857 ... c Min unsat cost LB: 62858 ... c Min unsat cost LB: 62865 ... c Min unsat cost LB: 63004 ... c Min unsat cost LB: 63015 ... c Min unsat cost LB: 63016 ... c Min unsat cost LB: 63017 ... c Min unsat cost LB: 63023 ... c Min unsat cost LB: 63025 ... c Min unsat cost LB: 63026 ... c Min unsat cost LB: 63027 ... c Min unsat cost LB: 63029 ... c Min unsat cost LB: 63030 ... c Min unsat cost LB: 63031 ... c Min unsat cost LB: 63034 ... c Min unsat cost LB: 63035 ... c Min unsat cost LB: 63051 ... c Min unsat cost LB: 63052 ... c Min unsat cost LB: 63058 ... c Min unsat cost LB: 63059 ... c Min unsat cost LB: 63060 ... c Min unsat cost LB: 63061 ... c Min unsat cost LB: 63062 ... c Min unsat cost LB: 63083 ... c Min unsat cost LB: 63084 ... c Min unsat cost LB: 63091 ... c Min unsat cost LB: 63092 ... c Min unsat cost LB: 63093 ... c Min unsat cost LB: 63094 ... c Min unsat cost LB: 63095 ... c Min unsat cost LB: 63096 ... c Min unsat cost LB: 63098 ... c Min unsat cost LB: 63099 ... c Min unsat cost LB: 63101 ... c Min unsat cost LB: 63107 ... c Min unsat cost LB: 63108 ... c Min unsat cost LB: 63109 ... c Min unsat cost LB: 63110 ... c Min unsat cost LB: 63111 ... c Min unsat cost LB: 63125 ... c Min unsat cost LB: 63129 ... c Min unsat cost LB: 63141 ... c Min unsat cost LB: 63144 ... c Min unsat cost LB: 63162 ... c Min unsat cost LB: 63193 ... c Min unsat cost LB: 63212 ... c Min unsat cost LB: 63214 ... c Min unsat cost LB: 63258 ... c Min unsat cost LB: 63281 ... c Min unsat cost LB: 63284 ... c Min unsat cost LB: 63293 ... c Min unsat cost LB: 63294 ... c Min unsat cost LB: 63295 ... c Min unsat cost LB: 63308 ... c Min unsat cost LB: 63324 ... c Min unsat cost LB: 63325 ... c Min unsat cost LB: 63326 ... c Min unsat cost LB: 63328 ... c Min unsat cost LB: 63358 ... c Min unsat cost LB: 63360 ... c Min unsat cost LB: 63361 ... c Min unsat cost LB: 63362 ... c Min unsat cost LB: 63363 ... c Min unsat cost LB: 63364 ... c Min unsat cost LB: 63365 ... c Min unsat cost LB: 63366 ... c Min unsat cost LB: 63367 ... c Min unsat cost LB: 63371 ... c Min unsat cost LB: 63373 ... c Min unsat cost LB: 63374 ... c Min unsat cost LB: 63375 ... c Min unsat cost LB: 63376 ... c Min unsat cost LB: 63377 ... c Min unsat cost LB: 63378 ... c Min unsat cost LB: 63406 ... c Min unsat cost LB: 63409 ... c Min unsat cost LB: 63420 ... c Min unsat cost LB: 63425 ... c Min unsat cost LB: 63426 ... c Min unsat cost LB: 63430 ... c Min unsat cost LB: 63439 ... c Min unsat cost LB: 63440 ... c Min unsat cost LB: 63441 ... c Min unsat cost LB: 63442 ... c Min unsat cost LB: 63443 ... c Min unsat cost LB: 63444 ... c Min unsat cost LB: 63446 ... c Min unsat cost LB: 63448 ... c Min unsat cost LB: 63449 ... c Min unsat cost LB: 63452 ... c Min unsat cost LB: 63456 ... c Min unsat cost LB: 63470 ... c Min unsat cost LB: 63483 ... c Min unsat cost LB: 63486 ... c Min unsat cost LB: 63487 ... c Min unsat cost LB: 63488 ... c Min unsat cost LB: 63494 ... c Min unsat cost LB: 63501 ... c Min unsat cost LB: 63502 ... c Min unsat cost LB: 63503 ... c Min unsat cost LB: 63504 ... c Min unsat cost LB: 63505 ... c Min unsat cost LB: 63506 ... c Min unsat cost LB: 63507 ... c Min unsat cost LB: 63508 ... c Min unsat cost LB: 63509 ... c Min unsat cost LB: 63510 ... c Min unsat cost LB: 63511 ... c Min unsat cost LB: 63512 ... c Min unsat cost LB: 63513 ... c Min unsat cost LB: 63514 ... c Min unsat cost LB: 63515 ... c Min unsat cost LB: 63518 ... c Min unsat cost LB: 63531 ... c Min unsat cost LB: 63571 ... c Min unsat cost LB: 63584 ... c Min unsat cost LB: 63596 ... c Min unsat cost LB: 63612 ... c Min unsat cost LB: 63614 ... c Min unsat cost LB: 63615 ... c Min unsat cost LB: 63616 ... c Min unsat cost LB: 63617 ... c Min unsat cost LB: 63619 ... c Min unsat cost LB: 63620 ... c Min unsat cost LB: 63624 ... c Min unsat cost LB: 63634 ... c Min unsat cost LB: 63635 ... c Min unsat cost LB: 63639 ... c Min unsat cost LB: 63644 ... c Min unsat cost LB: 63646 ... c Min unsat cost LB: 63651 ... c Min unsat cost LB: 63653 ... c Min unsat cost LB: 63670 ... c Min unsat cost LB: 63674 ... c Min unsat cost LB: 63677 ... c Min unsat cost LB: 63678 ... c Min unsat cost LB: 63680 ... c Min unsat cost LB: 63681 ... c Min unsat cost LB: 63682 ... c Min unsat cost LB: 63683 ... c Min unsat cost LB: 63684 ... c Min unsat cost LB: 63685 ... c Min unsat cost LB: 63690 ... c Min unsat cost LB: 63691 ... c Min unsat cost LB: 63693 ... c Min unsat cost LB: 63695 ... c Min unsat cost LB: 63696 ... c Min unsat cost LB: 63697 ... c Min unsat cost LB: 63698 ... c Min unsat cost LB: 63699 ... c Min unsat cost LB: 63701 ... c Min unsat cost LB: 63711 ... c Min unsat cost LB: 63712 ... c Min unsat cost LB: 63720 ... c Min unsat cost LB: 63722 ... c Min unsat cost LB: 63724 ... c Min unsat cost LB: 63725 ... c Min unsat cost LB: 63728 ... c Min unsat cost LB: 63729 ... c Min unsat cost LB: 63764 ... c Min unsat cost LB: 63781 ... c Min unsat cost LB: 63782 ... c Min unsat cost LB: 63784 ... c Min unsat cost LB: 63785 ... c Min unsat cost LB: 63787 ... c Min unsat cost LB: 63788 ... c Min unsat cost LB: 63791 ... c Min unsat cost LB: 63792 ... c Min unsat cost LB: 63794 ... c Min unsat cost LB: 63795 ... c Min unsat cost LB: 63796 ... c Min unsat cost LB: 63797 ... c Min unsat cost LB: 63798 ... c Min unsat cost LB: 63799 ... c Min unsat cost LB: 63803 ... c Min unsat cost LB: 63804 ... c Min unsat cost LB: 63805 ... c Min unsat cost LB: 63807 ... c Min unsat cost LB: 63808 ... c Min unsat cost LB: 63812 ... c Min unsat cost LB: 63813 ... c Min unsat cost LB: 63815 ... c Min unsat cost LB: 63816 ... c Min unsat cost LB: 63817 ... c Min unsat cost LB: 63818 ... c Min unsat cost LB: 63819 ... c Min unsat cost LB: 63820 ... c Min unsat cost LB: 63821 ... c Min unsat cost LB: 63823 ... c Min unsat cost LB: 63832 ... c Min unsat cost LB: 63834 ... c Min unsat cost LB: 63835 ... c Min unsat cost LB: 63838 ... c Min unsat cost LB: 63841 ... c Min unsat cost LB: 63849 ... c Min unsat cost LB: 63850 ... c Min unsat cost LB: 63851 ... c Min unsat cost LB: 63852 ... c Min unsat cost LB: 63853 ... c Min unsat cost LB: 63854 ... c Min unsat cost LB: 63855 ... c Min unsat cost LB: 63856 ... c Min unsat cost LB: 63857 ... c Min unsat cost LB: 63858 ... c Min unsat cost LB: 63879 ... c Min unsat cost LB: 63880 ... c Min unsat cost LB: 63881 ... c Min unsat cost LB: 63882 ... c Min unsat cost LB: 63883 ... c Min unsat cost LB: 63885 ... c Min unsat cost LB: 63887 ... c Min unsat cost LB: 63889 ... c Min unsat cost LB: 63890 ... c Min unsat cost LB: 63901 ... c Min unsat cost LB: 63902 ... c Min unsat cost LB: 63903 ... c Min unsat cost LB: 63905 ... c Min unsat cost LB: 63907 ... c Min unsat cost LB: 63909 ... c Min unsat cost LB: 63910 ... c Min unsat cost LB: 63911 ... c Min unsat cost LB: 63912 ... c Min unsat cost LB: 63913 ... c Min unsat cost LB: 63914 ... c Min unsat cost LB: 63915 ... c Min unsat cost LB: 63916 ... c Min unsat cost LB: 63923 ... c Min unsat cost LB: 63924 ... c Min unsat cost LB: 63926 ... c Min unsat cost LB: 63927 ... c Min unsat cost LB: 63931 ... c Min unsat cost LB: 63938 ... c Min unsat cost LB: 63939 ... c Min unsat cost LB: 64073 ... c Min unsat cost LB: 64074 ... c Min unsat cost LB: 64076 ... c Min unsat cost LB: 64077 ... c Min unsat cost LB: 64078 ... c Min unsat cost LB: 64081 ... c Min unsat cost LB: 64090 ... c Min unsat cost LB: 64095 ... c Min unsat cost LB: 64096 ... c Min unsat cost LB: 64100 ... c Min unsat cost LB: 64109 ... c Min unsat cost LB: 64110 ... c Min unsat cost LB: 64111 ... c Min unsat cost LB: 64112 ... c Min unsat cost LB: 64113 ... c Min unsat cost LB: 64114 ... c Min unsat cost LB: 64115 ... c Min unsat cost LB: 64116 ... c Min unsat cost LB: 64117 ... c Min unsat cost LB: 64118 ... c Min unsat cost LB: 64119 ... c Min unsat cost LB: 64120 ... c Min unsat cost LB: 64121 ... c Min unsat cost LB: 64123 ... c Min unsat cost LB: 64124 ... c Min unsat cost LB: 64125 ... c Min unsat cost LB: 64126 ... c Min unsat cost LB: 64127 ... c Min unsat cost LB: 64128 ... c Min unsat cost LB: 64129 ... c Min unsat cost LB: 64130 ... c Min unsat cost LB: 64131 ... c Min unsat cost LB: 64132 ... c Min unsat cost LB: 64133 ... c Min unsat cost LB: 64135 ... c Min unsat cost LB: 64136 ... c Min unsat cost LB: 64137 ... c Min unsat cost LB: 64138 ... c Min unsat cost LB: 64139 ... c Min unsat cost LB: 64140 ... c Min unsat cost LB: 64141 ... c Min unsat cost LB: 64142 ... c Min unsat cost LB: 64143 ... c Min unsat cost LB: 64144 ... c Min unsat cost LB: 64145 ... c Min unsat cost LB: 64146 ... c Min unsat cost LB: 64156 ... c Min unsat cost LB: 64157 ... c Min unsat cost LB: 64158 ... c Min unsat cost LB: 64159 ... c Min unsat cost LB: 64160 ... c Min unsat cost LB: 64161 ... c Min unsat cost LB: 64162 ... c Min unsat cost LB: 64163 ... c Min unsat cost LB: 64164 ... c Min unsat cost LB: 64165 ... c Min unsat cost LB: 64166 ... c Min unsat cost LB: 64167 ... c Min unsat cost LB: 64168 ... c Min unsat cost LB: 64169 ... c Min unsat cost LB: 64170 ... c Min unsat cost LB: 64171 ... c Min unsat cost LB: 64172 ... c Min unsat cost LB: 64178 ... c Min unsat cost LB: 64180 ... c Min unsat cost LB: 64181 ... c Min unsat cost LB: 64182 ... c Min unsat cost LB: 64183 ... c Min unsat cost LB: 64184 ... c Min unsat cost LB: 64185 ... c Min unsat cost LB: 64186 ... Killed 1813.389u 6.349s 30:19.64 100.0% 0+0k 0+0io 0pf+0w