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_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0000.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_0000.txt.wcnf *** c c Min unsat cost LB: 1209 ... c Min unsat cost LB: 2189 ... c Min unsat cost LB: 2949 ... c Min unsat cost LB: 3054 ... c Min unsat cost LB: 3290 ... c Min unsat cost LB: 4071 ... c Min unsat cost LB: 4709 ... c Min unsat cost LB: 5368 ... c Min unsat cost LB: 5583 ... c Min unsat cost LB: 5604 ... c Min unsat cost LB: 5803 ... c Min unsat cost LB: 6647 ... c Min unsat cost LB: 6799 ... c Min unsat cost LB: 7427 ... c Min unsat cost LB: 8271 ... c Min unsat cost LB: 8887 ... c Min unsat cost LB: 9655 ... c Min unsat cost LB: 9685 ... c Min unsat cost LB: 10283 ... c Min unsat cost LB: 11051 ... c Min unsat cost LB: 11451 ... c Min unsat cost LB: 11975 ... c Min unsat cost LB: 12507 ... c Min unsat cost LB: 12592 ... c Min unsat cost LB: 12820 ... c Min unsat cost LB: 12941 ... c Min unsat cost LB: 13360 ... c Min unsat cost LB: 13574 ... c Min unsat cost LB: 13981 ... c Min unsat cost LB: 14209 ... c Min unsat cost LB: 14458 ... c Min unsat cost LB: 14863 ... c Min unsat cost LB: 14887 ... c Min unsat cost LB: 15338 ... c Min unsat cost LB: 15699 ... c Min unsat cost LB: 16128 ... c Min unsat cost LB: 16356 ... c Min unsat cost LB: 16756 ... c Min unsat cost LB: 17068 ... c Min unsat cost LB: 17429 ... c Min unsat cost LB: 17497 ... c Min unsat cost LB: 18257 ... c Min unsat cost LB: 18517 ... c Min unsat cost LB: 18783 ... c Min unsat cost LB: 19647 ... c Min unsat cost LB: 20173 ... c Min unsat cost LB: 20349 ... c Min unsat cost LB: 20413 ... c Min unsat cost LB: 20423 ... c Min unsat cost LB: 21160 ... c Min unsat cost LB: 21293 ... c Min unsat cost LB: 21552 ... c Min unsat cost LB: 21860 ... c Min unsat cost LB: 22515 ... c Min unsat cost LB: 23136 ... c Min unsat cost LB: 23604 ... c Min unsat cost LB: 24632 ... c Min unsat cost LB: 24840 ... c Min unsat cost LB: 25352 ... c Min unsat cost LB: 25522 ... c Min unsat cost LB: 26048 ... c Min unsat cost LB: 26662 ... c Min unsat cost LB: 26995 ... c Min unsat cost LB: 27424 ... c Min unsat cost LB: 27453 ... c Min unsat cost LB: 28297 ... c Min unsat cost LB: 29141 ... c Min unsat cost LB: 29244 ... c Min unsat cost LB: 30073 ... c Min unsat cost LB: 30199 ... c Min unsat cost LB: 30623 ... c Min unsat cost LB: 30647 ... c Min unsat cost LB: 30839 ... c Min unsat cost LB: 31081 ... c Min unsat cost LB: 31816 ... c Min unsat cost LB: 32245 ... c Min unsat cost LB: 32465 ... c Min unsat cost LB: 32642 ... c Min unsat cost LB: 32697 ... c Min unsat cost LB: 33652 ... c Min unsat cost LB: 33755 ... c Min unsat cost LB: 33806 ... c Min unsat cost LB: 34786 ... c Min unsat cost LB: 34830 ... c Min unsat cost LB: 35350 ... c Min unsat cost LB: 35494 ... c Min unsat cost LB: 36323 ... c Min unsat cost LB: 37504 ... c Min unsat cost LB: 38163 ... c Min unsat cost LB: 38579 ... c Min unsat cost LB: 38831 ... c Min unsat cost LB: 39591 ... c Min unsat cost LB: 40435 ... c Min unsat cost LB: 40538 ... c Min unsat cost LB: 40587 ... c Min unsat cost LB: 40801 ... c Min unsat cost LB: 41014 ... c Min unsat cost LB: 41270 ... c Min unsat cost LB: 41443 ... c Min unsat cost LB: 41538 ... c Min unsat cost LB: 41733 ... c Min unsat cost LB: 42085 ... c Min unsat cost LB: 42341 ... c Min unsat cost LB: 42566 ... c Min unsat cost LB: 42596 ... c Min unsat cost LB: 42651 ... c Min unsat cost LB: 42763 ... c Min unsat cost LB: 42969 ... c Min unsat cost LB: 42993 ... c Min unsat cost LB: 43021 ... c Min unsat cost LB: 43127 ... c Min unsat cost LB: 43300 ... c Min unsat cost LB: 43534 ... c Min unsat cost LB: 43579 ... c Min unsat cost LB: 43711 ... c Min unsat cost LB: 43776 ... c Min unsat cost LB: 43938 ... c Min unsat cost LB: 44076 ... c Min unsat cost LB: 44161 ... c Min unsat cost LB: 44222 ... c Min unsat cost LB: 44328 ... c Min unsat cost LB: 44503 ... c Min unsat cost LB: 44552 ... c Min unsat cost LB: 44615 ... c Min unsat cost LB: 44644 ... c Min unsat cost LB: 44651 ... c Min unsat cost LB: 45024 ... c Min unsat cost LB: 45092 ... c Min unsat cost LB: 45258 ... c Min unsat cost LB: 45265 ... c Min unsat cost LB: 45319 ... c Min unsat cost LB: 45583 ... c Min unsat cost LB: 45586 ... c Min unsat cost LB: 46150 ... c Min unsat cost LB: 46727 ... c Min unsat cost LB: 47530 ... c Min unsat cost LB: 47707 ... c Min unsat cost LB: 47721 ... c Min unsat cost LB: 47731 ... c Min unsat cost LB: 47816 ... c Min unsat cost LB: 47830 ... c Min unsat cost LB: 48076 ... c Min unsat cost LB: 48328 ... c Min unsat cost LB: 48363 ... c Min unsat cost LB: 48510 ... c Min unsat cost LB: 48539 ... c Min unsat cost LB: 48560 ... c Min unsat cost LB: 48642 ... c Min unsat cost LB: 48775 ... c Min unsat cost LB: 48808 ... c Min unsat cost LB: 49057 ... c Min unsat cost LB: 49125 ... c Min unsat cost LB: 49170 ... c Min unsat cost LB: 49343 ... c Min unsat cost LB: 49459 ... c Min unsat cost LB: 49554 ... c Min unsat cost LB: 49922 ... c Min unsat cost LB: 49946 ... c Min unsat cost LB: 50145 ... c Min unsat cost LB: 50148 ... c Min unsat cost LB: 50400 ... c Min unsat cost LB: 50435 ... c Min unsat cost LB: 50496 ... c Min unsat cost LB: 50633 ... c Min unsat cost LB: 50750 ... c Min unsat cost LB: 50785 ... c Min unsat cost LB: 50883 ... c Min unsat cost LB: 51044 ... c Min unsat cost LB: 51067 ... c Min unsat cost LB: 51193 ... c Min unsat cost LB: 51644 ... c Min unsat cost LB: 51695 ... c Min unsat cost LB: 51749 ... c Min unsat cost LB: 51756 ... c Min unsat cost LB: 51777 ... c Min unsat cost LB: 51822 ... c Min unsat cost LB: 51835 ... c Min unsat cost LB: 51952 ... c Min unsat cost LB: 51987 ... c Min unsat cost LB: 52064 ... c Min unsat cost LB: 52094 ... c Min unsat cost LB: 52172 ... c Min unsat cost LB: 52179 ... c Min unsat cost LB: 52226 ... c Min unsat cost LB: 52259 ... c Min unsat cost LB: 52284 ... c Min unsat cost LB: 52329 ... c Min unsat cost LB: 52403 ... c Min unsat cost LB: 52464 ... c Min unsat cost LB: 52527 ... c Min unsat cost LB: 52535 ... c Min unsat cost LB: 52600 ... c Min unsat cost LB: 52617 ... c Min unsat cost LB: 52755 ... c Min unsat cost LB: 52776 ... c Min unsat cost LB: 52833 ... c Min unsat cost LB: 52947 ... c Min unsat cost LB: 52979 ... c Min unsat cost LB: 53141 ... c Min unsat cost LB: 53200 ... c Min unsat cost LB: 53202 ... c Min unsat cost LB: 53249 ... c Min unsat cost LB: 53273 ... c Min unsat cost LB: 53308 ... c Min unsat cost LB: 53309 ... c Min unsat cost LB: 53373 ... c Min unsat cost LB: 53379 ... c Min unsat cost LB: 53412 ... c Min unsat cost LB: 53414 ... c Min unsat cost LB: 53590 ... c Min unsat cost LB: 53810 ... c Min unsat cost LB: 53815 ... c Min unsat cost LB: 53828 ... c Min unsat cost LB: 53872 ... c Min unsat cost LB: 53879 ... c Min unsat cost LB: 53915 ... c Min unsat cost LB: 54008 ... c Min unsat cost LB: 54096 ... c Min unsat cost LB: 54128 ... c Min unsat cost LB: 54155 ... c Min unsat cost LB: 54207 ... c Min unsat cost LB: 54318 ... c Min unsat cost LB: 54632 ... c Min unsat cost LB: 54777 ... c Min unsat cost LB: 54843 ... c Min unsat cost LB: 54957 ... c Min unsat cost LB: 54981 ... c Min unsat cost LB: 55009 ... c Min unsat cost LB: 55099 ... c Min unsat cost LB: 55276 ... c Min unsat cost LB: 55300 ... c Min unsat cost LB: 55371 ... c Min unsat cost LB: 55423 ... c Min unsat cost LB: 55433 ... c Min unsat cost LB: 55453 ... c Min unsat cost LB: 55487 ... c Min unsat cost LB: 55559 ... c Min unsat cost LB: 55627 ... c Min unsat cost LB: 55632 ... c Min unsat cost LB: 55642 ... c Min unsat cost LB: 55659 ... c Min unsat cost LB: 55707 ... c Min unsat cost LB: 55712 ... c Min unsat cost LB: 55848 ... c Min unsat cost LB: 55862 ... c Min unsat cost LB: 55871 ... c Min unsat cost LB: 55892 ... c Min unsat cost LB: 55893 ... c Min unsat cost LB: 55907 ... c Min unsat cost LB: 56032 ... c Min unsat cost LB: 56130 ... c Min unsat cost LB: 56150 ... c Min unsat cost LB: 56153 ... c Min unsat cost LB: 56257 ... c Min unsat cost LB: 56264 ... c Min unsat cost LB: 56316 ... c Min unsat cost LB: 56375 ... c Min unsat cost LB: 56379 ... c Min unsat cost LB: 56386 ... c Min unsat cost LB: 56401 ... c Min unsat cost LB: 56417 ... c Min unsat cost LB: 56426 ... c Min unsat cost LB: 56486 ... c Min unsat cost LB: 56489 ... c Min unsat cost LB: 56521 ... c Min unsat cost LB: 56613 ... c Min unsat cost LB: 56671 ... c Min unsat cost LB: 56678 ... c Min unsat cost LB: 56732 ... c Min unsat cost LB: 56741 ... c Min unsat cost LB: 56742 ... c Min unsat cost LB: 56752 ... c Min unsat cost LB: 56801 ... c Min unsat cost LB: 56805 ... c Min unsat cost LB: 56856 ... c Min unsat cost LB: 56859 ... c Min unsat cost LB: 56869 ... c Min unsat cost LB: 56874 ... c Min unsat cost LB: 56875 ... c Min unsat cost LB: 56879 ... c Min unsat cost LB: 56903 ... c Min unsat cost LB: 56905 ... c Min unsat cost LB: 56924 ... c Min unsat cost LB: 56935 ... c Min unsat cost LB: 56943 ... c Min unsat cost LB: 56945 ... c Min unsat cost LB: 56968 ... c Min unsat cost LB: 56988 ... c Min unsat cost LB: 57008 ... c Min unsat cost LB: 57013 ... c Min unsat cost LB: 57033 ... c Min unsat cost LB: 57039 ... c Min unsat cost LB: 57041 ... c Min unsat cost LB: 57087 ... c Min unsat cost LB: 57088 ... c Min unsat cost LB: 57093 ... c Min unsat cost LB: 57095 ... c Min unsat cost LB: 57097 ... c Min unsat cost LB: 57105 ... c Min unsat cost LB: 57107 ... c Min unsat cost LB: 57108 ... c Min unsat cost LB: 57110 ... c Min unsat cost LB: 57141 ... c Min unsat cost LB: 57151 ... c Min unsat cost LB: 57158 ... c Min unsat cost LB: 57165 ... c Min unsat cost LB: 57216 ... c Min unsat cost LB: 57250 ... c Min unsat cost LB: 57263 ... c Min unsat cost LB: 57323 ... c Min unsat cost LB: 57347 ... c Min unsat cost LB: 57350 ... c Min unsat cost LB: 57352 ... c Min unsat cost LB: 57365 ... c Min unsat cost LB: 57366 ... c Min unsat cost LB: 57372 ... c Min unsat cost LB: 57373 ... c Min unsat cost LB: 57386 ... c Min unsat cost LB: 57387 ... c Min unsat cost LB: 57390 ... c Min unsat cost LB: 57392 ... c Min unsat cost LB: 57401 ... c Min unsat cost LB: 57402 ... c Min unsat cost LB: 57403 ... c Min unsat cost LB: 57405 ... c Min unsat cost LB: 57409 ... c Min unsat cost LB: 57410 ... c Min unsat cost LB: 57411 ... c Min unsat cost LB: 57413 ... c Min unsat cost LB: 57414 ... c Min unsat cost LB: 57420 ... c Min unsat cost LB: 57426 ... c Min unsat cost LB: 57428 ... c Min unsat cost LB: 57434 ... c Min unsat cost LB: 57436 ... c Min unsat cost LB: 57437 ... c Min unsat cost LB: 57438 ... c Min unsat cost LB: 57439 ... c Min unsat cost LB: 57440 ... c Min unsat cost LB: 57442 ... c Min unsat cost LB: 57453 ... c Min unsat cost LB: 57454 ... c Min unsat cost LB: 57468 ... c Min unsat cost LB: 57480 ... c Min unsat cost LB: 57482 ... c Min unsat cost LB: 57506 ... c Min unsat cost LB: 57512 ... c Min unsat cost LB: 57531 ... c Min unsat cost LB: 57544 ... c Min unsat cost LB: 57545 ... c Min unsat cost LB: 57555 ... c Min unsat cost LB: 57566 ... c Min unsat cost LB: 57567 ... c Min unsat cost LB: 57570 ... c Min unsat cost LB: 57577 ... c Min unsat cost LB: 57582 ... c Min unsat cost LB: 57585 ... c Min unsat cost LB: 57600 ... c Min unsat cost LB: 57617 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 57621 ... c Min unsat cost LB: 57624 ... c Min unsat cost LB: 57627 ... c Min unsat cost LB: 57635 ... c Min unsat cost LB: 57640 ... c Min unsat cost LB: 57644 ... c Min unsat cost LB: 57645 ... c Min unsat cost LB: 57665 ... c Min unsat cost LB: 57686 ... c Min unsat cost LB: 57692 ... c Min unsat cost LB: 57701 ... c Min unsat cost LB: 57702 ... c Min unsat cost LB: 57705 ... c Min unsat cost LB: 57713 ... c Min unsat cost LB: 57715 ... c Min unsat cost LB: 57745 ... c Min unsat cost LB: 57752 ... c Min unsat cost LB: 57754 ... c Min unsat cost LB: 57757 ... c Min unsat cost LB: 57759 ... c Min unsat cost LB: 57760 ... c Min unsat cost LB: 57764 ... c Min unsat cost LB: 57765 ... c Min unsat cost LB: 57768 ... c Min unsat cost LB: 57771 ... c Min unsat cost LB: 57773 ... c Min unsat cost LB: 57777 ... c Min unsat cost LB: 57782 ... c Min unsat cost LB: 57785 ... c Min unsat cost LB: 57786 ... c Min unsat cost LB: 57790 ... c Min unsat cost LB: 57791 ... c Min unsat cost LB: 57798 ... c Min unsat cost LB: 57800 ... c Min unsat cost LB: 57804 ... c Min unsat cost LB: 57805 ... c Min unsat cost LB: 57807 ... c Min unsat cost LB: 57809 ... c Min unsat cost LB: 57816 ... c Min unsat cost LB: 57823 ... c Min unsat cost LB: 57825 ... c Min unsat cost LB: 57885 ... c Min unsat cost LB: 57913 ... c Min unsat cost LB: 57920 ... c Min unsat cost LB: 57945 ... c Min unsat cost LB: 57946 ... c Min unsat cost LB: 58018 ... c Min unsat cost LB: 58019 ... c Min unsat cost LB: 58021 ... c Min unsat cost LB: 58022 ... c Min unsat cost LB: 58024 ... c Min unsat cost LB: 58025 ... c Min unsat cost LB: 58029 ... c Min unsat cost LB: 58033 ... c Min unsat cost LB: 58038 ... c Min unsat cost LB: 58039 ... c Min unsat cost LB: 58066 ... c Min unsat cost LB: 58079 ... c Min unsat cost LB: 58086 ... c Min unsat cost LB: 58087 ... c Min unsat cost LB: 58095 ... c Min unsat cost LB: 58096 ... c Min unsat cost LB: 58106 ... c Min unsat cost LB: 58107 ... c Min unsat cost LB: 58108 ... c Min unsat cost LB: 58109 ... c Min unsat cost LB: 58118 ... c Min unsat cost LB: 58124 ... c Min unsat cost LB: 58126 ... c Min unsat cost LB: 58135 ... c Min unsat cost LB: 58137 ... c Min unsat cost LB: 58138 ... c Min unsat cost LB: 58139 ... c Min unsat cost LB: 58141 ... c Min unsat cost LB: 58143 ... c Min unsat cost LB: 58146 ... c Min unsat cost LB: 58147 ... c Min unsat cost LB: 58148 ... c Min unsat cost LB: 58149 ... c Min unsat cost LB: 58151 ... c Min unsat cost LB: 58168 ... c Min unsat cost LB: 58169 ... c Min unsat cost LB: 58170 ... c Min unsat cost LB: 58172 ... c Min unsat cost LB: 58173 ... c Min unsat cost LB: 58174 ... c Min unsat cost LB: 58186 ... c Min unsat cost LB: 58205 ... c Min unsat cost LB: 58207 ... c Min unsat cost LB: 58210 ... c Min unsat cost LB: 58213 ... c Min unsat cost LB: 58214 ... c Min unsat cost LB: 58217 ... c Min unsat cost LB: 58218 ... c Min unsat cost LB: 58220 ... c Min unsat cost LB: 58221 ... c Min unsat cost LB: 58222 ... c Min unsat cost LB: 58223 ... c Min unsat cost LB: 58224 ... c Min unsat cost LB: 58225 ... c Min unsat cost LB: 58229 ... c Min unsat cost LB: 58231 ... c Min unsat cost LB: 58232 ... c Min unsat cost LB: 58234 ... c Min unsat cost LB: 58242 ... c Min unsat cost LB: 58247 ... c Min unsat cost LB: 58253 ... c Min unsat cost LB: 58258 ... c Min unsat cost LB: 58259 ... c Min unsat cost LB: 58260 ... c Min unsat cost LB: 58261 ... c Min unsat cost LB: 58262 ... c Min unsat cost LB: 58266 ... c Min unsat cost LB: 58269 ... c Min unsat cost LB: 58273 ... c Min unsat cost LB: 58274 ... c Min unsat cost LB: 58275 ... c Min unsat cost LB: 58282 ... c Min unsat cost LB: 58285 ... c Min unsat cost LB: 58287 ... c Min unsat cost LB: 58288 ... c Min unsat cost LB: 58290 ... c Min unsat cost LB: 58291 ... c Min unsat cost LB: 58294 ... c Min unsat cost LB: 58295 ... c Min unsat cost LB: 58301 ... c Min unsat cost LB: 58303 ... c Min unsat cost LB: 58304 ... c Min unsat cost LB: 58305 ... c Min unsat cost LB: 58308 ... c Min unsat cost LB: 58309 ... c Min unsat cost LB: 58310 ... c Min unsat cost LB: 58385 ... c Min unsat cost LB: 58386 ... c Min unsat cost LB: 58388 ... c Min unsat cost LB: 58389 ... c Min unsat cost LB: 58390 ... c Min unsat cost LB: 58391 ... c Min unsat cost LB: 58392 ... c Min unsat cost LB: 58395 ... c Min unsat cost LB: 58396 ... c Min unsat cost LB: 58398 ... c Min unsat cost LB: 58400 ... c Min unsat cost LB: 58401 ... c Min unsat cost LB: 58402 ... c Min unsat cost LB: 58403 ... c Min unsat cost LB: 58405 ... c Min unsat cost LB: 58406 ... c Min unsat cost LB: 58408 ... c Min unsat cost LB: 58411 ... c Min unsat cost LB: 58412 ... c Min unsat cost LB: 58413 ... c Min unsat cost LB: 58414 ... c Min unsat cost LB: 58415 ... c Min unsat cost LB: 58416 ... c Min unsat cost LB: 58417 ... c Min unsat cost LB: 58418 ... c Min unsat cost LB: 58419 ... c Min unsat cost LB: 58420 ... c Min unsat cost LB: 58421 ... c Min unsat cost LB: 58422 ... c Min unsat cost LB: 58423 ... c Min unsat cost LB: 58424 ... c Min unsat cost LB: 58425 ... c Min unsat cost LB: 58426 ... c Min unsat cost LB: 58427 ... c Min unsat cost LB: 58428 ... c Min unsat cost LB: 58429 ... c Min unsat cost LB: 58430 ... c Min unsat cost LB: 58444 ... c Min unsat cost LB: 58445 ... c Min unsat cost LB: 58455 ... c Min unsat cost LB: 58456 ... c Min unsat cost LB: 58457 ... c Min unsat cost LB: 58459 ... c Min unsat cost LB: 58461 ... c Min unsat cost LB: 58464 ... c Min unsat cost LB: 58468 ... c Min unsat cost LB: 58469 ... c Min unsat cost LB: 58470 ... c Min unsat cost LB: 58471 ... c Min unsat cost LB: 58472 ... c Min unsat cost LB: 58473 ... c Min unsat cost LB: 58476 ... c Min unsat cost LB: 58477 ... c Min unsat cost LB: 58479 ... c Min unsat cost LB: 58480 ... c Min unsat cost LB: 58482 ... c Min unsat cost LB: 58485 ... c Min unsat cost LB: 58486 ... c Min unsat cost LB: 58487 ... c Min unsat cost LB: 58488 ... c Min unsat cost LB: 58491 ... c Min unsat cost LB: 58492 ... c Min unsat cost LB: 58493 ... c Min unsat cost LB: 58494 ... c Min unsat cost LB: 58495 ... c Min unsat cost LB: 58538 ... c Min unsat cost LB: 58539 ... c Min unsat cost LB: 58540 ... c Min unsat cost LB: 58543 ... c Min unsat cost LB: 58544 ... c Min unsat cost LB: 58548 ... c Min unsat cost LB: 58549 ... c Min unsat cost LB: 58552 ... c Min unsat cost LB: 58554 ... c Min unsat cost LB: 58555 ... c Min unsat cost LB: 58556 ... c Min unsat cost LB: 58557 ... c Min unsat cost LB: 58558 ... c Min unsat cost LB: 58559 ... c Min unsat cost LB: 58560 ... c Min unsat cost LB: 58561 ... c Min unsat cost LB: 58564 ... c Min unsat cost LB: 58566 ... c Min unsat cost LB: 58569 ... c Min unsat cost LB: 58570 ... c Min unsat cost LB: 58573 ... c Min unsat cost LB: 58575 ... c Min unsat cost LB: 58576 ... c Min unsat cost LB: 58579 ... c Min unsat cost LB: 58580 ... c Min unsat cost LB: 58583 ... c Min unsat cost LB: 58585 ... c Min unsat cost LB: 58587 ... c Min unsat cost LB: 58588 ... c Min unsat cost LB: 58592 ... c Min unsat cost LB: 58593 ... c Min unsat cost LB: 58594 ... c Min unsat cost LB: 58596 ... c Min unsat cost LB: 58599 ... c Min unsat cost LB: 58604 ... c Min unsat cost LB: 58606 ... c Min unsat cost LB: 58607 ... c Min unsat cost LB: 58610 ... c Min unsat cost LB: 58611 ... c Min unsat cost LB: 58615 ... c Min unsat cost LB: 58626 ... c Min unsat cost LB: 58628 ... c Min unsat cost LB: 58630 ... c Min unsat cost LB: 58631 ... c Min unsat cost LB: 58632 ... c Min unsat cost LB: 58633 ... c Min unsat cost LB: 58634 ... c Min unsat cost LB: 58637 ... c Min unsat cost LB: 58638 ... c Min unsat cost LB: 58639 ... c Min unsat cost LB: 58640 ... c Min unsat cost LB: 58641 ... c Min unsat cost LB: 58646 ... c Min unsat cost LB: 58647 ... c Min unsat cost LB: 58648 ... c Min unsat cost LB: 58655 ... c Min unsat cost LB: 58656 ... c Min unsat cost LB: 58657 ... c Min unsat cost LB: 58658 ... c Min unsat cost LB: 58659 ... c Min unsat cost LB: 58660 ... c Min unsat cost LB: 58661 ... c Min unsat cost LB: 58664 ... c Min unsat cost LB: 58665 ... c Min unsat cost LB: 58667 ... c Min unsat cost LB: 58672 ... c Min unsat cost LB: 58675 ... c Min unsat cost LB: 58676 ... c Min unsat cost LB: 58678 ... c Min unsat cost LB: 58679 ... c Min unsat cost LB: 58680 ... c Min unsat cost LB: 58681 ... c Min unsat cost LB: 58683 ... c Min unsat cost LB: 58684 ... c Min unsat cost LB: 58685 ... c Min unsat cost LB: 58686 ... c Min unsat cost LB: 58687 ... c Min unsat cost LB: 58689 ... c Min unsat cost LB: 58693 ... c Min unsat cost LB: 58711 ... c Min unsat cost LB: 58715 ... c Min unsat cost LB: 58716 ... c Min unsat cost LB: 58725 ... c Min unsat cost LB: 58727 ... c Min unsat cost LB: 58732 ... c Min unsat cost LB: 58735 ... c Min unsat cost LB: 58737 ... c Min unsat cost LB: 58738 ... c Min unsat cost LB: 58740 ... c Min unsat cost LB: 58741 ... c Min unsat cost LB: 58744 ... c Min unsat cost LB: 58745 ... c Min unsat cost LB: 58746 ... c Min unsat cost LB: 58747 ... c Min unsat cost LB: 58749 ... c Min unsat cost LB: 58750 ... c Min unsat cost LB: 58752 ... c Min unsat cost LB: 58753 ... c Min unsat cost LB: 58754 ... c Min unsat cost LB: 58755 ... c Min unsat cost LB: 58757 ... c Min unsat cost LB: 58758 ... c Min unsat cost LB: 58759 ... c Min unsat cost LB: 58760 ... c Min unsat cost LB: 58762 ... c Min unsat cost LB: 58763 ... c Min unsat cost LB: 58764 ... c Min unsat cost LB: 58766 ... c Min unsat cost LB: 58768 ... c Min unsat cost LB: 58770 ... c Min unsat cost LB: 58771 ... c Min unsat cost LB: 58773 ... c Min unsat cost LB: 58774 ... c Min unsat cost LB: 58775 ... c Min unsat cost LB: 58776 ... c Min unsat cost LB: 58777 ... c Min unsat cost LB: 58797 ... c Min unsat cost LB: 58814 ... c Min unsat cost LB: 58817 ... c Min unsat cost LB: 58818 ... c Min unsat cost LB: 58819 ... c Min unsat cost LB: 58820 ... c Min unsat cost LB: 58821 ... c Min unsat cost LB: 58822 ... c Min unsat cost LB: 58827 ... c Min unsat cost LB: 58828 ... c Min unsat cost LB: 58830 ... c Min unsat cost LB: 58831 ... c Min unsat cost LB: 58832 ... c Min unsat cost LB: 58835 ... c Min unsat cost LB: 58840 ... c Min unsat cost LB: 58861 ... c Min unsat cost LB: 58918 ... c Min unsat cost LB: 58919 ... c Min unsat cost LB: 58920 ... c Min unsat cost LB: 58921 ... c Min unsat cost LB: 58922 ... c Min unsat cost LB: 58923 ... c Min unsat cost LB: 58924 ... c Min unsat cost LB: 58925 ... c Min unsat cost LB: 58926 ... c Min unsat cost LB: 58927 ... c Min unsat cost LB: 58928 ... c Min unsat cost LB: 58929 ... c Min unsat cost LB: 58933 ... c Min unsat cost LB: 58939 ... c Min unsat cost LB: 58946 ... c Min unsat cost LB: 58947 ... c Min unsat cost LB: 58948 ... c Min unsat cost LB: 58949 ... c Min unsat cost LB: 58950 ... c Min unsat cost LB: 58951 ... c Min unsat cost LB: 58952 ... c Min unsat cost LB: 58953 ... c Min unsat cost LB: 58954 ... c Min unsat cost LB: 58955 ... c Min unsat cost LB: 58956 ... c Min unsat cost LB: 58957 ... c Min unsat cost LB: 58958 ... c Min unsat cost LB: 58959 ... c Min unsat cost LB: 58960 ... c Min unsat cost LB: 58961 ... c Min unsat cost LB: 58962 ... c Min unsat cost LB: 58970 ... c Min unsat cost LB: 58975 ... c Min unsat cost LB: 58980 ... c Min unsat cost LB: 58983 ... c Min unsat cost LB: 58985 ... c Min unsat cost LB: 58987 ... c Min unsat cost LB: 58997 ... c Min unsat cost LB: 58998 ... c Min unsat cost LB: 58999 ... c Min unsat cost LB: 59000 ... c Min unsat cost LB: 59001 ... c Min unsat cost LB: 59002 ... c Min unsat cost LB: 59003 ... c Min unsat cost LB: 59012 ... c Min unsat cost LB: 59014 ... c Min unsat cost LB: 59015 ... c Min unsat cost LB: 59017 ... c Min unsat cost LB: 59034 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59059 ... c Min unsat cost LB: 59060 ... c Min unsat cost LB: 59061 ... c Min unsat cost LB: 59062 ... c Min unsat cost LB: 59063 ... c Min unsat cost LB: 59064 ... c Min unsat cost LB: 59065 ... c Min unsat cost LB: 59066 ... c Min unsat cost LB: 59067 ... c Min unsat cost LB: 59069 ... c Min unsat cost LB: 59070 ... c Min unsat cost LB: 59072 ... c Min unsat cost LB: 59075 ... c Min unsat cost LB: 59077 ... c Min unsat cost LB: 59078 ... c Min unsat cost LB: 59080 ... c Min unsat cost LB: 59081 ... c Min unsat cost LB: 59086 ... c Min unsat cost LB: 59087 ... c Min unsat cost LB: 59088 ... c Min unsat cost LB: 59089 ... c Min unsat cost LB: 59090 ... c Min unsat cost LB: 59091 ... c Min unsat cost LB: 59092 ... c Min unsat cost LB: 59093 ... c Min unsat cost LB: 59096 ... c Min unsat cost LB: 59097 ... c Min unsat cost LB: 59098 ... c Min unsat cost LB: 59120 ... c Min unsat cost LB: 59127 ... c Min unsat cost LB: 59128 ... c Min unsat cost LB: 59129 ... c Min unsat cost LB: 59136 ... c Min unsat cost LB: 59175 ... c Min unsat cost LB: 59194 ... c Min unsat cost LB: 59195 ... c Min unsat cost LB: 59196 ... c Min unsat cost LB: 59198 ... c Min unsat cost LB: 59199 ... c Min unsat cost LB: 59200 ... c Min unsat cost LB: 59201 ... c Min unsat cost LB: 59202 ... c Min unsat cost LB: 59204 ... c Min unsat cost LB: 59207 ... c Min unsat cost LB: 59208 ... c Min unsat cost LB: 59209 ... c Min unsat cost LB: 59211 ... c Min unsat cost LB: 59214 ... c Min unsat cost LB: 59215 ... c Min unsat cost LB: 59216 ... c Min unsat cost LB: 59217 ... c Min unsat cost LB: 59218 ... c Min unsat cost LB: 59220 ... c Min unsat cost LB: 59221 ... c Min unsat cost LB: 59225 ... c Min unsat cost LB: 59228 ... c Min unsat cost LB: 59229 ... c Min unsat cost LB: 59230 ... c Min unsat cost LB: 59231 ... c Min unsat cost LB: 59232 ... c Min unsat cost LB: 59233 ... c Min unsat cost LB: 59234 ... c Min unsat cost LB: 59240 ... c Min unsat cost LB: 59241 ... c Min unsat cost LB: 59257 ... c Min unsat cost LB: 59259 ... c Min unsat cost LB: 59260 ... c Min unsat cost LB: 59266 ... c Min unsat cost LB: 59268 ... c Min unsat cost LB: 59280 ... c Min unsat cost LB: 59281 ... c Min unsat cost LB: 59283 ... c Min unsat cost LB: 59287 ... c Min unsat cost LB: 59288 ... c Min unsat cost LB: 59289 ... c Min unsat cost LB: 59290 ... c Min unsat cost LB: 59293 ... c Min unsat cost LB: 59294 ... c Min unsat cost LB: 59353 ... c Min unsat cost LB: 59354 ... c Min unsat cost LB: 59355 ... c Min unsat cost LB: 59359 ... c Min unsat cost LB: 59363 ... c Min unsat cost LB: 59368 ... c Min unsat cost LB: 59371 ... c Min unsat cost LB: 59372 ... c Min unsat cost LB: 59373 ... c Min unsat cost LB: 59374 ... c Min unsat cost LB: 59375 ... c Min unsat cost LB: 59376 ... c Min unsat cost LB: 59377 ... c Min unsat cost LB: 59378 ... c Min unsat cost LB: 59379 ... c Min unsat cost LB: 59381 ... c Min unsat cost LB: 59382 ... c Min unsat cost LB: 59393 ... c Min unsat cost LB: 59394 ... c Min unsat cost LB: 59395 ... c Min unsat cost LB: 59396 ... c Min unsat cost LB: 59397 ... c Min unsat cost LB: 59399 ... c Min unsat cost LB: 59402 ... c Min unsat cost LB: 59403 ... c Min unsat cost LB: 59405 ... c Min unsat cost LB: 59406 ... c Min unsat cost LB: 59407 ... c Min unsat cost LB: 59408 ... c Min unsat cost LB: 59409 ... c Min unsat cost LB: 59413 ... c Min unsat cost LB: 59414 ... c Min unsat cost LB: 59416 ... c Min unsat cost LB: 59417 ... c Min unsat cost LB: 59418 ... c Min unsat cost LB: 59419 ... c Min unsat cost LB: 59420 ... c Min unsat cost LB: 59421 ... c Min unsat cost LB: 59422 ... c Min unsat cost LB: 59423 ... c Min unsat cost LB: 59424 ... c Min unsat cost LB: 59425 ... c Min unsat cost LB: 59426 ... c Min unsat cost LB: 59427 ... c Min unsat cost LB: 59428 ... c Min unsat cost LB: 59429 ... c Min unsat cost LB: 59430 ... c Min unsat cost LB: 59431 ... c Min unsat cost LB: 59432 ... c Min unsat cost LB: 59433 ... c Min unsat cost LB: 59434 ... c Min unsat cost LB: 59435 ... c Min unsat cost LB: 59436 ... c Min unsat cost LB: 59437 ... c Min unsat cost LB: 59438 ... c Min unsat cost LB: 59439 ... c Min unsat cost LB: 59440 ... c Min unsat cost LB: 59441 ... c Min unsat cost LB: 59442 ... c Min unsat cost LB: 59443 ... c Min unsat cost LB: 59444 ... c Min unsat cost LB: 59445 ... c Min unsat cost LB: 59446 ... c Min unsat cost LB: 59447 ... c Min unsat cost LB: 59448 ... c Min unsat cost LB: 59449 ... c Min unsat cost LB: 59450 ... c Min unsat cost LB: 59451 ... c Min unsat cost LB: 59452 ... c Min unsat cost LB: 59453 ... c Min unsat cost LB: 59454 ... c Min unsat cost LB: 59455 ... c Min unsat cost LB: 59456 ... c Min unsat cost LB: 59457 ... c Min unsat cost LB: 59458 ... c Min unsat cost LB: 59459 ... c Min unsat cost LB: 59460 ... c Min unsat cost LB: 59461 ... c Min unsat cost LB: 59462 ... c Min unsat cost LB: 59463 ... c Min unsat cost LB: 59464 ... c Min unsat cost LB: 59465 ... c Min unsat cost LB: 59466 ... c Min unsat cost LB: 59467 ... c Min unsat cost LB: 59468 ... c Min unsat cost LB: 59469 ... c Min unsat cost LB: 59471 ... c Min unsat cost LB: 59472 ... c Min unsat cost LB: 59473 ... c Min unsat cost LB: 59474 ... c Min unsat cost LB: 59475 ... c Min unsat cost LB: 59476 ... c Min unsat cost LB: 59477 ... c Min unsat cost LB: 59478 ... c Min unsat cost LB: 59479 ... c Min unsat cost LB: 59480 ... c Min unsat cost LB: 59481 ... c Min unsat cost LB: 59484 ... c Min unsat cost LB: 59485 ... c Min unsat cost LB: 59486 ... c Min unsat cost LB: 59487 ... c Min unsat cost LB: 59488 ... c Min unsat cost LB: 59489 ... c Min unsat cost LB: 59490 ... c Min unsat cost LB: 59491 ... c Min unsat cost LB: 59492 ... c Min unsat cost LB: 59493 ... c Min unsat cost LB: 59494 ... c Min unsat cost LB: 59495 ... c Min unsat cost LB: 59497 ... c Min unsat cost LB: 59498 ... c Min unsat cost LB: 59499 ... c Min unsat cost LB: 59500 ... c Min unsat cost LB: 59501 ... c Min unsat cost LB: 59502 ... c Min unsat cost LB: 59503 ... c Min unsat cost LB: 59504 ... c Min unsat cost LB: 59505 ... c Min unsat cost LB: 59506 ... c Min unsat cost LB: 59507 ... c Min unsat cost LB: 59508 ... c Min unsat cost LB: 59509 ... c Min unsat cost LB: 59510 ... c Min unsat cost LB: 59511 ... c Min unsat cost LB: 59513 ... c Min unsat cost LB: 59514 ... c Min unsat cost LB: 59515 ... c Min unsat cost LB: 59516 ... c Min unsat cost LB: 59517 ... c Min unsat cost LB: 59518 ... c Min unsat cost LB: 59519 ... c Min unsat cost LB: 59520 ... c Min unsat cost LB: 59521 ... c Min unsat cost LB: 59522 ... c Min unsat cost LB: 59523 ... c Min unsat cost LB: 59524 ... c Min unsat cost LB: 59525 ... c Min unsat cost LB: 59526 ... c Min unsat cost LB: 59527 ... c Min unsat cost LB: 59528 ... c Min unsat cost LB: 59529 ... c Min unsat cost LB: 59530 ... c Min unsat cost LB: 59531 ... c Min unsat cost LB: 59532 ... c Min unsat cost LB: 59539 ... c Min unsat cost LB: 59543 ... c Min unsat cost LB: 59544 ... c Min unsat cost LB: 59545 ... c Min unsat cost LB: 59546 ... c Min unsat cost LB: 59547 ... c Min unsat cost LB: 59548 ... c Min unsat cost LB: 59549 ... c Min unsat cost LB: 59550 ... c Min unsat cost LB: 59551 ... c Min unsat cost LB: 59552 ... c Min unsat cost LB: 59553 ... c Min unsat cost LB: 59554 ... c Min unsat cost LB: 59556 ... c Min unsat cost LB: 59557 ... c Min unsat cost LB: 59558 ... c Min unsat cost LB: 59559 ... c Min unsat cost LB: 59560 ... c Min unsat cost LB: 59561 ... c Min unsat cost LB: 59562 ... c Min unsat cost LB: 59563 ... c Min unsat cost LB: 59564 ... c Min unsat cost LB: 59565 ... c Min unsat cost LB: 59566 ... c Min unsat cost LB: 59567 ... c Min unsat cost LB: 59568 ... c Min unsat cost LB: 59569 ... c Min unsat cost LB: 59570 ... c Min unsat cost LB: 59571 ... c Min unsat cost LB: 59572 ... c Min unsat cost LB: 59573 ... c Min unsat cost LB: 59574 ... c Min unsat cost LB: 59575 ... c Min unsat cost LB: 59576 ... c Min unsat cost LB: 59577 ... c Min unsat cost LB: 59578 ... c Min unsat cost LB: 59579 ... c Min unsat cost LB: 59580 ... c Min unsat cost LB: 59581 ... c Min unsat cost LB: 59582 ... c Min unsat cost LB: 59583 ... c Min unsat cost LB: 59584 ... c Min unsat cost LB: 59585 ... c Min unsat cost LB: 59586 ... c Min unsat cost LB: 59587 ... c Min unsat cost LB: 59588 ... c Min unsat cost LB: 59589 ... c Min unsat cost LB: 59590 ... c Min unsat cost LB: 59591 ... c Min unsat cost LB: 59592 ... c Min unsat cost LB: 59593 ... c Min unsat cost LB: 59594 ... c Min unsat cost LB: 59600 ... c Min unsat cost LB: 59601 ... c Min unsat cost LB: 59602 ... c Min unsat cost LB: 59603 ... c Min unsat cost LB: 59604 ... c Min unsat cost LB: 59605 ... c Min unsat cost LB: 59606 ... c Min unsat cost LB: 59607 ... c Min unsat cost LB: 59608 ... c Min unsat cost LB: 59609 ... c Min unsat cost LB: 59610 ... c Min unsat cost LKilled 1816.074u 3.663s 30:21.60 99.8% 0+0k 0+0io 0pf+0w