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_PATHS_cat_paths_60_130_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0002.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_PATHS/cat_paths_60_130_0002.txt.wcnf *** c c Min unsat cost LB: 886 ... c Min unsat cost LB: 1565 ... c Min unsat cost LB: 2291 ... c Min unsat cost LB: 2974 ... c Min unsat cost LB: 3657 ... c Min unsat cost LB: 4050 ... c Min unsat cost LB: 4068 ... c Min unsat cost LB: 4954 ... c Min unsat cost LB: 4971 ... c Min unsat cost LB: 5412 ... c Min unsat cost LB: 5478 ... c Min unsat cost LB: 5630 ... c Min unsat cost LB: 5656 ... c Min unsat cost LB: 5946 ... c Min unsat cost LB: 6784 ... c Min unsat cost LB: 7556 ... c Min unsat cost LB: 8442 ... c Min unsat cost LB: 8508 ... c Min unsat cost LB: 9123 ... c Min unsat cost LB: 9237 ... c Min unsat cost LB: 9693 ... c Min unsat cost LB: 10433 ... c Min unsat cost LB: 10675 ... c Min unsat cost LB: 10778 ... c Min unsat cost LB: 10833 ... c Min unsat cost LB: 11044 ... c Min unsat cost LB: 11470 ... c Min unsat cost LB: 12137 ... c Min unsat cost LB: 12168 ... c Min unsat cost LB: 12526 ... c Min unsat cost LB: 12817 ... c Min unsat cost LB: 13703 ... c Min unsat cost LB: 13749 ... c Min unsat cost LB: 14040 ... c Min unsat cost LB: 14662 ... c Min unsat cost LB: 15111 ... c Min unsat cost LB: 16094 ... c Min unsat cost LB: 16385 ... c Min unsat cost LB: 17085 ... c Min unsat cost LB: 17415 ... c Min unsat cost LB: 18398 ... c Min unsat cost LB: 18402 ... c Min unsat cost LB: 18879 ... c Min unsat cost LB: 19147 ... c Min unsat cost LB: 19463 ... c Min unsat cost LB: 19585 ... c Min unsat cost LB: 20189 ... c Min unsat cost LB: 20480 ... c Min unsat cost LB: 20602 ... c Min unsat cost LB: 21488 ... c Min unsat cost LB: 22167 ... c Min unsat cost LB: 22599 ... c Min unsat cost LB: 22751 ... c Min unsat cost LB: 23278 ... c Min unsat cost LB: 23546 ... c Min unsat cost LB: 24394 ... c Min unsat cost LB: 24977 ... c Min unsat cost LB: 25638 ... c Min unsat cost LB: 25682 ... c Min unsat cost LB: 25722 ... c Min unsat cost LB: 26530 ... c Min unsat cost LB: 26962 ... c Min unsat cost LB: 27057 ... c Min unsat cost LB: 27393 ... c Min unsat cost LB: 27841 ... c Min unsat cost LB: 28659 ... c Min unsat cost LB: 28736 ... c Min unsat cost LB: 28971 ... c Min unsat cost LB: 29266 ... c Min unsat cost LB: 29983 ... c Min unsat cost LB: 30097 ... c Min unsat cost LB: 30336 ... c Min unsat cost LB: 30554 ... c Min unsat cost LB: 30651 ... c Min unsat cost LB: 31133 ... c Min unsat cost LB: 31549 ... c Min unsat cost LB: 32053 ... c Min unsat cost LB: 32901 ... c Min unsat cost LB: 33693 ... c Min unsat cost LB: 34014 ... c Min unsat cost LB: 34138 ... c Min unsat cost LB: 34215 ... c Min unsat cost LB: 34615 ... c Min unsat cost LB: 35125 ... c Min unsat cost LB: 35165 ... c Min unsat cost LB: 35259 ... c Min unsat cost LB: 35577 ... c Min unsat cost LB: 36243 ... c Min unsat cost LB: 36537 ... c Min unsat cost LB: 36561 ... c Min unsat cost LB: 37009 ... c Min unsat cost LB: 37607 ... c Min unsat cost LB: 38205 ... c Min unsat cost LB: 38379 ... c Min unsat cost LB: 38466 ... c Min unsat cost LB: 38523 ... c Min unsat cost LB: 38670 ... c Min unsat cost LB: 38725 ... c Min unsat cost LB: 39207 ... c Min unsat cost LB: 39340 ... c Min unsat cost LB: 39345 ... c Min unsat cost LB: 39498 ... c Min unsat cost LB: 39538 ... c Min unsat cost LB: 39612 ... c Min unsat cost LB: 39641 ... c Min unsat cost LB: 39728 ... c Min unsat cost LB: 39785 ... c Min unsat cost LB: 39794 ... c Min unsat cost LB: 39860 ... c Min unsat cost LB: 40089 ... c Min unsat cost LB: 40120 ... c Min unsat cost LB: 40176 ... c Min unsat cost LB: 40191 ... c Min unsat cost LB: 40234 ... c Min unsat cost LB: 40311 ... c Min unsat cost LB: 40388 ... c Min unsat cost LB: 40606 ... c Min unsat cost LB: 40660 ... c Min unsat cost LB: 40802 ... c Min unsat cost LB: 40872 ... c Min unsat cost LB: 40924 ... c Min unsat cost LB: 40962 ... c Min unsat cost LB: 40977 ... c Min unsat cost LB: 40992 ... c Min unsat cost LB: 41211 ... c Min unsat cost LB: 41474 ... c Min unsat cost LB: 41548 ... c Min unsat cost LB: 41560 ... c Min unsat cost LB: 41586 ... c Min unsat cost LB: 41841 ... c Min unsat cost LB: 41845 ... c Min unsat cost LB: 42080 ... c Min unsat cost LB: 42170 ... c Min unsat cost LB: 42185 ... c Min unsat cost LB: 42200 ... c Min unsat cost LB: 42215 ... c Min unsat cost LB: 42236 ... c Min unsat cost LB: 42354 ... c Min unsat cost LB: 42389 ... c Min unsat cost LB: 42436 ... c Min unsat cost LB: 42475 ... c Min unsat cost LB: 42511 ... c Min unsat cost LB: 42539 ... c Min unsat cost LB: 42557 ... c Min unsat cost LB: 42708 ... c Min unsat cost LB: 43074 ... c Min unsat cost LB: 43093 ... c Min unsat cost LB: 43115 ... c Min unsat cost LB: 43334 ... c Min unsat cost LB: 43669 ... c Min unsat cost LB: 43698 ... c Min unsat cost LB: 43725 ... c Min unsat cost LB: 43784 ... c Min unsat cost LB: 43812 ... c Min unsat cost LB: 43813 ... c Min unsat cost LB: 43965 ... c Min unsat cost LB: 44003 ... c Min unsat cost LB: 44055 ... c Min unsat cost LB: 44079 ... c Min unsat cost LB: 44253 ... c Min unsat cost LB: 44294 ... c Min unsat cost LB: 44298 ... c Min unsat cost LB: 44329 ... c Min unsat cost LB: 44379 ... c Min unsat cost LB: 44396 ... c Min unsat cost LB: 44524 ... c Min unsat cost LB: 44806 ... c Min unsat cost LB: 44941 ... c Min unsat cost LB: 45420 ... c Min unsat cost LB: 45429 ... c Min unsat cost LB: 45486 ... c Min unsat cost LB: 45535 ... c Min unsat cost LB: 45792 ... c Min unsat cost LB: 45810 ... c Min unsat cost LB: 45865 ... c Min unsat cost LB: 45876 ... c Min unsat cost LB: 46056 ... c Min unsat cost LB: 46064 ... c Min unsat cost LB: 46070 ... c Min unsat cost LB: 46271 ... c Min unsat cost LB: 46286 ... c Min unsat cost LB: 46325 ... c Min unsat cost LB: 46340 ... c Min unsat cost LB: 46362 ... c Min unsat cost LB: 46389 ... c Min unsat cost LB: 46531 ... c Min unsat cost LB: 46559 ... c Min unsat cost LB: 46580 ... c Min unsat cost LB: 46582 ... c Min unsat cost LB: 46642 ... c Min unsat cost LB: 46646 ... c Min unsat cost LB: 46650 ... c Min unsat cost LB: 46664 ... c Min unsat cost LB: 46699 ... c Min unsat cost LB: 46708 ... c Min unsat cost LB: 46757 ... c Min unsat cost LB: 46794 ... c Min unsat cost LB: 46805 ... c Min unsat cost LB: 46828 ... c Min unsat cost LB: 46923 ... c Min unsat cost LB: 46935 ... c Min unsat cost LB: 46950 ... c Min unsat cost LB: 47002 ... c Min unsat cost LB: 47010 ... c Min unsat cost LB: 47021 ... c Min unsat cost LB: 47028 ... c Min unsat cost LB: 47084 ... c Min unsat cost LB: 47111 ... c Min unsat cost LB: 47112 ... c Min unsat cost LB: 47167 ... c Min unsat cost LB: 47186 ... c Min unsat cost LB: 47253 ... c Min unsat cost LB: 47286 ... c Min unsat cost LB: 47460 ... c Min unsat cost LB: 47491 ... c Min unsat cost LB: 47499 ... c Min unsat cost LB: 47520 ... c Min unsat cost LB: 47564 ... c Min unsat cost LB: 47579 ... c Min unsat cost LB: 47583 ... c Min unsat cost LB: 47600 ... c Min unsat cost LB: 47624 ... c Min unsat cost LB: 47653 ... c Min unsat cost LB: 47680 ... c Min unsat cost LB: 47741 ... c Min unsat cost LB: 47870 ... c Min unsat cost LB: 47877 ... c Min unsat cost LB: 47888 ... c Min unsat cost LB: 47892 ... c Min unsat cost LB: 47907 ... c Min unsat cost LB: 47990 ... c Min unsat cost LB: 48005 ... c Min unsat cost LB: 48025 ... c Min unsat cost LB: 48065 ... c Min unsat cost LB: 48176 ... c Min unsat cost LB: 48207 ... c Min unsat cost LB: 48444 ... c Min unsat cost LB: 48533 ... c Min unsat cost LB: 48674 ... c Min unsat cost LB: 48682 ... c Min unsat cost LB: 48697 ... c Min unsat cost LB: 48843 ... c Min unsat cost LB: 48878 ... c Min unsat cost LB: 48923 ... c Min unsat cost LB: 48965 ... c Min unsat cost LB: 48990 ... c Min unsat cost LB: 49079 ... c Min unsat cost LB: 49233 ... c Min unsat cost LB: 49249 ... c Min unsat cost LB: 49457 ... c Min unsat cost LB: 49468 ... c Min unsat cost LB: 49804 ... c Min unsat cost LB: 49850 ... c Min unsat cost LB: 50186 ... c Min unsat cost LB: 50194 ... c Min unsat cost LB: 50294 ... c Min unsat cost LB: 50321 ... c Min unsat cost LB: 50326 ... c Min unsat cost LB: 50391 ... c Min unsat cost LB: 50395 ... c Min unsat cost LB: 50402 ... c Min unsat cost LB: 50580 ... c Min unsat cost LB: 50598 ... c Min unsat cost LB: 50609 ... c Min unsat cost LB: 50708 ... c Min unsat cost LB: 50711 ... c Min unsat cost LB: 50937 ... c Min unsat cost LB: 50950 ... c Min unsat cost LB: 50965 ... c Min unsat cost LB: 50966 ... c Min unsat cost LB: 51003 ... c Min unsat cost LB: 51009 ... c Min unsat cost LB: 51042 ... c Min unsat cost LB: 51058 ... c Min unsat cost LB: 51080 ... c Min unsat cost LB: 51098 ... c Min unsat cost LB: 51110 ... c Min unsat cost LB: 51115 ... c Min unsat cost LB: 51122 ... c Min unsat cost LB: 51124 ... c Min unsat cost LB: 51136 ... c Min unsat cost LB: 51144 ... c Min unsat cost LB: 51155 ... c Min unsat cost LB: 51165 ... c Min unsat cost LB: 51169 ... c Min unsat cost LB: 51197 ... c Min unsat cost LB: 51219 ... c Min unsat cost LB: 51225 ... c Min unsat cost LB: 51229 ... c Min unsat cost LB: 51233 ... c Min unsat cost LB: 51240 ... c Min unsat cost LB: 51588 ... c Min unsat cost LB: 51591 ... c Min unsat cost LB: 51716 ... c Min unsat cost LB: 51719 ... c Min unsat cost LB: 51721 ... c Min unsat cost LB: 51735 ... c Min unsat cost LB: 51756 ... c Min unsat cost LB: 51762 ... c Min unsat cost LB: 51763 ... c Min unsat cost LB: 51775 ... c Min unsat cost LB: 51777 ... c Min unsat cost LB: 51779 ... c Min unsat cost LB: 51781 ... c Min unsat cost LB: 51812 ... c Min unsat cost LB: 51821 ... c Min unsat cost LB: 51824 ... c Min unsat cost LB: 51837 ... c Min unsat cost LB: 51870 ... c Min unsat cost LB: 51871 ... c Min unsat cost LB: 51873 ... c Min unsat cost LB: 51890 ... c Min unsat cost LB: 51894 ... c Min unsat cost LB: 51895 ... c Min unsat cost LB: 51900 ... c Min unsat cost LB: 51901 ... c Min unsat cost LB: 51906 ... c Min unsat cost LB: 51917 ... c Min unsat cost LB: 51922 ... c Min unsat cost LB: 51950 ... c Min unsat cost LB: 51961 ... c Min unsat cost LB: 52047 ... c Min unsat cost LB: 52048 ... c Min unsat cost LB: 52049 ... c Min unsat cost LB: 52052 ... c Min unsat cost LB: 52107 ... c Min unsat cost LB: 52118 ... c Min unsat cost LB: 52120 ... c Min unsat cost LB: 52126 ... c Min unsat cost LB: 52154 ... c Min unsat cost LB: 52165 ... c Min unsat cost LB: 52186 ... c Min unsat cost LB: 52202 ... c Min unsat cost LB: 52206 ... c Min unsat cost LB: 52214 ... c Min unsat cost LB: 52217 ... c Min unsat cost LB: 52221 ... c Min unsat cost LB: 52223 ... c Min unsat cost LB: 52226 ... c Min unsat cost LB: 52230 ... c Min unsat cost LB: 52237 ... c Min unsat cost LB: 52249 ... c Min unsat cost LB: 52350 ... c Min unsat cost LB: 52369 ... c Min unsat cost LB: 52375 ... c Min unsat cost LB: 52376 ... c Min unsat cost LB: 52380 ... c Min unsat cost LB: 52384 ... c Min unsat cost LB: 52387 ... c Min unsat cost LB: 52388 ... c Min unsat cost LB: 52394 ... c Min unsat cost LB: 52396 ... c Min unsat cost LB: 52421 ... c Min unsat cost LB: 52425 ... c Min unsat cost LB: 52429 ... c Min unsat cost LB: 52430 ... c Min unsat cost LB: 52431 ... c Min unsat cost LB: 52433 ... c Min unsat cost LB: 52434 ... c Min unsat cost LB: 52438 ... c Min unsat cost LB: 52458 ... c Min unsat cost LB: 52460 ... c Min unsat cost LB: 52462 ... c Min unsat cost LB: 52463 ... c Min unsat cost LB: 52470 ... c Min unsat cost LB: 52481 ... c Min unsat cost LB: 52542 ... c Min unsat cost LB: 52606 ... c Min unsat cost LB: 52608 ... c Min unsat cost LB: 52613 ... c Min unsat cost LB: 52614 ... c Min unsat cost LB: 52615 ... c Min unsat cost LB: 52616 ... c Min unsat cost LB: 52620 ... c Min unsat cost LB: 52631 ... c Min unsat cost LB: 52658 ... c Min unsat cost LB: 52666 ... c Min unsat cost LB: 52670 ... c Min unsat cost LB: 52689 ... c Min unsat cost LB: 52734 ... c Min unsat cost LB: 52735 ... c Min unsat cost LB: 52736 ... c Min unsat cost LB: 52737 ... c Min unsat cost LB: 52738 ... c Min unsat cost LB: 52742 ... c Min unsat cost LB: 52743 ... c Min unsat cost LB: 52744 ... c Min unsat cost LB: 52745 ... c Min unsat cost LB: 52748 ... c Min unsat cost LB: 52749 ... c Min unsat cost LB: 52750 ... c Min unsat cost LB: 52758 ... c Min unsat cost LB: 52763 ... c Min unsat cost LB: 52764 ... c Min unsat cost LB: 52767 ... c Min unsat cost LB: 52770 ... c Min unsat cost LB: 52771 ... c Min unsat cost LB: 52777 ... c Min unsat cost LB: 52780 ... c Min unsat cost LB: 52781 ... c Min unsat cost LB: 52782 ... c Min unsat cost LB: 52783 ... c Min unsat cost LB: 52784 ... c Min unsat cost LB: 52791 ... c Min unsat cost LB: 52827 ... c Min unsat cost LB: 52831 ... c Min unsat cost LB: 52858 ... c Min unsat cost LB: 52869 ... c Min unsat cost LB: 52876 ... c Min unsat cost LB: 52878 ... c Min unsat cost LB: 52879 ... c Min unsat cost LB: 52891 ... c Min unsat cost LB: 52924 ... c Min unsat cost LB: 52930 ... c Min unsat cost LB: 52936 ... c Min unsat cost LB: 53012 ... c Min unsat cost LB: 53014 ... c Min unsat cost LB: 53015 ... c Min unsat cost LB: 53021 ... c Min unsat cost LB: 53023 ... c Min unsat cost LB: 53028 ... c Min unsat cost LB: 53029 ... c Min unsat cost LB: 53035 ... c Min unsat cost LB: 53041 ... c Min unsat cost LB: 53055 ... c Min unsat cost LB: 53058 ... c Min unsat cost LB: 53078 ... c Min unsat cost LB: 53079 ... c Min unsat cost LB: 53082 ... c Min unsat cost LB: 53085 ... c Min unsat cost LB: 53087 ... c Min unsat cost LB: 53094 ... c Min unsat cost LB: 53100 ... c Min unsat cost LB: 53107 ... c Min unsat cost LB: 53109 ... c Min unsat cost LB: 53110 ... c Min unsat cost LB: 53112 ... c Min unsat cost LB: 53113 ... c Min unsat cost LB: 53114 ... c Min unsat cost LB: 53115 ... c Min unsat cost LB: 53117 ... c Min unsat cost LB: 53119 ... c Min unsat cost LB: 53123 ... c Min unsat cost LB: 53124 ... c Min unsat cost LB: 53125 ... c Min unsat cost LB: 53127 ... c Min unsat cost LB: 53128 ... c Min unsat cost LB: 53129 ... c Min unsat cost LB: 53130 ... c Min unsat cost LB: 53132 ... c Min unsat cost LB: 53139 ... c Min unsat cost LB: 53144 ... c Min unsat cost LB: 53147 ... c Min unsat cost LB: 53148 ... c Min unsat cost LB: 53149 ... c Min unsat cost LB: 53151 ... c Min unsat cost LB: 53152 ... c Min unsat cost LB: 53178 ... c Min unsat cost LB: 53179 ... c Min unsat cost LB: 53181 ... c Min unsat cost LB: 53182 ... c Min unsat cost LB: 53183 ... c Min unsat cost LB: 53184 ... c Min unsat cost LB: 53185 ... c Min unsat cost LB: 53191 ... c Min unsat cost LB: 53205 ... c Min unsat cost LB: 53206 ... c Min unsat cost LB: 53208 ... c Min unsat cost LB: 53209 ... c Min unsat cost LB: 53213 ... c Min unsat cost LB: 53216 ... c Min unsat cost LB: 53223 ... c Min unsat cost LB: 53227 ... c Min unsat cost LB: 53228 ... c Min unsat cost LB: 53233 ... c Min unsat cost LB: 53234 ... c Min unsat cost LB: 53235 ... c Min unsat cost LB: 53236 ... c Min unsat cost LB: 53237 ... c Min unsat cost LB: 53241 ... c Min unsat cost LB: 53245 ... c Min unsat cost LB: 53246 ... c Min unsat cost LB: 53344 ... c Min unsat cost LB: 53347 ... c Min unsat cost LB: 53352 ... c Min unsat cost LB: 53356 ... c Min unsat cost LB: 53359 ... c Min unsat cost LB: 53360 ... c Min unsat cost LB: 53361 ... c Min unsat cost LB: 53362 ... c Min unsat cost LB: 53363 ... c Min unsat cost LB: 53364 ... c Min unsat cost LB: 53371 ... c Min unsat cost LB: 53372 ... c Min unsat cost LB: 53374 ... c Min unsat cost LB: 53375 ... c Min unsat cost LB: 53377 ... c Min unsat cost LB: 53378 ... c Min unsat cost LB: 53379 ... c Min unsat cost LB: 53380 ... c Min unsat cost LB: 53383 ... c Min unsat cost LB: 53384 ... c Min unsat cost LB: 53385 ... c Min unsat cost LB: 53386 ... c Min unsat cost LB: 53387 ... c Min unsat cost LB: 53388 ... c Min unsat cost LB: 53418 ... c Min unsat cost LB: 53419 ... c Min unsat cost LB: 53421 ... c Min unsat cost LB: 53428 ... c Min unsat cost LB: 53430 ... c Min unsat cost LB: 53431 ... c Min unsat cost LB: 53432 ... c Min unsat cost LB: 53436 ... c Min unsat cost LB: 53454 ... c Min unsat cost LB: 53457 ... c Min unsat cost LB: 53468 ... c Min unsat cost LB: 53469 ... c Min unsat cost LB: 53470 ... c Min unsat cost LB: 53471 ... c Min unsat cost LB: 53474 ... c Min unsat cost LB: 53479 ... c Min unsat cost LB: 53481 ... c Min unsat cost LB: 53482 ... c Min unsat cost LB: 53483 ... c Min unsat cost LB: 53484 ... c Min unsat cost LB: 53485 ... c Min unsat cost LB: 53492 ... c Min unsat cost LB: 53495 ... c Min unsat cost LB: 53498 ... c Min unsat cost LB: 53500 ... c Min unsat cost LB: 53501 ... c Min unsat cost LB: 53502 ... c Min unsat cost LB: 53503 ... c Min unsat cost LB: 53504 ... c Min unsat cost LB: 53505 ... c Min unsat cost LB: 53506 ... c Min unsat cost LB: 53507 ... c Min unsat cost LB: 53508 ... c Min unsat cost LB: 53510 ... c Min unsat cost LB: 53511 ... c Min unsat cost LB: 53512 ... c Min unsat cost LB: 53513 ... c Min unsat cost LB: 53515 ... c Min unsat cost LB: 53516 ... c Min unsat cost LB: 53518 ... c Min unsat cost LB: 53519 ... c Min unsat cost LB: 53521 ... c Min unsat cost LB: 53531 ... c Min unsat cost LB: 53532 ... c Min unsat cost LB: 53533 ... c Min unsat cost LB: 53549 ... c Min unsat cost LB: 53552 ... c Min unsat cost LB: 53563 ... c Min unsat cost LB: 53571 ... c Min unsat cost LB: 53576 ... c Min unsat cost LB: 53581 ... c Min unsat cost LB: 53584 ... c Min unsat cost LB: 53586 ... c Min unsat cost LB: 53587 ... c Min unsat cost LB: 53588 ... c Min unsat cost LB: 53590 ... c Min unsat cost LB: 53591 ... c Min unsat cost LB: 53592 ... c Min unsat cost LB: 53597 ... c Min unsat cost LB: 53598 ... c Min unsat cost LB: 53599 ... c Min unsat cost LB: 53600 ... c Min unsat cost LB: 53601 ... c Min unsat cost LB: 53602 ... c Min unsat cost LB: 53604 ... c Min unsat cost LB: 53605 ... c Min unsat cost LB: 53606 ... c Min unsat cost LB: 53607 ... c Min unsat cost LB: 53608 ... c Min unsat cost LB: 53609 ... c Min unsat cost LB: 53610 ... c Min unsat cost LB: 53612 ... c Min unsat cost LB: 53613 ... c Min unsat cost LB: 53614 ... c Min unsat cost LB: 53615 ... c Min unsat cost LB: 53616 ... c Min unsat cost LB: 53617 ... c Min unsat cost LB: 53619 ... c Min unsat cost LB: 53620 ... c Min unsat cost LB: 53621 ... c Min unsat cost LB: 53625 ... c Min unsat cost LB: 53626 ... c Min unsat cost LB: 53627 ... c Min unsat cost LB: 53631 ... c Min unsat cost LB: 53632 ... c Min unsat cost LB: 53633 ... c Min unsat cost LB: 53634 ... c Min unsat cost LB: 53635 ... c Min unsat cost LB: 53636 ... c Min unsat cost LB: 53638 ... c Min unsat cost LB: 53640 ... c Min unsat cost LB: 53641 ... c Min unsat cost LB: 53646 ... c Min unsat cost LB: 53647 ... c Min unsat cost LB: 53648 ... c Min unsat cost LB: 53650 ... c Min unsat cost LB: 53652 ... c Min unsat cost LB: 53655 ... c Min unsat cost LB: 53656 ... c Min unsat cost LB: 53657 ... c Min unsat cost LB: 53658 ... c Min unsat cost LB: 53660 ... c Min unsat cost LB: 53661 ... c Min unsat cost LB: 53662 ... c Min unsat cost LB: 53666 ... c Min unsat cost LB: 53667 ... c Min unsat cost LB: 53675 ... c Min unsat cost LB: 53690 ... c Min unsat cost LB: 53691 ... c Min unsat cost LB: 53692 ... c Min unsat cost LB: 53716 ... c Min unsat cost LB: 53785 ... c Min unsat cost LB: 53788 ... c Min unsat cost LB: 53789 ... c Min unsat cost LB: 53790 ... c Min unsat cost LB: 53793 ... c Min unsat cost LB: 53794 ... c Min unsat cost LB: 53795 ... c Min unsat cost LB: 53796 ... c Min unsat cost LB: 53797 ... c Min unsat cost LB: 53798 ... c Min unsat cost LB: 53799 ... c Min unsat cost LB: 53800 ... c Min unsat cost LB: 53801 ... c Min unsat cost LB: 53802 ... c Min unsat cost LB: 53803 ... c Min unsat cost LB: 53824 ... c Min unsat cost LB: 53825 ... c Min unsat cost LB: 53828 ... c Min unsat cost LB: 53829 ... c Min unsat cost LB: 53831 ... c Min unsat cost LB: 53834 ... c Min unsat cost LB: 53835 ... c Min unsat cost LB: 53836 ... c Min unsat cost LB: 53837 ... c Min unsat cost LB: 53838 ... c Min unsat cost LB: 53839 ... c Min unsat cost LB: 53844 ... c Min unsat cost LB: 53846 ... c Min unsat cost LB: 53847 ... c Min unsat cost LB: 53848 ... c Min unsat cost LB: 53849 ... c Min unsat cost LB: 53851 ... c Min unsat cost LB: 53852 ... c Min unsat cost LB: 53855 ... c Min unsat cost LB: 53856 ... c Min unsat cost LB: 53857 ... c Min unsat cost LB: 53858 ... c Min unsat cost LB: 53861 ... c Min unsat cost LB: 53864 ... c Min unsat cost LB: 53867 ... c Min unsat cost LB: 53868 ... c Min unsat cost LB: 53879 ... c Min unsat cost LB: 53882 ... c Min unsat cost LB: 53883 ... c Min unsat cost LB: 53884 ... c Min unsat cost LB: 53885 ... c Min unsat cost LB: 53886 ... c Min unsat cost LB: 53887 ... c Min unsat cost LB: 53888 ... c Min unsat cost LB: 53889 ... c Min unsat cost LB: 53890 ... c Min unsat cost LB: 53891 ... c Min unsat cost LB: 53892 ... c Min unsat cost LB: 53893 ... c Min unsat cost LB: 53894 ... c Min unsat cost LB: 53895 ... c Min unsat cost LB: 53896 ... c Min unsat cost LB: 53897 ... c Min unsat cost LB: 53900 ... c Min unsat cost LB: 53901 ... c Min unsat cost LB: 53910 ... c Min unsat cost LB: 53911 ... c Min unsat cost LB: 53912 ... c Min unsat cost LB: 53913 ... c Min unsat cost LB: 53915 ... c Min unsat cost LB: 53916 ... c Min unsat cost LB: 53917 ... c Min unsat cost LB: 53918 ... c Min unsat cost LB: 53919 ... c Min unsat cost LB: 53920 ... c Min unsat cost LB: 53921 ... c Min unsat cost LB: 53922 ... c Min unsat cost LB: 53926 ... c Min unsat cost LB: 53927 ... c Min unsat cost LB: 53928 ... c Min unsat cost LB: 53929 ... c Min unsat cost LB: 53930 ... c Min unsat cost LB: 53931 ... c Min unsat cost LB: 53932 ... c Min unsat cost LB: 53933 ... c Min unsat cost LB: 53934 ... c Min unsat cost LB: 53935 ... c Min unsat cost LB: 53936 ... c Min unsat cost LB: 53937 ... c Min unsat cost LB: 53938 ... c Min unsat cost LB: 53939 ... c Min unsat cost LB: 53940 ... c Min unsat cost LB: 53941 ... c Min unsat cost LB: 53942 ... c Min unsat cost LB: 53943 ... c Min unsat cost LB: 53944 ... c Min unsat cost LB: 53945 ... c Min unsat cost LB: 53946 ... c Min unsat cost LB: 53947 ... c Min unsat cost LB: 53948 ... c Min unsat cost LB: 53949 ... c Min unsat cost LB: 53950 ... c Min unsat cost LB: 53951 ... c Min unsat cost LB: 53952 ... c Min unsat cost LB: 53953 ... c Min unsat cost LB: 53954 ... c Min unsat cost LB: 53955 ... c Min unsat cost LB: 53956 ... c Min unsat cost LB: 53957 ... c Min unsat cost LB: 53958 ... c Min unsat cost LB: 53959 ... c Min unsat cost LB: 53960 ... c Min unsat cost LB: 53961 ... c Min unsat cost LB: 53962 ... c Min unsat cost LB: 53963 ... c Min unsat cost LB: 53964 ... c Min unsat cost LB: 53965 ... c Min unsat cost LB: 53966 ... c Min unsat cost LB: 53967 ... c Min unsat cost LB: 53968 ... c Min unsat cost LB: 53969 ... c Min unsat cost LB: 53970 ... c Min unsat cost LB: 53972 ... c Min unsat cost LB: 53974 ... c Min unsat cost LB: 53976 ... c Min unsat cost LB: 53978 ... c Min unsat cost LB: 53979 ... c Min unsat cost LB: 53980 ... c Min unsat cost LB: 53981 ... c Min unsat cost LB: 53991 ... c Min unsat cost LB: 53992 ... c Min unsat cost LB: 53993 ... c Min unsat cost LB: 53994 ... c Min unsat cost LB: 53995 ... c Min unsat cost LB: 53996 ... c Min unsat cost LB: 53997 ... c Min unsat cost LB: 53998 ... c Min unsat cost LB: 53999 ... c Min unsat cost LB: 54001 ... c Min unsat cost LB: 54002 ... c Min unsat cost LB: 54003 ... c Min unsat cost LB: 54007 ... c Min unsat cost LB: 54013 ... c Min unsat cost LB: 54014 ... c Min unsat cost LB: 54015 ... c Min unsat cost LB: 54016 ... c Min unsat cost LB: 54017 ... c Min unsat cost LB: 54018 ... c Min unsat cost LB: 54020 ... c Min unsat cost LB: 54021 ... c Min unsat cost LB: 54022 ... c Min unsat cost LB: 54023 ... c Min unsat cost LB: 54025 ... c Min unsat cost LB: 54028 ... c Min unsat cost LB: 54029 ... c Min unsat cost LB: 54037 ... c Min unsat cost LB: 54039 ... c Min unsat cost LB: 54040 ... c Min unsat cost LB: 54047 ... c Min unsat cost LB: 54049 ... c Min unsat cost LB: 54051 ... c Min unsat cost LB: 54052 ... c Min unsat cost LB: 54053 ... c Min unsat cost LB: 54060 ... c Min unsat cost LB: 54061 ... c Min unsat cost LB: 54062 ... c Min unsat cost LB: 54063 ... c Min unsat cost LB: 54064 ... c Min unsat cost LB: 54065 ... c Min unsat cost LB: 54069 ... c Min unsat cost LB: 54071 ... c Min unsat cost LB: 54072 ... c Min unsat cost LB: 54075 ... c Min unsat cost LB: 54076 ... c Min unsat cost LB: 54077 ... c Min unsat cost LB: 54078 ... c Min unsat cost LB: 54080 ... c Min unsat cost LB: 54082 ... c Min unsat cost LB: 54083 ... c Min unsat cost LB: 54084 ... c Min unsat cost LB: 54085 ... c Min unsat cost LB: 54086 ... c Min unsat cost LB: 54088 ... c Min unsat cost LB: 54089 ... c Min unsat cost LB: 54090 ... c Min unsat cost LB: 54091 ... c Min unsat cost LB: 54092 ... c Min unsat cost LB: 54093 ... c Min unsat cost LB: 54098 ... c Min unsat cost LB: 54099 ... c Min unsat cost LB: 54106 ... c Min unsat cost LB: 54109 ... c Min unsat cost LB: 54110 ... c Min unsat cost LB: 54111 ... c Min unsat cost LB: 54113 ... c Min unsat cost LB: 54114 ... c Min unsat cost LB: 54115 ... c Min unsat cost LB: 54116 ... c Min unsat cost LB: 54117 ... c Min unsat cost LB: 54118 ... c Min unsat cost LB: 54119 ... c Min unsat cost LB: 54120 ... c Min unsat cost LB: 54121 ... c Min unsat cost LB: 54122 ... c Min unsat cost LB: 54123 ... c Min unsat cost LB: 54127 ... c Min unsat cost LB: 54130 ... c Min unsat cost LB: 54133 ... c Min unsat cost LB: 54134 ... c Min unsat cost LB: 54135 ... c Min unsat cost LB: 54136 ... c Min unsat cost LB: 54137 ... c Min unsat cost LB: 54138 ... c Min unsat cost LB: 54139 ... c Min unsat cost LB: 54141 ... c Min unsat cost LB: 54142 ... c Min unsat cost LB: 54143 ... c Min unsat cost LB: 54144 ... c Min unsat cost LB: 54145 ... c Min unsat cost LB: 54146 ... c Min unsat cost LB: 54147 ... c Min unsat cost LB: 54157 ... c Min unsat cost LB: 54158 ... c Min unsat cost LB: 54159 ... c Min unsat cost LB: 54160 ... c Min unsat cost LB: 54161 ... c Min unsat cost LB: 54162 ... c Min unsat cost LB: 54163 ... c Min unsat cost LB: 54187 ... c Min unsat cost LB: 54188 ... c Min unsat cost LB: 54189 ... c Min unsat cost LB: 54190 ... c Min unsat cost LB: 54191 ... c Min unsat cost LB: 54192 ... c Min unsat cost LB: 54193 ... c Min unsat cost LB: 54195 ... c Min unsat cost LB: 54400 ... c Min unsat cost LB: 54425 ... c Min unsat cost LB: 54464 ... c Min unsat cost LB: 54465 ... c Min unsat cost LB: 54466 ... c Min unsat cost LB: 54467 ... c Min unsat cost LB: 54468 ... c Min unsat cost LB: 54470 ... c Min unsat cost LB: 54472 ... c Min unsat cost LB: 54473 ... c Min unsat cost LB: 54474 ... c Min unsat cost LB: 54475 ... c Min unsat cost LB: 54494 ... c Min unsat cost LB: 54495 ... c Min unsat cost LB: 54496 ... c Min unsat cost LB: 54497 ... c Min unsat cost LB: 54498 ... c Min unsat cost LB: 54499 ... c Min unsat cost LB: 54500 ... c Min unsat cost LB: 54501 ... c Min unsat cost LB: 54502 ... c Min unsat cost LB: 54505 ... c Min unsat cost LB: 54506 ... c Min unsat cost LB: 54507 ... c Min unsat cost LB: 54508 ... c Min unsat cost LB: 54509 ... c Min unsat cost LB: 54510 ... c Min unsat cost LB: 54511 ... c Min unsat cost LB: 54512 ... c Min unsat cost LB: 54513 ... c Min unsat cost LB: 54514 ... c Min unsat cost LB: 54515 ... c Min unsat cost LB: 54516 ... c Min unsat cost LB: 54517 ... c Min unsat cost LB: 54518 ... c Min unsat cost LB: 54519 ... c Min unsat cost LB: 54520 ... c Min unsat cost LB: 54521 ... c Min unsat cost LB: 54523 ... c Min unsat cost LB: 54524 ... c Min unsat cost LB: 54525 ... c Min unsat cost LB: 54526 ... c Min unsat cost LB: 54527 ... c Min unsat cost LB: 54528 ... c Min unsat cost LB: 54544 ... c Min unsat cost LB: 54549 ... c Min unsat cost LB: 54551 ... c Min unsat cost LB: 54552 ... c Min unsat cost LB: 54554 ... c Min unsat cost LB: 54564 ... c Min unsat cost LB: 54565 ... c Min unsat cost LB: 54566 ... c Min unsat cost LB: 54567 ... c Min unsat cost LB: 54568 ... c Min unsat cost LB: 54569 ... c Min unsat cost LB: 54570 ... c Min unsat cost LB: 54571 ... c Min unsat cost LB: 54572 ... c Min unsat cost LB: 54573 ... c Min unsat cost LB: 54574 ... c Min unsat cost LB: 54575 ... c Min unsat cost LB: 54576 ... c Min unsat cost LB: 54578 ... c Min unsat cost LB: 54579 ... c Min unsat cost LB: 54580 ... c Min unsat cost LB: 54581 ... c Min unsat cost LB: 54582 ... c Min unsat cost LB: 54583 ... c Min unsat cost LB: 54584 ... c Min unsat cost LB: 54585 ... c Min unsat cost LB: 54586 ... c Min unsat cost LB: 54587 ... c Min unsat cost LB: 54588 ... c Min unsat cost LB: 54589 ... c Min unsat cost LB: 54590 ... c Min unsat cost LB: 54591 ... c Min unsat cost LB: 54592 ... c Min unsat cost LB: 54595 ... c Min unsat cost LB: 54597 ... c Min unsat cost LB: 54598 ... c Min unsat cost LB: 54599 ... c Min unsat cost LB: 54600 ... c Min unsat cost LB: 54601 ... c Min unsat cost LB: 54602 ... c Min unsat cost LB: 54603 ... c Min unsat cost LB: 54604 ... c Min unsat cost LB: 54605 ... c Min unsat cost LB: 54606 ... c Min unsat cost LB: 54607 ... c Min unsat cost LB: 54608 ... c Min unsat cost LB: 54609 ... c Min unsat cost LB: 54610 ... c Min unsat cost LB: 54611 ... c Min unsat cost LB: 54614 ... c Min unsat cost LB: 54616 ... c Min unsat cost LB: 54620 ... c Min unsat cost LB: 54621 ... c Min unsat cost LB: 54622 ... c Min unsat cost LB: 54623 ... c Min unsat cost LB: 54624 ... c Min unsat cost LB: 54625 ... c Min unsat cost LB: 54626 ... c Min unsat cost LB: 54627 ... c Min unsat cost LB: 54628 ... c Min unsat cost LB: 54629 ... c Min unsat cost LB: 54634 ... c Min unsat cost LB: 54639 ... c Min unsat cost LB: 54640 ... c Min unsat cost LB: 54641 ... c Min unsat cost LB: 54642 ... c Min unsat cost LB: 54643 ... c Min unsat cost LB: 54644 ... c Min unsat cost LB: 54646 ... c Min unsat cost LB: 54647 ... c Min unsat cost LB: 54648 ... c Min unsat cost LB: 54649 ... c Min unsat cost LB: 54650 ... c Min unsat cost LB: 54651 ... c Min unsat cost LB: 54652 ... c Min unsat cost LB: 54653 ... c Min unsat cost LB: 54654 ... c Min unsat cost LB: 54655 ... c Min unsat cost LB: 54656 ... c Min unsat cost LB: 54657 ... c Min unsat cost LB: 54658 ... c Min unsat cost LB: 54659 ... c Min unsat cost LB: 54660 ... c Min unsat cost LB: 54661 ... c Min unsat cost LB: 54662 ... c Min unsat cost LB: 54663 ... c Min unsat cost LB: 54664 ... c Min unsat cost LB: 54665 ... c Min unsat cost LB: 54666 ... c Min unsat cost LB: 54667 ... c Min unsat cost LB: 54668 ... c Min unsat cost LB: 54669 ... c Min unsat cost LB: 54670 ... c Min unsat cost LB: 54671 ... c Min unsat cost LB: 54672 ... c Min unsat cost LB: 54673 ... c Min unsat cost LB: 54674 ... c Min unsat cost LB: 54675 ... c Min unsat cost LB: 54676 ... c Min unsat cost LB: 54677 ... c Min unsat cost LB: 54678 ... c Min unsat cost LB: 54679 ... c Min unsat cost LB: 54680 ... c Min unsat cost LB: 54681 ... c Min unsat cost LB: 54682 ... c Min unsat cost LB: 54684 ... c Min unsat cost LB: 54685 ... c Min unsat cost LB: 54686 ... c Min unsat cost LB: 54687 ... c Min unsat cost LB: 54688 ... c Min unsat cost LB: 54689 ... c Min unsat cost LB: 54690 ... c Min unsat cost LB: 54691 ... c Min unsat cost LB: 54692 ... c Min unsat cost LB: 54693 ... c Min unsat cost LB: 54694 ... c Min unsat cost LB: 54695 ... c Min unsat cost LB: 54696 ... c Min unsat cost LB: 54697 ... c Min unsat cost LB: 54698 ... c Min unsat cost LB: 54699 ... c Min unsat cost LB: 54700 ... c Min unsat cost LB: 54701 ... c Min unsat cost LB: 54702 ... c Min unsat cost LB: 54703 ... c Min unsat cost LB: 54704 ... c Min unsat cost LB: 54705 ... c Min unsat cost LB: 54706 ... c Min unsat cost LB: 54707 ... c Min unsat cost LB: 54710 ... c Min unsat cost LB: 54711 ... c Min unsat cost LB: 54712 ... c Min unsat cost LB: 5Killed 1814.186u 5.553s 30:23.68 99.7% 0+0k 0+0io 0pf+0w