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_140_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0006.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_140_0006.txt.wcnf *** c c Min unsat cost LB: 845 ... c Min unsat cost LB: 1529 ... c Min unsat cost LB: 2236 ... c Min unsat cost LB: 2943 ... c Min unsat cost LB: 3137 ... c Min unsat cost LB: 3844 ... c Min unsat cost LB: 4528 ... c Min unsat cost LB: 4793 ... c Min unsat cost LB: 5729 ... c Min unsat cost LB: 6661 ... c Min unsat cost LB: 7545 ... c Min unsat cost LB: 8058 ... c Min unsat cost LB: 8123 ... c Min unsat cost LB: 8942 ... c Min unsat cost LB: 8946 ... c Min unsat cost LB: 9278 ... c Min unsat cost LB: 9495 ... c Min unsat cost LB: 9670 ... c Min unsat cost LB: 9974 ... c Min unsat cost LB: 10581 ... c Min unsat cost LB: 11575 ... c Min unsat cost LB: 11819 ... c Min unsat cost LB: 12503 ... c Min unsat cost LB: 12697 ... c Min unsat cost LB: 13337 ... c Min unsat cost LB: 14021 ... c Min unsat cost LB: 14874 ... c Min unsat cost LB: 15174 ... c Min unsat cost LB: 15758 ... c Min unsat cost LB: 16033 ... c Min unsat cost LB: 16085 ... c Min unsat cost LB: 16519 ... c Min unsat cost LB: 17058 ... c Min unsat cost LB: 17917 ... c Min unsat cost LB: 18890 ... c Min unsat cost LB: 19550 ... c Min unsat cost LB: 20409 ... c Min unsat cost LB: 20449 ... c Min unsat cost LB: 20507 ... c Min unsat cost LB: 21167 ... c Min unsat cost LB: 21308 ... c Min unsat cost LB: 21485 ... c Min unsat cost LB: 21804 ... c Min unsat cost LB: 22323 ... c Min unsat cost LB: 22791 ... c Min unsat cost LB: 22926 ... c Min unsat cost LB: 23685 ... c Min unsat cost LB: 24772 ... c Min unsat cost LB: 24900 ... c Min unsat cost LB: 25292 ... c Min unsat cost LB: 25386 ... c Min unsat cost LB: 26359 ... c Min unsat cost LB: 27346 ... c Min unsat cost LB: 27813 ... c Min unsat cost LB: 28009 ... c Min unsat cost LB: 28060 ... c Min unsat cost LB: 28819 ... c Min unsat cost LB: 29338 ... c Min unsat cost LB: 29777 ... c Min unsat cost LB: 29817 ... c Min unsat cost LB: 29976 ... c Min unsat cost LB: 30909 ... c Min unsat cost LB: 31300 ... c Min unsat cost LB: 31348 ... c Min unsat cost LB: 31576 ... c Min unsat cost LB: 32043 ... c Min unsat cost LB: 32862 ... c Min unsat cost LB: 33109 ... c Min unsat cost LB: 33632 ... c Min unsat cost LB: 34150 ... c Min unsat cost LB: 34668 ... c Min unsat cost LB: 35600 ... c Min unsat cost LB: 35734 ... c Min unsat cost LB: 36147 ... c Min unsat cost LB: 36560 ... c Min unsat cost LB: 37478 ... c Min unsat cost LB: 38033 ... c Min unsat cost LB: 38693 ... c Min unsat cost LB: 38774 ... c Min unsat cost LB: 38847 ... c Min unsat cost LB: 39571 ... c Min unsat cost LB: 39815 ... c Min unsat cost LB: 39855 ... c Min unsat cost LB: 40614 ... c Min unsat cost LB: 41563 ... c Min unsat cost LB: 42343 ... c Min unsat cost LB: 42388 ... c Min unsat cost LB: 42629 ... c Min unsat cost LB: 42928 ... c Min unsat cost LB: 43653 ... c Min unsat cost LB: 43877 ... c Min unsat cost LB: 44139 ... c Min unsat cost LB: 45043 ... c Min unsat cost LB: 45347 ... c Min unsat cost LB: 45897 ... c Min unsat cost LB: 45978 ... c Min unsat cost LB: 46628 ... c Min unsat cost LB: 47408 ... c Min unsat cost LB: 48326 ... c Min unsat cost LB: 48511 ... c Min unsat cost LB: 49460 ... c Min unsat cost LB: 49505 ... c Min unsat cost LB: 50230 ... c Min unsat cost LB: 50354 ... c Min unsat cost LB: 50492 ... c Min unsat cost LB: 50546 ... c Min unsat cost LB: 51010 ... c Min unsat cost LB: 51428 ... c Min unsat cost LB: 51493 ... c Min unsat cost LB: 51561 ... c Min unsat cost LB: 51601 ... c Min unsat cost LB: 51669 ... c Min unsat cost LB: 52319 ... c Min unsat cost LB: 52550 ... c Min unsat cost LB: 52631 ... c Min unsat cost LB: 53095 ... c Min unsat cost LB: 53144 ... c Min unsat cost LB: 53223 ... c Min unsat cost LB: 53522 ... c Min unsat cost LB: 53665 ... c Min unsat cost LB: 53703 ... c Min unsat cost LB: 53841 ... c Min unsat cost LB: 53906 ... c Min unsat cost LB: 53970 ... c Min unsat cost LB: 54000 ... c Min unsat cost LB: 54286 ... c Min unsat cost LB: 54322 ... c Min unsat cost LB: 55223 ... c Min unsat cost LB: 55290 ... c Min unsat cost LB: 55794 ... c Min unsat cost LB: 55992 ... c Min unsat cost LB: 56059 ... c Min unsat cost LB: 56122 ... c Min unsat cost LB: 56151 ... c Min unsat cost LB: 56447 ... c Min unsat cost LB: 56526 ... c Min unsat cost LB: 56588 ... c Min unsat cost LB: 56639 ... c Min unsat cost LB: 56688 ... c Min unsat cost LB: 56804 ... c Min unsat cost LB: 56928 ... c Min unsat cost LB: 57071 ... c Min unsat cost LB: 57621 ... c Min unsat cost LB: 57925 ... c Min unsat cost LB: 58581 ... c Min unsat cost LB: 58719 ... c Min unsat cost LB: 58755 ... c Min unsat cost LB: 58806 ... c Min unsat cost LB: 58818 ... c Min unsat cost LB: 58820 ... c Min unsat cost LB: 58958 ... c Min unsat cost LB: 59022 ... c Min unsat cost LB: 59025 ... c Min unsat cost LB: 59052 ... c Min unsat cost LB: 59095 ... c Min unsat cost LB: 59189 ... c Min unsat cost LB: 59203 ... c Min unsat cost LB: 59230 ... c Min unsat cost LB: 59273 ... c Min unsat cost LB: 59407 ... c Min unsat cost LB: 59435 ... c Min unsat cost LB: 59460 ... c Min unsat cost LB: 59560 ... c Min unsat cost LB: 59646 ... c Min unsat cost LB: 59675 ... c Min unsat cost LB: 59961 ... c Min unsat cost LB: 60013 ... c Min unsat cost LB: 60014 ... c Min unsat cost LB: 60040 ... c Min unsat cost LB: 60043 ... c Min unsat cost LB: 60045 ... c Min unsat cost LB: 60093 ... c Min unsat cost LB: 60109 ... c Min unsat cost LB: 60133 ... c Min unsat cost LB: 60335 ... c Min unsat cost LB: 60397 ... c Min unsat cost LB: 60398 ... c Min unsat cost LB: 60411 ... c Min unsat cost LB: 60592 ... c Min unsat cost LB: 60659 ... c Min unsat cost LB: 60730 ... c Min unsat cost LB: 60771 ... c Min unsat cost LB: 61006 ... c Min unsat cost LB: 61172 ... c Min unsat cost LB: 61183 ... c Min unsat cost LB: 61250 ... c Min unsat cost LB: 61300 ... c Min unsat cost LB: 61356 ... c Min unsat cost LB: 61532 ... c Min unsat cost LB: 61554 ... c Min unsat cost LB: 61591 ... c Min unsat cost LB: 61619 ... c Min unsat cost LB: 61647 ... c Min unsat cost LB: 61734 ... c Min unsat cost LB: 61746 ... c Min unsat cost LB: 61798 ... c Min unsat cost LB: 61802 ... c Min unsat cost LB: 61836 ... c Min unsat cost LB: 62000 ... c Min unsat cost LB: 62069 ... c Min unsat cost LB: 62174 ... c Min unsat cost LB: 62243 ... c Min unsat cost LB: 62292 ... c Min unsat cost LB: 62300 ... c Min unsat cost LB: 62358 ... c Min unsat cost LB: 62516 ... c Min unsat cost LB: 62522 ... c Min unsat cost LB: 62588 ... c Min unsat cost LB: 62695 ... c Min unsat cost LB: 62730 ... c Min unsat cost LB: 62840 ... c Min unsat cost LB: 62879 ... c Min unsat cost LB: 62999 ... c Min unsat cost LB: 63195 ... c Min unsat cost LB: 63275 ... c Min unsat cost LB: 63390 ... c Min unsat cost LB: 63430 ... c Min unsat cost LB: 63503 ... c Min unsat cost LB: 63697 ... c Min unsat cost LB: 63767 ... c Min unsat cost LB: 63807 ... c Min unsat cost LB: 63967 ... c Min unsat cost LB: 64040 ... c Min unsat cost LB: 64148 ... c Min unsat cost LB: 64150 ... c Min unsat cost LB: 64208 ... c Min unsat cost LB: 64269 ... c Min unsat cost LB: 64323 ... c Min unsat cost LB: 64406 ... c Min unsat cost LB: 64463 ... c Min unsat cost LB: 64499 ... c Min unsat cost LB: 64564 ... c Min unsat cost LB: 64588 ... c Min unsat cost LB: 64708 ... c Min unsat cost LB: 64753 ... c Min unsat cost LB: 64836 ... c Min unsat cost LB: 64906 ... c Min unsat cost LB: 64925 ... c Min unsat cost LB: 64940 ... c Min unsat cost LB: 65116 ... c Min unsat cost LB: 65169 ... c Min unsat cost LB: 65182 ... c Min unsat cost LB: 65224 ... c Min unsat cost LB: 65457 ... c Min unsat cost LB: 65510 ... c Min unsat cost LB: 65719 ... c Min unsat cost LB: 65922 ... c Min unsat cost LB: 66070 ... c Min unsat cost LB: 66131 ... c Min unsat cost LB: 66283 ... c Min unsat cost LB: 66313 ... c Min unsat cost LB: 66320 ... c Min unsat cost LB: 66355 ... c Min unsat cost LB: 66458 ... c Min unsat cost LB: 66469 ... c Min unsat cost LB: 66744 ... c Min unsat cost LB: 66756 ... c Min unsat cost LB: 66792 ... c Min unsat cost LB: 66843 ... c Min unsat cost LB: 66850 ... c Min unsat cost LB: 66865 ... c Min unsat cost LB: 67096 ... c Min unsat cost LB: 67111 ... c Min unsat cost LB: 67121 ... c Min unsat cost LB: 67123 ... c Min unsat cost LB: 67154 ... c Min unsat cost LB: 67164 ... c Min unsat cost LB: 67166 ... c Min unsat cost LB: 67184 ... c Min unsat cost LB: 67231 ... c Min unsat cost LB: 67270 ... c Min unsat cost LB: 67296 ... c Min unsat cost LB: 67297 ... c Min unsat cost LB: 67319 ... c Min unsat cost LB: 67329 ... c Min unsat cost LB: 67331 ... c Min unsat cost LB: 67340 ... c Min unsat cost LB: 67415 ... c Min unsat cost LB: 67463 ... c Min unsat cost LB: 67606 ... c Min unsat cost LB: 67632 ... c Min unsat cost LB: 67634 ... c Min unsat cost LB: 67635 ... c Min unsat cost LB: 67645 ... c Min unsat cost LB: 67667 ... c Min unsat cost LB: 67669 ... c Min unsat cost LB: 67693 ... c Min unsat cost LB: 67706 ... c Min unsat cost LB: 67708 ... c Min unsat cost LB: 67710 ... c Min unsat cost LB: 67712 ... c Min unsat cost LB: 67713 ... c Min unsat cost LB: 67715 ... c Min unsat cost LB: 67719 ... c Min unsat cost LB: 67721 ... c Min unsat cost LB: 67723 ... c Min unsat cost LB: 67730 ... c Min unsat cost LB: 67745 ... c Min unsat cost LB: 67750 ... c Min unsat cost LB: 67760 ... c Min unsat cost LB: 67768 ... c Min unsat cost LB: 67770 ... c Min unsat cost LB: 67783 ... c Min unsat cost LB: 67785 ... c Min unsat cost LB: 67840 ... c Min unsat cost LB: 67846 ... c Min unsat cost LB: 67871 ... c Min unsat cost LB: 67875 ... c Min unsat cost LB: 67887 ... c Min unsat cost LB: 67961 ... c Min unsat cost LB: 67965 ... c Min unsat cost LB: 68009 ... c Min unsat cost LB: 68011 ... c Min unsat cost LB: 68021 ... c Min unsat cost LB: 68024 ... c Min unsat cost LB: 68035 ... c Min unsat cost LB: 68041 ... c Min unsat cost LB: 68044 ... c Min unsat cost LB: 68057 ... c Min unsat cost LB: 68059 ... c Min unsat cost LB: 68061 ... c Min unsat cost LB: 68065 ... c Min unsat cost LB: 68077 ... c Min unsat cost LB: 68078 ... c Min unsat cost LB: 68079 ... c Min unsat cost LB: 68083 ... c Min unsat cost LB: 68093 ... c Min unsat cost LB: 68097 ... c Min unsat cost LB: 68100 ... c Min unsat cost LB: 68101 ... c Min unsat cost LB: 68169 ... c Min unsat cost LB: 68198 ... c Min unsat cost LB: 68207 ... c Min unsat cost LB: 68285 ... c Min unsat cost LB: 68287 ... c Min unsat cost LB: 68288 ... c Min unsat cost LB: 68298 ... c Min unsat cost LB: 68299 ... c Min unsat cost LB: 68301 ... c Min unsat cost LB: 68303 ... c Min unsat cost LB: 68305 ... c Min unsat cost LB: 68306 ... c Min unsat cost LB: 68318 ... c Min unsat cost LB: 68328 ... c Min unsat cost LB: 68329 ... c Min unsat cost LB: 68330 ... c Min unsat cost LB: 68333 ... c Min unsat cost LB: 68336 ... c Min unsat cost LB: 68364 ... c Min unsat cost LB: 68365 ... c Min unsat cost LB: 68366 ... c Min unsat cost LB: 68379 ... c Min unsat cost LB: 68381 ... c Min unsat cost LB: 68382 ... c Min unsat cost LB: 68383 ... c Min unsat cost LB: 68393 ... c Min unsat cost LB: 68418 ... c Min unsat cost LB: 68432 ... c Min unsat cost LB: 68435 ... c Min unsat cost LB: 68452 ... c Min unsat cost LB: 68464 ... c Min unsat cost LB: 68473 ... c Min unsat cost LB: 68487 ... c Min unsat cost LB: 68508 ... c Min unsat cost LB: 68510 ... c Min unsat cost LB: 68522 ... c Min unsat cost LB: 68566 ... c Min unsat cost LB: 68592 ... c Min unsat cost LB: 68606 ... c Min unsat cost LB: 68618 ... c Min unsat cost LB: 68639 ... c Min unsat cost LB: 68643 ... c Min unsat cost LB: 68651 ... c Min unsat cost LB: 68653 ... c Min unsat cost LB: 68655 ... c Min unsat cost LB: 68670 ... c Min unsat cost LB: 68674 ... c Min unsat cost LB: 68683 ... c Min unsat cost LB: 68685 ... c Min unsat cost LB: 68687 ... c Min unsat cost LB: 68697 ... c Min unsat cost LB: 68707 ... c Min unsat cost LB: 68709 ... c Min unsat cost LB: 68710 ... c Min unsat cost LB: 68719 ... c Min unsat cost LB: 68720 ... c Min unsat cost LB: 68722 ... c Min unsat cost LB: 68726 ... c Min unsat cost LB: 68728 ... c Min unsat cost LB: 68734 ... c Min unsat cost LB: 68741 ... c Min unsat cost LB: 68742 ... c Min unsat cost LB: 68746 ... c Min unsat cost LB: 68748 ... c Min unsat cost LB: 68749 ... c Min unsat cost LB: 68763 ... c Min unsat cost LB: 68764 ... c Min unsat cost LB: 68765 ... c Min unsat cost LB: 68774 ... c Min unsat cost LB: 68779 ... c Min unsat cost LB: 68780 ... c Min unsat cost LB: 68781 ... c Min unsat cost LB: 68782 ... c Min unsat cost LB: 68784 ... c Min unsat cost LB: 68785 ... c Min unsat cost LB: 68786 ... c Min unsat cost LB: 68787 ... c Min unsat cost LB: 68789 ... c Min unsat cost LB: 68794 ... c Min unsat cost LB: 68797 ... c Min unsat cost LB: 68800 ... c Min unsat cost LB: 68813 ... c Min unsat cost LB: 68818 ... c Min unsat cost LB: 68822 ... c Min unsat cost LB: 68824 ... c Min unsat cost LB: 68825 ... c Min unsat cost LB: 68827 ... c Min unsat cost LB: 68828 ... c Min unsat cost LB: 68829 ... c Min unsat cost LB: 68833 ... c Min unsat cost LB: 68834 ... c Min unsat cost LB: 68835 ... c Min unsat cost LB: 68836 ... c Min unsat cost LB: 68837 ... c Min unsat cost LB: 68838 ... c Min unsat cost LB: 68839 ... c Min unsat cost LB: 68841 ... c Min unsat cost LB: 68848 ... c Min unsat cost LB: 68852 ... c Min unsat cost LB: 68853 ... c Min unsat cost LB: 68854 ... c Min unsat cost LB: 68856 ... c Min unsat cost LB: 68857 ... c Min unsat cost LB: 68858 ... c Min unsat cost LB: 68863 ... c Min unsat cost LB: 68878 ... c Min unsat cost LB: 68893 ... c Min unsat cost LB: 68897 ... c Min unsat cost LB: 68898 ... c Min unsat cost LB: 68899 ... c Min unsat cost LB: 68903 ... c Min unsat cost LB: 68920 ... c Min unsat cost LB: 68927 ... c Min unsat cost LB: 68928 ... c Min unsat cost LB: 68931 ... c Min unsat cost LB: 68936 ... c Min unsat cost LB: 68940 ... c Min unsat cost LB: 68942 ... c Min unsat cost LB: 68971 ... c Min unsat cost LB: 68972 ... c Min unsat cost LB: 68973 ... c Min unsat cost LB: 68974 ... c Min unsat cost LB: 68975 ... c Min unsat cost LB: 68989 ... c Min unsat cost LB: 69002 ... c Min unsat cost LB: 69012 ... c Min unsat cost LB: 69022 ... c Min unsat cost LB: 69023 ... c Min unsat cost LB: 69047 ... c Min unsat cost LB: 69048 ... c Min unsat cost LB: 69049 ... c Min unsat cost LB: 69050 ... c Min unsat cost LB: 69051 ... c Min unsat cost LB: 69052 ... c Min unsat cost LB: 69053 ... c Min unsat cost LB: 69054 ... c Min unsat cost LB: 69055 ... c Min unsat cost LB: 69056 ... c Min unsat cost LB: 69057 ... c Min unsat cost LB: 69058 ... c Min unsat cost LB: 69059 ... c Min unsat cost LB: 69060 ... c Min unsat cost LB: 69061 ... c Min unsat cost LB: 69062 ... c Min unsat cost LB: 69063 ... c Min unsat cost LB: 69064 ... c Min unsat cost LB: 69065 ... c Min unsat cost LB: 69068 ... c Min unsat cost LB: 69070 ... c Min unsat cost LB: 69072 ... c Min unsat cost LB: 69074 ... c Min unsat cost LB: 69075 ... c Min unsat cost LB: 69076 ... c Min unsat cost LB: 69077 ... c Min unsat cost LB: 69078 ... c Min unsat cost LB: 69079 ... c Min unsat cost LB: 69080 ... c Min unsat cost LB: 69081 ... c Min unsat cost LB: 69082 ... c Min unsat cost LB: 69084 ... c Min unsat cost LB: 69085 ... c Min unsat cost LB: 69086 ... c Min unsat cost LB: 69087 ... c Min unsat cost LB: 69088 ... c Min unsat cost LB: 69089 ... c Min unsat cost LB: 69090 ... c Min unsat cost LB: 69092 ... c Min unsat cost LB: 69093 ... c Min unsat cost LB: 69095 ... c Min unsat cost LB: 69098 ... c Min unsat cost LB: 69105 ... c Min unsat cost LB: 69118 ... c Min unsat cost LB: 69140 ... c Min unsat cost LB: 69161 ... c Min unsat cost LB: 69169 ... c Min unsat cost LB: 69177 ... c Min unsat cost LB: 69191 ... c Min unsat cost LB: 69205 ... c Min unsat cost LB: 69228 ... c Min unsat cost LB: 69229 ... c Min unsat cost LB: 69250 ... c Min unsat cost LB: 69263 ... c Min unsat cost LB: 69268 ... c Min unsat cost LB: 69269 ... c Min unsat cost LB: 69270 ... c Min unsat cost LB: 69271 ... c Min unsat cost LB: 69273 ... c Min unsat cost LB: 69275 ... c Min unsat cost LB: 69276 ... c Min unsat cost LB: 69278 ... c Min unsat cost LB: 69279 ... c Min unsat cost LB: 69280 ... c Min unsat cost LB: 69281 ... c Min unsat cost LB: 69282 ... c Min unsat cost LB: 69284 ... c Min unsat cost LB: 69285 ... c Min unsat cost LB: 69291 ... c Min unsat cost LB: 69292 ... c Min unsat cost LB: 69293 ... c Min unsat cost LB: 69295 ... c Min unsat cost LB: 69296 ... c Min unsat cost LB: 69318 ... c Min unsat cost LB: 69319 ... c Min unsat cost LB: 69341 ... c Min unsat cost LB: 69343 ... c Min unsat cost LB: 69349 ... c Min unsat cost LB: 69357 ... c Min unsat cost LB: 69379 ... c Min unsat cost LB: 69403 ... c Min unsat cost LB: 69419 ... c Min unsat cost LB: 69441 ... c Min unsat cost LB: 69442 ... c Min unsat cost LB: 69443 ... c Min unsat cost LB: 69458 ... c Min unsat cost LB: 69465 ... c Min unsat cost LB: 69498 ... c Min unsat cost LB: 69499 ... c Min unsat cost LB: 69507 ... c Min unsat cost LB: 69508 ... c Min unsat cost LB: 69524 ... c Min unsat cost LB: 69536 ... c Min unsat cost LB: 69546 ... c Min unsat cost LB: 69670 ... c Min unsat cost LB: 69681 ... c Min unsat cost LB: 69705 ... c Min unsat cost LB: 69709 ... c Min unsat cost LB: 69734 ... c Min unsat cost LB: 69746 ... c Min unsat cost LB: 69747 ... c Min unsat cost LB: 69748 ... c Min unsat cost LB: 69749 ... c Min unsat cost LB: 69750 ... c Min unsat cost LB: 69751 ... c Min unsat cost LB: 69752 ... c Min unsat cost LB: 69754 ... c Min unsat cost LB: 69757 ... c Min unsat cost LB: 69758 ... c Min unsat cost LB: 69759 ... c Min unsat cost LB: 69760 ... c Min unsat cost LB: 69762 ... c Min unsat cost LB: 69775 ... c Min unsat cost LB: 69777 ... c Min unsat cost LB: 69778 ... c Min unsat cost LB: 69779 ... c Min unsat cost LB: 69780 ... c Min unsat cost LB: 69781 ... c Min unsat cost LB: 69782 ... c Min unsat cost LB: 69783 ... c Min unsat cost LB: 69784 ... c Min unsat cost LB: 69785 ... c Min unsat cost LB: 69786 ... c Min unsat cost LB: 69790 ... c Min unsat cost LB: 69791 ... c Min unsat cost LB: 69797 ... c Min unsat cost LB: 69798 ... c Min unsat cost LB: 69799 ... c Min unsat cost LB: 69800 ... c Min unsat cost LB: 69801 ... c Min unsat cost LB: 69802 ... c Min unsat cost LB: 69803 ... c Min unsat cost LB: 69804 ... c Min unsat cost LB: 69805 ... c Min unsat cost LB: 69806 ... c Min unsat cost LB: 69807 ... c Min unsat cost LB: 69808 ... c Min unsat cost LB: 69809 ... c Min unsat cost LB: 69810 ... c Min unsat cost LB: 69811 ... c Min unsat cost LB: 69812 ... c Min unsat cost LB: 69813 ... c Min unsat cost LB: 69815 ... c Min unsat cost LB: 69819 ... c Min unsat cost LB: 69820 ... c Min unsat cost LB: 69822 ... c Min unsat cost LB: 69827 ... c Min unsat cost LB: 69828 ... c Min unsat cost LB: 69830 ... c Min unsat cost LB: 69840 ... c Min unsat cost LB: 69842 ... c Min unsat cost LB: 69851 ... c Min unsat cost LB: 69853 ... c Min unsat cost LB: 69855 ... c Min unsat cost LB: 69857 ... c Min unsat cost LB: 69870 ... c Min unsat cost LB: 69890 ... c Min unsat cost LB: 69891 ... c Min unsat cost LB: 69897 ... c Min unsat cost LB: 69899 ... c Min unsat cost LB: 69903 ... c Min unsat cost LB: 69904 ... c Min unsat cost LB: 69910 ... c Min unsat cost LB: 69911 ... c Min unsat cost LB: 69912 ... c Min unsat cost LB: 69919 ... c Min unsat cost LB: 69920 ... c Min unsat cost LB: 69922 ... c Min unsat cost LB: 69923 ... c Min unsat cost LB: 69924 ... c Min unsat cost LB: 69925 ... c Min unsat cost LB: 69930 ... c Min unsat cost LB: 69934 ... c Min unsat cost LB: 69936 ... c Min unsat cost LB: 69952 ... c Min unsat cost LB: 69953 ... c Min unsat cost LB: 69954 ... c Min unsat cost LB: 69955 ... c Min unsat cost LB: 69956 ... c Min unsat cost LB: 69957 ... c Min unsat cost LB: 69961 ... c Min unsat cost LB: 69963 ... c Min unsat cost LB: 69968 ... c Min unsat cost LB: 69969 ... c Min unsat cost LB: 69971 ... c Min unsat cost LB: 69975 ... c Min unsat cost LB: 69980 ... c Min unsat cost LB: 69981 ... c Min unsat cost LB: 69982 ... c Min unsat cost LB: 69984 ... c Min unsat cost LB: 69986 ... c Min unsat cost LB: 69987 ... c Min unsat cost LB: 69991 ... c Min unsat cost LB: 69996 ... c Min unsat cost LB: 69999 ... c Min unsat cost LB: 70004 ... c Min unsat cost LB: 70005 ... c Min unsat cost LB: 70015 ... c Min unsat cost LB: 70016 ... c Min unsat cost LB: 70017 ... c Min unsat cost LB: 70018 ... c Min unsat cost LB: 70020 ... c Min unsat cost LB: 70021 ... c Min unsat cost LB: 70022 ... c Min unsat cost LB: 70023 ... c Min unsat cost LB: 70025 ... c Min unsat cost LB: 70026 ... c Min unsat cost LB: 70027 ... c Min unsat cost LB: 70028 ... c Min unsat cost LB: 70030 ... c Min unsat cost LB: 70031 ... c Min unsat cost LB: 70057 ... c Min unsat cost LB: 70058 ... c Min unsat cost LB: 70059 ... c Min unsat cost LB: 70060 ... c Min unsat cost LB: 70061 ... c Min unsat cost LB: 70062 ... c Min unsat cost LB: 70064 ... c Min unsat cost LB: 70070 ... c Min unsat cost LB: 70080 ... c Min unsat cost LB: 70081 ... c Min unsat cost LB: 70082 ... c Min unsat cost LB: 70083 ... c Min unsat cost LB: 70084 ... c Min unsat cost LB: 70085 ... c Min unsat cost LB: 70086 ... c Min unsat cost LB: 70087 ... c Min unsat cost LB: 70088 ... c Min unsat cost LB: 70089 ... c Min unsat cost LB: 70090 ... c Min unsat cost LB: 70091 ... c Min unsat cost LB: 70092 ... c Min unsat cost LB: 70093 ... c Min unsat cost LB: 70094 ... c Min unsat cost LB: 70095 ... c Min unsat cost LB: 70096 ... c Min unsat cost LB: 70097 ... c Min unsat cost LB: 70098 ... c Min unsat cost LB: 70099 ... c Min unsat cost LB: 70100 ... c Min unsat cost LB: 70101 ... c Min unsat cost LB: 70102 ... c Min unsat cost LB: 70103 ... c Min unsat cost LB: 70105 ... c Min unsat cost LB: 70107 ... c Min unsat cost LB: 70108 ... c Min unsat cost LB: 70109 ... c Min unsat cost LB: 70111 ... c Min unsat cost LB: 70113 ... c Min unsat cost LB: 70114 ... c Min unsat cost LB: 70115 ... c Min unsat cost LB: 70116 ... c Min unsat cost LB: 70117 ... c Min unsat cost LB: 70125 ... c Min unsat cost LB: 70126 ... c Min unsat cost LB: 70132 ... c Min unsat cost LB: 70134 ... c Min unsat cost LB: 70141 ... c Min unsat cost LB: 70142 ... c Min unsat cost LB: 70144 ... c Min unsat cost LB: 70146 ... c Min unsat cost LB: 70153 ... c Min unsat cost LB: 70168 ... c Min unsat cost LB: 70172 ... c Min unsat cost LB: 70176 ... c Min unsat cost LB: 70179 ... c Min unsat cost LB: 70188 ... c Min unsat cost LB: 70190 ... c Min unsat cost LB: 70192 ... c Min unsat cost LB: 70199 ... c Min unsat cost LB: 70200 ... c Min unsat cost LB: 70201 ... c Min unsat cost LB: 70205 ... c Min unsat cost LB: 70209 ... c Min unsat cost LB: 70213 ... c Min unsat cost LB: 70214 ... c Min unsat cost LB: 70218 ... c Min unsat cost LB: 70219 ... c Min unsat cost LB: 70220 ... c Min unsat cost LB: 70247 ... c Min unsat cost LB: 70248 ... c Min unsat cost LB: 70249 ... c Min unsat cost LB: 70250 ... c Min unsat cost LB: 70251 ... c Min unsat cost LB: 70252 ... c Min unsat cost LB: 70253 ... c Min unsat cost LB: 70254 ... c Min unsat cost LB: 70260 ... c Min unsat cost LB: 70264 ... c Min unsat cost LB: 70269 ... c Min unsat cost LB: 70270 ... c Min unsat cost LB: 70273 ... c Min unsat cost LB: 70275 ... c Min unsat cost LB: 70277 ... c Min unsat cost LB: 70278 ... c Min unsat cost LB: 70279 ... c Min unsat cost LB: 70280 ... c Min unsat cost LB: 70281 ... c Min unsat cost LB: 70284 ... c Min unsat cost LB: 70291 ... c Min unsat cost LB: 70292 ... c Min unsat cost LB: 70295 ... c Min unsat cost LB: 70296 ... c Min unsat cost LB: 70297 ... c Min unsat cost LB: 70299 ... c Min unsat cost LB: 70313 ... c Min unsat cost LB: 70328 ... c Min unsat cost LB: 70329 ... c Min unsat cost LB: 70341 ... c Min unsat cost LB: 70343 ... c Min unsat cost LB: 70398 ... c Min unsat cost LB: 70399 ... c Min unsat cost LB: 70406 ... c Min unsat cost LB: 70411 ... c Min unsat cost LB: 70413 ... c Min unsat cost LB: 70414 ... c Min unsat cost LB: 70422 ... c Min unsat cost LB: 70423 ... c Min unsat cost LB: 70424 ... c Min unsat cost LB: 70425 ... c Min unsat cost LB: 70426 ... c Min unsat cost LB: 70427 ... c Min unsat cost LB: 70431 ... c Min unsat cost LB: 70440 ... c Min unsat cost LB: 70441 ... c Min unsat cost LB: 70468 ... c Min unsat cost LB: 70593 ... c Min unsat cost LB: 70594 ... c Min unsat cost LB: 70596 ... c Min unsat cost LB: 70599 ... c Min unsat cost LB: 70600 ... c Min unsat cost LB: 70601 ... c Min unsat cost LB: 70602 ... c Min unsat cost LB: 70604 ... c Min unsat cost LB: 70605 ... c Min unsat cost LB: 70606 ... c Min unsat cost LB: 70610 ... c Min unsat cost LB: 70611 ... c Min unsat cost LB: 70615 ... c Min unsat cost LB: 70616 ... c Min unsat cost LB: 70617 ... c Min unsat cost LB: 70618 ... c Min unsat cost LB: 70619 ... c Min unsat cost LB: 70620 ... c Min unsat cost LB: 70621 ... c Min unsat cost LB: 70622 ... c Min unsat cost LB: 70623 ... c Min unsat cost LB: 70624 ... c Min unsat cost LB: 70625 ... c Min unsat cost LB: 70626 ... c Min unsat cost LB: 70628 ... c Min unsat cost LB: 70629 ... c Min unsat cost LB: 70630 ... c Min unsat cost LB: 70651 ... c Min unsat cost LB: 70652 ... c Min unsat cost LB: 70653 ... c Min unsat cost LB: 70654 ... c Min unsat cost LB: 70655 ... c Min unsat cost LB: 70656 ... c Min unsat cost LB: 70657 ... c Min unsat cost LB: 70658 ... c Min unsat cost LB: 70659 ... c Min unsat cost LB: 70753 ... c Min unsat cost LB: 70754 ... c Min unsat cost LB: 70755 ... c Min unsat cost LB: 70756 ... c Min unsat cost LB: 70757 ... c Min unsat cost LB: 70758 ... c Min unsat cost LB: 70759 ... c Min unsat cost LB: 70760 ... c Min unsat cost LB: 70761 ... c Min unsat cost LB: 70762 ... c Min unsat cost LB: 70763 ... c Min unsat cost LB: 70764 ... c Min unsat cost LB: 70765 ... c Min unsat cost LB: 70766 ... c Min unsat cost LB: 70767 ... c Min unsat cost LB: 70768 ... c Min unsat cost LB: 70771 ... c Min unsat cost LB: 70772 ... c Min unsat cost LB: 70773 ... c Min unsat cost LB: 70774 ... c Min unsat cost LB: 70785 ... c Min unsat cost LB: 70786 ... c Min unsat cost LB: 70787 ... c Min unsat cost LB: 70788 ... c Min unsat cost LB: 70789 ... c Min unsat cost LB: 70790 ... c Min unsat cost LB: 70791 ... c Min unsat cost LB: 70792 ... c Min unsat cost LB: 70793 ... c Min unsat cost LB: 70794 ... c Min unsat cost LB: 70795 ... c Min unsat cost LB: 70796 ... c Min unsat cost LB: 70797 ... c Min unsat cost LB: 70798 ... c Min unsat cost LB: 70799 ... c Min unsat cost LB: 70800 ... c Min unsat cost LB: 70805 ... c Min unsat cost LB: 70808 ... c Min unsat cost LB: 70809 ... c Min unsat cost LB: 70810 ... c Min unsat cost LB: 70811 ... c Min unsat cost LB: 70817 ... c Min unsat cost LB: 70818 ... c Min unsat cost LB: 70821 ... c Min unsat cost LB: 70822 ... c Min unsat cost LB: 70823 ... c Min unsat cost LB: 70824 ... c Min unsat cost LB: 70825 ... c Min unsat cost LB: 70826 ... c Min unsat cost LB: 70827 ... c Min unsat cost LB: 70828 ... c Min unsat cost LB: 70840 ... c Min unsat cost LB: 70845 ... c Min unsat cost LB: 70847 ... c Min unsat cost LB: 70848 ... c Min unsat cost LB: 70849 ... c Min unsat cost LB: 70850 ... c Min unsat cost LB: 70851 ... c Min unsat cost LB: 70852 ... c Min unsat cost LB: 70853 ... c Min unsat cost LB: 70854 ... c Min unsat cost LB: 70855 ... c Min unsat cost LB: 70856 ... c Min unsat cost LB: 70857 ... c Min unsat cost LB: 70858 ... c Min unsat cost LB: 70859 ... c Min unsat cost LB: 70860 ... c Min unsat cost LB: 70861 ... c Min unsat cost LB: 70862 ... c Min unsat cost LB: 70863 ... c Min unsat cost LB: 70864 ... c Min unsat cost LB: 70865 ... c Min unsat cost LB: 70866 ... c Min unsat cost LB: 70867 ... c Min unsat cost LB: 70869 ... c Min unsat cost LB: 70872 ... c Min unsat cost LB: 70873 ... c Min unsat cost LB: 70874 ... c Min unsat cost LB: 70877 ... c Min unsat cost LB: 70878 ... c Min unsat cost LB: 70879 ... c Min unsat cost LB: 70880 ... c Min unsat cost LB: 70881 ... c Min unsat cost LB: 70882 ... c Min unsat cost LB: 70883 ... c Min unsat cost LB: 70884 ... c Min unsat cost LB: 70885 ... c Min unsat cost LB: 70886 ... c Min unsat cost LB: 70887 ... c Min unsat cost LB: 70888 ... c Min unsat cost LB: 70889 ... c Min unsat cost LB: 70890 ... c Min unsat cost LB: 70891 ... c Min unsat cost LB: 70892 ... c Min unsat cost LB: 70893 ... c Min unsat cost LB: 70894 ... c Min unsat cost LB: 70895 ... c Min unsat cost LB: 70896 ... c Min unsat cost LB: 70897 ... c Min unsat cost LB: 70898 ... c Min unsat cost LB: 70899 ... c Min unsat cost LB: 70901 ... c Min unsat cost LB: 70903 ... c Min unsat cost LB: 70904 ... c Min unsat cost LB: 70905 ... c Min unsat cost LB: 70906 ... c Min unsat cost LB: 70907 ... c Min unsat cost LB: 70908 ... c Min unsat cost LB: 70909 ... c Min unsat cost LB: 70910 ... c Min unsat cost LB: 70914 ... c Min unsat cost LB: 70917 ... c Min unsat cost LB: 70918 ... c Min unsat cost LB: 70925 ... c Min unsat cost LB: 70935 ... c Min unsat cost LB: 70938 ... c Min unsat cost LB: 70939 ... c Min unsat cost LB: 70940 ... c Min unsat cost LB: 70941 ... c Min unsat cost LB: 70944 ... c Min unsat cost LB: 70946 ... c Min unsat cost LB: 70964 ... c Min unsat cost LB: 70989 ... c Min unsat cost LB: 70990 ... c Min unsat cost LB: 70991 ... c Min unsat cost LB: 70992 ... c Min unsat cost LB: 70993 ... c Min unsat cost LB: 70994 ... c Min unsat cost LB: 70995 ... c Min unsat cost LB: 70996 ... c Min unsat cost LB: 71001 ... c Min unsat cost LB: 71002 ... c Min unsat cost LB: 71003 ... c Min unsat cost LB: 71004 ... c Min unsat cost LB: 71005 ... c Min unsat cost LB: 71007 ... c Min unsat cost LB: 71008 ... c Min unsat cost LB: 71013 ... c Min unsat cost LB: 71014 ... c Min unsat cost LB: 71015 ... c Min unsat cost LB: 71016 ... c Min unsat cost LB: 71017 ... c Min unsat cost LB: 71018 ... c Min unsat cost LB: 71019 ... c Min unsat cost LB: 71020 ... c Min unsat cost LB: 71021 ... c Min unsat cost LB: 71022 ... c Min unsat cost LB: 71023 ... c Min unsat cost LB: 71024 ... c Min unsat cost LB: 71025 ... c Min unsat cost LB: 71026 ... c Min unsat cost LB: 71027 ... c Min unsat cost LB: 71028 ... c Min unsat cost LB: 71029 ... c Min unsat cost LB: 71030 ... c Min unsat cost LB: 71031 ... c Min unsat cost LB: 71032 ... c Min unsat cost LB: 71034 ... c Min unsat cost LB: 71035 ... c Min unsat cost LB: 71036 ... c Min unsat cost LB: 71037 ... c Min unsat cost LB: 71038 ... c Min unsat cost LB: 71039 ... c Min unsat cost LB: 71040 ... c Min unsat cost LB: 71041 ... c Min unsat cost LB: 71042 ... c Min unsat cost LB: 71043 ... c Min unsat cost LB: 71044 ... c Min unsat cost LB: 71045 ... c Min unsat cost LB: 71046 ... c Min unsat cost LB: 71047 ... c Min unsat cost LB: 71048 ... c Min unsat cost LB: 71049 ... c Min unsat cost LB: 71050 ... c Min unsat cost LB: 71051 ... c Min unsat cost LB: 71052 ... c Min unsat cost LB: 71053 ... c Min unsat cost LB: 71054 ... c Min unsat cost LB: 71055 ... c Min unsat cost LB: 71056 ... c Min unsat cost LB: 71057 ... c Min unsat cost LB: 71058 ... c Min unsat cost LB: 71059 ... c Min unsat cost LB: 71074 ... c Min unsat cost LB: 71075 ... c Min unsat cost LB: 71076 ... c Min unsat cost LB: 71077 ... c Min unsat cost LB: 71078 ... c Min unsat cost LB: 71079 ... c Min unsat cost LB: 71080 ... c Min unsat cost LB: 71081 ... c Min unsat cost LB: 71082 ... c Min unsat cost LB: 71083 ... c Min unsat cost LB: 71084 ... c Min unsat cost LB: 71085 ... c Min unsat cost LB: 71086 ... c Min unsat cost LB: 71088 ... c Min unsat cost LB: 71089 ... c Min unsat cost LB: 71090 ... c Min unsat cost LB: 71091 ... c Min unsat cost LB: 71092 ... c Min unsat cost LB: 71093 ... c Min unsat cost LB: 71094 ... c Min unsat cost LB: 71096 ... c Min unsat cost LB:Killed 1815.727u 4.009s 30:19.97 99.9% 0+0k 0+0io 0pf+0w