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_120_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0005.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_120_0005.txt.wcnf *** c c Min unsat cost LB: 117 ... c Min unsat cost LB: 234 ... c Min unsat cost LB: 351 ... c Min unsat cost LB: 2619 ... c Min unsat cost LB: 4887 ... c Min unsat cost LB: 7155 ... c Min unsat cost LB: 9423 ... c Min unsat cost LB: 9540 ... c Min unsat cost LB: 9657 ... c Min unsat cost LB: 9774 ... c Min unsat cost LB: 9891 ... c Min unsat cost LB: 12159 ... c Min unsat cost LB: 12276 ... c Min unsat cost LB: 12393 ... c Min unsat cost LB: 12510 ... c Min unsat cost LB: 12627 ... c Min unsat cost LB: 14895 ... c Min unsat cost LB: 17163 ... c Min unsat cost LB: 18581 ... c Min unsat cost LB: 19009 ... c Min unsat cost LB: 21277 ... c Min unsat cost LB: 22445 ... c Min unsat cost LB: 23123 ... c Min unsat cost LB: 25274 ... c Min unsat cost LB: 27120 ... c Min unsat cost LB: 29388 ... c Min unsat cost LB: 29505 ... c Min unsat cost LB: 29622 ... c Min unsat cost LB: 30540 ... c Min unsat cost LB: 30657 ... c Min unsat cost LB: 30774 ... c Min unsat cost LB: 31196 ... c Min unsat cost LB: 33042 ... c Min unsat cost LB: 33159 ... c Min unsat cost LB: 33464 ... c Min unsat cost LB: 33581 ... c Min unsat cost LB: 35005 ... c Min unsat cost LB: 35317 ... c Min unsat cost LB: 37163 ... c Min unsat cost LB: 37475 ... c Min unsat cost LB: 39321 ... c Min unsat cost LB: 41589 ... c Min unsat cost LB: 43435 ... c Min unsat cost LB: 43747 ... c Min unsat cost LB: 44052 ... c Min unsat cost LB: 45593 ... c Min unsat cost LB: 46521 ... c Min unsat cost LB: 47248 ... c Min unsat cost LB: 48367 ... c Min unsat cost LB: 48679 ... c Min unsat cost LB: 50525 ... c Min unsat cost LB: 50837 ... c Min unsat cost LB: 51986 ... c Min unsat cost LB: 52683 ... c Min unsat cost LB: 52800 ... c Min unsat cost LB: 53112 ... c Min unsat cost LB: 54683 ... c Min unsat cost LB: 54958 ... c Min unsat cost LB: 55075 ... c Min unsat cost LB: 55192 ... c Min unsat cost LB: 55309 ... c Min unsat cost LB: 55456 ... c Min unsat cost LB: 57155 ... c Min unsat cost LB: 57753 ... c Min unsat cost LB: 58205 ... c Min unsat cost LB: 59599 ... c Min unsat cost LB: 59716 ... c Min unsat cost LB: 59833 ... c Min unsat cost LB: 60707 ... c Min unsat cost LB: 60824 ... c Min unsat cost LB: 61796 ... c Min unsat cost LB: 61913 ... c Min unsat cost LB: 62030 ... c Min unsat cost LB: 62147 ... c Min unsat cost LB: 63269 ... c Min unsat cost LB: 63386 ... c Min unsat cost LB: 65232 ... c Min unsat cost LB: 65310 ... c Min unsat cost LB: 65505 ... c Min unsat cost LB: 66376 ... c Min unsat cost LB: 66423 ... c Min unsat cost LB: 66493 ... c Min unsat cost LB: 66610 ... c Min unsat cost LB: 68339 ... c Min unsat cost LB: 70185 ... c Min unsat cost LB: 70302 ... c Min unsat cost LB: 71954 ... c Min unsat cost LB: 72071 ... c Min unsat cost LB: 72265 ... c Min unsat cost LB: 72382 ... c Min unsat cost LB: 72499 ... c Min unsat cost LB: 72616 ... c Min unsat cost LB: 72733 ... c Min unsat cost LB: 72850 ... c Min unsat cost LB: 74392 ... c Min unsat cost LB: 74587 ... c Min unsat cost LB: 74899 ... c Min unsat cost LB: 75211 ... c Min unsat cost LB: 75328 ... c Min unsat cost LB: 75445 ... c Min unsat cost LB: 75562 ... c Min unsat cost LB: 75679 ... c Min unsat cost LB: 75796 ... c Min unsat cost LB: 76660 ... c Min unsat cost LB: 76777 ... c Min unsat cost LB: 76894 ... c Min unsat cost LB: 77011 ... c Min unsat cost LB: 77128 ... c Min unsat cost LB: 77245 ... c Min unsat cost LB: 77362 ... c Min unsat cost LB: 77479 ... c Min unsat cost LB: 77526 ... c Min unsat cost LB: 77596 ... c Min unsat cost LB: 77674 ... c Min unsat cost LB: 77791 ... c Min unsat cost LB: 78096 ... c Min unsat cost LB: 78188 ... c Min unsat cost LB: 78305 ... c Min unsat cost LB: 78312 ... c Min unsat cost LB: 78337 ... c Min unsat cost LB: 78454 ... c Min unsat cost LB: 78532 ... c Min unsat cost LB: 78649 ... c Min unsat cost LB: 78688 ... c Min unsat cost LB: 78993 ... c Min unsat cost LB: 79566 ... c Min unsat cost LB: 79683 ... c Min unsat cost LB: 80573 ... c Min unsat cost LB: 80690 ... c Min unsat cost LB: 80814 ... c Min unsat cost LB: 81933 ... c Min unsat cost LB: 82426 ... c Min unsat cost LB: 82543 ... c Min unsat cost LB: 82660 ... c Min unsat cost LB: 82990 ... c Min unsat cost LB: 84155 ... c Min unsat cost LB: 85141 ... c Min unsat cost LB: 85304 ... c Min unsat cost LB: 85767 ... c Min unsat cost LB: 87026 ... c Min unsat cost LB: 87613 ... c Min unsat cost LB: 88267 ... c Min unsat cost LB: 88337 ... c Min unsat cost LB: 89908 ... c Min unsat cost LB: 90025 ... c Min unsat cost LB: 91677 ... c Min unsat cost LB: 91754 ... c Min unsat cost LB: 93095 ... c Min unsat cost LB: 93329 ... c Min unsat cost LB: 93368 ... c Min unsat cost LB: 93370 ... c Min unsat cost LB: 93446 ... c Min unsat cost LB: 93476 ... c Min unsat cost LB: 94173 ... c Min unsat cost LB: 94290 ... c Min unsat cost LB: 94331 ... c Min unsat cost LB: 94561 ... c Min unsat cost LB: 94866 ... c Min unsat cost LB: 94870 ... c Min unsat cost LB: 94987 ... c Min unsat cost LB: 95104 ... c Min unsat cost LB: 95216 ... c Min unsat cost LB: 96915 ... c Min unsat cost LB: 96920 ... c Min unsat cost LB: 97062 ... c Min unsat cost LB: 97101 ... c Min unsat cost LB: 97179 ... c Min unsat cost LB: 97718 ... c Min unsat cost LB: 98151 ... c Min unsat cost LB: 98480 ... c Min unsat cost LB: 98527 ... c Min unsat cost LB: 98566 ... c Min unsat cost LB: 98683 ... c Min unsat cost LB: 98878 ... c Min unsat cost LB: 99190 ... c Min unsat cost LB: 99441 ... c Min unsat cost LB: 99449 ... c Min unsat cost LB: 99602 ... c Min unsat cost LB: 99714 ... c Min unsat cost LB: 100026 ... c Min unsat cost LB: 100097 ... c Min unsat cost LB: 100338 ... c Min unsat cost LB: 100455 ... c Min unsat cost LB: 100572 ... c Min unsat cost LB: 101189 ... c Min unsat cost LB: 102060 ... c Min unsat cost LB: 102110 ... c Min unsat cost LB: 102227 ... c Min unsat cost LB: 102253 ... c Min unsat cost LB: 102316 ... c Min unsat cost LB: 102320 ... c Min unsat cost LB: 102407 ... c Min unsat cost LB: 102437 ... c Min unsat cost LB: 102524 ... c Min unsat cost LB: 102554 ... c Min unsat cost LB: 102607 ... c Min unsat cost LB: 102630 ... c Min unsat cost LB: 102934 ... c Min unsat cost LB: 103228 ... c Min unsat cost LB: 103697 ... c Min unsat cost LB: 104580 ... c Min unsat cost LB: 104697 ... c Min unsat cost LB: 104887 ... c Min unsat cost LB: 105469 ... c Min unsat cost LB: 106235 ... c Min unsat cost LB: 106810 ... c Min unsat cost LB: 107004 ... c Min unsat cost LB: 107121 ... c Min unsat cost LB: 107198 ... c Min unsat cost LB: 107690 ... c Min unsat cost LB: 107767 ... c Min unsat cost LB: 107810 ... c Min unsat cost LB: 107818 ... c Min unsat cost LB: 107930 ... c Min unsat cost LB: 108001 ... c Min unsat cost LB: 108081 ... c Min unsat cost LB: 108085 ... c Min unsat cost LB: 108111 ... c Min unsat cost LB: 108152 ... c Min unsat cost LB: 108481 ... c Min unsat cost LB: 108598 ... c Min unsat cost LB: 109026 ... c Min unsat cost LB: 109436 ... c Min unsat cost LB: 109847 ... c Min unsat cost LB: 109886 ... c Min unsat cost LB: 110003 ... c Min unsat cost LB: 110176 ... c Min unsat cost LB: 110525 ... c Min unsat cost LB: 110572 ... c Min unsat cost LB: 110595 ... c Min unsat cost LB: 110712 ... c Min unsat cost LB: 110790 ... c Min unsat cost LB: 110830 ... c Min unsat cost LB: 110835 ... c Min unsat cost LB: 110977 ... c Min unsat cost LB: 111212 ... c Min unsat cost LB: 111330 ... c Min unsat cost LB: 111440 ... c Min unsat cost LB: 111528 ... c Min unsat cost LB: 111530 ... c Min unsat cost LB: 111545 ... c Min unsat cost LB: 111567 ... c Min unsat cost LB: 111637 ... c Min unsat cost LB: 111647 ... c Min unsat cost LB: 111764 ... c Min unsat cost LB: 112257 ... c Min unsat cost LB: 112264 ... c Min unsat cost LB: 112310 ... c Min unsat cost LB: 112427 ... c Min unsat cost LB: 112615 ... c Min unsat cost LB: 112803 ... c Min unsat cost LB: 112819 ... c Min unsat cost LB: 112982 ... c Min unsat cost LB: 113244 ... c Min unsat cost LB: 113548 ... c Min unsat cost LB: 113574 ... c Min unsat cost LB: 113835 ... c Min unsat cost LB: 114023 ... c Min unsat cost LB: 114211 ... c Min unsat cost LB: 114438 ... c Min unsat cost LB: 114477 ... c Min unsat cost LB: 114489 ... c Min unsat cost LB: 114516 ... c Min unsat cost LB: 114541 ... c Min unsat cost LB: 114555 ... c Min unsat cost LB: 114679 ... c Min unsat cost LB: 114841 ... c Min unsat cost LB: 114958 ... c Min unsat cost LB: 115050 ... c Min unsat cost LB: 115075 ... c Min unsat cost LB: 115076 ... c Min unsat cost LB: 115192 ... c Min unsat cost LB: 115193 ... c Min unsat cost LB: 115238 ... c Min unsat cost LB: 115309 ... c Min unsat cost LB: 115355 ... c Min unsat cost LB: 115472 ... c Min unsat cost LB: 115504 ... c Min unsat cost LB: 115550 ... c Min unsat cost LB: 115589 ... c Min unsat cost LB: 115605 ... c Min unsat cost LB: 115635 ... c Min unsat cost LB: 115752 ... c Min unsat cost LB: 115757 ... c Min unsat cost LB: 115894 ... c Min unsat cost LB: 115934 ... c Min unsat cost LB: 116051 ... c Min unsat cost LB: 116076 ... c Min unsat cost LB: 116087 ... c Min unsat cost LB: 116204 ... c Min unsat cost LB: 116219 ... c Min unsat cost LB: 116221 ... c Min unsat cost LB: 116223 ... c Min unsat cost LB: 116226 ... c Min unsat cost LB: 116234 ... c Min unsat cost LB: 116236 ... c Min unsat cost LB: 116265 ... c Min unsat cost LB: 116274 ... c Min unsat cost LB: 116391 ... c Min unsat cost LB: 116399 ... c Min unsat cost LB: 116479 ... c Min unsat cost LB: 116508 ... c Min unsat cost LB: 116534 ... c Min unsat cost LB: 116544 ... c Min unsat cost LB: 116560 ... c Min unsat cost LB: 116568 ... c Min unsat cost LB: 116576 ... c Min unsat cost LB: 116584 ... c Min unsat cost LB: 116664 ... c Min unsat cost LB: 116680 ... c Min unsat cost LB: 116755 ... c Min unsat cost LB: 116760 ... c Min unsat cost LB: 116771 ... c Min unsat cost LB: 116787 ... c Min unsat cost LB: 116795 ... c Min unsat cost LB: 116800 ... c Min unsat cost LB: 116802 ... c Min unsat cost LB: 116811 ... c Min unsat cost LB: 116818 ... c Min unsat cost LB: 116837 ... c Min unsat cost LB: 116844 ... c Min unsat cost LB: 116855 ... c Min unsat cost LB: 116860 ... c Min unsat cost LB: 116861 ... c Min unsat cost LB: 116869 ... c Min unsat cost LB: 116873 ... c Min unsat cost LB: 116885 ... c Min unsat cost LB: 116895 ... c Min unsat cost LB: 116901 ... c Min unsat cost LB: 116904 ... c Min unsat cost LB: 116911 ... c Min unsat cost LB: 116918 ... c Min unsat cost LB: 116934 ... c Min unsat cost LB: 116973 ... c Min unsat cost LB: 116982 ... c Min unsat cost LB: 116990 ... c Min unsat cost LB: 116993 ... c Min unsat cost LB: 116995 ... c Min unsat cost LB: 116998 ... c Min unsat cost LB: 117006 ... c Min unsat cost LB: 117008 ... c Min unsat cost LB: 117015 ... c Min unsat cost LB: 117054 ... c Min unsat cost LB: 117055 ... c Min unsat cost LB: 117069 ... c Min unsat cost LB: 117094 ... c Min unsat cost LB: 117095 ... c Min unsat cost LB: 117101 ... c Min unsat cost LB: 117102 ... c Min unsat cost LB: 117123 ... c Min unsat cost LB: 117132 ... c Min unsat cost LB: 117141 ... c Min unsat cost LB: 117143 ... c Min unsat cost LB: 117146 ... c Min unsat cost LB: 117161 ... c Min unsat cost LB: 117164 ... c Min unsat cost LB: 117169 ... c Min unsat cost LB: 117171 ... c Min unsat cost LB: 117214 ... c Min unsat cost LB: 117217 ... c Min unsat cost LB: 117249 ... c Min unsat cost LB: 117289 ... c Min unsat cost LB: 117290 ... c Min unsat cost LB: 117291 ... c Min unsat cost LB: 117292 ... c Min unsat cost LB: 117293 ... c Min unsat cost LB: 117329 ... c Min unsat cost LB: 117330 ... c Min unsat cost LB: 117331 ... c Min unsat cost LB: 117334 ... c Min unsat cost LB: 117372 ... c Min unsat cost LB: 117404 ... c Min unsat cost LB: 117424 ... c Min unsat cost LB: 117440 ... c Min unsat cost LB: 117443 ... c Min unsat cost LB: 117448 ... c Min unsat cost LB: 117458 ... c Min unsat cost LB: 117470 ... c Min unsat cost LB: 117475 ... c Min unsat cost LB: 117487 ... c Min unsat cost LB: 117504 ... c Min unsat cost LB: 117505 ... c Min unsat cost LB: 117506 ... c Min unsat cost LB: 117507 ... c Min unsat cost LB: 117508 ... c Min unsat cost LB: 117512 ... c Min unsat cost LB: 117513 ... c Min unsat cost LB: 117516 ... c Min unsat cost LB: 117517 ... c Min unsat cost LB: 117518 ... c Min unsat cost LB: 117519 ... c Min unsat cost LB: 117525 ... c Min unsat cost LB: 117527 ... c Min unsat cost LB: 117530 ... c Min unsat cost LB: 117538 ... c Min unsat cost LB: 117542 ... c Min unsat cost LB: 117543 ... c Min unsat cost LB: 117544 ... c Min unsat cost LB: 117545 ... c Min unsat cost LB: 117559 ... c Min unsat cost LB: 117561 ... c Min unsat cost LB: 117562 ... c Min unsat cost LB: 117563 ... c Min unsat cost LB: 117564 ... c Min unsat cost LB: 117565 ... c Min unsat cost LB: 117566 ... c Min unsat cost LB: 117567 ... c Min unsat cost LB: 117568 ... c Min unsat cost LB: 117569 ... c Min unsat cost LB: 117570 ... c Min unsat cost LB: 117571 ... c Min unsat cost LB: 117572 ... c Min unsat cost LB: 117573 ... c Min unsat cost LB: 117574 ... c Min unsat cost LB: 117575 ... c Min unsat cost LB: 117576 ... c Min unsat cost LB: 117577 ... c Min unsat cost LB: 117579 ... c Min unsat cost LB: 117585 ... c Min unsat cost LB: 117592 ... c Min unsat cost LB: 117598 ... c Min unsat cost LB: 117605 ... c Min unsat cost LB: 117641 ... c Min unsat cost LB: 117646 ... c Min unsat cost LB: 117647 ... c Min unsat cost LB: 117648 ... c Min unsat cost LB: 117651 ... c Min unsat cost LB: 117652 ... c Min unsat cost LB: 117654 ... c Min unsat cost LB: 117657 ... c Min unsat cost LB: 117660 ... c Min unsat cost LB: 117667 ... c Min unsat cost LB: 117671 ... c Min unsat cost LB: 117672 ... c Min unsat cost LB: 117674 ... c Min unsat cost LB: 117675 ... c Min unsat cost LB: 117676 ... c Min unsat cost LB: 117677 ... c Min unsat cost LB: 117678 ... c Min unsat cost LB: 117679 ... c Min unsat cost LB: 117680 ... c Min unsat cost LB: 117681 ... c Min unsat cost LB: 117682 ... c Min unsat cost LB: 117683 ... c Min unsat cost LB: 117686 ... c Min unsat cost LB: 117687 ... c Min unsat cost LB: 117688 ... c Min unsat cost LB: 117689 ... c Min unsat cost LB: 117690 ... c Min unsat cost LB: 117691 ... c Min unsat cost LB: 117692 ... c Min unsat cost LB: 117694 ... c Min unsat cost LB: 117696 ... c Min unsat cost LB: 117697 ... c Min unsat cost LB: 117698 ... c Min unsat cost LB: 117699 ... c Min unsat cost LB: 117700 ... c Min unsat cost LB: 117701 ... c Min unsat cost LB: 117702 ... c Min unsat cost LB: 117703 ... c Min unsat cost LB: 117704 ... c Min unsat cost LB: 117705 ... c Min unsat cost LB: 117706 ... c Min unsat cost LB: 117707 ... c Min unsat cost LB: 117708 ... c Min unsat cost LB: 117709 ... c Min unsat cost LB: 117710 ... c Min unsat cost LB: 117711 ... c Min unsat cost LB: 117712 ... c Min unsat cost LB: 117713 ... c Min unsat cost LB: 117714 ... c Min unsat cost LB: 117715 ... c Min unsat cost LB: 117716 ... c Min unsat cost LB: 117718 ... c Min unsat cost LB: 117722 ... c Min unsat cost LB: 117782 ... c Min unsat cost LB: 117810 ... c Min unsat cost LB: 117848 ... c Min unsat cost LB: 117853 ... c Min unsat cost LB: 117854 ... c Min unsat cost LB: 117861 ... c Min unsat cost LB: 117863 ... c Min unsat cost LB: 117873 ... c Min unsat cost LB: 117905 ... c Min unsat cost LB: 117906 ... c Min unsat cost LB: 117907 ... c Min unsat cost LB: 117937 ... c Min unsat cost LB: 118015 ... c Min unsat cost LB: 118023 ... c Min unsat cost LB: 118076 ... c Min unsat cost LB: 118248 ... c Min unsat cost LB: 118256 ... c Min unsat cost LB: 118321 ... c Min unsat cost LB: 118322 ... c Min unsat cost LB: 118331 ... c Min unsat cost LB: 118335 ... c Min unsat cost LB: 118341 ... c Min unsat cost LB: 118342 ... c Min unsat cost LB: 118345 ... c Min unsat cost LB: 118347 ... c Min unsat cost LB: 118348 ... c Min unsat cost LB: 118353 ... c Min unsat cost LB: 118355 ... c Min unsat cost LB: 118356 ... c Min unsat cost LB: 118357 ... c Min unsat cost LB: 118360 ... c Min unsat cost LB: 118363 ... c Min unsat cost LB: 118366 ... c Min unsat cost LB: 118378 ... c Min unsat cost LB: 118385 ... c Min unsat cost LB: 118386 ... c Min unsat cost LB: 118387 ... c Min unsat cost LB: 118395 ... c Min unsat cost LB: 118398 ... c Min unsat cost LB: 118399 ... c Min unsat cost LB: 118400 ... c Min unsat cost LB: 118401 ... c Min unsat cost LB: 118403 ... c Min unsat cost LB: 118404 ... c Min unsat cost LB: 118405 ... c Min unsat cost LB: 118406 ... c Min unsat cost LB: 118409 ... c Min unsat cost LB: 118413 ... c Min unsat cost LB: 118414 ... c Min unsat cost LB: 118440 ... c Min unsat cost LB: 118444 ... c Min unsat cost LB: 118501 ... c Min unsat cost LB: 118524 ... c Min unsat cost LB: 118554 ... c Min unsat cost LB: 118558 ... c Min unsat cost LB: 118575 ... c Min unsat cost LB: 118736 ... c Min unsat cost LB: 118737 ... c Min unsat cost LB: 118738 ... c Min unsat cost LB: 118778 ... c Min unsat cost LB: 118788 ... c Min unsat cost LB: 118796 ... c Min unsat cost LB: 118801 ... c Min unsat cost LB: 118814 ... c Min unsat cost LB: 118841 ... c Min unsat cost LB: 118845 ... c Min unsat cost LB: 118851 ... c Min unsat cost LB: 118861 ... c Min unsat cost LB: 118864 ... c Min unsat cost LB: 118882 ... c Min unsat cost LB: 118923 ... c Min unsat cost LB: 118948 ... c Min unsat cost LB: 118965 ... c Min unsat cost LB: 118969 ... c Min unsat cost LB: 118976 ... c Min unsat cost LB: 118983 ... c Min unsat cost LB: 118986 ... c Min unsat cost LB: 118989 ... c Min unsat cost LB: 118992 ... c Min unsat cost LB: 118995 ... c Min unsat cost LB: 118997 ... c Min unsat cost LB: 119013 ... c Min unsat cost LB: 119014 ... c Min unsat cost LB: 119015 ... c Min unsat cost LB: 119016 ... c Min unsat cost LB: 119024 ... c Min unsat cost LB: 119028 ... c Min unsat cost LB: 119036 ... c Min unsat cost LB: 119037 ... c Min unsat cost LB: 119040 ... c Min unsat cost LB: 119041 ... c Min unsat cost LB: 119042 ... c Min unsat cost LB: 119043 ... c Min unsat cost LB: 119044 ... c Min unsat cost LB: 119045 ... c Min unsat cost LB: 119046 ... c Min unsat cost LB: 119047 ... c Min unsat cost LB: 119048 ... c Min unsat cost LB: 119052 ... c Min unsat cost LB: 119053 ... c Min unsat cost LB: 119054 ... c Min unsat cost LB: 119056 ... c Min unsat cost LB: 119057 ... c Min unsat cost LB: 119058 ... c Min unsat cost LB: 119070 ... c Min unsat cost LB: 119071 ... c Min unsat cost LB: 119072 ... c Min unsat cost LB: 119073 ... c Min unsat cost LB: 119076 ... c Min unsat cost LB: 119077 ... c Min unsat cost LB: 119078 ... c Min unsat cost LB: 119079 ... c Min unsat cost LB: 119080 ... c Min unsat cost LB: 119082 ... c Min unsat cost LB: 119083 ... c Min unsat cost LB: 119085 ... c Min unsat cost LB: 119086 ... c Min unsat cost LB: 119087 ... c Min unsat cost LB: 119088 ... c Min unsat cost LB: 119089 ... c Min unsat cost LB: 119090 ... c Min unsat cost LB: 119091 ... c Min unsat cost LB: 119092 ... c Min unsat cost LB: 119093 ... c Min unsat cost LB: 119094 ... c Min unsat cost LB: 119095 ... c Min unsat cost LB: 119096 ... c Min unsat cost LB: 119097 ... c Min unsat cost LB: 119105 ... c Min unsat cost LB: 119106 ... c Min unsat cost LB: 119109 ... c Min unsat cost LB: 119110 ... c Min unsat cost LB: 119111 ... c Min unsat cost LB: 119118 ... c Min unsat cost LB: 119120 ... c Min unsat cost LB: 119121 ... c Min unsat cost LB: 119122 ... c Min unsat cost LB: 119123 ... c Min unsat cost LB: 119124 ... c Min unsat cost LB: 119125 ... c Min unsat cost LB: 119126 ... c Min unsat cost LB: 119127 ... c Min unsat cost LB: 119128 ... c Min unsat cost LB: 119131 ... c Min unsat cost LB: 119132 ... c Min unsat cost LB: 119133 ... c Min unsat cost LB: 119134 ... c Min unsat cost LB: 119135 ... c Min unsat cost LB: 119158 ... c Min unsat cost LB: 119162 ... c Min unsat cost LB: 119172 ... c Min unsat cost LB: 119174 ... c Min unsat cost LB: 119175 ... c Min unsat cost LB: 119180 ... c Min unsat cost LB: 119182 ... c Min unsat cost LB: 119209 ... c Min unsat cost LB: 119210 ... c Min unsat cost LB: 119211 ... c Min unsat cost LB: 119212 ... c Min unsat cost LB: 119213 ... c Min unsat cost LB: 119216 ... c Min unsat cost LB: 119217 ... c Min unsat cost LB: 119218 ... c Min unsat cost LB: 119326 ... c Min unsat cost LB: 119350 ... c Min unsat cost LB: 119494 ... c Min unsat cost LB: 119753 ... c Min unsat cost LB: 119758 ... c Min unsat cost LB: 119760 ... c Min unsat cost LB: 119763 ... c Min unsat cost LB: 119792 ... c Min unsat cost LB: 119798 ... c Min unsat cost LB: 119799 ... c Min unsat cost LB: 119804 ... c Min unsat cost LB: 119807 ... c Min unsat cost LB: 119809 ... c Min unsat cost LB: 119811 ... c Min unsat cost LB: 119816 ... c Min unsat cost LB: 119827 ... c Min unsat cost LB: 119836 ... c Min unsat cost LB: 119842 ... c Min unsat cost LB: 119876 ... c Min unsat cost LB: 119879 ... c Min unsat cost LB: 119881 ... c Min unsat cost LB: 119883 ... c Min unsat cost LB: 119884 ... c Min unsat cost LB: 119888 ... c Min unsat cost LB: 119891 ... c Min unsat cost LB: 119922 ... c Min unsat cost LB: 119949 ... c Min unsat cost LB: 119981 ... c Min unsat cost LB: 119994 ... c Min unsat cost LB: 120063 ... c Min unsat cost LB: 120066 ... c Min unsat cost LB: 120069 ... c Min unsat cost LB: 120072 ... c Min unsat cost LB: 120074 ... c Min unsat cost LB: 120075 ... c Min unsat cost LB: 120076 ... c Min unsat cost LB: 120088 ... c Min unsat cost LB: 120099 ... c Min unsat cost LB: 120138 ... c Min unsat cost LB: 120495 ... c Min unsat cost LB: 120499 ... c Min unsat cost LB: 120515 ... c Min unsat cost LB: 120541 ... c Min unsat cost LB: 120598 ... c Min unsat cost LB: 120600 ... c Min unsat cost LB: 120602 ... c Min unsat cost LB: 120606 ... c Min unsat cost LB: 120608 ... c Min unsat cost LB: 120610 ... c Min unsat cost LB: 120611 ... c Min unsat cost LB: 120612 ... c Min unsat cost LB: 120613 ... c Min unsat cost LB: 120614 ... c Min unsat cost LB: 120621 ... c Min unsat cost LB: 120622 ... c Min unsat cost LB: 120623 ... c Min unsat cost LB: 120625 ... c Min unsat cost LB: 120626 ... c Min unsat cost LB: 120695 ... c Min unsat cost LB: 120696 ... c Min unsat cost LB: 120697 ... c Min unsat cost LB: 120698 ... c Min unsat cost LB: 120699 ... c Min unsat cost LB: 120700 ... c Min unsat cost LB: 120701 ... c Min unsat cost LB: 120702 ... c Min unsat cost LB: 120703 ... c Min unsat cost LB: 120704 ... c Min unsat cost LB: 120705 ... c Min unsat cost LB: 120706 ... c Min unsat cost LB: 120707 ... c Min unsat cost LB: 120708 ... c Min unsat cost LB: 120709 ... c Min unsat cost LB: 120710 ... c Min unsat cost LB: 120711 ... c Min unsat cost LB: 120712 ... c Min unsat cost LB: 120713 ... c Min unsat cost LB: 120714 ... c Min unsat cost LB: 120719 ... c Min unsat cost LB: 120720 ... c Min unsat cost LB: 120721 ... c Min unsat cost LB: 120722 ... c Min unsat cost LB: 120723 ... c Min unsat cost LB: 120724 ... c Min unsat cost LB: 120725 ... c Min unsat cost LB: 120726 ... c Min unsat cost LB: 120727 ... c Min unsat cost LB: 120728 ... c Min unsat cost LB: 120729 ... c Min unsat cost LB: 120730 ... c Min unsat cost LB: 120731 ... c Min unsat cost LB: 120732 ... c Min unsat cost LB: 120733 ... c Min unsat cost LB: 120734 ... c Min unsat cost LB: 120735 ... c Min unsat cost LB: 120736 ... c Min unsat cost LB: 120737 ... c Min unsat cost LB: 120738 ... c Min unsat cost LB: 120739 ... c Min unsat cost LB: 120741 ... c Min unsat cost LB: 120742 ... c Min unsat cost LB: 120743 ... c Min unsat cost LB: 120744 ... c Min unsat cost LB: 120745 ... c Min unsat cost LB: 120746 ... c Min unsat cost LB: 120747 ... c Min unsat cost LB: 120748 ... c Min unsat cost LB: 120749 ... c Min unsat cost LB: 120750 ... c Min unsat cost LB: 120751 ... c Min unsat cost LB: 120752 ... c Min unsat cost LB: 120753 ... c Min unsat cost LB: 120754 ... c Min unsat cost LB: 120755 ... c Min unsat cost LB: 120756 ... c Min unsat cost LB: 120757 ... c Min unsat cost LB: 120759 ... c Min unsat cost LB: 120760 ... c Min unsat cost LB: 120761 ... c Min unsat cost LB: 120763 ... c Min unsat cost LB: 120764 ... c Min unsat cost LB: 120765 ... c Min unsat cost LB: 120766 ... c Min unsat cost LB: 120768 ... c Min unsat cost LB: 120770 ... c Min unsat cost LB: 120771 ... c Min unsat cost LB: 120773 ... c Min unsat cost LB: 120774 ... c Min unsat cost LB: 120775 ... c Min unsat cost LB: 120776 ... c Min unsat cost LB: 120777 ... c Min unsat cost LB: 120780 ... c Min unsat cost LB: 120782 ... c Min unsat cost LB: 120783 ... c Min unsat cost LB: 120784 ... c Min unsat cost LB: 120785 ... c Min unsat cost LB: 120786 ... c Min unsat cost LB: 120787 ... c Min unsat cost LB: 120788 ... c Min unsat cost LB: 120789 ... c Min unsat cost LB: 120790 ... c Min unsat cost LB: 120791 ... c Min unsat cost LB: 120792 ... c Min unsat cost LB: 120793 ... c Min unsat cost LB: 120794 ... c Min unsat cost LB: 120795 ... c Min unsat cost LB: 120796 ... c Min unsat cost LB: 120797 ... c Min unsat cost LB: 120798 ... c Min unsat cost LB: 120799 ... c Min unsat cost LB: 120800 ... c Min unsat cost LB: 120801 ... c Min unsat cost LB: 120802 ... c Min unsat cost LB: 120803 ... c Min unsat cost LB: 120804 ... c Min unsat cost LB: 120805 ... c Min unsat cost LB: 120806 ... c Min unsat cost LB: 120807 ... c Min unsat cost LB: 120808 ... c Min unsat cost LB: 120809 ... c Min unsat cost LB: 120810 ... c Min unsat cost LB: 120811 ... c Min unsat cost LB: 120812 ... c Min unsat cost LB: 120813 ... c Min unsat cost LB: 120814 ... c Min unsat cost LB: 120815 ... c Min unsat cost LB: 120816 ... c Min unsat cost LB: 120817 ... c Min unsat cost LB: 120818 ... c Min unsat cost LB: 120819 ... c Min unsat cost LB: 120820 ... c Min unsat cost LB: 120821 ... c Min unsat cost LB: 120822 ... c Min unsat cost LB: 120823 ... c Min unsat cost LB: 120824 ... c Min unsat cost LB: 120825 ... c Min unsat cost LB: 120826 ... c Min unsat cost LB: 120827 ... c Min unsat cost LB: 120828 ... c Min unsat cost LB: 120829 ... c Min unsat cost LB: 120830 ... c Min unsat cost LB: 120831 ... c Min unsat cost LB: 120832 ... c Min unsat cost LB: 120833 ... c Min unsat cost LB: 120834 ... c Min unsat cost LB: 120837 ... c Min unsat cost LB: 120839 ... c Min unsat cost LB: 120844 ... c Min unsat cost LB: 120845 ... c Min unsat cost LB: 120846 ... c Min unsat cost LB: 120847 ... c Min unsat cost LB: 120849 ... c Min unsat cost LB: 120850 ... c Min unsat cost LB: 120851 ... c Min unsat cost LB: 120852 ... c Min unsat cost LB: 120853 ... c Min unsat cost LB: 120862 ... c Min unsat cost LB: 120863 ... c Min unsat cost LB: 120864 ... c Min unsat cost LB: 120865 ... c Min unsat cost LB: 120866 ... c Min unsat cost LB: 120867 ... c Min unsat cost LB: 120868 ... c Min unsat cost LB: 120869 ... c Min unsat cost LB: 120870 ... c Min unsat cost LB: 120871 ... c Min unsat cost LB: 120872 ... c Min unsat cost LB: 120873 ... c Min unsat cost LB: 120874 ... c Min unsat cost LB: 120875 ... c Min unsat cost LB: 120876 ... c Min unsat cost LB: 120877 ... c Min unsat cost LB: 120878 ... c Min unsat cost LB: 120879 ... c Min unsat cost LB: 120880 ... c Min unsat cost LB: 120881 ... c Min unsat cost LB: 120882 ... c Min unsat cost LB: 120883 ... c Min unsat cost LB: 120884 ... c Min unsat cost LB: 120885 ... c Min unsat cost LB: 120886 ... c Min unsat cost LB: 120887 ... c Min unsat cost LB: 120888 ... c Min unsat cost LB: 120889 ... c Min unsat cost LB: 120890 ... c Min unsat cost LB: 120891 ... c Min unsat cost LB: 120892 ... c Min unsat cost LB: 120894 ... c Min unsat cost LB: 120895 ... c Min unsat cost LB: 120896 ... c Min unsat cost LB: 120897 ... c Min unsat cost LB: 120898 ... c Min unsat cost LB: 120899 ... c Min unsat cost LB: 120900 ... c Min unsat cost LB: 120901 ... c Min unsat cost LB: 120902 ... c Min unsat cost LB: 120903 ... c Min unsat cost LB: 120904 ... c Min unsat cost LB: 120905 ... c Min unsat cost LB: 120906 ... c Min unsat cost LB: 120907 ... c Min unsat cost LB: 120908 ... c Min unsat cost LB: 120909 ... c Min unsat cost LB: 120910 ... c Min unsat cost LB: 120911 ... c Min unsat cost LB: 120912 ... c Min unsat cost LB: 120913 ... c Min unsat cost LB: 120914 ... c Min unsat cost LB: 120915 ... c Min unsat cost LB: 120916 ... c Min unsat cost LB: 120918 ... c Min unsat cost LB: 120919 ... c Min unsat cost LB: 120920 ... c Min unsat cost LB: 120923 ... c Min unsat cost LB: 120924 ... c Min unsat cost LB: 120925 ... c Min unsat cost LB: 120926 ... c Min unsat cost LB: 120927 ... c Min unsat cost LB: 120928 ... c Min unsat cost LB: 120929 ... c Min unsat cost LB: 120930 ... c Min unsat cost LB: 120931 ... c Min unsat cost LB: 120932 ... c Min unsat cost LB: 120933 ... c Min unsat cost LB: 120934 ... c Min unsat cost LB: 120935 ... c Min unsat cost LB: 120936 ... c Min unsat cost LB: 120937 ... c Min unsat cost LB: 120938 ... c Min unsat cost LB: 120939 ... c Min unsat cost LB: 120940 ... c Min unsat cost LB: 120941 ... c Min unsat cost LB: 120942 ... c Min unsat cost LB: 120943 ... c Min unsat cost LB: 120944 ... c Min unsat cost LB: 120945 ... c Min unsat cost LB: 120946 ... c Min unsat cost LB: 120947 ... c Min unsat cost LB: 120948 ... c Min unsat cost LB: 120949 ... c Min unsat cost LB: 120950 ... c Min unsat cost LB: 120951 ... c Min unsat cost LB: 120952 ... c Min unsat cost LB: 120953 ... c Min unsat cost LB: 120954 ... c Min unsat cost LB: 120955 ... c Min unsat cost LB: 120956 ... c Min unsat cost LB: 120957 ... c Min unsat cost LB: 120958 ... c Min unsat cost LB: 120959 ... c Min unsat cost LB: 120960 ... c Min unsat cost LB: 120961 ... c Min unsat cost LB: 120962 ... c Min unsat cost LB: 120963 ... c Min unsat cost LB: 120964 ... c Min unsat cost LB: 120965 ... c Min unsat cost LB: 120966 ... c Min unsat cost LB: 120967 ... c Min unsat cost LB: 120968 ... c Min unsat cost LB: 120969 ... c Min unsat cost LB: 120972 ... c Min unsat cost LB: 120973 ... c Min unsat cost LB: 120974 ... c Min unsat cost LB: 120975 ... c Min unsat cost LB: 120976 ... c Min unsat cost LB: 120977 ... c Min unsat cost LB: 120978 ... c Min unsat cost LB: 120979 ... c Min unsat cost LB: 120980 ... c Min unsat cost LB: 120981 ... c Min unsat cost LB: 121016 ... c Min unsat cost LB: 121017 ... c Min unsat cost LB: 121018 ... c Min unsat cost LB: 121019 ... c Min unsat cost LB: 121022 ... c Min unsat cost LB: 121023 ... c Min unsat cost LB: 121024 ... c Min unsat cost LB: 121025 ... c Min unsat cost LB: 121026 ... c Min unsat cost LB: 121027 ... c Min unsat cost LB: 121028 ... c Min unsat cost LB: 121030 ... c Min unsat cost LB: 121031 ... c Min unsat cost LB: 121032 ... c Min unsat cost LB: 121035 ... c Min unsat cost LB: 121036 ... c Min unsat cost LB: 121039 ... c Min unsat cost LB: 121040 ... c Min unsat cost LB: 121041 ... c Min unsat cost LB: 121044 ... c Min unsat cost LB: 121045 ... c Min unsat cost LB: 121047 ... c Min unsat cost LB: 121052 ... c Min unsat cost LB: 121053 ... c Min unsat cost LB: 121071 ... c Min unsat cost LB: 121072 ... c Min unsat cost LB: 121073 ... c Min unsat cost LB: 121074 ... c Min unsat cost LB: 121077 ... c Min unsat cost LB: 121078 ... c Min unsat cost LB: 121079 ... c Min unsat cost LB: 121080 ... c Min unsat cost LB: 121081 ... c Min unsat cost LB: 121082 ... c Min unsat cost LB: 121083 ... c Min unsat cost LB: 121088 ... c Min unsat cost LB: 121091 ... c Min unsat cost LB: 121092 ... c Min unsat cost LB: 121093 ... c Min unsat cost LB: 121096 ... c Min unsat cost LB: 121097 ... c Min unsat cost LB: 121098 ... c Min unsat cost LB: 121099 ... c Min unsat cost LB: 121104 ... c Min unsat cost LB: 121113 ... c Min unsat cost LB: 121114 ... c Min unsat cost LB: 121115 ... c Min unsat cost LB: 121116 ... c Min unsat cost LB: 121117 ... c Min unsat cost LB: 121118 ... c Min unsat cost LB: 121119Killed 1815.608u 4.129s 30:19.90 99.9% 0+0k 0+0io 0pf+0w