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-300-1_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-3.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-300-1_network-3.net.wcnf *** c c Min unsat cost LB: 1135 ... c Min unsat cost LB: 1481 ... c Min unsat cost LB: 2283 ... c Min unsat cost LB: 4088 ... c Min unsat cost LB: 4307 ... c Min unsat cost LB: 6967 ... c Min unsat cost LB: 7366 ... c Min unsat cost LB: 8939 ... c Min unsat cost LB: 9208 ... c Min unsat cost LB: 10506 ... c Min unsat cost LB: 11661 ... c Min unsat cost LB: 13143 ... c Min unsat cost LB: 13760 ... c Min unsat cost LB: 13790 ... c Min unsat cost LB: 15572 ... c Min unsat cost LB: 16142 ... c Min unsat cost LB: 17757 ... c Min unsat cost LB: 18581 ... c Min unsat cost LB: 20037 ... c Min unsat cost LB: 21620 ... c Min unsat cost LB: 22395 ... c Min unsat cost LB: 22975 ... c Min unsat cost LB: 23276 ... c Min unsat cost LB: 23876 ... c Min unsat cost LB: 24660 ... c Min unsat cost LB: 25509 ... c Min unsat cost LB: 26833 ... c Min unsat cost LB: 27039 ... c Min unsat cost LB: 27090 ... c Min unsat cost LB: 27891 ... c Min unsat cost LB: 28441 ... c Min unsat cost LB: 28993 ... c Min unsat cost LB: 29650 ... c Min unsat cost LB: 31076 ... c Min unsat cost LB: 31166 ... c Min unsat cost LB: 31429 ... c Min unsat cost LB: 32530 ... c Min unsat cost LB: 32847 ... c Min unsat cost LB: 33184 ... c Min unsat cost LB: 33634 ... c Min unsat cost LB: 34142 ... c Min unsat cost LB: 35386 ... c Min unsat cost LB: 36845 ... c Min unsat cost LB: 36968 ... c Min unsat cost LB: 37418 ... c Min unsat cost LB: 38191 ... c Min unsat cost LB: 39004 ... c Min unsat cost LB: 39140 ... c Min unsat cost LB: 39151 ... c Min unsat cost LB: 39390 ... c Min unsat cost LB: 39899 ... c Min unsat cost LB: 40774 ... c Min unsat cost LB: 41629 ... c Min unsat cost LB: 41843 ... c Min unsat cost LB: 43174 ... c Min unsat cost LB: 44843 ... c Min unsat cost LB: 45508 ... c Min unsat cost LB: 45655 ... c Min unsat cost LB: 46471 ... c Min unsat cost LB: 46590 ... c Min unsat cost LB: 46928 ... c Min unsat cost LB: 47907 ... c Min unsat cost LB: 48357 ... c Min unsat cost LB: 49408 ... c Min unsat cost LB: 49860 ... c Min unsat cost LB: 50097 ... c Min unsat cost LB: 50208 ... c Min unsat cost LB: 50961 ... c Min unsat cost LB: 51825 ... c Min unsat cost LB: 51891 ... c Min unsat cost LB: 51934 ... c Min unsat cost LB: 52550 ... c Min unsat cost LB: 52701 ... c Min unsat cost LB: 53498 ... c Min unsat cost LB: 53741 ... c Min unsat cost LB: 53883 ... c Min unsat cost LB: 54066 ... c Min unsat cost LB: 54748 ... c Min unsat cost LB: 54774 ... c Min unsat cost LB: 54914 ... c Min unsat cost LB: 55476 ... c Min unsat cost LB: 56010 ... c Min unsat cost LB: 56369 ... c Min unsat cost LB: 57452 ... c Min unsat cost LB: 57573 ... c Min unsat cost LB: 57663 ... c Min unsat cost LB: 57759 ... c Min unsat cost LB: 57876 ... c Min unsat cost LB: 57935 ... c Min unsat cost LB: 58030 ... c Min unsat cost LB: 58376 ... c Min unsat cost LB: 58834 ... c Min unsat cost LB: 59099 ... c Min unsat cost LB: 59127 ... c Min unsat cost LB: 59334 ... c Min unsat cost LB: 59738 ... c Min unsat cost LB: 60028 ... c Min unsat cost LB: 60314 ... c Min unsat cost LB: 60433 ... c Min unsat cost LB: 60572 ... c Min unsat cost LB: 60824 ... c Min unsat cost LB: 61620 ... c Min unsat cost LB: 61923 ... c Min unsat cost LB: 62159 ... c Min unsat cost LB: 62794 ... c Min unsat cost LB: 63042 ... c Min unsat cost LB: 63445 ... c Min unsat cost LB: 63498 ... c Min unsat cost LB: 63732 ... c Min unsat cost LB: 63745 ... c Min unsat cost LB: 63801 ... c Min unsat cost LB: 64230 ... c Min unsat cost LB: 64469 ... c Min unsat cost LB: 65293 ... c Min unsat cost LB: 65485 ... c Min unsat cost LB: 66132 ... c Min unsat cost LB: 66291 ... c Min unsat cost LB: 66643 ... c Min unsat cost LB: 66783 ... c Min unsat cost LB: 66828 ... c Min unsat cost LB: 66858 ... c Min unsat cost LB: 67860 ... c Min unsat cost LB: 67891 ... c Min unsat cost LB: 68056 ... c Min unsat cost LB: 68854 ... c Min unsat cost LB: 69507 ... c Min unsat cost LB: 69723 ... c Min unsat cost LB: 69729 ... c Min unsat cost LB: 69840 ... c Min unsat cost LB: 70060 ... c Min unsat cost LB: 70153 ... c Min unsat cost LB: 70171 ... c Min unsat cost LB: 70428 ... c Min unsat cost LB: 70984 ... c Min unsat cost LB: 71224 ... c Min unsat cost LB: 71535 ... c Min unsat cost LB: 71554 ... c Min unsat cost LB: 71775 ... c Min unsat cost LB: 72005 ... c Min unsat cost LB: 72607 ... c Min unsat cost LB: 72674 ... c Min unsat cost LB: 73342 ... c Min unsat cost LB: 73547 ... c Min unsat cost LB: 74049 ... c Min unsat cost LB: 74075 ... c Min unsat cost LB: 74123 ... c Min unsat cost LB: 74482 ... c Min unsat cost LB: 74975 ... c Min unsat cost LB: 75385 ... c Min unsat cost LB: 75784 ... c Min unsat cost LB: 76160 ... c Min unsat cost LB: 76162 ... c Min unsat cost LB: 77098 ... c Min unsat cost LB: 78081 ... c Min unsat cost LB: 78750 ... c Min unsat cost LB: 79393 ... c Min unsat cost LB: 79739 ... c Min unsat cost LB: 80055 ... c Min unsat cost LB: 80421 ... c Min unsat cost LB: 80706 ... c Min unsat cost LB: 81011 ... c Min unsat cost LB: 81379 ... c Min unsat cost LB: 81423 ... c Min unsat cost LB: 81598 ... c Min unsat cost LB: 81616 ... c Min unsat cost LB: 81736 ... c Min unsat cost LB: 81866 ... c Min unsat cost LB: 81927 ... c Min unsat cost LB: 81963 ... c Min unsat cost LB: 82252 ... c Min unsat cost LB: 82579 ... c Min unsat cost LB: 82750 ... c Min unsat cost LB: 83836 ... c Min unsat cost LB: 84021 ... c Min unsat cost LB: 84544 ... c Min unsat cost LB: 84565 ... c Min unsat cost LB: 84677 ... c Min unsat cost LB: 85458 ... c Min unsat cost LB: 86994 ... c Min unsat cost LB: 87069 ... c Min unsat cost LB: 87872 ... c Min unsat cost LB: 88358 ... c Min unsat cost LB: 88694 ... c Min unsat cost LB: 88809 ... c Min unsat cost LB: 89616 ... c Min unsat cost LB: 89638 ... c Min unsat cost LB: 89732 ... c Min unsat cost LB: 90228 ... c Min unsat cost LB: 90394 ... c Min unsat cost LB: 90615 ... c Min unsat cost LB: 91082 ... c Min unsat cost LB: 91326 ... c Min unsat cost LB: 91997 ... c Min unsat cost LB: 92775 ... c Min unsat cost LB: 93298 ... c Min unsat cost LB: 93363 ... c Min unsat cost LB: 93817 ... c Min unsat cost LB: 94008 ... c Min unsat cost LB: 94213 ... c Min unsat cost LB: 94218 ... c Min unsat cost LB: 95358 ... c Min unsat cost LB: 95501 ... c Min unsat cost LB: 95740 ... c Min unsat cost LB: 95844 ... c Min unsat cost LB: 96244 ... c Min unsat cost LB: 96301 ... c Min unsat cost LB: 96606 ... c Min unsat cost LB: 97569 ... c Min unsat cost LB: 97716 ... c Min unsat cost LB: 97770 ... c Min unsat cost LB: 98563 ... c Min unsat cost LB: 98657 ... c Min unsat cost LB: 98813 ... c Min unsat cost LB: 99192 ... c Min unsat cost LB: 99393 ... c Min unsat cost LB: 99723 ... c Min unsat cost LB: 99761 ... c Min unsat cost LB: 100125 ... c Min unsat cost LB: 101182 ... c Min unsat cost LB: 101227 ... c Min unsat cost LB: 101413 ... c Min unsat cost LB: 101618 ... c Min unsat cost LB: 102077 ... c Min unsat cost LB: 102704 ... c Min unsat cost LB: 102705 ... c Min unsat cost LB: 102843 ... c Min unsat cost LB: 103603 ... c Min unsat cost LB: 103718 ... c Min unsat cost LB: 104607 ... c Min unsat cost LB: 104816 ... c Min unsat cost LB: 105165 ... c Min unsat cost LB: 105315 ... c Min unsat cost LB: 106065 ... c Min unsat cost LB: 106693 ... c Min unsat cost LB: 107000 ... c Min unsat cost LB: 108068 ... c Min unsat cost LB: 108201 ... c Min unsat cost LB: 108240 ... c Min unsat cost LB: 108399 ... c Min unsat cost LB: 109376 ... c Min unsat cost LB: 110138 ... c Min unsat cost LB: 110182 ... c Min unsat cost LB: 110276 ... c Min unsat cost LB: 110513 ... c Min unsat cost LB: 111062 ... c Min unsat cost LB: 111100 ... c Min unsat cost LB: 111850 ... c Min unsat cost LB: 112102 ... c Min unsat cost LB: 112103 ... c Min unsat cost LB: 112190 ... c Min unsat cost LB: 112452 ... c Min unsat cost LB: 112810 ... c Min unsat cost LB: 113003 ... c Min unsat cost LB: 113160 ... c Min unsat cost LB: 114034 ... c Min unsat cost LB: 114218 ... c Min unsat cost LB: 114327 ... c Min unsat cost LB: 114447 ... c Min unsat cost LB: 114549 ... c Min unsat cost LB: 114602 ... c Min unsat cost LB: 114603 ... c Min unsat cost LB: 114693 ... c Min unsat cost LB: 114749 ... c Min unsat cost LB: 114762 ... c Min unsat cost LB: 114815 ... c Min unsat cost LB: 114816 ... c Min unsat cost LB: 114853 ... c Min unsat cost LB: 114891 ... c Min unsat cost LB: 114922 ... c Min unsat cost LB: 114973 ... c Min unsat cost LB: 115760 ... c Min unsat cost LB: 116193 ... c Min unsat cost LB: 116344 ... c Min unsat cost LB: 116973 ... c Min unsat cost LB: 117030 ... c Min unsat cost LB: 117214 ... c Min unsat cost LB: 117770 ... c Min unsat cost LB: 118195 ... c Min unsat cost LB: 118196 ... c Min unsat cost LB: 118204 ... c Min unsat cost LB: 118210 ... c Min unsat cost LB: 118229 ... c Min unsat cost LB: 118250 ... c Min unsat cost LB: 118254 ... c Min unsat cost LB: 118290 ... c Min unsat cost LB: 118292 ... c Min unsat cost LB: 118296 ... c Min unsat cost LB: 118297 ... c Min unsat cost LB: 118311 ... c Min unsat cost LB: 118327 ... c Min unsat cost LB: 118329 ... c Min unsat cost LB: 118330 ... c Min unsat cost LB: 118331 ... c Min unsat cost LB: 118335 ... c Min unsat cost LB: 118343 ... c Min unsat cost LB: 118344 ... c Min unsat cost LB: 118345 ... c Min unsat cost LB: 118349 ... c Min unsat cost LB: 118357 ... c Min unsat cost LB: 118358 ... c Min unsat cost LB: 118360 ... c Min unsat cost LB: 118362 ... c Min unsat cost LB: 118363 ... c Min unsat cost LB: 118368 ... c Min unsat cost LB: 118376 ... c Min unsat cost LB: 118377 ... c Min unsat cost LB: 118380 ... c Min unsat cost LB: 118381 ... c Min unsat cost LB: 118387 ... c Min unsat cost LB: 118393 ... c Min unsat cost LB: 118396 ... c Min unsat cost LB: 118401 ... c Min unsat cost LB: 118402 ... c Min unsat cost LB: 118403 ... c Min unsat cost LB: 118404 ... c Min unsat cost LB: 118412 ... c Min unsat cost LB: 118416 ... c Min unsat cost LB: 118800 ... c Min unsat cost LB: 118901 ... c Min unsat cost LB: 119201 ... c Min unsat cost LB: 119566 ... c Min unsat cost LB: 119591 ... c Min unsat cost LB: 119679 ... c Min unsat cost LB: 119680 ... c Min unsat cost LB: 119681 ... c Min unsat cost LB: 119682 ... c Min unsat cost LB: 119688 ... c Min unsat cost LB: 119719 ... c Min unsat cost LB: 119817 ... c Min unsat cost LB: 120056 ... c Min unsat cost LB: 120057 ... c Min unsat cost LB: 120058 ... c Min unsat cost LB: 120059 ... c Min unsat cost LB: 120175 ... c Min unsat cost LB: 120740 ... c Min unsat cost LB: 120741 ... c Min unsat cost LB: 121045 ... c Min unsat cost LB: 121322 ... c Min unsat cost LB: 121341 ... c Min unsat cost LB: 121434 ... c Min unsat cost LB: 121505 ... c Min unsat cost LB: 122687 ... c Min unsat cost LB: 122715 ... c Min unsat cost LB: 122751 ... c Min unsat cost LB: 122784 ... c Min unsat cost LB: 122896 ... c Min unsat cost LB: 123660 ... c Min unsat cost LB: 123744 ... c Min unsat cost LB: 123783 ... c Min unsat cost LB: 124070 ... c Min unsat cost LB: 124083 ... c Min unsat cost LB: 124263 ... c Min unsat cost LB: 124264 ... c Min unsat cost LB: 124619 ... c Min unsat cost LB: 124632 ... c Min unsat cost LB: 125147 ... c Min unsat cost LB: 125484 ... c Min unsat cost LB: 125796 ... c Min unsat cost LB: 126162 ... c Min unsat cost LB: 126180 ... c Min unsat cost LB: 126268 ... c Min unsat cost LB: 126390 ... c Min unsat cost LB: 126498 ... c Min unsat cost LB: 127208 ... c Min unsat cost LB: 127221 ... c Min unsat cost LB: 127376 ... c Min unsat cost LB: 127377 ... c Min unsat cost LB: 127378 ... c Min unsat cost LB: 127379 ... c Min unsat cost LB: 127380 ... c Min unsat cost LB: 127381 ... c Min unsat cost LB: 127382 ... c Min unsat cost LB: 127384 ... c Min unsat cost LB: 127385 ... c Min unsat cost LB: 127386 ... c Min unsat cost LB: 127389 ... c Min unsat cost LB: 128757 ... c Min unsat cost LB: 128769 ... c Min unsat cost LB: 129340 ... c Min unsat cost LB: 129914 ... c Min unsat cost LB: 130327 ... c Min unsat cost LB: 130803 ... c Min unsat cost LB: 131045 ... c Min unsat cost LB: 131322 ... c Min unsat cost LB: 131334 ... c Min unsat cost LB: 131357 ... c Min unsat cost LB: 131437 ... c Min unsat cost LB: 131914 ... c Min unsat cost LB: 132148 ... c Min unsat cost LB: 132370 ... c Min unsat cost LB: 132398 ... c Min unsat cost LB: 133197 ... c Min unsat cost LB: 133306 ... c Min unsat cost LB: 133336 ... c Min unsat cost LB: 133512 ... c Min unsat cost LB: 133630 ... c Min unsat cost LB: 134524 ... c Min unsat cost LB: 134629 ... c Min unsat cost LB: 135079 ... c Min unsat cost LB: 135467 ... c Min unsat cost LB: 136302 ... c Min unsat cost LB: 136310 ... c Min unsat cost LB: 136643 ... c Min unsat cost LB: 136743 ... c Min unsat cost LB: 136769 ... c Min unsat cost LB: 136911 ... c Min unsat cost LB: 137268 ... c Min unsat cost LB: 137318 ... c Min unsat cost LB: 137568 ... c Min unsat cost LB: 138105 ... c Min unsat cost LB: 138143 ... c Min unsat cost LB: 138231 ... c Min unsat cost LB: 138323 ... c Min unsat cost LB: 138415 ... c Min unsat cost LB: 138488 ... c Min unsat cost LB: 138594 ... c Min unsat cost LB: 138858 ... c Min unsat cost LB: 139069 ... c Min unsat cost LB: 139112 ... c Min unsat cost LB: 139490 ... c Min unsat cost LB: 140627 ... c Min unsat cost LB: 140846 ... c Min unsat cost LB: 141094 ... c Min unsat cost LB: 141098 ... c Min unsat cost LB: 141169 ... c Min unsat cost LB: 141628 ... c Min unsat cost LB: 142334 ... c Min unsat cost LB: 142398 ... c Min unsat cost LB: 142578 ... c Min unsat cost LB: 142820 ... c Min unsat cost LB: 142896 ... c Min unsat cost LB: 142974 ... c Min unsat cost LB: 143063 ... c Min unsat cost LB: 143605 ... c Min unsat cost LB: 144410 ... c Min unsat cost LB: 144439 ... c Min unsat cost LB: 144545 ... c Min unsat cost LB: 144582 ... c Min unsat cost LB: 144748 ... c Min unsat cost LB: 144749 ... c Min unsat cost LB: 144751 ... c Min unsat cost LB: 144974 ... c Min unsat cost LB: 144975 ... c Min unsat cost LB: 144978 ... c Min unsat cost LB: 145000 ... c Min unsat cost LB: 145082 ... c Min unsat cost LB: 145369 ... c Min unsat cost LB: 145374 ... c Min unsat cost LB: 145377 ... c Min unsat cost LB: 145392 ... c Min unsat cost LB: 145414 ... c Min unsat cost LB: 145504 ... c Min unsat cost LB: 145509 ... c Min unsat cost LB: 145520 ... c Min unsat cost LB: 145541 ... c Min unsat cost LB: 145544 ... c Min unsat cost LB: 145549 ... c Min unsat cost LB: 145552 ... c Min unsat cost LB: 145571 ... c Min unsat cost LB: 145574 ... c Min unsat cost LB: 145755 ... c Min unsat cost LB: 145790 ... c Min unsat cost LB: 145794 ... c Min unsat cost LB: 145809 ... c Min unsat cost LB: 145834 ... c Min unsat cost LB: 145880 ... c Min unsat cost LB: 146121 ... c Min unsat cost LB: 146134 ... c Min unsat cost LB: 146257 ... c Min unsat cost LB: 146618 ... c Min unsat cost LB: 146621 ... c Min unsat cost LB: 146705 ... c Min unsat cost LB: 146738 ... c Min unsat cost LB: 146751 ... c Min unsat cost LB: 146930 ... c Min unsat cost LB: 146996 ... c Min unsat cost LB: 147114 ... c Min unsat cost LB: 147161 ... c Min unsat cost LB: 147511 ... c Min unsat cost LB: 148285 ... c Min unsat cost LB: 148398 ... c Min unsat cost LB: 148401 ... c Min unsat cost LB: 148421 ... c Min unsat cost LB: 149108 ... c Min unsat cost LB: 149448 ... c Min unsat cost LB: 149621 ... c Min unsat cost LB: 149653 ... c Min unsat cost LB: 149691 ... c Min unsat cost LB: 149885 ... c Min unsat cost LB: 149973 ... c Min unsat cost LB: 149989 ... c Min unsat cost LB: 150280 ... c Min unsat cost LB: 150389 ... c Min unsat cost LB: 150634 ... c Min unsat cost LB: 150635 ... c Min unsat cost LB: 150639 ... c Min unsat cost LB: 150641 ... c Min unsat cost LB: 150712 ... c Min unsat cost LB: 150713 ... c Min unsat cost LB: 150926 ... c Min unsat cost LB: 150930 ... c Min unsat cost LB: 150946 ... c Min unsat cost LB: 150958 ... c Min unsat cost LB: 150961 ... c Min unsat cost LB: 150962 ... c Min unsat cost LB: 150963 ... c Min unsat cost LB: 150964 ... c Min unsat cost LB: 150966 ... c Min unsat cost LB: 150971 ... c Min unsat cost LB: 151688 ... c Min unsat cost LB: 151699 ... c Min unsat cost LB: 151749 ... c Min unsat cost LB: 151836 ... c Min unsat cost LB: 151874 ... c Min unsat cost LB: 152053 ... c Min unsat cost LB: 152075 ... c Min unsat cost LB: 152288 ... c Min unsat cost LB: 152357 ... c Min unsat cost LB: 152432 ... c Min unsat cost LB: 152653 ... c Min unsat cost LB: 152666 ... c Min unsat cost LB: 152855 ... c Min unsat cost LB: 153028 ... c Min unsat cost LB: 153091 ... c Min unsat cost LB: 153162 ... c Min unsat cost LB: 153385 ... c Min unsat cost LB: 154064 ... c Min unsat cost LB: 154323 ... c Min unsat cost LB: 154378 ... c Min unsat cost LB: 154429 ... c Min unsat cost LB: 154456 ... c Min unsat cost LB: 154509 ... c Min unsat cost LB: 155745 ... c Min unsat cost LB: 155792 ... c Min unsat cost LB: 155857 ... c Min unsat cost LB: 155877 ... c Min unsat cost LB: 156004 ... c Min unsat cost LB: 156186 ... c Min unsat cost LB: 156576 ... c Min unsat cost LB: 156583 ... c Min unsat cost LB: 156604 ... c Min unsat cost LB: 156767 ... c Min unsat cost LB: 156858 ... c Min unsat cost LB: 157002 ... c Min unsat cost LB: 157541 ... c Min unsat cost LB: 157581 ... c Min unsat cost LB: 157930 ... c Min unsat cost LB: 157939 ... c Min unsat cost LB: 158299 ... c Min unsat cost LB: 159520 ... c Min unsat cost LB: 159719 ... c Min unsat cost LB: 159919 ... c Min unsat cost LB: 159947 ... c Min unsat cost LB: 159953 ... c Min unsat cost LB: 160316 ... c Min unsat cost LB: 160406 ... c Min unsat cost LB: 160472 ... c Min unsat cost LB: 160944 ... c Min unsat cost LB: 160980 ... c Min unsat cost LB: 160990 ... c Min unsat cost LB: 161119 ... c Min unsat cost LB: 161261 ... c Min unsat cost LB: 161831 ... c Min unsat cost LB: 161972 ... c Min unsat cost LB: 162107 ... c Min unsat cost LB: 162117 ... c Min unsat cost LB: 162182 ... c Min unsat cost LB: 162194 ... c Min unsat cost LB: 163571 ... c Min unsat cost LB: 163750 ... c Min unsat cost LB: 163817 ... c Min unsat cost LB: 164377 ... c Min unsat cost LB: 164613 ... c Min unsat cost LB: 164665 ... c Min unsat cost LB: 164758 ... c Min unsat cost LB: 165366 ... c Min unsat cost LB: 166125 ... c Min unsat cost LB: 166350 ... c Min unsat cost LB: 166698 ... c Min unsat cost LB: 166742 ... c Min unsat cost LB: 166883 ... c Min unsat cost LB: 166900 ... c Min unsat cost LB: 168041 ... c Min unsat cost LB: 168365 ... c Min unsat cost LB: 168792 ... c Min unsat cost LB: 168919 ... c Min unsat cost LB: 168957 ... c Min unsat cost LB: 169224 ... c Min unsat cost LB: 169510 ... c Min unsat cost LB: 169529 ... c Min unsat cost LB: 169782 ... c Min unsat cost LB: 169953 ... c Min unsat cost LB: 170627 ... c Min unsat cost LB: 170639 ... c Min unsat cost LB: 170665 ... c Min unsat cost LB: 170761 ... c Min unsat cost LB: 171819 ... c Min unsat cost LB: 171900 ... c Min unsat cost LB: 171937 ... c Min unsat cost LB: 172465 ... c Min unsat cost LB: 172516 ... c Min unsat cost LB: 172554 ... c Min unsat cost LB: 172833 ... c Min unsat cost LB: 173198 ... c Min unsat cost LB: 173251 ... c Min unsat cost LB: 174198 ... c Min unsat cost LB: 174248 ... c Min unsat cost LB: 174583 ... c Min unsat cost LB: 174767 ... c Min unsat cost LB: 175551 ... c Min unsat cost LB: 175781 ... c Min unsat cost LB: 176004 ... c Min unsat cost LB: 176625 ... c Min unsat cost LB: 176717 ... c Min unsat cost LB: 176759 ... c Min unsat cost LB: 177154 ... c Min unsat cost LB: 177200 ... c Min unsat cost LB: 177215 ... c Min unsat cost LB: 177825 ... c Min unsat cost LB: 178129 ... c Min unsat cost LB: 178177 ... c Min unsat cost LB: 178323 ... c Min unsat cost LB: 178687 ... c Min unsat cost LB: 179958 ... c Min unsat cost LB: 180084 ... c Min unsat cost LB: 180236 ... c Min unsat cost LB: 180254 ... c Min unsat cost LB: 180336 ... c Min unsat cost LB: 180558 ... c Min unsat cost LB: 181044 ... c Min unsat cost LB: 181198 ... c Min unsat cost LB: 181642 ... c Min unsat cost LB: 181711 ... c Min unsat cost LB: 181719 ... c Min unsat cost LB: 182841 ... c Min unsat cost LB: 183012 ... c Min unsat cost LB: 183144 ... c Min unsat cost LB: 183523 ... c Min unsat cost LB: 184087 ... c Min unsat cost LB: 184332 ... c Min unsat cost LB: 184450 ... c Min unsat cost LB: 185007 ... c Min unsat cost LB: 185202 ... c Min unsat cost LB: 185833 ... c Min unsat cost LB: 185862 ... c Min unsat cost LB: 186268 ... c Min unsat cost LB: 186380 ... c Min unsat cost LB: 186831 ... c Min unsat cost LB: 186867 ... c Min unsat cost LB: 187046 ... c Min unsat cost LB: 187546 ... c Min unsat cost LB: 187891 ... c Min unsat cost LB: 188888 ... c Min unsat cost LB: 189095 ... c Min unsat cost LB: 189100 ... c Min unsat cost LB: 189101 ... c Min unsat cost LB: 189385 ... c Min unsat cost LB: 190132 ... c Min unsat cost LB: 190370 ... c Min unsat cost LB: 190729 ... c Min unsat cost LB: 190749 ... c Min unsat cost LB: 190918 ... c Min unsat cost LB: 190969 ... c Min unsat cost LB: 191003 ... c Min unsat cost LB: 191250 ... c Min unsat cost LB: 191342 ... c Min unsat cost LB: 191454 ... c Min unsat cost LB: 192142 ... c Min unsat cost LB: 192322 ... c Min unsat cost LB: 192494 ... c Min unsat cost LB: 193137 ... c Min unsat cost LB: 193387 ... c Min unsat cost LB: 193821 ... c Min unsat cost LB: 194281 ... c Min unsat cost LB: 194724 ... c Min unsat cost LB: 195129 ... c Min unsat cost LB: 195157 ... c Min unsat cost LB: 195221 ... c Min unsat cost LB: 195462 ... c Min unsat cost LB: 195563 ... c Min unsat cost LB: 195708 ... c Min unsat cost LB: 196222 ... c Min unsat cost LB: 196261 ... c Min unsat cost LB: 196398 ... c Min unsat cost LB: 196571 ... c Min unsat cost LB: 196594 ... c Min unsat cost LB: 196901 ... c Min unsat cost LB: 198319 ... c Min unsat cost LB: 198372 ... c Min unsat cost LB: 198577 ... c Min unsat cost LB: 198656 ... c Min unsat cost LB: 198761 ... c Min unsat cost LB: 198998 ... c Min unsat cost LB: 199059 ... c Min unsat cost LB: 199674 ... c Min unsat cost LB: 200457 ... c Min unsat cost LB: 200726 ... c Min unsat cost LB: 201941 ... c Min unsat cost LB: 202114 ... c Min unsat cost LB: 202368 ... c Min unsat cost LB: 202543 ... c Min unsat cost LB: 202754 ... c Min unsat cost LB: 202866 ... c Min unsat cost LB: 203765 ... c Min unsat cost LB: 204043 ... c Min unsat cost LB: 204186 ... c Min unsat cost LB: 204805 ... c Min unsat cost LB: 205299 ... c Min unsat cost LB: 205920 ... c Min unsat cost LB: 206056 ... c Min unsat cost LB: 206139 ... c Min unsat cost LB: 206177 ... c Min unsat cost LB: 206184 ... c Min unsat cost LB: 206262 ... c Min unsat cost LB: 206752 ... c Min unsat cost LB: 206756 ... c Min unsat cost LB: 207059 ... c Min unsat cost LB: 207562 ... c Min unsat cost LB: 208020 ... c Min unsat cost LB: 208103 ... c Min unsat cost LB: 208310 ... c Min unsat cost LB: 208311 ... c Min unsat cost LB: 208678 ... c Min unsat cost LB: 208679 ... c Min unsat cost LB: 208680 ... c Min unsat cost LB: 208681 ... c Min unsat cost LB: 208682 ... c Min unsat cost LB: 208683 ... c Min unsat cost LB: 208684 ... c Min unsat cost LB: 208685 ... c Min unsat cost LB: 208686 ... c Min unsat cost LB: 208687 ... c Min unsat cost LB: 209026 ... c Min unsat cost LB: 209277 ... c Min unsat cost LB: 209513 ... c Min unsat cost LB: 209516 ... c Min unsat cost LB: 209525 ... c Min unsat cost LB: 209606 ... c Min unsat cost LB: 209884 ... c Min unsat cost LB: 209885 ... c Min unsat cost LB: 209899 ... c Min unsat cost LB: 210594 ... c Min unsat cost LB: 210727 ... c Min unsat cost LB: 210872 ... c Min unsat cost LB: 211012 ... c Min unsat cost LB: 211067 ... c Min unsat cost LB: 211558 ... c Min unsat cost LB: 212184 ... c Min unsat cost LB: 212317 ... c Min unsat cost LB: 212438 ... c Min unsat cost LB: 212704 ... c Min unsat cost LB: 213391 ... c Min unsat cost LB: 213512 ... c Min unsat cost LB: 213556 ... c Min unsat cost LB: 213775 ... c Min unsat cost LB: 213850 ... c Min unsat cost LB: 214390 ... c Min unsat cost LB: 214497 ... c Min unsat cost LB: 214791 ... c Min unsat cost LB: 215764 ... c Min unsat cost LB: 215925 ... c Min unsat cost LB: 216208 ... c Min unsat cost LB: 216242 ... c Min unsat cost LB: 216266 ... c Min unsat cost LB: 216272 ... c Min unsat cost LB: 216302 ... c Min unsat cost LB: 216914 ... c Min unsat cost LB: 217020 ... c Min unsat cost LB: 217143 ... c Min unsat cost LB: 217250 ... c Min unsat cost LB: 217276 ... c Min unsat cost LB: 217283 ... c Min unsat cost LB: 217308 ... c Min unsat cost LB: 217365 ... c Min unsat cost LB: 217389 ... c Min unsat cost LB: 217441 ... c Min unsat cost LB: 217496 ... c Min unsat cost LB: 217527 ... c Min unsat cost LB: 217533 ... c Min unsat cost LB: 217562 ... c Min unsat cost LB: 218196 ... c Min unsat cost LB: 218605 ... c Min unsat cost LB: 218791 ... c Min unsat cost LB: 218811 ... c Min unsat cost LB: 218837 ... c Min unsat cost LB: 218843 ... c Min unsat cost LB: 218844 ... c Min unsat cost LB: 218850 ... c Min unsat cost LB: 218860 ... c Min unsat cost LB: 218862 ... c Min unsat cost LB: 219197 ... c Min unsat cost LB: 219606 ... c Min unsat cost LB: 219902 ... c Min unsat cost LB: 220594 ... c Min unsat cost LB: 220804 ... c Min unsat cost LB: 220828 ... c Min unsat cost LB: 220908 ... c Min unsat cost LB: 221064 ... c Min unsat cost LB: 221262 ... c Min unsat cost LB: 221466 ... c Min unsat cost LB: 221910 ... c Min unsat cost LB: 222600 ... c Min unsat cost LB: 222624 ... c Min unsat cost LB: 222711 ... c Min unsat cost LB: 222957 ... c Min unsat cost LB: 223898 ... c Min unsat cost LB: 224173 ... c Min unsat cost LB: 224347 ... c Min unsat cost LB: 224900 ... c Min unsat cost LB: 225343 ... c Min unsat cost LB: 225742 ... c Min unsat cost LB: 225760 ... c Min unsat cost LB: 225792 ... c Min unsat cost LB: 226034 ... c Min unsat cost LB: 226303 ... c Min unsat cost LB: 226457 ... c Min unsat cost LB: 226980 ... c Min unsat cost LB: 226981 ... c Min unsat cost LB: 227014 ... c Min unsat cost LB: 227452 ... c Min unsat cost LB: 228326 ... c Min unsat cost LB: 229209 ... c Min unsat cost LB: 229211 ... c Min unsat cost LB: 229845 ... c Min unsat cost LB: 230095 ... c Min unsat cost LB: 230229 ... c Min unsat cost LB: 230293 ... c Min unsat cost LB: 230608 ... c Min unsat cost LB: 231409 ... c Min unsat cost LB: 231651 ... c Min unsat cost LB: 231896 ... c Min unsat cost LB: 232009 ... c Min unsat cost LB: 232199 ... c Min unsat cost LB: 232209 ... c Min unsat cost LB: 233297 ... c Min unsat cost LB: 233322 ... c Min unsat cost LB: 233568 ... c Min unsat cost LB: 233914 ... c Min unsat cost LB: 234012 ... c Min unsat cost LB: 234213 ... c Min unsat cost LB: 234944 ... c Min unsat cost LB: 235657 ... c Min unsat cost LB: 235725 ... c Min unsat cost LB: 235736 ... c Min unsat cost LB: 235747 ... c Min unsat cost LB: 235773 ... c Min unsat cost LB: 235795 ... c Min unsat cost LB: 236017 ... c Min unsat cost LB: 236028 ... c Min unsat cost LB: 236061 ... c Min unsat cost LB: 236067 ... c Min unsat cost LB: 236075 ... c Min unsat cost LB: 236243 ... c Min unsat cost LB: 236494 ... c Min unsat cost LB: 236584 ... c Min unsat cost LB: 236711 ... c Min unsat cost LB: 237571 ... c Min unsat cost LB: 237596 ... c Min unsat cost LB: 238140 ... c Min unsat cost LB: 238528 ... c Min unsat cost LB: 238802 ... c Min unsat cost LB: 238824 ... c Min unsat cost LB: 238830 ... c Min unsat cost LB: 238835 ... c Min unsat cost LB: 238846 ... c Min unsat cost LB: 238867 ... c Min unsat cost LB: 238872 ... c Min unsat cost LB: 238877 ... c Min unsat cost LB: 238878 ... c Min unsat cost LB: 238883 ... c Min unsat cost LB: 238884 ... c Min unsat cost LB: 238895 ... c Min unsat cost LB: 238898 ... c Min unsat cost LB: 238975 ... c Min unsat cost LB: 238996 ... c Min unsat cost LB: 239015 ... c Min unsat cost LB: 239192 ... c Min unsat cost LB: 239252 ... c Min unsat cost LB: 239285 ... c Min unsat cost LB: 239346 ... c Min unsat cost LB: 239993 ... c Min unsat cost LB: 240044 ... c Min unsat cost LB: 240142 ... c Min unsat cost LB: 240470 ... c Min unsat cost LB: 240804 ... c Min unsat cost LB: 240837 ... c Min unsat cost LB: 240980 ... c Min unsat cost LB: 241075 ... c Min unsat cost LB: 241253 ... c Min unsat cost LB: 241310 ... c Min unsat cost LB: 242066 ... c Min unsat cost LB: 242910 ... c Min unsat cost LB: 243017 ... c Min unsat cost LB: 243258 ... c Min unsat cost LB: 243438 ... c Min unsat cost LB: 243462 ... c Min unsat cost LB: 243486 ... c Min unsat cost LB: 243764 ... c Min unsat cost LB: 244427 ... c Min unsat cost LB: 244513 ... c Min unsat cost LB: 244517 ... c Min unsat cost LB: 244716 ... c Min unsat cost LB: 245313 ... c Min unsat cost LB: 245314 ... c Min unsat cost LB: 245765 ... c Min unsat cost LB: 245914 ... c Min unsat cost LB: 245995 ... c Min unsat cost LB: 246628 ... c Min unsat cost LB: 246659 ... c Min unsat cost LB: 246977 ... c Min unsat cost LB: 247266 ... c Min unsat cost LB: 247630 ... c Min unsat cost LB: 247826 ... c Min unsat cost LB: 248194 ... c Min unsat cost LB: 248389 ... c Min unsat cost LB: 248457 ... c Min unsat cost LB: 248728 ... c Min unsat cost LB: 249163 ... c Min unsat cost LB: 249364 ... c Min unsat cost LB: 249862 ... c Min unsat cost LB: 249874 ... c Min unsat cost LB: 250436 ... c Min unsat cost LB: 250464 ... c Min unsat cost LB: 250899 ... c Min unsat cost LB: 251035 ... c Min unsat cost LB: 251119 ... c Min unsat cost LB: 251221 ... c Min unsat cost LB: 251340 ... c Min unsat cost LB: 251411 ... c Min unsat cost LB: 251420 ... c Min unsat cost LB: 251489 ... c Min unsat cost LB: 251603 ... c Min unsat cost LB: 251613 ... c Min unsat cost LB: 251752 ... c Min unsat cost LB: 251760 ... c Min unsat cost LB: 251912 ... c Min unsat cost LB: 252625 ... c Min unsat cost LB: 252659 ... c Min unsat cost LB: 252757 ... c Min unsat cost LB: 253614 ... c Min unsat cost LB: 253675 ... c Min unsat cost LB: 253760 ... c Min unsat cost LB: 254621 ... c Min unsat cost LB: 254756 ... c Min unsat cost LB: 254788 ... c Min unsat cost LB: 254836 ... c Min unsat cost LB: 254839 ... c Min unsat cost LB: 254943 ... c Min unsat cost LB: 255004 ... c Min unsat cost LB: 255013 ... c Min unsat cost LB: 255139 ... c Min unsat cost LB: 255582 ... c Min unsat cost LB: 255695 ... c Min unsat cost LB: 256526 ... c Min unsat cost LB: 257197 ... c Min unsat cost LB: 257403 ... c Min unsat cost LB: 257477 ... c Min unsat cost LB: 257604 ... c Min unsat cost LB: 257630 ... c Min unsat cost LB: 257707 ... c Min unsat cost LB: 258226 ... c Min unsat cost LB: 258262 ... c Min unsat cost LB: 258285 ... c Min unsat cost LB: 258367 ... c Min unsat cost LB: 258560 ... c Min unsat cost LB: 259183 ... c Min unsat cost LB: 259208 ... c Min unsat cost LB: 259237 ... c Min unsat cost LB: 259496 ... c Min unsat cost LB: 259520 ... c Min unsat cost LB: 259622 ... c Min unsat cost LB: 259677 ... c Min unsat cost LB: 259918 ... c Min unsat cost LB: 260022 ... c Min unsat cost LB: 260029 ... c Min unsat cost LB: 260100 ... c Min unsat cost LB: 261103 ... c Min unsat cost LB: 261220 ... c Min unsat cost LB: 261531 ... c Min unsat cost LB: 261707 ... c Min unsat cost LB: 261733 ... c Min unsat cost LB: 261774 ... c Min unsat cost LB: 261779 ... c Min unsat cost LB: 261782 ... c Min unsat cost LB: 261840 ... c Min unsat cost LB: 261854 ... c Min unsat cost LB: 261860 ... c Min unsat cost LB: 261892 ... c Min unsat cost LB: 262173 ... c Min unsat cost LB: 262294 ... c Min unsat cost LB: 262297 ... c Min unsat cost LB: 262300 ... c Min unsat cost LB: 262308 ... c Min unsat cost LB: 262311 ... c Min unsat cost LB: 262323 ... c Min unsat cost LB: 262326 ... c Min unsat cost LB: 262352 ... c Min unsat cost LB: 262361 ... c Min unsat cost LB: 262378 ... c Min unsat cost LB: 262381