Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_110_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_110_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_SCHEDULING/cat_sched_60_110_0002.txt.wcnf *** c c Min unsat cost LB: 197 ... c Min unsat cost LB: 1026 ... c Min unsat cost LB: 1855 ... c Min unsat cost LB: 2030 ... c Min unsat cost LB: 2859 ... c Min unsat cost LB: 3688 ... c Min unsat cost LB: 3846 ... c Min unsat cost LB: 4675 ... c Min unsat cost LB: 5504 ... c Min unsat cost LB: 6333 ... c Min unsat cost LB: 6530 ... c Min unsat cost LB: 7359 ... c Min unsat cost LB: 7398 ... c Min unsat cost LB: 7595 ... c Min unsat cost LB: 7770 ... c Min unsat cost LB: 7967 ... c Min unsat cost LB: 8164 ... c Min unsat cost LB: 8361 ... c Min unsat cost LB: 8536 ... c Min unsat cost LB: 8796 ... c Min unsat cost LB: 8971 ... c Min unsat cost LB: 9389 ... c Min unsat cost LB: 9547 ... c Min unsat cost LB: 9705 ... c Min unsat cost LB: 10534 ... c Min unsat cost LB: 11047 ... c Min unsat cost LB: 11876 ... c Min unsat cost LB: 12034 ... c Min unsat cost LB: 12192 ... c Min unsat cost LB: 13021 ... c Min unsat cost LB: 13850 ... c Min unsat cost LB: 14679 ... c Min unsat cost LB: 15438 ... c Min unsat cost LB: 16197 ... c Min unsat cost LB: 16267 ... c Min unsat cost LB: 16780 ... c Min unsat cost LB: 16956 ... c Min unsat cost LB: 17806 ... c Min unsat cost LB: 18459 ... c Min unsat cost LB: 19309 ... c Min unsat cost LB: 19966 ... c Min unsat cost LB: 20159 ... c Min unsat cost LB: 20988 ... c Min unsat cost LB: 21817 ... c Min unsat cost LB: 22667 ... c Min unsat cost LB: 23131 ... c Min unsat cost LB: 23517 ... c Min unsat cost LB: 23833 ... c Min unsat cost LB: 24683 ... c Min unsat cost LB: 25533 ... c Min unsat cost LB: 25944 ... c Min unsat cost LB: 26601 ... c Min unsat cost LB: 27019 ... c Min unsat cost LB: 27869 ... c Min unsat cost LB: 28062 ... c Min unsat cost LB: 28912 ... c Min unsat cost LB: 29007 ... c Min unsat cost LB: 29741 ... c Min unsat cost LB: 30012 ... c Min unsat cost LB: 30209 ... c Min unsat cost LB: 30406 ... c Min unsat cost LB: 31256 ... c Min unsat cost LB: 32012 ... c Min unsat cost LB: 32209 ... c Min unsat cost LB: 32303 ... c Min unsat cost LB: 32500 ... c Min unsat cost LB: 33153 ... c Min unsat cost LB: 33350 ... c Min unsat cost LB: 33371 ... c Min unsat cost LB: 33568 ... c Min unsat cost LB: 33765 ... c Min unsat cost LB: 33860 ... c Min unsat cost LB: 34594 ... c Min unsat cost LB: 35058 ... c Min unsat cost LB: 35153 ... c Min unsat cost LB: 35887 ... c Min unsat cost LB: 36273 ... c Min unsat cost LB: 36466 ... c Min unsat cost LB: 36561 ... c Min unsat cost LB: 37295 ... c Min unsat cost LB: 37492 ... c Min unsat cost LB: 37554 ... c Min unsat cost LB: 37751 ... c Min unsat cost LB: 37948 ... c Min unsat cost LB: 38018 ... c Min unsat cost LB: 38145 ... c Min unsat cost LB: 38320 ... c Min unsat cost LB: 38342 ... c Min unsat cost LB: 38495 ... c Min unsat cost LB: 38639 ... c Min unsat cost LB: 39103 ... c Min unsat cost LB: 39292 ... c Min unsat cost LB: 39336 ... c Min unsat cost LB: 39533 ... c Min unsat cost LB: 39682 ... c Min unsat cost LB: 39730 ... c Min unsat cost LB: 39980 ... c Min unsat cost LB: 40142 ... c Min unsat cost LB: 40177 ... c Min unsat cost LB: 40339 ... c Min unsat cost LB: 40350 ... c Min unsat cost LB: 40536 ... c Min unsat cost LB: 40733 ... c Min unsat cost LB: 40930 ... c Min unsat cost LB: 40965 ... c Min unsat cost LB: 41127 ... c Min unsat cost LB: 41292 ... c Min unsat cost LB: 41327 ... c Min unsat cost LB: 41371 ... c Min unsat cost LB: 41466 ... c Min unsat cost LB: 41489 ... c Min unsat cost LB: 41529 ... c Min unsat cost LB: 41572 ... c Min unsat cost LB: 41656 ... c Min unsat cost LB: 42038 ... c Min unsat cost LB: 42078 ... c Min unsat cost LB: 42112 ... c Min unsat cost LB: 42121 ... c Min unsat cost LB: 42144 ... c Min unsat cost LB: 42165 ... c Min unsat cost LB: 42186 ... c Min unsat cost LB: 42794 ... c Min unsat cost LB: 42829 ... c Min unsat cost LB: 42864 ... c Min unsat cost LB: 42991 ... c Min unsat cost LB: 43026 ... c Min unsat cost LB: 43066 ... c Min unsat cost LB: 43189 ... c Min unsat cost LB: 43351 ... c Min unsat cost LB: 43452 ... c Min unsat cost LB: 43500 ... c Min unsat cost LB: 43548 ... c Min unsat cost LB: 43549 ... c Min unsat cost LB: 43580 ... c Min unsat cost LB: 43642 ... c Min unsat cost LB: 44212 ... c Min unsat cost LB: 44378 ... c Min unsat cost LB: 44529 ... c Min unsat cost LB: 45166 ... c Min unsat cost LB: 45167 ... c Min unsat cost LB: 45198 ... c Min unsat cost LB: 45228 ... c Min unsat cost LB: 45373 ... c Min unsat cost LB: 45412 ... c Min unsat cost LB: 45539 ... c Min unsat cost LB: 45570 ... c Min unsat cost LB: 45817 ... c Min unsat cost LB: 46006 ... c Min unsat cost LB: 46216 ... c Min unsat cost LB: 46262 ... c Min unsat cost LB: 46326 ... c Min unsat cost LB: 46440 ... c Min unsat cost LB: 46447 ... c Min unsat cost LB: 46455 ... c Min unsat cost LB: 46458 ... c Min unsat cost LB: 46520 ... c Min unsat cost LB: 46613 ... c Min unsat cost LB: 46652 ... c Min unsat cost LB: 46810 ... c Min unsat cost LB: 47123 ... c Min unsat cost LB: 47239 ... c Min unsat cost LB: 47331 ... c Min unsat cost LB: 47428 ... c Min unsat cost LB: 47493 ... c Min unsat cost LB: 47510 ... c Min unsat cost LB: 47668 ... c Min unsat cost LB: 47807 ... c Min unsat cost LB: 47854 ... c Min unsat cost LB: 47928 ... c Min unsat cost LB: 47963 ... c Min unsat cost LB: 48160 ... c Min unsat cost LB: 48321 ... c Min unsat cost LB: 48325 ... c Min unsat cost LB: 48441 ... c Min unsat cost LB: 48457 ... c Min unsat cost LB: 48475 ... c Min unsat cost LB: 48573 ... c Min unsat cost LB: 48756 ... c Min unsat cost LB: 49310 ... c Min unsat cost LB: 49419 ... c Min unsat cost LB: 49464 ... c Min unsat cost LB: 49874 ... c Min unsat cost LB: 49932 ... c Min unsat cost LB: 49969 ... c Min unsat cost LB: 50223 ... c Min unsat cost LB: 50399 ... c Min unsat cost LB: 50424 ... c Min unsat cost LB: 50469 ... c Min unsat cost LB: 50478 ... c Min unsat cost LB: 50535 ... c Min unsat cost LB: 50906 ... c Min unsat cost LB: 51048 ... c Min unsat cost LB: 51115 ... c Min unsat cost LB: 51130 ... c Min unsat cost LB: 51134 ... c Min unsat cost LB: 51137 ... c Min unsat cost LB: 51229 ... c Min unsat cost LB: 51324 ... c Min unsat cost LB: 51358 ... c Min unsat cost LB: 51409 ... c Min unsat cost LB: 51443 ... c Min unsat cost LB: 51527 ... c Min unsat cost LB: 52054 ... c Min unsat cost LB: 52076 ... c Min unsat cost LB: 52082 ... c Min unsat cost LB: 52098 ... c Min unsat cost LB: 52105 ... c Min unsat cost LB: 52126 ... c Min unsat cost LB: 52147 ... c Min unsat cost LB: 52170 ... c Min unsat cost LB: 52291 ... c Min unsat cost LB: 52308 ... c Min unsat cost LB: 52367 ... c Min unsat cost LB: 52480 ... c Min unsat cost LB: 52550 ... c Min unsat cost LB: 52607 ... c Min unsat cost LB: 52633 ... c Min unsat cost LB: 52668 ... c Min unsat cost LB: 52690 ... c Min unsat cost LB: 52738 ... c Min unsat cost LB: 52778 ... c Min unsat cost LB: 52804 ... c Min unsat cost LB: 52805 ... c Min unsat cost LB: 52867 ... c Min unsat cost LB: 52897 ... c Min unsat cost LB: 52911 ... c Min unsat cost LB: 52975 ... c Min unsat cost LB: 52981 ... c Min unsat cost LB: 52997 ... c Min unsat cost LB: 53036 ... c Min unsat cost LB: 53071 ... c Min unsat cost LB: 53106 ... c Min unsat cost LB: 53198 ... c Min unsat cost LB: 53229 ... c Min unsat cost LB: 53237 ... c Min unsat cost LB: 53244 ... c Min unsat cost LB: 53291 ... c Min unsat cost LB: 53294 ... c Min unsat cost LB: 53322 ... c Min unsat cost LB: 53330 ... c Min unsat cost LB: 53333 ... c Min unsat cost LB: 53345 ... c Min unsat cost LB: 53362 ... c Min unsat cost LB: 53383 ... c Min unsat cost LB: 53384 ... c Min unsat cost LB: 53387 ... c Min unsat cost LB: 53404 ... c Min unsat cost LB: 53415 ... c Min unsat cost LB: 53448 ... c Min unsat cost LB: 53451 ... c Min unsat cost LB: 53506 ... c Min unsat cost LB: 53523 ... c Min unsat cost LB: 53530 ... c Min unsat cost LB: 53689 ... c Min unsat cost LB: 53690 ... c Min unsat cost LB: 53697 ... c Min unsat cost LB: 53700 ... c Min unsat cost LB: 53701 ... c Min unsat cost LB: 53704 ... c Min unsat cost LB: 53706 ... c Min unsat cost LB: 53711 ... c Min unsat cost LB: 53830 ... c Min unsat cost LB: 53832 ... c Min unsat cost LB: 53840 ... c Min unsat cost LB: 53841 ... c Min unsat cost LB: 53900 ... c Min unsat cost LB: 53908 ... c Min unsat cost LB: 53956 ... c Min unsat cost LB: 53961 ... c Min unsat cost LB: 53981 ... c Min unsat cost LB: 53984 ... c Min unsat cost LB: 53986 ... c Min unsat cost LB: 54008 ... c Min unsat cost LB: 54009 ... c Min unsat cost LB: 54017 ... c Min unsat cost LB: 54018 ... c Min unsat cost LB: 54053 ... c Min unsat cost LB: 54061 ... c Min unsat cost LB: 54064 ... c Min unsat cost LB: 54072 ... c Min unsat cost LB: 54088 ... c Min unsat cost LB: 54134 ... c Min unsat cost LB: 54148 ... c Min unsat cost LB: 54150 ... c Min unsat cost LB: 54151 ... c Min unsat cost LB: 54153 ... c Min unsat cost LB: 54157 ... c Min unsat cost LB: 54159 ... c Min unsat cost LB: 54160 ... c Min unsat cost LB: 54169 ... c Min unsat cost LB: 54174 ... c Min unsat cost LB: 54181 ... c Min unsat cost LB: 54289 ... c Min unsat cost LB: 54291 ... c Min unsat cost LB: 54325 ... c Min unsat cost LB: 54331 ... c Min unsat cost LB: 54338 ... c Min unsat cost LB: 54348 ... c Min unsat cost LB: 54368 ... c Min unsat cost LB: 54375 ... c Min unsat cost LB: 54434 ... c Min unsat cost LB: 54435 ... c Min unsat cost LB: 54436 ... c Min unsat cost LB: 54481 ... c Min unsat cost LB: 54513 ... c Min unsat cost LB: 54519 ... c Min unsat cost LB: 54535 ... c Min unsat cost LB: 54552 ... c Min unsat cost LB: 54557 ... c Min unsat cost LB: 54565 ... c Min unsat cost LB: 54566 ... c Min unsat cost LB: 54567 ... c Min unsat cost LB: 54569 ... c Min unsat cost LB: 54570 ... c Min unsat cost LB: 54579 ... c Min unsat cost LB: 54585 ... c Min unsat cost LB: 54588 ... c Min unsat cost LB: 54592 ... c Min unsat cost LB: 54595 ... c Min unsat cost LB: 54598 ... c Min unsat cost LB: 54599 ... c Min unsat cost LB: 54611 ... c Min unsat cost LB: 54613 ... c Min unsat cost LB: 54614 ... c Min unsat cost LB: 54615 ... c Min unsat cost LB: 54649 ... c Min unsat cost LB: 54651 ... c Min unsat cost LB: 54652 ... c Min unsat cost LB: 54667 ... c Min unsat cost LB: 54671 ... c Min unsat cost LB: 54678 ... c Min unsat cost LB: 54681 ... c Min unsat cost LB: 54684 ... c Min unsat cost LB: 54698 ... c Min unsat cost LB: 54718 ... c Min unsat cost LB: 54719 ... c Min unsat cost LB: 54725 ... c Min unsat cost LB: 54741 ... c Min unsat cost LB: 54747 ... c Min unsat cost LB: 54749 ... c Min unsat cost LB: 54753 ... c Min unsat cost LB: 54767 ... c Min unsat cost LB: 54798 ... c Min unsat cost LB: 54818 ... c Min unsat cost LB: 54820 ... c Min unsat cost LB: 54823 ... c Min unsat cost LB: 54951 ... c Min unsat cost LB: 54954 ... c Min unsat cost LB: 55383 ... c Min unsat cost LB: 55385 ... c Min unsat cost LB: 55386 ... c Min unsat cost LB: 55387 ... c Min unsat cost LB: 55419 ... c Min unsat cost LB: 55420 ... c Min unsat cost LB: 55423 ... c Min unsat cost LB: 55450 ... c Min unsat cost LB: 55458 ... c Min unsat cost LB: 55475 ... c Min unsat cost LB: 55481 ... c Min unsat cost LB: 55498 ... c Min unsat cost LB: 55499 ... c Min unsat cost LB: 55500 ... c Min unsat cost LB: 55501 ... c Min unsat cost LB: 55502 ... c Min unsat cost LB: 55503 ... c Min unsat cost LB: 55533 ... c Min unsat cost LB: 55621 ... c Min unsat cost LB: 55622 ... c Min unsat cost LB: 55623 ... c Min unsat cost LB: 55624 ... c Min unsat cost LB: 55625 ... c Min unsat cost LB: 55630 ... c Min unsat cost LB: 55664 ... c Min unsat cost LB: 55666 ... c Min unsat cost LB: 55673 ... c Min unsat cost LB: 55679 ... c Min unsat cost LB: 55684 ... c Min unsat cost LB: 55706 ... c Min unsat cost LB: 55754 ... c Min unsat cost LB: 55755 ... c Min unsat cost LB: 55771 ... c Min unsat cost LB: 55773 ... c Min unsat cost LB: 55777 ... c Min unsat cost LB: 55778 ... c Min unsat cost LB: 55779 ... c Min unsat cost LB: 55780 ... c Min unsat cost LB: 55781 ... c Min unsat cost LB: 55782 ... c Min unsat cost LB: 55784 ... c Min unsat cost LB: 55785 ... c Min unsat cost LB: 55787 ... c Min unsat cost LB: 55788 ... c Min unsat cost LB: 55789 ... c Min unsat cost LB: 55790 ... c Min unsat cost LB: 55791 ... c Min unsat cost LB: 55792 ... c Min unsat cost LB: 55793 ... c Min unsat cost LB: 55794 ... c Min unsat cost LB: 55795 ... c Min unsat cost LB: 55796 ... c Min unsat cost LB: 55799 ... c Min unsat cost LB: 55801 ... c Min unsat cost LB: 55802 ... c Min unsat cost LB: 55803 ... c Min unsat cost LB: 55816 ... c Min unsat cost LB: 55857 ... c Min unsat cost LB: 55890 ... c Min unsat cost LB: 55891 ... c Min unsat cost LB: 55892 ... c Min unsat cost LB: 55914 ... c Min unsat cost LB: 55915 ... c Min unsat cost LB: 55916 ... c Min unsat cost LB: 55917 ... c Min unsat cost LB: 55918 ... c Min unsat cost LB: 55919 ... c Min unsat cost LB: 55920 ... c Min unsat cost LB: 55921 ... c Min unsat cost LB: 55922 ... c Min unsat cost LB: 55923 ... c Min unsat cost LB: 55924 ... c Min unsat cost LB: 55925 ... c Min unsat cost LB: 55929 ... c Min unsat cost LB: 55933 ... c Min unsat cost LB: 55937 ... c Min unsat cost LB: 55963 ... c Min unsat cost LB: 56012 ... c Min unsat cost LB: 56015 ... c Min unsat cost LB: 56020 ... c Min unsat cost LB: 56022 ... c Min unsat cost LB: 56031 ... c Min unsat cost LB: 56032 ... c Min unsat cost LB: 56033 ... c Min unsat cost LB: 56034 ... c Min unsat cost LB: 56035 ... c Min unsat cost LB: 56036 ... c Min unsat cost LB: 56038 ... c Min unsat cost LB: 56040 ... c Min unsat cost LB: 56042 ... c Min unsat cost LB: 56108 ... c Min unsat cost LB: 56110 ... c Min unsat cost LB: 56111 ... c Min unsat cost LB: 56168 ... c Min unsat cost LB: 56549 ... c Min unsat cost LB: 56550 ... c Min unsat cost LB: 56564 ... c Min unsat cost LB: 56565 ... c Min unsat cost LB: 56566 ... c Min unsat cost LB: 56567 ... c Min unsat cost LB: 56568 ... c Min unsat cost LB: 56569 ... c Min unsat cost LB: 56570 ... c Min unsat cost LB: 56571 ... c Min unsat cost LB: 56572 ... c Min unsat cost LB: 56575 ... c Min unsat cost LB: 56577 ... c Min unsat cost LB: 56578 ... c Min unsat cost LB: 56580 ... c Min unsat cost LB: 56584 ... c Min unsat cost LB: 56586 ... c Min unsat cost LB: 56588 ... c Min unsat cost LB: 56592 ... c Min unsat cost LB: 56594 ... c Min unsat cost LB: 56595 ... c Min unsat cost LB: 56596 ... c Min unsat cost LB: 56597 ... c Min unsat cost LB: 56598 ... c Min unsat cost LB: 56601 ... c Min unsat cost LB: 56602 ... c Min unsat cost LB: 56603 ... c Min unsat cost LB: 56604 ... c Min unsat cost LB: 56605 ... c Min unsat cost LB: 56606 ... c Min unsat cost LB: 56607 ... c Min unsat cost LB: 56608 ... c Min unsat cost LB: 56609 ... c Min unsat cost LB: 56610 ... c Min unsat cost LB: 56612 ... c Min unsat cost LB: 56613 ... c Min unsat cost LB: 56615 ... c Min unsat cost LB: 56616 ... c Min unsat cost LB: 56617 ... c Min unsat cost LB: 56618 ... c Min unsat cost LB: 56619 ... c Min unsat cost LB: 56620 ... c Min unsat cost LB: 56621 ... c Min unsat cost LB: 56622 ... c Min unsat cost LB: 56632 ... c Min unsat cost LB: 56694 ... c Min unsat cost LB: 56723 ... c Min unsat cost LB: 56724 ... c Min unsat cost LB: 56725 ... c Min unsat cost LB: 56726 ... c Min unsat cost LB: 56727 ... c Min unsat cost LB: 56728 ... c Min unsat cost LB: 56729 ... c Min unsat cost LB: 56730 ... c Min unsat cost LB: 56731 ... c Min unsat cost LB: 56732 ... c Min unsat cost LB: 56733 ... c Min unsat cost LB: 56734 ... c Min unsat cost LB: 56735 ... c Min unsat cost LB: 56736 ... c Min unsat cost LB: 56737 ... c Min unsat cost LB: 56738 ... c Min unsat cost LB: 56739 ... c Min unsat cost LB: 56740 ... c Min unsat cost LB: 56741 ... c Min unsat cost LB: 56742 ... c Min unsat cost LB: 56743 ... c Min unsat cost LB: 56744 ... c Min unsat cost LB: 56745 ... c Min unsat cost LB: 56746 ... c Min unsat cost LB: 56747 ... c Min unsat cost LB: 56748 ... c Min unsat cost LB: 56749 ... c Min unsat cost LB: 56750 ... c Min unsat cost LB: 56751 ... c Min unsat cost LB: 56752 ... c Min unsat cost LB: 56753 ... c Min unsat cost LB: 56754 ... c Min unsat cost LB: 56755 ... c Min unsat cost LB: 56756 ... c Min unsat cost LB: 56757 ... c Min unsat cost LB: 56758 ... c Min unsat cost LB: 56759 ... c Min unsat cost LB: 56760 ... c Min unsat cost LB: 56761 ... c Min unsat cost LB: 56762 ... c Min unsat cost LB: 56763 ... c Min unsat cost LB: 56764 ... c Min unsat cost LB: 56765 ... c Min unsat cost LB: 56766 ... c Min unsat cost LB: 56767 ... c Min unsat cost LB: 56768 ... c Min unsat cost LB: 56769 ... c Min unsat cost LB: 56770 ... c Min unsat cost LB: 56771 ... c Min unsat cost LB: 56773 ... c Min unsat cost LB: 56790 ... c Min unsat cost LB: 56860 ... c Min unsat cost LB: 56865 ... c Min unsat cost LB: 56866 ... c Min unsat cost LB: 56867 ... c Min unsat cost LB: 56868 ... c Min unsat cost LB: 56869 ... c Min unsat cost LB: 56870 ... c Min unsat cost LB: 56871 ... c Min unsat cost LB: 56872 ... c Min unsat cost LB: 56873 ... c Min unsat cost LB: 56874 ... c Min unsat cost LB: 56875 ... c Min unsat cost LB: 56877 ... c Min unsat cost LB: 56878 ... c Min unsat cost LB: 56879 ... c Min unsat cost LB: 56880 ... c Min unsat cost LB: 56881 ... c Min unsat cost LB: 56882 ... c Min unsat cost LB: 56883 ... c Min unsat cost LB: 56884 ... c Min unsat cost LB: 56885 ... c Min unsat cost LB: 56886 ... c Min unsat cost LB: 56890 ... c Min unsat cost LB: 56893 ... c Min unsat cost LB: 56903 ... c Min unsat cost LB: 56904 ... c Min unsat cost LB: 56905 ... c Min unsat cost LB: 56906 ... c Min unsat cost LB: 56907 ... c Min unsat cost LB: 56908 ... c Min unsat cost LB: 56909 ... c Min unsat cost LB: 56910 ... c Min unsat cost LB: 56911 ... c Min unsat cost LB: 56912 ... c Min unsat cost LB: 56913 ... c Min unsat cost LB: 56914 ... c Min unsat cost LB: 56915 ... c Min unsat cost LB: 56916 ... c Min unsat cost LB: 56917 ... c Min unsat cost LB: 56918 ... c Min unsat cost LB: 56919 ... c Min unsat cost LB: 56920 ... c Min unsat cost LB: 56921 ... c Min unsat cost LB: 56922 ... c Min unsat cost LB: 56923 ... c Min unsat cost LB: 56924 ... c Min unsat cost LB: 56925 ... c Min unsat cost LB: 56926 ... c Min unsat cost LB: 56927 ... c Min unsat cost LB: 56928 ... c Min unsat cost LB: 56929 ... c Min unsat cost LB: 56930 ... c Min unsat cost LB: 56931 ... c Min unsat cost LB: 56932 ... c Min unsat cost LB: 56933 ... c Min unsat cost LB: 56934 ... c Min unsat cost LB: 56935 ... c Min unsat cost LB: 56936 ... c Min unsat cost LB: 56937 ... c Min unsat cost LB: 56938 ... c Min unsat cost LB: 56939 ... c Min unsat cost LB: 56940 ... c Min unsat cost LB: 56941 ... c Min unsat cost LB: 56942 ... c Min unsat cost LB: 56943 ... c Min unsat cost LB: 56944 ... c Min unsat cost LB: 56945 ... c Min unsat cost LB: 56946 ... c Min unsat cost LB: 56947 ... c Min unsat cost LB: 56948 ... c Min unsat cost LB: 56949 ... c Min unsat cost LB: 56950 ... c Min unsat cost LB: 56951 ... c Min unsat cost LB: 56952 ... c Min unsat cost LB: 56953 ... c Min unsat cost LB: 56954 ... c Min unsat cost LB: 56955 ... c Min unsat cost LB: 56956 ... c Min unsat cost LB: 56957 ... c Min unsat cost LB: 56958 ... c Min unsat cost LB: 56959 ... c Min unsat cost LB: 56960 ... c Min unsat cost LB: 56961 ... c Min unsat cost LB: 56962 ... c Min unsat cost LB: 56963 ... c Min unsat cost LB: 56964 ... c Min unsat cost LB: 56965 ... c Min unsat cost LB: 56966 ... c Min unsat cost LB: 56971 ... c Min unsat cost LB: 56972 ... c Min unsat cost LB: 56973 ... c Min unsat cost LB: 56974 ... c Min unsat cost LB: 56975 ... c Min unsat cost LB: 56976 ... c Min unsat cost LB: 56980 ... c Min unsat cost LB: 56989 ... c Min unsat cost LB: 57011 ... c Min unsat cost LB: 57012 ... c Min unsat cost LB: 57038 ... c Min unsat cost LB: 57039 ... c Min unsat cost LB: 57041 ... c Min unsat cost LB: 57042 ... c Min unsat cost LB: 57054 ... c Min unsat cost LB: 57056 ... c Min unsat cost LB: 57057 ... c Min unsat cost LB: 57058 ... c Min unsat cost LB: 57059 ... c Min unsat cost LB: 57060 ... c Min unsat cost LB: 57061 ... c Min unsat cost LB: 57062 ... c Min unsat cost LB: 57063 ... c Min unsat cost LB: 57064 ... c Min unsat cost LB: 57065 ... c Min unsat cost LB: 57077 ... c Min unsat cost LB: 57078 ... c Min unsat cost LB: 57079 ... c Min unsat cost LB: 57080 ... c Min unsat cost LB: 57081 ... c Min unsat cost LB: 57082 ... c Min unsat cost LB: 57083 ... c Min unsat cost LB: 57084 ... c Min unsat cost LB: 57085 ... c Min unsat cost LB: 57086 ... c Min unsat cost LB: 57087 ... c Min unsat cost LB: 57146 ... c Min unsat cost LB: 57147 ... c Min unsat cost LB: 57149 ... c Min unsat cost LB: 57150 ... c Min unsat cost LB: 57151 ... c Min unsat cost LB: 57152 ... c Min unsat cost LB: 57153 ... c Min unsat cost LB: 57154 ... c Min unsat cost LB: 57155 ... c Min unsat cost LB: 57160 ... c Min unsat cost LB: 57170 ... c Min unsat cost LB: 57173 ... c Min unsat cost LB: 57174 ... c Min unsat cost LB: 57175 ... c Min unsat cost LB: 57176 ... c Min unsat cost LB: 57177 ... c Min unsat cost LB: 57178 ... c Min unsat cost LB: 57179 ... c Min unsat cost LB: 57180 ... c Min unsat cost LB: 57181 ... c Min unsat cost LB: 57182 ... c Min unsat cost LB: 57183 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57185 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57187 ... c Min unsat cost LB: 57188 ... c Min unsat cost LB: 57189 ... c Min unsat cost LB: 57267 ... c Min unsat cost LB: 57268 ... c Min unsat cost LB: 57269 ... c Min unsat cost LB: 57270 ... c Min unsat cost LB: 57271 ... c Min unsat cost LB: 57272 ... c Min unsat cost LB: 57273 ... c Min unsat cost LB: 57274 ... c Min unsat cost LB: 57275 ... c Min unsat cost LB: 57276 ... c Min unsat cost LB: 57277 ... c Min unsat cost LB: 57278 ... c Min unsat cost LB: 57279 ... c Min unsat cost LB: 57280 ... c Min unsat cost LB: 57281 ... c Min unsat cost LB: 57282 ... c Min unsat cost LB: 57283 ... c Min unsat cost LB: 57284 ... c Min unsat cost LB: 57285 ... c Min unsat cost LB: 57290 ... c Min unsat cost LB: 57296 ... c Min unsat cost LB: 57297 ... c Min unsat cost LB: 57298 ... c Min unsat cost LB: 57299 ... c Min unsat cost LB: 57300 ... c Min unsat cost LB: 57302 ... c Min unsat cost LB: 57303 ... c Min unsat cost LB: 57304 ... c Min unsat cost LB: 57305 ... c Min unsat cost LB: 57309 ... c Min unsat cost LB: 57311 ... c Min unsat cost LB: 57312 ... c Min unsat cost LB: 57327 ... c Min unsat cost LB: 57344 ... c Min unsat cost LB: 57354 ... c Min unsat cost LB: 57355 ... c Min unsat cost LB: 57356 ... c Min unsat cost LB: 57357 ... c Min unsat cost LB: 57358 ... c Min unsat cost LB: 57359 ... c Min unsat cost LB: 57360 ... c Min unsat cost LB: 57367 ... c Min unsat cost LB: 57371 ... c Min unsat cost LB: 57372 ... c Min unsat cost LB: 57381 ... c Min unsat cost LB: 57387 ... c Min unsat cost LB: 57390 ... c Min unsat cost LB: 57392 ... c Min unsat cost LB: 57402 ... c Min unsat cost LB: 57404 ... c Min unsat cost LB: 57538 ... c Min unsat cost LB: 57670 ... c Min unsat cost LB: 57672 ... c Min unsat cost LB: 57746 ... c Min unsat cost LB: 57747 ... c Min unsat cost LB: 57749 ... c Min unsat cost LB: 57760 ... c Min unsat cost LB: 57761 ... c Min unsat cost LB: 57766 ... c Min unsat cost LB: 57768 ... c Min unsat cost LB: 57770 ... c Min unsat cost LB: 57771 ... c Min unsat cost LB: 57772 ... c Min unsat cost LB: 57781 ... c Min unsat cost LB: 57782 ... c Min unsat cost LB: 57808 ... c Min unsat cost LB: 57817 ... c Min unsat cost LB: 57826 ... c Min unsat cost LB: 57830 ... c Min unsat cost LB: 57845 ... c Min unsat cost LB: 57852 ... c Min unsat cost LB: 57860 ... c Min unsat cost LB: 57864 ... c Min unsat cost LB: 57867 ... c Min unsat cost LB: 57869 ... c Min unsat cost LB: 57870 ... c Min unsat cost LB: 57874 ... c Min unsat cost LB: 57878 ... c Min unsat cost LB: 57880 ... c Min unsat cost LB: 57881 ... c Min unsat cost LB: 57882 ... c Min unsat cost LB: 57883 ... c Min unsat cost LB: 57941 ... c Min unsat cost LB: 57986 ... c Min unsat cost LB: 58179 ... c Min unsat cost LB: 58180 ... c Min unsat cost LB: 58181 ... c Min unsat cost LB: 58182 ... c Min unsat cost LB: 58183 ... c Min unsat cost LB: 58184 ... c Min unsat cost LB: 58185 ... c Min unsat cost LB: 58186 ... c Min unsat cost LB: 58187 ... c Min unsat cost LB: 58188 ... c Min unsat cost LB: 58189 ... c Min unsat cost LB: 58192 ... c Min unsat cost LB: 58199 ... c Min unsat cost LB: 58204 ... c Min unsat cost LB: 58205 ... c Min unsat cost LB: 58206 ... c Min unsat cost LB: 58227 ... c Min unsat cost LB: 58630 ... c Min unsat cost LB: 58631 ... c Min unsat cost LB: 58634 ... c Min unsat cost LB: 58635 ... c Min unsat cost LB: 58654 ... c Min unsat cost LB: 58671 ... c Min unsat cost LB: 58679 ... c Min unsat cost LB: 58680 ... c Min unsat cost LB: 58681 ... c Min unsat cost LB: 58682 ... c Min unsat cost LB: 58683 ... c Min unsat cost LB: 58684 ... c Min unsat cost LB: 58685 ... c Min unsat cost LB: 58686 ... c Min unsat cost LB: 58743 ... c Min unsat cost LB: 58885 ... c Min unsat cost LB: 58886 ... c Min unsat cost LB: 58887 ... c Min unsat cost LB: 58888 ... c Min unsat cost LB: 58889 ... c Min unsat cost LB: 58890 ... c Min unsat cost LB: 58891 ... c Min unsat cost LB: 58892 ... c Min unsat cost LB: 58893 ... c Min unsat cost LB: 58903 ... c Min unsat cost LB: 58904 ... c Min unsat cost LB: 58905 ... c Min unsat cost LB: 58906 ... c Min unsat cost LB: 58907 ... c Min unsat cost LB: 58908 ... c Min unsat cost LB: 58909 ... c Min unsat cost LB: 58914 ... c Min unsat cost LB: 58915 ... c Min unsat cost LB: 58916 ... c Min unsat cost LB: 58917 ... c Min unsat cost LB: 58918 ... c Min unsat cost LB: 58919 ... c Min unsat cost LB: 58920 ... c Min unsat cost LB: 58921 ... c Min unsat cost LB: 58922 ... c Min unsat cost LB: 58923 ... c Min unsat cost LB: 58924 ... c Min unsat cost LB: 58925 ... c Min unsat cost LB: 58928 ... c Min unsat cost LB: 58929 ... c Min unsat cost LB: 58931 ... c Min unsat cost LB: 58959 ... c Min unsat cost LB: 58976 ... c Min unsat cost LB: 58989 ... c Min unsat cost LB: 58990 ... c Min unsat cost LB: 58993 ... c Min unsat cost LB: 58994 ... c Min unsat cost LB: 58995 ... c Min unsat cost LB: 58996 ... c Min unsat cost LB: 58997 ... c Min unsat cost LB: 58998 ... c Min unsat cost LB: 59001 ... c Min unsat cost LB: 59002 ... c Min unsat cost LB: 59003 ... c Min unsat cost LB: 59004 ... c Min unsat cost LB: 59005 ... c Min unsat cost LB: 59006 ... c Min unsat cost LB: 59007 ... c Min unsat cost LB: 59010 ... c Min unsat cost LB: 59011 ... c Min unsat cost LB: 59012 ... c Min unsat cost LB: 59013 ... c Min unsat cost LB: 59014 ... c Min unsat cost LB: 59015 ... c Min unsat cost LB: 59016 ... c Min unsat cost LB: 59017 ... c Min unsat cost LB: 59018 ... c Min unsat cost LB: 59019 ... c Min unsat cost LB: 59020 ... c Min unsat cost LB: 59021 ... c Min unsat cost LB: 59022 ... c Min unsat cost LB: 59023 ... c Min unsat cost LB: 59024 ... c Min unsat cost LB: 59025 ... c Min unsat cost LB: 59026 ... c Min unsat cost LB: 59027 ... c Min unsat cost LB: 59028 ... c Min unsat cost LB: 59029 ... c Min unsat cost LB: 59030 ... c Min unsat cost LB: 59031 ... c Min unsat cost LB: 59032 ... c Min unsat cost LB: 59033 ... c Min unsat cost LB: 59034 ... c Min unsat cost LB: 59035 ... c Min unsat cost LB: 59038 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59041 ... c Min unsat cost LB: 59042 ... c Min unsat cost LB: 59043 ... c Min unsat cost LB: 59045 ... c Min unsat cost LB: 59046 ... c Min unsat cost LB: 59047 ... c Min unsat cost LB: 59049 ... c Min unsat cost LB: 59050 ... c Min unsat cost LB: 59052 ... c Min unsat cost LB: 59053 ... c Min unsat cost LB: 59054 ... c Min unsat cost LB: 59055 ... c Min unsat cost LB: 59056 ... c Min unsat cost LB: 59057 ... c Min unsat cost LB: 59058 ... c Min unsat cost LB: 59059 ... c Min unsat cost LB: 59067 ... c Min unsat cost LB: 59068 ... c Min unsat cost LB: 59070 ... c Min unsat cost LB: 59071 ... c Min unsat cost LB: 59073 ... c Min unsat cost LB: 59074 ... c Min unsat cost LB: 59075 ... c Min unsat cost LB: 59077 ... c Min unsat cost LB: 59078 ... c Min unsat cost LB: 59080 ... c Min unsat cost LB: 59083 ... c Min unsat cost LB: 59084 ... c Min unsat cost LB: 59085 ... c Min unsat cost LB: 59086 ... c Min unsat cost LB: 59089 ... c Min unsat cost LB: 59090 ... c Min unsat cost LB: 59093 ... c Min unsat cost LB: 59098 ... c Min unsat cost LB: 59099 ... c Min unsat cost LB: 59100 ... c Min unsat cost LB: 59101 ... c Min unsat cost LB: 59102 ... c Min unsat cost LB: 59103 ... c Min unsat cost LB: 59104 ... c Min unsat cost LB: 59105 ... c Min unsat cost LB: 59106 ... c Min unsat cost LB: 59107 ... c Min unsat cost LB: 59108 ... c Min unsat cost LB: 59109 ... c Min unsat cost LB: 59111 ... c Min unsat cost LB: 59112 ... c Min unsat cost LB: 59113 ... c Min unsat cost LB: 59114 ... c Min unsat cost LB: 59115 ... c Min unsat cost LB: 59116 ... c Min unsat cost LB: 59117 ... c Min unsat cost LB: 59118 ... c Min unsat cost LB: 59119 ... c Min unsat cost LB: 59120 ... c Min unsat cost LB: 59121 ... c Min unsat cost LB: 59122 ... c Min unsat cost LB: 59123 ... c Min unsat cost LB: 59124 ... c Min unsat cost LB: 59125 ... c Min unsat cost LB: 59126 ... c Min unsat cost LB: 59127 ... c Min unsat cost LB: 59129 ... c Min unsat cost LB: 59130 ... c Min unsat cost LB: 59131 ... c Min unsat cost LB: 59133 ... c Min unsat cost LB: 59134 ... c Min unsat cost LB: 59135 ... c Min unsat cost LB: 59136 ... c Min unsat cost LB: 59137 ... c Min unsat cost LB: 59138 ... c Min unsat cost LB: 59139 ... c Min unsat cost LB: 59140 ... c Min unsat cost LB: 59141 ... c Min unsat cost LB: 59142 ... c Min unsat cost LB: 59143 ... c Min unsat cost LB: 59144 ... c Min unsat cost LB: 59145 ... c Min unsat cost LB: 59146 ... c Min unsat cost LB: 59147 ... c Min unsat cost LB: 59148 ... c Min unsat cost LB: 59149 ... c Min unsat cost LB: 59154 ... c Min unsat cost LB: 59155 ... c Min unsat cost LB: 59156 ... c Min unsat cost LB: 59158 ... c Min unsat cost LB: 59159 ... c Min unsat cost LB: 59160 ... c Min unsat cost LB: 59163 ... c Min unsat cost LB: 59164 ... c Min unsat cost LB: 59165 ... c Min unsat cost LB: 59166 ... c Min unsat cost LB: 59167 ... c Min unsat cost LB: 59168 ... c Min unsat cost LB: 59169 ... c Min unsat cost LB: 59170 ... c Min unsat cost LB: 59171 ... c Min unsat cost LB: 59172 ... c Min unsat cost LB: 59173 ... c Min unsat cost LB: 59174 ... c Min unsat cost LB: 59175 ... c Min unsat cost LB: 59176 ... c Min unsat cost LB: 59177 ... c Min unsat cost LB: 59178 ... c Min unsat cost LB: 59179 ... c Min unsat cost LB: 59180 ... c Min unsat cost LB: 59181 ... c Min unsat cost LB: 59182 ... c Min unsat cost LB: 59183 ... c Min unsat cost LB: 59184 ... c Min unsat cost LB: 59185 ... c Min unsat cost LB: 59186 ... c Min unsat cost LB: 59187 ... c Min unsat cost LB: 59189 ... c Min unsat cost LB: 59190 ... c Min unsat cost LB: 59191 ... c Min unsat cost LB: 59192 ... c Min unsat cost LB: 59193 ... c Min unsat cost LB: 59194 ... c Min unsat cost LB: 59195 ... c Min unsat cost LB: 59196 ... c Min unsat cost LB: 59202 ... c Min unsat cost LB: 59203 ... c Min unsat cost LB: 59204 ... c Min unsat cost LB: 59205 ... c Min unsat cost LB: 59206 ... c Min unsat cost LB: 59208 ... c Min unsat cost LB: 59209 ... c Min unsat cost LB: 59210 ... c Min unsat cost LB: 59216 ... c Min unsat cost LB: 59217 ... c Min unsat cost LB: 59218 ... c Min unsat cost LB: 59219 ... c Min unsat cost LB: 59220 ... c Min unsat cost LB: 59221 ... c Min unsat cost LB: 59222 ... c Min unsat cost LB: 59223 ... c Min unsat cost LB: 59224 ... c Min unsat cost LB: 59225 ... c Min unsat cost LB: 59226 ... c Min unsat cost LB: 59227 ... c Min unsat cost LB: 5922Killed 1815.816u 3.924s 30:19.42 100.0% 0+0k 0+0io 0pf+0w