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_80_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0007.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_80_0007.txt.wcnf *** c c Min unsat cost LB: 491 ... c Min unsat cost LB: 1315 ... c Min unsat cost LB: 1806 ... c Min unsat cost LB: 2664 ... c Min unsat cost LB: 2721 ... c Min unsat cost LB: 3074 ... c Min unsat cost LB: 3565 ... c Min unsat cost LB: 3735 ... c Min unsat cost LB: 4593 ... c Min unsat cost LB: 4667 ... c Min unsat cost LB: 4793 ... c Min unsat cost LB: 5699 ... c Min unsat cost LB: 6614 ... c Min unsat cost LB: 7381 ... c Min unsat cost LB: 8121 ... c Min unsat cost LB: 9005 ... c Min unsat cost LB: 9496 ... c Min unsat cost LB: 10319 ... c Min unsat cost LB: 10463 ... c Min unsat cost LB: 10851 ... c Min unsat cost LB: 11239 ... c Min unsat cost LB: 11783 ... c Min unsat cost LB: 12609 ... c Min unsat cost LB: 12870 ... c Min unsat cost LB: 12888 ... c Min unsat cost LB: 13772 ... c Min unsat cost LB: 14656 ... c Min unsat cost LB: 14704 ... c Min unsat cost LB: 14752 ... c Min unsat cost LB: 14967 ... c Min unsat cost LB: 15458 ... c Min unsat cost LB: 16364 ... c Min unsat cost LB: 17152 ... c Min unsat cost LB: 17216 ... c Min unsat cost LB: 17553 ... c Min unsat cost LB: 18468 ... c Min unsat cost LB: 18939 ... c Min unsat cost LB: 19292 ... c Min unsat cost LB: 19410 ... c Min unsat cost LB: 19979 ... c Min unsat cost LB: 20531 ... c Min unsat cost LB: 20566 ... c Min unsat cost LB: 20659 ... c Min unsat cost LB: 20996 ... c Min unsat cost LB: 21211 ... c Min unsat cost LB: 21672 ... c Min unsat cost LB: 22523 ... c Min unsat cost LB: 22943 ... c Min unsat cost LB: 23084 ... c Min unsat cost LB: 23770 ... c Min unsat cost LB: 24461 ... c Min unsat cost LB: 24977 ... c Min unsat cost LB: 25211 ... c Min unsat cost LB: 25344 ... c Min unsat cost LB: 25732 ... c Min unsat cost LB: 26282 ... c Min unsat cost LB: 26335 ... c Min unsat cost LB: 26801 ... c Min unsat cost LB: 27347 ... c Min unsat cost LB: 27888 ... c Min unsat cost LB: 27914 ... c Min unsat cost LB: 28739 ... c Min unsat cost LB: 29127 ... c Min unsat cost LB: 29515 ... c Min unsat cost LB: 29951 ... c Min unsat cost LB: 30121 ... c Min unsat cost LB: 30178 ... c Min unsat cost LB: 30226 ... c Min unsat cost LB: 30305 ... c Min unsat cost LB: 30563 ... c Min unsat cost LB: 30620 ... c Min unsat cost LB: 30744 ... c Min unsat cost LB: 30835 ... c Min unsat cost LB: 30888 ... c Min unsat cost LB: 30914 ... c Min unsat cost LB: 30959 ... c Min unsat cost LB: 31038 ... c Min unsat cost LB: 31296 ... c Min unsat cost LB: 31420 ... c Min unsat cost LB: 31458 ... c Min unsat cost LB: 31550 ... c Min unsat cost LB: 32022 ... c Min unsat cost LB: 32040 ... c Min unsat cost LB: 32230 ... c Min unsat cost LB: 32410 ... c Min unsat cost LB: 33392 ... c Min unsat cost LB: 33417 ... c Min unsat cost LB: 33561 ... c Min unsat cost LB: 33579 ... c Min unsat cost LB: 33600 ... c Min unsat cost LB: 33657 ... c Min unsat cost LB: 33736 ... c Min unsat cost LB: 33810 ... c Min unsat cost LB: 33841 ... c Min unsat cost LB: 33998 ... c Min unsat cost LB: 34148 ... c Min unsat cost LB: 34180 ... c Min unsat cost LB: 34182 ... c Min unsat cost LB: 34407 ... c Min unsat cost LB: 34416 ... c Min unsat cost LB: 34546 ... c Min unsat cost LB: 34606 ... c Min unsat cost LB: 34654 ... c Min unsat cost LB: 34758 ... c Min unsat cost LB: 35099 ... c Min unsat cost LB: 35146 ... c Min unsat cost LB: 35183 ... c Min unsat cost LB: 35334 ... c Min unsat cost LB: 35363 ... c Min unsat cost LB: 35398 ... c Min unsat cost LB: 35456 ... c Min unsat cost LB: 35595 ... c Min unsat cost LB: 35652 ... c Min unsat cost LB: 35785 ... c Min unsat cost LB: 35788 ... c Min unsat cost LB: 36000 ... c Min unsat cost LB: 36055 ... c Min unsat cost LB: 36060 ... c Min unsat cost LB: 36159 ... c Min unsat cost LB: 36164 ... c Min unsat cost LB: 36437 ... c Min unsat cost LB: 36491 ... c Min unsat cost LB: 36589 ... c Min unsat cost LB: 36600 ... c Min unsat cost LB: 36744 ... c Min unsat cost LB: 36746 ... c Min unsat cost LB: 36895 ... c Min unsat cost LB: 37008 ... c Min unsat cost LB: 37067 ... c Min unsat cost LB: 37134 ... c Min unsat cost LB: 37166 ... c Min unsat cost LB: 37365 ... c Min unsat cost LB: 37413 ... c Min unsat cost LB: 37556 ... c Min unsat cost LB: 37726 ... c Min unsat cost LB: 37734 ... c Min unsat cost LB: 37772 ... c Min unsat cost LB: 37781 ... c Min unsat cost LB: 37791 ... c Min unsat cost LB: 37823 ... c Min unsat cost LB: 37838 ... c Min unsat cost LB: 37882 ... c Min unsat cost LB: 37911 ... c Min unsat cost LB: 37920 ... c Min unsat cost LB: 37929 ... c Min unsat cost LB: 38019 ... c Min unsat cost LB: 38215 ... c Min unsat cost LB: 38274 ... c Min unsat cost LB: 38348 ... c Min unsat cost LB: 38462 ... c Min unsat cost LB: 38497 ... c Min unsat cost LB: 38606 ... c Min unsat cost LB: 38654 ... c Min unsat cost LB: 38685 ... c Min unsat cost LB: 38689 ... c Min unsat cost LB: 38715 ... c Min unsat cost LB: 38738 ... c Min unsat cost LB: 38770 ... c Min unsat cost LB: 38869 ... c Min unsat cost LB: 39033 ... c Min unsat cost LB: 39051 ... c Min unsat cost LB: 39054 ... c Min unsat cost LB: 39069 ... c Min unsat cost LB: 39095 ... c Min unsat cost LB: 39099 ... c Min unsat cost LB: 39124 ... c Min unsat cost LB: 39157 ... c Min unsat cost LB: 39186 ... c Min unsat cost LB: 39217 ... c Min unsat cost LB: 39246 ... c Min unsat cost LB: 39303 ... c Min unsat cost LB: 39324 ... c Min unsat cost LB: 39341 ... c Min unsat cost LB: 39403 ... c Min unsat cost LB: 39408 ... c Min unsat cost LB: 39463 ... c Min unsat cost LB: 39494 ... c Min unsat cost LB: 39499 ... c Min unsat cost LB: 39502 ... c Min unsat cost LB: 39507 ... c Min unsat cost LB: 39546 ... c Min unsat cost LB: 39548 ... c Min unsat cost LB: 39663 ... c Min unsat cost LB: 39681 ... c Min unsat cost LB: 39720 ... c Min unsat cost LB: 39775 ... c Min unsat cost LB: 39819 ... c Min unsat cost LB: 39845 ... c Min unsat cost LB: 39848 ... c Min unsat cost LB: 39876 ... c Min unsat cost LB: 39890 ... c Min unsat cost LB: 39899 ... c Min unsat cost LB: 39931 ... c Min unsat cost LB: 39953 ... c Min unsat cost LB: 39966 ... c Min unsat cost LB: 39970 ... c Min unsat cost LB: 39986 ... c Min unsat cost LB: 39988 ... c Min unsat cost LB: 39990 ... c Min unsat cost LB: 39992 ... c Min unsat cost LB: 39995 ... c Min unsat cost LB: 40004 ... c Min unsat cost LB: 40010 ... c Min unsat cost LB: 40016 ... c Min unsat cost LB: 40108 ... c Min unsat cost LB: 40110 ... c Min unsat cost LB: 40111 ... c Min unsat cost LB: 40122 ... c Min unsat cost LB: 40160 ... c Min unsat cost LB: 40164 ... c Min unsat cost LB: 40170 ... c Min unsat cost LB: 40174 ... c Min unsat cost LB: 40202 ... c Min unsat cost LB: 40205 ... c Min unsat cost LB: 40206 ... c Min unsat cost LB: 40224 ... c Min unsat cost LB: 40226 ... c Min unsat cost LB: 40233 ... c Min unsat cost LB: 40236 ... c Min unsat cost LB: 40253 ... c Min unsat cost LB: 40255 ... c Min unsat cost LB: 40272 ... c Min unsat cost LB: 40276 ... c Min unsat cost LB: 40281 ... c Min unsat cost LB: 40308 ... c Min unsat cost LB: 40312 ... c Min unsat cost LB: 40314 ... c Min unsat cost LB: 40316 ... c Min unsat cost LB: 40321 ... c Min unsat cost LB: 40322 ... c Min unsat cost LB: 40325 ... c Min unsat cost LB: 40326 ... c Min unsat cost LB: 40328 ... c Min unsat cost LB: 40331 ... c Min unsat cost LB: 40342 ... c Min unsat cost LB: 40345 ... c Min unsat cost LB: 40351 ... c Min unsat cost LB: 40465 ... c Min unsat cost LB: 40471 ... c Min unsat cost LB: 40475 ... c Min unsat cost LB: 40477 ... c Min unsat cost LB: 40482 ... c Min unsat cost LB: 40495 ... c Min unsat cost LB: 40521 ... c Min unsat cost LB: 40538 ... c Min unsat cost LB: 40539 ... c Min unsat cost LB: 40543 ... c Min unsat cost LB: 40547 ... c Min unsat cost LB: 40550 ... c Min unsat cost LB: 40552 ... c Min unsat cost LB: 40584 ... c Min unsat cost LB: 40625 ... c Min unsat cost LB: 40652 ... c Min unsat cost LB: 40664 ... c Min unsat cost LB: 40665 ... c Min unsat cost LB: 40667 ... c Min unsat cost LB: 40672 ... c Min unsat cost LB: 40673 ... c Min unsat cost LB: 40675 ... c Min unsat cost LB: 40681 ... c Min unsat cost LB: 40682 ... c Min unsat cost LB: 40689 ... c Min unsat cost LB: 40694 ... c Min unsat cost LB: 40696 ... c Min unsat cost LB: 40698 ... c Min unsat cost LB: 40699 ... c Min unsat cost LB: 40704 ... c Min unsat cost LB: 40705 ... c Min unsat cost LB: 40713 ... c Min unsat cost LB: 40715 ... c Min unsat cost LB: 40717 ... c Min unsat cost LB: 40719 ... c Min unsat cost LB: 40720 ... c Min unsat cost LB: 40722 ... c Min unsat cost LB: 40726 ... c Min unsat cost LB: 40727 ... c Min unsat cost LB: 40752 ... c Min unsat cost LB: 40753 ... c Min unsat cost LB: 40761 ... c Min unsat cost LB: 40764 ... c Min unsat cost LB: 40765 ... c Min unsat cost LB: 40766 ... c Min unsat cost LB: 40767 ... c Min unsat cost LB: 40778 ... c Min unsat cost LB: 40780 ... c Min unsat cost LB: 40781 ... c Min unsat cost LB: 40782 ... c Min unsat cost LB: 40784 ... c Min unsat cost LB: 40785 ... c Min unsat cost LB: 40787 ... c Min unsat cost LB: 40802 ... c Min unsat cost LB: 40803 ... c Min unsat cost LB: 40804 ... c Min unsat cost LB: 40807 ... c Min unsat cost LB: 40808 ... c Min unsat cost LB: 40809 ... c Min unsat cost LB: 40819 ... c Min unsat cost LB: 40825 ... c Min unsat cost LB: 40841 ... c Min unsat cost LB: 40843 ... c Min unsat cost LB: 40847 ... c Min unsat cost LB: 40850 ... c Min unsat cost LB: 40852 ... c Min unsat cost LB: 40855 ... c Min unsat cost LB: 40858 ... c Min unsat cost LB: 40859 ... c Min unsat cost LB: 40862 ... c Min unsat cost LB: 40866 ... c Min unsat cost LB: 40868 ... c Min unsat cost LB: 40869 ... c Min unsat cost LB: 40872 ... c Min unsat cost LB: 40873 ... c Min unsat cost LB: 40874 ... c Min unsat cost LB: 40876 ... c Min unsat cost LB: 40878 ... c Min unsat cost LB: 40879 ... c Min unsat cost LB: 40882 ... c Min unsat cost LB: 40892 ... c Min unsat cost LB: 40894 ... c Min unsat cost LB: 40895 ... c Min unsat cost LB: 40901 ... c Min unsat cost LB: 40902 ... c Min unsat cost LB: 40906 ... c Min unsat cost LB: 40907 ... c Min unsat cost LB: 40908 ... c Min unsat cost LB: 40909 ... c Min unsat cost LB: 40912 ... c Min unsat cost LB: 40913 ... c Min unsat cost LB: 40916 ... c Min unsat cost LB: 40917 ... c Min unsat cost LB: 40918 ... c Min unsat cost LB: 40919 ... c Min unsat cost LB: 40931 ... c Min unsat cost LB: 40932 ... c Min unsat cost LB: 40939 ... c Min unsat cost LB: 40940 ... c Min unsat cost LB: 40941 ... c Min unsat cost LB: 40942 ... c Min unsat cost LB: 40946 ... c Min unsat cost LB: 40948 ... c Min unsat cost LB: 40950 ... c Min unsat cost LB: 40951 ... c Min unsat cost LB: 40953 ... c Min unsat cost LB: 40954 ... c Min unsat cost LB: 40955 ... c Min unsat cost LB: 40957 ... c Min unsat cost LB: 40958 ... c Min unsat cost LB: 40959 ... c Min unsat cost LB: 40960 ... c Min unsat cost LB: 40961 ... c Min unsat cost LB: 40963 ... c Min unsat cost LB: 40965 ... c Min unsat cost LB: 40966 ... c Min unsat cost LB: 40968 ... c Min unsat cost LB: 40969 ... c Min unsat cost LB: 40970 ... c Min unsat cost LB: 40971 ... c Min unsat cost LB: 40975 ... c Min unsat cost LB: 40976 ... c Min unsat cost LB: 40977 ... c Min unsat cost LB: 40978 ... c Min unsat cost LB: 40979 ... c Min unsat cost LB: 40982 ... c Min unsat cost LB: 40983 ... c Min unsat cost LB: 40984 ... c Min unsat cost LB: 40985 ... c Min unsat cost LB: 40989 ... c Min unsat cost LB: 41000 ... c Min unsat cost LB: 41001 ... c Min unsat cost LB: 41002 ... c Min unsat cost LB: 41003 ... c Min unsat cost LB: 41007 ... c Min unsat cost LB: 41008 ... c Min unsat cost LB: 41009 ... c Min unsat cost LB: 41010 ... c Min unsat cost LB: 41012 ... c Min unsat cost LB: 41013 ... c Min unsat cost LB: 41015 ... c Min unsat cost LB: 41016 ... c Min unsat cost LB: 41018 ... c Min unsat cost LB: 41026 ... c Min unsat cost LB: 41029 ... c Min unsat cost LB: 41030 ... c Min unsat cost LB: 41031 ... c Min unsat cost LB: 41032 ... c Min unsat cost LB: 41033 ... c Min unsat cost LB: 41041 ... c Min unsat cost LB: 41042 ... c Min unsat cost LB: 41043 ... c Min unsat cost LB: 41044 ... c Min unsat cost LB: 41045 ... c Min unsat cost LB: 41047 ... c Min unsat cost LB: 41051 ... c Min unsat cost LB: 41052 ... c Min unsat cost LB: 41053 ... c Min unsat cost LB: 41054 ... c Min unsat cost LB: 41055 ... c Min unsat cost LB: 41056 ... c Min unsat cost LB: 41059 ... c Min unsat cost LB: 41060 ... c Min unsat cost LB: 41062 ... c Min unsat cost LB: 41063 ... c Min unsat cost LB: 41064 ... c Min unsat cost LB: 41065 ... c Min unsat cost LB: 41066 ... c Min unsat cost LB: 41067 ... c Min unsat cost LB: 41068 ... c Min unsat cost LB: 41069 ... c Min unsat cost LB: 41074 ... c Min unsat cost LB: 41075 ... c Min unsat cost LB: 41076 ... c Min unsat cost LB: 41077 ... c Min unsat cost LB: 41079 ... c Min unsat cost LB: 41080 ... c Min unsat cost LB: 41081 ... c Min unsat cost LB: 41082 ... c Min unsat cost LB: 41083 ... c Min unsat cost LB: 41084 ... c Min unsat cost LB: 41085 ... c Min unsat cost LB: 41086 ... c Min unsat cost LB: 41087 ... c Min unsat cost LB: 41088 ... c Min unsat cost LB: 41089 ... c Min unsat cost LB: 41090 ... c Min unsat cost LB: 41091 ... c Min unsat cost LB: 41092 ... c Min unsat cost LB: 41093 ... c Min unsat cost LB: 41094 ... c Min unsat cost LB: 41095 ... c Min unsat cost LB: 41096 ... c Min unsat cost LB: 41097 ... c Min unsat cost LB: 41098 ... c Min unsat cost LB: 41099 ... c Min unsat cost LB: 41100 ... c Min unsat cost LB: 41101 ... c Min unsat cost LB: 41102 ... c Min unsat cost LB: 41103 ... c Min unsat cost LB: 41104 ... c Min unsat cost LB: 41105 ... c Min unsat cost LB: 41106 ... c Min unsat cost LB: 41107 ... c Min unsat cost LB: 41108 ... c Min unsat cost LB: 41109 ... c Min unsat cost LB: 41110 ... c Min unsat cost LB: 41111 ... c Min unsat cost LB: 41112 ... c Min unsat cost LB: 41114 ... c Min unsat cost LB: 41128 ... c Min unsat cost LB: 41131 ... c Min unsat cost LB: 41139 ... c Min unsat cost LB: 41144 ... c Min unsat cost LB: 41195 ... c Min unsat cost LB: 41200 ... c Min unsat cost LB: 41220 ... c Min unsat cost LB: 41224 ... c Min unsat cost LB: 41232 ... c Min unsat cost LB: 41240 ... c Min unsat cost LB: 41254 ... c Min unsat cost LB: 41261 ... c Min unsat cost LB: 41262 ... c Min unsat cost LB: 41309 ... c Min unsat cost LB: 41313 ... c Min unsat cost LB: 41316 ... c Min unsat cost LB: 41317 ... c Min unsat cost LB: 41319 ... c Min unsat cost LB: 41325 ... c Min unsat cost LB: 41327 ... c Min unsat cost LB: 41328 ... c Min unsat cost LB: 41331 ... c Min unsat cost LB: 41333 ... c Min unsat cost LB: 41335 ... c Min unsat cost LB: 41336 ... c Min unsat cost LB: 41337 ... c Min unsat cost LB: 41339 ... c Min unsat cost LB: 41341 ... c Min unsat cost LB: 41352 ... c Min unsat cost LB: 41357 ... c Min unsat cost LB: 41358 ... c Min unsat cost LB: 41359 ... c Min unsat cost LB: 41382 ... c Min unsat cost LB: 41505 ... c Min unsat cost LB: 41506 ... c Min unsat cost LB: 41507 ... c Min unsat cost LB: 41508 ... c Min unsat cost LB: 41511 ... c Min unsat cost LB: 41512 ... c Min unsat cost LB: 41513 ... c Min unsat cost LB: 41515 ... c Min unsat cost LB: 41516 ... c Min unsat cost LB: 41517 ... c Min unsat cost LB: 41519 ... c Min unsat cost LB: 41520 ... c Min unsat cost LB: 41527 ... c Min unsat cost LB: 41528 ... c Min unsat cost LB: 41529 ... c Min unsat cost LB: 41530 ... c Min unsat cost LB: 41531 ... c Min unsat cost LB: 41532 ... c Min unsat cost LB: 41533 ... c Min unsat cost LB: 41534 ... c Min unsat cost LB: 41536 ... c Min unsat cost LB: 41537 ... c Min unsat cost LB: 41538 ... c Min unsat cost LB: 41539 ... c Min unsat cost LB: 41540 ... c Min unsat cost LB: 41541 ... c Min unsat cost LB: 41542 ... c Min unsat cost LB: 41543 ... c Min unsat cost LB: 41544 ... c Min unsat cost LB: 41545 ... c Min unsat cost LB: 41546 ... c Min unsat cost LB: 41547 ... c Min unsat cost LB: 41548 ... c Min unsat cost LB: 41549 ... c Min unsat cost LB: 41550 ... c Min unsat cost LB: 41551 ... c Min unsat cost LB: 41552 ... c Min unsat cost LB: 41553 ... c Min unsat cost LB: 41554 ... c Min unsat cost LB: 41555 ... c Min unsat cost LB: 41556 ... c Min unsat cost LB: 41557 ... c Min unsat cost LB: 41558 ... c Min unsat cost LB: 41559 ... c Min unsat cost LB: 41568 ... c Min unsat cost LB: 41569 ... c Min unsat cost LB: 41570 ... c Min unsat cost LB: 41571 ... c Min unsat cost LB: 41572 ... c Min unsat cost LB: 41573 ... c Min unsat cost LB: 41574 ... c Min unsat cost LB: 41575 ... c Min unsat cost LB: 41577 ... c Min unsat cost LB: 41578 ... c Min unsat cost LB: 41579 ... c Min unsat cost LB: 41595 ... c Min unsat cost LB: 41602 ... c Min unsat cost LB: 41605 ... c Min unsat cost LB: 41607 ... c Min unsat cost LB: 41610 ... c Min unsat cost LB: 41611 ... c Min unsat cost LB: 41613 ... c Min unsat cost LB: 41614 ... c Min unsat cost LB: 41617 ... c Min unsat cost LB: 41618 ... c Min unsat cost LB: 41619 ... c Min unsat cost LB: 41620 ... c Min unsat cost LB: 41621 ... c Min unsat cost LB: 41622 ... c Min unsat cost LB: 41623 ... c Min unsat cost LB: 41624 ... c Min unsat cost LB: 41625 ... c Min unsat cost LB: 41626 ... c Min unsat cost LB: 41627 ... c Min unsat cost LB: 41628 ... c Min unsat cost LB: 41631 ... c Min unsat cost LB: 41632 ... c Min unsat cost LB: 41633 ... c Min unsat cost LB: 41634 ... c Min unsat cost LB: 41635 ... c Min unsat cost LB: 41636 ... c Min unsat cost LB: 41637 ... c Min unsat cost LB: 41638 ... c Min unsat cost LB: 41639 ... c Min unsat cost LB: 41640 ... c Min unsat cost LB: 41641 ... c Min unsat cost LB: 41642 ... c Min unsat cost LB: 41643 ... c Min unsat cost LB: 41645 ... c Min unsat cost LB: 41646 ... c Min unsat cost LB: 41647 ... c Min unsat cost LB: 41648 ... c Min unsat cost LB: 41649 ... c Min unsat cost LB: 41651 ... c Min unsat cost LB: 41652 ... c Min unsat cost LB: 41653 ... c Min unsat cost LB: 41654 ... c Min unsat cost LB: 41655 ... c Min unsat cost LB: 41656 ... c Min unsat cost LB: 41657 ... c Min unsat cost LB: 41658 ... c Min unsat cost LB: 41659 ... c Min unsat cost LB: 41660 ... c Min unsat cost LB: 41661 ... c Min unsat cost LB: 41662 ... c Min unsat cost LB: 41663 ... c Min unsat cost LB: 41664 ... c Min unsat cost LB: 41665 ... c Min unsat cost LB: 41666 ... c Min unsat cost LB: 41667 ... c Min unsat cost LB: 41668 ... c Min unsat cost LB: 41669 ... c Min unsat cost LB: 41670 ... c Min unsat cost LB: 41671 ... c Min unsat cost LB: 41672 ... c Min unsat cost LB: 41673 ... c Min unsat cost LB: 41674 ... c Min unsat cost LB: 41675 ... c Min unsat cost LB: 41676 ... c Min unsat cost LB: 41677 ... c Min unsat cost LB: 41678 ... c Min unsat cost LB: 41679 ... c Min unsat cost LB: 41680 ... c Min unsat cost LB: 41682 ... c Min unsat cost LB: 41683 ... c Min unsat cost LB: 41684 ... c Min unsat cost LB: 41685 ... c Min unsat cost LB: 41686 ... c Min unsat cost LB: 41687 ... c Min unsat cost LB: 41688 ... c Min unsat cost LB: 41692 ... c Min unsat cost LB: 41693 ... c Min unsat cost LB: 41694 ... c Min unsat cost LB: 41695 ... c Min unsat cost LB: 41696 ... c Min unsat cost LB: 41697 ... c Min unsat cost LB: 41698 ... c Min unsat cost LB: 41723 ... c Min unsat cost LB: 41724 ... c Min unsat cost LB: 41725 ... c Min unsat cost LB: 41726 ... c Min unsat cost LB: 41727 ... c Min unsat cost LB: 41728 ... c Min unsat cost LB: 41729 ... c Min unsat cost LB: 41730 ... c Min unsat cost LB: 41732 ... c Min unsat cost LB: 41733 ... c Min unsat cost LB: 41734 ... c Min unsat cost LB: 41735 ... c Min unsat cost LB: 41736 ... c Min unsat cost LB: 41737 ... c Min unsat cost LB: 41738 ... c Min unsat cost LB: 41739 ... c Min unsat cost LB: 41740 ... c Min unsat cost LB: 41741 ... c Min unsat cost LB: 41742 ... c Min unsat cost LB: 41743 ... c Min unsat cost LB: 41744 ... c Min unsat cost LB: 41745 ... c Min unsat cost LB: 41746 ... c Min unsat cost LB: 41747 ... c Min unsat cost LB: 41748 ... c Min unsat cost LB: 41749 ... c Min unsat cost LB: 41750 ... c Min unsat cost LB: 41765 ... c Min unsat cost LB: 41766 ... c Min unsat cost LB: 41767 ... c Min unsat cost LB: 41768 ... c Min unsat cost LB: 41769 ... c Min unsat cost LB: 41771 ... c Min unsat cost LB: 41772 ... c Min unsat cost LB: 41773 ... c Min unsat cost LB: 41774 ... c Min unsat cost LB: 41775 ... c Min unsat cost LB: 41776 ... c Min unsat cost LB: 41777 ... c Min unsat cost LB: 41778 ... c Min unsat cost LB: 41779 ... c Min unsat cost LB: 41780 ... c Min unsat cost LB: 41781 ... c Min unsat cost LB: 41782 ... c Min unsat cost LB: 41783 ... c Min unsat cost LB: 41784 ... c Min unsat cost LB: 41785 ... c Min unsat cost LB: 41786 ... c Min unsat cost LB: 41787 ... c Min unsat cost LB: 41788 ... c Min unsat cost LB: 41789 ... c Min unsat cost LB: 41790 ... c Min unsat cost LB: 41791 ... c Min unsat cost LB: 41792 ... c Min unsat cost LB: 41793 ... c Min unsat cost LB: 41794 ... c Min unsat cost LB: 41795 ... c Min unsat cost LB: 41796 ... c Min unsat cost LB: 41797 ... c Min unsat cost LB: 41798 ... c Min unsat cost LB: 41799 ... c Min unsat cost LB: 41800 ... c Min unsat cost LB: 41801 ... c Min unsat cost LB: 41802 ... c Min unsat cost LB: 41803 ... c Min unsat cost LB: 41804 ... c Min unsat cost LB: 41805 ... c Min unsat cost LB: 41806 ... c Min unsat cost LB: 41807 ... c Min unsat cost LB: 41808 ... c Min unsat cost LB: 41809 ... c Min unsat cost LB: 41810 ... c Min unsat cost LB: 41811 ... c Min unsat cost LB: 41812 ... c Min unsat cost LB: 41813 ... c Min unsat cost LB: 41814 ... c Min unsat cost LB: 41815 ... c Min unsat cost LB: 41816 ... c Min unsat cost LB: 41817 ... c Min unsat cost LB: 41818 ... c Min unsat cost LB: 41819 ... c Min unsat cost LB: 41824 ... c Min unsat cost LB: 41825 ... c Min unsat cost LB: 41826 ... c Min unsat cost LB: 41827 ... c Min unsat cost LB: 41828 ... c Min unsat cost LB: 41829 ... c Min unsat cost LB: 41830 ... c Min unsat cost LB: 41831 ... c Min unsat cost LB: 41832 ... c Min unsat cost LB: 41833 ... c Min unsat cost LB: 41834 ... c Min unsat cost LB: 41835 ... c Min unsat cost LB: 41836 ... c Min unsat cost LB: 41837 ... c Min unsat cost LB: 41838 ... c Min unsat cost LB: 41839 ... c Min unsat cost LB: 41840 ... c Min unsat cost LB: 41841 ... c Min unsat cost LB: 41842 ... c Min unsat cost LB: 41843 ... c Min unsat cost LB: 41844 ... c Min unsat cost LB: 41845 ... c Min unsat cost LB: 41846 ... c Min unsat cost LB: 41847 ... c Min unsat cost LB: 41848 ... c Min unsat cost LB: 41849 ... c Min unsat cost LB: 41850 ... c Min unsat cost LB: 41851 ... c Min unsat cost LB: 41852 ... c Min unsat cost LB: 41853 ... c Min unsat cost LB: 41854 ... c Min unsat cost LB: 41855 ... c Min unsat cost LB: 41856 ... c Min unsat cost LB: 41857 ... c Min unsat cost LB: 41858 ... c Min unsat cost LB: 41859 ... c Min unsat cost LB: 41860 ... c Min unsat cost LB: 41861 ... c Min unsat cost LB: 41862 ... c Min unsat cost LB: 41863 ... c Min unsat cost LB: 41864 ... c Min unsat cost LB: 41865 ... c Min unsat cost LB: 41866 ... c Min unsat cost LB: 41867 ... c Min unsat cost LB: 41868 ... c Min unsat cost LB: 41869 ... c Min unsat cost LB: 41870 ... c Min unsat cost LB: 41871 ... c Min unsat cost LB: 41872 ... c Min unsat cost LB: 41873 ... c Min unsat cost LB: 41874 ... c Min unsat cost LB: 41875 ... c Min unsat cost LB: 41876 ... c Min unsat cost LB: 41877 ... c Min unsat cost LB: 41878 ... c Min unsat cost LB: 41879 ... c Min unsat cost LB: 41880 ... c Min unsat cost LB: 41881 ... c Min unsat cost LB: 41882 ... c Min unsat cost LB: 41883 ... c Min unsat cost LB: 41884 ... c Min unsat cost LB: 41885 ... c Min unsat cost LB: 41886 ... c Min unsat cost LB: 41887 ... c Min unsat cost LB: 41888 ... c Min unsat cost LB: 41889 ... c Min unsat cost LB: 41890 ... c Min unsat cost LB: 41891 ... c Min unsat cost LB: 41892 ... c Min unsat cost LB: 41893 ... c Min unsat cost LB: 41894 ... c Min unsat cost LB: 41895 ... c Min unsat cost LB: 41896 ... c Min unsat cost LB: 41897 ... c Min unsat cost LB: 41898 ... c Min unsat cost LB: 41901 ... c Min unsat cost LB: 41902 ... c Min unsat cost LB: 41903 ... c Min unsat cost LB: 41904 ... c Min unsat cost LB: 41905 ... c Min unsat cost LB: 41906 ... c Min unsat cost LB: 41907 ... c Min unsat cost LB: 41908 ... c Min unsat cost LB: 41909 ... c Min unsat cost LB: 41910 ... c Min unsat cost LB: 41911 ... c Min unsat cost LB: 41912 ... c Min unsat cost LB: 41913 ... c Min unsat cost LB: 41914 ... c Min unsat cost LB: 41915 ... c Min unsat cost LB: 41916 ... c Min unsat cost LB: 41917 ... c Min unsat cost LB: 41918 ... c Min unsat cost LB: 41919 ... c Min unsat cost LB: 41920 ... c Min unsat cost LB: 41921 ... c Min unsat cost LB: 41922 ... c Min unsat cost LB: 41923 ... c Min unsat cost LB: 41924 ... c Min unsat cost LB: 41925 ... c Min unsat cost LB: 41926 ... c Min unsat cost LB: 41927 ... c Min unsat cost LB: 41928 ... c Min unsat cost LB: 41929 ... c Min unsat cost LB: 41930 ... c Min unsat cost LB: 41932 ... c Min unsat cost LB: 41934 ... c Min unsat cost LB: 41935 ... c Min unsat cost LB: 41936 ... c Min unsat cost LB: 41937 ... c Min unsat cost LB: 41938 ... c Min unsat cost LB: 41939 ... c Min unsat cost LB: 41940 ... c Min unsat cost LB: 41941 ... c Min unsat cost LB: 41942 ... c Min unsat cost LB: 41943 ... c Min unsat cost LB: 41944 ... c Min unsat cost LB: 41945 ... c Min unsat cost LB: 41946 ... c Min unsat cost LB: 41947 ... c Min unsat cost LB: 41948 ... c Min unsat cost LB: 41949 ... c Min unsat cost LB: 41950 ... c Min unsat cost LB: 41951 ... c Min unsat cost LB: 41952 ... c Min unsat cost LB: 41953 ... c Min unsat cost LB: 41954 ... c Min unsat cost LB: 41955 ... c Min unsat cost LB: 41991 ... c Min unsat cost LB: 41992 ... c Min unsat cost LB: 41993 ... c Min unsat cost LB: 41994 ... c Min unsat cost LB: 41995 ... c Min unsat cost LB: 41996 ... c Min unsat cost LB: 41997 ... c Min unsat cost LB: 41998 ... c Min unsat cost LB: 41999 ... c Min unsat cost LB: 42000 ... c Min unsat cost LB: 42001 ... c Min unsat cost LB: 42002 ... c Min unsat cost LB: 42003 ... c Min unsat cost LB: 42004 ... c Min unsat cost LB: 42005 ... c Min unsat cost LB: 42006 ... c Min unsat cost LB: 42007 ... c Min unsat cost LB: 42008 ... c Min unsat cost LB: 42009 ... c Min unsat cost LB: 42010 ... c Min unsat cost LB: 42011 ... c Min unsat cost LB: 42012 ... c Min unsat cost LB: 42013 ... c Min unsat cost LB: 42014 ... c Min unsat cost LB: 42015 ... c Min unsat cost LB: 42016 ... c Min unsat cost LB: 42017 ... c Min unsat cost LB: 42018 ... c Min unsat cost LB: 42019 ... c Min unsat cost LB: 42020 ... c Min unsat cost LB: 42021 ... c Min unsat cost LB: 42022 ... c Min unsat cost LB: 42023 ... c Min unsat cost LB: 42024 ... c Min unsat cost LB: 42025 ... c Min unsat cost LB: 42026 ... c Min unsat cost LB: 42027 ... c Min unsat cost LB: 42028 ... c Min unsat cost LB: 42029 ... c Min unsat cost LB: 42030 ... c Min unsat cost LB: 42031 ... c Min unsat cost LB: 42032 ... c Min unsat cost LB: 42033 ... c Min unsat cost LB: 42034 ... c Min unsat cost LB: 42035 ... c Min unsat cost LB: 42036 ... c Min unsat cost LB: 42037 ... c Min unsat cost LB: 42038 ... c Min unsat cost LB: 42039 ... c Min unsat cost LB: 42040 ... c Min unsat cost LB: 42041 ... c Min unsat cost LB: 42042 ... c Min unsat cost LB: 42043 ... c Min unsat cost LB: 42044 ... c Min unsat cost LB: 42045 ... c Min unsat cost LB: 42046 ... c Min unsat cost LB: 42047 ... c Min unsat cost LB: 42048 ... c Min unsat cost LB: 42049 ... c Min unsat cost LB: 42050 ... c Min unsat cost LB: 42051 ... c Min unsat cost LB: 42052 ... c Min unsat cost LB: 42053 ... c Min unsat cost LB: 42054 ... c Min unsat cost LB: 42055 ... c Min unsat cost LB: 42056 ... c Min unsat cost LB: 42057 ... c Min unsat cost LB: 42058 ... c Min unsat cost LB: 42059 ... c Min unsat cost LB: 42060 ... c Min unsat cost LB: 42061 ... c Min unsat cost LB: 42062 ... c Min unsat cost LB: 42063 ... c Min unsat cost LB: 42064 ... c Min unsat cost LB: 42065 ... c Min unsat cost LB: 42066 ... c Min unsat cost LB: 42067 ... c Min unsat cost LB: 42068 ... c Min unsat cost LB: 42069 ... c Min unsat cost LB: 42070 ... c Min unsat cost LB: 42071 ... c Min unsat cost LB: 42072 ... c Min unsat cost LB: 42073 ... c Min unsat cost LB: 42074 ... c Min unsat cost LB: 42075 ... c Min unsat cost LB: 42076 ... c Min unsat cost LB: 42077 ... c Min unsat cost LB: 42078 ... c Min unsat cost LB: 42079 ... c Min unsat cost LB: 42080 ... c Min unsat cost LB: 42081 ... c Min unsat cost LB: 42082 ... c Min unsat cost LB: 42083 ... c Min unsat cost LB: 42084 ... c Min unsat cost LB: 42085 ... c Min unsat cost LB: 42086 ... c Min unsat cost LB: 42087 ... c Min unsat cost LB: 42088 ... c Min unsat cost LB: 42089 ... c Min unsat cost LB: 42090 ... c Min unsat cost LB: 42091 ... c Min unsat cost LB: 42092 ... c Min unsat cost LB: 42093 ... c Min unsat cost LB: 42094 ... c Min unsat cost LB: 42095 ... c Min unsat cost LB: 42096 ... c Min unsat cost LB: 42097 ... c Min unsat cost LB: 42098 ... c Min unsat cost LB: 42099 ... c Min unsat cost LB: 42100 ... c Min unsat cost LB: 42101 ... c Min unsat cost LB: 42102 ... c Min unsat cost LB: 42103 ... c Min unsat cost LB: 42104 ... c Min unsat cost LB: 42105 ... c Min unsat cost LB: 42106 ... c Min unsat cost LB: 42107 ... c Min unsat cost LB: 42108 ... c Min unsat cost LB: 42109 ... c Min unsat cost LB: 42110 ... c Min unsat cost LB: 42111 ... c Min unsat cost LB: 42112 ... c Min unsat cost LB: 42113 ... c Min unsat cost LB: 42114 ... c Min unsat cost LB: 42115 ... c Min unsat cost LB: 42116 ... c Min unsat cost LB: 42117 ... c Min unsat cost LB: 42118 ... c Min unsat cost LB: 42119 ... c Min unsat cost LB: 42120 ... c Min unsat cost LB: 42121 ... c Min unsat cost LB: 42122 ... c Min unsat cost LB: 42123 ... c Min unsat cost LB: 42124 ... c Min unsat cost LB: 42125 ... c Min unsat cost LB: 42126 ... c Min unsat cost LB: 42127 ... c Min unsat cost LB: 42128 ... c Min unsat cost LB: 42129 ... c Min unsat cost LB: 42130 ... c Min unsat cost LB: 42131 ... c Min unsat cost LB: 42132 ... c Min unsat cost LB: 42133 ... c Min unsat cost LB: 42134 ... c Min unsat cost LB: 42135 ... c Min unsat cost LB: 42136 ... c Min unsat cost LB: 42137 ... c Min unsat cost LB: 42138 ... c Min unsat cost LB: 42139 ... c Min unsat cost LB: 42140 ... c Min unsat cost LB: 42141 ... c Min unsat cost LB: 42142 ... c Min unsat cost LB: 42143 ... c Min unsat cost LB: 42144 ... c Min unsat cost LB: 42145 ... c Min unsat cost LB: 42146 ... c Min unsat cost LB: 42147 ... c Min unsat cost LB: 42148 ... c Min unsat cost LB: 42149 ... c Min unsat cost LB: 42150 ... c Min unsat cost LB: 42151 ... c Min unsat cost LB: 42152 ... c Min unsat cost LB: 42153 ... c Min unsat cost LB: 42154 ... c Min unsat cost LB: 42155 ... c Min unsat cost LB: 42156 ... c Min unsat cost LB: 42157 ... c Min unsat cost LB: 42158 ... c Min unsat cost LB: 42159 ... c Min unsat cost LB: 42160 ... c Min unsat cost LB: 42161 ... c Min unsat cost LB: 42162 ... c Min unsat cost LB: 42163 ... c Min unsat cost LB: 42164 ... c Min unsat cost LB: 42165 ... c Min unsat cost LB: 42166 ... c Min unsat cost LB: 42167 ... c Min unsat cost LB: 42168 ... c Min unsat cost LB: 42169 ... c Min unsat cost LB: 42170 ... c Min unsat cost LB: 42171 ... c Min unsat cost LB: 42172 ... c Min unsat cost LB: 42173 ... c Min unsat cost LB: 42174 ... c Min unsat cost LB: 42175 ... c Min unsat cost LB: 42176 ... c Min unsat cost LB: 42177 ... c Min unsat cost LB: 42178 ... c Min unsat cost LB: 42179 ... c Min unsat cost LB: 42180 ... c Min unsat cost LB: 42181 ... c Min unsat cost LB: 42182 ... c Min unsat cost LB: 42183 ... c Min unsat cost LB: 42184 ... c Min unsat cost LB: 42185 ... c Min unsat cost LB: 42186 ... c Min unsat cost LB: 42187 ... c Min unsat cost LB: 42188 ... c Min unsat cost LKilled 1814.201u 5.548s 54:25.57 55.7% 0+0k 0+0io 0pf+0w