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-220-1_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-10.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-220-1_network-10.net.wcnf *** c c Min unsat cost LB: 228 ... c Min unsat cost LB: 569 ... c Min unsat cost LB: 1816 ... c Min unsat cost LB: 3136 ... c Min unsat cost LB: 4933 ... c Min unsat cost LB: 4954 ... c Min unsat cost LB: 6110 ... c Min unsat cost LB: 6299 ... c Min unsat cost LB: 7371 ... c Min unsat cost LB: 8333 ... c Min unsat cost LB: 9689 ... c Min unsat cost LB: 11183 ... c Min unsat cost LB: 12158 ... c Min unsat cost LB: 12670 ... c Min unsat cost LB: 12845 ... c Min unsat cost LB: 14472 ... c Min unsat cost LB: 14592 ... c Min unsat cost LB: 14604 ... c Min unsat cost LB: 15281 ... c Min unsat cost LB: 15882 ... c Min unsat cost LB: 17041 ... c Min unsat cost LB: 17168 ... c Min unsat cost LB: 19154 ... c Min unsat cost LB: 19438 ... c Min unsat cost LB: 20088 ... c Min unsat cost LB: 20653 ... c Min unsat cost LB: 22367 ... c Min unsat cost LB: 22533 ... c Min unsat cost LB: 22552 ... c Min unsat cost LB: 23491 ... c Min unsat cost LB: 23655 ... c Min unsat cost LB: 23931 ... c Min unsat cost LB: 25366 ... c Min unsat cost LB: 25831 ... c Min unsat cost LB: 25958 ... c Min unsat cost LB: 27069 ... c Min unsat cost LB: 28706 ... c Min unsat cost LB: 30116 ... c Min unsat cost LB: 30680 ... c Min unsat cost LB: 31351 ... c Min unsat cost LB: 31560 ... c Min unsat cost LB: 31987 ... c Min unsat cost LB: 32621 ... c Min unsat cost LB: 32913 ... c Min unsat cost LB: 33039 ... c Min unsat cost LB: 33051 ... c Min unsat cost LB: 33341 ... c Min unsat cost LB: 33481 ... c Min unsat cost LB: 33572 ... c Min unsat cost LB: 33924 ... c Min unsat cost LB: 34053 ... c Min unsat cost LB: 34796 ... c Min unsat cost LB: 35474 ... c Min unsat cost LB: 35589 ... c Min unsat cost LB: 35909 ... c Min unsat cost LB: 35927 ... c Min unsat cost LB: 36422 ... c Min unsat cost LB: 36893 ... c Min unsat cost LB: 37350 ... c Min unsat cost LB: 37669 ... c Min unsat cost LB: 37924 ... c Min unsat cost LB: 38517 ... c Min unsat cost LB: 38759 ... c Min unsat cost LB: 39010 ... c Min unsat cost LB: 40252 ... c Min unsat cost LB: 40568 ... c Min unsat cost LB: 40995 ... c Min unsat cost LB: 41249 ... c Min unsat cost LB: 41374 ... c Min unsat cost LB: 42222 ... c Min unsat cost LB: 42478 ... c Min unsat cost LB: 42483 ... c Min unsat cost LB: 42656 ... c Min unsat cost LB: 43115 ... c Min unsat cost LB: 43144 ... c Min unsat cost LB: 43324 ... c Min unsat cost LB: 43333 ... c Min unsat cost LB: 43845 ... c Min unsat cost LB: 44004 ... c Min unsat cost LB: 44033 ... c Min unsat cost LB: 44489 ... c Min unsat cost LB: 44549 ... c Min unsat cost LB: 44817 ... c Min unsat cost LB: 45340 ... c Min unsat cost LB: 45779 ... c Min unsat cost LB: 46005 ... c Min unsat cost LB: 46112 ... c Min unsat cost LB: 46147 ... c Min unsat cost LB: 46482 ... c Min unsat cost LB: 46712 ... c Min unsat cost LB: 46929 ... c Min unsat cost LB: 46937 ... c Min unsat cost LB: 47595 ... c Min unsat cost LB: 48419 ... c Min unsat cost LB: 48669 ... c Min unsat cost LB: 48996 ... c Min unsat cost LB: 49009 ... c Min unsat cost LB: 49106 ... c Min unsat cost LB: 49514 ... c Min unsat cost LB: 49746 ... c Min unsat cost LB: 49806 ... c Min unsat cost LB: 49902 ... c Min unsat cost LB: 50185 ... c Min unsat cost LB: 50237 ... c Min unsat cost LB: 50689 ... c Min unsat cost LB: 50797 ... c Min unsat cost LB: 51792 ... c Min unsat cost LB: 52659 ... c Min unsat cost LB: 52969 ... c Min unsat cost LB: 53052 ... c Min unsat cost LB: 53576 ... c Min unsat cost LB: 53708 ... c Min unsat cost LB: 54162 ... c Min unsat cost LB: 54451 ... c Min unsat cost LB: 54923 ... c Min unsat cost LB: 55044 ... c Min unsat cost LB: 55301 ... c Min unsat cost LB: 55481 ... c Min unsat cost LB: 55503 ... c Min unsat cost LB: 55549 ... c Min unsat cost LB: 56070 ... c Min unsat cost LB: 56195 ... c Min unsat cost LB: 56389 ... c Min unsat cost LB: 56419 ... c Min unsat cost LB: 56732 ... c Min unsat cost LB: 56978 ... c Min unsat cost LB: 57073 ... c Min unsat cost LB: 58013 ... c Min unsat cost LB: 58194 ... c Min unsat cost LB: 58312 ... c Min unsat cost LB: 58518 ... c Min unsat cost LB: 58883 ... c Min unsat cost LB: 59135 ... c Min unsat cost LB: 59224 ... c Min unsat cost LB: 59500 ... c Min unsat cost LB: 60207 ... c Min unsat cost LB: 60299 ... c Min unsat cost LB: 60512 ... c Min unsat cost LB: 60762 ... c Min unsat cost LB: 60859 ... c Min unsat cost LB: 60881 ... c Min unsat cost LB: 60954 ... c Min unsat cost LB: 60973 ... c Min unsat cost LB: 61692 ... c Min unsat cost LB: 62385 ... c Min unsat cost LB: 62568 ... c Min unsat cost LB: 62747 ... c Min unsat cost LB: 62914 ... c Min unsat cost LB: 63094 ... c Min unsat cost LB: 63216 ... c Min unsat cost LB: 63272 ... c Min unsat cost LB: 63524 ... c Min unsat cost LB: 63798 ... c Min unsat cost LB: 63848 ... c Min unsat cost LB: 63956 ... c Min unsat cost LB: 64394 ... c Min unsat cost LB: 64468 ... c Min unsat cost LB: 64880 ... c Min unsat cost LB: 65097 ... c Min unsat cost LB: 65739 ... c Min unsat cost LB: 65939 ... c Min unsat cost LB: 66246 ... c Min unsat cost LB: 66749 ... c Min unsat cost LB: 67040 ... c Min unsat cost LB: 67112 ... c Min unsat cost LB: 67196 ... c Min unsat cost LB: 67637 ... c Min unsat cost LB: 68368 ... c Min unsat cost LB: 68607 ... c Min unsat cost LB: 68625 ... c Min unsat cost LB: 69384 ... c Min unsat cost LB: 69450 ... c Min unsat cost LB: 69610 ... c Min unsat cost LB: 70274 ... c Min unsat cost LB: 70285 ... c Min unsat cost LB: 70303 ... c Min unsat cost LB: 70407 ... c Min unsat cost LB: 70496 ... c Min unsat cost LB: 70582 ... c Min unsat cost LB: 71455 ... c Min unsat cost LB: 71464 ... c Min unsat cost LB: 71494 ... c Min unsat cost LB: 71573 ... c Min unsat cost LB: 72325 ... c Min unsat cost LB: 72483 ... c Min unsat cost LB: 73468 ... c Min unsat cost LB: 73484 ... c Min unsat cost LB: 73550 ... c Min unsat cost LB: 73930 ... c Min unsat cost LB: 74269 ... c Min unsat cost LB: 74637 ... c Min unsat cost LB: 74842 ... c Min unsat cost LB: 75367 ... c Min unsat cost LB: 75470 ... c Min unsat cost LB: 75485 ... c Min unsat cost LB: 75605 ... c Min unsat cost LB: 75719 ... c Min unsat cost LB: 76072 ... c Min unsat cost LB: 76078 ... c Min unsat cost LB: 76115 ... c Min unsat cost LB: 76140 ... c Min unsat cost LB: 76218 ... c Min unsat cost LB: 76237 ... c Min unsat cost LB: 76353 ... c Min unsat cost LB: 76378 ... c Min unsat cost LB: 76467 ... c Min unsat cost LB: 76471 ... c Min unsat cost LB: 76515 ... c Min unsat cost LB: 76937 ... c Min unsat cost LB: 78097 ... c Min unsat cost LB: 78272 ... c Min unsat cost LB: 78354 ... c Min unsat cost LB: 78377 ... c Min unsat cost LB: 78402 ... c Min unsat cost LB: 78423 ... c Min unsat cost LB: 78428 ... c Min unsat cost LB: 78479 ... c Min unsat cost LB: 78480 ... c Min unsat cost LB: 78779 ... c Min unsat cost LB: 79149 ... c Min unsat cost LB: 79920 ... c Min unsat cost LB: 80329 ... c Min unsat cost LB: 80333 ... c Min unsat cost LB: 80355 ... c Min unsat cost LB: 80368 ... c Min unsat cost LB: 80372 ... c Min unsat cost LB: 80373 ... c Min unsat cost LB: 80390 ... c Min unsat cost LB: 80813 ... c Min unsat cost LB: 80844 ... c Min unsat cost LB: 80845 ... c Min unsat cost LB: 80847 ... c Min unsat cost LB: 80849 ... c Min unsat cost LB: 80858 ... c Min unsat cost LB: 80963 ... c Min unsat cost LB: 80979 ... c Min unsat cost LB: 80998 ... c Min unsat cost LB: 81009 ... c Min unsat cost LB: 81030 ... c Min unsat cost LB: 81032 ... c Min unsat cost LB: 81034 ... c Min unsat cost LB: 81064 ... c Min unsat cost LB: 81065 ... c Min unsat cost LB: 81112 ... c Min unsat cost LB: 81135 ... c Min unsat cost LB: 81270 ... c Min unsat cost LB: 81469 ... c Min unsat cost LB: 81473 ... c Min unsat cost LB: 81806 ... c Min unsat cost LB: 82606 ... c Min unsat cost LB: 82706 ... c Min unsat cost LB: 83716 ... c Min unsat cost LB: 83852 ... c Min unsat cost LB: 84478 ... c Min unsat cost LB: 84514 ... c Min unsat cost LB: 84518 ... c Min unsat cost LB: 84520 ... c Min unsat cost LB: 84877 ... c Min unsat cost LB: 84879 ... c Min unsat cost LB: 84894 ... c Min unsat cost LB: 84897 ... c Min unsat cost LB: 84898 ... c Min unsat cost LB: 84903 ... c Min unsat cost LB: 84908 ... c Min unsat cost LB: 84926 ... c Min unsat cost LB: 84931 ... c Min unsat cost LB: 84940 ... c Min unsat cost LB: 84949 ... c Min unsat cost LB: 84951 ... c Min unsat cost LB: 84954 ... c Min unsat cost LB: 84955 ... c Min unsat cost LB: 84959 ... c Min unsat cost LB: 85762 ... c Min unsat cost LB: 85763 ... c Min unsat cost LB: 85766 ... c Min unsat cost LB: 85767 ... c Min unsat cost LB: 85768 ... c Min unsat cost LB: 85770 ... c Min unsat cost LB: 85778 ... c Min unsat cost LB: 85789 ... c Min unsat cost LB: 85791 ... c Min unsat cost LB: 85794 ... c Min unsat cost LB: 85797 ... c Min unsat cost LB: 85804 ... c Min unsat cost LB: 85806 ... c Min unsat cost LB: 85808 ... c Min unsat cost LB: 85821 ... c Min unsat cost LB: 85823 ... c Min unsat cost LB: 85835 ... c Min unsat cost LB: 85848 ... c Min unsat cost LB: 85873 ... c Min unsat cost LB: 85874 ... c Min unsat cost LB: 85875 ... c Min unsat cost LB: 85878 ... c Min unsat cost LB: 85898 ... c Min unsat cost LB: 85904 ... c Min unsat cost LB: 85925 ... c Min unsat cost LB: 86148 ... c Min unsat cost LB: 86150 ... c Min unsat cost LB: 86151 ... c Min unsat cost LB: 86162 ... c Min unsat cost LB: 86172 ... c Min unsat cost LB: 86180 ... c Min unsat cost LB: 86185 ... c Min unsat cost LB: 86187 ... c Min unsat cost LB: 86188 ... c Min unsat cost LB: 86191 ... c Min unsat cost LB: 86196 ... c Min unsat cost LB: 86200 ... c Min unsat cost LB: 86635 ... c Min unsat cost LB: 86685 ... c Min unsat cost LB: 86700 ... c Min unsat cost LB: 86754 ... c Min unsat cost LB: 87035 ... c Min unsat cost LB: 87037 ... c Min unsat cost LB: 87039 ... c Min unsat cost LB: 87040 ... c Min unsat cost LB: 87041 ... c Min unsat cost LB: 87043 ... c Min unsat cost LB: 87045 ... c Min unsat cost LB: 87048 ... c Min unsat cost LB: 87049 ... c Min unsat cost LB: 87050 ... c Min unsat cost LB: 87052 ... c Min unsat cost LB: 87056 ... c Min unsat cost LB: 87059 ... c Min unsat cost LB: 87060 ... c Min unsat cost LB: 87061 ... c Min unsat cost LB: 87154 ... c Min unsat cost LB: 87187 ... c Min unsat cost LB: 87188 ... c Min unsat cost LB: 87189 ... c Min unsat cost LB: 87191 ... c Min unsat cost LB: 87192 ... c Min unsat cost LB: 87207 ... c Min unsat cost LB: 87209 ... c Min unsat cost LB: 87212 ... c Min unsat cost LB: 87215 ... c Min unsat cost LB: 87217 ... c Min unsat cost LB: 87267 ... c Min unsat cost LB: 87269 ... c Min unsat cost LB: 87270 ... c Min unsat cost LB: 87271 ... c Min unsat cost LB: 87275 ... c Min unsat cost LB: 87278 ... c Min unsat cost LB: 87447 ... c Min unsat cost LB: 87844 ... c Min unsat cost LB: 87905 ... c Min unsat cost LB: 87938 ... c Min unsat cost LB: 88095 ... c Min unsat cost LB: 88128 ... c Min unsat cost LB: 88172 ... c Min unsat cost LB: 88174 ... c Min unsat cost LB: 88175 ... c Min unsat cost LB: 88177 ... c Min unsat cost LB: 88179 ... c Min unsat cost LB: 88180 ... c Min unsat cost LB: 88181 ... c Min unsat cost LB: 88183 ... c Min unsat cost LB: 88184 ... c Min unsat cost LB: 88185 ... c Min unsat cost LB: 88606 ... c Min unsat cost LB: 89092 ... c Min unsat cost LB: 89135 ... c Min unsat cost LB: 89137 ... c Min unsat cost LB: 89142 ... c Min unsat cost LB: 89146 ... c Min unsat cost LB: 89149 ... c Min unsat cost LB: 89159 ... c Min unsat cost LB: 89160 ... c Min unsat cost LB: 89163 ... c Min unsat cost LB: 89165 ... c Min unsat cost LB: 89168 ... c Min unsat cost LB: 89171 ... c Min unsat cost LB: 89172 ... c Min unsat cost LB: 89173 ... c Min unsat cost LB: 89256 ... c Min unsat cost LB: 89288 ... c Min unsat cost LB: 89354 ... c Min unsat cost LB: 89355 ... c Min unsat cost LB: 89356 ... c Min unsat cost LB: 89358 ... c Min unsat cost LB: 89368 ... c Min unsat cost LB: 89370 ... c Min unsat cost LB: 89388 ... c Min unsat cost LB: 89567 ... c Min unsat cost LB: 89966 ... c Min unsat cost LB: 91053 ... c Min unsat cost LB: 91275 ... c Min unsat cost LB: 91295 ... c Min unsat cost LB: 91423 ... c Min unsat cost LB: 92021 ... c Min unsat cost LB: 92023 ... c Min unsat cost LB: 92026 ... c Min unsat cost LB: 92227 ... c Min unsat cost LB: 92404 ... c Min unsat cost LB: 92481 ... c Min unsat cost LB: 92529 ... c Min unsat cost LB: 92531 ... c Min unsat cost LB: 92550 ... c Min unsat cost LB: 92551 ... c Min unsat cost LB: 92552 ... c Min unsat cost LB: 92554 ... c Min unsat cost LB: 92555 ... c Min unsat cost LB: 92556 ... c Min unsat cost LB: 92558 ... c Min unsat cost LB: 92559 ... c Min unsat cost LB: 92560 ... c Min unsat cost LB: 92561 ... c Min unsat cost LB: 92564 ... c Min unsat cost LB: 92569 ... c Min unsat cost LB: 92578 ... c Min unsat cost LB: 92579 ... c Min unsat cost LB: 93109 ... c Min unsat cost LB: 93847 ... c Min unsat cost LB: 94082 ... c Min unsat cost LB: 94365 ... c Min unsat cost LB: 94548 ... c Min unsat cost LB: 95300 ... c Min unsat cost LB: 95310 ... c Min unsat cost LB: 95757 ... c Min unsat cost LB: 95915 ... c Min unsat cost LB: 95916 ... c Min unsat cost LB: 95917 ... c Min unsat cost LB: 95923 ... c Min unsat cost LB: 95924 ... c Min unsat cost LB: 95945 ... c Min unsat cost LB: 95947 ... c Min unsat cost LB: 95986 ... c Min unsat cost LB: 96123 ... c Min unsat cost LB: 96126 ... c Min unsat cost LB: 96130 ... c Min unsat cost LB: 96132 ... c Min unsat cost LB: 96406 ... c Min unsat cost LB: 96461 ... c Min unsat cost LB: 96476 ... c Min unsat cost LB: 96513 ... c Min unsat cost LB: 97300 ... c Min unsat cost LB: 97677 ... c Min unsat cost LB: 98644 ... c Min unsat cost LB: 98646 ... c Min unsat cost LB: 98647 ... c Min unsat cost LB: 98650 ... c Min unsat cost LB: 98651 ... c Min unsat cost LB: 98652 ... c Min unsat cost LB: 98654 ... c Min unsat cost LB: 98655 ... c Min unsat cost LB: 98657 ... c Min unsat cost LB: 98658 ... c Min unsat cost LB: 98659 ... c Min unsat cost LB: 98663 ... c Min unsat cost LB: 98664 ... c Min unsat cost LB: 98672 ... c Min unsat cost LB: 98676 ... c Min unsat cost LB: 98677 ... c Min unsat cost LB: 98678 ... c Min unsat cost LB: 98679 ... c Min unsat cost LB: 98680 ... c Min unsat cost LB: 99046 ... c Min unsat cost LB: 99049 ... c Min unsat cost LB: 99471 ... c Min unsat cost LB: 99786 ... c Min unsat cost LB: 99833 ... c Min unsat cost LB: 99925 ... c Min unsat cost LB: 100018 ... c Min unsat cost LB: 100165 ... c Min unsat cost LB: 100206 ... c Min unsat cost LB: 101130 ... c Min unsat cost LB: 101160 ... c Min unsat cost LB: 101344 ... c Min unsat cost LB: 101510 ... c Min unsat cost LB: 101544 ... c Min unsat cost LB: 101572 ... c Min unsat cost LB: 101694 ... c Min unsat cost LB: 101752 ... c Min unsat cost LB: 101753 ... c Min unsat cost LB: 101754 ... c Min unsat cost LB: 101757 ... c Min unsat cost LB: 101758 ... c Min unsat cost LB: 101759 ... c Min unsat cost LB: 101831 ... c Min unsat cost LB: 101852 ... c Min unsat cost LB: 101882 ... c Min unsat cost LB: 101935 ... c Min unsat cost LB: 101944 ... c Min unsat cost LB: 102228 ... c Min unsat cost LB: 102531 ... c Min unsat cost LB: 102532 ... c Min unsat cost LB: 102601 ... c Min unsat cost LB: 102602 ... c Min unsat cost LB: 102603 ... c Min unsat cost LB: 102604 ... c Min unsat cost LB: 102605 ... c Min unsat cost LB: 102606 ... c Min unsat cost LB: 102607 ... c Min unsat cost LB: 102608 ... c Min unsat cost LB: 102610 ... c Min unsat cost LB: 102611 ... c Min unsat cost LB: 103253 ... c Min unsat cost LB: 103293 ... c Min unsat cost LB: 103432 ... c Min unsat cost LB: 103447 ... c Min unsat cost LB: 103453 ... c Min unsat cost LB: 104485 ... c Min unsat cost LB: 104906 ... c Min unsat cost LB: 104956 ... c Min unsat cost LB: 105311 ... c Min unsat cost LB: 105474 ... c Min unsat cost LB: 105634 ... c Min unsat cost LB: 105938 ... c Min unsat cost LB: 106284 ... c Min unsat cost LB: 106459 ... c Min unsat cost LB: 107339 ... c Min unsat cost LB: 107533 ... c Min unsat cost LB: 107666 ... c Min unsat cost LB: 107797 ... c Min unsat cost LB: 108435 ... c Min unsat cost LB: 108551 ... c Min unsat cost LB: 108654 ... c Min unsat cost LB: 108789 ... c Min unsat cost LB: 108976 ... c Min unsat cost LB: 109151 ... c Min unsat cost LB: 109466 ... c Min unsat cost LB: 109485 ... c Min unsat cost LB: 110240 ... c Min unsat cost LB: 110347 ... c Min unsat cost LB: 110741 ... c Min unsat cost LB: 110840 ... c Min unsat cost LB: 111168 ... c Min unsat cost LB: 111256 ... c Min unsat cost LB: 112059 ... c Min unsat cost LB: 112098 ... c Min unsat cost LB: 112436 ... c Min unsat cost LB: 113156 ... c Min unsat cost LB: 113337 ... c Min unsat cost LB: 113621 ... c Min unsat cost LB: 114354 ... c Min unsat cost LB: 114487 ... c Min unsat cost LB: 114617 ... c Min unsat cost LB: 114863 ... c Min unsat cost LB: 114949 ... c Min unsat cost LB: 115059 ... c Min unsat cost LB: 115493 ... c Min unsat cost LB: 115599 ... c Min unsat cost LB: 116141 ... c Min unsat cost LB: 116541 ... c Min unsat cost LB: 116620 ... c Min unsat cost LB: 116707 ... c Min unsat cost LB: 116720 ... c Min unsat cost LB: 117238 ... c Min unsat cost LB: 117397 ... c Min unsat cost LB: 117538 ... c Min unsat cost LB: 117829 ... c Min unsat cost LB: 117835 ... c Min unsat cost LB: 118234 ... c Min unsat cost LB: 119251 ... c Min unsat cost LB: 119407 ... c Min unsat cost LB: 119416 ... c Min unsat cost LB: 119599 ... c Min unsat cost LB: 120139 ... c Min unsat cost LB: 120327 ... c Min unsat cost LB: 120397 ... c Min unsat cost LB: 120813 ... c Min unsat cost LB: 122011 ... c Min unsat cost LB: 122482 ... c Min unsat cost LB: 122544 ... c Min unsat cost LB: 122712 ... c Min unsat cost LB: 122743 ... c Min unsat cost LB: 122804 ... c Min unsat cost LB: 122805 ... c Min unsat cost LB: 123165 ... c Min unsat cost LB: 123175 ... c Min unsat cost LB: 123250 ... c Min unsat cost LB: 123931 ... c Min unsat cost LB: 123937 ... c Min unsat cost LB: 123939 ... c Min unsat cost LB: 124364 ... c Min unsat cost LB: 124449 ... c Min unsat cost LB: 124786 ... c Min unsat cost LB: 125391 ... c Min unsat cost LB: 125400 ... c Min unsat cost LB: 125401 ... c Min unsat cost LB: 125402 ... c Min unsat cost LB: 125666 ... c Min unsat cost LB: 125768 ... c Min unsat cost LB: 127087 ... c Min unsat cost LB: 127088 ... c Min unsat cost LB: 127105 ... c Min unsat cost LB: 127471 ... c Min unsat cost LB: 127851 ... c Min unsat cost LB: 127907 ... c Min unsat cost LB: 127908 ... c Min unsat cost LB: 127939 ... c Min unsat cost LB: 128044 ... c Min unsat cost LB: 128145 ... c Min unsat cost LB: 128158 ... c Min unsat cost LB: 128159 ... c Min unsat cost LB: 128160 ... c Min unsat cost LB: 128161 ... c Min unsat cost LB: 128162 ... c Min unsat cost LB: 128163 ... c Min unsat cost LB: 128168 ... c Min unsat cost LB: 128597 ... c Min unsat cost LB: 128598 ... c Min unsat cost LB: 128599 ... c Min unsat cost LB: 128609 ... c Min unsat cost LB: 129209 ... c Min unsat cost LB: 129371 ... c Min unsat cost LB: 129567 ... c Min unsat cost LB: 129634 ... c Min unsat cost LB: 129825 ... c Min unsat cost LB: 130981 ... c Min unsat cost LB: 131121 ... c Min unsat cost LB: 131133 ... c Min unsat cost LB: 131134 ... c Min unsat cost LB: 131138 ... c Min unsat cost LB: 131142 ... c Min unsat cost LB: 131148 ... c Min unsat cost LB: 131158 ... c Min unsat cost LB: 131164 ... c Min unsat cost LB: 131165 ... c Min unsat cost LB: 131166 ... c Min unsat cost LB: 131191 ... c Min unsat cost LB: 131194 ... c Min unsat cost LB: 131196 ... c Min unsat cost LB: 131197 ... c Min unsat cost LB: 131198 ... c Min unsat cost LB: 131204 ... c Min unsat cost LB: 131218 ... c Min unsat cost LB: 131221 ... c Min unsat cost LB: 131222 ... c Min unsat cost LB: 131223 ... c Min unsat cost LB: 131224 ... c Min unsat cost LB: 131238 ... c Min unsat cost LB: 131239 ... c Min unsat cost LB: 131241 ... c Min unsat cost LB: 131242 ... c Min unsat cost LB: 131243 ... c Min unsat cost LB: 131244 ... c Min unsat cost LB: 131245 ... c Min unsat cost LB: 131246 ... c Min unsat cost LB: 131249 ... c Min unsat cost LB: 131250 ... c Min unsat cost LB: 131251 ... c Min unsat cost LB: 131252 ... c Min unsat cost LB: 131254 ... c Min unsat cost LB: 131255 ... c Min unsat cost LB: 131259 ... c Min unsat cost LB: 131263 ... c Min unsat cost LB: 131264 ... c Min unsat cost LB: 131265 ... c Min unsat cost LB: 131273 ... c Min unsat cost LB: 131274 ... c Min unsat cost LB: 131275 ... c Min unsat cost LB: 131276 ... c Min unsat cost LB: 131277 ... c Min unsat cost LB: 131280 ... c Min unsat cost LB: 131285 ... c Min unsat cost LB: 131290 ... c Min unsat cost LB: 131293 ... c Min unsat cost LB: 131300 ... c Min unsat cost LB: 131302 ... c Min unsat cost LB: 131304 ... c Min unsat cost LB: 131305 ... c Min unsat cost LB: 131306 ... c Min unsat cost LB: 131307 ... c Min unsat cost LB: 131308 ... c Min unsat cost LB: 131313 ... c Min unsat cost LB: 131314 ... c Min unsat cost LB: 131443 ... c Min unsat cost LB: 131846 ... c Min unsat cost LB: 131847 ... c Min unsat cost LB: 131848 ... c Min unsat cost LB: 132193 ... c Min unsat cost LB: 132243 ... c Min unsat cost LB: 133010 ... c Min unsat cost LB: 133016 ... c Min unsat cost LB: 133097 ... c Min unsat cost LB: 133107 ... c Min unsat cost LB: 133122 ... c Min unsat cost LB: 134234 ... c Min unsat cost LB: 134375 ... c Min unsat cost LB: 134516 ... c Min unsat cost LB: 134637 ... c Min unsat cost LB: 134733 ... c Min unsat cost LB: 134892 ... c Min unsat cost LB: 135623 ... c Min unsat cost LB: 135952 ... c Min unsat cost LB: 136074 ... c Min unsat cost LB: 136482 ... c Min unsat cost LB: 136590 ... c Min unsat cost LB: 136969 ... c Min unsat cost LB: 137741 ... c Min unsat cost LB: 137765 ... c Min unsat cost LB: 137980 ... c Min unsat cost LB: 138107 ... c Min unsat cost LB: 138222 ... c Min unsat cost LB: 138642 ... c Min unsat cost LB: 139138 ... c Min unsat cost LB: 139356 ... c Min unsat cost LB: 139678 ... c Min unsat cost LB: 139850 ... c Min unsat cost LB: 140368 ... c Min unsat cost LB: 140728 ... c Min unsat cost LB: 141353 ... c Min unsat cost LB: 141743 ... c Min unsat cost LB: 141833 ... c Min unsat cost LB: 141875 ... c Min unsat cost LB: 143209 ... c Min unsat cost LB: 143366 ... c Min unsat cost LB: 143492 ... c Min unsat cost LB: 143940 ... c Min unsat cost LB: 143996 ... c Min unsat cost LB: 144296 ... c Min unsat cost LB: 144501 ... c Min unsat cost LB: 144843 ... c Min unsat cost LB: 144928 ... c Min unsat cost LB: 145575 ... c Min unsat cost LB: 145581 ... c Min unsat cost LB: 145780 ... c Min unsat cost LB: 147077 ... c Min unsat cost LB: 147134 ... c Min unsat cost LB: 147246 ... c Min unsat cost LB: 147390 ... c Min unsat cost LB: 147564 ... c Min unsat cost LB: 147791 ... c Min unsat cost LB: 147865 ... c Min unsat cost LB: 148272 ... c Min unsat cost LB: 148283 ... c Min unsat cost LB: 148741 ... c Min unsat cost LB: 149178 ... c Min unsat cost LB: 149660 ... c Min unsat cost LB: 150134 ... c Min unsat cost LB: 150577 ... c Min unsat cost LB: 150623 ... c Min unsat cost LB: 150794 ... c Min unsat cost LB: 151109 ... c Min unsat cost LB: 151880 ... c Min unsat cost LB: 151943 ... c Min unsat cost LB: 151983 ... c Min unsat cost LB: 153041 ... c Min unsat cost LB: 153385 ... c Min unsat cost LB: 153515 ... c Min unsat cost LB: 153548 ... c Min unsat cost LB: 153562 ... c Min unsat cost LB: 153568 ... c Min unsat cost LB: 154358 ... c Min unsat cost LB: 154442 ... c Min unsat cost LB: 154458 ... c Min unsat cost LB: 154665 ... c Min unsat cost LB: 154999 ... c Min unsat cost LB: 155270 ... c Min unsat cost LB: 155498 ... c Min unsat cost LB: 155499 ... c Min unsat cost LB: 155779 ... c Min unsat cost LB: 156105 ... c Min unsat cost LB: 156475 ... c Min unsat cost LB: 156583 ... c Min unsat cost LB: 157132 ... c Min unsat cost LB: 157160 ... c Min unsat cost LB: 157250 ... c Min unsat cost LB: 157422 ... c Min unsat cost LB: 157449 ... c Min unsat cost LB: 157476 ... c Min unsat cost LB: 158731 ... c Min unsat cost LB: 158888 ... c Min unsat cost LB: 159022 ... c Min unsat cost LB: 159066 ... c Min unsat cost LB: 159112 ... c Min unsat cost LB: 159149 ... c Min unsat cost LB: 159338 ... c Min unsat cost LB: 159445 ... c Min unsat cost LB: 159488 ... c Min unsat cost LB: 159566 ... c Min unsat cost LB: 159703 ... c Min unsat cost LB: 159823 ... c Min unsat cost LB: 160014 ... c Min unsat cost LB: 160149 ... c Min unsat cost LB: 160247 ... c Min unsat cost LB: 160252 ... c Min unsat cost LB: 160488 ... c Min unsat cost LB: 160654 ... c Min unsat cost LB: 160763 ... c Min unsat cost LB: 161556 ... c Min unsat cost LB: 161722 ... c Min unsat cost LB: 161839 ... c Min unsat cost LB: 161884 ... c Min unsat cost LB: 162890 ... c Min unsat cost LB: 163203 ... c Min unsat cost LB: 163647 ... c Min unsat cost LB: 163658 ... c Min unsat cost LB: 164116 ... c Min unsat cost LB: 164199 ... c Min unsat cost LB: 164700 ... c Min unsat cost LB: 164863 ... c Min unsat cost LB: 164874 ... c Min unsat cost LB: 164895 ... c Min unsat cost LB: 164960 ... c Min unsat cost LB: 165044 ... c Min unsat cost LB: 165048 ... c Min unsat cost LB: 165110 ... c Min unsat cost LB: 165536 ... c Min unsat cost LB: 165720 ... c Min unsat cost LB: 165915 ... c Min unsat cost LB: 166103 ... c Min unsat cost LB: 166419 ... c Min unsat cost LB: 166801 ... c Min unsat cost LB: 166987 ... c Min unsat cost LB: 167087 ... c Min unsat cost LB: 168264 ... c Min unsat cost LB: 168336 ... c Min unsat cost LB: 168476 ... c Min unsat cost LB: 169519 ... c Min unsat cost LB: 169691 ... c Min unsat cost LB: 169734 ... c Min unsat cost LB: 170285 ... c Min unsat cost LB: 170478 ... c Min unsat cost LB: 170609 ... c Min unsat cost LB: 170767 ... c Min unsat cost LB: 171221 ... c Min unsat cost LB: 171462 ... c Min unsat cost LB: 171544 ... c Min unsat cost LB: 171553 ... c Min unsat cost LB: 171786 ... c Min unsat cost LB: 172021 ... c Min unsat cost LB: 172544 ... c Min unsat cost LB: 172644 ... c Min unsat cost LB: 172784 ... c Min unsat cost LB: 172788 ... c Min unsat cost LB: 172796 ... c Min unsat cost LB: 172878 ... c Min unsat cost LB: 172960 ... c Min unsat cost LB: 173036 ... c Min unsat cost LB: 173082 ... c Min unsat cost LB: 173109 ... c Min unsat cost LB: 173126 ... c Min unsat cost LB: 173136 ... c Min unsat cost LB: 173229 ... c Min unsat cost LB: 173242 ... c Min unsat cost LB: 173256 ... c Min unsat cost LB: 173260 ... c Min unsat cost LB: 173268 ... c Min unsat cost LB: 173281 ... c Min unsat cost LB: 173288 ... c Min unsat cost LB: 173290 ... c Min unsat cost LB: 173295 ... c Min unsat cost LB: 173316 ... c Min unsat cost LB: 173322 ... c Min unsat cost LB: 173346 ... c Min unsat cost LB: 173350 ... c Min unsat cost LB: 173358 ... c Min unsat cost LB: 173371 ... c Min unsat cost LB: 173372 ... c Min unsat cost LB: 173417 ... c Min unsat cost LB: 173444 ... c Min unsat cost LB: 173446 ... c Min unsat cost LB: 173448 ... c Min unsat cost LB: 173449 ... c Min unsat cost LB: 173453 ... c Min unsat cost LB: 173457 ... c Min unsat cost LB: 173465 ... c Min unsat cost LB: 173467 ... c Min unsat cost LB: 173469 ... c Min unsat cost LB: 173471 ... c Min unsat cost LB: 173477 ... c Min unsat cost LB: 173485 ... c Min unsat cost LB: 173489 ... c Min unsat cost LB: 173498 ... c Min unsat cost LB: 173502 ... c Min unsat cost LB: 173503 ... c Min unsat cost LB: 173505 ... c Min unsat cost LB: 173508 ... c Min unsat cost LB: 173510 ... c Min unsat cost LB: 173512 ... c Min unsat cost LB: 173513 ... c Min unsat cost LB: 173519 ... c Min unsat cost LB: 173521 ... c Min unsat cost LB: 173523 ... c Min unsat cost LB: 173524 ... c Min unsat cost LB: 173525 ... c Min unsat cost LB: 173526 ... c Min unsat cost LB: 173527 ... c Min unsat cost LB: 173529 ... c Min unsat cost LB: 173530 ... c Min unsat cost LB: 173531 ... c Min unsat cost LB: 173532 ... c Min unsat cost LB: 173533 ... c Min unsat cost LB: 173534 ... c Min unsat cost LB: 173535 ... c Min unsat cost LB: 173536 ... c Min unsat cost LB: 173538 ... c Min unsat cost LB: 173615 ... c Min unsat cost LB: 173661 ... c Min unsat cost LB: 173729 ... c Min unsat cost LB: 173801 ... c Min unsat cost LB: 173846 ... c Min unsat cost LB: 173869 ... c Min unsat cost LB: 173893 ... c Min unsat cost LB: 174612 ... c Min unsat cost LB: 174823 ... c Min unsat cost LB: 174878 ... c Min unsat cost LB: 175831 ... c Min unsat cost LB: 175853 ... c Min unsat cost LB: 175931 ... c Min unsat cost LB: 176104 ... c Min unsat cost LB: 176358 ... c Min unsat cost LB: 176469 ... c Min unsat cost LB: 176659 ... c Min unsat cost LB: 177751 ... c Min unsat cost LB: 177770 ... c Min unsat cost LB: 178241 ... c Min unsat cost LB: 178498 ... c Min unsat cost LB: 178500 ... c Min unsat cost LB: 178970 ... c Min unsat cost LB: 179014 ... c Min unsat cost LB: 179793 ... c Min unsat cost LB: 179812 ... c Min unsat cost LB: 180916 ... c Min unsat cost LB: 181080 ... c Min unsat cost LB: 181374 ... c Min unsat cost LB: 181404 ... c Min unsat cost LB: 181409 ... c Min unsat cost LB: 181693 ... c Min unsat cost LB: 182379 ... c Min unsat cost LB: 182556 ... c Min unsat cost LB: 182830 ... c Min unsat cost LB: 182873 ... c Min unsat cost LB: 183352 ... c Min unsat cost LB: 183713 ... c Min unsat cost LB: 183726 ... c Min unsat cost LB: 183998 ... c Min unsat cost LB: 184102 ... c Min unsat cost LB: 184264 ... c Min unsat cost LB: 185005 ... c Min unsat cost LB: 185533 ... c Min unsat cost LB: 186418 ... c Min unsat cost LB: 186465 ... c Min unsat cost LB: 186614 ... c Min unsat cost LB: 187314 ... c Min unsat cost LB: 187390 ... c Min unsat cost LB: 187418 ... c Min unsat cost LB: 187601 ... c Min unsat cost LB: 187633 ... c Min unsat cost LB: 188290 ... c Min unsat cost LB: 188972 ... c Min unsat cost LB: 189261 ... c Min unsat cost LB: 189313 ... c Min unsat cost LB: 190020 ... c Min unsat cost LB: 190306 ... c Min unsat cost LB: 190534 ... c Min unsat cost LB: 190654 ... c Min unsat cost LB: 191237 ... c Min unsat cost LB: 191468 ... c Min unsat cost LB: 191470 ... c Min unsat cost LB: 191586 ... c Min unsat cost LB: 191696 ... c Min unsat cost LB: 192107 ... c Min unsat cost LB: 192741 ... c Min unsat cost LB: 193453 ... c Min unsat cost LB: 193505 ... c Min unsat cost LB: 193788 ... c Min unsat cost LB: 194049 ... c Min unsat cost LB: 194330 ... c Min unsat cost LB: 194635 ... c Min unsat cost LB: 195042 ... c Min unsat cost LB: 195185 ... c Min unsat cost LB: 195186 ... c Min unsat cost LB: 195213 ... c Min unsat cost LB: 195233 ... c Min unsat cost LB: 195621 ... c Min unsat cost LB: 196037 ... c Min unsat cost LB: 196129 ... c Min unsat cost LB: 196530 ... c Min unsat cost LB: 196603 ... c Min unsat cost LB: 196622 ... c Min unsat cost LB: 196690 ... c Min unsat cost LB: 196715 ... c Min unsat cost LB: 196782 ... c Min unsat cost LB: 197667 ... c Min unsat cost LB: 197699 ... c Min unsat cost LB: 197719 ... c Min unsat cost LB: 197746 ... c Min unsat cost LB: 198052 ... c Min unsat cost LB: 198267 ... c Min unsat cost LB: 198520 ... c Min unsat cost LB: 198525 ... c Min unsat cost LB: 198817 ... c Min unsat cost LB: 198836 ... c Min unsat cost LB: 199110 ... c Min unsat cost LB: 199202 ... c Min unsat cost LB: 199328 ... c Min unsat cost LB: 199403 ... c Min unsat cost LB: 199422 ... c Min unsat cost LB: 199495 ... c Min unsat cost LB: 199974 ... c Min unsat cost LB: 199984 ... c Min unsat cost LB: 200022 ... c Min unsat cost LB: 200144 ... c Min unsat cost LB: 200163 ... c Min unsat cost LB: 200166 ... c Min unsat cost LB: 200173 ... c Min unsat cost LB: 200185 ... c Min unsat cost LB: 200666 ... c Min unsat cost LB: 200926 ... c Min unsat cost LB: 200955 ... c Min unsat cost LB: 201077 ... c Min unsat cost LB: 201080 ... c Min unsat coKilled 1814.477u 5.256s 30:23.29 99.8% 0+0k 0+0io 0pf+0w