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_140_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0001.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_140_0001.txt.wcnf *** c c Min unsat cost LB: 440 ... c Min unsat cost LB: 1732 ... c Min unsat cost LB: 3024 ... c Min unsat cost LB: 3851 ... c Min unsat cost LB: 4678 ... c Min unsat cost LB: 5143 ... c Min unsat cost LB: 5505 ... c Min unsat cost LB: 6332 ... c Min unsat cost LB: 6435 ... c Min unsat cost LB: 7159 ... c Min unsat cost LB: 7727 ... c Min unsat cost LB: 8167 ... c Min unsat cost LB: 8426 ... c Min unsat cost LB: 9253 ... c Min unsat cost LB: 9693 ... c Min unsat cost LB: 10080 ... c Min unsat cost LB: 11372 ... c Min unsat cost LB: 11837 ... c Min unsat cost LB: 11890 ... c Min unsat cost LB: 12330 ... c Min unsat cost LB: 12538 ... c Min unsat cost LB: 13239 ... c Min unsat cost LB: 13940 ... c Min unsat cost LB: 14531 ... c Min unsat cost LB: 14641 ... c Min unsat cost LB: 14767 ... c Min unsat cost LB: 14984 ... c Min unsat cost LB: 15299 ... c Min unsat cost LB: 15999 ... c Min unsat cost LB: 16699 ... c Min unsat cost LB: 17291 ... c Min unsat cost LB: 17992 ... c Min unsat cost LB: 18692 ... c Min unsat cost LB: 19284 ... c Min unsat cost LB: 19410 ... c Min unsat cost LB: 20110 ... c Min unsat cost LB: 20702 ... c Min unsat cost LB: 21402 ... c Min unsat cost LB: 21656 ... c Min unsat cost LB: 21910 ... c Min unsat cost LB: 22102 ... c Min unsat cost LB: 22164 ... c Min unsat cost LB: 22418 ... c Min unsat cost LB: 22672 ... c Min unsat cost LB: 22926 ... c Min unsat cost LB: 23180 ... c Min unsat cost LB: 24007 ... c Min unsat cost LB: 24010 ... c Min unsat cost LB: 24264 ... c Min unsat cost LB: 24372 ... c Min unsat cost LB: 24518 ... c Min unsat cost LB: 24734 ... c Min unsat cost LB: 24772 ... c Min unsat cost LB: 24815 ... c Min unsat cost LB: 25069 ... c Min unsat cost LB: 25323 ... c Min unsat cost LB: 25577 ... c Min unsat cost LB: 25637 ... c Min unsat cost LB: 26295 ... c Min unsat cost LB: 26449 ... c Min unsat cost LB: 26700 ... c Min unsat cost LB: 26703 ... c Min unsat cost LB: 27741 ... c Min unsat cost LB: 27992 ... c Min unsat cost LB: 28100 ... c Min unsat cost LB: 28354 ... c Min unsat cost LB: 28608 ... c Min unsat cost LB: 29308 ... c Min unsat cost LB: 29351 ... c Min unsat cost LB: 29605 ... c Min unsat cost LB: 29859 ... c Min unsat cost LB: 30559 ... c Min unsat cost LB: 30705 ... c Min unsat cost LB: 30916 ... c Min unsat cost LB: 31024 ... c Min unsat cost LB: 31067 ... c Min unsat cost LB: 31515 ... c Min unsat cost LB: 31767 ... c Min unsat cost LB: 31867 ... c Min unsat cost LB: 33015 ... c Min unsat cost LB: 34163 ... c Min unsat cost LB: 34166 ... c Min unsat cost LB: 35314 ... c Min unsat cost LB: 35568 ... c Min unsat cost LB: 35676 ... c Min unsat cost LB: 35822 ... c Min unsat cost LB: 36076 ... c Min unsat cost LB: 36287 ... c Min unsat cost LB: 36697 ... c Min unsat cost LB: 37532 ... c Min unsat cost LB: 39098 ... c Min unsat cost LB: 39829 ... c Min unsat cost LB: 39933 ... c Min unsat cost LB: 40664 ... c Min unsat cost LB: 41081 ... c Min unsat cost LB: 41521 ... c Min unsat cost LB: 41916 ... c Min unsat cost LB: 42356 ... c Min unsat cost LB: 42751 ... c Min unsat cost LB: 42926 ... c Min unsat cost LB: 43366 ... c Min unsat cost LB: 43806 ... c Min unsat cost LB: 44846 ... c Min unsat cost LB: 45742 ... c Min unsat cost LB: 46138 ... c Min unsat cost LB: 47704 ... c Min unsat cost LB: 48539 ... c Min unsat cost LB: 49374 ... c Min unsat cost LB: 49814 ... c Min unsat cost LB: 50962 ... c Min unsat cost LB: 51106 ... c Min unsat cost LB: 51546 ... c Min unsat cost LB: 51986 ... c Min unsat cost LB: 53134 ... c Min unsat cost LB: 53278 ... c Min unsat cost LB: 53524 ... c Min unsat cost LB: 54528 ... c Min unsat cost LB: 54816 ... c Min unsat cost LB: 54861 ... c Min unsat cost LB: 55075 ... c Min unsat cost LB: 55098 ... c Min unsat cost LB: 55324 ... c Min unsat cost LB: 55369 ... c Min unsat cost LB: 55540 ... c Min unsat cost LB: 55910 ... c Min unsat cost LB: 56367 ... c Min unsat cost LB: 56497 ... c Min unsat cost LB: 56636 ... c Min unsat cost LB: 56784 ... c Min unsat cost LB: 57224 ... c Min unsat cost LB: 57664 ... c Min unsat cost LB: 57794 ... c Min unsat cost LB: 58063 ... c Min unsat cost LB: 58812 ... c Min unsat cost LB: 59103 ... c Min unsat cost LB: 59960 ... c Min unsat cost LB: 60072 ... c Min unsat cost LB: 60468 ... c Min unsat cost LB: 60495 ... c Min unsat cost LB: 61243 ... c Min unsat cost LB: 61391 ... c Min unsat cost LB: 61539 ... c Min unsat cost LB: 61791 ... c Min unsat cost LB: 62055 ... c Min unsat cost LB: 62787 ... c Min unsat cost LB: 63935 ... c Min unsat cost LB: 64079 ... c Min unsat cost LB: 64231 ... c Min unsat cost LB: 64375 ... c Min unsat cost LB: 65371 ... c Min unsat cost LB: 65379 ... c Min unsat cost LB: 65458 ... c Min unsat cost LB: 65562 ... c Min unsat cost LB: 65712 ... c Min unsat cost LB: 65966 ... c Min unsat cost LB: 66080 ... c Min unsat cost LB: 66220 ... c Min unsat cost LB: 66324 ... c Min unsat cost LB: 66505 ... c Min unsat cost LB: 66543 ... c Min unsat cost LB: 66651 ... c Min unsat cost LB: 66902 ... c Min unsat cost LB: 66983 ... c Min unsat cost LB: 67166 ... c Min unsat cost LB: 67351 ... c Min unsat cost LB: 67423 ... c Min unsat cost LB: 67562 ... c Min unsat cost LB: 67603 ... c Min unsat cost LB: 67710 ... c Min unsat cost LB: 67854 ... c Min unsat cost LB: 67863 ... c Min unsat cost LB: 68051 ... c Min unsat cost LB: 68057 ... c Min unsat cost LB: 68060 ... c Min unsat cost LB: 68160 ... c Min unsat cost LB: 68306 ... c Min unsat cost LB: 68311 ... c Min unsat cost LB: 68497 ... c Min unsat cost LB: 68643 ... c Min unsat cost LB: 68703 ... c Min unsat cost LB: 69083 ... c Min unsat cost LB: 69113 ... c Min unsat cost LB: 69374 ... c Min unsat cost LB: 69470 ... c Min unsat cost LB: 69508 ... c Min unsat cost LB: 69513 ... c Min unsat cost LB: 69650 ... c Min unsat cost LB: 69721 ... c Min unsat cost LB: 69812 ... c Min unsat cost LB: 69831 ... c Min unsat cost LB: 69940 ... c Min unsat cost LB: 69957 ... c Min unsat cost LB: 70211 ... c Min unsat cost LB: 70223 ... c Min unsat cost LB: 70229 ... c Min unsat cost LB: 70254 ... c Min unsat cost LB: 70272 ... c Min unsat cost LB: 70351 ... c Min unsat cost LB: 70474 ... c Min unsat cost LB: 70657 ... c Min unsat cost LB: 70712 ... c Min unsat cost LB: 70765 ... c Min unsat cost LB: 70811 ... c Min unsat cost LB: 70973 ... c Min unsat cost LB: 71019 ... c Min unsat cost LB: 71119 ... c Min unsat cost LB: 71122 ... c Min unsat cost LB: 71376 ... c Min unsat cost LB: 71459 ... c Min unsat cost LB: 71630 ... c Min unsat cost LB: 71670 ... c Min unsat cost LB: 71701 ... c Min unsat cost LB: 71744 ... c Min unsat cost LB: 71754 ... c Min unsat cost LB: 71762 ... c Min unsat cost LB: 71847 ... c Min unsat cost LB: 71955 ... c Min unsat cost LB: 72209 ... c Min unsat cost LB: 72463 ... c Min unsat cost LB: 72571 ... c Min unsat cost LB: 72674 ... c Min unsat cost LB: 72725 ... c Min unsat cost LB: 73139 ... c Min unsat cost LB: 73140 ... c Min unsat cost LB: 73195 ... c Min unsat cost LB: 73409 ... c Min unsat cost LB: 73501 ... c Min unsat cost LB: 73575 ... c Min unsat cost LB: 73767 ... c Min unsat cost LB: 74202 ... c Min unsat cost LB: 74306 ... c Min unsat cost LB: 74432 ... c Min unsat cost LB: 74437 ... c Min unsat cost LB: 74460 ... c Min unsat cost LB: 74472 ... c Min unsat cost LB: 74624 ... c Min unsat cost LB: 74847 ... c Min unsat cost LB: 74855 ... c Min unsat cost LB: 74878 ... c Min unsat cost LB: 75126 ... c Min unsat cost LB: 75223 ... c Min unsat cost LB: 75231 ... c Min unsat cost LB: 75303 ... c Min unsat cost LB: 75325 ... c Min unsat cost LB: 75370 ... c Min unsat cost LB: 75759 ... c Min unsat cost LB: 75909 ... c Min unsat cost LB: 76013 ... c Min unsat cost LB: 76022 ... c Min unsat cost LB: 76077 ... c Min unsat cost LB: 76084 ... c Min unsat cost LB: 76098 ... c Min unsat cost LB: 76143 ... c Min unsat cost LB: 76162 ... c Min unsat cost LB: 76236 ... c Min unsat cost LB: 76352 ... c Min unsat cost LB: 76397 ... c Min unsat cost LB: 76478 ... c Min unsat cost LB: 76676 ... c Min unsat cost LB: 76690 ... c Min unsat cost LB: 76859 ... c Min unsat cost LB: 76959 ... c Min unsat cost LB: 77216 ... c Min unsat cost LB: 77230 ... c Min unsat cost LB: 77312 ... c Min unsat cost LB: 77374 ... c Min unsat cost LB: 77508 ... c Min unsat cost LB: 77611 ... c Min unsat cost LB: 78008 ... c Min unsat cost LB: 78198 ... c Min unsat cost LB: 78315 ... c Min unsat cost LB: 78343 ... c Min unsat cost LB: 78477 ... c Min unsat cost LB: 78608 ... c Min unsat cost LB: 78620 ... c Min unsat cost LB: 78732 ... c Min unsat cost LB: 78759 ... c Min unsat cost LB: 78903 ... c Min unsat cost LB: 78906 ... c Min unsat cost LB: 79023 ... c Min unsat cost LB: 79025 ... c Min unsat cost LB: 79032 ... c Min unsat cost LB: 79066 ... c Min unsat cost LB: 79139 ... c Min unsat cost LB: 79184 ... c Min unsat cost LB: 79298 ... c Min unsat cost LB: 79323 ... c Min unsat cost LB: 79325 ... c Min unsat cost LB: 79395 ... c Min unsat cost LB: 79424 ... c Min unsat cost LB: 79430 ... c Min unsat cost LB: 79478 ... c Min unsat cost LB: 79479 ... c Min unsat cost LB: 79508 ... c Min unsat cost LB: 79583 ... c Min unsat cost LB: 79589 ... c Min unsat cost LB: 79613 ... c Min unsat cost LB: 79623 ... c Min unsat cost LB: 79767 ... c Min unsat cost LB: 79805 ... c Min unsat cost LB: 80082 ... c Min unsat cost LB: 80219 ... c Min unsat cost LB: 80335 ... c Min unsat cost LB: 80443 ... c Min unsat cost LB: 80471 ... c Min unsat cost LB: 80657 ... c Min unsat cost LB: 80790 ... c Min unsat cost LB: 80812 ... c Min unsat cost LB: 80892 ... c Min unsat cost LB: 80898 ... c Min unsat cost LB: 80971 ... c Min unsat cost LB: 80995 ... c Min unsat cost LB: 81000 ... c Min unsat cost LB: 81125 ... c Min unsat cost LB: 81132 ... c Min unsat cost LB: 81145 ... c Min unsat cost LB: 81166 ... c Min unsat cost LB: 81200 ... c Min unsat cost LB: 81207 ... c Min unsat cost LB: 81229 ... c Min unsat cost LB: 81247 ... c Min unsat cost LB: 81251 ... c Min unsat cost LB: 81257 ... c Min unsat cost LB: 81271 ... c Min unsat cost LB: 81301 ... c Min unsat cost LB: 81331 ... c Min unsat cost LB: 81592 ... c Min unsat cost LB: 81628 ... c Min unsat cost LB: 81651 ... c Min unsat cost LB: 81661 ... c Min unsat cost LB: 81673 ... c Min unsat cost LB: 81693 ... c Min unsat cost LB: 81723 ... c Min unsat cost LB: 81827 ... c Min unsat cost LB: 81850 ... c Min unsat cost LB: 82073 ... c Min unsat cost LB: 82081 ... c Min unsat cost LB: 82104 ... c Min unsat cost LB: 82158 ... c Min unsat cost LB: 82163 ... c Min unsat cost LB: 82255 ... c Min unsat cost LB: 82289 ... c Min unsat cost LB: 82327 ... c Min unsat cost LB: 82361 ... c Min unsat cost LB: 82370 ... c Min unsat cost LB: 82442 ... c Min unsat cost LB: 82449 ... c Min unsat cost LB: 82478 ... c Min unsat cost LB: 82486 ... c Min unsat cost LB: 82492 ... c Min unsat cost LB: 82508 ... c Min unsat cost LB: 82537 ... c Min unsat cost LB: 82568 ... c Min unsat cost LB: 82574 ... c Min unsat cost LB: 82582 ... c Min unsat cost LB: 82596 ... c Min unsat cost LB: 82598 ... c Min unsat cost LB: 82640 ... c Min unsat cost LB: 82680 ... c Min unsat cost LB: 82723 ... c Min unsat cost LB: 82737 ... c Min unsat cost LB: 82795 ... c Min unsat cost LB: 82871 ... c Min unsat cost LB: 82898 ... c Min unsat cost LB: 82904 ... c Min unsat cost LB: 82910 ... c Min unsat cost LB: 82920 ... c Min unsat cost LB: 82928 ... c Min unsat cost LB: 82934 ... c Min unsat cost LB: 82936 ... c Min unsat cost LB: 82963 ... c Min unsat cost LB: 82977 ... c Min unsat cost LB: 82989 ... c Min unsat cost LB: 82991 ... c Min unsat cost LB: 83047 ... c Min unsat cost LB: 83064 ... c Min unsat cost LB: 83071 ... c Min unsat cost LB: 83098 ... c Min unsat cost LB: 83112 ... c Min unsat cost LB: 83139 ... c Min unsat cost LB: 83156 ... c Min unsat cost LB: 83165 ... c Min unsat cost LB: 83167 ... c Min unsat cost LB: 83222 ... c Min unsat cost LB: 83239 ... c Min unsat cost LB: 83294 ... c Min unsat cost LB: 83298 ... c Min unsat cost LB: 83300 ... c Min unsat cost LB: 83303 ... c Min unsat cost LB: 83304 ... c Min unsat cost LB: 83306 ... c Min unsat cost LB: 83312 ... c Min unsat cost LB: 83313 ... c Min unsat cost LB: 83314 ... c Min unsat cost LB: 83315 ... c Min unsat cost LB: 83316 ... c Min unsat cost LB: 83318 ... c Min unsat cost LB: 83320 ... c Min unsat cost LB: 83322 ... c Min unsat cost LB: 83323 ... c Min unsat cost LB: 83324 ... c Min unsat cost LB: 83326 ... c Min unsat cost LB: 83327 ... c Min unsat cost LB: 83328 ... c Min unsat cost LB: 83329 ... c Min unsat cost LB: 83330 ... c Min unsat cost LB: 83331 ... c Min unsat cost LB: 83343 ... c Min unsat cost LB: 83345 ... c Min unsat cost LB: 83348 ... c Min unsat cost LB: 83352 ... c Min unsat cost LB: 83353 ... c Min unsat cost LB: 83354 ... c Min unsat cost LB: 83358 ... c Min unsat cost LB: 83359 ... c Min unsat cost LB: 83360 ... c Min unsat cost LB: 83383 ... c Min unsat cost LB: 83400 ... c Min unsat cost LB: 83460 ... c Min unsat cost LB: 83461 ... c Min unsat cost LB: 83463 ... c Min unsat cost LB: 83472 ... c Min unsat cost LB: 83473 ... c Min unsat cost LB: 83577 ... c Min unsat cost LB: 83688 ... c Min unsat cost LB: 83693 ... c Min unsat cost LB: 83726 ... c Min unsat cost LB: 83797 ... c Min unsat cost LB: 83816 ... c Min unsat cost LB: 83825 ... c Min unsat cost LB: 83831 ... c Min unsat cost LB: 83871 ... c Min unsat cost LB: 83900 ... c Min unsat cost LB: 83904 ... c Min unsat cost LB: 83929 ... c Min unsat cost LB: 83949 ... c Min unsat cost LB: 83984 ... c Min unsat cost LB: 83992 ... c Min unsat cost LB: 83995 ... c Min unsat cost LB: 83997 ... c Min unsat cost LB: 83999 ... c Min unsat cost LB: 84008 ... c Min unsat cost LB: 84011 ... c Min unsat cost LB: 84018 ... c Min unsat cost LB: 84020 ... c Min unsat cost LB: 84022 ... c Min unsat cost LB: 84025 ... c Min unsat cost LB: 84026 ... c Min unsat cost LB: 84028 ... c Min unsat cost LB: 84031 ... c Min unsat cost LB: 84032 ... c Min unsat cost LB: 84033 ... c Min unsat cost LB: 84083 ... c Min unsat cost LB: 84087 ... c Min unsat cost LB: 84135 ... c Min unsat cost LB: 84136 ... c Min unsat cost LB: 84179 ... c Min unsat cost LB: 84228 ... c Min unsat cost LB: 84247 ... c Min unsat cost LB: 84349 ... c Min unsat cost LB: 84357 ... c Min unsat cost LB: 84363 ... c Min unsat cost LB: 84372 ... c Min unsat cost LB: 84413 ... c Min unsat cost LB: 84434 ... c Min unsat cost LB: 84617 ... c Min unsat cost LB: 84623 ... c Min unsat cost LB: 84629 ... c Min unsat cost LB: 84688 ... c Min unsat cost LB: 84694 ... c Min unsat cost LB: 84700 ... c Min unsat cost LB: 84701 ... c Min unsat cost LB: 84709 ... c Min unsat cost LB: 84715 ... c Min unsat cost LB: 84718 ... c Min unsat cost LB: 84724 ... c Min unsat cost LB: 84730 ... c Min unsat cost LB: 84738 ... c Min unsat cost LB: 84748 ... c Min unsat cost LB: 84766 ... c Min unsat cost LB: 84768 ... c Min unsat cost LB: 84771 ... c Min unsat cost LB: 84777 ... c Min unsat cost LB: 84781 ... c Min unsat cost LB: 84808 ... c Min unsat cost LB: 84814 ... c Min unsat cost LB: 84820 ... c Min unsat cost LB: 84822 ... c Min unsat cost LB: 84838 ... c Min unsat cost LB: 84851 ... c Min unsat cost LB: 84852 ... c Min unsat cost LB: 84856 ... c Min unsat cost LB: 84858 ... c Min unsat cost LB: 84864 ... c Min unsat cost LB: 84873 ... c Min unsat cost LB: 84874 ... c Min unsat cost LB: 84876 ... c Min unsat cost LB: 84915 ... c Min unsat cost LB: 84921 ... c Min unsat cost LB: 84922 ... c Min unsat cost LB: 84934 ... c Min unsat cost LB: 84951 ... c Min unsat cost LB: 84952 ... c Min unsat cost LB: 84957 ... c Min unsat cost LB: 84958 ... c Min unsat cost LB: 84961 ... c Min unsat cost LB: 84985 ... c Min unsat cost LB: 84987 ... c Min unsat cost LB: 84988 ... c Min unsat cost LB: 84990 ... c Min unsat cost LB: 85002 ... c Min unsat cost LB: 85007 ... c Min unsat cost LB: 85013 ... c Min unsat cost LB: 85017 ... c Min unsat cost LB: 85018 ... c Min unsat cost LB: 85019 ... c Min unsat cost LB: 85043 ... c Min unsat cost LB: 85045 ... c Min unsat cost LB: 85047 ... c Min unsat cost LB: 85051 ... c Min unsat cost LB: 85066 ... c Min unsat cost LB: 85072 ... c Min unsat cost LB: 85080 ... c Min unsat cost LB: 85082 ... c Min unsat cost LB: 85101 ... c Min unsat cost LB: 85102 ... c Min unsat cost LB: 85105 ... c Min unsat cost LB: 85145 ... c Min unsat cost LB: 85153 ... c Min unsat cost LB: 85157 ... c Min unsat cost LB: 85158 ... c Min unsat cost LB: 85159 ... c Min unsat cost LB: 85160 ... c Min unsat cost LB: 85161 ... c Min unsat cost LB: 85165 ... c Min unsat cost LB: 85168 ... c Min unsat cost LB: 85170 ... c Min unsat cost LB: 85171 ... c Min unsat cost LB: 85174 ... c Min unsat cost LB: 85178 ... c Min unsat cost LB: 85183 ... c Min unsat cost LB: 85194 ... c Min unsat cost LB: 85195 ... c Min unsat cost LB: 85196 ... c Min unsat cost LB: 85197 ... c Min unsat cost LB: 85198 ... c Min unsat cost LB: 85199 ... c Min unsat cost LB: 85201 ... c Min unsat cost LB: 85203 ... c Min unsat cost LB: 85205 ... c Min unsat cost LB: 85206 ... c Min unsat cost LB: 85207 ... c Min unsat cost LB: 85208 ... c Min unsat cost LB: 85209 ... c Min unsat cost LB: 85210 ... c Min unsat cost LB: 85214 ... c Min unsat cost LB: 85217 ... c Min unsat cost LB: 85221 ... c Min unsat cost LB: 85222 ... c Min unsat cost LB: 85223 ... c Min unsat cost LB: 85226 ... c Min unsat cost LB: 85227 ... c Min unsat cost LB: 85229 ... c Min unsat cost LB: 85235 ... c Min unsat cost LB: 85237 ... c Min unsat cost LB: 85241 ... c Min unsat cost LB: 85242 ... c Min unsat cost LB: 85244 ... c Min unsat cost LB: 85245 ... c Min unsat cost LB: 85247 ... c Min unsat cost LB: 85248 ... c Min unsat cost LB: 85249 ... c Min unsat cost LB: 85250 ... c Min unsat cost LB: 85251 ... c Min unsat cost LB: 85252 ... c Min unsat cost LB: 85253 ... c Min unsat cost LB: 85254 ... c Min unsat cost LB: 85255 ... c Min unsat cost LB: 85265 ... c Min unsat cost LB: 85267 ... c Min unsat cost LB: 85268 ... c Min unsat cost LB: 85269 ... c Min unsat cost LB: 85270 ... c Min unsat cost LB: 85271 ... c Min unsat cost LB: 85272 ... c Min unsat cost LB: 85273 ... c Min unsat cost LB: 85275 ... c Min unsat cost LB: 85276 ... c Min unsat cost LB: 85283 ... c Min unsat cost LB: 85284 ... c Min unsat cost LB: 85285 ... c Min unsat cost LB: 85286 ... c Min unsat cost LB: 85288 ... c Min unsat cost LB: 85289 ... c Min unsat cost LB: 85328 ... c Min unsat cost LB: 85339 ... c Min unsat cost LB: 85340 ... c Min unsat cost LB: 85341 ... c Min unsat cost LB: 85342 ... c Min unsat cost LB: 85343 ... c Min unsat cost LB: 85344 ... c Min unsat cost LB: 85345 ... c Min unsat cost LB: 85346 ... c Min unsat cost LB: 85347 ... c Min unsat cost LB: 85348 ... c Min unsat cost LB: 85349 ... c Min unsat cost LB: 85350 ... c Min unsat cost LB: 85351 ... c Min unsat cost LB: 85364 ... c Min unsat cost LB: 85368 ... c Min unsat cost LB: 85371 ... c Min unsat cost LB: 85372 ... c Min unsat cost LB: 85392 ... c Min unsat cost LB: 85396 ... c Min unsat cost LB: 85402 ... c Min unsat cost LB: 85403 ... c Min unsat cost LB: 85407 ... c Min unsat cost LB: 85408 ... c Min unsat cost LB: 85409 ... c Min unsat cost LB: 85410 ... c Min unsat cost LB: 85422 ... c Min unsat cost LB: 85424 ... c Min unsat cost LB: 85426 ... c Min unsat cost LB: 85427 ... c Min unsat cost LB: 85428 ... c Min unsat cost LB: 85429 ... c Min unsat cost LB: 85431 ... c Min unsat cost LB: 85433 ... c Min unsat cost LB: 85434 ... c Min unsat cost LB: 85435 ... c Min unsat cost LB: 85437 ... c Min unsat cost LB: 85444 ... c Min unsat cost LB: 85449 ... c Min unsat cost LB: 85451 ... c Min unsat cost LB: 85455 ... c Min unsat cost LB: 85457 ... c Min unsat cost LB: 85458 ... c Min unsat cost LB: 85464 ... c Min unsat cost LB: 85465 ... c Min unsat cost LB: 85466 ... c Min unsat cost LB: 85467 ... c Min unsat cost LB: 85469 ... c Min unsat cost LB: 85471 ... c Min unsat cost LB: 85509 ... c Min unsat cost LB: 85512 ... c Min unsat cost LB: 85532 ... c Min unsat cost LB: 85536 ... c Min unsat cost LB: 85540 ... c Min unsat cost LB: 85545 ... c Min unsat cost LB: 85546 ... c Min unsat cost LB: 85564 ... c Min unsat cost LB: 85565 ... c Min unsat cost LB: 85571 ... c Min unsat cost LB: 85580 ... c Min unsat cost LB: 85584 ... c Min unsat cost LB: 85588 ... c Min unsat cost LB: 85593 ... c Min unsat cost LB: 85594 ... c Min unsat cost LB: 85595 ... c Min unsat cost LB: 85596 ... c Min unsat cost LB: 85598 ... c Min unsat cost LB: 85600 ... c Min unsat cost LB: 85619 ... c Min unsat cost LB: 85620 ... c Min unsat cost LB: 85621 ... c Min unsat cost LB: 85658 ... c Min unsat cost LB: 85660 ... c Min unsat cost LB: 85662 ... c Min unsat cost LB: 85663 ... c Min unsat cost LB: 85668 ... c Min unsat cost LB: 85671 ... c Min unsat cost LB: 85674 ... c Min unsat cost LB: 85676 ... c Min unsat cost LB: 85677 ... c Min unsat cost LB: 85678 ... c Min unsat cost LB: 85731 ... c Min unsat cost LB: 85732 ... c Min unsat cost LB: 85733 ... c Min unsat cost LB: 85734 ... c Min unsat cost LB: 85735 ... c Min unsat cost LB: 85736 ... c Min unsat cost LB: 85737 ... c Min unsat cost LB: 85738 ... c Min unsat cost LB: 85739 ... c Min unsat cost LB: 85741 ... c Min unsat cost LB: 85742 ... c Min unsat cost LB: 85743 ... c Min unsat cost LB: 85744 ... c Min unsat cost LB: 85745 ... c Min unsat cost LB: 85746 ... c Min unsat cost LB: 85748 ... c Min unsat cost LB: 85749 ... c Min unsat cost LB: 85751 ... c Min unsat cost LB: 85755 ... c Min unsat cost LB: 85756 ... c Min unsat cost LB: 85757 ... c Min unsat cost LB: 85758 ... c Min unsat cost LB: 85768 ... c Min unsat cost LB: 85769 ... c Min unsat cost LB: 85770 ... c Min unsat cost LB: 85771 ... c Min unsat cost LB: 85772 ... c Min unsat cost LB: 85773 ... c Min unsat cost LB: 85774 ... c Min unsat cost LB: 85777 ... c Min unsat cost LB: 85778 ... c Min unsat cost LB: 85779 ... c Min unsat cost LB: 85780 ... c Min unsat cost LB: 85784 ... c Min unsat cost LB: 85803 ... c Min unsat cost LB: 85808 ... c Min unsat cost LB: 85820 ... c Min unsat cost LB: 85822 ... c Min unsat cost LB: 85827 ... c Min unsat cost LB: 85828 ... c Min unsat cost LB: 85866 ... c Min unsat cost LB: 85867 ... c Min unsat cost LB: 85883 ... c Min unsat cost LB: 85884 ... c Min unsat cost LB: 85886 ... c Min unsat cost LB: 85887 ... c Min unsat cost LB: 85909 ... c Min unsat cost LB: 85910 ... c Min unsat cost LB: 85911 ... c Min unsat cost LB: 85916 ... c Min unsat cost LB: 85917 ... c Min unsat cost LB: 85919 ... c Min unsat cost LB: 85920 ... c Min unsat cost LB: 85921 ... c Min unsat cost LB: 85922 ... c Min unsat cost LB: 85927 ... c Min unsat cost LB: 85932 ... c Min unsat cost LB: 85935 ... c Min unsat cost LB: 85939 ... c Min unsat cost LB: 85940 ... c Min unsat cost LB: 85941 ... c Min unsat cost LB: 85942 ... c Min unsat cost LB: 85943 ... c Min unsat cost LB: 85945 ... c Min unsat cost LB: 85946 ... c Min unsat cost LB: 85947 ... c Min unsat cost LB: 85948 ... c Min unsat cost LB: 85949 ... c Min unsat cost LB: 85951 ... c Min unsat cost LB: 85953 ... c Min unsat cost LB: 85963 ... c Min unsat cost LB: 85964 ... c Min unsat cost LB: 85966 ... c Min unsat cost LB: 85968 ... c Min unsat cost LB: 85969 ... c Min unsat cost LB: 85970 ... c Min unsat cost LB: 85971 ... c Min unsat cost LB: 85972 ... c Min unsat cost LB: 85974 ... c Min unsat cost LB: 85976 ... c Min unsat cost LB: 85978 ... c Min unsat cost LB: 85979 ... c Min unsat cost LB: 85981 ... c Min unsat cost LB: 85983 ... c Min unsat cost LB: 85985 ... c Min unsat cost LB: 85993 ... c Min unsat cost LB: 85995 ... c Min unsat cost LB: 85998 ... c Min unsat cost LB: 85999 ... c Min unsat cost LB: 86009 ... c Min unsat cost LB: 86039 ... c Min unsat cost LB: 86060 ... c Min unsat cost LB: 86061 ... c Min unsat cost LB: 86067 ... c Min unsat cost LB: 86069 ... c Min unsat cost LB: 86230 ... c Min unsat cost LB: 86237 ... c Min unsat cost LB: 86242 ... c Min unsat cost LB: 86244 ... c Min unsat cost LB: 86245 ... c Min unsat cost LB: 86246 ... c Min unsat cost LB: 86247 ... c Min unsat cost LB: 86248 ... c Min unsat cost LB: 86249 ... c Min unsat cost LB: 86261 ... c Min unsat cost LB: 86264 ... c Min unsat cost LB: 86266 ... c Min unsat cost LB: 86267 ... c Min unsat cost LB: 86268 ... c Min unsat cost LB: 86269 ... c Min unsat cost LB: 86270 ... c Min unsat cost LB: 86271 ... c Min unsat cost LB: 86272 ... c Min unsat cost LB: 86273 ... c Min unsat cost LB: 86274 ... c Min unsat cost LB: 86275 ... c Min unsat cost LB: 86276 ... c Min unsat cost LB: 86277 ... c Min unsat cost LB: 86278 ... c Min unsat cost LB: 86280 ... c Min unsat cost LB: 86282 ... c Min unsat cost LB: 86283 ... c Min unsat cost LB: 86284 ... c Min unsat cost LB: 86286 ... c Min unsat cost LB: 86287 ... c Min unsat cost LB: 86288 ... c Min unsat cost LB: 86289 ... c Min unsat cost LB: 86291 ... c Min unsat cost LB: 86308 ... c Min unsat cost LB: 86314 ... c Min unsat cost LB: 86315 ... c Min unsat cost LB: 86316 ... c Min unsat cost LB: 86317 ... c Min unsat cost LB: 86318 ... c Min unsat cost LB: 86319 ... c Min unsat cost LB: 86320 ... c Min unsat cost LB: 86321 ... c Min unsat cost LB: 86322 ... c Min unsat cost LB: 86325 ... c Min unsat cost LB: 86331 ... c Min unsat cost LB: 86350 ... c Min unsat cost LB: 86380 ... c Min unsat cost LB: 86381 ... c Min unsat cost LB: 86382 ... c Min unsat cost LB: 86383 ... c Min unsat cost LB: 86389 ... c Min unsat cost LB: 86390 ... c Min unsat cost LB: 86391 ... c Min unsat cost LB: 86392 ... c Min unsat cost LB: 86393 ... c Min unsat cost LB: 86394 ... c Min unsat cost LB: 86395 ... c Min unsat cost LB: 86396 ... c Min unsat cost LB: 86397 ... c Min unsat cost LB: 86398 ... c Min unsat cost LB: 86399 ... c Min unsat cost LB: 86400 ... c Min unsat cost LB: 86401 ... c Min unsat cost LB: 86402 ... c Min unsat cost LB: 86403 ... c Min unsat cost LB: 86405 ... c Min unsat cost LB: 86406 ... c Min unsat cost LB: 86407 ... c Min unsat cost LB: 86408 ... c Min unsat cost LB: 86409 ... c Min unsat cost LB: 86410 ... c Min unsat cost LB: 86412 ... c Min unsat cost LB: 86413 ... c Min unsat cost LB: 86414 ... c Min unsat cost LB: 86415 ... c Min unsat cost LB: 86416 ... c Min unsat cost LB: 86418 ... c Min unsat cost LB: 86420 ... c Min unsat cost LB: 86421 ... c Min unsat cost LB: 86422 ... c Min unsat cost LB: 86423 ... c Min unsat cost LB: 86425 ... c Min unsat cost LB: 86426 ... c Min unsat cost LB: 86427 ... c Min unsat cost LB: 86428 ... c Min unsat cost LB: 86429 ... c Min unsat cost LB: 86430 ... c Min unsat cost LB: 86431 ... c Min unsat cost LB: 86433 ... c Min unsat cost LB: 86434 ... c Min unsat cost LB: 86435 ... c Min unsat cost LB: 86436 ... c Min unsat cost LB: 86437 ... c Min unsat cost LB: 86439 ... c Min unsat cost LB: 86440 ... c Min unsat cost LB: 86441 ... c Min unsat cost LB: 86443 ... c Min unsat cost LB: 86444 ... c Min unsat cost LB: 86445 ... c Min unsat cost LB: 86446 ... c Min unsat cost LB: 86447 ... c Min unsat cost LB: 86448 ... c Min unsat cost LB: 86449 ... c Min unsat cost LB: 86450 ... c Min unsat cost LB: 86452 ... c Min unsat cost LB: 86453 ... c Min unsat cost LB: 86454 ... c Min unsat cost LB: 86455 ... c Min unsat cost LB: 86456 ... c Min unsat cost LB: 86457 ... c Min unsat cost LB: 86458 ... c Min unsat cost LB: 86459 ... c Min unsat cost LB: 86460 ... c Min unsat cost LB: 86461 ... c Min unsat cost LB: 86462 ... c Min unsat cost LB: 86463 ... c Min unsat cost LB: 86464 ... c Min unsat cost LB: 86465 ... c Min unsat cost LB: 86466 ... c Min unsat cost LB: 86467 ... c Min unsat cost LB: 86468 ... c Min unsat cost LB: 86469 ... c Min unsat cost LB: 86470 ... c Min unsat cost LB: 86471 ... c Min unsat cost LB: 86472 ... c Min unsat cost LB: 86473 ... c Min unsat cost LB: 86474 ... c Min unsat cost LB: 86475 ... c Min unsat cost LB: 86476 ... c Min unsat cost LB: 86477 ... c Min unsat cost LB: 86478 ... c Min unsat cost LB: 86479 ... c Min unsat cost LB: 86480 ... c Min unsat cost LB: 86481 ... c Min unsat cost LB: 86482 ... c Min unsat cost LB: 86483 ... c Min unsat cost LB: 86484 ... c Min unsat cost LB: 86485 ... c Min unsat cost LB: 86486 ... c Min unsat cost LB: 86487 ... c Min unsat cost LB: 86488 ... c Min unsat cost LB: 86489 ... c Min unsat cost LB: 86490 ... c Min unsat cost LB: 86491 ... c Min unsat cost LB: 86492 ... c Min unsat cost LB: 86495 ... c Min unsat cost LB: 86496 ... c Min unsat cost LB: 86497 ... c Min unsat cost LB: 86499 ... c Min unsat cost LB: 86500 ... c Min unsat cost LB: 86507 ... c Min unsat cost LB: 86511 ... c Min unsat cost LB: 86513 ... c Min unsat cost LB: 86524 ... c Min unsat cost LB: 86539 ... c Min unsat cost LB: 86540 ... c Min unsat cost LB: 86547 ... c Min unsat cost LB: 86552 ... c Min unsat cost LB: 86561 ... c Min unsat cost LB: 86562 ... c Min unsat cost LB: 86573 ... c Min unsat cost LB: 86578 ... c Min unsat cost LB: 86579 ... c Min unsat cost LB: 86594 ... c Min unsat cost LB: 86599 ... c Min unsat cost LB: 86601 ... c Min unsat cost LB: 86632 ... c Min unsat cost LB: 86650 ... c Min unsat cost LB: 86656 ... c Min unsat cost LB: 86666 ... c Min unsat cost LB: 86667 ... c Min unsat cost LB: 86673 ... c Min unsat cost LB: 86674 ... c Min unsat cost LB: 86675 ... c Min unsat cost LB: 86676 ... c Min unsat cost LB: 86683 ... c Min unsat cost LB: 86691 ... c Min unsat cost LB: 86699 ... c Min unsat cost LB: 86700 ... c Min unsat cost LB: 86705 ... c Min unsat cost LB: 86711 ... c Min unsat cost LB: 86712 ... c Min unsat cost LB: 86714 ... c Min unsat cost LB: 86716 ... c Min unsat cost LB: 86719 ... c Min unsat cost LB: 86726 ... c Min unsat cost LB: 86728 ... c Min unsat cost LB: 86729 ... c Min unsat cost LB: 86730 ... c Min unsat cost LB: 86731 ... c Min unsat cost LB: 86732 ... c Min unsat cost LB: 86734 ... c Min unsat cost LB: 86736 ... c Min unsat cost LB: 86739 ... c Min unsat cost LB: 86742 ... c Min unsat cost LB: 86747 ... c Min unsat cost LB: 86748 ... c Min unsat cost LB: 86755 ... c Min unsat cost LB: 86756 ... c Min unsat cost LB: 86763 ... c Min unsat cost LB: 86770 ... c Min unsat cost LB: 86777 ... c Min unsat cost LB: 86778 ... c Min unsat cost LB: 86779 ... c Min unsat cost LB: 86782 ... c Min unsat cost LB: 86785 ... c Min unsat cost LB: 86788 ... c Min unsat cost LB: 86791 ... c Min unsat cost LB: 86801 ... c Min unsat cost LB: 86804 ... c Min unsat cost LB: 86817 ... c Min unsat cost LB: 86818 ... c Min unsat cost LB: 86819 ... c Min unsat cost LB: 86821 ... c Min unsat cost LB: 86822 ... c Min unsat cost LB: 86823 ... c Min unsat cost LB: 86824 ... c Min unsat cost LB: 86829 ... c Min unsat cost LB: 86830 ... c Min unsat cost LB: 86831 ... c Min unsat cost LB: 86832 ... c Min unsat cost LB: 86833 ... c Min unsat cost LB: 86834 ... c Min unsat cost LB: 86835 ... c Min unsat cost LB: 86836 ... c Min unsat cost LB: 86837 ... c Min unsat cost LB: 86838 ... c Min unsat cost LB: 86839 ... c Min unsat cost LB: 86843 ... c Min unsat cost LB: 86845 ... c Min unsat cost LB: 86846 ... c Min unsat cost LB: 86847 ... c Min unsat cost LB: 86850 ... c Min unsat cost LB: 86851 ... c Min unsat cost LB: 86860 ... c Min unsat cost LB: 86866 ... c Min unsat cost LB: 86867 ... c Min unsat cost LB: 86868 ... c Min unsat cost LB: 86869 ... c Min unsat cost LB: 86870 ... c Min unsat cost LB: 86871 ... c Min unsat cost LB: 86872 ... c Min unsat cost LB: 86875 ... c Min unsat cost LB: 86878 ... c Min unsat cost LB: 86879 ... c Min unsat cost LB: 86880 ... c Min unsat cost LB: 86884 ... c Min unsat cost LB: 86890 ... c Min unsat cost LB: 86911 ... c Min unsat cost LB: 86942 ... c Min unsat cost LB: 86950 ... c Min unsat cost LB: 86956 ... c Min unsat cost LB: 86957 ... c Min unsat cost LB: 86962 ... c Min unsat costKilled 1812.916u 6.819s 30:24.71 99.7% 0+0k 0+0io 0pf+0w