Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-280-1_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-8.net.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-8.net.wcnf *** c c Min unsat cost LB: 1528 ... c Min unsat cost LB: 2293 ... c Min unsat cost LB: 3013 ... c Min unsat cost LB: 4293 ... c Min unsat cost LB: 5400 ... c Min unsat cost LB: 6613 ... c Min unsat cost LB: 8252 ... c Min unsat cost LB: 9429 ... c Min unsat cost LB: 10343 ... c Min unsat cost LB: 11281 ... c Min unsat cost LB: 12257 ... c Min unsat cost LB: 13529 ... c Min unsat cost LB: 14144 ... c Min unsat cost LB: 15617 ... c Min unsat cost LB: 16614 ... c Min unsat cost LB: 17730 ... c Min unsat cost LB: 19357 ... c Min unsat cost LB: 20282 ... c Min unsat cost LB: 21333 ... c Min unsat cost LB: 21595 ... c Min unsat cost LB: 21921 ... c Min unsat cost LB: 23023 ... c Min unsat cost LB: 23634 ... c Min unsat cost LB: 23677 ... c Min unsat cost LB: 23940 ... c Min unsat cost LB: 23949 ... c Min unsat cost LB: 24165 ... c Min unsat cost LB: 24344 ... c Min unsat cost LB: 25037 ... c Min unsat cost LB: 26057 ... c Min unsat cost LB: 26096 ... c Min unsat cost LB: 27178 ... c Min unsat cost LB: 28144 ... c Min unsat cost LB: 29689 ... c Min unsat cost LB: 30463 ... c Min unsat cost LB: 32074 ... c Min unsat cost LB: 32330 ... c Min unsat cost LB: 32975 ... c Min unsat cost LB: 33435 ... c Min unsat cost LB: 33575 ... c Min unsat cost LB: 33982 ... c Min unsat cost LB: 35887 ... c Min unsat cost LB: 36028 ... c Min unsat cost LB: 37554 ... c Min unsat cost LB: 37997 ... c Min unsat cost LB: 38188 ... c Min unsat cost LB: 40344 ... c Min unsat cost LB: 41314 ... c Min unsat cost LB: 41821 ... c Min unsat cost LB: 43280 ... c Min unsat cost LB: 44745 ... c Min unsat cost LB: 44797 ... c Min unsat cost LB: 45263 ... c Min unsat cost LB: 46122 ... c Min unsat cost LB: 46897 ... c Min unsat cost LB: 47539 ... c Min unsat cost LB: 47963 ... c Min unsat cost LB: 48751 ... c Min unsat cost LB: 49044 ... c Min unsat cost LB: 49216 ... c Min unsat cost LB: 49232 ... c Min unsat cost LB: 49490 ... c Min unsat cost LB: 50884 ... c Min unsat cost LB: 51215 ... c Min unsat cost LB: 51580 ... c Min unsat cost LB: 52014 ... c Min unsat cost LB: 52065 ... c Min unsat cost LB: 52192 ... c Min unsat cost LB: 53023 ... c Min unsat cost LB: 53806 ... c Min unsat cost LB: 53853 ... c Min unsat cost LB: 54753 ... c Min unsat cost LB: 56057 ... c Min unsat cost LB: 56387 ... c Min unsat cost LB: 56895 ... c Min unsat cost LB: 57178 ... c Min unsat cost LB: 57439 ... c Min unsat cost LB: 57568 ... c Min unsat cost LB: 57733 ... c Min unsat cost LB: 57876 ... c Min unsat cost LB: 58237 ... c Min unsat cost LB: 58377 ... c Min unsat cost LB: 59459 ... c Min unsat cost LB: 59673 ... c Min unsat cost LB: 60413 ... c Min unsat cost LB: 60901 ... c Min unsat cost LB: 61257 ... c Min unsat cost LB: 61260 ... c Min unsat cost LB: 61801 ... c Min unsat cost LB: 61997 ... c Min unsat cost LB: 62284 ... c Min unsat cost LB: 62609 ... c Min unsat cost LB: 62836 ... c Min unsat cost LB: 62895 ... c Min unsat cost LB: 62904 ... c Min unsat cost LB: 62982 ... c Min unsat cost LB: 63028 ... c Min unsat cost LB: 63171 ... c Min unsat cost LB: 63252 ... c Min unsat cost LB: 64391 ... c Min unsat cost LB: 64564 ... c Min unsat cost LB: 64757 ... c Min unsat cost LB: 65241 ... c Min unsat cost LB: 65563 ... c Min unsat cost LB: 65605 ... c Min unsat cost LB: 65656 ... c Min unsat cost LB: 66349 ... c Min unsat cost LB: 66589 ... c Min unsat cost LB: 66691 ... c Min unsat cost LB: 67816 ... c Min unsat cost LB: 68205 ... c Min unsat cost LB: 68343 ... c Min unsat cost LB: 69842 ... c Min unsat cost LB: 69951 ... c Min unsat cost LB: 70069 ... c Min unsat cost LB: 70070 ... c Min unsat cost LB: 70373 ... c Min unsat cost LB: 70455 ... c Min unsat cost LB: 70510 ... c Min unsat cost LB: 70624 ... c Min unsat cost LB: 70895 ... c Min unsat cost LB: 70946 ... c Min unsat cost LB: 71104 ... c Min unsat cost LB: 71195 ... c Min unsat cost LB: 71933 ... c Min unsat cost LB: 72387 ... c Min unsat cost LB: 72652 ... c Min unsat cost LB: 72874 ... c Min unsat cost LB: 73026 ... c Min unsat cost LB: 73172 ... c Min unsat cost LB: 73711 ... c Min unsat cost LB: 73744 ... c Min unsat cost LB: 74067 ... c Min unsat cost LB: 74515 ... c Min unsat cost LB: 74629 ... c Min unsat cost LB: 74798 ... c Min unsat cost LB: 75243 ... c Min unsat cost LB: 76057 ... c Min unsat cost LB: 76058 ... c Min unsat cost LB: 76637 ... c Min unsat cost LB: 76814 ... c Min unsat cost LB: 77243 ... c Min unsat cost LB: 77937 ... c Min unsat cost LB: 78057 ... c Min unsat cost LB: 78411 ... c Min unsat cost LB: 78442 ... c Min unsat cost LB: 79151 ... c Min unsat cost LB: 79448 ... c Min unsat cost LB: 80821 ... c Min unsat cost LB: 80870 ... c Min unsat cost LB: 80892 ... c Min unsat cost LB: 81162 ... c Min unsat cost LB: 81987 ... c Min unsat cost LB: 82039 ... c Min unsat cost LB: 82643 ... c Min unsat cost LB: 83004 ... c Min unsat cost LB: 83152 ... c Min unsat cost LB: 83381 ... c Min unsat cost LB: 83549 ... c Min unsat cost LB: 83571 ... c Min unsat cost LB: 83913 ... c Min unsat cost LB: 84001 ... c Min unsat cost LB: 84107 ... c Min unsat cost LB: 85185 ... c Min unsat cost LB: 85306 ... c Min unsat cost LB: 86559 ... c Min unsat cost LB: 86855 ... c Min unsat cost LB: 88194 ... c Min unsat cost LB: 88215 ... c Min unsat cost LB: 88231 ... c Min unsat cost LB: 88251 ... c Min unsat cost LB: 88442 ... c Min unsat cost LB: 88740 ... c Min unsat cost LB: 89026 ... c Min unsat cost LB: 89371 ... c Min unsat cost LB: 90455 ... c Min unsat cost LB: 90539 ... c Min unsat cost LB: 90939 ... c Min unsat cost LB: 91082 ... c Min unsat cost LB: 91411 ... c Min unsat cost LB: 91543 ... c Min unsat cost LB: 91708 ... c Min unsat cost LB: 92207 ... c Min unsat cost LB: 92797 ... c Min unsat cost LB: 92907 ... c Min unsat cost LB: 94196 ... c Min unsat cost LB: 94269 ... c Min unsat cost LB: 94356 ... c Min unsat cost LB: 94787 ... c Min unsat cost LB: 94909 ... c Min unsat cost LB: 95156 ... c Min unsat cost LB: 95264 ... c Min unsat cost LB: 95549 ... c Min unsat cost LB: 96656 ... c Min unsat cost LB: 96737 ... c Min unsat cost LB: 96830 ... c Min unsat cost LB: 97114 ... c Min unsat cost LB: 97302 ... c Min unsat cost LB: 97864 ... c Min unsat cost LB: 97976 ... c Min unsat cost LB: 98425 ... c Min unsat cost LB: 98435 ... c Min unsat cost LB: 98952 ... c Min unsat cost LB: 99016 ... c Min unsat cost LB: 99679 ... c Min unsat cost LB: 99739 ... c Min unsat cost LB: 99837 ... c Min unsat cost LB: 100155 ... c Min unsat cost LB: 100284 ... c Min unsat cost LB: 100565 ... c Min unsat cost LB: 100999 ... c Min unsat cost LB: 101124 ... c Min unsat cost LB: 101239 ... c Min unsat cost LB: 101285 ... c Min unsat cost LB: 101365 ... c Min unsat cost LB: 101406 ... c Min unsat cost LB: 102459 ... c Min unsat cost LB: 102500 ... c Min unsat cost LB: 102782 ... c Min unsat cost LB: 102824 ... c Min unsat cost LB: 103018 ... c Min unsat cost LB: 103114 ... c Min unsat cost LB: 103715 ... c Min unsat cost LB: 103893 ... c Min unsat cost LB: 104120 ... c Min unsat cost LB: 104212 ... c Min unsat cost LB: 105158 ... c Min unsat cost LB: 105202 ... c Min unsat cost LB: 105207 ... c Min unsat cost LB: 105226 ... c Min unsat cost LB: 105236 ... c Min unsat cost LB: 105253 ... c Min unsat cost LB: 105305 ... c Min unsat cost LB: 105319 ... c Min unsat cost LB: 105342 ... c Min unsat cost LB: 105456 ... c Min unsat cost LB: 105913 ... c Min unsat cost LB: 106189 ... c Min unsat cost LB: 106673 ... c Min unsat cost LB: 107138 ... c Min unsat cost LB: 107202 ... c Min unsat cost LB: 107663 ... c Min unsat cost LB: 107912 ... c Min unsat cost LB: 108068 ... c Min unsat cost LB: 108270 ... c Min unsat cost LB: 108310 ... c Min unsat cost LB: 108702 ... c Min unsat cost LB: 109001 ... c Min unsat cost LB: 109234 ... c Min unsat cost LB: 110411 ... c Min unsat cost LB: 110530 ... c Min unsat cost LB: 111696 ... c Min unsat cost LB: 111730 ... c Min unsat cost LB: 112073 ... c Min unsat cost LB: 112507 ... c Min unsat cost LB: 112512 ... c Min unsat cost LB: 112548 ... c Min unsat cost LB: 112590 ... c Min unsat cost LB: 112607 ... c Min unsat cost LB: 112617 ... c Min unsat cost LB: 112621 ... c Min unsat cost LB: 112632 ... c Min unsat cost LB: 112636 ... c Min unsat cost LB: 112648 ... c Min unsat cost LB: 112899 ... c Min unsat cost LB: 113577 ... c Min unsat cost LB: 114675 ... c Min unsat cost LB: 114782 ... c Min unsat cost LB: 115089 ... c Min unsat cost LB: 115146 ... c Min unsat cost LB: 115322 ... c Min unsat cost LB: 115350 ... c Min unsat cost LB: 115426 ... c Min unsat cost LB: 115431 ... c Min unsat cost LB: 115436 ... c Min unsat cost LB: 115458 ... c Min unsat cost LB: 115492 ... c Min unsat cost LB: 115496 ... c Min unsat cost LB: 115501 ... c Min unsat cost LB: 115622 ... c Min unsat cost LB: 115628 ... c Min unsat cost LB: 115632 ... c Min unsat cost LB: 115888 ... c Min unsat cost LB: 116083 ... c Min unsat cost LB: 117599 ... c Min unsat cost LB: 117622 ... c Min unsat cost LB: 117711 ... c Min unsat cost LB: 117844 ... c Min unsat cost LB: 117856 ... c Min unsat cost LB: 117942 ... c Min unsat cost LB: 118304 ... c Min unsat cost LB: 118393 ... c Min unsat cost LB: 119136 ... c Min unsat cost LB: 119259 ... c Min unsat cost LB: 119428 ... c Min unsat cost LB: 119521 ... c Min unsat cost LB: 119547 ... c Min unsat cost LB: 120736 ... c Min unsat cost LB: 120811 ... c Min unsat cost LB: 120849 ... c Min unsat cost LB: 120850 ... c Min unsat cost LB: 120894 ... c Min unsat cost LB: 120895 ... c Min unsat cost LB: 120937 ... c Min unsat cost LB: 121178 ... c Min unsat cost LB: 121220 ... c Min unsat cost LB: 121247 ... c Min unsat cost LB: 121744 ... c Min unsat cost LB: 121783 ... c Min unsat cost LB: 121784 ... c Min unsat cost LB: 121789 ... c Min unsat cost LB: 121790 ... c Min unsat cost LB: 121794 ... c Min unsat cost LB: 121949 ... c Min unsat cost LB: 122058 ... c Min unsat cost LB: 122592 ... c Min unsat cost LB: 122869 ... c Min unsat cost LB: 123045 ... c Min unsat cost LB: 123641 ... c Min unsat cost LB: 123756 ... c Min unsat cost LB: 123906 ... c Min unsat cost LB: 124335 ... c Min unsat cost LB: 124778 ... c Min unsat cost LB: 125087 ... c Min unsat cost LB: 125585 ... c Min unsat cost LB: 126279 ... c Min unsat cost LB: 126329 ... c Min unsat cost LB: 126370 ... c Min unsat cost LB: 126379 ... c Min unsat cost LB: 126384 ... c Min unsat cost LB: 126386 ... c Min unsat cost LB: 126433 ... c Min unsat cost LB: 126437 ... c Min unsat cost LB: 126455 ... c Min unsat cost LB: 126801 ... c Min unsat cost LB: 126865 ... c Min unsat cost LB: 126866 ... c Min unsat cost LB: 126871 ... c Min unsat cost LB: 126876 ... c Min unsat cost LB: 126880 ... c Min unsat cost LB: 127270 ... c Min unsat cost LB: 127947 ... c Min unsat cost LB: 128553 ... c Min unsat cost LB: 129146 ... c Min unsat cost LB: 129388 ... c Min unsat cost LB: 129390 ... c Min unsat cost LB: 129392 ... c Min unsat cost LB: 129395 ... c Min unsat cost LB: 129627 ... c Min unsat cost LB: 129635 ... c Min unsat cost LB: 129774 ... c Min unsat cost LB: 129777 ... c Min unsat cost LB: 129778 ... c Min unsat cost LB: 129786 ... c Min unsat cost LB: 129794 ... c Min unsat cost LB: 129801 ... c Min unsat cost LB: 129816 ... c Min unsat cost LB: 129830 ... c Min unsat cost LB: 129831 ... c Min unsat cost LB: 129835 ... c Min unsat cost LB: 129840 ... c Min unsat cost LB: 129842 ... c Min unsat cost LB: 129846 ... c Min unsat cost LB: 129849 ... c Min unsat cost LB: 129850 ... c Min unsat cost LB: 129851 ... c Min unsat cost LB: 130726 ... c Min unsat cost LB: 130781 ... c Min unsat cost LB: 130832 ... c Min unsat cost LB: 131790 ... c Min unsat cost LB: 131913 ... c Min unsat cost LB: 131996 ... c Min unsat cost LB: 131997 ... c Min unsat cost LB: 131998 ... c Min unsat cost LB: 131999 ... c Min unsat cost LB: 132000 ... c Min unsat cost LB: 132001 ... c Min unsat cost LB: 132002 ... c Min unsat cost LB: 132619 ... c Min unsat cost LB: 132623 ... c Min unsat cost LB: 132624 ... c Min unsat cost LB: 132626 ... c Min unsat cost LB: 132628 ... c Min unsat cost LB: 132632 ... c Min unsat cost LB: 132634 ... c Min unsat cost LB: 132637 ... c Min unsat cost LB: 132638 ... c Min unsat cost LB: 132639 ... c Min unsat cost LB: 132640 ... c Min unsat cost LB: 132641 ... c Min unsat cost LB: 132642 ... c Min unsat cost LB: 132643 ... c Min unsat cost LB: 132644 ... c Min unsat cost LB: 132645 ... c Min unsat cost LB: 132646 ... c Min unsat cost LB: 132647 ... c Min unsat cost LB: 132648 ... c Min unsat cost LB: 132649 ... c Min unsat cost LB: 132650 ... c Min unsat cost LB: 132651 ... c Min unsat cost LB: 132652 ... c Min unsat cost LB: 132653 ... c Min unsat cost LB: 132654 ... c Min unsat cost LB: 132655 ... c Min unsat cost LB: 132656 ... c Min unsat cost LB: 132660 ... c Min unsat cost LB: 132662 ... c Min unsat cost LB: 132663 ... c Min unsat cost LB: 132664 ... c Min unsat cost LB: 132665 ... c Min unsat cost LB: 132666 ... c Min unsat cost LB: 132667 ... c Min unsat cost LB: 132668 ... c Min unsat cost LB: 132669 ... c Min unsat cost LB: 132671 ... c Min unsat cost LB: 132672 ... c Min unsat cost LB: 132673 ... c Min unsat cost LB: 132674 ... c Min unsat cost LB: 132675 ... c Min unsat cost LB: 132676 ... c Min unsat cost LB: 132677 ... c Min unsat cost LB: 132678 ... c Min unsat cost LB: 132679 ... c Min unsat cost LB: 132680 ... c Min unsat cost LB: 132682 ... c Min unsat cost LB: 132683 ... c Min unsat cost LB: 132684 ... c Min unsat cost LB: 132685 ... c Min unsat cost LB: 132686 ... c Min unsat cost LB: 132999 ... c Min unsat cost LB: 133000 ... c Min unsat cost LB: 133001 ... c Min unsat cost LB: 133002 ... c Min unsat cost LB: 133003 ... c Min unsat cost LB: 133004 ... c Min unsat cost LB: 133005 ... c Min unsat cost LB: 133006 ... c Min unsat cost LB: 133079 ... c Min unsat cost LB: 133236 ... c Min unsat cost LB: 133789 ... c Min unsat cost LB: 134679 ... c Min unsat cost LB: 134781 ... c Min unsat cost LB: 134787 ... c Min unsat cost LB: 135259 ... c Min unsat cost LB: 136487 ... c Min unsat cost LB: 136583 ... c Min unsat cost LB: 136620 ... c Min unsat cost LB: 137005 ... c Min unsat cost LB: 137155 ... c Min unsat cost LB: 137156 ... c Min unsat cost LB: 137157 ... c Min unsat cost LB: 137920 ... c Min unsat cost LB: 138119 ... c Min unsat cost LB: 138501 ... c Min unsat cost LB: 139133 ... c Min unsat cost LB: 139135 ... c Min unsat cost LB: 139393 ... c Min unsat cost LB: 139431 ... c Min unsat cost LB: 140680 ... c Min unsat cost LB: 140948 ... c Min unsat cost LB: 141156 ... c Min unsat cost LB: 141371 ... c Min unsat cost LB: 141534 ... c Min unsat cost LB: 141699 ... c Min unsat cost LB: 142131 ... c Min unsat cost LB: 142944 ... c Min unsat cost LB: 143237 ... c Min unsat cost LB: 143257 ... c Min unsat cost LB: 143435 ... c Min unsat cost LB: 143695 ... c Min unsat cost LB: 144512 ... c Min unsat cost LB: 144514 ... c Min unsat cost LB: 145001 ... c Min unsat cost LB: 145268 ... c Min unsat cost LB: 145589 ... c Min unsat cost LB: 145654 ... c Min unsat cost LB: 146874 ... c Min unsat cost LB: 146929 ... c Min unsat cost LB: 147155 ... c Min unsat cost LB: 147212 ... c Min unsat cost LB: 147461 ... c Min unsat cost LB: 147513 ... c Min unsat cost LB: 147582 ... c Min unsat cost LB: 147583 ... c Min unsat cost LB: 147599 ... c Min unsat cost LB: 147612 ... c Min unsat cost LB: 147708 ... c Min unsat cost LB: 147718 ... c Min unsat cost LB: 147811 ... c Min unsat cost LB: 147944 ... c Min unsat cost LB: 148190 ... c Min unsat cost LB: 148239 ... c Min unsat cost LB: 148821 ... c Min unsat cost LB: 149041 ... c Min unsat cost LB: 149078 ... c Min unsat cost LB: 149661 ... c Min unsat cost LB: 149686 ... c Min unsat cost LB: 149820 ... c Min unsat cost LB: 150279 ... c Min unsat cost LB: 150280 ... c Min unsat cost LB: 150281 ... c Min unsat cost LB: 150282 ... c Min unsat cost LB: 150284 ... c Min unsat cost LB: 150289 ... c Min unsat cost LB: 150296 ... c Min unsat cost LB: 150297 ... c Min unsat cost LB: 150298 ... c Min unsat cost LB: 150299 ... c Min unsat cost LB: 150302 ... c Min unsat cost LB: 150303 ... c Min unsat cost LB: 150304 ... c Min unsat cost LB: 150305 ... c Min unsat cost LB: 150306 ... c Min unsat cost LB: 150307 ... c Min unsat cost LB: 150311 ... c Min unsat cost LB: 150313 ... c Min unsat cost LB: 150314 ... c Min unsat cost LB: 150315 ... c Min unsat cost LB: 150316 ... c Min unsat cost LB: 150317 ... c Min unsat cost LB: 150318 ... c Min unsat cost LB: 150319 ... c Min unsat cost LB: 150320 ... c Min unsat cost LB: 150321 ... c Min unsat cost LB: 150322 ... c Min unsat cost LB: 150323 ... c Min unsat cost LB: 150324 ... c Min unsat cost LB: 150325 ... c Min unsat cost LB: 150326 ... c Min unsat cost LB: 150328 ... c Min unsat cost LB: 150330 ... c Min unsat cost LB: 150331 ... c Min unsat cost LB: 150489 ... c Min unsat cost LB: 150490 ... c Min unsat cost LB: 150492 ... c Min unsat cost LB: 150493 ... c Min unsat cost LB: 150494 ... c Min unsat cost LB: 150495 ... c Min unsat cost LB: 150496 ... c Min unsat cost LB: 150970 ... c Min unsat cost LB: 150985 ... c Min unsat cost LB: 151168 ... c Min unsat cost LB: 151554 ... c Min unsat cost LB: 151610 ... c Min unsat cost LB: 151760 ... c Min unsat cost LB: 151762 ... c Min unsat cost LB: 151766 ... c Min unsat cost LB: 151773 ... c Min unsat cost LB: 151791 ... c Min unsat cost LB: 151792 ... c Min unsat cost LB: 151793 ... c Min unsat cost LB: 151794 ... c Min unsat cost LB: 151795 ... c Min unsat cost LB: 151796 ... c Min unsat cost LB: 151797 ... c Min unsat cost LB: 151798 ... c Min unsat cost LB: 151799 ... c Min unsat cost LB: 151800 ... c Min unsat cost LB: 151801 ... c Min unsat cost LB: 151802 ... c Min unsat cost LB: 151803 ... c Min unsat cost LB: 151804 ... c Min unsat cost LB: 151805 ... c Min unsat cost LB: 151806 ... c Min unsat cost LB: 151808 ... c Min unsat cost LB: 151809 ... c Min unsat cost LB: 151810 ... c Min unsat cost LB: 151811 ... c Min unsat cost LB: 152008 ... c Min unsat cost LB: 152025 ... c Min unsat cost LB: 152026 ... c Min unsat cost LB: 152027 ... c Min unsat cost LB: 152028 ... c Min unsat cost LB: 152029 ... c Min unsat cost LB: 152030 ... c Min unsat cost LB: 152031 ... c Min unsat cost LB: 152032 ... c Min unsat cost LB: 152033 ... c Min unsat cost LB: 152117 ... c Min unsat cost LB: 152430 ... c Min unsat cost LB: 152431 ... c Min unsat cost LB: 152432 ... c Min unsat cost LB: 152433 ... c Min unsat cost LB: 152434 ... c Min unsat cost LB: 152438 ... c Min unsat cost LB: 152549 ... c Min unsat cost LB: 152737 ... c Min unsat cost LB: 152738 ... c Min unsat cost LB: 152739 ... c Min unsat cost LB: 152740 ... c Min unsat cost LB: 152741 ... c Min unsat cost LB: 152742 ... c Min unsat cost LB: 152743 ... c Min unsat cost LB: 152744 ... c Min unsat cost LB: 152745 ... c Min unsat cost LB: 152747 ... c Min unsat cost LB: 152748 ... c Min unsat cost LB: 152750 ... c Min unsat cost LB: 152751 ... c Min unsat cost LB: 152752 ... c Min unsat cost LB: 152753 ... c Min unsat cost LB: 152754 ... c Min unsat cost LB: 152755 ... c Min unsat cost LB: 152756 ... c Min unsat cost LB: 152757 ... c Min unsat cost LB: 152758 ... c Min unsat cost LB: 152759 ... c Min unsat cost LB: 152760 ... c Min unsat cost LB: 152761 ... c Min unsat cost LB: 152762 ... c Min unsat cost LB: 152763 ... c Min unsat cost LB: 152764 ... c Min unsat cost LB: 152765 ... c Min unsat cost LB: 153245 ... c Min unsat cost LB: 153320 ... c Min unsat cost LB: 153341 ... c Min unsat cost LB: 153350 ... c Min unsat cost LB: 153367 ... c Min unsat cost LB: 153482 ... c Min unsat cost LB: 153483 ... c Min unsat cost LB: 153576 ... c Min unsat cost LB: 153577 ... c Min unsat cost LB: 153578 ... c Min unsat cost LB: 153579 ... c Min unsat cost LB: 153612 ... c Min unsat cost LB: 153613 ... c Min unsat cost LB: 153614 ... c Min unsat cost LB: 153615 ... c Min unsat cost LB: 153616 ... c Min unsat cost LB: 153617 ... c Min unsat cost LB: 153631 ... c Min unsat cost LB: 154250 ... c Min unsat cost LB: 154524 ... c Min unsat cost LB: 154589 ... c Min unsat cost LB: 154692 ... c Min unsat cost LB: 155205 ... c Min unsat cost LB: 155505 ... c Min unsat cost LB: 155680 ... c Min unsat cost LB: 155681 ... c Min unsat cost LB: 155682 ... c Min unsat cost LB: 155683 ... c Min unsat cost LB: 155684 ... c Min unsat cost LB: 155685 ... c Min unsat cost LB: 155824 ... c Min unsat cost LB: 157204 ... c Min unsat cost LB: 157242 ... c Min unsat cost LB: 157385 ... c Min unsat cost LB: 157520 ... c Min unsat cost LB: 157580 ... c Min unsat cost LB: 158025 ... c Min unsat cost LB: 158063 ... c Min unsat cost LB: 158511 ... c Min unsat cost LB: 158644 ... c Min unsat cost LB: 159231 ... c Min unsat cost LB: 159301 ... c Min unsat cost LB: 159961 ... c Min unsat cost LB: 161111 ... c Min unsat cost LB: 161201 ... c Min unsat cost LB: 161449 ... c Min unsat cost LB: 162126 ... c Min unsat cost LB: 162168 ... c Min unsat cost LB: 162647 ... c Min unsat cost LB: 162688 ... c Min unsat cost LB: 163290 ... c Min unsat cost LB: 163543 ... c Min unsat cost LB: 163591 ... c Min unsat cost LB: 164405 ... c Min unsat cost LB: 164506 ... c Min unsat cost LB: 164680 ... c Min unsat cost LB: 166166 ... c Min unsat cost LB: 166168 ... c Min unsat cost LB: 166331 ... c Min unsat cost LB: 166399 ... c Min unsat cost LB: 166719 ... c Min unsat cost LB: 167219 ... c Min unsat cost LB: 167452 ... c Min unsat cost LB: 167599 ... c Min unsat cost LB: 167615 ... c Min unsat cost LB: 167617 ... c Min unsat cost LB: 168744 ... c Min unsat cost LB: 168911 ... c Min unsat cost LB: 170521 ... c Min unsat cost LB: 170667 ... c Min unsat cost LB: 170798 ... c Min unsat cost LB: 170878 ... c Min unsat cost LB: 170949 ... c Min unsat cost LB: 171865 ... c Min unsat cost LB: 172548 ... c Min unsat cost LB: 172565 ... c Min unsat cost LB: 172578 ... c Min unsat cost LB: 173149 ... c Min unsat cost LB: 174156 ... c Min unsat cost LB: 174251 ... c Min unsat cost LB: 174705 ... c Min unsat cost LB: 175433 ... c Min unsat cost LB: 175482 ... c Min unsat cost LB: 175858 ... c Min unsat cost LB: 176194 ... c Min unsat cost LB: 176307 ... c Min unsat cost LB: 176747 ... c Min unsat cost LB: 177423 ... c Min unsat cost LB: 177696 ... c Min unsat cost LB: 177955 ... c Min unsat cost LB: 178044 ... c Min unsat cost LB: 178510 ... c Min unsat cost LB: 179161 ... c Min unsat cost LB: 179219 ... c Min unsat cost LB: 179940 ... c Min unsat cost LB: 180074 ... c Min unsat cost LB: 180459 ... c Min unsat cost LB: 180835 ... c Min unsat cost LB: 180932 ... c Min unsat cost LB: 181372 ... c Min unsat cost LB: 181413 ... c Min unsat cost LB: 181477 ... c Min unsat cost LB: 181724 ... c Min unsat cost LB: 182771 ... c Min unsat cost LB: 183002 ... c Min unsat cost LB: 183185 ... c Min unsat cost LB: 183398 ... c Min unsat cost LB: 183418 ... c Min unsat cost LB: 183931 ... c Min unsat cost LB: 184239 ... c Min unsat cost LB: 184738 ... c Min unsat cost LB: 184772 ... c Min unsat cost LB: 185612 ... c Min unsat cost LB: 185984 ... c Min unsat cost LB: 186238 ... c Min unsat cost LB: 186419 ... c Min unsat cost LB: 186485 ... c Min unsat cost LB: 187597 ... c Min unsat cost LB: 187757 ... c Min unsat cost LB: 188695 ... c Min unsat cost LB: 188815 ... c Min unsat cost LB: 188963 ... c Min unsat cost LB: 189418 ... c Min unsat cost LB: 189538 ... c Min unsat cost LB: 190176 ... c Min unsat cost LB: 190374 ... c Min unsat cost LB: 190379 ... c Min unsat cost LB: 190563 ... c Min unsat cost LB: 191010 ... c Min unsat cost LB: 191192 ... c Min unsat cost LB: 191238 ... c Min unsat cost LB: 192042 ... c Min unsat cost LB: 192117 ... c Min unsat cost LB: 192163 ... c Min unsat cost LB: 192187 ... c Min unsat cost LB: 192221 ... c Min unsat cost LB: 192371 ... c Min unsat cost LB: 192389 ... c Min unsat cost LB: 192454 ... c Min unsat cost LB: 192539 ... c Min unsat cost LB: 192573 ... c Min unsat cost LB: 192641 ... c Min unsat cost LB: 193908 ... c Min unsat cost LB: 193931 ... c Min unsat cost LB: 194058 ... c Min unsat cost LB: 194121 ... c Min unsat cost LB: 194994 ... c Min unsat cost LB: 195303 ... c Min unsat cost LB: 195340 ... c Min unsat cost LB: 195385 ... c Min unsat cost LB: 195691 ... c Min unsat cost LB: 195889 ... c Min unsat cost LB: 196147 ... c Min unsat cost LB: 196210 ... c Min unsat cost LB: 197347 ... c Min unsat cost LB: 197847 ... c Min unsat cost LB: 197880 ... c Min unsat cost LB: 198035 ... c Min unsat cost LB: 198094 ... c Min unsat cost LB: 198210 ... c Min unsat cost LB: 198300 ... c Min unsat cost LB: 198725 ... c Min unsat cost LB: 199278 ... c Min unsat cost LB: 199303 ... c Min unsat cost LB: 199597 ... c Min unsat cost LB: 199679 ... c Min unsat cost LB: 199850 ... c Min unsat cost LB: 199981 ... c Min unsat cost LB: 200110 ... c Min unsat cost LB: 200117 ... c Min unsat cost LB: 200611 ... c Min unsat cost LB: 200901 ... c Min unsat cost LB: 201228 ... c Min unsat cost LB: 201744 ... c Min unsat cost LB: 201834 ... c Min unsat cost LB: 202110 ... c Min unsat cost LB: 202354 ... c Min unsat cost LB: 202356 ... c Min unsat cost LB: 202764 ... c Min unsat cost LB: 202793 ... c Min unsat cost LB: 202794 ... c Min unsat cost LB: 202934 ... c Min unsat cost LB: 202940 ... c Min unsat cost LB: 202963 ... c Min unsat cost LB: 202967 ... c Min unsat cost LB: 203552 ... c Min unsat cost LB: 203664 ... c Min unsat cost LB: 204549 ... c Min unsat cost LB: 204705 ... c Min unsat cost LB: 204958 ... c Min unsat cost LB: 205030 ... c Min unsat cost LB: 205126 ... c Min unsat cost LB: 205214 ... c Min unsat cost LB: 205640 ... c Min unsat cost LB: 205774 ... c Min unsat cost LB: 206135 ... c Min unsat cost LB: 206190 ... c Min unsat cost LB: 206248 ... c Min unsat cost LB: 206641 ... c Min unsat cost LB: 206718 ... c Min unsat cost LB: 206727 ... c Min unsat cost LB: 206759 ... c Min unsat cost LB: 206790 ... c Min unsat cost LB: 206812 ... c Min unsat cost LB: 207548 ... c Min unsat cost LB: 207622 ... c Min unsat cost LB: 207719 ... c Min unsat cost LB: 207903 ... c Min unsat cost LB: 208037 ... c Min unsat cost LB: 208342 ... c Min unsat cost LB: 208344 ... c Min unsat cost LB: 209386 ... c Min unsat cost LB: 209430 ... c Min unsat cost LB: 209572 ... c Min unsat cost LB: 209584 ... c Min unsat cost LB: 210034 ... c Min unsat cost LB: 210038 ... c Min unsat cost LB: 210041 ... c Min unsat cost LB: 210043 ... c Min unsat cost LB: 210044 ... c Min unsat cost LB: 210067 ... c Min unsat cost LB: 210075 ... c Min unsat cost LB: 210092 ... c Min unsat cost LB: 210586 ... c Min unsat cost LB: 210852 ... c Min unsat cost LB: 211706 ... c Min unsat cost LB: 211870 ... c Min unsat cost LB: 212421 ... c Min unsat cost LB: 212568 ... c Min unsat cost LB: 212617 ... c Min unsat cost LB: 212662 ... c Min unsat cost LB: 212788 ... c Min unsat cost LB: 212936 ... c Min unsat cost LB: 213487 ... c Min unsat cost LB: 213976 ... c Min unsat cost LB: 214172 ... c Min unsat cost LB: 214325 ... c Min unsat cost LB: 214520 ... c Min unsat cost LB: 214531 ... c Min unsat cost LB: 214543 ... c Min unsat cost LB: 214553 ... c Min unsat cost LB: 214554 ... c Min unsat cost LB: 214556 ... c Min unsat cost LB: 214559 ... c Min unsat cost LB: 214560 ... c Min unsat cost LB: 214620 ... c Min unsat cost LB: 214639 ... c Min unsat cost LB: 214653 ... c Min unsat cost LB: 215365 ... c Min unsat cost LB: 215377 ... c Min unsat cost LB: 215992 ... c Min unsat cost LB: 216244 ... c Min unsat cost LB: 216543 ... c Min unsat cost LB: 216730 ... c Min unsat cost LB: 217381 ... c Min unsat cost LB: 217581 ... c Min unsat cost LB: 217766 ... c Min unsat cost LB: 217791 ... c Min unsat cost LB: 217792 ... c Min unsat cost LB: 217793 ... c Min unsat cost LB: 217794 ... c Min unsat cost LB: 217906 ... c Min unsat cost LB: 218772 ... c Min unsat cost LB: 218797 ... c Min unsat cost LB: 218826 ... c Min unsat cost LB: 218960 ... c Min unsat cost LB: 219153 ... c Min unsat cost LB: 219662 ... c Min unsat cost LB: 219996 ... c Min unsat cost LB: 220759 ... c Min unsat cost LB: 220830 ... c Min unsat cost LB: 221188 ... c Min unsat cost LB: 221738 ... c Min unsat cost LB: 221938 ... c Min unsat cost LB: 222016 ... c Min unsat cost LB: 222404 ... c Min unsat cost LB: 222418 ... c Min unsat cost LB: 222492 ... c Min unsat cost LB: 222694 ... c Min unsat cost LB: 222860 ... c Min unsat cost LB: 223673 ... c Min unsat cost LB: 223853 ... c Min unsat cost LB: 224291 ... c Min unsat cost LB: 224360 ... c Min unsat cost LB: 224441 ... c Min unsat cost LB: 224442 ... c Min unsat cost LB: 225341 ... c Min unsat cost LB: 225351 ... c Min unsat cost LB: 225369 ... c Min unsat cost LB: 225451 ... c Min unsat cost LB: 225620 ... c Min unsat cost LB: 225636 ... c Min unsat cost LB: 225637 ... c Min unsat cost LB: 225727 ... c Min unsat cost LB: 225746 ... c Min unsat cost LB: 225778 ... c Min unsat cost LB: 225949 ... c Min unsat cost LB: 226233 ... c Min unsat cost LB: 226559 ... c Min unsat cost LB: 226607 ... c Min unsat cost LB: 226660 ... c Min unsat cost LB: 226673 ... c Min unsat cost LB: 226871 ... c Min unsat cost LB: 227039 ... c Min unsat cost LB: 227192 ... c Min unsat cost LB: 227199 ... c Min unsat cost LB: 227212 ... c Min unsat cost LB: 227267 ... c Min unsat cost LB: 227304 ... c Min unsat cost LB: 227361 ... c Min unsat cost LB: 228117 ... c Min unsat cost LB: 228192 ... c Min unsat cost LB: 228193 ... c Min unsat cost LB: 228194 ... c Min unsat cost LB: 228207 ... c Min unsat cost LB: 228225 ... c Min unsat cost LB: 228344 ... c Min unsat cost LB: 228394 ... c Min unsat cost LB: 228396 ... c Min unsat cost LB: 228402 ... c Min unsat cost LB: 228430 ... c Min unsat cost LB: 228484 ... c Min unsat cost LB: 228512 ... c Min unsat cost LB: 228518 ... c Min unsat cost LB: 228528 ... c Min unsat cost LB: 228556 ... c Min unsat cost LB: 228573 ... c Min unsat cost LB: 229136 ... c Min unsat cost LB: 229139 ... c Min unsat cost LB: 229179 ... c Min unsat cost LB: 229196 ... c Min unsat cost LB: 229211 ... c Min unsat cost LB: 229230 ... c Min unsat cost LB: 229403 ... c Min unsat cost LB: 229704 ... c Min unsat cost LB: 230137 ... c Min unsat cost LB: 230180 ... c Min unsat cost LB: 230288 ... c Min unsat cost LB: 230289 ... c Min unsat cost LB: 230851 ... c Min unsat cost LB: 231183 ... c Min unsat cost LB: 231267 ... c Min unsat cost LB: 231341 ... c Min unsat cost LB: 232334 ... c Min unsat cost LB: 232559 ... c Min unsat cost LB: 232779 ... c Min unsat cost LB: 233000 ... c Min unsat cost LB: 233223 ... c Min unsat cost LB: 233373 ... c Min unsat cost LB: 233656 ... c Min unsat cost LB: 233769 ... c Min unsat cost LB: 234441 ... c Min unsat cost LB: 235136 ... c Min unsat cost LB: 235288 ... c Min unsat cost LB: 236107 ... c Min unsat cost LB: 236133 ... c Min unsat cost LB: 236157 ... c Min unsat cost LB: 236515 ... c Min unsat cost LB: 236633 ... c Min unsat cost LB: 236936 ... c Min unsat cost LB: 237387 ... c Min unsat cost LB: 237687 ... c Min unsat cost LB: 237723 ... c Min unsat cost LB: 238117 ... c Min unsat cost LB: 238289 ... c Min unsat cost LB: 238405 ... c Min unsat cost LB: 238417 ... c Min unsat cost LB: 238514 ... c Min unsat cost LB: 239622 ... c Min unsat cost LB: 239771 ... c Min unsat cost LB: 239935 ... c Min unsat cost LB: 240013 ... c Min unsat cost LB: 241155 ... c Min unsat cost LB: 241451 ... c Min unsat cost LB: 241604 ... c Min unsat cost LB: 242010 ... c Min unsat cost LB: 242186 ... c Min unsat cost LB: 242206 ... c Min unsat cost LB: 242214 ... c Min unsat cost LB: 242413 ... c Min unsat cost LB: 242447 ... c Min unsat cost LB: 242773 ... c Min unsat cost LB: 243394 ... c Min unsat cost LB: 243672 ... c Min unsat cost LB: 243821 ... c Min unsat cost LB: 243979 ... c Min unsat costKilled 1816.983u 2.758s 30:20.20 99.9% 0+0k 0+0io 0pf+0w