Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_130_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0003.txt.wcnf *** c c Min unsat cost LB: 850 ... c Min unsat cost LB: 1039 ... c Min unsat cost LB: 1946 ... c Min unsat cost LB: 2078 ... c Min unsat cost LB: 2985 ... c Min unsat cost LB: 3499 ... c Min unsat cost LB: 4400 ... c Min unsat cost LB: 5307 ... c Min unsat cost LB: 6114 ... c Min unsat cost LB: 6955 ... c Min unsat cost LB: 7862 ... c Min unsat cost LB: 8759 ... c Min unsat cost LB: 8934 ... c Min unsat cost LB: 9855 ... c Min unsat cost LB: 9861 ... c Min unsat cost LB: 10636 ... c Min unsat cost LB: 10764 ... c Min unsat cost LB: 10768 ... c Min unsat cost LB: 11575 ... c Min unsat cost LB: 11615 ... c Min unsat cost LB: 12462 ... c Min unsat cost LB: 12759 ... c Min unsat cost LB: 12910 ... c Min unsat cost LB: 13757 ... c Min unsat cost LB: 14267 ... c Min unsat cost LB: 15174 ... c Min unsat cost LB: 15319 ... c Min unsat cost LB: 15682 ... c Min unsat cost LB: 16609 ... c Min unsat cost LB: 16839 ... c Min unsat cost LB: 17385 ... c Min unsat cost LB: 18025 ... c Min unsat cost LB: 18295 ... c Min unsat cost LB: 19479 ... c Min unsat cost LB: 19836 ... c Min unsat cost LB: 20243 ... c Min unsat cost LB: 20793 ... c Min unsat cost LB: 21060 ... c Min unsat cost LB: 21423 ... c Min unsat cost LB: 21632 ... c Min unsat cost LB: 22728 ... c Min unsat cost LB: 23585 ... c Min unsat cost LB: 23673 ... c Min unsat cost LB: 23805 ... c Min unsat cost LB: 23951 ... c Min unsat cost LB: 24858 ... c Min unsat cost LB: 25442 ... c Min unsat cost LB: 25702 ... c Min unsat cost LB: 25987 ... c Min unsat cost LB: 26290 ... c Min unsat cost LB: 26376 ... c Min unsat cost LB: 26960 ... c Min unsat cost LB: 27092 ... c Min unsat cost LB: 27411 ... c Min unsat cost LB: 28318 ... c Min unsat cost LB: 28687 ... c Min unsat cost LB: 28797 ... c Min unsat cost LB: 28837 ... c Min unsat cost LB: 29744 ... c Min unsat cost LB: 29818 ... c Min unsat cost LB: 30390 ... c Min unsat cost LB: 30904 ... c Min unsat cost LB: 31758 ... c Min unsat cost LB: 32091 ... c Min unsat cost LB: 32858 ... c Min unsat cost LB: 33188 ... c Min unsat cost LB: 33573 ... c Min unsat cost LB: 33870 ... c Min unsat cost LB: 34189 ... c Min unsat cost LB: 34834 ... c Min unsat cost LB: 34898 ... c Min unsat cost LB: 35492 ... c Min unsat cost LB: 36067 ... c Min unsat cost LB: 36970 ... c Min unsat cost LB: 37453 ... c Min unsat cost LB: 37804 ... c Min unsat cost LB: 38098 ... c Min unsat cost LB: 38318 ... c Min unsat cost LB: 39154 ... c Min unsat cost LB: 39445 ... c Min unsat cost LB: 39793 ... c Min unsat cost LB: 39867 ... c Min unsat cost LB: 39898 ... c Min unsat cost LB: 40734 ... c Min unsat cost LB: 41584 ... c Min unsat cost LB: 41844 ... c Min unsat cost LB: 42270 ... c Min unsat cost LB: 42459 ... c Min unsat cost LB: 42646 ... c Min unsat cost LB: 43356 ... c Min unsat cost LB: 43629 ... c Min unsat cost LB: 44223 ... c Min unsat cost LB: 44468 ... c Min unsat cost LB: 44831 ... c Min unsat cost LB: 45495 ... c Min unsat cost LB: 45561 ... c Min unsat cost LB: 45758 ... c Min unsat cost LB: 45865 ... c Min unsat cost LB: 45959 ... c Min unsat cost LB: 46527 ... c Min unsat cost LB: 46724 ... c Min unsat cost LB: 46933 ... c Min unsat cost LB: 46981 ... c Min unsat cost LB: 46996 ... c Min unsat cost LB: 47056 ... c Min unsat cost LB: 47106 ... c Min unsat cost LB: 47891 ... c Min unsat cost LB: 47941 ... c Min unsat cost LB: 48111 ... c Min unsat cost LB: 48123 ... c Min unsat cost LB: 48130 ... c Min unsat cost LB: 48133 ... c Min unsat cost LB: 48332 ... c Min unsat cost LB: 48584 ... c Min unsat cost LB: 48854 ... c Min unsat cost LB: 48876 ... c Min unsat cost LB: 48916 ... c Min unsat cost LB: 49213 ... c Min unsat cost LB: 49301 ... c Min unsat cost LB: 49355 ... c Min unsat cost LB: 49363 ... c Min unsat cost LB: 49858 ... c Min unsat cost LB: 50101 ... c Min unsat cost LB: 50196 ... c Min unsat cost LB: 50453 ... c Min unsat cost LB: 50455 ... c Min unsat cost LB: 50490 ... c Min unsat cost LB: 50852 ... c Min unsat cost LB: 50857 ... c Min unsat cost LB: 51032 ... c Min unsat cost LB: 51616 ... c Min unsat cost LB: 51803 ... c Min unsat cost LB: 51894 ... c Min unsat cost LB: 51935 ... c Min unsat cost LB: 51960 ... c Min unsat cost LB: 52089 ... c Min unsat cost LB: 52160 ... c Min unsat cost LB: 52339 ... c Min unsat cost LB: 52643 ... c Min unsat cost LB: 53484 ... c Min unsat cost LB: 53546 ... c Min unsat cost LB: 53678 ... c Min unsat cost LB: 53762 ... c Min unsat cost LB: 53774 ... c Min unsat cost LB: 53879 ... c Min unsat cost LB: 53958 ... c Min unsat cost LB: 54090 ... c Min unsat cost LB: 54180 ... c Min unsat cost LB: 54467 ... c Min unsat cost LB: 54712 ... c Min unsat cost LB: 54716 ... c Min unsat cost LB: 54722 ... c Min unsat cost LB: 54828 ... c Min unsat cost LB: 54916 ... c Min unsat cost LB: 54923 ... c Min unsat cost LB: 54980 ... c Min unsat cost LB: 54983 ... c Min unsat cost LB: 55020 ... c Min unsat cost LB: 55173 ... c Min unsat cost LB: 55182 ... c Min unsat cost LB: 55298 ... c Min unsat cost LB: 55334 ... c Min unsat cost LB: 55423 ... c Min unsat cost LB: 55438 ... c Min unsat cost LB: 55454 ... c Min unsat cost LB: 55498 ... c Min unsat cost LB: 55540 ... c Min unsat cost LB: 55660 ... c Min unsat cost LB: 55782 ... c Min unsat cost LB: 55793 ... c Min unsat cost LB: 55865 ... c Min unsat cost LB: 55909 ... c Min unsat cost LB: 55911 ... c Min unsat cost LB: 56079 ... c Min unsat cost LB: 56084 ... c Min unsat cost LB: 56107 ... c Min unsat cost LB: 56291 ... c Min unsat cost LB: 56442 ... c Min unsat cost LB: 56956 ... c Min unsat cost LB: 57138 ... c Min unsat cost LB: 57518 ... c Min unsat cost LB: 57520 ... c Min unsat cost LB: 57574 ... c Min unsat cost LB: 57650 ... c Min unsat cost LB: 57679 ... c Min unsat cost LB: 57753 ... c Min unsat cost LB: 57790 ... c Min unsat cost LB: 57939 ... c Min unsat cost LB: 57985 ... c Min unsat cost LB: 57989 ... c Min unsat cost LB: 58004 ... c Min unsat cost LB: 58248 ... c Min unsat cost LB: 58376 ... c Min unsat cost LB: 58408 ... c Min unsat cost LB: 58415 ... c Min unsat cost LB: 58505 ... c Min unsat cost LB: 58733 ... c Min unsat cost LB: 58986 ... c Min unsat cost LB: 59024 ... c Min unsat cost LB: 59169 ... c Min unsat cost LB: 59209 ... c Min unsat cost LB: 59406 ... c Min unsat cost LB: 59564 ... c Min unsat cost LB: 59574 ... c Min unsat cost LB: 59716 ... c Min unsat cost LB: 59954 ... c Min unsat cost LB: 60131 ... c Min unsat cost LB: 60205 ... c Min unsat cost LB: 60288 ... c Min unsat cost LB: 60307 ... c Min unsat cost LB: 60366 ... c Min unsat cost LB: 60394 ... c Min unsat cost LB: 60397 ... c Min unsat cost LB: 60527 ... c Min unsat cost LB: 60782 ... c Min unsat cost LB: 60898 ... c Min unsat cost LB: 60952 ... c Min unsat cost LB: 61195 ... c Min unsat cost LB: 61443 ... c Min unsat cost LB: 61507 ... c Min unsat cost LB: 61538 ... c Min unsat cost LB: 61575 ... c Min unsat cost LB: 61587 ... c Min unsat cost LB: 61619 ... c Min unsat cost LB: 61629 ... c Min unsat cost LB: 61669 ... c Min unsat cost LB: 61717 ... c Min unsat cost LB: 61736 ... c Min unsat cost LB: 61806 ... c Min unsat cost LB: 61826 ... c Min unsat cost LB: 61854 ... c Min unsat cost LB: 62217 ... c Min unsat cost LB: 62225 ... c Min unsat cost LB: 62229 ... c Min unsat cost LB: 62271 ... c Min unsat cost LB: 62278 ... c Min unsat cost LB: 62287 ... c Min unsat cost LB: 62370 ... c Min unsat cost LB: 62371 ... c Min unsat cost LB: 62448 ... c Min unsat cost LB: 62506 ... c Min unsat cost LB: 62530 ... c Min unsat cost LB: 62534 ... c Min unsat cost LB: 62535 ... c Min unsat cost LB: 62570 ... c Min unsat cost LB: 62571 ... c Min unsat cost LB: 62587 ... c Min unsat cost LB: 62590 ... c Min unsat cost LB: 62601 ... c Min unsat cost LB: 62605 ... c Min unsat cost LB: 62632 ... c Min unsat cost LB: 62709 ... c Min unsat cost LB: 62748 ... c Min unsat cost LB: 62751 ... c Min unsat cost LB: 62781 ... c Min unsat cost LB: 62834 ... c Min unsat cost LB: 62845 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 62854 ... c Min unsat cost LB: 62858 ... c Min unsat cost LB: 62860 ... c Min unsat cost LB: 62870 ... c Min unsat cost LB: 62965 ... c Min unsat cost LB: 62966 ... c Min unsat cost LB: 63037 ... c Min unsat cost LB: 63042 ... c Min unsat cost LB: 63069 ... c Min unsat cost LB: 63080 ... c Min unsat cost LB: 63081 ... c Min unsat cost LB: 63099 ... c Min unsat cost LB: 63101 ... c Min unsat cost LB: 63104 ... c Min unsat cost LB: 63109 ... c Min unsat cost LB: 63110 ... c Min unsat cost LB: 63113 ... c Min unsat cost LB: 63170 ... c Min unsat cost LB: 63181 ... c Min unsat cost LB: 63185 ... c Min unsat cost LB: 63188 ... c Min unsat cost LB: 63191 ... c Min unsat cost LB: 63212 ... c Min unsat cost LB: 63214 ... c Min unsat cost LB: 63225 ... c Min unsat cost LB: 63260 ... c Min unsat cost LB: 63275 ... c Min unsat cost LB: 63276 ... c Min unsat cost LB: 63310 ... c Min unsat cost LB: 63400 ... c Min unsat cost LB: 63528 ... c Min unsat cost LB: 63530 ... c Min unsat cost LB: 63532 ... c Min unsat cost LB: 63536 ... c Min unsat cost LB: 63537 ... c Min unsat cost LB: 63538 ... c Min unsat cost LB: 63573 ... c Min unsat cost LB: 63574 ... c Min unsat cost LB: 63585 ... c Min unsat cost LB: 63618 ... c Min unsat cost LB: 63760 ... c Min unsat cost LB: 63767 ... c Min unsat cost LB: 63811 ... c Min unsat cost LB: 63821 ... c Min unsat cost LB: 63823 ... c Min unsat cost LB: 63833 ... c Min unsat cost LB: 63842 ... c Min unsat cost LB: 63843 ... c Min unsat cost LB: 63851 ... c Min unsat cost LB: 63853 ... c Min unsat cost LB: 63855 ... c Min unsat cost LB: 63857 ... c Min unsat cost LB: 63865 ... c Min unsat cost LB: 63866 ... c Min unsat cost LB: 63874 ... c Min unsat cost LB: 63890 ... c Min unsat cost LB: 63901 ... c Min unsat cost LB: 63907 ... c Min unsat cost LB: 63969 ... c Min unsat cost LB: 63974 ... c Min unsat cost LB: 63975 ... c Min unsat cost LB: 63976 ... c Min unsat cost LB: 63981 ... c Min unsat cost LB: 63992 ... c Min unsat cost LB: 63996 ... c Min unsat cost LB: 64000 ... c Min unsat cost LB: 64007 ... c Min unsat cost LB: 64008 ... c Min unsat cost LB: 64022 ... c Min unsat cost LB: 64023 ... c Min unsat cost LB: 64061 ... c Min unsat cost LB: 64070 ... c Min unsat cost LB: 64085 ... c Min unsat cost LB: 64089 ... c Min unsat cost LB: 64092 ... c Min unsat cost LB: 64097 ... c Min unsat cost LB: 64108 ... c Min unsat cost LB: 64112 ... c Min unsat cost LB: 64115 ... c Min unsat cost LB: 64117 ... c Min unsat cost LB: 64122 ... c Min unsat cost LB: 64128 ... c Min unsat cost LB: 64131 ... c Min unsat cost LB: 64134 ... c Min unsat cost LB: 64137 ... c Min unsat cost LB: 64138 ... c Min unsat cost LB: 64140 ... c Min unsat cost LB: 64147 ... c Min unsat cost LB: 64157 ... c Min unsat cost LB: 64158 ... c Min unsat cost LB: 64159 ... c Min unsat cost LB: 64169 ... c Min unsat cost LB: 64181 ... c Min unsat cost LB: 64182 ... c Min unsat cost LB: 64190 ... c Min unsat cost LB: 64197 ... c Min unsat cost LB: 64205 ... c Min unsat cost LB: 64249 ... c Min unsat cost LB: 64250 ... c Min unsat cost LB: 64251 ... c Min unsat cost LB: 64252 ... c Min unsat cost LB: 64253 ... c Min unsat cost LB: 64279 ... c Min unsat cost LB: 64281 ... c Min unsat cost LB: 64295 ... c Min unsat cost LB: 64310 ... c Min unsat cost LB: 64350 ... c Min unsat cost LB: 64358 ... c Min unsat cost LB: 64360 ... c Min unsat cost LB: 64362 ... c Min unsat cost LB: 64368 ... c Min unsat cost LB: 64370 ... c Min unsat cost LB: 64400 ... c Min unsat cost LB: 64401 ... c Min unsat cost LB: 64407 ... c Min unsat cost LB: 64408 ... c Min unsat cost LB: 64433 ... c Min unsat cost LB: 64437 ... c Min unsat cost LB: 64440 ... c Min unsat cost LB: 64498 ... c Min unsat cost LB: 64501 ... c Min unsat cost LB: 64504 ... c Min unsat cost LB: 64505 ... c Min unsat cost LB: 64506 ... c Min unsat cost LB: 64509 ... c Min unsat cost LB: 64510 ... c Min unsat cost LB: 64511 ... c Min unsat cost LB: 64513 ... c Min unsat cost LB: 64537 ... c Min unsat cost LB: 64567 ... c Min unsat cost LB: 64591 ... c Min unsat cost LB: 64592 ... c Min unsat cost LB: 64593 ... c Min unsat cost LB: 64594 ... c Min unsat cost LB: 64595 ... c Min unsat cost LB: 64603 ... c Min unsat cost LB: 64650 ... c Min unsat cost LB: 64651 ... c Min unsat cost LB: 64652 ... c Min unsat cost LB: 64653 ... c Min unsat cost LB: 64655 ... c Min unsat cost LB: 64657 ... c Min unsat cost LB: 64658 ... c Min unsat cost LB: 64660 ... c Min unsat cost LB: 64706 ... c Min unsat cost LB: 64708 ... c Min unsat cost LB: 64709 ... c Min unsat cost LB: 64711 ... c Min unsat cost LB: 64714 ... c Min unsat cost LB: 64715 ... c Min unsat cost LB: 64739 ... c Min unsat cost LB: 64747 ... c Min unsat cost LB: 64748 ... c Min unsat cost LB: 64750 ... c Min unsat cost LB: 64751 ... c Min unsat cost LB: 64752 ... c Min unsat cost LB: 64753 ... c Min unsat cost LB: 64756 ... c Min unsat cost LB: 64757 ... c Min unsat cost LB: 64763 ... c Min unsat cost LB: 64766 ... c Min unsat cost LB: 64868 ... c Min unsat cost LB: 64877 ... c Min unsat cost LB: 64891 ... c Min unsat cost LB: 64910 ... c Min unsat cost LB: 64930 ... c Min unsat cost LB: 64931 ... c Min unsat cost LB: 64939 ... c Min unsat cost LB: 64941 ... c Min unsat cost LB: 64958 ... c Min unsat cost LB: 64959 ... c Min unsat cost LB: 64973 ... c Min unsat cost LB: 64974 ... c Min unsat cost LB: 64975 ... c Min unsat cost LB: 64981 ... c Min unsat cost LB: 64992 ... c Min unsat cost LB: 64993 ... c Min unsat cost LB: 64996 ... c Min unsat cost LB: 64998 ... c Min unsat cost LB: 65001 ... c Min unsat cost LB: 65008 ... c Min unsat cost LB: 65009 ... c Min unsat cost LB: 65010 ... c Min unsat cost LB: 65013 ... c Min unsat cost LB: 65016 ... c Min unsat cost LB: 65017 ... c Min unsat cost LB: 65018 ... c Min unsat cost LB: 65019 ... c Min unsat cost LB: 65021 ... c Min unsat cost LB: 65022 ... c Min unsat cost LB: 65024 ... c Min unsat cost LB: 65027 ... c Min unsat cost LB: 65030 ... c Min unsat cost LB: 65036 ... c Min unsat cost LB: 65037 ... c Min unsat cost LB: 65038 ... c Min unsat cost LB: 65040 ... c Min unsat cost LB: 65041 ... c Min unsat cost LB: 65042 ... c Min unsat cost LB: 65043 ... c Min unsat cost LB: 65044 ... c Min unsat cost LB: 65045 ... c Min unsat cost LB: 65046 ... c Min unsat cost LB: 65048 ... c Min unsat cost LB: 65049 ... c Min unsat cost LB: 65050 ... c Min unsat cost LB: 65051 ... c Min unsat cost LB: 65052 ... c Min unsat cost LB: 65053 ... c Min unsat cost LB: 65054 ... c Min unsat cost LB: 65055 ... c Min unsat cost LB: 65056 ... c Min unsat cost LB: 65057 ... c Min unsat cost LB: 65058 ... c Min unsat cost LB: 65059 ... c Min unsat cost LB: 65060 ... c Min unsat cost LB: 65063 ... c Min unsat cost LB: 65065 ... c Min unsat cost LB: 65070 ... c Min unsat cost LB: 65071 ... c Min unsat cost LB: 65073 ... c Min unsat cost LB: 65077 ... c Min unsat cost LB: 65081 ... c Min unsat cost LB: 65088 ... c Min unsat cost LB: 65097 ... c Min unsat cost LB: 65098 ... c Min unsat cost LB: 65102 ... c Min unsat cost LB: 65105 ... c Min unsat cost LB: 65107 ... c Min unsat cost LB: 65111 ... c Min unsat cost LB: 65130 ... c Min unsat cost LB: 65131 ... c Min unsat cost LB: 65133 ... c Min unsat cost LB: 65134 ... c Min unsat cost LB: 65137 ... c Min unsat cost LB: 65138 ... c Min unsat cost LB: 65139 ... c Min unsat cost LB: 65140 ... c Min unsat cost LB: 65141 ... c Min unsat cost LB: 65142 ... c Min unsat cost LB: 65145 ... c Min unsat cost LB: 65147 ... c Min unsat cost LB: 65149 ... c Min unsat cost LB: 65159 ... c Min unsat cost LB: 65160 ... c Min unsat cost LB: 65166 ... c Min unsat cost LB: 65167 ... c Min unsat cost LB: 65169 ... c Min unsat cost LB: 65173 ... c Min unsat cost LB: 65178 ... c Min unsat cost LB: 65179 ... c Min unsat cost LB: 65180 ... c Min unsat cost LB: 65182 ... c Min unsat cost LB: 65208 ... c Min unsat cost LB: 65209 ... c Min unsat cost LB: 65210 ... c Min unsat cost LB: 65217 ... c Min unsat cost LB: 65218 ... c Min unsat cost LB: 65219 ... c Min unsat cost LB: 65220 ... c Min unsat cost LB: 65221 ... c Min unsat cost LB: 65224 ... c Min unsat cost LB: 65225 ... c Min unsat cost LB: 65226 ... c Min unsat cost LB: 65227 ... c Min unsat cost LB: 65228 ... c Min unsat cost LB: 65240 ... c Min unsat cost LB: 65259 ... c Min unsat cost LB: 65287 ... c Min unsat cost LB: 65371 ... c Min unsat cost LB: 65399 ... c Min unsat cost LB: 65408 ... c Min unsat cost LB: 65416 ... c Min unsat cost LB: 65419 ... c Min unsat cost LB: 65421 ... c Min unsat cost LB: 65423 ... c Min unsat cost LB: 65429 ... c Min unsat cost LB: 65430 ... c Min unsat cost LB: 65431 ... c Min unsat cost LB: 65437 ... c Min unsat cost LB: 65438 ... c Min unsat cost LB: 65443 ... c Min unsat cost LB: 65446 ... c Min unsat cost LB: 65447 ... c Min unsat cost LB: 65448 ... c Min unsat cost LB: 65449 ... c Min unsat cost LB: 65450 ... c Min unsat cost LB: 65456 ... c Min unsat cost LB: 65458 ... c Min unsat cost LB: 65465 ... c Min unsat cost LB: 65468 ... c Min unsat cost LB: 65470 ... c Min unsat cost LB: 65474 ... c Min unsat cost LB: 65475 ... c Min unsat cost LB: 65478 ... c Min unsat cost LB: 65480 ... c Min unsat cost LB: 65482 ... c Min unsat cost LB: 65552 ... c Min unsat cost LB: 65569 ... c Min unsat cost LB: 65571 ... c Min unsat cost LB: 65572 ... c Min unsat cost LB: 65578 ... c Min unsat cost LB: 65579 ... c Min unsat cost LB: 65580 ... c Min unsat cost LB: 65581 ... c Min unsat cost LB: 65582 ... c Min unsat cost LB: 65583 ... c Min unsat cost LB: 65584 ... c Min unsat cost LB: 65586 ... c Min unsat cost LB: 65587 ... c Min unsat cost LB: 65588 ... c Min unsat cost LB: 65590 ... c Min unsat cost LB: 65592 ... c Min unsat cost LB: 65595 ... c Min unsat cost LB: 65597 ... c Min unsat cost LB: 65598 ... c Min unsat cost LB: 65609 ... c Min unsat cost LB: 65621 ... c Min unsat cost LB: 65639 ... c Min unsat cost LB: 65649 ... c Min unsat cost LB: 65651 ... c Min unsat cost LB: 65652 ... c Min unsat cost LB: 65654 ... c Min unsat cost LB: 65668 ... c Min unsat cost LB: 65717 ... c Min unsat cost LB: 65720 ... c Min unsat cost LB: 65745 ... c Min unsat cost LB: 65746 ... c Min unsat cost LB: 65747 ... c Min unsat cost LB: 65748 ... c Min unsat cost LB: 65749 ... c Min unsat cost LB: 65753 ... c Min unsat cost LB: 65754 ... c Min unsat cost LB: 65755 ... c Min unsat cost LB: 65756 ... c Min unsat cost LB: 65757 ... c Min unsat cost LB: 65758 ... c Min unsat cost LB: 65759 ... c Min unsat cost LB: 65760 ... c Min unsat cost LB: 65780 ... c Min unsat cost LB: 65784 ... c Min unsat cost LB: 65786 ... c Min unsat cost LB: 65787 ... c Min unsat cost LB: 65788 ... c Min unsat cost LB: 65789 ... c Min unsat cost LB: 65790 ... c Min unsat cost LB: 65791 ... c Min unsat cost LB: 65792 ... c Min unsat cost LB: 65793 ... c Min unsat cost LB: 65794 ... c Min unsat cost LB: 65796 ... c Min unsat cost LB: 65798 ... c Min unsat cost LB: 65799 ... c Min unsat cost LB: 65800 ... c Min unsat cost LB: 65801 ... c Min unsat cost LB: 65802 ... c Min unsat cost LB: 65803 ... c Min unsat cost LB: 65804 ... c Min unsat cost LB: 65806 ... c Min unsat cost LB: 65808 ... c Min unsat cost LB: 65809 ... c Min unsat cost LB: 65810 ... c Min unsat cost LB: 65811 ... c Min unsat cost LB: 65812 ... c Min unsat cost LB: 65813 ... c Min unsat cost LB: 65814 ... c Min unsat cost LB: 65816 ... c Min unsat cost LB: 65817 ... c Min unsat cost LB: 65818 ... c Min unsat cost LB: 65820 ... c Min unsat cost LB: 65821 ... c Min unsat cost LB: 65822 ... c Min unsat cost LB: 65823 ... c Min unsat cost LB: 65824 ... c Min unsat cost LB: 65825 ... c Min unsat cost LB: 65828 ... c Min unsat cost LB: 65829 ... c Min unsat cost LB: 65830 ... c Min unsat cost LB: 65832 ... c Min unsat cost LB: 65833 ... c Min unsat cost LB: 65834 ... c Min unsat cost LB: 65835 ... c Min unsat cost LB: 65836 ... c Min unsat cost LB: 65837 ... c Min unsat cost LB: 65838 ... c Min unsat cost LB: 65839 ... c Min unsat cost LB: 65840 ... c Min unsat cost LB: 65841 ... c Min unsat cost LB: 65864 ... c Min unsat cost LB: 65868 ... c Min unsat cost LB: 65869 ... c Min unsat cost LB: 65875 ... c Min unsat cost LB: 65899 ... c Min unsat cost LB: 65900 ... c Min unsat cost LB: 65901 ... c Min unsat cost LB: 65902 ... c Min unsat cost LB: 65903 ... c Min unsat cost LB: 65904 ... c Min unsat cost LB: 65905 ... c Min unsat cost LB: 65906 ... c Min unsat cost LB: 65908 ... c Min unsat cost LB: 65911 ... c Min unsat cost LB: 65912 ... c Min unsat cost LB: 65914 ... c Min unsat cost LB: 65915 ... c Min unsat cost LB: 65916 ... c Min unsat cost LB: 65917 ... c Min unsat cost LB: 65918 ... c Min unsat cost LB: 65923 ... c Min unsat cost LB: 65924 ... c Min unsat cost LB: 65925 ... c Min unsat cost LB: 65928 ... c Min unsat cost LB: 65929 ... c Min unsat cost LB: 65930 ... c Min unsat cost LB: 65931 ... c Min unsat cost LB: 65932 ... c Min unsat cost LB: 65933 ... c Min unsat cost LB: 65934 ... c Min unsat cost LB: 65935 ... c Min unsat cost LB: 65936 ... c Min unsat cost LB: 65937 ... c Min unsat cost LB: 65938 ... c Min unsat cost LB: 65939 ... c Min unsat cost LB: 65941 ... c Min unsat cost LB: 65943 ... c Min unsat cost LB: 65963 ... c Min unsat cost LB: 65964 ... c Min unsat cost LB: 65965 ... c Min unsat cost LB: 65966 ... c Min unsat cost LB: 65967 ... c Min unsat cost LB: 65980 ... c Min unsat cost LB: 65981 ... c Min unsat cost LB: 65982 ... c Min unsat cost LB: 65983 ... c Min unsat cost LB: 65984 ... c Min unsat cost LB: 65985 ... c Min unsat cost LB: 65986 ... c Min unsat cost LB: 65987 ... c Min unsat cost LB: 65988 ... c Min unsat cost LB: 65989 ... c Min unsat cost LB: 65990 ... c Min unsat cost LB: 65991 ... c Min unsat cost LB: 65992 ... c Min unsat cost LB: 65993 ... c Min unsat cost LB: 65994 ... c Min unsat cost LB: 65995 ... c Min unsat cost LB: 65996 ... c Min unsat cost LB: 65997 ... c Min unsat cost LB: 65998 ... c Min unsat cost LB: 65999 ... c Min unsat cost LB: 66000 ... c Min unsat cost LB: 66001 ... c Min unsat cost LB: 66002 ... c Min unsat cost LB: 66003 ... c Min unsat cost LB: 66004 ... c Min unsat cost LB: 66005 ... c Min unsat cost LB: 66006 ... c Min unsat cost LB: 66007 ... c Min unsat cost LB: 66033 ... c Min unsat cost LB: 66035 ... c Min unsat cost LB: 66036 ... c Min unsat cost LB: 66040 ... c Min unsat cost LB: 66050 ... c Min unsat cost LB: 66051 ... c Min unsat cost LB: 66052 ... c Min unsat cost LB: 66057 ... c Min unsat cost LB: 66059 ... c Min unsat cost LB: 66060 ... c Min unsat cost LB: 66061 ... c Min unsat cost LB: 66063 ... c Min unsat cost LB: 66068 ... c Min unsat cost LB: 66069 ... c Min unsat cost LB: 66070 ... c Min unsat cost LB: 66071 ... c Min unsat cost LB: 66072 ... c Min unsat cost LB: 66073 ... c Min unsat cost LB: 66074 ... c Min unsat cost LB: 66075 ... c Min unsat cost LB: 66076 ... c Min unsat cost LB: 66077 ... c Min unsat cost LB: 66078 ... c Min unsat cost LB: 66079 ... c Min unsat cost LB: 66080 ... c Min unsat cost LB: 66081 ... c Min unsat cost LB: 66082 ... c Min unsat cost LB: 66083 ... c Min unsat cost LB: 66084 ... c Min unsat cost LB: 66085 ... c Min unsat cost LB: 66086 ... c Min unsat cost LB: 66087 ... c Min unsat cost LB: 66088 ... c Min unsat cost LB: 66089 ... c Min unsat cost LB: 66090 ... c Min unsat cost LB: 66091 ... c Min unsat cost LB: 66092 ... c Min unsat cost LB: 66093 ... c Min unsat cost LB: 66094 ... c Min unsat cost LB: 66095 ... c Min unsat cost LB: 66096 ... c Min unsat cost LB: 66102 ... c Min unsat cost LB: 66103 ... c Min unsat cost LB: 66104 ... c Min unsat cost LB: 66105 ... c Min unsat cost LB: 66106 ... c Min unsat cost LB: 66107 ... c Min unsat cost LB: 66108 ... c Min unsat cost LB: 66109 ... c Min unsat cost LB: 66110 ... c Min unsat cost LB: 66111 ... c Min unsat cost LB: 66112 ... c Min unsat cost LB: 66113 ... c Min unsat cost LB: 66114 ... c Min unsat cost LB: 66115 ... c Min unsat cost LB: 66116 ... c Min unsat cost LB: 66117 ... c Min unsat cost LB: 66118 ... c Min unsat cost LB: 66119 ... c Min unsat cost LB: 66120 ... c Min unsat cost LB: 66121 ... c Min unsat cost LB: 66122 ... c Min unsat cost LB: 66123 ... c Min unsat cost LB: 66135 ... c Min unsat cost LB: 66136 ... c Min unsat cost LB: 66140 ... c Min unsat cost LB: 66142 ... c Min unsat cost LB: 66145 ... c Min unsat cost LB: 66146 ... c Min unsat cost LB: 66149 ... c Min unsat cost LB: 66152 ... c Min unsat cost LB: 66158 ... c Min unsat cost LB: 66159 ... c Min unsat cost LB: 66161 ... c Min unsat cost LB: 66162 ... c Min unsat cost LB: 66163 ... c Min unsat cost LB: 66164 ... c Min unsat cost LB: 66165 ... c Min unsat cost LB: 66166 ... c Min unsat cost LB: 66167 ... c Min unsat cost LB: 66168 ... c Min unsat cost LB: 66170 ... c Min unsat cost LB: 66171 ... c Min unsat cost LB: 66173 ... c Min unsat cost LB: 66286 ... c Min unsat cost LB: 66287 ... c Min unsat cost LB: 66288 ... c Min unsat cost LB: 66289 ... c Min unsat cost LB: 66290 ... c Min unsat cost LB: 66291 ... c Min unsat cost LB: 66292 ... c Min unsat cost LB: 66293 ... c Min unsat cost LB: 66294 ... c Min unsat cost LB: 66295 ... c Min unsat cost LB: 66296 ... c Min unsat cost LB: 66297 ... c Min unsat cost LB: 66298 ... c Min unsat cost LB: 66299 ... c Min unsat cost LB: 66300 ... c Min unsat cost LB: 66302 ... c Min unsat cost LB: 66303 ... c Min unsat cost LB: 66304 ... c Min unsat cost LB: 66305 ... c Min unsat cost LB: 66306 ... c Min unsat cost LB: 66307 ... c Min unsat cost LB: 66308 ... c Min unsat cost LB: 66309 ... c Min unsat cost LB: 66310 ... c Min unsat cost LB: 66311 ... c Min unsat cost LB: 66312 ... c Min unsat cost LB: 66313 ... c Min unsat cost LB: 66314 ... c Min unsat cost LB: 66315 ... c Min unsat cost LB: 66316 ... c Min unsat cost LB: 66317 ... c Min unsat cost LB: 66318 ... c Min unsat cost LB: 66319 ... c Min unsat cost LB: 66320 ... c Min unsat cost LB: 66321 ... c Min unsat cost LB: 66322 ... c Min unsat cost LB: 66323 ... c Min unsat cost LB: 66324 ... c Min unsat cost LB: 66325 ... c Min unsat cost LB: 66326 ... c Min unsat cost LB: 66331 ... c Min unsat cost LB: 66333 ... c Min unsat cost LB: 66334 ... c Min unsat cost LB: 66335 ... c Min unsat cost LB: 66336 ... c Min unsat cost LB: 66337 ... c Min unsat cost LB: 66338 ... c Min unsat cost LB: 66339 ... c Min unsat cost LB: 66340 ... c Min unsat cost LB: 66341 ... c Min unsat cost LB: 66342 ... c Min unsat cost LB: 66343 ... c Min unsat cost LB: 66344 ... c Min unsat cost LB: 66345 ... c Min unsat cost LB: 66346 ... c Min unsat cost LB: 66347 ... c Min unsat cost LB: 66351 ... c Min unsat cost LB: 66353 ... c Min unsat cost LB: 66354 ... c Min unsat cost LB: 66355 ... c Min unsat cost LB: 66362 ... c Min unsat cost LB: 66363 ... c Min unsat cost LB: 66365 ... c Min unsat cost LB: 66366 ... c Min unsat cost LB: 66367 ... c Min unsat cost LB: 66369 ... c Min unsat cost LB: 66370 ... c Min unsat cost LB: 66371 ... c Min unsat cost LB: 66372 ... c Min unsat cost LB: 66373 ... c Min unsat cost LB: 66374 ... c Min unsat cost LB: 66375 ... c Min unsat cost LB: 66376 ... c Min unsat cost LB: 66377 ... c Min unsat cost LB: 66379 ... c Min unsat cost LB: 66380 ... c Min unsat cost LB: 66381 ... c Min unsat cost LB: 66382 ... c Min unsat cost LB: 66385 ... c Min unsat cost LB: 66400 ... c Min unsat cost LB: 66445 ... c Min unsat cost LB: 66446 ... c Min unsat cost LB: 66447 ... c Min unsat cost LB: 66448 ... c Min unsat cost LB: 66449 ... c Min unsat cost LB: 66450 ... c Min unsat cost LB: 66451 ... c Min unsat cost LB: 66454 ... c Min unsat cost LB: 66457 ... c Min unsat cost LB: 66458 ... c Min unsat cost LB: 66459 ... c Min unsat cost LB: 66461 ... c Min unsat cost LB: 66462 ... c Min unsat cost LB: 66463 ... c Min unsat cost LB: 66464 ... c Min unsat cost LB: 66465 ... c Min unsat cost LB: 66466 ... c Min unsat cost LB: 66467 ... c Min unsat cost LB: 66468 ... c Min unsat cost LB: 66469 ... c Min unsat cost LB: 66470 ... c Min unsat cost LB: 66479 ... c Min unsat cost LB: 66480 ... c Min unsat cost LB: 66481 ... c Min unsat cost LB: 66482 ... c Min unsat cost LB: 66483 ... c Min unsat cost LB: 66484 ... c Min unsat cost LB: 66485 ... c Min unsat cost LB: 66486 ... c Min unsat cost LB: 66487 ... c Min unsat cost LB: 66488 ... c Min unsat cost LB: 66489 ... c Min unsat cost LB: 66490 ... c Min unsat cost LB: 66491 ... c Min unsat cost LB: 66493 ... c Min unsat cost LB: 66494 ... c Min unsat cost LB: 66495 ... c Min unsat cost LB: 66496 ... c Min unsat cost LB: 66497 ... c Min unsat cost LB: 66498 ... c Min unsat cost LB: 66499 ... c Min unsat cost LB: 66500 ... c Min unsat cost LB: 66501 ... c Min unsat cost LB: 66502 ... c Min unsat cost LB: 66503 ... c Min unsat cost LB: 66504 ... c Min unsat cost LB: 66505 ... c Min unsat cost LB: 66506 ... c Min unsat cost LB: 66507 ... c Min unsat cost LB: 66508 ... c Min unsat cost LB: 66509 ... c Min unsat cost LB: 66510 ... c Min unsat cost LB: 66511 ... c Min unsat cost LB: 66513 ... c Min unsat cost LB: 66514 ... c Min unsat cost LB: 66515 ... c Min unsat cost LB: 66516 ... c Min unsat cost LB: 66517 ... c Min unsat cost LB: 66518 ... c Min unsat cost LB: 66519 ... c Min unsat cost LB: 66521 ... c Min unsat cost LB: 66522 ... c Min unsat cost LB: 66523 ... c Min unsat cost LB: 66524 ... c Min unsat cost LB: 66525 ... c Min unsat cost LB: 66526 ... c Min unsat cost LB: 66527 ... c Min unsat cost LB: 66529 ... c Min unsat cost LB: 66530 ... c Min unsat cost LB: 66531 ... c Min unsat cost LB: 66532 ... c Min unsat cost LB: 66533 ... c Min unsat cost LB: 66534 ... c Min unsat cost LB: 66535 ... c Min unsat cost LB: 66536 ... c Min unsat cost LB: 66537 ... c Min unsat cost LB: 66538 ... c Min unsat cost LB: 66539 ... c Min unsat cost LB: 66540 ... c Min unsat cost LB: 66541 ... c Min unsat cost LB: 66542 ... c Min unsat cost LB: 66543 ... c Min unsat cost LB: 66549 ... c Min unsat cost LB: 66550 ... c Min unsat cost LB: 66551 ... c Min unsat cost LB: 66552 ... c Min unsat cost LB: 66553 ... c Min unsat cost LB: 66554 ... c Min unsat cost LB: 66555 ... c Min unsat cost LB: 66556 ... c Min unsat cost LB: 66557 ... c Min unsat cost LB: 66558 ... c Min unsat cost LB: 66559 ... c Min unsat cost LB: 66560 ... c Min unsat cost LB: 66561 ... c Min unsat cost LB: 66562 ... c Min unsat cost LB: 66564 ... c Min unsat cost LB: 66565 ... c Min unsat cost LB: 66566 ... c Min unsat cost LB: 66567 ... c Min unsat cost LB: 66568 ... c Min unsat cost LB: 66569 ... c Min unsat cost LB: 66570 ... c Min unsat cost LB: 66571 ... c Min unsat cost LB: 66572 ... c Min unsat cost LB: 66612 ... c Min unsat cost LB: 66613 ... c Min unsat cost LB: 66614 ... c Min unsat cost LB: 66615 ... c Min unsat cost LB: 66616 ... c Min unsat cost LB: 66617 ... c Min unsat cost LB: 66618 ... c Min unsat cost LB: 66619 ... c Min unsat cost LB: 66620 ... c Min unsat cost LB: 66621 ... c Min unsat cost LB: 66622 ... c Min unsat cost LB: 66623 ... c Min unsat cost LB: 66624 ... c Min unsat cost LB: 66625 ... c Min unsat cost LB: 66626 ... c Min unsat cost LB: 66627 ... c Min unsat cost LB: 66628 ... c Min unsat cost LB: 66629 ... c Min unsat cost LB: 66630 ... c Min unsat cost LB: 66631 ... c Min unsat cost LB: 66632 ... c Min unsat cost LB: 66633 ... c Min unsat cost LB: 66635 ... c Min unsat cost LB: 66637 ... c Min unsat cost LB: 66638 ... c Min unsat cost LB: 66639 ... c Min unsat cost LB: 66640 ... c Min unsat cost LB: 66641 ... c Min unsat cost LB: 66642 ... c Min unsat cost LB: 66643 ... c Min unsat cost LB: 66644 ... c Min unsat cost LB: 66645 ... c Min unsat cost LB: 66646 ... c Min unsat cost LB: 66647 ... c Min unsat cost LB: 66648 ... c Min unsat cost LB: 66649 ... c Min unsat cost LB: 66650 ... c Min unsat cost LB: 66651 ... c Min unsat cost LB: 66652 ... c Min unsat costKilled 1810.584u 9.156s 30:19.75 99.9% 0+0k 0+0io 0pf+0w