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_160_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_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_160_0002.txt.wcnf *** c c Min unsat cost LB: 637 ... c Min unsat cost LB: 1386 ... c Min unsat cost LB: 1912 ... c Min unsat cost LB: 2024 ... c Min unsat cost LB: 3014 ... c Min unsat cost LB: 3651 ... c Min unsat cost LB: 4641 ... c Min unsat cost LB: 5678 ... c Min unsat cost LB: 5777 ... c Min unsat cost LB: 6414 ... c Min unsat cost LB: 6692 ... c Min unsat cost LB: 7058 ... c Min unsat cost LB: 7695 ... c Min unsat cost LB: 8158 ... c Min unsat cost LB: 9156 ... c Min unsat cost LB: 9751 ... c Min unsat cost LB: 10151 ... c Min unsat cost LB: 10384 ... c Min unsat cost LB: 10610 ... c Min unsat cost LB: 10709 ... c Min unsat cost LB: 10727 ... c Min unsat cost LB: 11725 ... c Min unsat cost LB: 12357 ... c Min unsat cost LB: 12518 ... c Min unsat cost LB: 12820 ... c Min unsat cost LB: 12886 ... c Min unsat cost LB: 12904 ... c Min unsat cost LB: 12992 ... c Min unsat cost LB: 13444 ... c Min unsat cost LB: 13877 ... c Min unsat cost LB: 14076 ... c Min unsat cost LB: 14790 ... c Min unsat cost LB: 15603 ... c Min unsat cost LB: 16198 ... c Min unsat cost LB: 16640 ... c Min unsat cost LB: 16754 ... c Min unsat cost LB: 17374 ... c Min unsat cost LB: 17462 ... c Min unsat cost LB: 18008 ... c Min unsat cost LB: 18821 ... c Min unsat cost LB: 19228 ... c Min unsat cost LB: 19741 ... c Min unsat cost LB: 19908 ... c Min unsat cost LB: 20030 ... c Min unsat cost LB: 20235 ... c Min unsat cost LB: 20663 ... c Min unsat cost LB: 20863 ... c Min unsat cost LB: 20920 ... c Min unsat cost LB: 21808 ... c Min unsat cost LB: 22281 ... c Min unsat cost LB: 23101 ... c Min unsat cost LB: 23318 ... c Min unsat cost LB: 24342 ... c Min unsat cost LB: 24749 ... c Min unsat cost LB: 25036 ... c Min unsat cost LB: 25856 ... c Min unsat cost LB: 26846 ... c Min unsat cost LB: 27007 ... c Min unsat cost LB: 27255 ... c Min unsat cost LB: 27869 ... c Min unsat cost LB: 28757 ... c Min unsat cost LB: 28804 ... c Min unsat cost LB: 29821 ... c Min unsat cost LB: 29881 ... c Min unsat cost LB: 30018 ... c Min unsat cost LB: 30072 ... c Min unsat cost LB: 30132 ... c Min unsat cost LB: 30381 ... c Min unsat cost LB: 31338 ... c Min unsat cost LB: 31404 ... c Min unsat cost LB: 32187 ... c Min unsat cost LB: 32603 ... c Min unsat cost LB: 33140 ... c Min unsat cost LB: 33250 ... c Min unsat cost LB: 33499 ... c Min unsat cost LB: 34489 ... c Min unsat cost LB: 35229 ... c Min unsat cost LB: 35824 ... c Min unsat cost LB: 36323 ... c Min unsat cost LB: 36454 ... c Min unsat cost LB: 36794 ... c Min unsat cost LB: 36831 ... c Min unsat cost LB: 37178 ... c Min unsat cost LB: 37215 ... c Min unsat cost LB: 37829 ... c Min unsat cost LB: 37898 ... c Min unsat cost LB: 38987 ... c Min unsat cost LB: 39002 ... c Min unsat cost LB: 39543 ... c Min unsat cost LB: 39560 ... c Min unsat cost LB: 39717 ... c Min unsat cost LB: 40456 ... c Min unsat cost LB: 41376 ... c Min unsat cost LB: 41445 ... c Min unsat cost LB: 41724 ... c Min unsat cost LB: 42062 ... c Min unsat cost LB: 42259 ... c Min unsat cost LB: 43109 ... c Min unsat cost LB: 43899 ... c Min unsat cost LB: 44255 ... c Min unsat cost LB: 44996 ... c Min unsat cost LB: 45679 ... c Min unsat cost LB: 46274 ... c Min unsat cost LB: 47188 ... c Min unsat cost LB: 48038 ... c Min unsat cost LB: 48819 ... c Min unsat cost LB: 48888 ... c Min unsat cost LB: 49127 ... c Min unsat cost LB: 49131 ... c Min unsat cost LB: 49889 ... c Min unsat cost LB: 49895 ... c Min unsat cost LB: 50745 ... c Min unsat cost LB: 51367 ... c Min unsat cost LB: 51399 ... c Min unsat cost LB: 51539 ... c Min unsat cost LB: 51690 ... c Min unsat cost LB: 51872 ... c Min unsat cost LB: 51895 ... c Min unsat cost LB: 51900 ... c Min unsat cost LB: 51975 ... c Min unsat cost LB: 52061 ... c Min unsat cost LB: 52182 ... c Min unsat cost LB: 52408 ... c Min unsat cost LB: 52523 ... c Min unsat cost LB: 52575 ... c Min unsat cost LB: 53069 ... c Min unsat cost LB: 53333 ... c Min unsat cost LB: 54183 ... c Min unsat cost LB: 54433 ... c Min unsat cost LB: 55173 ... c Min unsat cost LB: 55295 ... c Min unsat cost LB: 55316 ... c Min unsat cost LB: 55374 ... c Min unsat cost LB: 55419 ... c Min unsat cost LB: 56508 ... c Min unsat cost LB: 56836 ... c Min unsat cost LB: 56921 ... c Min unsat cost LB: 57140 ... c Min unsat cost LB: 57249 ... c Min unsat cost LB: 57720 ... c Min unsat cost LB: 57909 ... c Min unsat cost LB: 58046 ... c Min unsat cost LB: 58127 ... c Min unsat cost LB: 58310 ... c Min unsat cost LB: 58575 ... c Min unsat cost LB: 59632 ... c Min unsat cost LB: 59661 ... c Min unsat cost LB: 59684 ... c Min unsat cost LB: 60256 ... c Min unsat cost LB: 60293 ... c Min unsat cost LB: 60432 ... c Min unsat cost LB: 60485 ... c Min unsat cost LB: 60515 ... c Min unsat cost LB: 60572 ... c Min unsat cost LB: 60604 ... c Min unsat cost LB: 60638 ... c Min unsat cost LB: 60695 ... c Min unsat cost LB: 60826 ... c Min unsat cost LB: 60884 ... c Min unsat cost LB: 61197 ... c Min unsat cost LB: 61201 ... c Min unsat cost LB: 61263 ... c Min unsat cost LB: 61347 ... c Min unsat cost LB: 61428 ... c Min unsat cost LB: 61538 ... c Min unsat cost LB: 61736 ... c Min unsat cost LB: 61742 ... c Min unsat cost LB: 61801 ... c Min unsat cost LB: 62124 ... c Min unsat cost LB: 62147 ... c Min unsat cost LB: 62207 ... c Min unsat cost LB: 62217 ... c Min unsat cost LB: 62254 ... c Min unsat cost LB: 62258 ... c Min unsat cost LB: 62332 ... c Min unsat cost LB: 62418 ... c Min unsat cost LB: 62463 ... c Min unsat cost LB: 62497 ... c Min unsat cost LB: 62554 ... c Min unsat cost LB: 62692 ... c Min unsat cost LB: 62707 ... c Min unsat cost LB: 62735 ... c Min unsat cost LB: 62894 ... c Min unsat cost LB: 62896 ... c Min unsat cost LB: 62950 ... c Min unsat cost LB: 62967 ... c Min unsat cost LB: 62992 ... c Min unsat cost LB: 63029 ... c Min unsat cost LB: 63040 ... c Min unsat cost LB: 63047 ... c Min unsat cost LB: 63208 ... c Min unsat cost LB: 63331 ... c Min unsat cost LB: 63349 ... c Min unsat cost LB: 63424 ... c Min unsat cost LB: 63734 ... c Min unsat cost LB: 63860 ... c Min unsat cost LB: 64305 ... c Min unsat cost LB: 64336 ... c Min unsat cost LB: 64544 ... c Min unsat cost LB: 64780 ... c Min unsat cost LB: 64798 ... c Min unsat cost LB: 64805 ... c Min unsat cost LB: 64818 ... c Min unsat cost LB: 64945 ... c Min unsat cost LB: 64998 ... c Min unsat cost LB: 65120 ... c Min unsat cost LB: 65246 ... c Min unsat cost LB: 65386 ... c Min unsat cost LB: 65391 ... c Min unsat cost LB: 65403 ... c Min unsat cost LB: 65636 ... c Min unsat cost LB: 65757 ... c Min unsat cost LB: 65877 ... c Min unsat cost LB: 65900 ... c Min unsat cost LB: 65914 ... c Min unsat cost LB: 65926 ... c Min unsat cost LB: 65983 ... c Min unsat cost LB: 66134 ... c Min unsat cost LB: 66219 ... c Min unsat cost LB: 66271 ... c Min unsat cost LB: 66314 ... c Min unsat cost LB: 66316 ... c Min unsat cost LB: 66317 ... c Min unsat cost LB: 66350 ... c Min unsat cost LB: 66449 ... c Min unsat cost LB: 66523 ... c Min unsat cost LB: 66740 ... c Min unsat cost LB: 66820 ... c Min unsat cost LB: 66865 ... c Min unsat cost LB: 66875 ... c Min unsat cost LB: 66960 ... c Min unsat cost LB: 66981 ... c Min unsat cost LB: 67322 ... c Min unsat cost LB: 67336 ... c Min unsat cost LB: 67391 ... c Min unsat cost LB: 67439 ... c Min unsat cost LB: 67448 ... c Min unsat cost LB: 67459 ... c Min unsat cost LB: 67514 ... c Min unsat cost LB: 67526 ... c Min unsat cost LB: 67556 ... c Min unsat cost LB: 67651 ... c Min unsat cost LB: 67661 ... c Min unsat cost LB: 67692 ... c Min unsat cost LB: 67809 ... c Min unsat cost LB: 67871 ... c Min unsat cost LB: 67873 ... c Min unsat cost LB: 67932 ... c Min unsat cost LB: 67942 ... c Min unsat cost LB: 68011 ... c Min unsat cost LB: 68130 ... c Min unsat cost LB: 68340 ... c Min unsat cost LB: 68361 ... c Min unsat cost LB: 68376 ... c Min unsat cost LB: 68384 ... c Min unsat cost LB: 68447 ... c Min unsat cost LB: 68468 ... c Min unsat cost LB: 68608 ... c Min unsat cost LB: 68676 ... c Min unsat cost LB: 68979 ... c Min unsat cost LB: 69028 ... c Min unsat cost LB: 69112 ... c Min unsat cost LB: 69113 ... c Min unsat cost LB: 69168 ... c Min unsat cost LB: 69170 ... c Min unsat cost LB: 69206 ... c Min unsat cost LB: 69408 ... c Min unsat cost LB: 69422 ... c Min unsat cost LB: 69455 ... c Min unsat cost LB: 69476 ... c Min unsat cost LB: 69573 ... c Min unsat cost LB: 69641 ... c Min unsat cost LB: 69693 ... c Min unsat cost LB: 69824 ... c Min unsat cost LB: 69899 ... c Min unsat cost LB: 69905 ... c Min unsat cost LB: 69956 ... c Min unsat cost LB: 70243 ... c Min unsat cost LB: 70346 ... c Min unsat cost LB: 70369 ... c Min unsat cost LB: 70377 ... c Min unsat cost LB: 70783 ... c Min unsat cost LB: 70786 ... c Min unsat cost LB: 70810 ... c Min unsat cost LB: 70815 ... c Min unsat cost LB: 70818 ... c Min unsat cost LB: 70865 ... c Min unsat cost LB: 70941 ... c Min unsat cost LB: 71004 ... c Min unsat cost LB: 71091 ... c Min unsat cost LB: 71201 ... c Min unsat cost LB: 71235 ... c Min unsat cost LB: 71271 ... c Min unsat cost LB: 71290 ... c Min unsat cost LB: 71296 ... c Min unsat cost LB: 71320 ... c Min unsat cost LB: 71324 ... c Min unsat cost LB: 71338 ... c Min unsat cost LB: 71345 ... c Min unsat cost LB: 71360 ... c Min unsat cost LB: 71398 ... c Min unsat cost LB: 71414 ... c Min unsat cost LB: 71430 ... c Min unsat cost LB: 71453 ... c Min unsat cost LB: 71474 ... c Min unsat cost LB: 71507 ... c Min unsat cost LB: 71597 ... c Min unsat cost LB: 71609 ... c Min unsat cost LB: 71695 ... c Min unsat cost LB: 71945 ... c Min unsat cost LB: 71973 ... c Min unsat cost LB: 72225 ... c Min unsat cost LB: 72451 ... c Min unsat cost LB: 72457 ... c Min unsat cost LB: 72540 ... c Min unsat cost LB: 72656 ... c Min unsat cost LB: 72685 ... c Min unsat cost LB: 72690 ... c Min unsat cost LB: 72785 ... c Min unsat cost LB: 72807 ... c Min unsat cost LB: 73167 ... c Min unsat cost LB: 73179 ... c Min unsat cost LB: 73184 ... c Min unsat cost LB: 73213 ... c Min unsat cost LB: 73216 ... c Min unsat cost LB: 73220 ... c Min unsat cost LB: 73227 ... c Min unsat cost LB: 73229 ... c Min unsat cost LB: 73238 ... c Min unsat cost LB: 73239 ... c Min unsat cost LB: 73265 ... c Min unsat cost LB: 73275 ... c Min unsat cost LB: 73277 ... c Min unsat cost LB: 73286 ... c Min unsat cost LB: 73297 ... c Min unsat cost LB: 73311 ... c Min unsat cost LB: 73312 ... c Min unsat cost LB: 73319 ... c Min unsat cost LB: 73320 ... c Min unsat cost LB: 73335 ... c Min unsat cost LB: 73394 ... c Min unsat cost LB: 73408 ... c Min unsat cost LB: 73413 ... c Min unsat cost LB: 73445 ... c Min unsat cost LB: 73461 ... c Min unsat cost LB: 73479 ... c Min unsat cost LB: 73482 ... c Min unsat cost LB: 73484 ... c Min unsat cost LB: 73486 ... c Min unsat cost LB: 73488 ... c Min unsat cost LB: 73496 ... c Min unsat cost LB: 73500 ... c Min unsat cost LB: 73506 ... c Min unsat cost LB: 73513 ... c Min unsat cost LB: 73516 ... c Min unsat cost LB: 73521 ... c Min unsat cost LB: 73525 ... c Min unsat cost LB: 73553 ... c Min unsat cost LB: 73562 ... c Min unsat cost LB: 73565 ... c Min unsat cost LB: 73566 ... c Min unsat cost LB: 73588 ... c Min unsat cost LB: 73591 ... c Min unsat cost LB: 73592 ... c Min unsat cost LB: 73603 ... c Min unsat cost LB: 73606 ... c Min unsat cost LB: 73618 ... c Min unsat cost LB: 73624 ... c Min unsat cost LB: 73636 ... c Min unsat cost LB: 73647 ... c Min unsat cost LB: 73668 ... c Min unsat cost LB: 73674 ... c Min unsat cost LB: 73681 ... c Min unsat cost LB: 73693 ... c Min unsat cost LB: 73723 ... c Min unsat cost LB: 73726 ... c Min unsat cost LB: 73756 ... c Min unsat cost LB: 73766 ... c Min unsat cost LB: 73828 ... c Min unsat cost LB: 73837 ... c Min unsat cost LB: 73840 ... c Min unsat cost LB: 73892 ... c Min unsat cost LB: 73895 ... c Min unsat cost LB: 73903 ... c Min unsat cost LB: 73984 ... c Min unsat cost LB: 74015 ... c Min unsat cost LB: 74017 ... c Min unsat cost LB: 74031 ... c Min unsat cost LB: 74087 ... c Min unsat cost LB: 74095 ... c Min unsat cost LB: 74110 ... c Min unsat cost LB: 74156 ... c Min unsat cost LB: 74159 ... c Min unsat cost LB: 74172 ... c Min unsat cost LB: 74175 ... c Min unsat cost LB: 74208 ... c Min unsat cost LB: 74529 ... c Min unsat cost LB: 74545 ... c Min unsat cost LB: 74550 ... c Min unsat cost LB: 74565 ... c Min unsat cost LB: 74568 ... c Min unsat cost LB: 74569 ... c Min unsat cost LB: 74583 ... c Min unsat cost LB: 74584 ... c Min unsat cost LB: 74587 ... c Min unsat cost LB: 74588 ... c Min unsat cost LB: 74600 ... c Min unsat cost LB: 74601 ... c Min unsat cost LB: 74607 ... c Min unsat cost LB: 74608 ... c Min unsat cost LB: 74611 ... c Min unsat cost LB: 74612 ... c Min unsat cost LB: 74613 ... c Min unsat cost LB: 74646 ... c Min unsat cost LB: 74647 ... c Min unsat cost LB: 74649 ... c Min unsat cost LB: 74651 ... c Min unsat cost LB: 74652 ... c Min unsat cost LB: 74669 ... c Min unsat cost LB: 74670 ... c Min unsat cost LB: 74675 ... c Min unsat cost LB: 74692 ... c Min unsat cost LB: 74695 ... c Min unsat cost LB: 74710 ... c Min unsat cost LB: 74713 ... c Min unsat cost LB: 74720 ... c Min unsat cost LB: 74740 ... c Min unsat cost LB: 74744 ... c Min unsat cost LB: 74762 ... c Min unsat cost LB: 74778 ... c Min unsat cost LB: 74780 ... c Min unsat cost LB: 74783 ... c Min unsat cost LB: 74785 ... c Min unsat cost LB: 74786 ... c Min unsat cost LB: 74787 ... c Min unsat cost LB: 74793 ... c Min unsat cost LB: 74800 ... c Min unsat cost LB: 74805 ... c Min unsat cost LB: 74816 ... c Min unsat cost LB: 74817 ... c Min unsat cost LB: 74818 ... c Min unsat cost LB: 74819 ... c Min unsat cost LB: 74820 ... c Min unsat cost LB: 74821 ... c Min unsat cost LB: 74824 ... c Min unsat cost LB: 74825 ... c Min unsat cost LB: 74831 ... c Min unsat cost LB: 74833 ... c Min unsat cost LB: 74837 ... c Min unsat cost LB: 74839 ... c Min unsat cost LB: 74845 ... c Min unsat cost LB: 74848 ... c Min unsat cost LB: 74856 ... c Min unsat cost LB: 74857 ... c Min unsat cost LB: 74870 ... c Min unsat cost LB: 74878 ... c Min unsat cost LB: 74880 ... c Min unsat cost LB: 74882 ... c Min unsat cost LB: 74889 ... c Min unsat cost LB: 74906 ... c Min unsat cost LB: 74907 ... c Min unsat cost LB: 74914 ... c Min unsat cost LB: 74930 ... c Min unsat cost LB: 74951 ... c Min unsat cost LB: 74952 ... c Min unsat cost LB: 74981 ... c Min unsat cost LB: 74982 ... c Min unsat cost LB: 74992 ... c Min unsat cost LB: 74997 ... c Min unsat cost LB: 74999 ... c Min unsat cost LB: 75000 ... c Min unsat cost LB: 75010 ... c Min unsat cost LB: 75022 ... c Min unsat cost LB: 75044 ... c Min unsat cost LB: 75058 ... c Min unsat cost LB: 75059 ... c Min unsat cost LB: 75060 ... c Min unsat cost LB: 75069 ... c Min unsat cost LB: 75070 ... c Min unsat cost LB: 75079 ... c Min unsat cost LB: 75080 ... c Min unsat cost LB: 75097 ... c Min unsat cost LB: 75101 ... c Min unsat cost LB: 75184 ... c Min unsat cost LB: 75243 ... c Min unsat cost LB: 75244 ... c Min unsat cost LB: 75247 ... c Min unsat cost LB: 75257 ... c Min unsat cost LB: 75267 ... c Min unsat cost LB: 75271 ... c Min unsat cost LB: 75281 ... c Min unsat cost LB: 75284 ... c Min unsat cost LB: 75289 ... c Min unsat cost LB: 75336 ... c Min unsat cost LB: 75337 ... c Min unsat cost LB: 75338 ... c Min unsat cost LB: 75339 ... c Min unsat cost LB: 75347 ... c Min unsat cost LB: 75348 ... c Min unsat cost LB: 75349 ... c Min unsat cost LB: 75353 ... c Min unsat cost LB: 75358 ... c Min unsat cost LB: 75365 ... c Min unsat cost LB: 75386 ... c Min unsat cost LB: 75400 ... c Min unsat cost LB: 75406 ... c Min unsat cost LB: 75442 ... c Min unsat cost LB: 75443 ... c Min unsat cost LB: 75471 ... c Min unsat cost LB: 75490 ... c Min unsat cost LB: 75493 ... c Min unsat cost LB: 75495 ... c Min unsat cost LB: 75498 ... c Min unsat cost LB: 75500 ... c Min unsat cost LB: 75502 ... c Min unsat cost LB: 75503 ... c Min unsat cost LB: 75504 ... c Min unsat cost LB: 75506 ... c Min unsat cost LB: 75516 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75531 ... c Min unsat cost LB: 75536 ... c Min unsat cost LB: 75541 ... c Min unsat cost LB: 75545 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75550 ... c Min unsat cost LB: 75592 ... c Min unsat cost LB: 75614 ... c Min unsat cost LB: 75616 ... c Min unsat cost LB: 75622 ... c Min unsat cost LB: 75624 ... c Min unsat cost LB: 75643 ... c Min unsat cost LB: 75646 ... c Min unsat cost LB: 75652 ... c Min unsat cost LB: 75659 ... c Min unsat cost LB: 75667 ... c Min unsat cost LB: 75672 ... c Min unsat cost LB: 75676 ... c Min unsat cost LB: 75679 ... c Min unsat cost LB: 75685 ... c Min unsat cost LB: 75699 ... c Min unsat cost LB: 75706 ... c Min unsat cost LB: 75713 ... c Min unsat cost LB: 75717 ... c Min unsat cost LB: 75719 ... c Min unsat cost LB: 75721 ... c Min unsat cost LB: 75723 ... c Min unsat cost LB: 75727 ... c Min unsat cost LB: 75734 ... c Min unsat cost LB: 75736 ... c Min unsat cost LB: 75738 ... c Min unsat cost LB: 75740 ... c Min unsat cost LB: 75742 ... c Min unsat cost LB: 75744 ... c Min unsat cost LB: 75748 ... c Min unsat cost LB: 75750 ... c Min unsat cost LB: 75755 ... c Min unsat cost LB: 75758 ... c Min unsat cost LB: 75760 ... c Min unsat cost LB: 75761 ... c Min unsat cost LB: 75767 ... c Min unsat cost LB: 75768 ... c Min unsat cost LB: 75769 ... c Min unsat cost LB: 75771 ... c Min unsat cost LB: 75773 ... c Min unsat cost LB: 75774 ... c Min unsat cost LB: 75790 ... c Min unsat cost LB: 75795 ... c Min unsat cost LB: 75802 ... c Min unsat cost LB: 75803 ... c Min unsat cost LB: 75804 ... c Min unsat cost LB: 75807 ... c Min unsat cost LB: 75809 ... c Min unsat cost LB: 75810 ... c Min unsat cost LB: 75812 ... c Min unsat cost LB: 75813 ... c Min unsat cost LB: 75822 ... c Min unsat cost LB: 75825 ... c Min unsat cost LB: 75826 ... c Min unsat cost LB: 75827 ... c Min unsat cost LB: 75829 ... c Min unsat cost LB: 75830 ... c Min unsat cost LB: 75831 ... c Min unsat cost LB: 75833 ... c Min unsat cost LB: 75834 ... c Min unsat cost LB: 75841 ... c Min unsat cost LB: 75842 ... c Min unsat cost LB: 75843 ... c Min unsat cost LB: 75844 ... c Min unsat cost LB: 75846 ... c Min unsat cost LB: 75847 ... c Min unsat cost LB: 75848 ... c Min unsat cost LB: 75849 ... c Min unsat cost LB: 75850 ... c Min unsat cost LB: 75851 ... c Min unsat cost LB: 75852 ... c Min unsat cost LB: 75853 ... c Min unsat cost LB: 75854 ... c Min unsat cost LB: 75855 ... c Min unsat cost LB: 75856 ... c Min unsat cost LB: 75857 ... c Min unsat cost LB: 75858 ... c Min unsat cost LB: 75859 ... c Min unsat cost LB: 75860 ... c Min unsat cost LB: 75861 ... c Min unsat cost LB: 75862 ... c Min unsat cost LB: 75863 ... c Min unsat cost LB: 75864 ... c Min unsat cost LB: 75865 ... c Min unsat cost LB: 75866 ... c Min unsat cost LB: 75868 ... c Min unsat cost LB: 75869 ... c Min unsat cost LB: 75870 ... c Min unsat cost LB: 75871 ... c Min unsat cost LB: 75872 ... c Min unsat cost LB: 75873 ... c Min unsat cost LB: 75874 ... c Min unsat cost LB: 75875 ... c Min unsat cost LB: 75876 ... c Min unsat cost LB: 75877 ... c Min unsat cost LB: 75878 ... c Min unsat cost LB: 75879 ... c Min unsat cost LB: 75880 ... c Min unsat cost LB: 75881 ... c Min unsat cost LB: 75882 ... c Min unsat cost LB: 75883 ... c Min unsat cost LB: 75884 ... c Min unsat cost LB: 75885 ... c Min unsat cost LB: 75886 ... c Min unsat cost LB: 75887 ... c Min unsat cost LB: 75888 ... c Min unsat cost LB: 75889 ... c Min unsat cost LB: 75890 ... c Min unsat cost LB: 75891 ... c Min unsat cost LB: 75892 ... c Min unsat cost LB: 75893 ... c Min unsat cost LB: 75894 ... c Min unsat cost LB: 75895 ... c Min unsat cost LB: 75897 ... c Min unsat cost LB: 75898 ... c Min unsat cost LB: 75908 ... c Min unsat cost LB: 75909 ... c Min unsat cost LB: 75912 ... c Min unsat cost LB: 75913 ... c Min unsat cost LB: 75924 ... c Min unsat cost LB: 75936 ... c Min unsat cost LB: 75937 ... c Min unsat cost LB: 75938 ... c Min unsat cost LB: 75939 ... c Min unsat cost LB: 75940 ... c Min unsat cost LB: 75944 ... c Min unsat cost LB: 75945 ... c Min unsat cost LB: 75946 ... c Min unsat cost LB: 75947 ... c Min unsat cost LB: 75948 ... c Min unsat cost LB: 75949 ... c Min unsat cost LB: 75950 ... c Min unsat cost LB: 75965 ... c Min unsat cost LB: 75966 ... c Min unsat cost LB: 75967 ... c Min unsat cost LB: 75975 ... c Min unsat cost LB: 75976 ... c Min unsat cost LB: 75981 ... c Min unsat cost LB: 75982 ... c Min unsat cost LB: 75983 ... c Min unsat cost LB: 75985 ... c Min unsat cost LB: 75996 ... c Min unsat cost LB: 75997 ... c Min unsat cost LB: 75998 ... c Min unsat cost LB: 76000 ... c Min unsat cost LB: 76003 ... c Min unsat cost LB: 76005 ... c Min unsat cost LB: 76006 ... c Min unsat cost LB: 76010 ... c Min unsat cost LB: 76011 ... c Min unsat cost LB: 76012 ... c Min unsat cost LB: 76013 ... c Min unsat cost LB: 76014 ... c Min unsat cost LB: 76106 ... c Min unsat cost LB: 76112 ... c Min unsat cost LB: 76114 ... c Min unsat cost LB: 76115 ... c Min unsat cost LB: 76123 ... c Min unsat cost LB: 76124 ... c Min unsat cost LB: 76152 ... c Min unsat cost LB: 76153 ... c Min unsat cost LB: 76157 ... c Min unsat cost LB: 76159 ... c Min unsat cost LB: 76160 ... c Min unsat cost LB: 76161 ... c Min unsat cost LB: 76162 ... c Min unsat cost LB: 76163 ... c Min unsat cost LB: 76165 ... c Min unsat cost LB: 76172 ... c Min unsat cost LB: 76175 ... c Min unsat cost LB: 76178 ... c Min unsat cost LB: 76181 ... c Min unsat cost LB: 76183 ... c Min unsat cost LB: 76184 ... c Min unsat cost LB: 76185 ... c Min unsat cost LB: 76186 ... c Min unsat cost LB: 76187 ... c Min unsat cost LB: 76188 ... c Min unsat cost LB: 76189 ... c Min unsat cost LB: 76191 ... c Min unsat cost LB: 76192 ... c Min unsat cost LB: 76197 ... c Min unsat cost LB: 76198 ... c Min unsat cost LB: 76199 ... c Min unsat cost LB: 76200 ... c Min unsat cost LB: 76201 ... c Min unsat cost LB: 76203 ... c Min unsat cost LB: 76204 ... c Min unsat cost LB: 76205 ... c Min unsat cost LB: 76206 ... c Min unsat cost LB: 76207 ... c Min unsat cost LB: 76209 ... c Min unsat cost LB: 76210 ... c Min unsat cost LB: 76212 ... c Min unsat cost LB: 76213 ... c Min unsat cost LB: 76214 ... c Min unsat cost LB: 76220 ... c Min unsat cost LB: 76224 ... c Min unsat cost LB: 76247 ... c Min unsat cost LB: 76250 ... c Min unsat cost LB: 76251 ... c Min unsat cost LB: 76252 ... c Min unsat cost LB: 76253 ... c Min unsat cost LB: 76255 ... c Min unsat cost LB: 76256 ... c Min unsat cost LB: 76257 ... c Min unsat cost LB: 76258 ... c Min unsat cost LB: 76259 ... c Min unsat cost LB: 76260 ... c Min unsat cost LB: 76262 ... c Min unsat cost LB: 76263 ... c Min unsat cost LB: 76264 ... c Min unsat cost LB: 76265 ... c Min unsat cost LB: 76268 ... c Min unsat cost LB: 76269 ... c Min unsat cost LB: 76270 ... c Min unsat cost LB: 76271 ... c Min unsat cost LB: 76274 ... c Min unsat cost LB: 76275 ... c Min unsat cost LB: 76276 ... c Min unsat cost LB: 76277 ... c Min unsat cost LB: 76286 ... c Min unsat cost LB: 76288 ... c Min unsat cost LB: 76289 ... c Min unsat cost LB: 76290 ... c Min unsat cost LB: 76291 ... c Min unsat cost LB: 76292 ... c Min unsat cost LB: 76298 ... c Min unsat cost LB: 76304 ... c Min unsat cost LB: 76305 ... c Min unsat cost LB: 76307 ... c Min unsat cost LB: 76320 ... c Min unsat cost LB: 76333 ... c Min unsat cost LB: 76334 ... c Min unsat cost LB: 76350 ... c Min unsat cost LB: 76357 ... c Min unsat cost LB: 76358 ... c Min unsat cost LB: 76359 ... c Min unsat cost LB: 76363 ... c Min unsat cost LB: 76377 ... c Min unsat cost LB: 76387 ... c Min unsat cost LB: 76401 ... c Min unsat cost LB: 76405 ... c Min unsat cost LB: 76407 ... c Min unsat cost LB: 76411 ... c Min unsat cost LB: 76419 ... c Min unsat cost LB: 76430 ... c Min unsat cost LB: 76435 ... c Min unsat cost LB: 76437 ... c Min unsat cost LB: 76438 ... c Min unsat cost LB: 76440 ... c Min unsat cost LB: 76556 ... c Min unsat cost LB: 76557 ... c Min unsat cost LB: 76598 ... c Min unsat cost LB: 76600 ... c Min unsat cost LB: 76606 ... c Min unsat cost LB: 76607 ... c Min unsat cost LB: 76650 ... c Min unsat cost LB: 76653 ... c Min unsat cost LB: 76655 ... c Min unsat cost LB: 76659 ... c Min unsat cost LB: 76660 ... c Min unsat cost LB: 76663 ... c Min unsat cost LB: 76667 ... c Min unsat cost LB: 76668 ... c Min unsat cost LB: 76672 ... c Min unsat cost LB: 76675 ... c Min unsat cost LB: 76676 ... c Min unsat cost LB: 76677 ... c Min unsat cost LB: 76678 ... c Min unsat cost LB: 76679 ... c Min unsat cost LB: 76680 ... c Min unsat cost LB: 76686 ... c Min unsat cost LB: 76690 ... c Min unsat cost LB: 76695 ... c Min unsat cost LB: 76696 ... c Min unsat cost LB: 76697 ... c Min unsat cost LB: 76698 ... c Min unsat cost LB: 76699 ... c Min unsat cost LB: 76701 ... c Min unsat cost LB: 76702 ... c Min unsat cost LB: 76703 ... c Min unsat cost LB: 76704 ... c Min unsat cost LB: 76705 ... c Min unsat cost LB: 76722 ... c Min unsat cost LB: 76723 ... c Min unsat cost LB: 76724 ... c Min unsat cost LB: 76726 ... c Min unsat cost LB: 76727 ... c Min unsat cost LB: 76730 ... c Min unsat cost LB: 76731 ... c Min unsat cost LB: 76746 ... c Min unsat cost LB: 76747 ... c Min unsat cost LB: 76749 ... c Min unsat cost LB: 76750 ... c Min unsat cost LB: 76753 ... c Min unsat cost LB: 76754 ... c Min unsat cost LB: 76778 ... c Min unsat cost LB: 76779 ... c Min unsat cost LB: 76784 ... c Min unsat cost LB: 76795 ... c Min unsat cost LB: 76797 ... c Min unsat cost LB: 76800 ... c Min unsat cost LB: 76801 ... c Min unsat cost LB: 76804 ... c Min unsat cost LB: 76852 ... c Min unsat cost LB: 76853 ... c Min unsat cost LB: 76855 ... c Min unsat cost LB: 76856 ... c Min unsat cost LB: 76857 ... c Min unsat cost LB: 76858 ... c Min unsat cost LB: 76860 ... c Min unsat cost LB: 76862 ... c Min unsat cost LB: 76864 ... c Min unsat cost LB: 76865 ... c Min unsat cost LB: 76866 ... c Min unsat cost LB: 76867 ... c Min unsat cost LB: 76868 ... c Min unsat cost LB: 76869 ... c Min unsat cost LB: 76870 ... c Min unsat cost LB: 76871 ... c Min unsat cost LB: 76873 ... c Min unsat cost LB: 76875 ... c Min unsat cost LB: 76876 ... c Min unsat cost LB: 76877 ... c Min unsat cost LB: 76878 ... c Min unsat cost LB: 76879 ... c Min unsat cost LB: 76880 ... c Min unsat cost LB: 76885 ... c Min unsat cost LB: 76886 ... c Min unsat cost LB: 76887 ... c Min unsat cost LB: 76888 ... c Min unsat cost LB: 76890 ... c Min unsat cost LB: 76891 ... c Min unsat cost LB: 76895 ... c Min unsat cost LB: 76896 ... c Min unsat cost LB: 76899 ... c Min unsat cost LB: 76900 ... c Min unsat cost LB: 76902 ... c Min unsat cost LB: 76905 ... c Min unsat cost LB: 76906 ... c Min unsat cost LB: 76907 ... c Min unsat cost LB: 76908 ... c Min unsat cost LB: 76909 ... c Min unsat cost LB: 76910 ... c Min unsat cost LB: 76911 ... c Min unsat cost LB: 76912 ... c Min unsat cost LB: 76913 ... c Min unsat cost LB: 76914 ... c Min unsat cost LB: 76915 ... c Min unsat cost LB: 76916 ... c Min unsat cost LB: 76917 ... c Min unsat cost LB: 76918 ... c Min unsat cost LB: 76919 ... c Min unsat cost LB: 76920 ... c Min unsat cost LB: 76921 ... c Min unsat cost LB: 76922 ... c Min unsat cost LB: 76923 ... c Min unsat cost LB: 76924 ... c Min unsat cost LB: 76925 ... c Min unsat cost LB: 76926 ... c Min unsat cost LB: 76927 ... c Min unsat cost LB: 76929 ... c Min unsat cost LB: 76930 ... c Min unsat cost LB: 76931 ... c Min unsat cost LB: 76932 ... c Min unsat cost LB: 76933 ... c Min unsat cost LB: 76934 ... c Min unsat cost LB: 76935 ... c Min unsat cost LB: 76936 ... c Min unsat cost LB: 76937 ... c Min unsat cost LB: 76938 ... c Min unsat cost LB: 76939 ... c Min unsat cost LB: 76940 ... c Min unsat cost LB: 76941 ... c Min unsat cost LB: 76942 ... c Min unsat cost LB: 76943 ... c Min unsat cost LB: 76944 ... c Min unsat cost LB: 76945 ... c Min unsat cost LB: 76946 ... c Min unsat cost LB: 76947 ... c Min unsat cost LB: 76948 ... c Min unsat cost LB: 76953 ... c Min unsat cost LB: 76954 ... c Min unsat cost LB: 76957 ... c Min unsat cost LB: 76961 ... c Min unsat cost LB: 76962 ... c Min unsat cost LB: 76963 ... c Min unsat cost LB: 76964 ... c Min unsat cost LB: 76965 ... c Min unsat cost LB: 76966 ... c Min unsat cost LB: 76967 ... c Min unsat cost LB: 76968 ... c Min unsat cost LB: 76969 ... c Min unsat cost LB: 76970 ... c Min unsat cost LB: 76983 ... c Min unsat cost LB: 76985 ... c Min unsat cost LB: 76990 ... c Min unsat cost LB: 76991 ... c Min unsat cost LB: 77002 ... c Min unsat cost LB: 77003 ... c Min unsat cost LB: 77004 ... c Min unsat cost LB: 77005 ... c Min unsat cost LB: 77006 ... c Min unsat cost LB: 77008 ... c Min unsat cost LB: 77009 ... c Min unsat cost LB: 77010 ... c Min unsat cost LB: 77011 ... c Min unsat cost LB: 77012 ... c Min unsat cost LB: 77013 ... c Min unsat cost LB: 77014 ... c Min unsat cost LB: 77015 ... c Min unsat cost LB: 77016 ... c Min unsat cost LB: 77017 ... c Min unsat cost LB: 77018 ... c Min unsat cost LB: 77019 ... c Min unsat cost LB: 77020 ... c Min unsat cost LB: 77021 ... c Min unsat cost LB: 77022 ... c Min unsat cost LB: 77023 ... c Min unsat cost LB: 77024 ... c Min unsat cost LB: 77025 ... c Min unsat cost LB: 77026 ... c Min unsat cost LB: 77027 ... c Min unsat cost LB: 77028 ... c Min unsat cost LB: 77029 ... c Min unsat cost LB: 77030 ... c Min unsat cost LB: 77031 ... c Min unsat cost LB: 77032 ... c Min unsat cost LB: 77033 ... c Min unsat cost LB: 77034 ... c Min unsat cost LB: 77035 ... c Min unsat cost LB: 77036 ... c Min unsat cost LB: 77037 ... c Min unsat cost LB: 77038 ... c Min unsat cost LB: 77039 ... c Min unsat cost LB: 77040 ... c Min unsat cost LB: 77041 ... c Min unsat cost LB: 77042 ... c Min unsat cost LB: 77043 ... c Min unsat cost LB: 77044 ... c Min unsat cost LB: 77045 ... c Min unsat cost LB: 77046 ... c Min unsat cost LB: 77047 ... c Min unsat cost LB: 77048 ... c Min unsat cost LB: 77049 ... c Min unsat cost LB: 77051 ... c Min unsat cost LB: 77057 ... c Min unsat cost LB: 77060 ... c Min unsat cost LB: 77061 ... c Min unsat cost LB: 77062 ... c Min unsat cost LB: 77063 ... c Min unsat cost LB: 77065 ... c Min unsat cost LB: 77066 ... c Min unsat cost LB: 77067 ... c Min unsat cost LB: 77068 ... c Min unsat cost LB: 77069 ... c Min unsat cost LB: 77070 ... c Min unsat cost LB: 77071 ... c Min unsat cost LB: 77072 ... c Min unsat cost LB: 77073 ... c Min unsat cost LB: 77074 ... c Min unsat cost LB: 77076 ... c Min unsat cost LB: 77092 ... c Min unsat cost LB: 77093 ... c Min unsat cost LB: 77095 ... c Min unsat cost LB: 77096 ... c Min unsat cost LB: 77097 ... c Min unsat cost LB: 77101 ... c Min unsat cost LB: 77115 ... c Min unsat cost LB: 77119 ... c Min unsat cost LB: 77124 ... c Min unsat cost LB: 77125 ... c Min unsat cost LB: 77126 ... c Min unsat cost LB: 77127 ... c Min unsat cost LB: 77129 ... c Min unsat cost LB: 77131 ... c Min unsat cost LB: 77132 ... c Min unsat cost LB: 77133 ... c Min unsat cost LB: 77134 ... c Min unsat cost LB: 77135 ... c Min unsat cost LB: 77136 ... c Min unsat cost LB: 77137 ... c Min unsat cost LB: 77138 ... c Min unsat cost LB: 77139 ... c Min unsat cost LB: 77141 ... c Min unsat cost LB: 77145 ... c Min unsat cost LB: 77146 ... c Min unsat cost LB: 77147 ... c Min unsat cost LB: 77148 ... c Min unsat cost LB: 77151 ... c Min unsat cost LB: 77152 ... c Min unsat cost LB: 77153 ... c Min unsat cost LB: 77154 ... c Min unsat cost LB: 77155 ... c Min unsat cost LB: 77157 ... c Min unsat cost LB: 77158 ... c Min unsat cost LB: 77162 ... c Min unsat cost LB: 77163 ... c Min unsat cost Killed 1812.233u 7.505s 30:22.72 99.8% 0+0k 0+0io 0pf+0w