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_100_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_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_100_0002.txt.wcnf *** c c Min unsat cost LB: 690 ... c Min unsat cost LB: 1436 ... c Min unsat cost LB: 1780 ... c Min unsat cost LB: 2702 ... c Min unsat cost LB: 3392 ... c Min unsat cost LB: 3736 ... c Min unsat cost LB: 4870 ... c Min unsat cost LB: 6004 ... c Min unsat cost LB: 6750 ... c Min unsat cost LB: 7419 ... c Min unsat cost LB: 8100 ... c Min unsat cost LB: 8790 ... c Min unsat cost LB: 9712 ... c Min unsat cost LB: 10447 ... c Min unsat cost LB: 10591 ... c Min unsat cost LB: 10924 ... c Min unsat cost LB: 10939 ... c Min unsat cost LB: 12073 ... c Min unsat cost LB: 12205 ... c Min unsat cost LB: 13121 ... c Min unsat cost LB: 13794 ... c Min unsat cost LB: 13849 ... c Min unsat cost LB: 14716 ... c Min unsat cost LB: 14731 ... c Min unsat cost LB: 14736 ... c Min unsat cost LB: 15261 ... c Min unsat cost LB: 15652 ... c Min unsat cost LB: 15961 ... c Min unsat cost LB: 16780 ... c Min unsat cost LB: 16908 ... c Min unsat cost LB: 16979 ... c Min unsat cost LB: 16994 ... c Min unsat cost LB: 17895 ... c Min unsat cost LB: 18583 ... c Min unsat cost LB: 18962 ... c Min unsat cost LB: 19240 ... c Min unsat cost LB: 19364 ... c Min unsat cost LB: 20231 ... c Min unsat cost LB: 20783 ... c Min unsat cost LB: 21240 ... c Min unsat cost LB: 21255 ... c Min unsat cost LB: 21990 ... c Min unsat cost LB: 22515 ... c Min unsat cost LB: 22688 ... c Min unsat cost LB: 23030 ... c Min unsat cost LB: 23966 ... c Min unsat cost LB: 24097 ... c Min unsat cost LB: 24499 ... c Min unsat cost LB: 25364 ... c Min unsat cost LB: 25638 ... c Min unsat cost LB: 25647 ... c Min unsat cost LB: 26199 ... c Min unsat cost LB: 26459 ... c Min unsat cost LB: 27194 ... c Min unsat cost LB: 27324 ... c Min unsat cost LB: 27965 ... c Min unsat cost LB: 28606 ... c Min unsat cost LB: 28688 ... c Min unsat cost LB: 28983 ... c Min unsat cost LB: 29764 ... c Min unsat cost LB: 30405 ... c Min unsat cost LB: 30685 ... c Min unsat cost LB: 31111 ... c Min unsat cost LB: 31894 ... c Min unsat cost LB: 32147 ... c Min unsat cost LB: 32218 ... c Min unsat cost LB: 32233 ... c Min unsat cost LB: 32350 ... c Min unsat cost LB: 33040 ... c Min unsat cost LB: 33484 ... c Min unsat cost LB: 33764 ... c Min unsat cost LB: 33895 ... c Min unsat cost LB: 34173 ... c Min unsat cost LB: 34175 ... c Min unsat cost LB: 34844 ... c Min unsat cost LB: 34894 ... c Min unsat cost LB: 34899 ... c Min unsat cost LB: 35231 ... c Min unsat cost LB: 35246 ... c Min unsat cost LB: 35633 ... c Min unsat cost LB: 35713 ... c Min unsat cost LB: 35829 ... c Min unsat cost LB: 36364 ... c Min unsat cost LB: 36492 ... c Min unsat cost LB: 36625 ... c Min unsat cost LB: 36754 ... c Min unsat cost LB: 37324 ... c Min unsat cost LB: 37717 ... c Min unsat cost LB: 37970 ... c Min unsat cost LB: 38357 ... c Min unsat cost LB: 38904 ... c Min unsat cost LB: 39474 ... c Min unsat cost LB: 39593 ... c Min unsat cost LB: 39877 ... c Min unsat cost LB: 39959 ... c Min unsat cost LB: 39961 ... c Min unsat cost LB: 39974 ... c Min unsat cost LB: 40041 ... c Min unsat cost LB: 40236 ... c Min unsat cost LB: 40461 ... c Min unsat cost LB: 40512 ... c Min unsat cost LB: 40527 ... c Min unsat cost LB: 40671 ... c Min unsat cost LB: 40727 ... c Min unsat cost LB: 40859 ... c Min unsat cost LB: 41091 ... c Min unsat cost LB: 41166 ... c Min unsat cost LB: 41246 ... c Min unsat cost LB: 41362 ... c Min unsat cost LB: 41377 ... c Min unsat cost LB: 41521 ... c Min unsat cost LB: 41561 ... c Min unsat cost LB: 41597 ... c Min unsat cost LB: 41646 ... c Min unsat cost LB: 41668 ... c Min unsat cost LB: 42084 ... c Min unsat cost LB: 42171 ... c Min unsat cost LB: 42173 ... c Min unsat cost LB: 42313 ... c Min unsat cost LB: 42328 ... c Min unsat cost LB: 42368 ... c Min unsat cost LB: 42369 ... c Min unsat cost LB: 42466 ... c Min unsat cost LB: 42475 ... c Min unsat cost LB: 42489 ... c Min unsat cost LB: 42521 ... c Min unsat cost LB: 42569 ... c Min unsat cost LB: 42606 ... c Min unsat cost LB: 42694 ... c Min unsat cost LB: 42822 ... c Min unsat cost LB: 42827 ... c Min unsat cost LB: 42837 ... c Min unsat cost LB: 42962 ... c Min unsat cost LB: 43035 ... c Min unsat cost LB: 43072 ... c Min unsat cost LB: 43105 ... c Min unsat cost LB: 43117 ... c Min unsat cost LB: 43195 ... c Min unsat cost LB: 43319 ... c Min unsat cost LB: 43350 ... c Min unsat cost LB: 43636 ... c Min unsat cost LB: 43689 ... c Min unsat cost LB: 43691 ... c Min unsat cost LB: 43763 ... c Min unsat cost LB: 43796 ... c Min unsat cost LB: 43816 ... c Min unsat cost LB: 43821 ... c Min unsat cost LB: 43861 ... c Min unsat cost LB: 43871 ... c Min unsat cost LB: 43874 ... c Min unsat cost LB: 43884 ... c Min unsat cost LB: 44000 ... c Min unsat cost LB: 44106 ... c Min unsat cost LB: 44108 ... c Min unsat cost LB: 44138 ... c Min unsat cost LB: 44146 ... c Min unsat cost LB: 44151 ... c Min unsat cost LB: 44195 ... c Min unsat cost LB: 44199 ... c Min unsat cost LB: 44212 ... c Min unsat cost LB: 44292 ... c Min unsat cost LB: 44549 ... c Min unsat cost LB: 44563 ... c Min unsat cost LB: 44586 ... c Min unsat cost LB: 44599 ... c Min unsat cost LB: 44660 ... c Min unsat cost LB: 44773 ... c Min unsat cost LB: 45033 ... c Min unsat cost LB: 45270 ... c Min unsat cost LB: 45335 ... c Min unsat cost LB: 45349 ... c Min unsat cost LB: 45364 ... c Min unsat cost LB: 45555 ... c Min unsat cost LB: 45568 ... c Min unsat cost LB: 45603 ... c Min unsat cost LB: 45635 ... c Min unsat cost LB: 45789 ... c Min unsat cost LB: 46079 ... c Min unsat cost LB: 46147 ... c Min unsat cost LB: 46150 ... c Min unsat cost LB: 46217 ... c Min unsat cost LB: 46283 ... c Min unsat cost LB: 46402 ... c Min unsat cost LB: 46505 ... c Min unsat cost LB: 46570 ... c Min unsat cost LB: 46648 ... c Min unsat cost LB: 46684 ... c Min unsat cost LB: 46709 ... c Min unsat cost LB: 46711 ... c Min unsat cost LB: 46849 ... c Min unsat cost LB: 46851 ... c Min unsat cost LB: 46859 ... c Min unsat cost LB: 46862 ... c Min unsat cost LB: 46865 ... c Min unsat cost LB: 46867 ... c Min unsat cost LB: 46925 ... c Min unsat cost LB: 46945 ... c Min unsat cost LB: 46961 ... c Min unsat cost LB: 46976 ... c Min unsat cost LB: 46982 ... c Min unsat cost LB: 46984 ... c Min unsat cost LB: 47027 ... c Min unsat cost LB: 47029 ... c Min unsat cost LB: 47039 ... c Min unsat cost LB: 47043 ... c Min unsat cost LB: 47046 ... c Min unsat cost LB: 47063 ... c Min unsat cost LB: 47090 ... c Min unsat cost LB: 47106 ... c Min unsat cost LB: 47152 ... c Min unsat cost LB: 47157 ... c Min unsat cost LB: 47258 ... c Min unsat cost LB: 47338 ... c Min unsat cost LB: 47345 ... c Min unsat cost LB: 47368 ... c Min unsat cost LB: 47382 ... c Min unsat cost LB: 47384 ... c Min unsat cost LB: 47390 ... c Min unsat cost LB: 47392 ... c Min unsat cost LB: 47396 ... c Min unsat cost LB: 47405 ... c Min unsat cost LB: 47406 ... c Min unsat cost LB: 47407 ... c Min unsat cost LB: 47409 ... c Min unsat cost LB: 47417 ... c Min unsat cost LB: 47420 ... c Min unsat cost LB: 47460 ... c Min unsat cost LB: 47497 ... c Min unsat cost LB: 47498 ... c Min unsat cost LB: 47499 ... c Min unsat cost LB: 47500 ... c Min unsat cost LB: 47501 ... c Min unsat cost LB: 47509 ... c Min unsat cost LB: 47513 ... c Min unsat cost LB: 47515 ... c Min unsat cost LB: 47523 ... c Min unsat cost LB: 47536 ... c Min unsat cost LB: 47550 ... c Min unsat cost LB: 47565 ... c Min unsat cost LB: 47588 ... c Min unsat cost LB: 47593 ... c Min unsat cost LB: 47607 ... c Min unsat cost LB: 47611 ... c Min unsat cost LB: 47616 ... c Min unsat cost LB: 47619 ... c Min unsat cost LB: 47620 ... c Min unsat cost LB: 47621 ... c Min unsat cost LB: 47629 ... c Min unsat cost LB: 47630 ... c Min unsat cost LB: 47632 ... c Min unsat cost LB: 47636 ... c Min unsat cost LB: 47638 ... c Min unsat cost LB: 47640 ... c Min unsat cost LB: 47641 ... c Min unsat cost LB: 47642 ... c Min unsat cost LB: 47643 ... c Min unsat cost LB: 47650 ... c Min unsat cost LB: 47667 ... c Min unsat cost LB: 47671 ... c Min unsat cost LB: 47672 ... c Min unsat cost LB: 47685 ... c Min unsat cost LB: 47689 ... c Min unsat cost LB: 47690 ... c Min unsat cost LB: 47694 ... c Min unsat cost LB: 47698 ... c Min unsat cost LB: 47708 ... c Min unsat cost LB: 47709 ... c Min unsat cost LB: 47710 ... c Min unsat cost LB: 47718 ... c Min unsat cost LB: 47722 ... c Min unsat cost LB: 47723 ... c Min unsat cost LB: 47731 ... c Min unsat cost LB: 47739 ... c Min unsat cost LB: 47740 ... c Min unsat cost LB: 47751 ... c Min unsat cost LB: 47759 ... c Min unsat cost LB: 47768 ... c Min unsat cost LB: 47769 ... c Min unsat cost LB: 47770 ... c Min unsat cost LB: 47804 ... c Min unsat cost LB: 47805 ... c Min unsat cost LB: 47806 ... c Min unsat cost LB: 47832 ... c Min unsat cost LB: 47851 ... c Min unsat cost LB: 47852 ... c Min unsat cost LB: 47873 ... c Min unsat cost LB: 47882 ... c Min unsat cost LB: 47892 ... c Min unsat cost LB: 47893 ... c Min unsat cost LB: 47894 ... c Min unsat cost LB: 47895 ... c Min unsat cost LB: 47908 ... c Min unsat cost LB: 47915 ... c Min unsat cost LB: 47923 ... c Min unsat cost LB: 47924 ... c Min unsat cost LB: 47931 ... c Min unsat cost LB: 47938 ... c Min unsat cost LB: 47946 ... c Min unsat cost LB: 47947 ... c Min unsat cost LB: 47948 ... c Min unsat cost LB: 47949 ... c Min unsat cost LB: 47957 ... c Min unsat cost LB: 47965 ... c Min unsat cost LB: 47968 ... c Min unsat cost LB: 47986 ... c Min unsat cost LB: 47994 ... c Min unsat cost LB: 47995 ... c Min unsat cost LB: 47998 ... c Min unsat cost LB: 48000 ... c Min unsat cost LB: 48003 ... c Min unsat cost LB: 48030 ... c Min unsat cost LB: 48036 ... c Min unsat cost LB: 48053 ... c Min unsat cost LB: 48055 ... c Min unsat cost LB: 48057 ... c Min unsat cost LB: 48063 ... c Min unsat cost LB: 48064 ... c Min unsat cost LB: 48077 ... c Min unsat cost LB: 48085 ... c Min unsat cost LB: 48088 ... c Min unsat cost LB: 48091 ... c Min unsat cost LB: 48092 ... c Min unsat cost LB: 48095 ... c Min unsat cost LB: 48151 ... c Min unsat cost LB: 48162 ... c Min unsat cost LB: 48163 ... c Min unsat cost LB: 48165 ... c Min unsat cost LB: 48167 ... c Min unsat cost LB: 48173 ... c Min unsat cost LB: 48175 ... c Min unsat cost LB: 48177 ... c Min unsat cost LB: 48190 ... c Min unsat cost LB: 48192 ... c Min unsat cost LB: 48205 ... c Min unsat cost LB: 48222 ... c Min unsat cost LB: 48231 ... c Min unsat cost LB: 48232 ... c Min unsat cost LB: 48235 ... c Min unsat cost LB: 48241 ... c Min unsat cost LB: 48244 ... c Min unsat cost LB: 48247 ... c Min unsat cost LB: 48248 ... c Min unsat cost LB: 48249 ... c Min unsat cost LB: 48252 ... c Min unsat cost LB: 48257 ... c Min unsat cost LB: 48261 ... c Min unsat cost LB: 48262 ... c Min unsat cost LB: 48264 ... c Min unsat cost LB: 48268 ... c Min unsat cost LB: 48272 ... c Min unsat cost LB: 48274 ... c Min unsat cost LB: 48275 ... c Min unsat cost LB: 48283 ... c Min unsat cost LB: 48326 ... c Min unsat cost LB: 48328 ... c Min unsat cost LB: 48329 ... c Min unsat cost LB: 48330 ... c Min unsat cost LB: 48331 ... c Min unsat cost LB: 48332 ... c Min unsat cost LB: 48335 ... c Min unsat cost LB: 48337 ... c Min unsat cost LB: 48338 ... c Min unsat cost LB: 48340 ... c Min unsat cost LB: 48341 ... c Min unsat cost LB: 48343 ... c Min unsat cost LB: 48344 ... c Min unsat cost LB: 48345 ... c Min unsat cost LB: 48347 ... c Min unsat cost LB: 48348 ... c Min unsat cost LB: 48349 ... c Min unsat cost LB: 48350 ... c Min unsat cost LB: 48351 ... c Min unsat cost LB: 48352 ... c Min unsat cost LB: 48353 ... c Min unsat cost LB: 48354 ... c Min unsat cost LB: 48356 ... c Min unsat cost LB: 48365 ... c Min unsat cost LB: 48375 ... c Min unsat cost LB: 48376 ... c Min unsat cost LB: 48377 ... c Min unsat cost LB: 48408 ... c Min unsat cost LB: 48422 ... c Min unsat cost LB: 48423 ... c Min unsat cost LB: 48424 ... c Min unsat cost LB: 48431 ... c Min unsat cost LB: 48433 ... c Min unsat cost LB: 48440 ... c Min unsat cost LB: 48444 ... c Min unsat cost LB: 48446 ... c Min unsat cost LB: 48450 ... c Min unsat cost LB: 48455 ... c Min unsat cost LB: 48469 ... c Min unsat cost LB: 48477 ... c Min unsat cost LB: 48479 ... c Min unsat cost LB: 48486 ... c Min unsat cost LB: 48489 ... c Min unsat cost LB: 48490 ... c Min unsat cost LB: 48491 ... c Min unsat cost LB: 48493 ... c Min unsat cost LB: 48494 ... c Min unsat cost LB: 48496 ... c Min unsat cost LB: 48497 ... c Min unsat cost LB: 48498 ... c Min unsat cost LB: 48501 ... c Min unsat cost LB: 48502 ... c Min unsat cost LB: 48503 ... c Min unsat cost LB: 48504 ... c Min unsat cost LB: 48505 ... c Min unsat cost LB: 48506 ... c Min unsat cost LB: 48507 ... c Min unsat cost LB: 48510 ... c Min unsat cost LB: 48511 ... c Min unsat cost LB: 48512 ... c Min unsat cost LB: 48516 ... c Min unsat cost LB: 48517 ... c Min unsat cost LB: 48518 ... c Min unsat cost LB: 48519 ... c Min unsat cost LB: 48523 ... c Min unsat cost LB: 48524 ... c Min unsat cost LB: 48526 ... c Min unsat cost LB: 48528 ... c Min unsat cost LB: 48529 ... c Min unsat cost LB: 48530 ... c Min unsat cost LB: 48532 ... c Min unsat cost LB: 48534 ... c Min unsat cost LB: 48536 ... c Min unsat cost LB: 48552 ... c Min unsat cost LB: 48553 ... c Min unsat cost LB: 48556 ... c Min unsat cost LB: 48558 ... c Min unsat cost LB: 48561 ... c Min unsat cost LB: 48562 ... c Min unsat cost LB: 48564 ... c Min unsat cost LB: 48567 ... c Min unsat cost LB: 48568 ... c Min unsat cost LB: 48569 ... c Min unsat cost LB: 48575 ... c Min unsat cost LB: 48577 ... c Min unsat cost LB: 48578 ... c Min unsat cost LB: 48579 ... c Min unsat cost LB: 48580 ... c Min unsat cost LB: 48585 ... c Min unsat cost LB: 48596 ... c Min unsat cost LB: 48604 ... c Min unsat cost LB: 48612 ... c Min unsat cost LB: 48613 ... c Min unsat cost LB: 48614 ... c Min unsat cost LB: 48615 ... c Min unsat cost LB: 48616 ... c Min unsat cost LB: 48618 ... c Min unsat cost LB: 48619 ... c Min unsat cost LB: 48622 ... c Min unsat cost LB: 48623 ... c Min unsat cost LB: 48624 ... c Min unsat cost LB: 48625 ... c Min unsat cost LB: 48626 ... c Min unsat cost LB: 48627 ... c Min unsat cost LB: 48667 ... c Min unsat cost LB: 48669 ... c Min unsat cost LB: 48672 ... c Min unsat cost LB: 48684 ... c Min unsat cost LB: 48685 ... c Min unsat cost LB: 48686 ... c Min unsat cost LB: 48687 ... c Min unsat cost LB: 48688 ... c Min unsat cost LB: 48689 ... c Min unsat cost LB: 48690 ... c Min unsat cost LB: 48691 ... c Min unsat cost LB: 48692 ... c Min unsat cost LB: 48693 ... c Min unsat cost LB: 48695 ... c Min unsat cost LB: 48700 ... c Min unsat cost LB: 48702 ... c Min unsat cost LB: 48704 ... c Min unsat cost LB: 48712 ... c Min unsat cost LB: 48719 ... c Min unsat cost LB: 48720 ... c Min unsat cost LB: 48721 ... c Min unsat cost LB: 48722 ... c Min unsat cost LB: 48723 ... c Min unsat cost LB: 48724 ... c Min unsat cost LB: 48726 ... c Min unsat cost LB: 48727 ... c Min unsat cost LB: 48728 ... c Min unsat cost LB: 48730 ... c Min unsat cost LB: 48738 ... c Min unsat cost LB: 48759 ... c Min unsat cost LB: 48762 ... c Min unsat cost LB: 48763 ... c Min unsat cost LB: 48767 ... c Min unsat cost LB: 48773 ... c Min unsat cost LB: 48774 ... c Min unsat cost LB: 48775 ... c Min unsat cost LB: 48778 ... c Min unsat cost LB: 48782 ... c Min unsat cost LB: 48783 ... c Min unsat cost LB: 48786 ... c Min unsat cost LB: 48787 ... c Min unsat cost LB: 48789 ... c Min unsat cost LB: 48791 ... c Min unsat cost LB: 48792 ... c Min unsat cost LB: 48796 ... c Min unsat cost LB: 48797 ... c Min unsat cost LB: 48798 ... c Min unsat cost LB: 48800 ... c Min unsat cost LB: 48801 ... c Min unsat cost LB: 48802 ... c Min unsat cost LB: 48804 ... c Min unsat cost LB: 48807 ... c Min unsat cost LB: 48808 ... c Min unsat cost LB: 48809 ... c Min unsat cost LB: 48810 ... c Min unsat cost LB: 48811 ... c Min unsat cost LB: 48812 ... c Min unsat cost LB: 48813 ... c Min unsat cost LB: 48815 ... c Min unsat cost LB: 48816 ... c Min unsat cost LB: 48819 ... c Min unsat cost LB: 48821 ... c Min unsat cost LB: 48822 ... c Min unsat cost LB: 48823 ... c Min unsat cost LB: 48824 ... c Min unsat cost LB: 48825 ... c Min unsat cost LB: 48826 ... c Min unsat cost LB: 48827 ... c Min unsat cost LB: 48828 ... c Min unsat cost LB: 48830 ... c Min unsat cost LB: 48831 ... c Min unsat cost LB: 48832 ... c Min unsat cost LB: 48833 ... c Min unsat cost LB: 48834 ... c Min unsat cost LB: 48842 ... c Min unsat cost LB: 48843 ... c Min unsat cost LB: 48844 ... c Min unsat cost LB: 48845 ... c Min unsat cost LB: 48846 ... c Min unsat cost LB: 48847 ... c Min unsat cost LB: 48848 ... c Min unsat cost LB: 48849 ... c Min unsat cost LB: 48850 ... c Min unsat cost LB: 48851 ... c Min unsat cost LB: 48852 ... c Min unsat cost LB: 48853 ... c Min unsat cost LB: 48854 ... c Min unsat cost LB: 48856 ... c Min unsat cost LB: 48864 ... c Min unsat cost LB: 48867 ... c Min unsat cost LB: 48870 ... c Min unsat cost LB: 48881 ... c Min unsat cost LB: 48882 ... c Min unsat cost LB: 48883 ... c Min unsat cost LB: 48884 ... c Min unsat cost LB: 48885 ... c Min unsat cost LB: 48886 ... c Min unsat cost LB: 48887 ... c Min unsat cost LB: 48888 ... c Min unsat cost LB: 48889 ... c Min unsat cost LB: 48890 ... c Min unsat cost LB: 48891 ... c Min unsat cost LB: 48892 ... c Min unsat cost LB: 48893 ... c Min unsat cost LB: 48894 ... c Min unsat cost LB: 48895 ... c Min unsat cost LB: 48896 ... c Min unsat cost LB: 48904 ... c Min unsat cost LB: 48907 ... c Min unsat cost LB: 48908 ... c Min unsat cost LB: 48909 ... c Min unsat cost LB: 48910 ... c Min unsat cost LB: 48911 ... c Min unsat cost LB: 48912 ... c Min unsat cost LB: 48913 ... c Min unsat cost LB: 48914 ... c Min unsat cost LB: 48915 ... c Min unsat cost LB: 48916 ... c Min unsat cost LB: 48917 ... c Min unsat cost LB: 48918 ... c Min unsat cost LB: 48928 ... c Min unsat cost LB: 48929 ... c Min unsat cost LB: 48930 ... c Min unsat cost LB: 48933 ... c Min unsat cost LB: 48983 ... c Min unsat cost LB: 49022 ... c Min unsat cost LB: 49025 ... c Min unsat cost LB: 49042 ... c Min unsat cost LB: 49044 ... c Min unsat cost LB: 49045 ... c Min unsat cost LB: 49046 ... c Min unsat cost LB: 49048 ... c Min unsat cost LB: 49049 ... c Min unsat cost LB: 49058 ... c Min unsat cost LB: 49059 ... c Min unsat cost LB: 49060 ... c Min unsat cost LB: 49061 ... c Min unsat cost LB: 49075 ... c Min unsat cost LB: 49076 ... c Min unsat cost LB: 49077 ... c Min unsat cost LB: 49078 ... c Min unsat cost LB: 49079 ... c Min unsat cost LB: 49080 ... c Min unsat cost LB: 49081 ... c Min unsat cost LB: 49084 ... c Min unsat cost LB: 49085 ... c Min unsat cost LB: 49086 ... c Min unsat cost LB: 49087 ... c Min unsat cost LB: 49088 ... c Min unsat cost LB: 49089 ... c Min unsat cost LB: 49090 ... c Min unsat cost LB: 49091 ... c Min unsat cost LB: 49092 ... c Min unsat cost LB: 49093 ... c Min unsat cost LB: 49094 ... c Min unsat cost LB: 49095 ... c Min unsat cost LB: 49096 ... c Min unsat cost LB: 49097 ... c Min unsat cost LB: 49100 ... c Min unsat cost LB: 49101 ... c Min unsat cost LB: 49102 ... c Min unsat cost LB: 49103 ... c Min unsat cost LB: 49104 ... c Min unsat cost LB: 49105 ... c Min unsat cost LB: 49106 ... c Min unsat cost LB: 49107 ... c Min unsat cost LB: 49108 ... c Min unsat cost LB: 49109 ... c Min unsat cost LB: 49110 ... c Min unsat cost LB: 49111 ... c Min unsat cost LB: 49112 ... c Min unsat cost LB: 49113 ... c Min unsat cost LB: 49114 ... c Min unsat cost LB: 49123 ... c Min unsat cost LB: 49124 ... c Min unsat cost LB: 49125 ... c Min unsat cost LB: 49126 ... c Min unsat cost LB: 49127 ... c Min unsat cost LB: 49128 ... c Min unsat cost LB: 49129 ... c Min unsat cost LB: 49130 ... c Min unsat cost LB: 49131 ... c Min unsat cost LB: 49132 ... c Min unsat cost LB: 49133 ... c Min unsat cost LB: 49137 ... c Min unsat cost LB: 49139 ... c Min unsat cost LB: 49140 ... c Min unsat cost LB: 49141 ... c Min unsat cost LB: 49142 ... c Min unsat cost LB: 49143 ... c Min unsat cost LB: 49144 ... c Min unsat cost LB: 49145 ... c Min unsat cost LB: 49146 ... c Min unsat cost LB: 49147 ... c Min unsat cost LB: 49148 ... c Min unsat cost LB: 49149 ... c Min unsat cost LB: 49150 ... c Min unsat cost LB: 49151 ... c Min unsat cost LB: 49152 ... c Min unsat cost LB: 49153 ... c Min unsat cost LB: 49154 ... c Min unsat cost LB: 49155 ... c Min unsat cost LB: 49156 ... c Min unsat cost LB: 49157 ... c Min unsat cost LB: 49158 ... c Min unsat cost LB: 49159 ... c Min unsat cost LB: 49160 ... c Min unsat cost LB: 49161 ... c Min unsat cost LB: 49163 ... c Min unsat cost LB: 49164 ... c Min unsat cost LB: 49165 ... c Min unsat cost LB: 49166 ... c Min unsat cost LB: 49167 ... c Min unsat cost LB: 49168 ... c Min unsat cost LB: 49169 ... c Min unsat cost LB: 49170 ... c Min unsat cost LB: 49171 ... c Min unsat cost LB: 49172 ... c Min unsat cost LB: 49173 ... c Min unsat cost LB: 49174 ... c Min unsat cost LB: 49176 ... c Min unsat cost LB: 49177 ... c Min unsat cost LB: 49183 ... c Min unsat cost LB: 49185 ... c Min unsat cost LB: 49250 ... c Min unsat cost LB: 49251 ... c Min unsat cost LB: 49252 ... c Min unsat cost LB: 49253 ... c Min unsat cost LB: 49254 ... c Min unsat cost LB: 49258 ... c Min unsat cost LB: 49259 ... c Min unsat cost LB: 49279 ... c Min unsat cost LB: 49282 ... c Min unsat cost LB: 49283 ... c Min unsat cost LB: 49296 ... c Min unsat cost LB: 49305 ... c Min unsat cost LB: 49308 ... c Min unsat cost LB: 49309 ... c Min unsat cost LB: 49310 ... c Min unsat cost LB: 49311 ... c Min unsat cost LB: 49312 ... c Min unsat cost LB: 49313 ... c Min unsat cost LB: 49330 ... c Min unsat cost LB: 49331 ... c Min unsat cost LB: 49333 ... c Min unsat cost LB: 49334 ... c Min unsat cost LB: 49335 ... c Min unsat cost LB: 49378 ... c Min unsat cost LB: 49396 ... c Min unsat cost LB: 49397 ... c Min unsat cost LB: 49398 ... c Min unsat cost LB: 49399 ... c Min unsat cost LB: 49400 ... c Min unsat cost LB: 49401 ... c Min unsat cost LB: 49402 ... c Min unsat cost LB: 49403 ... c Min unsat cost LB: 49404 ... c Min unsat cost LB: 49405 ... c Min unsat cost LB: 49406 ... c Min unsat cost LB: 49407 ... c Min unsat cost LB: 49408 ... c Min unsat cost LB: 49409 ... c Min unsat cost LB: 49410 ... c Min unsat cost LB: 49411 ... c Min unsat cost LB: 49412 ... c Min unsat cost LB: 49413 ... c Min unsat cost LB: 49414 ... c Min unsat cost LB: 49415 ... c Min unsat cost LB: 49416 ... c Min unsat cost LB: 49417 ... c Min unsat cost LB: 49418 ... c Min unsat cost LB: 49419 ... c Min unsat cost LB: 49420 ... c Min unsat cost LB: 49421 ... c Min unsat cost LB: 49422 ... c Min unsat cost LB: 49423 ... c Min unsat cost LB: 49424 ... c Min unsat cost LB: 49425 ... c Min unsat cost LB: 49426 ... c Min unsat cost LB: 49427 ... c Min unsat cost LB: 49428 ... c Min unsat cost LB: 49429 ... c Min unsat cost LB: 49430 ... c Min unsat cost LB: 49431 ... c Min unsat cost LB: 49432 ... c Min unsat cost LB: 49433 ... c Min unsat cost LB: 49434 ... c Min unsat cost LB: 49435 ... c Min unsat cost LB: 49436 ... c Min unsat cost LB: 49437 ... c Min unsat cost LB: 49438 ... c Min unsat cost LB: 49439 ... c Min unsat cost LB: 49440 ... c Min unsat cost LB: 49441 ... c Min unsat cost LB: 49442 ... c Min unsat cost LB: 49443 ... c Min unsat cost LB: 49444 ... c Min unsat cost LB: 49445 ... c Min unsat cost LB: 49446 ... c Min unsat cost LB: 49447 ... c Min unsat cost LB: 49459 ... c Min unsat cost LB: 49460 ... c Min unsat cost LB: 49461 ... c Min unsat cost LB: 49462 ... c Min unsat cost LB: 49463 ... c Min unsat cost LB: 49464 ... c Min unsat cost LB: 49466 ... c Min unsat cost LB: 49467 ... c Min unsat cost LB: 49468 ... c Min unsat cost LB: 49469 ... c Min unsat cost LB: 49470 ... c Min unsat cost LB: 49471 ... c Min unsat cost LB: 49472 ... c Min unsat cost LB: 49473 ... c Min unsat cost LB: 49474 ... c Min unsat cost LB: 49475 ... c Min unsat cost LB: 49476 ... c Min unsat cost LB: 49477 ... c Min unsat cost LB: 49478 ... c Min unsat cost LB: 49479 ... c Min unsat cost LB: 49480 ... c Min unsat cost LB: 49481 ... c Min unsat cost LB: 49482 ... c Min unsat cost LB: 49483 ... c Min unsat cost LB: 49484 ... c Min unsat cost LB: 49485 ... c Min unsat cost LB: 49486 ... c Min unsat cost LB: 49488 ... c Min unsat cost LB: 49489 ... c Min unsat cost LB: 49490 ... c Min unsat cost LB: 49491 ... c Min unsat cost LB: 49492 ... c Min unsat cost LB: 49493 ... c Min unsat cost LB: 49494 ... c Min unsat cost LB: 49495 ... c Min unsat cost LB: 49496 ... c Min unsat cost LB: 49500 ... c Min unsat cost LB: 49501 ... c Min unsat cost LB: 49502 ... c Min unsat cost LB: 49508 ... c Min unsat cost LB: 49511 ... c Min unsat cost LB: 49514 ... c Min unsat cost LB: 49515 ... c Min unsat cost LB: 49516 ... c Min unsat cost LB: 49517 ... c Min unsat cost LB: 49518 ... c Min unsat cost LB: 49519 ... c Min unsat cost LB: 49520 ... c Min unsat cost LB: 49521 ... c Min unsat cost LB: 49522 ... c Min unsat cost LB: 49523 ... c Min unsat cost LB: 49524 ... c Min unsat cost LB: 49525 ... c Min unsat cost LB: 49526 ... c Min unsat cost LB: 49530 ... c Min unsat cost LB: 49531 ... c Min unsat cost LB: 49532 ... c Min unsat cost LB: 49533 ... c Min unsat cost LB: 49534 ... c Min unsat cost LB: 49535 ... c Min unsat cost LB: 49536 ... c Min unsat cost LB: 49537 ... c Min unsat cost LB: 49538 ... c Min unsat cost LB: 49539 ... c Min unsat cost LB: 49540 ... c Min unsat cost LB: 49541 ... c Min unsat cost LB: 49542 ... c Min unsat cost LB: 49543 ... c Min unsat cost LB: 49544 ... c Min unsat cost LB: 49545 ... c Min unsat cost LB: 49546 ... c Min unsat cost LB: 49547 ... c Min unsat cost LB: 49608 ... c Min unsat cost LB: 49609 ... c Min unsat cost LB: 49610 ... c Min unsat cost LB: 49611 ... c Min unsat cost LB: 49612 ... c Min unsat cost LB: 49613 ... c Min unsat cost LB: 49614 ... c Min unsat cost LB: 49615 ... c Min unsat cost LB: 49616 ... c Min unsat cost LB: 49617 ... c Min unsat cost LB: 49618 ... c Min unsat cost LB: 49619 ... c Min unsat cost LB: 49620 ... c Min unsat cost LB: 49621 ... c Min unsat cost LB: 49622 ... c Min unsat cost LB: 49623 ... c Min unsat cost LB: 49624 ... c Min unsat cost LB: 49625 ... c Min unsat cost LB: 49626 ... c Min unsat cost LB: 49627 ... c Min unsat cost LB: 49628 ... c Min unsat cost LB: 49629 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49631 ... c Min unsat cost LB: 49632 ... c Min unsat cost LB: 49633 ... c Min unsat cost LB: 49634 ... c Min unsat cost LB: 49635 ... c Min unsat cost LB: 49636 ... c Min unsat cost LB: 49637 ... c Min unsat cost LB: 49638 ... c Min unsat cost LB: 49639 ... c Min unsat cost LB: 49640 ... c Min unsat cost LB: 49641 ... c Min unsat cost LB: 49642 ... c Min unsat cost LB: 49643 ... c Min unsat cost LB: 49644 ... c Min unsat cost LB: 49645 ... c Min unsat cost LB: 49646 ... c Min unsat cost LB: 49647 ... c Min unsat cost LB: 49648 ... c Min unsat cost LB: 49649 ... c Min unsat cost LB: 49650 ... c Min unsat cost LB: 49651 ... c Min unsat cost LB: 49652 ... c Min unsat cost LB: 49653 ... c Min unsat cost LB: 49654 ... c Min unsat cost LB: 49655 ... c Min unsat cost LB: 49656 ... c Min unsat cost LB: 49657 ... c Min unsat cost LB: 49658 ... c Min unsat cost LB: 49662 ... c Min unsat cost LB: 49663 ... c Min unsat cost LB: 49665 ... c Min unsat cost LB: 49666 ... c Min unsat cost LB: 49667 ... c Min unsat cost LB: 49671 ... c Min unsat cost LB: 49672 ... c Min unsat cost LB: 49673 ... c Min unsat cost LB: 49674 ... c Min unsat cost LB: 49676 ... c Min unsat cost LB: 49678 ... c Min unsat cost LB: 49679 ... c Min unsat cost LB: 49680 ... c Min unsat cost LB: 49681 ... c Min unsat cost LB: 49682 ... c Min unsat cost LB: 49683 ... c Min unsat cost LB: 49684 ... c Min unsat cost LB: 49685 ... c Min unsat cost LB: 49686 ... c Min unsat cost LB: 49687 ... c Min unsat cost LB: 49688 ... c Min unsat cost LB: 49689 ... c Min unsat cost LB: 49690 ... c Min unsat cost LB: 49691 ... c Min unsat cost LB: 49692 ... c Min unsat cost LB: 49693 ... c Min unsat cost LB: 49694 ... c Min unsat cost LB: 49695 ... c Min unsat cost LB: 49696 ... c Min unsat cost LB: 49697 ... c Min unsat cost LB: 49698 ... c Min unsat cost LB: 49699 ... c Min unsat cost LB: 49700 ... c Min unsat cost LB: 49701 ... c Min unsat cost LB: 49702 ... c Min unsat cost LB: 49703 ... c Min unsat cost LB: 49704 ... c Min unsat cost LB: 49705 ... c Min unsat cost LB: 49706 ... c Min unsat cost LB: 49707 ... c Min unsat cost LB: 49708 ... c Min unsat cost LB: 49709 ... c Min unsat cost LB: 49711 ... c Min unsat cost LB: 49712 ... c Min unsat cost LB: 49713 ... c Min unsat cost LB: 49714 ... c Min unsat cost LB: 49715 ... c Min unsat cost LB: 49716 ... c Min unsat cost LB: 49717 ... c Min unsat cost LB: 49718 ... c Min unsat cost LB: 49719 ... c Min unsat cost LB: 49720 ... c Min unsat cost LB: 49721 ... c Min unsat cost LB: 49722 ... c Min unsat cost LB: 49723 ... c Min unsat cost LB: 49724 ... c Min unsat cost LB: 49725 ... c Min unsat cost LB: 49726 ... c Min unsat cost LB: 49758 ... c Min unsat cost LB: 49759 ... c Min unsat cost LB: 49760 ... c Min unsat cost LB: 49774 ... c Min unsat cost LB: 49775 ... c Min unsat cost LB: 49788 ... c Min unsat cost LB: 49789 ... c Min unsat cost LB: 49790 ... c Min unsat cost LB: 49791 ... c Min unsat cost LB: 49792 ... c Min unsat cost LB: 49793 ... c Min unsat cost LB: 49794 ... c Min unsat cost LB: 49795 ... c Min unsat cost LB: 49796 ... c Min unsat cost LB: 49804 ... c Min unsat cost LB: 49808 ... c Min unsat cost LB: 49812 ... c Min unsat cost LB: 49813 ... c Min unsat cost LB: 49814 ... c Min unsat cost LB: 49815 ... c Min unsat cost LB: 49824 ... c Min unsat cost LB: 49825 ... c Min unsat cost LB: 49826 ... c Min unsat cost LB: 49827 ... c Min unsat cost LB: 49828 ... c Min unsat cost LB: 49829 ... c Min unsat cost LB: 49830 ... c Min unsat cost LB: 49831 ... c Min unsat cost LB: 49832 ... c Min unsat cost LB: 49833 ... c Min unsat cost LB: 49834 ... c Min unsat cost LB: 49835 ... c Min unsat cost LB: 49836 ... c Min unsat cost LB: 49837 ... c Min unsat cost LB: 49839 ... c Min unsat cost LB: 49840 ... c Min unsat cost LB: 49841 ... c Min unsat cost LB: 49842 ... c Min unsat cost LB: 49843 ... c Min unsat cost LB: 49844 ... c Min unsat cost LB: 49845 ... c Min unsat cost LB: 49846 ... c Min unsat cost LB: 49847 ... c Min unsat cost LB: 49848 ... c Min unsat cost LB: 49849 ... c Min unsat cost LB: 49850 ... c Min unsat cost LB: 49851 ... c Min unsat cost LB: 49852 ... c Min unsat cost LB: 49853 ... c Min unsat cost LB: 49854 ... c Min unsat cost LB: 49855 ... c Min unsat cost LB: 49856 ... c Min unsat cost LB: 49857 ... c Min unsat cost LB: 49858 ... c Min unsat cost LB: 49859 ... c Min unsat cost LB: 49860 ... c Min unsat cost LB: 49861 ... c Min unsat cost LB: 49862 ... c Min unsat cost LB: 49863 ... c Min unsat cost LB: 49864 ... c Min unsat cost LB: 49865 ... c Min unsat cost LB: 49866 ... c Min unsat cost LB: 49867 ... c Min unsat cost LB: 49868 ... c Min unsat cost LB: 49869 ... c Min unsat cost LB: 49870 ... c Min unsat cost LB: 49871 ... c Min unsat cost LB: 49872 ... c Min unsat cost LB: 49873 ... c Min unsat cost LB: 49874 ... c Min unsat cost LB: 49875 ... c Min unsat cost LB: 49876 ... c Min unsat cost LB: 49877 ... c Min unsat cost LB: 49878 ... c Min unsat cost LB: 49885 ... c Min unsat cost LB: 49886 ... c Min unsat cost LB: 49887 ... c Min unsat cost LB: 49888 ... c Min unsat cost LB: 49889 ... c Min unsat cost LB: 49890 ... c Min unsat cost LB: 49891 ... c Min unsat cost LB: 49892 ... c Min unsat cost LB: 49893 ... c Min unsat cost LB: 49894 ... c Min unsat cost LB: 49895 ... c Min unsat cost LB: 49896 ... c Min unsat coKilled 1813.466u 6.282s 56:31.83 53.6% 0+0k 0+0io 0pf+0w