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_SCHEDULING_cat_sched_60_150_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_150_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_150_0003.txt.wcnf *** c c Min unsat cost LB: 381 ... c Min unsat cost LB: 451 ... c Min unsat cost LB: 832 ... c Min unsat cost LB: 1113 ... c Min unsat cost LB: 1213 ... c Min unsat cost LB: 1394 ... c Min unsat cost LB: 1464 ... c Min unsat cost LB: 1664 ... c Min unsat cost LB: 1734 ... c Min unsat cost LB: 2045 ... c Min unsat cost LB: 2115 ... c Min unsat cost LB: 2396 ... c Min unsat cost LB: 2427 ... c Min unsat cost LB: 2497 ... c Min unsat cost LB: 2528 ... c Min unsat cost LB: 2536 ... c Min unsat cost LB: 2559 ... c Min unsat cost LB: 2590 ... c Min unsat cost LB: 2971 ... c Min unsat cost LB: 3002 ... c Min unsat cost LB: 3072 ... c Min unsat cost LB: 3119 ... c Min unsat cost LB: 3189 ... c Min unsat cost LB: 4251 ... c Min unsat cost LB: 4259 ... c Min unsat cost LB: 4290 ... c Min unsat cost LB: 4477 ... c Min unsat cost LB: 4508 ... c Min unsat cost LB: 4578 ... c Min unsat cost LB: 4648 ... c Min unsat cost LB: 4718 ... c Min unsat cost LB: 4726 ... c Min unsat cost LB: 4807 ... c Min unsat cost LB: 4877 ... c Min unsat cost LB: 4908 ... c Min unsat cost LB: 4939 ... c Min unsat cost LB: 4947 ... c Min unsat cost LB: 6126 ... c Min unsat cost LB: 6196 ... c Min unsat cost LB: 7235 ... c Min unsat cost LB: 7516 ... c Min unsat cost LB: 7539 ... c Min unsat cost LB: 8788 ... c Min unsat cost LB: 8819 ... c Min unsat cost LB: 9077 ... c Min unsat cost LB: 10326 ... c Min unsat cost LB: 11575 ... c Min unsat cost LB: 12566 ... c Min unsat cost LB: 12824 ... c Min unsat cost LB: 13089 ... c Min unsat cost LB: 13289 ... c Min unsat cost LB: 13320 ... c Min unsat cost LB: 14569 ... c Min unsat cost LB: 15366 ... c Min unsat cost LB: 15631 ... c Min unsat cost LB: 15654 ... c Min unsat cost LB: 15685 ... c Min unsat cost LB: 16934 ... c Min unsat cost LB: 17199 ... c Min unsat cost LB: 17222 ... c Min unsat cost LB: 17253 ... c Min unsat cost LB: 18502 ... c Min unsat cost LB: 18767 ... c Min unsat cost LB: 19032 ... c Min unsat cost LB: 19343 ... c Min unsat cost LB: 19374 ... c Min unsat cost LB: 19405 ... c Min unsat cost LB: 20592 ... c Min unsat cost LB: 20857 ... c Min unsat cost LB: 21906 ... c Min unsat cost LB: 22116 ... c Min unsat cost LB: 22124 ... c Min unsat cost LB: 22578 ... c Min unsat cost LB: 22609 ... c Min unsat cost LB: 22874 ... c Min unsat cost LB: 23139 ... c Min unsat cost LB: 23404 ... c Min unsat cost LB: 23435 ... c Min unsat cost LB: 23466 ... c Min unsat cost LB: 23497 ... c Min unsat cost LB: 23684 ... c Min unsat cost LB: 23754 ... c Min unsat cost LB: 24019 ... c Min unsat cost LB: 25268 ... c Min unsat cost LB: 25533 ... c Min unsat cost LB: 26782 ... c Min unsat cost LB: 27047 ... c Min unsat cost LB: 27163 ... c Min unsat cost LB: 27194 ... c Min unsat cost LB: 27225 ... c Min unsat cost LB: 27256 ... c Min unsat cost LB: 28412 ... c Min unsat cost LB: 28577 ... c Min unsat cost LB: 28639 ... c Min unsat cost LB: 29834 ... c Min unsat cost LB: 30514 ... c Min unsat cost LB: 31083 ... c Min unsat cost LB: 31299 ... c Min unsat cost LB: 31917 ... c Min unsat cost LB: 32712 ... c Min unsat cost LB: 33961 ... c Min unsat cost LB: 34226 ... c Min unsat cost LB: 34342 ... c Min unsat cost LB: 34542 ... c Min unsat cost LB: 34923 ... c Min unsat cost LB: 36079 ... c Min unsat cost LB: 36081 ... c Min unsat cost LB: 36346 ... c Min unsat cost LB: 36611 ... c Min unsat cost LB: 36619 ... c Min unsat cost LB: 36689 ... c Min unsat cost LB: 36759 ... c Min unsat cost LB: 36790 ... c Min unsat cost LB: 36821 ... c Min unsat cost LB: 36852 ... c Min unsat cost LB: 36883 ... c Min unsat cost LB: 36914 ... c Min unsat cost LB: 36938 ... c Min unsat cost LB: 36977 ... c Min unsat cost LB: 37023 ... c Min unsat cost LB: 37054 ... c Min unsat cost LB: 37085 ... c Min unsat cost LB: 37116 ... c Min unsat cost LB: 37147 ... c Min unsat cost LB: 37178 ... c Min unsat cost LB: 37209 ... c Min unsat cost LB: 37240 ... c Min unsat cost LB: 37920 ... c Min unsat cost LB: 37943 ... c Min unsat cost LB: 37974 ... c Min unsat cost LB: 38272 ... c Min unsat cost LB: 38656 ... c Min unsat cost LB: 38687 ... c Min unsat cost LB: 39719 ... c Min unsat cost LB: 39742 ... c Min unsat cost LB: 39773 ... c Min unsat cost LB: 39967 ... c Min unsat cost LB: 40373 ... c Min unsat cost LB: 41216 ... c Min unsat cost LB: 41622 ... c Min unsat cost LB: 42871 ... c Min unsat cost LB: 43714 ... c Min unsat cost LB: 44120 ... c Min unsat cost LB: 44509 ... c Min unsat cost LB: 44540 ... c Min unsat cost LB: 44571 ... c Min unsat cost LB: 44602 ... c Min unsat cost LB: 44633 ... c Min unsat cost LB: 44664 ... c Min unsat cost LB: 44695 ... c Min unsat cost LB: 45369 ... c Min unsat cost LB: 45890 ... c Min unsat cost LB: 45921 ... c Min unsat cost LB: 45929 ... c Min unsat cost LB: 45937 ... c Min unsat cost LB: 45968 ... c Min unsat cost LB: 45999 ... c Min unsat cost LB: 46022 ... c Min unsat cost LB: 46030 ... c Min unsat cost LB: 46053 ... c Min unsat cost LB: 46061 ... c Min unsat cost LB: 46076 ... c Min unsat cost LB: 46092 ... c Min unsat cost LB: 46107 ... c Min unsat cost LB: 46115 ... c Min unsat cost LB: 46443 ... c Min unsat cost LB: 46466 ... c Min unsat cost LB: 46493 ... c Min unsat cost LB: 47035 ... c Min unsat cost LB: 47653 ... c Min unsat cost LB: 47679 ... c Min unsat cost LB: 47990 ... c Min unsat cost LB: 48154 ... c Min unsat cost LB: 48162 ... c Min unsat cost LB: 48179 ... c Min unsat cost LB: 48322 ... c Min unsat cost LB: 48471 ... c Min unsat cost LB: 48596 ... c Min unsat cost LB: 48712 ... c Min unsat cost LB: 48780 ... c Min unsat cost LB: 48846 ... c Min unsat cost LB: 49120 ... c Min unsat cost LB: 49269 ... c Min unsat cost LB: 49337 ... c Min unsat cost LB: 49368 ... c Min unsat cost LB: 49376 ... c Min unsat cost LB: 49407 ... c Min unsat cost LB: 49430 ... c Min unsat cost LB: 49453 ... c Min unsat cost LB: 49484 ... c Min unsat cost LB: 49492 ... c Min unsat cost LB: 49500 ... c Min unsat cost LB: 49513 ... c Min unsat cost LB: 49515 ... c Min unsat cost LB: 49585 ... c Min unsat cost LB: 49616 ... c Min unsat cost LB: 49647 ... c Min unsat cost LB: 49696 ... c Min unsat cost LB: 49822 ... c Min unsat cost LB: 49896 ... c Min unsat cost LB: 49977 ... c Min unsat cost LB: 49978 ... c Min unsat cost LB: 50154 ... c Min unsat cost LB: 50259 ... c Min unsat cost LB: 50280 ... c Min unsat cost LB: 50319 ... c Min unsat cost LB: 50380 ... c Min unsat cost LB: 50382 ... c Min unsat cost LB: 50405 ... c Min unsat cost LB: 50427 ... c Min unsat cost LB: 50428 ... c Min unsat cost LB: 50433 ... c Min unsat cost LB: 50473 ... c Min unsat cost LB: 50645 ... c Min unsat cost LB: 50668 ... c Min unsat cost LB: 50715 ... c Min unsat cost LB: 50784 ... c Min unsat cost LB: 50792 ... c Min unsat cost LB: 50798 ... c Min unsat cost LB: 50868 ... c Min unsat cost LB: 50991 ... c Min unsat cost LB: 50994 ... c Min unsat cost LB: 51010 ... c Min unsat cost LB: 51018 ... c Min unsat cost LB: 51033 ... c Min unsat cost LB: 51081 ... c Min unsat cost LB: 51082 ... c Min unsat cost LB: 51083 ... c Min unsat cost LB: 51096 ... c Min unsat cost LB: 51166 ... c Min unsat cost LB: 51297 ... c Min unsat cost LB: 51325 ... c Min unsat cost LB: 51424 ... c Min unsat cost LB: 51454 ... c Min unsat cost LB: 51457 ... c Min unsat cost LB: 51520 ... c Min unsat cost LB: 51545 ... c Min unsat cost LB: 51551 ... c Min unsat cost LB: 51556 ... c Min unsat cost LB: 51576 ... c Min unsat cost LB: 51599 ... c Min unsat cost LB: 51794 ... c Min unsat cost LB: 51817 ... c Min unsat cost LB: 51818 ... c Min unsat cost LB: 51827 ... c Min unsat cost LB: 51841 ... c Min unsat cost LB: 51843 ... c Min unsat cost LB: 51868 ... c Min unsat cost LB: 51879 ... c Min unsat cost LB: 51910 ... c Min unsat cost LB: 52117 ... c Min unsat cost LB: 52183 ... c Min unsat cost LB: 52260 ... c Min unsat cost LB: 52862 ... c Min unsat cost LB: 53700 ... c Min unsat cost LB: 53888 ... c Min unsat cost LB: 53965 ... c Min unsat cost LB: 53973 ... c Min unsat cost LB: 54045 ... c Min unsat cost LB: 54239 ... c Min unsat cost LB: 54388 ... c Min unsat cost LB: 54450 ... c Min unsat cost LB: 55224 ... c Min unsat cost LB: 55294 ... c Min unsat cost LB: 55364 ... c Min unsat cost LB: 55370 ... c Min unsat cost LB: 55919 ... c Min unsat cost LB: 56333 ... c Min unsat cost LB: 56403 ... c Min unsat cost LB: 56590 ... c Min unsat cost LB: 56598 ... c Min unsat cost LB: 56634 ... c Min unsat cost LB: 56903 ... c Min unsat cost LB: 56904 ... c Min unsat cost LB: 56926 ... c Min unsat cost LB: 56939 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 57759 ... c Min unsat cost LB: 57782 ... c Min unsat cost LB: 57790 ... c Min unsat cost LB: 58080 ... c Min unsat cost LB: 58103 ... c Min unsat cost LB: 58111 ... c Min unsat cost LB: 58142 ... c Min unsat cost LB: 58173 ... c Min unsat cost LB: 58204 ... c Min unsat cost LB: 58235 ... c Min unsat cost LB: 58259 ... c Min unsat cost LB: 58274 ... c Min unsat cost LB: 58296 ... c Min unsat cost LB: 58314 ... c Min unsat cost LB: 58345 ... c Min unsat cost LB: 58358 ... c Min unsat cost LB: 58376 ... c Min unsat cost LB: 58384 ... c Min unsat cost LB: 58392 ... c Min unsat cost LB: 58423 ... c Min unsat cost LB: 58694 ... c Min unsat cost LB: 58728 ... c Min unsat cost LB: 59134 ... c Min unsat cost LB: 59204 ... c Min unsat cost LB: 59212 ... c Min unsat cost LB: 59221 ... c Min unsat cost LB: 59277 ... c Min unsat cost LB: 59286 ... c Min unsat cost LB: 59303 ... c Min unsat cost LB: 59481 ... c Min unsat cost LB: 59498 ... c Min unsat cost LB: 59502 ... c Min unsat cost LB: 59510 ... c Min unsat cost LB: 59900 ... c Min unsat cost LB: 59904 ... c Min unsat cost LB: 59931 ... c Min unsat cost LB: 60023 ... c Min unsat cost LB: 60232 ... c Min unsat cost LB: 60425 ... c Min unsat cost LB: 60616 ... c Min unsat cost LB: 60697 ... c Min unsat cost LB: 60705 ... c Min unsat cost LB: 60713 ... c Min unsat cost LB: 60721 ... c Min unsat cost LB: 60729 ... c Min unsat cost LB: 60737 ... c Min unsat cost LB: 60785 ... c Min unsat cost LB: 60794 ... c Min unsat cost LB: 60795 ... c Min unsat cost LB: 60803 ... c Min unsat cost LB: 60880 ... c Min unsat cost LB: 60881 ... c Min unsat cost LB: 60883 ... c Min unsat cost LB: 60885 ... c Min unsat cost LB: 60908 ... c Min unsat cost LB: 60913 ... c Min unsat cost LB: 60915 ... c Min unsat cost LB: 60917 ... c Min unsat cost LB: 60930 ... c Min unsat cost LB: 60948 ... c Min unsat cost LB: 60961 ... c Min unsat cost LB: 60969 ... c Min unsat cost LB: 60977 ... c Min unsat cost LB: 60985 ... c Min unsat cost LB: 60987 ... c Min unsat cost LB: 61000 ... c Min unsat cost LB: 61010 ... c Min unsat cost LB: 61016 ... c Min unsat cost LB: 61020 ... c Min unsat cost LB: 61024 ... c Min unsat cost LB: 61028 ... c Min unsat cost LB: 61032 ... c Min unsat cost LB: 61041 ... c Min unsat cost LB: 61062 ... c Min unsat cost LB: 61064 ... c Min unsat cost LB: 61079 ... c Min unsat cost LB: 61110 ... c Min unsat cost LB: 61133 ... c Min unsat cost LB: 61139 ... c Min unsat cost LB: 61147 ... c Min unsat cost LB: 61148 ... c Min unsat cost LB: 61149 ... c Min unsat cost LB: 61170 ... c Min unsat cost LB: 61178 ... c Min unsat cost LB: 61201 ... c Min unsat cost LB: 61202 ... c Min unsat cost LB: 61207 ... c Min unsat cost LB: 61209 ... c Min unsat cost LB: 61210 ... c Min unsat cost LB: 61214 ... c Min unsat cost LB: 61222 ... c Min unsat cost LB: 61230 ... c Min unsat cost LB: 61294 ... c Min unsat cost LB: 61375 ... c Min unsat cost LB: 61376 ... c Min unsat cost LB: 61377 ... c Min unsat cost LB: 61551 ... c Min unsat cost LB: 61556 ... c Min unsat cost LB: 61574 ... c Min unsat cost LB: 61597 ... c Min unsat cost LB: 61600 ... c Min unsat cost LB: 61631 ... c Min unsat cost LB: 61654 ... c Min unsat cost LB: 61655 ... c Min unsat cost LB: 61664 ... c Min unsat cost LB: 61674 ... c Min unsat cost LB: 61675 ... c Min unsat cost LB: 61678 ... c Min unsat cost LB: 61683 ... c Min unsat cost LB: 61685 ... c Min unsat cost LB: 61688 ... c Min unsat cost LB: 61689 ... c Min unsat cost LB: 61711 ... c Min unsat cost LB: 61838 ... c Min unsat cost LB: 61839 ... c Min unsat cost LB: 61843 ... c Min unsat cost LB: 61885 ... c Min unsat cost LB: 61909 ... c Min unsat cost LB: 61985 ... c Min unsat cost LB: 62006 ... c Min unsat cost LB: 62007 ... c Min unsat cost LB: 62016 ... c Min unsat cost LB: 62017 ... c Min unsat cost LB: 62021 ... c Min unsat cost LB: 62023 ... c Min unsat cost LB: 62037 ... c Min unsat cost LB: 62039 ... c Min unsat cost LB: 62041 ... c Min unsat cost LB: 62043 ... c Min unsat cost LB: 62047 ... c Min unsat cost LB: 62053 ... c Min unsat cost LB: 62068 ... c Min unsat cost LB: 62076 ... c Min unsat cost LB: 62107 ... c Min unsat cost LB: 62122 ... c Min unsat cost LB: 62124 ... c Min unsat cost LB: 62140 ... c Min unsat cost LB: 62146 ... c Min unsat cost LB: 62177 ... c Min unsat cost LB: 62186 ... c Min unsat cost LB: 62187 ... c Min unsat cost LB: 62205 ... c Min unsat cost LB: 62206 ... c Min unsat cost LB: 62231 ... c Min unsat cost LB: 62268 ... c Min unsat cost LB: 62269 ... c Min unsat cost LB: 62275 ... c Min unsat cost LB: 62276 ... c Min unsat cost LB: 62277 ... c Min unsat cost LB: 62278 ... c Min unsat cost LB: 62329 ... c Min unsat cost LB: 62360 ... c Min unsat cost LB: 62409 ... c Min unsat cost LB: 62483 ... c Min unsat cost LB: 62535 ... c Min unsat cost LB: 62536 ... c Min unsat cost LB: 62543 ... c Min unsat cost LB: 62544 ... c Min unsat cost LB: 62590 ... c Min unsat cost LB: 62592 ... c Min unsat cost LB: 62593 ... c Min unsat cost LB: 62600 ... c Min unsat cost LB: 62605 ... c Min unsat cost LB: 62606 ... c Min unsat cost LB: 62610 ... c Min unsat cost LB: 62611 ... c Min unsat cost LB: 62625 ... c Min unsat cost LB: 62638 ... c Min unsat cost LB: 62640 ... c Min unsat cost LB: 62649 ... c Min unsat cost LB: 62658 ... c Min unsat cost LB: 62666 ... c Min unsat cost LB: 62723 ... c Min unsat cost LB: 62724 ... c Min unsat cost LB: 62728 ... c Min unsat cost LB: 62729 ... c Min unsat cost LB: 62730 ... c Min unsat cost LB: 62733 ... c Min unsat cost LB: 62735 ... c Min unsat cost LB: 62736 ... c Min unsat cost LB: 62738 ... c Min unsat cost LB: 62740 ... c Min unsat cost LB: 62746 ... c Min unsat cost LB: 62747 ... c Min unsat cost LB: 62770 ... c Min unsat cost LB: 62775 ... c Min unsat cost LB: 62776 ... c Min unsat cost LB: 62780 ... c Min unsat cost LB: 62785 ... c Min unsat cost LB: 62787 ... c Min unsat cost LB: 62788 ... c Min unsat cost LB: 62805 ... c Min unsat cost LB: 62848 ... c Min unsat cost LB: 62849 ... c Min unsat cost LB: 62850 ... c Min unsat cost LB: 62851 ... c Min unsat cost LB: 62852 ... c Min unsat cost LB: 62853 ... c Min unsat cost LB: 62854 ... c Min unsat cost LB: 62862 ... c Min unsat cost LB: 62870 ... c Min unsat cost LB: 62871 ... c Min unsat cost LB: 62872 ... c Min unsat cost LB: 62873 ... c Min unsat cost LB: 62874 ... c Min unsat cost LB: 62879 ... c Min unsat cost LB: 62880 ... c Min unsat cost LB: 62885 ... c Min unsat cost LB: 62898 ... c Min unsat cost LB: 62901 ... c Min unsat cost LB: 62909 ... c Min unsat cost LB: 62910 ... c Min unsat cost LB: 62915 ... c Min unsat cost LB: 62916 ... c Min unsat cost LB: 62917 ... c Min unsat cost LB: 62918 ... c Min unsat cost LB: 62919 ... c Min unsat cost LB: 62920 ... c Min unsat cost LB: 62921 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 62923 ... c Min unsat cost LB: 62924 ... c Min unsat cost LB: 62993 ... c Min unsat cost LB: 63057 ... c Min unsat cost LB: 63058 ... c Min unsat cost LB: 63059 ... c Min unsat cost LB: 63060 ... c Min unsat cost LB: 63061 ... c Min unsat cost LB: 63063 ... c Min unsat cost LB: 63064 ... c Min unsat cost LB: 63065 ... c Min unsat cost LB: 63066 ... c Min unsat cost LB: 63067 ... c Min unsat cost LB: 63068 ... c Min unsat cost LB: 63069 ... c Min unsat cost LB: 63070 ... c Min unsat cost LB: 63071 ... c Min unsat cost LB: 63072 ... c Min unsat cost LB: 63073 ... c Min unsat cost LB: 63074 ... c Min unsat cost LB: 63075 ... c Min unsat cost LB: 63081 ... c Min unsat cost LB: 63082 ... c Min unsat cost LB: 63083 ... c Min unsat cost LB: 63084 ... c Min unsat cost LB: 63086 ... c Min unsat cost LB: 63088 ... c Min unsat cost LB: 63090 ... c Min unsat cost LB: 63101 ... c Min unsat cost LB: 63102 ... c Min unsat cost LB: 63103 ... c Min unsat cost LB: 63104 ... c Min unsat cost LB: 63105 ... c Min unsat cost LB: 63106 ... c Min unsat cost LB: 63110 ... c Min unsat cost LB: 63114 ... c Min unsat cost LB: 63116 ... c Min unsat cost LB: 63117 ... c Min unsat cost LB: 63118 ... c Min unsat cost LB: 63119 ... c Min unsat cost LB: 63120 ... c Min unsat cost LB: 63121 ... c Min unsat cost LB: 63122 ... c Min unsat cost LB: 63123 ... c Min unsat cost LB: 63124 ... c Min unsat cost LB: 63126 ... c Min unsat cost LB: 63136 ... c Min unsat cost LB: 63139 ... c Min unsat cost LB: 63146 ... c Min unsat cost LB: 63200 ... c Min unsat cost LB: 63211 ... c Min unsat cost LB: 63405 ... c Min unsat cost LB: 63422 ... c Min unsat cost LB: 63423 ... c Min unsat cost LB: 63424 ... c Min unsat cost LB: 63425 ... c Min unsat cost LB: 63426 ... c Min unsat cost LB: 63427 ... c Min unsat cost LB: 63428 ... c Min unsat cost LB: 63429 ... c Min unsat cost LB: 63430 ... c Min unsat cost LB: 63431 ... c Min unsat cost LB: 63432 ... c Min unsat cost LB: 63433 ... c Min unsat cost LB: 63434 ... c Min unsat cost LB: 63435 ... c Min unsat cost LB: 63436 ... c Min unsat cost LB: 63437 ... c Min unsat cost LB: 63438 ... c Min unsat cost LB: 63439 ... c Min unsat cost LB: 63440 ... c Min unsat cost LB: 63441 ... c Min unsat cost LB: 63442 ... c Min unsat cost LB: 63495 ... c Min unsat cost LB: 63496 ... c Min unsat cost LB: 63497 ... c Min unsat cost LB: 63498 ... c Min unsat cost LB: 63499 ... c Min unsat cost LB: 63500 ... c Min unsat cost LB: 63501 ... c Min unsat cost LB: 63502 ... c Min unsat cost LB: 63503 ... c Min unsat cost LB: 63504 ... c Min unsat cost LB: 63512 ... c Min unsat cost LB: 63519 ... c Min unsat cost LB: 63526 ... c Min unsat cost LB: 63527 ... c Min unsat cost LB: 63529 ... c Min unsat cost LB: 63530 ... c Min unsat cost LB: 63531 ... c Min unsat cost LB: 63532 ... c Min unsat cost LB: 63533 ... c Min unsat cost LB: 63534 ... c Min unsat cost LB: 63535 ... c Min unsat cost LB: 63536 ... c Min unsat cost LB: 63537 ... c Min unsat cost LB: 63538 ... c Min unsat cost LB: 63540 ... c Min unsat cost LB: 63543 ... c Min unsat cost LB: 63545 ... c Min unsat cost LB: 63546 ... c Min unsat cost LB: 63547 ... c Min unsat cost LB: 63548 ... c Min unsat cost LB: 63549 ... c Min unsat cost LB: 63551 ... c Min unsat cost LB: 63552 ... c Min unsat cost LB: 63553 ... c Min unsat cost LB: 63554 ... c Min unsat cost LB: 63555 ... c Min unsat cost LB: 63556 ... c Min unsat cost LB: 63743 ... c Min unsat cost LB: 63779 ... c Min unsat cost LB: 63913 ... c Min unsat cost LB: 64340 ... c Min unsat cost LB: 64341 ... c Min unsat cost LB: 64343 ... c Min unsat cost LB: 64344 ... c Min unsat cost LB: 64345 ... c Min unsat cost LB: 64346 ... c Min unsat cost LB: 64347 ... c Min unsat cost LB: 64350 ... c Min unsat cost LB: 64351 ... c Min unsat cost LB: 64352 ... c Min unsat cost LB: 64353 ... c Min unsat cost LB: 64358 ... c Min unsat cost LB: 64359 ... c Min unsat cost LB: 64361 ... c Min unsat cost LB: 64367 ... c Min unsat cost LB: 64369 ... c Min unsat cost LB: 64370 ... c Min unsat cost LB: 64371 ... c Min unsat cost LB: 64379 ... c Min unsat cost LB: 64390 ... c Min unsat cost LB: 64392 ... c Min unsat cost LB: 64394 ... c Min unsat cost LB: 64395 ... c Min unsat cost LB: 64396 ... c Min unsat cost LB: 64399 ... c Min unsat cost LB: 64407 ... c Min unsat cost LB: 64408 ... c Min unsat cost LB: 64409 ... c Min unsat cost LB: 64410 ... c Min unsat cost LB: 64411 ... c Min unsat cost LB: 64412 ... c Min unsat cost LB: 64417 ... c Min unsat cost LB: 64418 ... c Min unsat cost LB: 64419 ... c Min unsat cost LB: 64422 ... c Min unsat cost LB: 64423 ... c Min unsat cost LB: 64424 ... c Min unsat cost LB: 64437 ... c Min unsat cost LB: 64438 ... c Min unsat cost LB: 64439 ... c Min unsat cost LB: 64441 ... c Min unsat cost LB: 64449 ... c Min unsat cost LB: 64454 ... c Min unsat cost LB: 64455 ... c Min unsat cost LB: 64457 ... c Min unsat cost LB: 64464 ... c Min unsat cost LB: 64466 ... c Min unsat cost LB: 64467 ... c Min unsat cost LB: 64472 ... c Min unsat cost LB: 64473 ... c Min unsat cost LB: 64474 ... c Min unsat cost LB: 64475 ... c Min unsat cost LB: 64476 ... c Min unsat cost LB: 64477 ... c Min unsat cost LB: 64478 ... c Min unsat cost LB: 64479 ... c Min unsat cost LB: 64480 ... c Min unsat cost LB: 64481 ... c Min unsat cost LB: 64482 ... c Min unsat cost LB: 64483 ... c Min unsat cost LB: 64484 ... c Min unsat cost LB: 64485 ... c Min unsat cost LB: 64486 ... c Min unsat cost LB: 64492 ... c Min unsat cost LB: 64493 ... c Min unsat cost LB: 64494 ... c Min unsat cost LB: 64495 ... c Min unsat cost LB: 64496 ... c Min unsat cost LB: 64497 ... c Min unsat cost LB: 64498 ... c Min unsat cost LB: 64499 ... c Min unsat cost LB: 64500 ... c Min unsat cost LB: 64501 ... c Min unsat cost LB: 64502 ... c Min unsat cost LB: 64503 ... c Min unsat cost LB: 64514 ... c Min unsat cost LB: 64522 ... c Min unsat cost LB: 64525 ... c Min unsat cost LB: 64527 ... c Min unsat cost LB: 64530 ... c Min unsat cost LB: 64533 ... c Min unsat cost LB: 64534 ... c Min unsat cost LB: 64545 ... c Min unsat cost LB: 64549 ... c Min unsat cost LB: 64583 ... c Min unsat cost LB: 64585 ... c Min unsat cost LB: 64652 ... c Min unsat cost LB: 64665 ... c Min unsat cost LB: 65044 ... c Min unsat cost LB: 65262 ... c Min unsat cost LB: 65263 ... c Min unsat cost LB: 65264 ... c Min unsat cost LB: 65265 ... c Min unsat cost LB: 65268 ... c Min unsat cost LB: 65269 ... c Min unsat cost LB: 65271 ... c Min unsat cost LB: 65272 ... c Min unsat cost LB: 65307 ... c Min unsat cost LB: 65308 ... c Min unsat cost LB: 65332 ... c Min unsat cost LB: 65335 ... c Min unsat cost LB: 65336 ... c Min unsat cost LB: 65337 ... c Min unsat cost LB: 65340 ... c Min unsat cost LB: 65341 ... c Min unsat cost LB: 65342 ... c Min unsat cost LB: 65348 ... c Min unsat cost LB: 65349 ... c Min unsat cost LB: 65351 ... c Min unsat cost LB: 65352 ... c Min unsat cost LB: 65353 ... c Min unsat cost LB: 65354 ... c Min unsat cost LB: 65355 ... c Min unsat cost LB: 65356 ... c Min unsat cost LB: 65357 ... c Min unsat cost LB: 65358 ... c Min unsat cost LB: 65359 ... c Min unsat cost LB: 65360 ... c Min unsat cost LB: 65361 ... c Min unsat cost LB: 65362 ... c Min unsat cost LB: 65367 ... c Min unsat cost LB: 65368 ... c Min unsat cost LB: 65370 ... c Min unsat cost LB: 65375 ... c Min unsat cost LB: 65383 ... c Min unsat cost LB: 65411 ... c Min unsat cost LB: 65421 ... c Min unsat cost LB: 65422 ... c Min unsat cost LB: 65432 ... c Min unsat cost LB: 65433 ... c Min unsat cost LB: 65435 ... c Min unsat cost LB: 65540 ... c Min unsat cost LB: 65541 ... c Min unsat cost LB: 65542 ... c Min unsat cost LB: 65543 ... c Min unsat cost LB: 65544 ... c Min unsat cost LB: 65545 ... c Min unsat cost LB: 65553 ... c Min unsat cost LB: 65554 ... c Min unsat cost LB: 65555 ... c Min unsat cost LB: 65562 ... c Min unsat cost LB: 65563 ... c Min unsat cost LB: 65564 ... c Min unsat cost LB: 65650 ... c Min unsat cost LB: 65712 ... c Min unsat cost LB: 65714 ... c Min unsat cost LB: 65765 ... c Min unsat cost LB: 65767 ... c Min unsat cost LB: 66370 ... c Min unsat cost LB: 66376 ... c Min unsat cost LB: 66377 ... c Min unsat cost LB: 66378 ... c Min unsat cost LB: 66379 ... c Min unsat cost LB: 66383 ... c Min unsat cost LB: 66385 ... c Min unsat cost LB: 66402 ... c Min unsat cost LB: 66403 ... c Min unsat cost LB: 66404 ... c Min unsat cost LB: 66405 ... c Min unsat cost LB: 66406 ... c Min unsat cost LB: 66407 ... c Min unsat cost LB: 66408 ... c Min unsat cost LB: 66410 ... c Min unsat cost LB: 66411 ... c Min unsat cost LB: 66412 ... c Min unsat cost LB: 66413 ... c Min unsat cost LB: 66414 ... c Min unsat cost LB: 66415 ... c Min unsat cost LB: 66422 ... c Min unsat cost LB: 66423 ... c Min unsat cost LB: 66424 ... c Min unsat cost LB: 66425 ... c Min unsat cost LB: 66426 ... c Min unsat cost LB: 66432 ... c Min unsat cost LB: 66433 ... c Min unsat cost LB: 66434 ... c Min unsat cost LB: 66435 ... c Min unsat cost LB: 66436 ... c Min unsat cost LB: 66438 ... c Min unsat cost LB: 66444 ... c Min unsat cost LB: 66485 ... c Min unsat cost LB: 66486 ... c Min unsat cost LB: 66487 ... c Min unsat cost LB: 66488 ... c Min unsat cost LB: 66493 ... c Min unsat cost LB: 66494 ... c Min unsat cost LB: 66495 ... c Min unsat cost LB: 66496 ... c Min unsat cost LB: 66497 ... c Min unsat cost LB: 66498 ... c Min unsat cost LB: 66499 ... c Min unsat cost LB: 66500 ... c Min unsat cost LB: 66501 ... c Min unsat cost LB: 66502 ... c Min unsat cost LB: 66503 ... c Min unsat cost LB: 66504 ... c Min unsat cost LB: 66505 ... c Min unsat cost LB: 66506 ... c Min unsat cost LB: 66507 ... c Min unsat cost LB: 66508 ... c Min unsat cost LB: 66509 ... c Min unsat cost LB: 66510 ... c Min unsat cost LB: 66511 ... c Min unsat cost LB: 66512 ... c Min unsat cost LB: 66513 ... c Min unsat cost LB: 66514 ... c Min unsat cost LB: 66515 ... c Min unsat cost LB: 66516 ... c Min unsat cost LB: 66517 ... c Min unsat cost LB: 66518 ... c Min unsat cost LB: 66519 ... c Min unsat cost LB: 66520 ... c Min unsat cost LB: 66521 ... c Min unsat cost LB: 66522 ... c Min unsat cost LB: 66523 ... c Min unsat cost LB: 66524 ... c Min unsat cost LB: 66525 ... c Min unsat cost LB: 66526 ... c Min unsat cost LB: 66527 ... c Min unsat cost LB: 66528 ... c Min unsat cost LB: 66529 ... c Min unsat cost LB: 66530 ... c Min unsat cost LB: 66531 ... c Min unsat cost LB: 66537 ... c Min unsat cost LB: 66538 ... c Min unsat cost LB: 66540 ... c Min unsat cost LB: 66543 ... c Min unsat cost LB: 66546 ... c Min unsat cost LB: 66547 ... c Min unsat cost LB: 66548 ... c Min unsat cost LB: 66549 ... c Min unsat cost LB: 66550 ... c Min unsat cost LB: 66551 ... c Min unsat cost LB: 66552 ... c Min unsat cost LB: 66553 ... c Min unsat cost LB: 66554 ... c Min unsat cost LB: 66555 ... c Min unsat cost LB: 66556 ... c Min unsat cost LB: 66557 ... c Min unsat cost LB: 66559 ... c Min unsat cost LB: 66560 ... c Min unsat cost LB: 66561 ... c Min unsat cost LB: 66562 ... c Min unsat cost LB: 66563 ... c Min unsat cost LB: 66564 ... c Min unsat cost LB: 66565 ... c Min unsat cost LB: 66566 ... c Min unsat cost LB: 66567 ... c Min unsat cost LB: 66568 ... c Min unsat cost LB: 66574 ... c Min unsat cost LB: 66575 ... c Min unsat cost LB: 66577 ... c Min unsat cost LB: 66578 ... c Min unsat cost LB: 66579 ... c Min unsat cost LB: 66580 ... c Min unsat cost LB: 66581 ... c Min unsat cost LB: 66582 ... c Min unsat cost LB: 66584 ... c Min unsat cost LB: 66586 ... c Min unsat cost LB: 66587 ... c Min unsat cost LB: 66588 ... c Min unsat cost LB: 66589 ... c Min unsat cost LB: 66590 ... c Min unsat cost LB: 66591 ... c Min unsat cost LB: 66592 ... c Min unsat cost LB: 66593 ... c Min unsat cost LB: 66595 ... c Min unsat cost LB: 66596 ... c Min unsat cost LB: 66597 ... c Min unsat cost LB: 66598 ... c Min unsat cost LB: 66599 ... c Min unsat cost LB: 66600 ... c Min unsat cost LB: 66601 ... c Min unsat cost LB: 66602 ... c Min unsat cost LB: 66603 ... c Min unsat cost LB: 66604 ... c Min unsat cost LB: 66605 ... c Min unsat cost LB: 66606 ... c Min unsat cost LB: 66607 ... c Min unsat cost LB: 66608 ... c Min unsat cost LB: 66609 ... c Min unsat cost LB: 66610 ... c Min unsat cost LB: 66611 ... c Min unsat cost LB: 66612 ... c Min unsat cost LB: 66613 ... c Min unsat cost LB: 66614 ... c Min unsat cost LB: 66615 ... c Min unsat cost LB: 66617 ... c Min unsat cost LB: 66621 ... c Min unsat cost LB: 66622 ... c Min unsat cost LB: 66623 ... c Min unsat cost LB: 66624 ... c Min unsat cost LB: 66625 ... c Min unsat cost LB: 66626 ... c Min unsat cost LB: 66627 ... c Min unsat cost LB: 66628 ... c Min unsat cost LB: 66629 ... c Min unsat cost LB: 66630 ... c Min unsat cost LB: 66641 ... c Min unsat cost LB: 66642 ... c Min unsat cost LB: 66643 ... c Min unsat cost LB: 66644 ... c Min unsat cost LB: 66645 ... c Min unsat cost LB: 66646 ... c Min unsat cost LB: 66647 ... c Min unsat cost LB: 66657 ... c Min unsat cost LB: 66658 ... c Min unsat cost LB: 66659 ... c Min unsat cost LB: 66660 ... c Min unsat cost LB: 66670 ... c Min unsat cost LB: 66671 ... c Min unsat cost LB: 66672 ... c Min unsat cost LB: 66673 ... c Min unsat cost LB: 66674 ... c Min unsat cost LB: 66675 ... c Min unsat cost LB: 66676 ... c Min unsat cost LB: 66677 ... c Min unsat cost LB: 66678 ... c Min unsat cost LB: 66679 ... c Min unsat cost LB: 66680 ... c Min unsat cost LB: 66681 ... c Min unsat cost LB: 66685 ... c Min unsat cost LB: 66686 ... c Min unsat cost LB: 66704 ... c Min unsat cost LB: 66712 ... c Min unsat cost LB: 66713 ... c Min unsat cost LB: 66714 ... c Min unsat cost LB: 66717 ... c Min unsat cost LB: 66777 ... c Min unsat cost LB: 66778 ... c Min unsat cost LB: 66779 ... c Min unsat cost LB: 66780 ... c Min unsat cost LB: 66789 ... c Min unsat cost LB: 66790 ... c Min unsat cost LB: 66791 ... c Min unsat cost LB: 66792 ... c Min unsat cost LB: 66793 ... c Min unsat cost LB: 66794 ... c Min unsat cost LB: 66795 ... c Min unsat cost LB: 66805 ... c Min unsat cost LB: 66809 ... c Min unsat cost LB: 66827 ... c Min unsat cost LB: 66828 ... c Min unsat cost LB: 66846 ... c Min unsat cost LB: 66890 ... c Min unsat cost LB: 66898 ... c Min unsat cost LB: 66900 ... c Min unsat cost LB: 66901 ... c Min unsat cost LB: 66902 ... c Min unsat cost LB: 66903 ... c Min unsat cost LB: 66904 ... c Min unsat cost LB: 66905 ... c Min unsat cost LB: 66906 ... c Min unsat cost LB: 66907 ... c Min unsat cost LB: 66908 ... c Min unsat cost LB: 66909 ... c Min unsat cost LB: 66910 ... c Min unsat cost LB: 66911 ... c Min unsat cost LB: 66912 ... c Min unsat cost LB: 66913 ... c Min unsat cost LB: 66914 ... c Min unsat cost LB: 66915 ... c Min unsat cost LB: 66936 ... c Min unsat cost LB: 66937 ... c Min unsat cost LB: 66938 ... c Min unsat cost LB: 66939 ... c Min unsat cost LB: 66940 ... c Min unsat cost LB: 66941 ... c Min unsat cost LB: 66942 ... c Min unsat cost LB: 66945 ... c Min unsat cost LB: 66950 ... c Min unsat cost LB: 66953 ... c Min unsat cost LB: 66955 ... c Min unsat cost LB: 66957 ... c Min unsat cost LB: 66958 ... c Min unsat cost LB: 66960 ... c Min unsat cost LB: 66961 ... c Min unsat cost LB: 66962 ... c Min unsat cost LB: 66963 ... c Min unsat cost LB: 66964 ... c Min unsat cost LB: 66965 ... c Min unsat cost LB: 66968 ... c Min unsat cost LB: 66970 ... c Min unsat cost LB: 66971 ... c Min unsat cost LB: 66972 ... c Min unsat cost LB: 66973 ... c Min unsat cost LB: 66974 ... c Min unsat cost LB: 66975 ... c Min unsat cost LB: 66976 ... c Min unsat cost LB: 66977 ... c Min unsat cost LB: 66978 ... c Min unsat cost LB: 66979 ... c Min unsat cost LB: 66980 ... c Min unsat cost LB: 66981 ... c Min unsat cost LB: 66982 ... c Min unsat cost LB: 66983 ... c Min unsat cost LB: 66984 ... c Min unsat cost LB: 66986 ... c Min unsat cost LB: 66987 ... c Min unsat cost LB: 66995 ... c Min unsat cost LB: 66999 ... c Min unsat cost LB: 67000 ... c Min unsat cost LB: 67001 ... c Min unsat cost LB: 67002 ... c Min unsat cost LB: 67003 ... c Min unsat cost LB: 67004 ... c Min unsat cost LB: 67005 ... c Min unsat cost LB: 67006 ... c Min unsat cost LB: 67007 ... c Min unsat cost LB: 67008 ... c Min unsat cost LB: 67009 ... c Min unsat cost LB: 67010 ... c Min unsat cost LB: 67011 ... c Min unsat cost LB: 67012 ... c Min unsat cost LB: 67013 ... c Min unsat costKilled 1808.266u 11.481s 30:23.44 99.7% 0+0k 0+0io 0pf+0w