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_PATHS_cat_paths_60_160_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0003.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_PATHS/cat_paths_60_160_0003.txt.wcnf *** c c Min unsat cost LB: 608 ... c Min unsat cost LB: 1483 ... c Min unsat cost LB: 2192 ... c Min unsat cost LB: 3047 ... c Min unsat cost LB: 3706 ... c Min unsat cost LB: 3973 ... c Min unsat cost LB: 4649 ... c Min unsat cost LB: 5257 ... c Min unsat cost LB: 5514 ... c Min unsat cost LB: 6121 ... c Min unsat cost LB: 6320 ... c Min unsat cost LB: 6640 ... c Min unsat cost LB: 7503 ... c Min unsat cost LB: 7603 ... c Min unsat cost LB: 8210 ... c Min unsat cost LB: 8768 ... c Min unsat cost LB: 8770 ... c Min unsat cost LB: 9480 ... c Min unsat cost LB: 10139 ... c Min unsat cost LB: 10310 ... c Min unsat cost LB: 10598 ... c Min unsat cost LB: 11252 ... c Min unsat cost LB: 11357 ... c Min unsat cost LB: 11671 ... c Min unsat cost LB: 12587 ... c Min unsat cost LB: 12806 ... c Min unsat cost LB: 13653 ... c Min unsat cost LB: 13787 ... c Min unsat cost LB: 14107 ... c Min unsat cost LB: 14860 ... c Min unsat cost LB: 14999 ... c Min unsat cost LB: 15829 ... c Min unsat cost LB: 16536 ... c Min unsat cost LB: 16973 ... c Min unsat cost LB: 17860 ... c Min unsat cost LB: 17994 ... c Min unsat cost LB: 19129 ... c Min unsat cost LB: 19771 ... c Min unsat cost LB: 19849 ... c Min unsat cost LB: 20264 ... c Min unsat cost LB: 20774 ... c Min unsat cost LB: 21522 ... c Min unsat cost LB: 21973 ... c Min unsat cost LB: 22530 ... c Min unsat cost LB: 22778 ... c Min unsat cost LB: 23228 ... c Min unsat cost LB: 23721 ... c Min unsat cost LB: 24849 ... c Min unsat cost LB: 24914 ... c Min unsat cost LB: 25247 ... c Min unsat cost LB: 25883 ... c Min unsat cost LB: 26172 ... c Min unsat cost LB: 26663 ... c Min unsat cost LB: 26869 ... c Min unsat cost LB: 27528 ... c Min unsat cost LB: 27538 ... c Min unsat cost LB: 27575 ... c Min unsat cost LB: 28282 ... c Min unsat cost LB: 28579 ... c Min unsat cost LB: 28623 ... c Min unsat cost LB: 29245 ... c Min unsat cost LB: 29904 ... c Min unsat cost LB: 30157 ... c Min unsat cost LB: 30357 ... c Min unsat cost LB: 30631 ... c Min unsat cost LB: 31384 ... c Min unsat cost LB: 31393 ... c Min unsat cost LB: 32016 ... c Min unsat cost LB: 32786 ... c Min unsat cost LB: 33534 ... c Min unsat cost LB: 34225 ... c Min unsat cost LB: 34928 ... c Min unsat cost LB: 35275 ... c Min unsat cost LB: 35447 ... c Min unsat cost LB: 35574 ... c Min unsat cost LB: 35759 ... c Min unsat cost LB: 36212 ... c Min unsat cost LB: 36616 ... c Min unsat cost LB: 36875 ... c Min unsat cost LB: 37714 ... c Min unsat cost LB: 38405 ... c Min unsat cost LB: 39096 ... c Min unsat cost LB: 39673 ... c Min unsat cost LB: 40140 ... c Min unsat cost LB: 40189 ... c Min unsat cost LB: 40746 ... c Min unsat cost LB: 41019 ... c Min unsat cost LB: 41153 ... c Min unsat cost LB: 41439 ... c Min unsat cost LB: 41455 ... c Min unsat cost LB: 42071 ... c Min unsat cost LB: 42774 ... c Min unsat cost LB: 43627 ... c Min unsat cost LB: 43903 ... c Min unsat cost LB: 43915 ... c Min unsat cost LB: 44472 ... c Min unsat cost LB: 45113 ... c Min unsat cost LB: 45278 ... c Min unsat cost LB: 45723 ... c Min unsat cost LB: 45793 ... c Min unsat cost LB: 46312 ... c Min unsat cost LB: 46774 ... c Min unsat cost LB: 47074 ... c Min unsat cost LB: 47546 ... c Min unsat cost LB: 47996 ... c Min unsat cost LB: 48550 ... c Min unsat cost LB: 48734 ... c Min unsat cost LB: 49350 ... c Min unsat cost LB: 49626 ... c Min unsat cost LB: 49926 ... c Min unsat cost LB: 50566 ... c Min unsat cost LB: 51275 ... c Min unsat cost LB: 52128 ... c Min unsat cost LB: 52332 ... c Min unsat cost LB: 52674 ... c Min unsat cost LB: 53111 ... c Min unsat cost LB: 53175 ... c Min unsat cost LB: 53411 ... c Min unsat cost LB: 53475 ... c Min unsat cost LB: 53603 ... c Min unsat cost LB: 54083 ... c Min unsat cost LB: 54443 ... c Min unsat cost LB: 54880 ... c Min unsat cost LB: 54894 ... c Min unsat cost LB: 55332 ... c Min unsat cost LB: 55366 ... c Min unsat cost LB: 55571 ... c Min unsat cost LB: 55839 ... c Min unsat cost LB: 55941 ... c Min unsat cost LB: 56208 ... c Min unsat cost LB: 56848 ... c Min unsat cost LB: 57557 ... c Min unsat cost LB: 57857 ... c Min unsat cost LB: 58198 ... c Min unsat cost LB: 59166 ... c Min unsat cost LB: 59170 ... c Min unsat cost LB: 59171 ... c Min unsat cost LB: 59466 ... c Min unsat cost LB: 59729 ... c Min unsat cost LB: 59731 ... c Min unsat cost LB: 59820 ... c Min unsat cost LB: 60428 ... c Min unsat cost LB: 60627 ... c Min unsat cost LB: 60736 ... c Min unsat cost LB: 60920 ... c Min unsat cost LB: 60968 ... c Min unsat cost LB: 61002 ... c Min unsat cost LB: 61082 ... c Min unsat cost LB: 61230 ... c Min unsat cost LB: 61265 ... c Min unsat cost LB: 61308 ... c Min unsat cost LB: 61613 ... c Min unsat cost LB: 61662 ... c Min unsat cost LB: 61733 ... c Min unsat cost LB: 61742 ... c Min unsat cost LB: 61862 ... c Min unsat cost LB: 61883 ... c Min unsat cost LB: 61948 ... c Min unsat cost LB: 61951 ... c Min unsat cost LB: 62054 ... c Min unsat cost LB: 62078 ... c Min unsat cost LB: 62092 ... c Min unsat cost LB: 62292 ... c Min unsat cost LB: 62713 ... c Min unsat cost LB: 62733 ... c Min unsat cost LB: 62847 ... c Min unsat cost LB: 63001 ... c Min unsat cost LB: 63404 ... c Min unsat cost LB: 63427 ... c Min unsat cost LB: 63443 ... c Min unsat cost LB: 63452 ... c Min unsat cost LB: 63606 ... c Min unsat cost LB: 63740 ... c Min unsat cost LB: 63775 ... c Min unsat cost LB: 63801 ... c Min unsat cost LB: 63900 ... c Min unsat cost LB: 64006 ... c Min unsat cost LB: 64275 ... c Min unsat cost LB: 64459 ... c Min unsat cost LB: 64507 ... c Min unsat cost LB: 64529 ... c Min unsat cost LB: 64659 ... c Min unsat cost LB: 64764 ... c Min unsat cost LB: 64774 ... c Min unsat cost LB: 64836 ... c Min unsat cost LB: 64906 ... c Min unsat cost LB: 64916 ... c Min unsat cost LB: 64926 ... c Min unsat cost LB: 64984 ... c Min unsat cost LB: 65017 ... c Min unsat cost LB: 65202 ... c Min unsat cost LB: 65432 ... c Min unsat cost LB: 65494 ... c Min unsat cost LB: 65557 ... c Min unsat cost LB: 65705 ... c Min unsat cost LB: 66005 ... c Min unsat cost LB: 66260 ... c Min unsat cost LB: 66463 ... c Min unsat cost LB: 66497 ... c Min unsat cost LB: 66550 ... c Min unsat cost LB: 66565 ... c Min unsat cost LB: 66657 ... c Min unsat cost LB: 66681 ... c Min unsat cost LB: 66695 ... c Min unsat cost LB: 66729 ... c Min unsat cost LB: 66730 ... c Min unsat cost LB: 66819 ... c Min unsat cost LB: 66839 ... c Min unsat cost LB: 66840 ... c Min unsat cost LB: 66860 ... c Min unsat cost LB: 66875 ... c Min unsat cost LB: 66954 ... c Min unsat cost LB: 66960 ... c Min unsat cost LB: 67001 ... c Min unsat cost LB: 67152 ... c Min unsat cost LB: 67396 ... c Min unsat cost LB: 67403 ... c Min unsat cost LB: 67469 ... c Min unsat cost LB: 67641 ... c Min unsat cost LB: 67678 ... c Min unsat cost LB: 67755 ... c Min unsat cost LB: 67819 ... c Min unsat cost LB: 67939 ... c Min unsat cost LB: 68008 ... c Min unsat cost LB: 68102 ... c Min unsat cost LB: 68199 ... c Min unsat cost LB: 68227 ... c Min unsat cost LB: 68314 ... c Min unsat cost LB: 68414 ... c Min unsat cost LB: 68600 ... c Min unsat cost LB: 68612 ... c Min unsat cost LB: 68662 ... c Min unsat cost LB: 68721 ... c Min unsat cost LB: 68736 ... c Min unsat cost LB: 68750 ... c Min unsat cost LB: 68874 ... c Min unsat cost LB: 68960 ... c Min unsat cost LB: 69000 ... c Min unsat cost LB: 69002 ... c Min unsat cost LB: 69047 ... c Min unsat cost LB: 69314 ... c Min unsat cost LB: 69443 ... c Min unsat cost LB: 69483 ... c Min unsat cost LB: 69603 ... c Min unsat cost LB: 69658 ... c Min unsat cost LB: 69728 ... c Min unsat cost LB: 69808 ... c Min unsat cost LB: 69858 ... c Min unsat cost LB: 69903 ... c Min unsat cost LB: 69904 ... c Min unsat cost LB: 70051 ... c Min unsat cost LB: 70156 ... c Min unsat cost LB: 70213 ... c Min unsat cost LB: 70234 ... c Min unsat cost LB: 70437 ... c Min unsat cost LB: 70479 ... c Min unsat cost LB: 70481 ... c Min unsat cost LB: 70505 ... c Min unsat cost LB: 70540 ... c Min unsat cost LB: 70543 ... c Min unsat cost LB: 70567 ... c Min unsat cost LB: 70654 ... c Min unsat cost LB: 70677 ... c Min unsat cost LB: 70692 ... c Min unsat cost LB: 70768 ... c Min unsat cost LB: 70821 ... c Min unsat cost LB: 70833 ... c Min unsat cost LB: 70929 ... c Min unsat cost LB: 71024 ... c Min unsat cost LB: 71048 ... c Min unsat cost LB: 71109 ... c Min unsat cost LB: 71121 ... c Min unsat cost LB: 71213 ... c Min unsat cost LB: 71512 ... c Min unsat cost LB: 71531 ... c Min unsat cost LB: 71670 ... c Min unsat cost LB: 71737 ... c Min unsat cost LB: 71807 ... c Min unsat cost LB: 71854 ... c Min unsat cost LB: 71995 ... c Min unsat cost LB: 71998 ... c Min unsat cost LB: 72064 ... c Min unsat cost LB: 72167 ... c Min unsat cost LB: 72199 ... c Min unsat cost LB: 72206 ... c Min unsat cost LB: 72251 ... c Min unsat cost LB: 72315 ... c Min unsat cost LB: 72386 ... c Min unsat cost LB: 72587 ... c Min unsat cost LB: 72676 ... c Min unsat cost LB: 72678 ... c Min unsat cost LB: 72802 ... c Min unsat cost LB: 72806 ... c Min unsat cost LB: 72822 ... c Min unsat cost LB: 72823 ... c Min unsat cost LB: 72829 ... c Min unsat cost LB: 72849 ... c Min unsat cost LB: 72866 ... c Min unsat cost LB: 72870 ... c Min unsat cost LB: 72880 ... c Min unsat cost LB: 72895 ... c Min unsat cost LB: 72915 ... c Min unsat cost LB: 72924 ... c Min unsat cost LB: 72949 ... c Min unsat cost LB: 72951 ... c Min unsat cost LB: 72969 ... c Min unsat cost LB: 72995 ... c Min unsat cost LB: 73038 ... c Min unsat cost LB: 73102 ... c Min unsat cost LB: 73124 ... c Min unsat cost LB: 73254 ... c Min unsat cost LB: 73334 ... c Min unsat cost LB: 73382 ... c Min unsat cost LB: 73402 ... c Min unsat cost LB: 73445 ... c Min unsat cost LB: 73451 ... c Min unsat cost LB: 73460 ... c Min unsat cost LB: 73472 ... c Min unsat cost LB: 73487 ... c Min unsat cost LB: 73524 ... c Min unsat cost LB: 73623 ... c Min unsat cost LB: 73660 ... c Min unsat cost LB: 73762 ... c Min unsat cost LB: 73788 ... c Min unsat cost LB: 73791 ... c Min unsat cost LB: 73797 ... c Min unsat cost LB: 73798 ... c Min unsat cost LB: 73851 ... c Min unsat cost LB: 73889 ... c Min unsat cost LB: 73949 ... c Min unsat cost LB: 73959 ... c Min unsat cost LB: 73984 ... c Min unsat cost LB: 74007 ... c Min unsat cost LB: 74014 ... c Min unsat cost LB: 74025 ... c Min unsat cost LB: 74050 ... c Min unsat cost LB: 74060 ... c Min unsat cost LB: 74073 ... c Min unsat cost LB: 74084 ... c Min unsat cost LB: 74104 ... c Min unsat cost LB: 74113 ... c Min unsat cost LB: 74125 ... c Min unsat cost LB: 74127 ... c Min unsat cost LB: 74153 ... c Min unsat cost LB: 74173 ... c Min unsat cost LB: 74183 ... c Min unsat cost LB: 74208 ... c Min unsat cost LB: 74209 ... c Min unsat cost LB: 74217 ... c Min unsat cost LB: 74225 ... c Min unsat cost LB: 74231 ... c Min unsat cost LB: 74255 ... c Min unsat cost LB: 74256 ... c Min unsat cost LB: 74261 ... c Min unsat cost LB: 74265 ... c Min unsat cost LB: 74284 ... c Min unsat cost LB: 74309 ... c Min unsat cost LB: 74319 ... c Min unsat cost LB: 74324 ... c Min unsat cost LB: 74333 ... c Min unsat cost LB: 74343 ... c Min unsat cost LB: 74366 ... c Min unsat cost LB: 74381 ... c Min unsat cost LB: 74391 ... c Min unsat cost LB: 74396 ... c Min unsat cost LB: 74406 ... c Min unsat cost LB: 74420 ... c Min unsat cost LB: 74425 ... c Min unsat cost LB: 74440 ... c Min unsat cost LB: 74441 ... c Min unsat cost LB: 74443 ... c Min unsat cost LB: 74448 ... c Min unsat cost LB: 74449 ... c Min unsat cost LB: 74458 ... c Min unsat cost LB: 74473 ... c Min unsat cost LB: 74482 ... c Min unsat cost LB: 74487 ... c Min unsat cost LB: 74489 ... c Min unsat cost LB: 74493 ... c Min unsat cost LB: 74498 ... c Min unsat cost LB: 74503 ... c Min unsat cost LB: 74506 ... c Min unsat cost LB: 74509 ... c Min unsat cost LB: 74512 ... c Min unsat cost LB: 74515 ... c Min unsat cost LB: 74521 ... c Min unsat cost LB: 74539 ... c Min unsat cost LB: 74540 ... c Min unsat cost LB: 74549 ... c Min unsat cost LB: 74550 ... c Min unsat cost LB: 74563 ... c Min unsat cost LB: 74576 ... c Min unsat cost LB: 74587 ... c Min unsat cost LB: 74648 ... c Min unsat cost LB: 74653 ... c Min unsat cost LB: 74654 ... c Min unsat cost LB: 74663 ... c Min unsat cost LB: 74669 ... c Min unsat cost LB: 74679 ... c Min unsat cost LB: 74713 ... c Min unsat cost LB: 74714 ... c Min unsat cost LB: 74720 ... c Min unsat cost LB: 74727 ... c Min unsat cost LB: 74742 ... c Min unsat cost LB: 74753 ... c Min unsat cost LB: 74765 ... c Min unsat cost LB: 74766 ... c Min unsat cost LB: 74920 ... c Min unsat cost LB: 74922 ... c Min unsat cost LB: 74925 ... c Min unsat cost LB: 74933 ... c Min unsat cost LB: 74935 ... c Min unsat cost LB: 74959 ... c Min unsat cost LB: 74972 ... c Min unsat cost LB: 74982 ... c Min unsat cost LB: 75002 ... c Min unsat cost LB: 75006 ... c Min unsat cost LB: 75016 ... c Min unsat cost LB: 75048 ... c Min unsat cost LB: 75051 ... c Min unsat cost LB: 75058 ... c Min unsat cost LB: 75065 ... c Min unsat cost LB: 75079 ... c Min unsat cost LB: 75080 ... c Min unsat cost LB: 75082 ... c Min unsat cost LB: 75094 ... c Min unsat cost LB: 75114 ... c Min unsat cost LB: 75117 ... c Min unsat cost LB: 75120 ... c Min unsat cost LB: 75123 ... c Min unsat cost LB: 75124 ... c Min unsat cost LB: 75126 ... c Min unsat cost LB: 75129 ... c Min unsat cost LB: 75131 ... c Min unsat cost LB: 75132 ... c Min unsat cost LB: 75134 ... c Min unsat cost LB: 75140 ... c Min unsat cost LB: 75143 ... c Min unsat cost LB: 75147 ... c Min unsat cost LB: 75153 ... c Min unsat cost LB: 75160 ... c Min unsat cost LB: 75203 ... c Min unsat cost LB: 75220 ... c Min unsat cost LB: 75227 ... c Min unsat cost LB: 75230 ... c Min unsat cost LB: 75239 ... c Min unsat cost LB: 75241 ... c Min unsat cost LB: 75257 ... c Min unsat cost LB: 75262 ... c Min unsat cost LB: 75298 ... c Min unsat cost LB: 75361 ... c Min unsat cost LB: 75388 ... c Min unsat cost LB: 75398 ... c Min unsat cost LB: 75404 ... c Min unsat cost LB: 75408 ... c Min unsat cost LB: 75414 ... c Min unsat cost LB: 75448 ... c Min unsat cost LB: 75450 ... c Min unsat cost LB: 75453 ... c Min unsat cost LB: 75458 ... c Min unsat cost LB: 75461 ... c Min unsat cost LB: 75464 ... c Min unsat cost LB: 75473 ... c Min unsat cost LB: 75474 ... c Min unsat cost LB: 75478 ... c Min unsat cost LB: 75480 ... c Min unsat cost LB: 75502 ... c Min unsat cost LB: 75515 ... c Min unsat cost LB: 75518 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75525 ... c Min unsat cost LB: 75530 ... c Min unsat cost LB: 75535 ... c Min unsat cost LB: 75536 ... c Min unsat cost LB: 75542 ... c Min unsat cost LB: 75550 ... c Min unsat cost LB: 75555 ... c Min unsat cost LB: 75559 ... c Min unsat cost LB: 75561 ... c Min unsat cost LB: 75562 ... c Min unsat cost LB: 75564 ... c Min unsat cost LB: 75584 ... c Min unsat cost LB: 75590 ... c Min unsat cost LB: 75591 ... c Min unsat cost LB: 75595 ... c Min unsat cost LB: 75601 ... c Min unsat cost LB: 75606 ... c Min unsat cost LB: 75631 ... c Min unsat cost LB: 75633 ... c Min unsat cost LB: 75635 ... c Min unsat cost LB: 75639 ... c Min unsat cost LB: 75640 ... c Min unsat cost LB: 75669 ... c Min unsat cost LB: 75681 ... c Min unsat cost LB: 75688 ... c Min unsat cost LB: 75693 ... c Min unsat cost LB: 75696 ... c Min unsat cost LB: 75699 ... c Min unsat cost LB: 75702 ... c Min unsat cost LB: 75711 ... c Min unsat cost LB: 75721 ... c Min unsat cost LB: 75724 ... c Min unsat cost LB: 75725 ... c Min unsat cost LB: 75762 ... c Min unsat cost LB: 75763 ... c Min unsat cost LB: 75764 ... c Min unsat cost LB: 75765 ... c Min unsat cost LB: 75769 ... c Min unsat cost LB: 75792 ... c Min unsat cost LB: 75797 ... c Min unsat cost LB: 75798 ... c Min unsat cost LB: 75801 ... c Min unsat cost LB: 75805 ... c Min unsat cost LB: 75806 ... c Min unsat cost LB: 75807 ... c Min unsat cost LB: 75810 ... c Min unsat cost LB: 75833 ... c Min unsat cost LB: 75837 ... c Min unsat cost LB: 75843 ... c Min unsat cost LB: 75844 ... c Min unsat cost LB: 75847 ... c Min unsat cost LB: 75849 ... c Min unsat cost LB: 75873 ... c Min unsat cost LB: 75928 ... c Min unsat cost LB: 75930 ... c Min unsat cost LB: 75938 ... c Min unsat cost LB: 75939 ... c Min unsat cost LB: 75941 ... c Min unsat cost LB: 75942 ... c Min unsat cost LB: 75945 ... c Min unsat cost LB: 75946 ... c Min unsat cost LB: 75952 ... c Min unsat cost LB: 75955 ... c Min unsat cost LB: 75957 ... c Min unsat cost LB: 75964 ... c Min unsat cost LB: 75965 ... c Min unsat cost LB: 75967 ... c Min unsat cost LB: 75974 ... c Min unsat cost LB: 75990 ... c Min unsat cost LB: 76001 ... c Min unsat cost LB: 76003 ... c Min unsat cost LB: 76005 ... c Min unsat cost LB: 76010 ... c Min unsat cost LB: 76011 ... c Min unsat cost LB: 76014 ... c Min unsat cost LB: 76015 ... c Min unsat cost LB: 76016 ... c Min unsat cost LB: 76017 ... c Min unsat cost LB: 76018 ... c Min unsat cost LB: 76020 ... c Min unsat cost LB: 76021 ... c Min unsat cost LB: 76022 ... c Min unsat cost LB: 76023 ... c Min unsat cost LB: 76024 ... c Min unsat cost LB: 76026 ... c Min unsat cost LB: 76033 ... c Min unsat cost LB: 76034 ... c Min unsat cost LB: 76065 ... c Min unsat cost LB: 76068 ... c Min unsat cost LB: 76070 ... c Min unsat cost LB: 76072 ... c Min unsat cost LB: 76098 ... c Min unsat cost LB: 76120 ... c Min unsat cost LB: 76125 ... c Min unsat cost LB: 76128 ... c Min unsat cost LB: 76149 ... c Min unsat cost LB: 76167 ... c Min unsat cost LB: 76170 ... c Min unsat cost LB: 76199 ... c Min unsat cost LB: 76209 ... c Min unsat cost LB: 76235 ... c Min unsat cost LB: 76240 ... c Min unsat cost LB: 76242 ... c Min unsat cost LB: 76245 ... c Min unsat cost LB: 76256 ... c Min unsat cost LB: 76261 ... c Min unsat cost LB: 76264 ... c Min unsat cost LB: 76267 ... c Min unsat cost LB: 76268 ... c Min unsat cost LB: 76277 ... c Min unsat cost LB: 76280 ... c Min unsat cost LB: 76282 ... c Min unsat cost LB: 76301 ... c Min unsat cost LB: 76307 ... c Min unsat cost LB: 76325 ... c Min unsat cost LB: 76337 ... c Min unsat cost LB: 76338 ... c Min unsat cost LB: 76340 ... c Min unsat cost LB: 76343 ... c Min unsat cost LB: 76344 ... c Min unsat cost LB: 76345 ... c Min unsat cost LB: 76346 ... c Min unsat cost LB: 76351 ... c Min unsat cost LB: 76353 ... c Min unsat cost LB: 76354 ... c Min unsat cost LB: 76355 ... c Min unsat cost LB: 76363 ... c Min unsat cost LB: 76365 ... c Min unsat cost LB: 76373 ... c Min unsat cost LB: 76374 ... c Min unsat cost LB: 76380 ... c Min unsat cost LB: 76381 ... c Min unsat cost LB: 76384 ... c Min unsat cost LB: 76390 ... c Min unsat cost LB: 76392 ... c Min unsat cost LB: 76395 ... c Min unsat cost LB: 76396 ... c Min unsat cost LB: 76397 ... c Min unsat cost LB: 76405 ... c Min unsat cost LB: 76418 ... c Min unsat cost LB: 76426 ... c Min unsat cost LB: 76431 ... c Min unsat cost LB: 76433 ... c Min unsat cost LB: 76442 ... c Min unsat cost LB: 76452 ... c Min unsat cost LB: 76454 ... c Min unsat cost LB: 76455 ... c Min unsat cost LB: 76458 ... c Min unsat cost LB: 76459 ... c Min unsat cost LB: 76460 ... c Min unsat cost LB: 76461 ... c Min unsat cost LB: 76462 ... c Min unsat cost LB: 76464 ... c Min unsat cost LB: 76465 ... c Min unsat cost LB: 76466 ... c Min unsat cost LB: 76467 ... c Min unsat cost LB: 76468 ... c Min unsat cost LB: 76469 ... c Min unsat cost LB: 76470 ... c Min unsat cost LB: 76474 ... c Min unsat cost LB: 76475 ... c Min unsat cost LB: 76482 ... c Min unsat cost LB: 76483 ... c Min unsat cost LB: 76497 ... c Min unsat cost LB: 76523 ... c Min unsat cost LB: 76524 ... c Min unsat cost LB: 76530 ... c Min unsat cost LB: 76535 ... c Min unsat cost LB: 76536 ... c Min unsat cost LB: 76537 ... c Min unsat cost LB: 76538 ... c Min unsat cost LB: 76542 ... c Min unsat cost LB: 76543 ... c Min unsat cost LB: 76547 ... c Min unsat cost LB: 76548 ... c Min unsat cost LB: 76561 ... c Min unsat cost LB: 76562 ... c Min unsat cost LB: 76563 ... c Min unsat cost LB: 76569 ... c Min unsat cost LB: 76570 ... c Min unsat cost LB: 76571 ... c Min unsat cost LB: 76572 ... c Min unsat cost LB: 76573 ... c Min unsat cost LB: 76574 ... c Min unsat cost LB: 76575 ... c Min unsat cost LB: 76594 ... c Min unsat cost LB: 76595 ... c Min unsat cost LB: 76597 ... c Min unsat cost LB: 76598 ... c Min unsat cost LB: 76599 ... c Min unsat cost LB: 76600 ... c Min unsat cost LB: 76605 ... c Min unsat cost LB: 76606 ... c Min unsat cost LB: 76607 ... c Min unsat cost LB: 76608 ... c Min unsat cost LB: 76609 ... c Min unsat cost LB: 76610 ... c Min unsat cost LB: 76611 ... c Min unsat cost LB: 76612 ... c Min unsat cost LB: 76613 ... c Min unsat cost LB: 76614 ... c Min unsat cost LB: 76615 ... c Min unsat cost LB: 76616 ... c Min unsat cost LB: 76633 ... c Min unsat cost LB: 76638 ... c Min unsat cost LB: 76641 ... c Min unsat cost LB: 76644 ... c Min unsat cost LB: 76645 ... c Min unsat cost LB: 76648 ... c Min unsat cost LB: 76650 ... c Min unsat cost LB: 76654 ... c Min unsat cost LB: 76656 ... c Min unsat cost LB: 76668 ... c Min unsat cost LB: 76678 ... c Min unsat cost LB: 76679 ... c Min unsat cost LB: 76683 ... c Min unsat cost LB: 76686 ... c Min unsat cost LB: 76687 ... c Min unsat cost LB: 76689 ... c Min unsat cost LB: 76690 ... c Min unsat cost LB: 76697 ... c Min unsat cost LB: 76700 ... c Min unsat cost LB: 76709 ... c Min unsat cost LB: 76710 ... c Min unsat cost LB: 76711 ... c Min unsat cost LB: 76713 ... c Min unsat cost LB: 76716 ... c Min unsat cost LB: 76717 ... c Min unsat cost LB: 76719 ... c Min unsat cost LB: 76729 ... c Min unsat cost LB: 76730 ... c Min unsat cost LB: 76731 ... c Min unsat cost LB: 76732 ... c Min unsat cost LB: 76733 ... c Min unsat cost LB: 76738 ... c Min unsat cost LB: 76739 ... c Min unsat cost LB: 76740 ... c Min unsat cost LB: 76742 ... c Min unsat cost LB: 76746 ... c Min unsat cost LB: 76750 ... c Min unsat cost LB: 76751 ... c Min unsat cost LB: 76753 ... c Min unsat cost LB: 76755 ... c Min unsat cost LB: 76756 ... c Min unsat cost LB: 76757 ... c Min unsat cost LB: 76772 ... c Min unsat cost LB: 76773 ... c Min unsat cost LB: 76774 ... c Min unsat cost LB: 76776 ... c Min unsat cost LB: 76782 ... c Min unsat cost LB: 76783 ... c Min unsat cost LB: 76785 ... c Min unsat cost LB: 76786 ... c Min unsat cost LB: 76788 ... c Min unsat cost LB: 76790 ... c Min unsat cost LB: 76791 ... c Min unsat cost LB: 76792 ... c Min unsat cost LB: 76793 ... c Min unsat cost LB: 76794 ... c Min unsat cost LB: 76797 ... c Min unsat cost LB: 76798 ... c Min unsat cost LB: 76799 ... c Min unsat cost LB: 76800 ... c Min unsat cost LB: 76803 ... c Min unsat cost LB: 76804 ... c Min unsat cost LB: 76805 ... c Min unsat cost LB: 76819 ... c Min unsat cost LB: 76824 ... c Min unsat cost LB: 76825 ... c Min unsat cost LB: 76829 ... c Min unsat cost LB: 76830 ... c Min unsat cost LB: 76831 ... c Min unsat cost LB: 76832 ... c Min unsat cost LB: 76833 ... c Min unsat cost LB: 76836 ... c Min unsat cost LB: 76837 ... c Min unsat cost LB: 76838 ... c Min unsat cost LB: 76839 ... c Min unsat cost LB: 76841 ... c Min unsat cost LB: 76843 ... c Min unsat cost LB: 76844 ... c Min unsat cost LB: 76849 ... c Min unsat cost LB: 76850 ... c Min unsat cost LB: 76857 ... c Min unsat cost LB: 76858 ... c Min unsat cost LB: 76861 ... c Min unsat cost LB: 76862 ... c Min unsat cost LB: 76865 ... c Min unsat cost LB: 76874 ... c Min unsat cost LB: 76875 ... c Min unsat cost LB: 76876 ... c Min unsat cost LB: 76877 ... c Min unsat cost LB: 76879 ... c Min unsat cost LB: 76880 ... c Min unsat cost LB: 76883 ... c Min unsat cost LB: 76885 ... c Min unsat cost LB: 76887 ... c Min unsat cost LB: 76889 ... c Min unsat cost LB: 76890 ... c Min unsat cost LB: 76891 ... c Min unsat cost LB: 76892 ... c Min unsat cost LB: 76893 ... c Min unsat cost LB: 76895 ... c Min unsat cost LB: 76896 ... c Min unsat cost LB: 76941 ... c Min unsat cost LB: 76942 ... c Min unsat cost LB: 76943 ... c Min unsat cost LB: 76944 ... c Min unsat cost LB: 76945 ... c Min unsat cost LB: 76946 ... c Min unsat cost LB: 76947 ... c Min unsat cost LB: 76948 ... c Min unsat cost LB: 76949 ... c Min unsat cost LB: 76950 ... c Min unsat cost LB: 76951 ... c Min unsat cost LB: 76952 ... c Min unsat cost LB: 76953 ... c Min unsat cost LB: 76954 ... c Min unsat cost LB: 76955 ... c Min unsat cost LB: 76956 ... c Min unsat cost LB: 76957 ... c Min unsat cost LB: 76958 ... c Min unsat cost LB: 76959 ... c Min unsat cost LB: 76960 ... c Min unsat cost LB: 76961 ... c Min unsat cost LB: 76962 ... c Min unsat cost LB: 76963 ... c Min unsat cost LB: 76964 ... c Min unsat cost LB: 76965 ... c Min unsat cost LB: 76966 ... c Min unsat cost LB: 76967 ... c Min unsat cost LB: 76968 ... c Min unsat cost LB: 76969 ... c Min unsat cost LB: 76970 ... c Min unsat cost LB: 76973 ... c Min unsat cost LB: 76974 ... c Min unsat cost LB: 76975 ... c Min unsat cost LB: 76976 ... c Min unsat cost LB: 76977 ... c Min unsat cost LB: 76978 ... c Min unsat cost LB: 76979 ... c Min unsat cost LB: 76980 ... c Min unsat cost LB: 76981 ... c Min unsat cost LB: 76982 ... c Min unsat cost LB: 76983 ... c Min unsat cost LB: 76984 ... c Min unsat cost LB: 76985 ... c Min unsat cost LB: 76986 ... c Min unsat cost LB: 76987 ... c Min unsat cost LB: 76988 ... c Min unsat cost LB: 76989 ... c Min unsat cost LB: 76990 ... c Min unsat cost LB: 76993 ... c Min unsat cost LB: 77001 ... c Min unsat cost LB: 77003 ... c Min unsat cost LB: 77008 ... c Min unsat cost LB: 77009 ... c Min unsat cost LB: 77010 ... c Min unsat cost LB: 77014 ... c Min unsat cost LB: 77015 ... c Min unsat cost LB: 77016 ... c Min unsat cost LB: 77020 ... c Min unsat cost LB: 77024 ... c Min unsat cost LB: 77026 ... c Min unsat cost LB: 77027 ... c Min unsat cost LB: 77028 ... c Min unsat cost LB: 77030 ... c Min unsat cost LB: 77037 ... c Min unsat cost LB: 77044 ... c Min unsat cost LB: 77053 ... c Min unsat cost LB: 77054 ... c Min unsat cost LB: 77055 ... c Min unsat cost LB: 77056 ... c Min unsat cost LB: 77057 ... c Min unsat cost LB: 77058 ... c Min unsat cost LB: 77059 ... c Min unsat cost LB: 77061 ... c Min unsat cost LB: 77074 ... c Min unsat cost LB: 77081 ... c Min unsat cost LB: 77083 ... c Min unsat cost LB: 77085 ... c Min unsat cost LB: 77086 ... c Min unsat cost LB: 77087 ... c Min unsat cost LB: 77088 ... c Min unsat cost LB: 77089 ... c Min unsat cost LB: 77092 ... c Min unsat cost LB: 77093 ... c Min unsat cost LB: 77094 ... c Min unsat cost LB: 77097 ... c Min unsat cost LB: 77099 ... c Min unsat cost LB: 77100 ... c Min unsat cost LB: 77103 ... c Min unsat cost LB: 77104 ... c Min unsat cost LB: 77106 ... c Min unsat cost LB: 77107 ... c Min unsat cost LB: 77110 ... c Min unsat cost LB: 77112 ... c Min unsat cost LB: 77113 ... c Min unsat cost LB: 77114 ... c Min unsat cost LB: 77115 ... c Min unsat cost LB: 77116 ... c Min unsat cost LB: 77117 ... c Min unsat cost LB: 77118 ... c Min unsat cost LB: 77121 ... c Min unsat cost LB: 77122 ... c Min unsat cost LB: 77123 ... c Min unsat cost LB: 77124 ... c Min unsat cost LB: 77127 ... c Min unsat cost LB: 77128 ... c Min unsat cost LB: 77131 ... c Min unsat cost LB: 77144 ... c Min unsat cost LB: 77145 ... c Min unsat cost LB: 77153 ... c Min unsat cost LB: 77154 ... c Min unsat cost LB: 77155 ... c Min unsat cost LB: 77159 ... c Min unsat cost LB: 77160 ... c Min unsat cost LB: 77165 ... c Min unsat cost LB: 77322 ... c Min unsat cost LB: 77325 ... c Min unsat cost LB: 77326 ... c Min unsat cost LB: 77327 ... c Min unsat cost LB: 77328 ... c Min unsat cost LB: 77329 ... c Min unsat cost LB: 77331 ... c Min unsat cost LB: 77333 ... c Min unsat cost LB: 77334 ... c Min unsat cost LB: 77335 ... c Min unsat cost LB: 77336 ... c Min unsat cost LB: 77337 ... c Min unsat cost LB: 77338 ... c Min unsat cost LB: 77339 ... c Min unsat cost LB: 77340 ... c Min unsat cost LB: 77341 ... c Min unsat cost LB: 77342 ... c Min unsat cost LB: 77343 ... c Min unsat cost LB: 77344 ... c Min unsat cost LB: 77345 ... c Min unsat cost LB: 77346 ... c Min unsat cost LB: 77347 ... c Min unsat cost LB: 77348 ... c Min unsat cost LB: 77352 ... c Min unsat cost LB: 77353 ... c Min unsat cost LB: 77354 ... c Min unsat cost LB: 77355 ... c Min unsat cost LB: 77356 ... c Min unsat cost LB: 77358 ... c Min unsat cost LB: 77359 ... c Min unsat cost LB: 77361 ... c Min unsat cost LB: 77363 ... c Min unsat cost LB: 77364 ... c Min unsat cost LB: 77365 ... c Min unsat cost LB: 77366 ... c Min unsat cost LB: 77367 ... c Min unsat cost LB: 77368 ... c Min unsat cost LB: 77369 ... c Min unsat cost LB: 77370 ... c Min unsat cost LB: 77371 ... c Min unsat cost LB: 77372 ... c Min unsat cost LB: 77382 ... c Min unsat cost LB: 77383 ... c Min unsat cost LB: 77384 ... c Min unsat cost LB: 77385 ... c Min unsat cost LB: 77386 ... c Min unsat cost LB: 77387 ... c Min unsat cost LB: 77398 ... c Min unsat cost LB: 77402 ... c Min unsat cost LB: 77424 ... c Min unsat cost LB: 77425 ... c Min unsat cost LB: 77426 ... c Min unsat cost LB: 77448 ... c Min unsat cost LB: 77461 ... c Min unsat cost LB: 77462 ... c Min unsat cost LB: 77463 ... c Min unsat cost LB: 77464 ... c Min unsat cost LB: 77573 ... c Min unsat cost LB: 77574 ... c Min unsat cost LB: 77575 ... c Min unsat cost LB: 77576 ... c Min unsat cost LB: 77577 ... c Min unsat cost LB: 77578 ... c Min unsat cost LB: 77579 ... c Min unsat cost LB: 77580 ... c Min unsat cost LB: 77581 ... c Min unsat cost LB: 77582 ... c Min unsat cost LB: 77583 ... c Min unsat cost LB: 77584 ... c Min unsat cost LB: 77587 ... c Min unsat cost LB: 77588 ... c Min unsat cost LB: 77589 ... c Min unsat cost LB: 77590 ... c Min unsat cost LB: 77591 ... c Min unsat cost LB: 77592 ... c Min unsat cost LB: 77594 ... c Min unsat cost LB: 77608 ... c Min unsat cost LB: 77609 ... c Min unsat cost LB: 77610 ... c Min unsat cost LB: 77611 ... c Min unsat cost LB: 77612 ... c Min unsat cost LB: 77613 ... c Min unsat cost LB: 77614 ... c Min unsat cost LB: 77615 ... c Min unsat cost LB: 77616 ... c Min unsat cost LB: 77617 ... c Min unsat cost LB: 77618 ... c Min unsat cost LB: 77619 ... c Min unsat cost LB: 77620 ... c Min unsat cost LB: 77621 ... c Min unsat cost LB: 77622 ... c Min unsat cost LB: 77623 ... c Min unsat cost LB: 77624 ... c Min unsat cost LB: 77626 ... c Min unsat cost LB: 77627 ... c Min unsat cost LB: 77628 ... c Min unsat cost LB: 77629 ... c Min unsat cost LB: 77630 ... c Min unsat cost LB: 77631 ... c Min unsat cost LB: 77632 ... c Min unsat cost LB: 77634 ... c Min unsat cost LB: 77636 ... c Min unsat cost LB: 77639 ... c Min unsat cost LB: 77640 ... c Min unsat cost LB: 77641 ... c Min unsat cost LB: 77642 ... c Min unsat cost LB: 77645 ... c Min unsat cost LB: 77646 ... c Min unsat cost LB: 77647 ... c Min unsat cost LB: 77648 ... c Min unsat cost LB: 77649 ... c Min unsat cost LB: 77650 ... c Min unsat cost LB: 77651 ... c Min unsat cost LB: 77652 ... c Min unsat cost LB: 77653 ... c Min unsat cost LB: 77654 ... c Min unsat cost LB: 77655 ... c Min unsat cost LB: 77656 ... c Min unsat cost LB: 77657 ... c Min unsat cost LB: 77658 ... c Min unsat cost LB: 77659 ... c Min unsat cost LB: 77660 ... c Min unsat cost LB: 77661 ... c Min unsat cost LB: 77662 ... c Min unsat cost LB: 77663 ... c Min unsat cost LB: 77664 ... c Min unsat cost LB: 77665 ... c Min unsat cost LB: 77666 ... c Min unsat cost LB: 77667 ... c Min unsat cost LB: 77668 ... c Min unsat cost LB: 77669 ... c Min unsat cost LB: 77670 ... c Min unsat cost LB: 77671 ... c Min unsat cost LB: 77672 ... c Min unsat cost LB: 77673 ... c Min unsat cost LB: 77674 ... c Min unsat cost LBKilled 1815.087u 4.651s 30:19.98 99.9% 0+0k 0+0io 7pf+0w