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_150_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0004.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_150_0004.txt.wcnf *** c c Min unsat cost LB: 1032 ... c Min unsat cost LB: 1488 ... c Min unsat cost LB: 1680 ... c Min unsat cost LB: 2236 ... c Min unsat cost LB: 3076 ... c Min unsat cost LB: 3216 ... c Min unsat cost LB: 3707 ... c Min unsat cost LB: 4163 ... c Min unsat cost LB: 4520 ... c Min unsat cost LB: 5341 ... c Min unsat cost LB: 6162 ... c Min unsat cost LB: 7022 ... c Min unsat cost LB: 7478 ... c Min unsat cost LB: 8326 ... c Min unsat cost LB: 8768 ... c Min unsat cost LB: 9616 ... c Min unsat cost LB: 10021 ... c Min unsat cost LB: 10596 ... c Min unsat cost LB: 11606 ... c Min unsat cost LB: 12064 ... c Min unsat cost LB: 12353 ... c Min unsat cost LB: 12526 ... c Min unsat cost LB: 13471 ... c Min unsat cost LB: 13876 ... c Min unsat cost LB: 14268 ... c Min unsat cost LB: 14698 ... c Min unsat cost LB: 14884 ... c Min unsat cost LB: 15334 ... c Min unsat cost LB: 15705 ... c Min unsat cost LB: 15766 ... c Min unsat cost LB: 16343 ... c Min unsat cost LB: 16773 ... c Min unsat cost LB: 16935 ... c Min unsat cost LB: 17014 ... c Min unsat cost LB: 17206 ... c Min unsat cost LB: 17216 ... c Min unsat cost LB: 17646 ... c Min unsat cost LB: 17850 ... c Min unsat cost LB: 18698 ... c Min unsat cost LB: 18757 ... c Min unsat cost LB: 19307 ... c Min unsat cost LB: 20089 ... c Min unsat cost LB: 21023 ... c Min unsat cost LB: 21210 ... c Min unsat cost LB: 22127 ... c Min unsat cost LB: 23137 ... c Min unsat cost LB: 23283 ... c Min unsat cost LB: 24046 ... c Min unsat cost LB: 24495 ... c Min unsat cost LB: 24577 ... c Min unsat cost LB: 25226 ... c Min unsat cost LB: 25439 ... c Min unsat cost LB: 25829 ... c Min unsat cost LB: 26040 ... c Min unsat cost LB: 27109 ... c Min unsat cost LB: 27230 ... c Min unsat cost LB: 27258 ... c Min unsat cost LB: 28024 ... c Min unsat cost LB: 28787 ... c Min unsat cost LB: 29228 ... c Min unsat cost LB: 29324 ... c Min unsat cost LB: 29421 ... c Min unsat cost LB: 29504 ... c Min unsat cost LB: 30484 ... c Min unsat cost LB: 31164 ... c Min unsat cost LB: 32144 ... c Min unsat cost LB: 33002 ... c Min unsat cost LB: 33184 ... c Min unsat cost LB: 34026 ... c Min unsat cost LB: 35006 ... c Min unsat cost LB: 35692 ... c Min unsat cost LB: 35903 ... c Min unsat cost LB: 36130 ... c Min unsat cost LB: 36302 ... c Min unsat cost LB: 36539 ... c Min unsat cost LB: 37282 ... c Min unsat cost LB: 37415 ... c Min unsat cost LB: 37871 ... c Min unsat cost LB: 38729 ... c Min unsat cost LB: 39285 ... c Min unsat cost LB: 40289 ... c Min unsat cost LB: 40419 ... c Min unsat cost LB: 40779 ... c Min unsat cost LB: 41104 ... c Min unsat cost LB: 41783 ... c Min unsat cost LB: 42728 ... c Min unsat cost LB: 42903 ... c Min unsat cost LB: 42984 ... c Min unsat cost LB: 43214 ... c Min unsat cost LB: 43552 ... c Min unsat cost LB: 43588 ... c Min unsat cost LB: 43943 ... c Min unsat cost LB: 44194 ... c Min unsat cost LB: 44384 ... c Min unsat cost LB: 44729 ... c Min unsat cost LB: 45194 ... c Min unsat cost LB: 46194 ... c Min unsat cost LB: 46278 ... c Min unsat cost LB: 46620 ... c Min unsat cost LB: 46747 ... c Min unsat cost LB: 46800 ... c Min unsat cost LB: 47025 ... c Min unsat cost LB: 47600 ... c Min unsat cost LB: 48460 ... c Min unsat cost LB: 48621 ... c Min unsat cost LB: 48633 ... c Min unsat cost LB: 49067 ... c Min unsat cost LB: 49312 ... c Min unsat cost LB: 49696 ... c Min unsat cost LB: 49717 ... c Min unsat cost LB: 50088 ... c Min unsat cost LB: 50248 ... c Min unsat cost LB: 50294 ... c Min unsat cost LB: 50374 ... c Min unsat cost LB: 50736 ... c Min unsat cost LB: 51292 ... c Min unsat cost LB: 51422 ... c Min unsat cost LB: 51594 ... c Min unsat cost LB: 51655 ... c Min unsat cost LB: 51795 ... c Min unsat cost LB: 52270 ... c Min unsat cost LB: 52302 ... c Min unsat cost LB: 52398 ... c Min unsat cost LB: 52485 ... c Min unsat cost LB: 52615 ... c Min unsat cost LB: 52723 ... c Min unsat cost LB: 52745 ... c Min unsat cost LB: 53001 ... c Min unsat cost LB: 53100 ... c Min unsat cost LB: 53133 ... c Min unsat cost LB: 53192 ... c Min unsat cost LB: 53275 ... c Min unsat cost LB: 53462 ... c Min unsat cost LB: 53665 ... c Min unsat cost LB: 53734 ... c Min unsat cost LB: 53851 ... c Min unsat cost LB: 53991 ... c Min unsat cost LB: 54099 ... c Min unsat cost LB: 54229 ... c Min unsat cost LB: 54310 ... c Min unsat cost LB: 54328 ... c Min unsat cost LB: 54402 ... c Min unsat cost LB: 54486 ... c Min unsat cost LB: 54567 ... c Min unsat cost LB: 54758 ... c Min unsat cost LB: 55114 ... c Min unsat cost LB: 55188 ... c Min unsat cost LB: 55210 ... c Min unsat cost LB: 55438 ... c Min unsat cost LB: 55925 ... c Min unsat cost LB: 56957 ... c Min unsat cost LB: 57041 ... c Min unsat cost LB: 57180 ... c Min unsat cost LB: 57271 ... c Min unsat cost LB: 57626 ... c Min unsat cost LB: 57786 ... c Min unsat cost LB: 57801 ... c Min unsat cost LB: 57805 ... c Min unsat cost LB: 57929 ... c Min unsat cost LB: 58038 ... c Min unsat cost LB: 58039 ... c Min unsat cost LB: 58099 ... c Min unsat cost LB: 58182 ... c Min unsat cost LB: 58279 ... c Min unsat cost LB: 58412 ... c Min unsat cost LB: 58511 ... c Min unsat cost LB: 58623 ... c Min unsat cost LB: 58650 ... c Min unsat cost LB: 58668 ... c Min unsat cost LB: 58683 ... c Min unsat cost LB: 58815 ... c Min unsat cost LB: 58822 ... c Min unsat cost LB: 58952 ... c Min unsat cost LB: 59033 ... c Min unsat cost LB: 59086 ... c Min unsat cost LB: 59263 ... c Min unsat cost LB: 59346 ... c Min unsat cost LB: 59550 ... c Min unsat cost LB: 59752 ... c Min unsat cost LB: 59882 ... c Min unsat cost LB: 59938 ... c Min unsat cost LB: 59974 ... c Min unsat cost LB: 59978 ... c Min unsat cost LB: 59990 ... c Min unsat cost LB: 60080 ... c Min unsat cost LB: 60492 ... c Min unsat cost LB: 60493 ... c Min unsat cost LB: 60632 ... c Min unsat cost LB: 60647 ... c Min unsat cost LB: 60750 ... c Min unsat cost LB: 61017 ... c Min unsat cost LB: 61249 ... c Min unsat cost LB: 61324 ... c Min unsat cost LB: 61436 ... c Min unsat cost LB: 61535 ... c Min unsat cost LB: 61572 ... c Min unsat cost LB: 61576 ... c Min unsat cost LB: 61617 ... c Min unsat cost LB: 61716 ... c Min unsat cost LB: 61804 ... c Min unsat cost LB: 61943 ... c Min unsat cost LB: 61949 ... c Min unsat cost LB: 61972 ... c Min unsat cost LB: 62033 ... c Min unsat cost LB: 62078 ... c Min unsat cost LB: 62091 ... c Min unsat cost LB: 62112 ... c Min unsat cost LB: 62130 ... c Min unsat cost LB: 62134 ... c Min unsat cost LB: 62188 ... c Min unsat cost LB: 62190 ... c Min unsat cost LB: 62221 ... c Min unsat cost LB: 62241 ... c Min unsat cost LB: 62265 ... c Min unsat cost LB: 62340 ... c Min unsat cost LB: 62416 ... c Min unsat cost LB: 62431 ... c Min unsat cost LB: 62435 ... c Min unsat cost LB: 62460 ... c Min unsat cost LB: 62481 ... c Min unsat cost LB: 62571 ... c Min unsat cost LB: 62634 ... c Min unsat cost LB: 62672 ... c Min unsat cost LB: 62725 ... c Min unsat cost LB: 62748 ... c Min unsat cost LB: 62752 ... c Min unsat cost LB: 62755 ... c Min unsat cost LB: 62779 ... c Min unsat cost LB: 62787 ... c Min unsat cost LB: 62862 ... c Min unsat cost LB: 62950 ... c Min unsat cost LB: 63068 ... c Min unsat cost LB: 63170 ... c Min unsat cost LB: 63175 ... c Min unsat cost LB: 63257 ... c Min unsat cost LB: 63261 ... c Min unsat cost LB: 63308 ... c Min unsat cost LB: 63449 ... c Min unsat cost LB: 63496 ... c Min unsat cost LB: 63512 ... c Min unsat cost LB: 63561 ... c Min unsat cost LB: 63640 ... c Min unsat cost LB: 63742 ... c Min unsat cost LB: 63795 ... c Min unsat cost LB: 63802 ... c Min unsat cost LB: 63952 ... c Min unsat cost LB: 64099 ... c Min unsat cost LB: 64101 ... c Min unsat cost LB: 64384 ... c Min unsat cost LB: 64406 ... c Min unsat cost LB: 64518 ... c Min unsat cost LB: 64635 ... c Min unsat cost LB: 64668 ... c Min unsat cost LB: 64675 ... c Min unsat cost LB: 64814 ... c Min unsat cost LB: 64875 ... c Min unsat cost LB: 65025 ... c Min unsat cost LB: 65065 ... c Min unsat cost LB: 65186 ... c Min unsat cost LB: 65221 ... c Min unsat cost LB: 65415 ... c Min unsat cost LB: 65456 ... c Min unsat cost LB: 65521 ... c Min unsat cost LB: 65629 ... c Min unsat cost LB: 65631 ... c Min unsat cost LB: 65649 ... c Min unsat cost LB: 65667 ... c Min unsat cost LB: 65837 ... c Min unsat cost LB: 65849 ... c Min unsat cost LB: 65864 ... c Min unsat cost LB: 65929 ... c Min unsat cost LB: 65939 ... c Min unsat cost LB: 65952 ... c Min unsat cost LB: 65958 ... c Min unsat cost LB: 66003 ... c Min unsat cost LB: 66004 ... c Min unsat cost LB: 66038 ... c Min unsat cost LB: 66045 ... c Min unsat cost LB: 66059 ... c Min unsat cost LB: 66178 ... c Min unsat cost LB: 66211 ... c Min unsat cost LB: 66244 ... c Min unsat cost LB: 66252 ... c Min unsat cost LB: 66262 ... c Min unsat cost LB: 66285 ... c Min unsat cost LB: 66301 ... c Min unsat cost LB: 66320 ... c Min unsat cost LB: 66356 ... c Min unsat cost LB: 66379 ... c Min unsat cost LB: 66383 ... c Min unsat cost LB: 66452 ... c Min unsat cost LB: 66453 ... c Min unsat cost LB: 66456 ... c Min unsat cost LB: 66475 ... c Min unsat cost LB: 66490 ... c Min unsat cost LB: 66536 ... c Min unsat cost LB: 66558 ... c Min unsat cost LB: 66629 ... c Min unsat cost LB: 66652 ... c Min unsat cost LB: 66653 ... c Min unsat cost LB: 66736 ... c Min unsat cost LB: 66748 ... c Min unsat cost LB: 66804 ... c Min unsat cost LB: 66808 ... c Min unsat cost LB: 66818 ... c Min unsat cost LB: 66838 ... c Min unsat cost LB: 66953 ... c Min unsat cost LB: 66992 ... c Min unsat cost LB: 66995 ... c Min unsat cost LB: 66998 ... c Min unsat cost LB: 67013 ... c Min unsat cost LB: 67045 ... c Min unsat cost LB: 67063 ... c Min unsat cost LB: 67108 ... c Min unsat cost LB: 67157 ... c Min unsat cost LB: 67183 ... c Min unsat cost LB: 67199 ... c Min unsat cost LB: 67296 ... c Min unsat cost LB: 67298 ... c Min unsat cost LB: 67300 ... c Min unsat cost LB: 67310 ... c Min unsat cost LB: 67325 ... c Min unsat cost LB: 67444 ... c Min unsat cost LB: 67445 ... c Min unsat cost LB: 67513 ... c Min unsat cost LB: 67548 ... c Min unsat cost LB: 67560 ... c Min unsat cost LB: 67563 ... c Min unsat cost LB: 67566 ... c Min unsat cost LB: 67570 ... c Min unsat cost LB: 67575 ... c Min unsat cost LB: 67581 ... c Min unsat cost LB: 67587 ... c Min unsat cost LB: 67605 ... c Min unsat cost LB: 67611 ... c Min unsat cost LB: 67625 ... c Min unsat cost LB: 67634 ... c Min unsat cost LB: 67650 ... c Min unsat cost LB: 67656 ... c Min unsat cost LB: 67662 ... c Min unsat cost LB: 67668 ... c Min unsat cost LB: 67671 ... c Min unsat cost LB: 67690 ... c Min unsat cost LB: 67695 ... c Min unsat cost LB: 67705 ... c Min unsat cost LB: 67708 ... c Min unsat cost LB: 67711 ... c Min unsat cost LB: 67714 ... c Min unsat cost LB: 67715 ... c Min unsat cost LB: 67716 ... c Min unsat cost LB: 67717 ... c Min unsat cost LB: 67719 ... c Min unsat cost LB: 67732 ... c Min unsat cost LB: 67733 ... c Min unsat cost LB: 67734 ... c Min unsat cost LB: 67737 ... c Min unsat cost LB: 67738 ... c Min unsat cost LB: 67741 ... c Min unsat cost LB: 67774 ... c Min unsat cost LB: 67787 ... c Min unsat cost LB: 67788 ... c Min unsat cost LB: 67795 ... c Min unsat cost LB: 67807 ... c Min unsat cost LB: 67808 ... c Min unsat cost LB: 67809 ... c Min unsat cost LB: 67815 ... c Min unsat cost LB: 67818 ... c Min unsat cost LB: 67839 ... c Min unsat cost LB: 67862 ... c Min unsat cost LB: 67864 ... c Min unsat cost LB: 67866 ... c Min unsat cost LB: 67877 ... c Min unsat cost LB: 67900 ... c Min unsat cost LB: 67924 ... c Min unsat cost LB: 67939 ... c Min unsat cost LB: 67943 ... c Min unsat cost LB: 67946 ... c Min unsat cost LB: 67965 ... c Min unsat cost LB: 67966 ... c Min unsat cost LB: 67975 ... c Min unsat cost LB: 67978 ... c Min unsat cost LB: 67987 ... c Min unsat cost LB: 67991 ... c Min unsat cost LB: 67999 ... c Min unsat cost LB: 68036 ... c Min unsat cost LB: 68039 ... c Min unsat cost LB: 68044 ... c Min unsat cost LB: 68045 ... c Min unsat cost LB: 68046 ... c Min unsat cost LB: 68050 ... c Min unsat cost LB: 68059 ... c Min unsat cost LB: 68068 ... c Min unsat cost LB: 68069 ... c Min unsat cost LB: 68076 ... c Min unsat cost LB: 68083 ... c Min unsat cost LB: 68085 ... c Min unsat cost LB: 68090 ... c Min unsat cost LB: 68094 ... c Min unsat cost LB: 68096 ... c Min unsat cost LB: 68113 ... c Min unsat cost LB: 68116 ... c Min unsat cost LB: 68119 ... c Min unsat cost LB: 68122 ... c Min unsat cost LB: 68126 ... c Min unsat cost LB: 68147 ... c Min unsat cost LB: 68152 ... c Min unsat cost LB: 68158 ... c Min unsat cost LB: 68159 ... c Min unsat cost LB: 68168 ... c Min unsat cost LB: 68170 ... c Min unsat cost LB: 68171 ... c Min unsat cost LB: 68175 ... c Min unsat cost LB: 68177 ... c Min unsat cost LB: 68179 ... c Min unsat cost LB: 68180 ... c Min unsat cost LB: 68181 ... c Min unsat cost LB: 68186 ... c Min unsat cost LB: 68188 ... c Min unsat cost LB: 68189 ... c Min unsat cost LB: 68191 ... c Min unsat cost LB: 68194 ... c Min unsat cost LB: 68198 ... c Min unsat cost LB: 68205 ... c Min unsat cost LB: 68207 ... c Min unsat cost LB: 68224 ... c Min unsat cost LB: 68227 ... c Min unsat cost LB: 68228 ... c Min unsat cost LB: 68229 ... c Min unsat cost LB: 68230 ... c Min unsat cost LB: 68231 ... c Min unsat cost LB: 68233 ... c Min unsat cost LB: 68234 ... c Min unsat cost LB: 68235 ... c Min unsat cost LB: 68236 ... c Min unsat cost LB: 68237 ... c Min unsat cost LB: 68238 ... c Min unsat cost LB: 68241 ... c Min unsat cost LB: 68244 ... c Min unsat cost LB: 68253 ... c Min unsat cost LB: 68255 ... c Min unsat cost LB: 68257 ... c Min unsat cost LB: 68258 ... c Min unsat cost LB: 68259 ... c Min unsat cost LB: 68261 ... c Min unsat cost LB: 68262 ... c Min unsat cost LB: 68264 ... c Min unsat cost LB: 68265 ... c Min unsat cost LB: 68266 ... c Min unsat cost LB: 68268 ... c Min unsat cost LB: 68270 ... c Min unsat cost LB: 68272 ... c Min unsat cost LB: 68273 ... c Min unsat cost LB: 68274 ... c Min unsat cost LB: 68275 ... c Min unsat cost LB: 68276 ... c Min unsat cost LB: 68277 ... c Min unsat cost LB: 68278 ... c Min unsat cost LB: 68313 ... c Min unsat cost LB: 68330 ... c Min unsat cost LB: 68370 ... c Min unsat cost LB: 68372 ... c Min unsat cost LB: 68439 ... c Min unsat cost LB: 68448 ... c Min unsat cost LB: 68477 ... c Min unsat cost LB: 68495 ... c Min unsat cost LB: 68500 ... c Min unsat cost LB: 68516 ... c Min unsat cost LB: 68559 ... c Min unsat cost LB: 68560 ... c Min unsat cost LB: 68571 ... c Min unsat cost LB: 68573 ... c Min unsat cost LB: 68591 ... c Min unsat cost LB: 68604 ... c Min unsat cost LB: 68610 ... c Min unsat cost LB: 68614 ... c Min unsat cost LB: 68625 ... c Min unsat cost LB: 68626 ... c Min unsat cost LB: 68630 ... c Min unsat cost LB: 68637 ... c Min unsat cost LB: 68658 ... c Min unsat cost LB: 68670 ... c Min unsat cost LB: 68676 ... c Min unsat cost LB: 68716 ... c Min unsat cost LB: 68751 ... c Min unsat cost LB: 68777 ... c Min unsat cost LB: 68783 ... c Min unsat cost LB: 68796 ... c Min unsat cost LB: 68801 ... c Min unsat cost LB: 68816 ... c Min unsat cost LB: 68820 ... c Min unsat cost LB: 68822 ... c Min unsat cost LB: 68823 ... c Min unsat cost LB: 68828 ... c Min unsat cost LB: 68829 ... c Min unsat cost LB: 68839 ... c Min unsat cost LB: 68856 ... c Min unsat cost LB: 68858 ... c Min unsat cost LB: 68868 ... c Min unsat cost LB: 68869 ... c Min unsat cost LB: 68877 ... c Min unsat cost LB: 68880 ... c Min unsat cost LB: 68885 ... c Min unsat cost LB: 68889 ... c Min unsat cost LB: 68890 ... c Min unsat cost LB: 68891 ... c Min unsat cost LB: 68893 ... c Min unsat cost LB: 68894 ... c Min unsat cost LB: 68907 ... c Min unsat cost LB: 68909 ... c Min unsat cost LB: 68910 ... c Min unsat cost LB: 68923 ... c Min unsat cost LB: 68926 ... c Min unsat cost LB: 68937 ... c Min unsat cost LB: 68942 ... c Min unsat cost LB: 69025 ... c Min unsat cost LB: 69026 ... c Min unsat cost LB: 69044 ... c Min unsat cost LB: 69047 ... c Min unsat cost LB: 69049 ... c Min unsat cost LB: 69054 ... c Min unsat cost LB: 69057 ... c Min unsat cost LB: 69059 ... c Min unsat cost LB: 69060 ... c Min unsat cost LB: 69063 ... c Min unsat cost LB: 69064 ... c Min unsat cost LB: 69065 ... c Min unsat cost LB: 69070 ... c Min unsat cost LB: 69073 ... c Min unsat cost LB: 69097 ... c Min unsat cost LB: 69099 ... c Min unsat cost LB: 69179 ... c Min unsat cost LB: 69185 ... c Min unsat cost LB: 69197 ... c Min unsat cost LB: 69199 ... c Min unsat cost LB: 69202 ... c Min unsat cost LB: 69203 ... c Min unsat cost LB: 69205 ... c Min unsat cost LB: 69209 ... c Min unsat cost LB: 69210 ... c Min unsat cost LB: 69212 ... c Min unsat cost LB: 69216 ... c Min unsat cost LB: 69227 ... c Min unsat cost LB: 69233 ... c Min unsat cost LB: 69237 ... c Min unsat cost LB: 69241 ... c Min unsat cost LB: 69249 ... c Min unsat cost LB: 69257 ... c Min unsat cost LB: 69263 ... c Min unsat cost LB: 69265 ... c Min unsat cost LB: 69266 ... c Min unsat cost LB: 69267 ... c Min unsat cost LB: 69268 ... c Min unsat cost LB: 69269 ... c Min unsat cost LB: 69270 ... c Min unsat cost LB: 69272 ... c Min unsat cost LB: 69275 ... c Min unsat cost LB: 69276 ... c Min unsat cost LB: 69279 ... c Min unsat cost LB: 69281 ... c Min unsat cost LB: 69283 ... c Min unsat cost LB: 69287 ... c Min unsat cost LB: 69290 ... c Min unsat cost LB: 69291 ... c Min unsat cost LB: 69292 ... c Min unsat cost LB: 69293 ... c Min unsat cost LB: 69294 ... c Min unsat cost LB: 69295 ... c Min unsat cost LB: 69296 ... c Min unsat cost LB: 69297 ... c Min unsat cost LB: 69299 ... c Min unsat cost LB: 69301 ... c Min unsat cost LB: 69302 ... c Min unsat cost LB: 69303 ... c Min unsat cost LB: 69304 ... c Min unsat cost LB: 69307 ... c Min unsat cost LB: 69308 ... c Min unsat cost LB: 69309 ... c Min unsat cost LB: 69317 ... c Min unsat cost LB: 69319 ... c Min unsat cost LB: 69321 ... c Min unsat cost LB: 69322 ... c Min unsat cost LB: 69324 ... c Min unsat cost LB: 69325 ... c Min unsat cost LB: 69327 ... c Min unsat cost LB: 69334 ... c Min unsat cost LB: 69349 ... c Min unsat cost LB: 69359 ... c Min unsat cost LB: 69360 ... c Min unsat cost LB: 69361 ... c Min unsat cost LB: 69372 ... c Min unsat cost LB: 69374 ... c Min unsat cost LB: 69426 ... c Min unsat cost LB: 69427 ... c Min unsat cost LB: 69430 ... c Min unsat cost LB: 69433 ... c Min unsat cost LB: 69438 ... c Min unsat cost LB: 69439 ... c Min unsat cost LB: 69441 ... c Min unsat cost LB: 69442 ... c Min unsat cost LB: 69443 ... c Min unsat cost LB: 69444 ... c Min unsat cost LB: 69446 ... c Min unsat cost LB: 69455 ... c Min unsat cost LB: 69456 ... c Min unsat cost LB: 69461 ... c Min unsat cost LB: 69470 ... c Min unsat cost LB: 69471 ... c Min unsat cost LB: 69480 ... c Min unsat cost LB: 69481 ... c Min unsat cost LB: 69482 ... c Min unsat cost LB: 69486 ... c Min unsat cost LB: 69487 ... c Min unsat cost LB: 69488 ... c Min unsat cost LB: 69489 ... c Min unsat cost LB: 69490 ... c Min unsat cost LB: 69492 ... c Min unsat cost LB: 69498 ... c Min unsat cost LB: 69499 ... c Min unsat cost LB: 69504 ... c Min unsat cost LB: 69505 ... c Min unsat cost LB: 69507 ... c Min unsat cost LB: 69514 ... c Min unsat cost LB: 69515 ... c Min unsat cost LB: 69516 ... c Min unsat cost LB: 69517 ... c Min unsat cost LB: 69518 ... c Min unsat cost LB: 69519 ... c Min unsat cost LB: 69520 ... c Min unsat cost LB: 69528 ... c Min unsat cost LB: 69530 ... c Min unsat cost LB: 69540 ... c Min unsat cost LB: 69541 ... c Min unsat cost LB: 69542 ... c Min unsat cost LB: 69543 ... c Min unsat cost LB: 69547 ... c Min unsat cost LB: 69549 ... c Min unsat cost LB: 69564 ... c Min unsat cost LB: 69575 ... c Min unsat cost LB: 69578 ... c Min unsat cost LB: 69583 ... c Min unsat cost LB: 69593 ... c Min unsat cost LB: 69595 ... c Min unsat cost LB: 69602 ... c Min unsat cost LB: 69603 ... c Min unsat cost LB: 69604 ... c Min unsat cost LB: 69615 ... c Min unsat cost LB: 69616 ... c Min unsat cost LB: 69617 ... c Min unsat cost LB: 69618 ... c Min unsat cost LB: 69619 ... c Min unsat cost LB: 69620 ... c Min unsat cost LB: 69621 ... c Min unsat cost LB: 69622 ... c Min unsat cost LB: 69623 ... c Min unsat cost LB: 69624 ... c Min unsat cost LB: 69630 ... c Min unsat cost LB: 69631 ... c Min unsat cost LB: 69632 ... c Min unsat cost LB: 69635 ... c Min unsat cost LB: 69636 ... c Min unsat cost LB: 69637 ... c Min unsat cost LB: 69638 ... c Min unsat cost LB: 69639 ... c Min unsat cost LB: 69640 ... c Min unsat cost LB: 69641 ... c Min unsat cost LB: 69643 ... c Min unsat cost LB: 69645 ... c Min unsat cost LB: 69647 ... c Min unsat cost LB: 69648 ... c Min unsat cost LB: 69649 ... c Min unsat cost LB: 69650 ... c Min unsat cost LB: 69651 ... c Min unsat cost LB: 69652 ... c Min unsat cost LB: 69653 ... c Min unsat cost LB: 69654 ... c Min unsat cost LB: 69655 ... c Min unsat cost LB: 69656 ... c Min unsat cost LB: 69657 ... c Min unsat cost LB: 69677 ... c Min unsat cost LB: 69679 ... c Min unsat cost LB: 69680 ... c Min unsat cost LB: 69682 ... c Min unsat cost LB: 69685 ... c Min unsat cost LB: 69686 ... c Min unsat cost LB: 69687 ... c Min unsat cost LB: 69689 ... c Min unsat cost LB: 69692 ... c Min unsat cost LB: 69693 ... c Min unsat cost LB: 69694 ... c Min unsat cost LB: 69695 ... c Min unsat cost LB: 69696 ... c Min unsat cost LB: 69697 ... c Min unsat cost LB: 69709 ... c Min unsat cost LB: 69711 ... c Min unsat cost LB: 69712 ... c Min unsat cost LB: 69715 ... c Min unsat cost LB: 69717 ... c Min unsat cost LB: 69718 ... c Min unsat cost LB: 69719 ... c Min unsat cost LB: 69720 ... c Min unsat cost LB: 69721 ... c Min unsat cost LB: 69722 ... c Min unsat cost LB: 69728 ... c Min unsat cost LB: 69729 ... c Min unsat cost LB: 69732 ... c Min unsat cost LB: 69741 ... c Min unsat cost LB: 69744 ... c Min unsat cost LB: 69750 ... c Min unsat cost LB: 69756 ... c Min unsat cost LB: 69759 ... c Min unsat cost LB: 69764 ... c Min unsat cost LB: 69768 ... c Min unsat cost LB: 69772 ... c Min unsat cost LB: 69773 ... 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: 69787 ... c Min unsat cost LB: 69788 ... c Min unsat cost LB: 69789 ... c Min unsat cost LB: 69790 ... c Min unsat cost LB: 69791 ... c Min unsat cost LB: 69792 ... c Min unsat cost LB: 69793 ... c Min unsat cost LB: 69795 ... c Min unsat cost LB: 69797 ... 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: 69812 ... c Min unsat cost LB: 69813 ... c Min unsat cost LB: 69814 ... c Min unsat cost LB: 69815 ... c Min unsat cost LB: 69816 ... c Min unsat cost LB: 69817 ... c Min unsat cost LB: 69818 ... c Min unsat cost LB: 69819 ... c Min unsat cost LB: 69820 ... c Min unsat cost LB: 69821 ... c Min unsat cost LB: 69822 ... c Min unsat cost LB: 69823 ... c Min unsat cost LB: 69824 ... c Min unsat cost LB: 69825 ... c Min unsat cost LB: 69826 ... c Min unsat cost LB: 69827 ... c Min unsat cost LB: 69828 ... c Min unsat cost LB: 69829 ... c Min unsat cost LB: 69830 ... c Min unsat cost LB: 69831 ... c Min unsat cost LB: 69832 ... c Min unsat cost LB: 69833 ... c Min unsat cost LB: 69834 ... c Min unsat cost LB: 69835 ... c Min unsat cost LB: 69836 ... c Min unsat cost LB: 69837 ... c Min unsat cost LB: 69838 ... c Min unsat cost LB: 69842 ... c Min unsat cost LB: 69865 ... c Min unsat cost LB: 69866 ... c Min unsat cost LB: 69867 ... c Min unsat cost LB: 69868 ... c Min unsat cost LB: 69869 ... c Min unsat cost LB: 69870 ... c Min unsat cost LB: 69871 ... c Min unsat cost LB: 69872 ... c Min unsat cost LB: 69873 ... c Min unsat cost LB: 69878 ... c Min unsat cost LB: 69881 ... c Min unsat cost LB: 69883 ... c Min unsat cost LB: 69885 ... c Min unsat cost LB: 69891 ... c Min unsat cost LB: 69892 ... c Min unsat cost LB: 69896 ... c Min unsat cost LB: 69897 ... c Min unsat cost LB: 69907 ... c Min unsat cost LB: 69908 ... c Min unsat cost LB: 69909 ... c Min unsat cost LB: 69911 ... c Min unsat cost LB: 69913 ... c Min unsat cost LB: 69914 ... c Min unsat cost LB: 69915 ... c Min unsat cost LB: 69916 ... c Min unsat cost LB: 69917 ... c Min unsat cost LB: 69918 ... c Min unsat cost LB: 69919 ... c Min unsat cost LB: 69920 ... c Min unsat cost LB: 69921 ... c Min unsat cost LB: 69924 ... c Min unsat cost LB: 69934 ... c Min unsat cost LB: 69935 ... c Min unsat cost LB: 69936 ... c Min unsat cost LB: 69937 ... c Min unsat cost LB: 69938 ... c Min unsat cost LB: 69939 ... c Min unsat cost LB: 69940 ... c Min unsat cost LB: 69941 ... c Min unsat cost LB: 69942 ... c Min unsat cost LB: 69943 ... c Min unsat cost LB: 69944 ... c Min unsat cost LB: 69945 ... c Min unsat cost LB: 69946 ... c Min unsat cost LB: 69947 ... c Min unsat cost LB: 69948 ... c Min unsat cost LB: 69949 ... c Min unsat cost LB: 69950 ... c Min unsat cost LB: 69951 ... 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: 69958 ... c Min unsat cost LB: 69959 ... c Min unsat cost LB: 69960 ... c Min unsat cost LB: 69961 ... c Min unsat cost LB: 69962 ... c Min unsat cost LB: 69963 ... c Min unsat cost LB: 69964 ... c Min unsat cost LB: 69965 ... c Min unsat cost LB: 69966 ... c Min unsat cost LB: 69967 ... c Min unsat cost LB: 69968 ... c Min unsat cost LB: 69969 ... c Min unsat cost LB: 69970 ... c Min unsat cost LB: 69971 ... c Min unsat cost LB: 69972 ... c Min unsat cost LB: 69975 ... c Min unsat cost LB: 69976 ... c Min unsat cost LB: 69977 ... c Min unsat cost LB: 69978 ... c Min unsat cost LB: 69979 ... c Min unsat cost LB: 69980 ... c Min unsat cost LB: 69981 ... c Min unsat cost LB: 69982 ... c Min unsat cost LB: 69983 ... c Min unsat cost LB: 69984 ... c Min unsat cost LB: 69985 ... c Min unsat cost LB: 69986 ... c Min unsat cost LB: 69991 ... c Min unsat cost LB: 69993 ... c Min unsat cost LB: 69994 ... c Min unsat cost LB: 69996 ... c Min unsat cost LB: 70003 ... c Min unsat cost LB: 70004 ... c Min unsat cost LB: 70006 ... c Min unsat cost LB: 70011 ... c Min unsat cost LB: 70012 ... c Min unsat cost LB: 70013 ... c Min unsat cost LB: 70014 ... c Min unsat cost LB: 70029 ... c Min unsat cost LB: 70031 ... c Min unsat cost LB: 70032 ... c Min unsat cost LB: 70033 ... c Min unsat cost LB: 70036 ... c Min unsat cost LB: 70038 ... c Min unsat cost LB: 70039 ... c Min unsat cost LB: 70040 ... c Min unsat cost LB: 70041 ... c Min unsat cost LB: 70042 ... c Min unsat cost LB: 70046 ... c Min unsat cost LB: 70047 ... c Min unsat cost LB: 70048 ... c Min unsat cost LB: 70049 ... c Min unsat cost LB: 70050 ... c Min unsat cost LB: 70051 ... c Min unsat cost LB: 70052 ... c Min unsat cost LB: 70053 ... c Min unsat cost LB: 70054 ... c Min unsat cost LB: 70055 ... c Min unsat cost LB: 70056 ... 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: 70063 ... c Min unsat cost LB: 70064 ... c Min unsat cost LB: 70065 ... c Min unsat cost LB: 70066 ... c Min unsat cost LB: 70067 ... c Min unsat cost LB: 70068 ... c Min unsat cost LB: 70069 ... c Min unsat cost LB: 70070 ... 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: 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: 70104 ... c Min unsat cost LB: 70109 ... c Min unsat cost LB: 70112 ... c Min unsat cost LB: 70120 ... c Min unsat cost LB: 70121 ... c Min unsat cost LB: 70123 ... c Min unsat cost LB: 70129 ... c Min unsat cost LB: 70130 ... c Min unsat cost LB: 70131 ... c Min unsat cost LB: 70132 ... c Min unsat cost LB: 70133 ... c Min unsat cost LB: 70134 ... c Min unsat cost LB: 70135 ... c Min unsat cost LB: 70136 ... c Min unsat cost LB: 70137 ... c Min unsat cost LB: 70138 ... c Min unsat cost LB: 70139 ... c Min unsat cost LB: 70140 ... c Min unsat cost LB: 70141 ... c Min unsat cost LB: 70142 ... c Min unsat cost LB: 70143 ... c Min unsat cost LB: 70144 ... c Min unsat cost LB: 70145 ... c Min unsat cost LB: 70146 ... c Min unsat cost LB: 70147 ... c Min unsat cost LB: 70148 ... c Min unsat cost LB: 70149 ... c Min unsat cost LB: 70150 ... c Min unsat cost LB: 70151 ... c Min unsat cost LB: 70152 ... c Min unsat cost LB: 70153 ... c Min unsat cost LB: 70154 ... c Min unsat cost LB: 70155 ... c Min unsat cost LB: 70156 ... c Min unsat cost LB: 70157 ... c Min unsat cost LB: 70158 ... c Min unsat cost LB: 70159 ... c Min unsat cost LB: 70160 ... c Min unsat cost LB: 70161 ... c Min unsat cost LB: 70162 ... c Min unsat cost LB: 70163 ... c Min unsat cost LB: 70164 ... c Min unsat cost LB: 70165 ... c Min unsat cost LB: 70166 ... c Min unsat cost LB: 70167 ... c Min unsat cost LB: 70168 ... c Min unsat cost LB: 70169 ... c Min unsat cost LB: 70170 ... c Min unsat cost LB: 70171 ... c Min unsat cost LB: 70172 ... c Min unsat cost LB: 70173 ... c Min unsat cost LB: 70174 ... c Min unsat cost LB: 70175 ... c Min unsat cost LB: 70176 ... c Min unsat cost LB: 70179 ... c Min unsat cost LB: 70180 ... c Min unsat cost LB: 70181 ... c Min unsat cost LB: 70182 ... c Min unsat cost LB: 70183 ... c Min unsat cost LB: 70184 ... c Min unsat cost LB: 70185 ... c Min unsat cost LB: 70193 ... c Min unsat cost LB: 70194 ... c Min unsat cost LB: 70195 ... c Min unsat cost LB: 70196 ... c Min unsat cost LB: 70197 ... c Min unsat cost LB: 70198 ... c Min unsat cost LB: 70199 ... c Min unsat cost LB: 70200 ... c Min unsat cost LB: 70202 ... c Min unsat cost LB: 70204 ... c Min unsat cost LB: 70209 ... c Min unsat cost LB: 70210 ... c Min unsat cost LB: 70211 ... c Min unsat cost LB: 70212 ... c Min unsat cost LB: 70215 ... c Min unsat cost LB: 70218 ... c Min unsat cost LB: 70219 ... c Min unsat cost LB: 70224 ... c Min unsat cost LB: 70226 ... c Min unsat cost LB: 70227 ... c Min unsat cost LB: 70228 ... c Min unsat cost LB: 70230 ... c Min unsat cost LB: 70232 ... c Min unsat cost LB: 70233 ... c Min unsat cost LB: 70234 ... c Min unsat cost LB: 70235 ... c Min unsat cost LB: 70236 ... c Min unsat cost LB: 70237 ... c Min unsat cost LB: 70238 ... c Min unsat cost LB: 70239 ... c Min unsat cost LB: 70240 ... c Min unsat cost LB: 70241 ... c Min unsat cost LB: 70242 ... c Min unsat cost LB: 70243 ... c Min unsat cost LB: 70244 ... c Min unsat cost LB: 70245 ... c Min unsat cost LB: 70246 ... 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: 70255 ... c Min unsat cost LB: 70256 ... c Min unsat cost LB: 70257 ... c Min unsat costKilled 1814.261u 5.479s 30:19.92 99.9% 0+0k 0+0io 0pf+0w