Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_140_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0005.txt.wcnf *** c c Min unsat cost LB: 61 ... c Min unsat cost LB: 2033 ... c Min unsat cost LB: 2094 ... c Min unsat cost LB: 2155 ... c Min unsat cost LB: 4127 ... c Min unsat cost LB: 4188 ... c Min unsat cost LB: 6160 ... c Min unsat cost LB: 6221 ... c Min unsat cost LB: 6282 ... c Min unsat cost LB: 6343 ... c Min unsat cost LB: 6569 ... c Min unsat cost LB: 8541 ... c Min unsat cost LB: 10513 ... c Min unsat cost LB: 10964 ... c Min unsat cost LB: 12936 ... c Min unsat cost LB: 14908 ... c Min unsat cost LB: 16880 ... c Min unsat cost LB: 17331 ... c Min unsat cost LB: 17556 ... c Min unsat cost LB: 18007 ... c Min unsat cost LB: 19979 ... c Min unsat cost LB: 21951 ... c Min unsat cost LB: 22012 ... c Min unsat cost LB: 23984 ... c Min unsat cost LB: 24435 ... c Min unsat cost LB: 26407 ... c Min unsat cost LB: 26468 ... c Min unsat cost LB: 27989 ... c Min unsat cost LB: 28440 ... c Min unsat cost LB: 30412 ... c Min unsat cost LB: 30806 ... c Min unsat cost LB: 30867 ... c Min unsat cost LB: 32839 ... c Min unsat cost LB: 32900 ... c Min unsat cost LB: 32961 ... c Min unsat cost LB: 32964 ... c Min unsat cost LB: 33022 ... c Min unsat cost LB: 33082 ... c Min unsat cost LB: 33089 ... c Min unsat cost LB: 33141 ... c Min unsat cost LB: 33214 ... c Min unsat cost LB: 33665 ... c Min unsat cost LB: 35186 ... c Min unsat cost LB: 35311 ... c Min unsat cost LB: 37283 ... c Min unsat cost LB: 37408 ... c Min unsat cost LB: 37859 ... c Min unsat cost LB: 39831 ... c Min unsat cost LB: 39888 ... c Min unsat cost LB: 41860 ... c Min unsat cost LB: 42311 ... c Min unsat cost LB: 44283 ... c Min unsat cost LB: 44734 ... c Min unsat cost LB: 45185 ... c Min unsat cost LB: 45636 ... c Min unsat cost LB: 45761 ... c Min unsat cost LB: 46212 ... c Min unsat cost LB: 46663 ... c Min unsat cost LB: 46788 ... c Min unsat cost LB: 46916 ... c Min unsat cost LB: 47367 ... c Min unsat cost LB: 47492 ... c Min unsat cost LB: 47835 ... c Min unsat cost LB: 48161 ... c Min unsat cost LB: 48286 ... c Min unsat cost LB: 48629 ... c Min unsat cost LB: 48827 ... c Min unsat cost LB: 48952 ... c Min unsat cost LB: 49077 ... c Min unsat cost LB: 49273 ... c Min unsat cost LB: 49599 ... c Min unsat cost LB: 49724 ... c Min unsat cost LB: 50067 ... c Min unsat cost LB: 50451 ... c Min unsat cost LB: 50576 ... c Min unsat cost LB: 50643 ... c Min unsat cost LB: 50768 ... c Min unsat cost LB: 51111 ... c Min unsat cost LB: 51236 ... c Min unsat cost LB: 51523 ... c Min unsat cost LB: 53495 ... c Min unsat cost LB: 53620 ... c Min unsat cost LB: 53745 ... c Min unsat cost LB: 53806 ... c Min unsat cost LB: 53931 ... c Min unsat cost LB: 53992 ... c Min unsat cost LB: 54053 ... c Min unsat cost LB: 54178 ... c Min unsat cost LB: 54239 ... c Min unsat cost LB: 54242 ... c Min unsat cost LB: 54529 ... c Min unsat cost LB: 54816 ... c Min unsat cost LB: 55103 ... c Min unsat cost LB: 55390 ... c Min unsat cost LB: 55450 ... c Min unsat cost LB: 55575 ... c Min unsat cost LB: 55636 ... c Min unsat cost LB: 55962 ... c Min unsat cost LB: 56023 ... c Min unsat cost LB: 56170 ... c Min unsat cost LB: 56457 ... c Min unsat cost LB: 56518 ... c Min unsat cost LB: 56522 ... c Min unsat cost LB: 56582 ... c Min unsat cost LB: 56783 ... c Min unsat cost LB: 57065 ... c Min unsat cost LB: 57261 ... c Min unsat cost LB: 58024 ... c Min unsat cost LB: 58311 ... c Min unsat cost LB: 58312 ... c Min unsat cost LB: 58436 ... c Min unsat cost LB: 58561 ... c Min unsat cost LB: 58562 ... c Min unsat cost LB: 58686 ... c Min unsat cost LB: 58747 ... c Min unsat cost LB: 58748 ... c Min unsat cost LB: 58759 ... c Min unsat cost LB: 58762 ... c Min unsat cost LB: 58769 ... c Min unsat cost LB: 58821 ... c Min unsat cost LB: 58887 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59012 ... c Min unsat cost LB: 59054 ... c Min unsat cost LB: 59057 ... c Min unsat cost LB: 59073 ... c Min unsat cost LB: 59134 ... c Min unsat cost LB: 59182 ... c Min unsat cost LB: 59243 ... c Min unsat cost LB: 59259 ... c Min unsat cost LB: 59301 ... c Min unsat cost LB: 59320 ... c Min unsat cost LB: 59321 ... c Min unsat cost LB: 59381 ... c Min unsat cost LB: 59384 ... c Min unsat cost LB: 59426 ... c Min unsat cost LB: 59446 ... c Min unsat cost LB: 59478 ... c Min unsat cost LB: 59486 ... c Min unsat cost LB: 59547 ... c Min unsat cost LB: 59551 ... c Min unsat cost LB: 59636 ... c Min unsat cost LB: 59676 ... c Min unsat cost LB: 59737 ... c Min unsat cost LB: 59798 ... c Min unsat cost LB: 59859 ... c Min unsat cost LB: 61385 ... c Min unsat cost LB: 61446 ... c Min unsat cost LB: 61466 ... c Min unsat cost LB: 61912 ... c Min unsat cost LB: 62056 ... c Min unsat cost LB: 63967 ... c Min unsat cost LB: 64028 ... c Min unsat cost LB: 65856 ... c Min unsat cost LB: 65878 ... c Min unsat cost LB: 67377 ... c Min unsat cost LB: 67728 ... c Min unsat cost LB: 68586 ... c Min unsat cost LB: 69700 ... c Min unsat cost LB: 70558 ... c Min unsat cost LB: 71611 ... c Min unsat cost LB: 71652 ... c Min unsat cost LB: 71675 ... c Min unsat cost LB: 71995 ... c Min unsat cost LB: 72018 ... c Min unsat cost LB: 72038 ... c Min unsat cost LB: 72070 ... c Min unsat cost LB: 72076 ... c Min unsat cost LB: 72108 ... c Min unsat cost LB: 72175 ... c Min unsat cost LB: 72232 ... c Min unsat cost LB: 72428 ... c Min unsat cost LB: 72470 ... c Min unsat cost LB: 72473 ... c Min unsat cost LB: 72489 ... c Min unsat cost LB: 72497 ... c Min unsat cost LB: 72648 ... c Min unsat cost LB: 72682 ... c Min unsat cost LB: 72693 ... c Min unsat cost LB: 72728 ... c Min unsat cost LB: 72753 ... c Min unsat cost LB: 72926 ... c Min unsat cost LB: 72969 ... c Min unsat cost LB: 73035 ... c Min unsat cost LB: 73377 ... c Min unsat cost LB: 73388 ... c Min unsat cost LB: 73486 ... c Min unsat cost LB: 73659 ... c Min unsat cost LB: 73675 ... c Min unsat cost LB: 73937 ... c Min unsat cost LB: 73951 ... c Min unsat cost LB: 73985 ... c Min unsat cost LB: 74018 ... c Min unsat cost LB: 74110 ... c Min unsat cost LB: 74115 ... c Min unsat cost LB: 74280 ... c Min unsat cost LB: 74436 ... c Min unsat cost LB: 74481 ... c Min unsat cost LB: 74506 ... c Min unsat cost LB: 74531 ... c Min unsat cost LB: 74731 ... c Min unsat cost LB: 74762 ... c Min unsat cost LB: 74816 ... c Min unsat cost LB: 74859 ... c Min unsat cost LB: 74884 ... c Min unsat cost LB: 75045 ... c Min unsat cost LB: 75057 ... c Min unsat cost LB: 75118 ... c Min unsat cost LB: 75243 ... c Min unsat cost LB: 75396 ... c Min unsat cost LB: 75569 ... c Min unsat cost LB: 75637 ... c Min unsat cost LB: 75801 ... c Min unsat cost LB: 76123 ... c Min unsat cost LB: 76145 ... c Min unsat cost LB: 76252 ... c Min unsat cost LB: 76271 ... c Min unsat cost LB: 76332 ... c Min unsat cost LB: 76333 ... c Min unsat cost LB: 78052 ... c Min unsat cost LB: 78224 ... c Min unsat cost LB: 78305 ... c Min unsat cost LB: 80006 ... c Min unsat cost LB: 80196 ... c Min unsat cost LB: 80277 ... c Min unsat cost LB: 80300 ... c Min unsat cost LB: 81431 ... c Min unsat cost LB: 81464 ... c Min unsat cost LB: 82272 ... c Min unsat cost LB: 83036 ... c Min unsat cost LB: 83299 ... c Min unsat cost LB: 83318 ... c Min unsat cost LB: 84115 ... c Min unsat cost LB: 85290 ... c Min unsat cost LB: 85293 ... c Min unsat cost LB: 85313 ... c Min unsat cost LB: 85334 ... c Min unsat cost LB: 85335 ... c Min unsat cost LB: 85374 ... c Min unsat cost LB: 85396 ... c Min unsat cost LB: 85416 ... c Min unsat cost LB: 85419 ... c Min unsat cost LB: 85477 ... c Min unsat cost LB: 85494 ... c Min unsat cost LB: 85555 ... c Min unsat cost LB: 86087 ... c Min unsat cost LB: 86124 ... c Min unsat cost LB: 86125 ... c Min unsat cost LB: 86135 ... c Min unsat cost LB: 86167 ... c Min unsat cost LB: 86183 ... c Min unsat cost LB: 86193 ... c Min unsat cost LB: 86196 ... c Min unsat cost LB: 86200 ... c Min unsat cost LB: 86226 ... c Min unsat cost LB: 86229 ... c Min unsat cost LB: 86252 ... c Min unsat cost LB: 86945 ... c Min unsat cost LB: 87201 ... c Min unsat cost LB: 87247 ... c Min unsat cost LB: 87354 ... c Min unsat cost LB: 87370 ... c Min unsat cost LB: 87371 ... c Min unsat cost LB: 87392 ... c Min unsat cost LB: 87412 ... c Min unsat cost LB: 87413 ... c Min unsat cost LB: 87420 ... c Min unsat cost LB: 87786 ... c Min unsat cost LB: 87910 ... c Min unsat cost LB: 87998 ... c Min unsat cost LB: 88007 ... c Min unsat cost LB: 88043 ... c Min unsat cost LB: 88394 ... c Min unsat cost LB: 88615 ... c Min unsat cost LB: 89378 ... c Min unsat cost LB: 89533 ... c Min unsat cost LB: 89593 ... c Min unsat cost LB: 89594 ... c Min unsat cost LB: 89609 ... c Min unsat cost LB: 89612 ... c Min unsat cost LB: 89617 ... c Min unsat cost LB: 89630 ... c Min unsat cost LB: 89631 ... c Min unsat cost LB: 89643 ... c Min unsat cost LB: 89646 ... c Min unsat cost LB: 89647 ... c Min unsat cost LB: 89648 ... c Min unsat cost LB: 89649 ... c Min unsat cost LB: 89651 ... c Min unsat cost LB: 89653 ... c Min unsat cost LB: 89655 ... c Min unsat cost LB: 89656 ... c Min unsat cost LB: 89657 ... c Min unsat cost LB: 89664 ... c Min unsat cost LB: 89669 ... c Min unsat cost LB: 89706 ... c Min unsat cost LB: 89722 ... c Min unsat cost LB: 89728 ... c Min unsat cost LB: 89737 ... c Min unsat cost LB: 89743 ... c Min unsat cost LB: 89744 ... c Min unsat cost LB: 89750 ... c Min unsat cost LB: 89751 ... c Min unsat cost LB: 89757 ... c Min unsat cost LB: 89758 ... c Min unsat cost LB: 89762 ... c Min unsat cost LB: 89764 ... c Min unsat cost LB: 89768 ... c Min unsat cost LB: 89769 ... c Min unsat cost LB: 89791 ... c Min unsat cost LB: 89859 ... c Min unsat cost LB: 90181 ... c Min unsat cost LB: 90182 ... c Min unsat cost LB: 90183 ... c Min unsat cost LB: 90184 ... c Min unsat cost LB: 90186 ... c Min unsat cost LB: 90187 ... c Min unsat cost LB: 90188 ... c Min unsat cost LB: 90190 ... c Min unsat cost LB: 90199 ... c Min unsat cost LB: 90209 ... c Min unsat cost LB: 90215 ... c Min unsat cost LB: 90226 ... c Min unsat cost LB: 90240 ... c Min unsat cost LB: 90246 ... c Min unsat cost LB: 90254 ... c Min unsat cost LB: 90258 ... c Min unsat cost LB: 90261 ... c Min unsat cost LB: 90278 ... c Min unsat cost LB: 90279 ... c Min unsat cost LB: 90280 ... c Min unsat cost LB: 90281 ... c Min unsat cost LB: 90309 ... c Min unsat cost LB: 90313 ... c Min unsat cost LB: 90340 ... c Min unsat cost LB: 90367 ... c Min unsat cost LB: 90394 ... c Min unsat cost LB: 90420 ... c Min unsat cost LB: 90422 ... c Min unsat cost LB: 90445 ... c Min unsat cost LB: 90468 ... c Min unsat cost LB: 90584 ... c Min unsat cost LB: 90665 ... c Min unsat cost LB: 90774 ... c Min unsat cost LB: 92146 ... c Min unsat cost LB: 92168 ... c Min unsat cost LB: 92170 ... c Min unsat cost LB: 92207 ... c Min unsat cost LB: 92226 ... c Min unsat cost LB: 92470 ... c Min unsat cost LB: 92503 ... c Min unsat cost LB: 92934 ... c Min unsat cost LB: 92936 ... c Min unsat cost LB: 92995 ... c Min unsat cost LB: 93053 ... c Min unsat cost LB: 93070 ... c Min unsat cost LB: 93527 ... c Min unsat cost LB: 93528 ... c Min unsat cost LB: 93547 ... c Min unsat cost LB: 93549 ... c Min unsat cost LB: 93565 ... c Min unsat cost LB: 93566 ... c Min unsat cost LB: 93567 ... c Min unsat cost LB: 93569 ... c Min unsat cost LB: 93572 ... c Min unsat cost LB: 93591 ... c Min unsat cost LB: 93595 ... c Min unsat cost LB: 93611 ... c Min unsat cost LB: 93614 ... c Min unsat cost LB: 93672 ... c Min unsat cost LB: 93731 ... c Min unsat cost LB: 93750 ... c Min unsat cost LB: 93764 ... c Min unsat cost LB: 93783 ... c Min unsat cost LB: 93790 ... c Min unsat cost LB: 93915 ... c Min unsat cost LB: 94068 ... c Min unsat cost LB: 94241 ... c Min unsat cost LB: 94895 ... c Min unsat cost LB: 94909 ... c Min unsat cost LB: 94920 ... c Min unsat cost LB: 94921 ... c Min unsat cost LB: 94937 ... c Min unsat cost LB: 94947 ... c Min unsat cost LB: 94966 ... c Min unsat cost LB: 94975 ... c Min unsat cost LB: 94977 ... c Min unsat cost LB: 95004 ... c Min unsat cost LB: 95011 ... c Min unsat cost LB: 95021 ... c Min unsat cost LB: 95022 ... c Min unsat cost LB: 95024 ... c Min unsat cost LB: 95025 ... c Min unsat cost LB: 95026 ... c Min unsat cost LB: 95027 ... c Min unsat cost LB: 95028 ... c Min unsat cost LB: 95045 ... c Min unsat cost LB: 95054 ... c Min unsat cost LB: 95055 ... c Min unsat cost LB: 95056 ... c Min unsat cost LB: 95073 ... c Min unsat cost LB: 95074 ... c Min unsat cost LB: 95076 ... c Min unsat cost LB: 95077 ... c Min unsat cost LB: 95078 ... c Min unsat cost LB: 95079 ... c Min unsat cost LB: 95080 ... c Min unsat cost LB: 95081 ... c Min unsat cost LB: 95082 ... c Min unsat cost LB: 95084 ... c Min unsat cost LB: 95085 ... c Min unsat cost LB: 95086 ... c Min unsat cost LB: 95087 ... c Min unsat cost LB: 95088 ... c Min unsat cost LB: 95089 ... c Min unsat cost LB: 95090 ... c Min unsat cost LB: 95092 ... c Min unsat cost LB: 95093 ... c Min unsat cost LB: 95094 ... c Min unsat cost LB: 95095 ... c Min unsat cost LB: 95096 ... c Min unsat cost LB: 95097 ... c Min unsat cost LB: 95098 ... c Min unsat cost LB: 95099 ... c Min unsat cost LB: 95100 ... c Min unsat cost LB: 95101 ... c Min unsat cost LB: 95105 ... c Min unsat cost LB: 95106 ... c Min unsat cost LB: 95112 ... c Min unsat cost LB: 95120 ... c Min unsat cost LB: 95121 ... c Min unsat cost LB: 95124 ... c Min unsat cost LB: 95125 ... c Min unsat cost LB: 95128 ... c Min unsat cost LB: 95155 ... c Min unsat cost LB: 95156 ... c Min unsat cost LB: 95157 ... c Min unsat cost LB: 95158 ... c Min unsat cost LB: 95160 ... c Min unsat cost LB: 95161 ... c Min unsat cost LB: 95163 ... c Min unsat cost LB: 95171 ... c Min unsat cost LB: 95172 ... c Min unsat cost LB: 95173 ... c Min unsat cost LB: 95174 ... c Min unsat cost LB: 95175 ... c Min unsat cost LB: 95176 ... c Min unsat cost LB: 95177 ... c Min unsat cost LB: 95178 ... c Min unsat cost LB: 95185 ... c Min unsat cost LB: 95186 ... c Min unsat cost LB: 95192 ... c Min unsat cost LB: 95211 ... c Min unsat cost LB: 95216 ... c Min unsat cost LB: 95221 ... c Min unsat cost LB: 95230 ... c Min unsat cost LB: 95348 ... c Min unsat cost LB: 95353 ... c Min unsat cost LB: 95354 ... c Min unsat cost LB: 95355 ... c Min unsat cost LB: 95360 ... c Min unsat cost LB: 95361 ... c Min unsat cost LB: 95364 ... c Min unsat cost LB: 95380 ... c Min unsat cost LB: 95435 ... c Min unsat cost LB: 95437 ... c Min unsat cost LB: 95438 ... c Min unsat cost LB: 95446 ... c Min unsat cost LB: 95447 ... c Min unsat cost LB: 95448 ... c Min unsat cost LB: 95449 ... c Min unsat cost LB: 95450 ... c Min unsat cost LB: 95451 ... c Min unsat cost LB: 95452 ... c Min unsat cost LB: 95453 ... c Min unsat cost LB: 95465 ... c Min unsat cost LB: 95476 ... c Min unsat cost LB: 95478 ... c Min unsat cost LB: 95507 ... c Min unsat cost LB: 95517 ... c Min unsat cost LB: 95521 ... c Min unsat cost LB: 95632 ... c Min unsat cost LB: 95637 ... c Min unsat cost LB: 95639 ... c Min unsat cost LB: 95650 ... c Min unsat cost LB: 95653 ... c Min unsat cost LB: 95657 ... c Min unsat cost LB: 95658 ... c Min unsat cost LB: 95664 ... c Min unsat cost LB: 95670 ... c Min unsat cost LB: 95681 ... c Min unsat cost LB: 95683 ... c Min unsat cost LB: 95684 ... c Min unsat cost LB: 95685 ... c Min unsat cost LB: 95686 ... c Min unsat cost LB: 95687 ... c Min unsat cost LB: 95691 ... c Min unsat cost LB: 95692 ... c Min unsat cost LB: 95693 ... c Min unsat cost LB: 95694 ... c Min unsat cost LB: 95696 ... c Min unsat cost LB: 95697 ... c Min unsat cost LB: 95698 ... c Min unsat cost LB: 95699 ... c Min unsat cost LB: 95702 ... c Min unsat cost LB: 95748 ... c Min unsat cost LB: 95757 ... c Min unsat cost LB: 95762 ... c Min unsat cost LB: 95767 ... c Min unsat cost LB: 95771 ... c Min unsat cost LB: 95781 ... c Min unsat cost LB: 95867 ... c Min unsat cost LB: 95876 ... c Min unsat cost LB: 95890 ... c Min unsat cost LB: 95895 ... c Min unsat cost LB: 95904 ... c Min unsat cost LB: 95948 ... c Min unsat cost LB: 95962 ... c Min unsat cost LB: 95964 ... c Min unsat cost LB: 95966 ... c Min unsat cost LB: 95973 ... c Min unsat cost LB: 95978 ... c Min unsat cost LB: 95980 ... c Min unsat cost LB: 95981 ... c Min unsat cost LB: 95984 ... c Min unsat cost LB: 95988 ... c Min unsat cost LB: 95993 ... c Min unsat cost LB: 96079 ... c Min unsat cost LB: 96084 ... c Min unsat cost LB: 96107 ... c Min unsat cost LB: 96166 ... c Min unsat cost LB: 96168 ... c Min unsat cost LB: 96170 ... c Min unsat cost LB: 96171 ... c Min unsat cost LB: 96172 ... c Min unsat cost LB: 96173 ... c Min unsat cost LB: 96174 ... c Min unsat cost LB: 96175 ... c Min unsat cost LB: 96176 ... c Min unsat cost LB: 96178 ... c Min unsat cost LB: 96180 ... c Min unsat cost LB: 96183 ... c Min unsat cost LB: 96184 ... c Min unsat cost LB: 96185 ... c Min unsat cost LB: 96186 ... c Min unsat cost LB: 96187 ... c Min unsat cost LB: 96188 ... c Min unsat cost LB: 96193 ... c Min unsat cost LB: 96206 ... c Min unsat cost LB: 96207 ... c Min unsat cost LB: 96287 ... c Min unsat cost LB: 96379 ... c Min unsat cost LB: 96380 ... c Min unsat cost LB: 96381 ... c Min unsat cost LB: 96386 ... c Min unsat cost LB: 96390 ... c Min unsat cost LB: 96391 ... c Min unsat cost LB: 96392 ... c Min unsat cost LB: 96393 ... c Min unsat cost LB: 96394 ... c Min unsat cost LB: 96395 ... c Min unsat cost LB: 96397 ... c Min unsat cost LB: 96399 ... c Min unsat cost LB: 96400 ... c Min unsat cost LB: 96401 ... c Min unsat cost LB: 96403 ... c Min unsat cost LB: 96405 ... c Min unsat cost LB: 96407 ... c Min unsat cost LB: 96409 ... c Min unsat cost LB: 96410 ... c Min unsat cost LB: 96414 ... c Min unsat cost LB: 96415 ... c Min unsat cost LB: 96416 ... c Min unsat cost LB: 96417 ... c Min unsat cost LB: 96418 ... c Min unsat cost LB: 96419 ... c Min unsat cost LB: 96420 ... c Min unsat cost LB: 96437 ... c Min unsat cost LB: 96438 ... c Min unsat cost LB: 96439 ... c Min unsat cost LB: 96440 ... c Min unsat cost LB: 96441 ... c Min unsat cost LB: 96443 ... c Min unsat cost LB: 96444 ... c Min unsat cost LB: 96446 ... c Min unsat cost LB: 96449 ... c Min unsat cost LB: 96450 ... c Min unsat cost LB: 96451 ... c Min unsat cost LB: 96452 ... c Min unsat cost LB: 96453 ... c Min unsat cost LB: 96454 ... c Min unsat cost LB: 96455 ... c Min unsat cost LB: 96456 ... c Min unsat cost LB: 96457 ... c Min unsat cost LB: 96458 ... c Min unsat cost LB: 96459 ... c Min unsat cost LB: 96460 ... c Min unsat cost LB: 96470 ... c Min unsat cost LB: 96471 ... c Min unsat cost LB: 96487 ... c Min unsat cost LB: 96493 ... c Min unsat cost LB: 96538 ... c Min unsat cost LB: 96541 ... c Min unsat cost LB: 96545 ... c Min unsat cost LB: 96546 ... c Min unsat cost LB: 96552 ... c Min unsat cost LB: 96553 ... c Min unsat cost LB: 96555 ... c Min unsat cost LB: 96559 ... c Min unsat cost LB: 96563 ... c Min unsat cost LB: 96570 ... c Min unsat cost LB: 96571 ... c Min unsat cost LB: 96575 ... c Min unsat cost LB: 96578 ... c Min unsat cost LB: 96580 ... c Min unsat cost LB: 96701 ... c Min unsat cost LB: 96768 ... c Min unsat cost LB: 96769 ... c Min unsat cost LB: 96770 ... c Min unsat cost LB: 96771 ... c Min unsat cost LB: 96772 ... c Min unsat cost LB: 96773 ... c Min unsat cost LB: 96774 ... c Min unsat cost LB: 96775 ... c Min unsat cost LB: 96776 ... c Min unsat cost LB: 96777 ... c Min unsat cost LB: 96778 ... c Min unsat cost LB: 96779 ... c Min unsat cost LB: 96780 ... c Min unsat cost LB: 96781 ... c Min unsat cost LB: 96782 ... c Min unsat cost LB: 96783 ... c Min unsat cost LB: 96785 ... c Min unsat cost LB: 96786 ... c Min unsat cost LB: 96787 ... c Min unsat cost LB: 96788 ... c Min unsat cost LB: 96789 ... c Min unsat cost LB: 96790 ... c Min unsat cost LB: 96792 ... c Min unsat cost LB: 96794 ... c Min unsat cost LB: 96795 ... c Min unsat cost LB: 96796 ... c Min unsat cost LB: 96797 ... c Min unsat cost LB: 96798 ... c Min unsat cost LB: 96799 ... c Min unsat cost LB: 96800 ... c Min unsat cost LB: 96801 ... c Min unsat cost LB: 96802 ... c Min unsat cost LB: 96803 ... c Min unsat cost LB: 96804 ... c Min unsat cost LB: 96805 ... c Min unsat cost LB: 96808 ... c Min unsat cost LB: 96809 ... c Min unsat cost LB: 96810 ... c Min unsat cost LB: 96811 ... c Min unsat cost LB: 96812 ... c Min unsat cost LB: 96813 ... c Min unsat cost LB: 96814 ... c Min unsat cost LB: 96815 ... c Min unsat cost LB: 96816 ... c Min unsat cost LB: 96828 ... c Min unsat cost LB: 96829 ... c Min unsat cost LB: 96830 ... c Min unsat cost LB: 96831 ... c Min unsat cost LB: 96832 ... c Min unsat cost LB: 96833 ... c Min unsat cost LB: 96834 ... c Min unsat cost LB: 96835 ... c Min unsat cost LB: 96836 ... c Min unsat cost LB: 96837 ... c Min unsat cost LB: 96838 ... c Min unsat cost LB: 96839 ... c Min unsat cost LB: 96840 ... c Min unsat cost LB: 96841 ... c Min unsat cost LB: 96842 ... c Min unsat cost LB: 98466 ... c Min unsat cost LB: 98467 ... c Min unsat cost LB: 98468 ... c Min unsat cost LB: 98493 ... c Min unsat cost LB: 98503 ... c Min unsat cost LB: 98528 ... c Min unsat cost LB: 98531 ... c Min unsat cost LB: 98562 ... c Min unsat cost LB: 98569 ... c Min unsat cost LB: 98570 ... c Min unsat cost LB: 98571 ... c Min unsat cost LB: 98572 ... c Min unsat cost LB: 98573 ... c Min unsat cost LB: 98574 ... c Min unsat cost LB: 98575 ... c Min unsat cost LB: 98576 ... c Min unsat cost LB: 98577 ... c Min unsat cost LB: 98578 ... c Min unsat cost LB: 98580 ... c Min unsat cost LB: 98583 ... c Min unsat cost LB: 98601 ... c Min unsat cost LB: 98609 ... c Min unsat cost LB: 98686 ... c Min unsat cost LB: 98689 ... c Min unsat cost LB: 98690 ... c Min unsat cost LB: 98693 ... c Min unsat cost LB: 98698 ... c Min unsat cost LB: 98699 ... c Min unsat cost LB: 98701 ... c Min unsat cost LB: 98702 ... c Min unsat cost LB: 98703 ... c Min unsat cost LB: 98704 ... c Min unsat cost LB: 98705 ... c Min unsat cost LB: 98706 ... c Min unsat cost LB: 98707 ... c Min unsat cost LB: 98710 ... c Min unsat cost LB: 98715 ... c Min unsat cost LB: 98716 ... c Min unsat cost LB: 98717 ... c Min unsat cost LB: 98718 ... c Min unsat cost LB: 98719 ... c Min unsat cost LB: 98720 ... c Min unsat cost LB: 98721 ... c Min unsat cost LB: 98722 ... c Min unsat cost LB: 98723 ... c Min unsat cost LB: 98724 ... c Min unsat cost LB: 98727 ... c Min unsat cost LB: 98728 ... c Min unsat cost LB: 98729 ... c Min unsat cost LB: 98732 ... c Min unsat cost LB: 98733 ... c Min unsat cost LB: 98735 ... c Min unsat cost LB: 98736 ... c Min unsat cost LB: 98737 ... c Min unsat cost LB: 98738 ... c Min unsat cost LB: 98739 ... c Min unsat cost LB: 98740 ... c Min unsat cost LB: 98742 ... c Min unsat cost LB: 98743 ... c Min unsat cost LB: 98744 ... c Min unsat cost LB: 98745 ... c Min unsat cost LB: 98746 ... c Min unsat cost LB: 98747 ... c Min unsat cost LB: 98748 ... c Min unsat cost LB: 98749 ... c Min unsat cost LB: 98750 ... c Min unsat cost LB: 98753 ... c Min unsat cost LB: 98754 ... c Min unsat cost LB: 98755 ... c Min unsat cost LB: 98756 ... c Min unsat cost LB: 98757 ... c Min unsat cost LB: 98758 ... c Min unsat cost LB: 98759 ... c Min unsat cost LB: 98760 ... c Min unsat cost LB: 98761 ... c Min unsat cost LB: 98762 ... c Min unsat cost LB: 98763 ... c Min unsat cost LB: 98764 ... c Min unsat cost LB: 98769 ... c Min unsat cost LB: 98776 ... c Min unsat cost LB: 98782 ... c Min unsat cost LB: 98783 ... c Min unsat cost LB: 98784 ... c Min unsat cost LB: 98785 ... c Min unsat cost LB: 98786 ... c Min unsat cost LB: 98787 ... c Min unsat cost LB: 98788 ... c Min unsat cost LB: 98789 ... c Min unsat cost LB: 98790 ... c Min unsat cost LB: 98791 ... c Min unsat cost LB: 98792 ... c Min unsat cost LB: 98796 ... c Min unsat cost LB: 98797 ... c Min unsat cost LB: 98798 ... c Min unsat cost LB: 98799 ... c Min unsat cost LB: 98800 ... c Min unsat cost LB: 98803 ... c Min unsat cost LB: 98804 ... c Min unsat cost LB: 98805 ... c Min unsat cost LB: 98806 ... c Min unsat cost LB: 98807 ... c Min unsat cost LB: 98808 ... c Min unsat cost LB: 98810 ... c Min unsat cost LB: 98811 ... c Min unsat cost LB: 98812 ... c Min unsat cost LB: 98815 ... c Min unsat cost LB: 98816 ... c Min unsat cost LB: 98819 ... c Min unsat cost LB: 98820 ... c Min unsat cost LB: 98821 ... c Min unsat cost LB: 98823 ... c Min unsat cost LB: 98824 ... c Min unsat cost LB: 98825 ... c Min unsat cost LB: 98828 ... c Min unsat cost LB: 98832 ... c Min unsat cost LB: 98840 ... c Min unsat cost LB: 98859 ... c Min unsat cost LB: 98862 ... c Min unsat cost LB: 98863 ... c Min unsat cost LB: 98864 ... c Min unsat cost LB: 98865 ... c Min unsat cost LB: 98866 ... c Min unsat cost LB: 98867 ... c Min unsat cost LB: 98869 ... c Min unsat cost LB: 98870 ... c Min unsat cost LB: 98871 ... c Min unsat cost LB: 98872 ... c Min unsat cost LB: 98875 ... c Min unsat cost LB: 98876 ... c Min unsat cost LB: 98877 ... c Min unsat cost LB: 98878 ... c Min unsat cost LB: 98879 ... c Min unsat cost LB: 98880 ... c Min unsat cost LB: 98881 ... c Min unsat cost LB: 98887 ... c Min unsat cost LB: 98889 ... c Min unsat cost LB: 98890 ... c Min unsat cost LB: 98902 ... c Min unsat cost LB: 98931 ... c Min unsat cost LB: 98933 ... c Min unsat cost LB: 98934 ... c Min unsat cost LB: 98936 ... c Min unsat cost LB: 98937 ... c Min unsat cost LB: 98940 ... c Min unsat cost LB: 99000 ... c Min unsat cost LB: 99005 ... c Min unsat cost LB: 99012 ... c Min unsat cost LB: 99019 ... c Min unsat cost LB: 99128 ... c Min unsat cost LB: 99130 ... c Min unsat cost LB: 99131 ... c Min unsat cost LB: 99133 ... c Min unsat cost LB: 99135 ... c Min unsat cost LB: 99136 ... c Min unsat cost LB: 99139 ... c Min unsat cost LB: 99140 ... c Min unsat cost LB: 99141 ... c Min unsat cost LB: 99145 ... c Min unsat cost LB: 99147 ... c Min unsat cost LB: 99148 ... c Min unsat cost LB: 99173 ... c Min unsat cost LB: 99176 ... c Min unsat cost LB: 99198 ... c Min unsat cost LB: 99201 ... c Min unsat cost LB: 99209 ... c Min unsat cost LB: 99217 ... c Min unsat cost LB: 99220 ... c Min unsat cost LB: 99223 ... c Min unsat cost LB: 99228 ... c Min unsat cost LB: 99233 ... c Min unsat cost LB: 99237 ... c Min unsat cost LB: 99238 ... c Min unsat cost LB: 99239 ... c Min unsat cost LB: 99251 ... c Min unsat cost LB: 99252 ... c Min unsat cost LB: 99255 ... c Min unsat cost LB: 99257 ... c Min unsat cost LB: 99258 ... c Min unsat cost LB: 99260 ... c Min unsat cost LB: 99263 ... c Min unsat cost LB: 99267 ... c Min unsat cost LB: 99268 ... c Min unsat cost LB: 99269 ... c Min unsat cost LB: 99270 ... c Min unsat cost LB: 99271 ... c Min unsat cost LB: 99276 ... c Min unsat cost LB: 99277 ... c Min unsat cost LB: 99279 ... c Min unsat cost LB: 99293 ... c Min unsat cost LB: 99294 ... c Min unsat cost LB: 99295 ... c Min unsat cost LB: 99296 ... c Min unsat cost LB: 99297 ... c Min unsat cost LB: 99298 ... c Min unsat cost LB: 99300 ... c Min unsat cost LB: 99301 ... c Min unsat cost LB: 99302 ... c Min unsat cost LB: 99381 ... c Min unsat cost LB: 99393 ... c Min unsat cost LB: 99394 ... c Min unsat cost LB: 99397 ... c Min unsat cost LB: 99410 ... c Min unsat cost LB: 99444 ... c Min unsat cost LB: 99447 ... c Min unsat cost LB: 99474 ... c Min unsat cost LB: 99514 ... c Min unsat cost LB: 99517 ... c Min unsat cost LB: 99575 ... c Min unsat cost LB: 99608 ... c Min unsat cost LB: 99621 ... c Min unsat cost LB: 99638 ... c Min unsat cost LB: 99648 ... c Min unsat cost LB: 99660 ... c Min unsat cost LB: 99666 ... c Min unsat cost LB: 99676 ... c Min unsat cost LB: 99678 ... c Min unsat cost LB: 99679 ... c Min unsat cost LB: 99682 ... c Min unsat cost LB: 99683 ... c Min unsat cost LB: 99684 ... c Min unsat cost LB: 99830 ... c Min unsat cost LB: 99833 ... c Min unsat cost LB: 99836 ... c Min unsat cost LB: 99842 ... c Min unsat cost LB: 99843 ... c Min unsat cost LB: 99844 ... c Min unsat cost LB: 99845 ... c Min unsat cost LB: 99846 ... c Min unsat cost LB: 99847 ... c Min unsat cost LB: 99848 ... c Min unsat cost LB: 99849 ... c Min unsat cost LB: 99850 ... c Min unsat cost LB: 99851 ... c Min unsat cost LB: 99852 ... c Min unsat cost LB: 99853 ... c Min unsat cost LB: 99854 ... c Min unsat cost LB: 99855 ... c Min unsat cost LB: 99856 ... c Min unsat cost LB: 99857 ... c Min unsat cost LB: 99859 ... c Min unsat cost LB: 99860 ... c Min unsat cost LB: 99861 ... c Min unsat cost LB: 99862 ... c Min unsat cost LB: 99863 ... c Min unsat cost LB: 99864 ... c Min unsat cost LB: 99865 ... c Min unsat cost LB: 99867 ... c Min unsat cost LB: 99868 ... c Min unsat cost LB: 99871 ... c Min unsat cost LB: 99872 ... c Min unsat cost LB: 99879 ... c Min unsat cost LB: 99880 ... c Min unsat cost LB: 99884 ... c Min unsat cost LB: 99885 ... c Min unsat cost LB: 99886 ... c Min unsat cost LB: 99887 ... c Min unsat cost LB: 99888 ... c Min unsat cost LB: 99889 ... c Min unsat cost LB: 99890 ... c Min unsat cost LB: 99891 ... c Min unsat cost LB: 99894 ... c Min unsat cost LB: 99895 ... c Min unsat cost LB: 99896 ... c Min unsat cost LB: 99898 ... c Min unsat cost LB: 99901 ... c Min unsat cost LB: 99902 ... c Min unsat cost LB: 99903 ... c Min unsat cost LB: 99904 ... c Min unsat cost LB: 99905 ... c Min unsat cost LB: 99906 ... c Min unsat cost LB: 99907 ... c Min unsat cost LB: 99909 ... c Min unsat cost LB: 99910 ... c Min unsat cost LB: 99911 ... c Min unsat cost LB: 99912 ... c Min unsat cost LB: 99913 ... c Min unsat cost LB: 99914 ... c Min unsat cost LB: 99915 ... c Min unsat cost LB: 99916 ... c Min unsat cost LB: 99917 ... c Min unsat cost LB: 99918 ... c Min unsat cost LB: 99919 ... c Min unsat cost LB: 99920 ... c Min unsat cost LB: 99921 ... c Min unsat cost LB: 99922 ... c Min unsat cost LB: 99923 ... c Min unsat cost LB: 99924 ... c Min unsat cost LB: 99925 ... c Min unsat cost LB: 99926 ... c Min unsat cost LB: 99927 ... c Min unsat cost LB: 99928 ... c Min unsat cost LB: 99929 ... c Min unsat cost LB: 99983 ... c Min unsat cost LB: 99984 ... c Min unsat cost LB: 99985 ... c Min unsat cost LB: 99986 ... c Min unsat cost LB: 99989 ... c Min unsat cost LB: 99991 ... c Min unsat cost LB: 99992 ... c Min unsat cost LB: 99993 ... c Min unsat cost LB: 99994 ... c Min unsat cost LB: 99995 ... c Min unsat cost LB: 99996 ... c Min unsat cost LB: 99997 ... c Min unsat cost LB: 99998 ... c Min unsat cost LB: 99999 ... c Min unsat cost LB: 100000 ... c Min unsat cost LB: 100001 ... c Min unsat cost LB: 100002 ... c Min unsat cost LB: 100006 ... c Min unsat cost LB: 100008 ... c Min unsat cost LB: 100009 ... c Min unsat cost LB: 100015 ... c Min unsat cost LB: 100016 ... c Min unsat cost LB: 100017 ... c Min unsat cost LB: 100018 ... c Min unsat cost LB: 100019 ... c Min unsat cost LB: 100022 ... c Min unsat cost LB: 100023 ... c Min unsat cost LB: 100024 ... c Min unsat cost LB: 100025 ... c Min unsat cost LB: 100026 ... c Min unsat cost LB: 100027 ... c Min unsat cost LB: 100028 ... c Min unsat cost LB: 100029 ... c Min unsat cost LB: 100030 ... c Min unsat cost LB: 100032 ... c Min unsat cost LB: 100033 ... c Min unsat cost LB: 100034 ... c Min unsat cost LB: 100035 ... c Min unsat cost LB: 100036 ... c Min unsat cost LB: 100037 ... c Min unsat cost LB: 100038 ... c Min unsat cost LB: 100039 ... c Min unsat cost LB: 100040 ... c Min unsat cost LB: 100041 ... c Min unsat cost LB: 100042 ... c Min unsat cost LB: 100043 ... c Min unsat cost LB: 100044 ... c Min unsat cost LB: 100045 ... c Min unsat cost LB: 100046 ... c Min unsat cost LB: 100047 ... c Min unsat cost LB: 100048 ... c Min unsat cost LB: 100049 ... c Min unsat cost LB: 100050 ... c Min unsat cost LB: 100051 ... c Min unsat cost LB: 100052 ... c Min unsat cost LB: 100053 ... c MiKilled 1812.303u 7.435s 30:23.60 99.7% 0+0k 0+0io 0pf+0w