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_110_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_110_0005.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_110_0005.txt.wcnf *** c c Min unsat cost LB: 473 ... c Min unsat cost LB: 980 ... c Min unsat cost LB: 1453 ... c Min unsat cost LB: 1487 ... c Min unsat cost LB: 1960 ... c Min unsat cost LB: 2414 ... c Min unsat cost LB: 2433 ... c Min unsat cost LB: 2868 ... c Min unsat cost LB: 3375 ... c Min unsat cost LB: 3829 ... c Min unsat cost LB: 3882 ... c Min unsat cost LB: 5094 ... c Min unsat cost LB: 5132 ... c Min unsat cost LB: 5548 ... c Min unsat cost LB: 6183 ... c Min unsat cost LB: 6690 ... c Min unsat cost LB: 7325 ... c Min unsat cost LB: 7902 ... c Min unsat cost LB: 8700 ... c Min unsat cost LB: 9114 ... c Min unsat cost LB: 9171 ... c Min unsat cost LB: 9644 ... c Min unsat cost LB: 9912 ... c Min unsat cost LB: 10547 ... c Min unsat cost LB: 10752 ... c Min unsat cost LB: 11225 ... c Min unsat cost LB: 11345 ... c Min unsat cost LB: 11698 ... c Min unsat cost LB: 12205 ... c Min unsat cost LB: 13003 ... c Min unsat cost LB: 13448 ... c Min unsat cost LB: 13955 ... c Min unsat cost LB: 14118 ... c Min unsat cost LB: 14625 ... c Min unsat cost LB: 14815 ... c Min unsat cost LB: 15322 ... c Min unsat cost LB: 15829 ... c Min unsat cost LB: 15957 ... c Min unsat cost LB: 16358 ... c Min unsat cost LB: 16464 ... c Min unsat cost LB: 16812 ... c Min unsat cost LB: 16971 ... c Min unsat cost LB: 17099 ... c Min unsat cost LB: 17606 ... c Min unsat cost LB: 18113 ... c Min unsat cost LB: 18911 ... c Min unsat cost LB: 19519 ... c Min unsat cost LB: 20026 ... c Min unsat cost LB: 20824 ... c Min unsat cost LB: 21622 ... c Min unsat cost LB: 22129 ... c Min unsat cost LB: 22257 ... c Min unsat cost LB: 22315 ... c Min unsat cost LB: 22636 ... c Min unsat cost LB: 22950 ... c Min unsat cost LB: 23434 ... c Min unsat cost LB: 23748 ... c Min unsat cost LB: 24369 ... c Min unsat cost LB: 24559 ... c Min unsat cost LB: 24736 ... c Min unsat cost LB: 25243 ... c Min unsat cost LB: 26041 ... c Min unsat cost LB: 26839 ... c Min unsat cost LB: 27346 ... c Min unsat cost LB: 27967 ... c Min unsat cost LB: 28006 ... c Min unsat cost LB: 28183 ... c Min unsat cost LB: 28627 ... c Min unsat cost LB: 29134 ... c Min unsat cost LB: 29262 ... c Min unsat cost LB: 29769 ... c Min unsat cost LB: 29946 ... c Min unsat cost LB: 30237 ... c Min unsat cost LB: 30744 ... c Min unsat cost LB: 31217 ... c Min unsat cost LB: 32015 ... c Min unsat cost LB: 32045 ... c Min unsat cost LB: 32488 ... c Min unsat cost LB: 32995 ... c Min unsat cost LB: 33350 ... c Min unsat cost LB: 33509 ... c Min unsat cost LB: 34016 ... c Min unsat cost LB: 34144 ... c Min unsat cost LB: 34179 ... c Min unsat cost LB: 34562 ... c Min unsat cost LB: 35069 ... c Min unsat cost LB: 35325 ... c Min unsat cost LB: 35360 ... c Min unsat cost LB: 35449 ... c Min unsat cost LB: 35774 ... c Min unsat cost LB: 35967 ... c Min unsat cost LB: 36149 ... c Min unsat cost LB: 36184 ... c Min unsat cost LB: 36221 ... c Min unsat cost LB: 36277 ... c Min unsat cost LB: 36304 ... c Min unsat cost LB: 36432 ... c Min unsat cost LB: 36811 ... c Min unsat cost LB: 36869 ... c Min unsat cost LB: 37318 ... c Min unsat cost LB: 37376 ... c Min unsat cost LB: 37446 ... c Min unsat cost LB: 37768 ... c Min unsat cost LB: 37799 ... c Min unsat cost LB: 37803 ... c Min unsat cost LB: 37834 ... c Min unsat cost LB: 37842 ... c Min unsat cost LB: 37864 ... c Min unsat cost LB: 37913 ... c Min unsat cost LB: 38024 ... c Min unsat cost LB: 38129 ... c Min unsat cost LB: 38152 ... c Min unsat cost LB: 38267 ... c Min unsat cost LB: 38472 ... c Min unsat cost LB: 38945 ... c Min unsat cost LB: 39002 ... c Min unsat cost LB: 39093 ... c Min unsat cost LB: 39714 ... c Min unsat cost LB: 39832 ... c Min unsat cost LB: 40041 ... c Min unsat cost LB: 40423 ... c Min unsat cost LB: 40495 ... c Min unsat cost LB: 40607 ... c Min unsat cost LB: 40626 ... c Min unsat cost LB: 40660 ... c Min unsat cost LB: 40698 ... c Min unsat cost LB: 40837 ... c Min unsat cost LB: 41055 ... c Min unsat cost LB: 41080 ... c Min unsat cost LB: 41114 ... c Min unsat cost LB: 41515 ... c Min unsat cost LB: 41553 ... c Min unsat cost LB: 41562 ... c Min unsat cost LB: 41817 ... c Min unsat cost LB: 41988 ... c Min unsat cost LB: 42069 ... c Min unsat cost LB: 42461 ... c Min unsat cost LB: 42576 ... c Min unsat cost LB: 42638 ... c Min unsat cost LB: 43083 ... c Min unsat cost LB: 43087 ... c Min unsat cost LB: 43136 ... c Min unsat cost LB: 43198 ... c Min unsat cost LB: 43313 ... c Min unsat cost LB: 43436 ... c Min unsat cost LB: 43467 ... c Min unsat cost LB: 43590 ... c Min unsat cost LB: 43654 ... c Min unsat cost LB: 43846 ... c Min unsat cost LB: 43943 ... c Min unsat cost LB: 43974 ... c Min unsat cost LB: 43996 ... c Min unsat cost LB: 44026 ... c Min unsat cost LB: 44050 ... c Min unsat cost LB: 44221 ... c Min unsat cost LB: 44248 ... c Min unsat cost LB: 44283 ... c Min unsat cost LB: 44339 ... c Min unsat cost LB: 44374 ... c Min unsat cost LB: 44376 ... c Min unsat cost LB: 44558 ... c Min unsat cost LB: 44592 ... c Min unsat cost LB: 44745 ... c Min unsat cost LB: 44856 ... c Min unsat cost LB: 44879 ... c Min unsat cost LB: 45007 ... c Min unsat cost LB: 45017 ... c Min unsat cost LB: 45028 ... c Min unsat cost LB: 45045 ... c Min unsat cost LB: 45156 ... c Min unsat cost LB: 45202 ... c Min unsat cost LB: 45221 ... c Min unsat cost LB: 45305 ... c Min unsat cost LB: 45455 ... c Min unsat cost LB: 45481 ... c Min unsat cost LB: 45619 ... c Min unsat cost LB: 45662 ... c Min unsat cost LB: 45824 ... c Min unsat cost LB: 45953 ... c Min unsat cost LB: 45976 ... c Min unsat cost LB: 46033 ... c Min unsat cost LB: 46123 ... c Min unsat cost LB: 46131 ... c Min unsat cost LB: 46154 ... c Min unsat cost LB: 46207 ... c Min unsat cost LB: 46230 ... c Min unsat cost LB: 46615 ... c Min unsat cost LB: 46777 ... c Min unsat cost LB: 46778 ... c Min unsat cost LB: 46934 ... c Min unsat cost LB: 47144 ... c Min unsat cost LB: 47268 ... c Min unsat cost LB: 47426 ... c Min unsat cost LB: 47587 ... c Min unsat cost LB: 47713 ... c Min unsat cost LB: 47889 ... c Min unsat cost LB: 48035 ... c Min unsat cost LB: 48044 ... c Min unsat cost LB: 48069 ... c Min unsat cost LB: 48073 ... c Min unsat cost LB: 48154 ... c Min unsat cost LB: 48282 ... c Min unsat cost LB: 48291 ... c Min unsat cost LB: 48353 ... c Min unsat cost LB: 48369 ... c Min unsat cost LB: 48371 ... c Min unsat cost LB: 48396 ... c Min unsat cost LB: 48406 ... c Min unsat cost LB: 48464 ... c Min unsat cost LB: 48565 ... c Min unsat cost LB: 48677 ... c Min unsat cost LB: 48683 ... c Min unsat cost LB: 48723 ... c Min unsat cost LB: 48755 ... c Min unsat cost LB: 48846 ... c Min unsat cost LB: 48860 ... c Min unsat cost LB: 48873 ... c Min unsat cost LB: 48883 ... c Min unsat cost LB: 48916 ... c Min unsat cost LB: 48945 ... c Min unsat cost LB: 48951 ... c Min unsat cost LB: 49123 ... c Min unsat cost LB: 49142 ... c Min unsat cost LB: 49161 ... c Min unsat cost LB: 49200 ... c Min unsat cost LB: 49346 ... c Min unsat cost LB: 49349 ... c Min unsat cost LB: 49409 ... c Min unsat cost LB: 49450 ... c Min unsat cost LB: 49463 ... c Min unsat cost LB: 49517 ... c Min unsat cost LB: 49533 ... c Min unsat cost LB: 49578 ... c Min unsat cost LB: 49667 ... c Min unsat cost LB: 49668 ... c Min unsat cost LB: 49840 ... c Min unsat cost LB: 49900 ... c Min unsat cost LB: 49906 ... c Min unsat cost LB: 49916 ... c Min unsat cost LB: 49923 ... c Min unsat cost LB: 49942 ... c Min unsat cost LB: 49951 ... c Min unsat cost LB: 49967 ... c Min unsat cost LB: 49976 ... c Min unsat cost LB: 49992 ... c Min unsat cost LB: 50001 ... c Min unsat cost LB: 50008 ... c Min unsat cost LB: 50017 ... c Min unsat cost LB: 50030 ... c Min unsat cost LB: 50033 ... c Min unsat cost LB: 50058 ... c Min unsat cost LB: 50090 ... c Min unsat cost LB: 50102 ... c Min unsat cost LB: 50125 ... c Min unsat cost LB: 50127 ... c Min unsat cost LB: 50144 ... c Min unsat cost LB: 50155 ... c Min unsat cost LB: 50309 ... c Min unsat cost LB: 50318 ... c Min unsat cost LB: 50322 ... c Min unsat cost LB: 50328 ... c Min unsat cost LB: 50336 ... c Min unsat cost LB: 50348 ... c Min unsat cost LB: 50349 ... c Min unsat cost LB: 50373 ... c Min unsat cost LB: 50383 ... c Min unsat cost LB: 50385 ... c Min unsat cost LB: 50387 ... c Min unsat cost LB: 50391 ... c Min unsat cost LB: 50406 ... c Min unsat cost LB: 50411 ... c Min unsat cost LB: 50447 ... c Min unsat cost LB: 50451 ... c Min unsat cost LB: 50575 ... c Min unsat cost LB: 50609 ... c Min unsat cost LB: 50616 ... c Min unsat cost LB: 50617 ... c Min unsat cost LB: 50618 ... c Min unsat cost LB: 50620 ... c Min unsat cost LB: 50622 ... c Min unsat cost LB: 50631 ... c Min unsat cost LB: 50635 ... c Min unsat cost LB: 50644 ... c Min unsat cost LB: 50717 ... c Min unsat cost LB: 50751 ... c Min unsat cost LB: 50778 ... c Min unsat cost LB: 50779 ... c Min unsat cost LB: 50813 ... c Min unsat cost LB: 50816 ... c Min unsat cost LB: 50844 ... c Min unsat cost LB: 50936 ... c Min unsat cost LB: 50967 ... c Min unsat cost LB: 50999 ... c Min unsat cost LB: 51002 ... c Min unsat cost LB: 51003 ... c Min unsat cost LB: 51017 ... c Min unsat cost LB: 51028 ... c Min unsat cost LB: 51030 ... c Min unsat cost LB: 51031 ... c Min unsat cost LB: 51034 ... c Min unsat cost LB: 51039 ... c Min unsat cost LB: 51040 ... c Min unsat cost LB: 51041 ... c Min unsat cost LB: 51042 ... c Min unsat cost LB: 51043 ... c Min unsat cost LB: 51047 ... c Min unsat cost LB: 51049 ... c Min unsat cost LB: 51050 ... c Min unsat cost LB: 51051 ... c Min unsat cost LB: 51060 ... c Min unsat cost LB: 51062 ... c Min unsat cost LB: 51063 ... c Min unsat cost LB: 51070 ... c Min unsat cost LB: 51071 ... c Min unsat cost LB: 51072 ... c Min unsat cost LB: 51073 ... c Min unsat cost LB: 51074 ... c Min unsat cost LB: 51075 ... c Min unsat cost LB: 51077 ... c Min unsat cost LB: 51078 ... c Min unsat cost LB: 51083 ... c Min unsat cost LB: 51085 ... c Min unsat cost LB: 51089 ... c Min unsat cost LB: 51092 ... c Min unsat cost LB: 51100 ... c Min unsat cost LB: 51115 ... c Min unsat cost LB: 51125 ... c Min unsat cost LB: 51126 ... c Min unsat cost LB: 51127 ... c Min unsat cost LB: 51128 ... c Min unsat cost LB: 51129 ... c Min unsat cost LB: 51130 ... c Min unsat cost LB: 51131 ... c Min unsat cost LB: 51135 ... c Min unsat cost LB: 51138 ... c Min unsat cost LB: 51139 ... c Min unsat cost LB: 51140 ... c Min unsat cost LB: 51141 ... c Min unsat cost LB: 51142 ... c Min unsat cost LB: 51143 ... c Min unsat cost LB: 51144 ... c Min unsat cost LB: 51145 ... c Min unsat cost LB: 51146 ... c Min unsat cost LB: 51147 ... c Min unsat cost LB: 51149 ... c Min unsat cost LB: 51150 ... c Min unsat cost LB: 51151 ... c Min unsat cost LB: 51152 ... c Min unsat cost LB: 51153 ... c Min unsat cost LB: 51154 ... c Min unsat cost LB: 51155 ... c Min unsat cost LB: 51159 ... c Min unsat cost LB: 51161 ... c Min unsat cost LB: 51171 ... c Min unsat cost LB: 51176 ... c Min unsat cost LB: 51179 ... c Min unsat cost LB: 51180 ... c Min unsat cost LB: 51182 ... c Min unsat cost LB: 51187 ... c Min unsat cost LB: 51192 ... c Min unsat cost LB: 51195 ... c Min unsat cost LB: 51199 ... c Min unsat cost LB: 51200 ... c Min unsat cost LB: 51201 ... c Min unsat cost LB: 51203 ... c Min unsat cost LB: 51204 ... c Min unsat cost LB: 51212 ... c Min unsat cost LB: 51235 ... c Min unsat cost LB: 51350 ... c Min unsat cost LB: 51368 ... c Min unsat cost LB: 51371 ... c Min unsat cost LB: 51374 ... c Min unsat cost LB: 51375 ... c Min unsat cost LB: 51376 ... c Min unsat cost LB: 51377 ... c Min unsat cost LB: 51378 ... c Min unsat cost LB: 51379 ... c Min unsat cost LB: 51380 ... c Min unsat cost LB: 51385 ... c Min unsat cost LB: 51386 ... c Min unsat cost LB: 51387 ... c Min unsat cost LB: 51388 ... c Min unsat cost LB: 51393 ... c Min unsat cost LB: 51394 ... c Min unsat cost LB: 51395 ... c Min unsat cost LB: 51398 ... c Min unsat cost LB: 51399 ... c Min unsat cost LB: 51401 ... c Min unsat cost LB: 51405 ... c Min unsat cost LB: 51408 ... c Min unsat cost LB: 51414 ... c Min unsat cost LB: 51415 ... c Min unsat cost LB: 51431 ... c Min unsat cost LB: 51432 ... c Min unsat cost LB: 51433 ... c Min unsat cost LB: 51447 ... c Min unsat cost LB: 51457 ... c Min unsat cost LB: 51463 ... c Min unsat cost LB: 51497 ... c Min unsat cost LB: 51499 ... c Min unsat cost LB: 51500 ... c Min unsat cost LB: 51503 ... c Min unsat cost LB: 51504 ... c Min unsat cost LB: 51510 ... c Min unsat cost LB: 51511 ... c Min unsat cost LB: 51512 ... c Min unsat cost LB: 51513 ... c Min unsat cost LB: 51514 ... c Min unsat cost LB: 51517 ... c Min unsat cost LB: 51561 ... c Min unsat cost LB: 51562 ... c Min unsat cost LB: 51563 ... c Min unsat cost LB: 51564 ... c Min unsat cost LB: 51565 ... c Min unsat cost LB: 51566 ... c Min unsat cost LB: 51567 ... c Min unsat cost LB: 51568 ... c Min unsat cost LB: 51573 ... c Min unsat cost LB: 51585 ... c Min unsat cost LB: 51586 ... c Min unsat cost LB: 51609 ... c Min unsat cost LB: 51611 ... c Min unsat cost LB: 51612 ... c Min unsat cost LB: 51613 ... c Min unsat cost LB: 51614 ... c Min unsat cost LB: 51615 ... c Min unsat cost LB: 51617 ... c Min unsat cost LB: 51618 ... c Min unsat cost LB: 51619 ... c Min unsat cost LB: 51620 ... c Min unsat cost LB: 51622 ... c Min unsat cost LB: 51624 ... c Min unsat cost LB: 51625 ... c Min unsat cost LB: 51626 ... c Min unsat cost LB: 51629 ... c Min unsat cost LB: 51642 ... c Min unsat cost LB: 51643 ... c Min unsat cost LB: 51644 ... c Min unsat cost LB: 51645 ... c Min unsat cost LB: 51646 ... c Min unsat cost LB: 51648 ... c Min unsat cost LB: 51650 ... c Min unsat cost LB: 51652 ... c Min unsat cost LB: 51653 ... c Min unsat cost LB: 51655 ... c Min unsat cost LB: 51657 ... c Min unsat cost LB: 51659 ... c Min unsat cost LB: 51660 ... c Min unsat cost LB: 51674 ... c Min unsat cost LB: 51678 ... c Min unsat cost LB: 51679 ... c Min unsat cost LB: 51680 ... c Min unsat cost LB: 51691 ... c Min unsat cost LB: 51702 ... c Min unsat cost LB: 51703 ... c Min unsat cost LB: 51704 ... c Min unsat cost LB: 51705 ... c Min unsat cost LB: 51706 ... c Min unsat cost LB: 51708 ... c Min unsat cost LB: 51709 ... c Min unsat cost LB: 51738 ... c Min unsat cost LB: 51760 ... c Min unsat cost LB: 51787 ... c Min unsat cost LB: 51822 ... c Min unsat cost LB: 51849 ... c Min unsat cost LB: 51909 ... c Min unsat cost LB: 51936 ... c Min unsat cost LB: 51959 ... c Min unsat cost LB: 52029 ... c Min unsat cost LB: 52033 ... c Min unsat cost LB: 52060 ... c Min unsat cost LB: 52062 ... c Min unsat cost LB: 52068 ... c Min unsat cost LB: 52078 ... c Min unsat cost LB: 52079 ... c Min unsat cost LB: 52089 ... c Min unsat cost LB: 52092 ... c Min unsat cost LB: 52105 ... c Min unsat cost LB: 52107 ... c Min unsat cost LB: 52123 ... c Min unsat cost LB: 52133 ... c Min unsat cost LB: 52166 ... c Min unsat cost LB: 52209 ... c Min unsat cost LB: 52230 ... c Min unsat cost LB: 52287 ... c Min unsat cost LB: 52292 ... c Min unsat cost LB: 52295 ... c Min unsat cost LB: 52310 ... c Min unsat cost LB: 52313 ... c Min unsat cost LB: 52321 ... c Min unsat cost LB: 52324 ... c Min unsat cost LB: 52327 ... c Min unsat cost LB: 52328 ... c Min unsat cost LB: 52329 ... c Min unsat cost LB: 52338 ... c Min unsat cost LB: 52339 ... c Min unsat cost LB: 52340 ... c Min unsat cost LB: 52342 ... c Min unsat cost LB: 52343 ... c Min unsat cost LB: 52344 ... c Min unsat cost LB: 52346 ... c Min unsat cost LB: 52348 ... c Min unsat cost LB: 52349 ... c Min unsat cost LB: 52351 ... c Min unsat cost LB: 52356 ... c Min unsat cost LB: 52359 ... c Min unsat cost LB: 52361 ... c Min unsat cost LB: 52366 ... c Min unsat cost LB: 52387 ... c Min unsat cost LB: 52388 ... c Min unsat cost LB: 52389 ... c Min unsat cost LB: 52390 ... c Min unsat cost LB: 52391 ... c Min unsat cost LB: 52392 ... c Min unsat cost LB: 52393 ... c Min unsat cost LB: 52394 ... c Min unsat cost LB: 52395 ... c Min unsat cost LB: 52396 ... c Min unsat cost LB: 52397 ... c Min unsat cost LB: 52398 ... c Min unsat cost LB: 52399 ... c Min unsat cost LB: 52400 ... c Min unsat cost LB: 52401 ... c Min unsat cost LB: 52402 ... c Min unsat cost LB: 52405 ... c Min unsat cost LB: 52406 ... c Min unsat cost LB: 52408 ... c Min unsat cost LB: 52409 ... c Min unsat cost LB: 52410 ... c Min unsat cost LB: 52416 ... c Min unsat cost LB: 52417 ... c Min unsat cost LB: 52418 ... c Min unsat cost LB: 52419 ... c Min unsat cost LB: 52420 ... c Min unsat cost LB: 52421 ... c Min unsat cost LB: 52422 ... c Min unsat cost LB: 52423 ... c Min unsat cost LB: 52424 ... c Min unsat cost LB: 52425 ... c Min unsat cost LB: 52426 ... c Min unsat cost LB: 52427 ... c Min unsat cost LB: 52428 ... c Min unsat cost LB: 52429 ... c Min unsat cost LB: 52430 ... c Min unsat cost LB: 52433 ... c Min unsat cost LB: 52453 ... c Min unsat cost LB: 52456 ... c Min unsat cost LB: 52457 ... c Min unsat cost LB: 52459 ... c Min unsat cost LB: 52460 ... c Min unsat cost LB: 52461 ... c Min unsat cost LB: 52462 ... c Min unsat cost LB: 52471 ... c Min unsat cost LB: 52476 ... c Min unsat cost LB: 52477 ... c Min unsat cost LB: 52478 ... c Min unsat cost LB: 52479 ... c Min unsat cost LB: 52480 ... c Min unsat cost LB: 52481 ... c Min unsat cost LB: 52482 ... c Min unsat cost LB: 52483 ... c Min unsat cost LB: 52484 ... c Min unsat cost LB: 52485 ... c Min unsat cost LB: 52486 ... c Min unsat cost LB: 52487 ... c Min unsat cost LB: 52488 ... c Min unsat cost LB: 52489 ... c Min unsat cost LB: 52490 ... c Min unsat cost LB: 52491 ... c Min unsat cost LB: 52492 ... c Min unsat cost LB: 52493 ... c Min unsat cost LB: 52494 ... c Min unsat cost LB: 52495 ... c Min unsat cost LB: 52496 ... c Min unsat cost LB: 52497 ... c Min unsat cost LB: 52498 ... c Min unsat cost LB: 52499 ... c Min unsat cost LB: 52500 ... c Min unsat cost LB: 52501 ... c Min unsat cost LB: 52502 ... c Min unsat cost LB: 52503 ... c Min unsat cost LB: 52504 ... c Min unsat cost LB: 52505 ... c Min unsat cost LB: 52506 ... c Min unsat cost LB: 52507 ... c Min unsat cost LB: 52508 ... c Min unsat cost LB: 52510 ... c Min unsat cost LB: 52518 ... c Min unsat cost LB: 52521 ... c Min unsat cost LB: 52532 ... c Min unsat cost LB: 52533 ... c Min unsat cost LB: 52535 ... c Min unsat cost LB: 52536 ... c Min unsat cost LB: 52537 ... c Min unsat cost LB: 52538 ... c Min unsat cost LB: 52539 ... c Min unsat cost LB: 52540 ... c Min unsat cost LB: 52541 ... c Min unsat cost LB: 52542 ... c Min unsat cost LB: 52543 ... c Min unsat cost LB: 52546 ... c Min unsat cost LB: 52547 ... c Min unsat cost LB: 52548 ... c Min unsat cost LB: 52549 ... c Min unsat cost LB: 52550 ... c Min unsat cost LB: 52551 ... c Min unsat cost LB: 52552 ... c Min unsat cost LB: 52553 ... c Min unsat cost LB: 52563 ... c Min unsat cost LB: 52568 ... c Min unsat cost LB: 52569 ... c Min unsat cost LB: 52570 ... c Min unsat cost LB: 52571 ... c Min unsat cost LB: 52572 ... c Min unsat cost LB: 52573 ... c Min unsat cost LB: 52591 ... c Min unsat cost LB: 52592 ... c Min unsat cost LB: 52593 ... c Min unsat cost LB: 52594 ... c Min unsat cost LB: 52595 ... c Min unsat cost LB: 52596 ... c Min unsat cost LB: 52597 ... c Min unsat cost LB: 52598 ... c Min unsat cost LB: 52599 ... c Min unsat cost LB: 52601 ... c Min unsat cost LB: 52602 ... c Min unsat cost LB: 52603 ... c Min unsat cost LB: 52604 ... c Min unsat cost LB: 52605 ... c Min unsat cost LB: 52606 ... c Min unsat cost LB: 52615 ... c Min unsat cost LB: 52616 ... c Min unsat cost LB: 52617 ... c Min unsat cost LB: 52618 ... c Min unsat cost LB: 52619 ... c Min unsat cost LB: 52620 ... c Min unsat cost LB: 52621 ... c Min unsat cost LB: 52622 ... c Min unsat cost LB: 52623 ... c Min unsat cost LB: 52624 ... c Min unsat cost LB: 52625 ... c Min unsat cost LB: 52626 ... c Min unsat cost LB: 52627 ... c Min unsat cost LB: 52628 ... c Min unsat cost LB: 52629 ... c Min unsat cost LB: 52630 ... c Min unsat cost LB: 52631 ... c Min unsat cost LB: 52632 ... c Min unsat cost LB: 52633 ... c Min unsat cost LB: 52634 ... c Min unsat cost LB: 52635 ... c Min unsat cost LB: 52636 ... c Min unsat cost LB: 52637 ... c Min unsat cost LB: 52638 ... c Min unsat cost LB: 52639 ... c Min unsat cost LB: 52640 ... c Min unsat cost LB: 52641 ... c Min unsat cost LB: 52642 ... c Min unsat cost LB: 52643 ... c Min unsat cost LB: 52644 ... c Min unsat cost LB: 52645 ... c Min unsat cost LB: 52646 ... c Min unsat cost LB: 52681 ... c Min unsat cost LB: 52695 ... c Min unsat cost LB: 52697 ... c Min unsat cost LB: 52699 ... c Min unsat cost LB: 52712 ... c Min unsat cost LB: 52768 ... c Min unsat cost LB: 52769 ... c Min unsat cost LB: 52776 ... c Min unsat cost LB: 52789 ... c Min unsat cost LB: 52790 ... c Min unsat cost LB: 52791 ... c Min unsat cost LB: 52792 ... c Min unsat cost LB: 52793 ... c Min unsat cost LB: 52794 ... c Min unsat cost LB: 52795 ... c Min unsat cost LB: 52796 ... c Min unsat cost LB: 52797 ... c Min unsat cost LB: 52798 ... c Min unsat cost LB: 52799 ... c Min unsat cost LB: 52800 ... c Min unsat cost LB: 52801 ... c Min unsat cost LB: 52802 ... c Min unsat cost LB: 52803 ... c Min unsat cost LB: 52804 ... c Min unsat cost LB: 52805 ... c Min unsat cost LB: 52806 ... c Min unsat cost LB: 52807 ... c Min unsat cost LB: 52808 ... c Min unsat cost LB: 52809 ... c Min unsat cost LB: 52810 ... c Min unsat cost LB: 52811 ... c Min unsat cost LB: 52812 ... c Min unsat cost LB: 52813 ... c Min unsat cost LB: 52814 ... c Min unsat cost LB: 52815 ... c Min unsat cost LB: 52816 ... c Min unsat cost LB: 52817 ... c Min unsat cost LB: 52818 ... c Min unsat cost LB: 52819 ... c Min unsat cost LB: 52820 ... c Min unsat cost LB: 52821 ... c Min unsat cost LB: 52822 ... c Min unsat cost LB: 52823 ... c Min unsat cost LB: 52824 ... c Min unsat cost LB: 52825 ... c Min unsat cost LB: 52826 ... c Min unsat cost LB: 52827 ... c Min unsat cost LB: 52828 ... c Min unsat cost LB: 52829 ... c Min unsat cost LB: 52830 ... c Min unsat cost LB: 52831 ... c Min unsat cost LB: 52832 ... c Min unsat cost LB: 52833 ... c Min unsat cost LB: 52834 ... c Min unsat cost LB: 52835 ... c Min unsat cost LB: 52836 ... c Min unsat cost LB: 52837 ... c Min unsat cost LB: 52838 ... c Min unsat cost LB: 52839 ... c Min unsat cost LB: 52840 ... c Min unsat cost LB: 52841 ... c Min unsat cost LB: 52842 ... c Min unsat cost LB: 52843 ... c Min unsat cost LB: 52844 ... c Min unsat cost LB: 52845 ... c Min unsat cost LB: 52846 ... c Min unsat cost LB: 52847 ... c Min unsat cost LB: 52848 ... c Min unsat cost LB: 52849 ... c Min unsat cost LB: 52850 ... c Min unsat cost LB: 52851 ... c Min unsat cost LB: 52852 ... c Min unsat cost LB: 52853 ... c Min unsat cost LB: 52854 ... c Min unsat cost LB: 52855 ... c Min unsat cost LB: 52856 ... c Min unsat cost LB: 52857 ... c Min unsat cost LB: 52858 ... c Min unsat cost LB: 52859 ... c Min unsat cost LB: 52862 ... c Min unsat cost LB: 52863 ... c Min unsat cost LB: 52864 ... c Min unsat cost LB: 52865 ... c Min unsat cost LB: 52866 ... c Min unsat cost LB: 52872 ... c Min unsat cost LB: 52874 ... c Min unsat cost LB: 52875 ... c Min unsat cost LB: 52876 ... c Min unsat cost LB: 52877 ... c Min unsat cost LB: 52878 ... c Min unsat cost LB: 52879 ... c Min unsat cost LB: 52880 ... c Min unsat cost LB: 52881 ... c Min unsat cost LB: 52882 ... c Min unsat cost LB: 52883 ... c Min unsat cost LB: 52893 ... c Min unsat cost LB: 52894 ... c Min unsat cost LB: 52895 ... c Min unsat cost LB: 52896 ... c Min unsat cost LB: 52897 ... c Min unsat cost LB: 52898 ... c Min unsat cost LB: 52899 ... c Min unsat cost LB: 52900 ... c Min unsat cost LB: 52901 ... c Min unsat cost LB: 52902 ... c Min unsat cost LB: 52903 ... c Min unsat cost LB: 52904 ... c Min unsat cost LB: 52905 ... c Min unsat cost LB: 52906 ... c Min unsat cost LB: 52908 ... c Min unsat cost LB: 52910 ... c Min unsat cost LB: 52911 ... c Min unsat cost LB: 52913 ... c Min unsat cost LB: 52914 ... c Min unsat cost LB: 52915 ... c Min unsat cost LB: 52916 ... c Min unsat cost LB: 52917 ... c Min unsat cost LB: 52918 ... c Min unsat cost LB: 52919 ... c Min unsat cost LB: 52920 ... c Min unsat cost LB: 52921 ... c Min unsat cost LB: 52922 ... c Min unsat cost LB: 52933 ... c Min unsat cost LB: 52934 ... c Min unsat cost LB: 52935 ... c Min unsat cost LB: 52936 ... c Min unsat cost LB: 52937 ... c Min unsat cost LB: 52938 ... c Min unsat cost LB: 52939 ... c Min unsat cost LB: 52940 ... c Min unsat cost LB: 52941 ... c Min unsat cost LB: 52942 ... c Min unsat cost LB: 52943 ... c Min unsat cost LB: 52944 ... c Min unsat cost LB: 52945 ... c Min unsat cost LB: 52946 ... c Min unsat cost LB: 52947 ... c Min unsat cost LB: 52948 ... c Min unsat cost LB: 52949 ... c Min unsat cost LB: 52950 ... c Min unsat cost LB: 52951 ... c Min unsat cost LB: 52952 ... c Min unsat cost LB: 52953 ... c Min unsat cost LB: 52954 ... c Min unsat cost LB: 52955 ... c Min unsat cost LB: 52956 ... c Min unsat cost LB: 52957 ... c Min unsat cost LB: 52958 ... c Min unsat cost LB: 52965 ... c Min unsat cost LB: 52966 ... c Min unsat cost LB: 52967 ... c Min unsat cost LB: 52968 ... c Min unsat cost LB: 52969 ... c Min unsat cost LB: 52970 ... c Min unsat cost LB: 52971 ... c Min unsat cost LB: 52991 ... c Min unsat cost LB: 52992 ... c Min unsat cost LB: 52993 ... c Min unsat cost LB: 52994 ... c Min unsat cost LB: 52995 ... c Min unsat cost LB: 52996 ... c Min unsat cost LB: 52997 ... c Min unsat cost LB: 52998 ... c Min unsat cost LB: 52999 ... c Min unsat cost LB: 53000 ... c Min unsat cost LB: 53001 ... c Min unsat cost LB: 53002 ... c Min unsat cost LB: 53003 ... c Min unsat cost LB: 53004 ... c Min unsat cost LB: 53014 ... c Min unsat cost LB: 53021 ... c Min unsat cost LB: 53023 ... c Min unsat cost LB: 53025 ... c Min unsat cost LB: 53027 ... c Min unsat cost LB: 53041 ... c Min unsat cost LB: 53063 ... c Min unsat cost LB: 53064 ... c Min unsat cost LB: 53065 ... c Min unsat cost LB: 53067 ... c Min unsat cost LB: 53068 ... c Min unsat cost LB: 53107 ... c Min unsat cost LB: 53130 ... c Min unsat cost LB: 53136 ... c Min unsat cost LB: 53137 ... c Min unsat cost LB: 53138 ... c Min unsat cost LB: 53139 ... c Min unsat cost LB: 53144 ... c Min unsat cost LB: 53155 ... c Min unsat cost LB: 53160 ... c Min unsat cost LB: 53163 ... c Min unsat cost LB: 53166 ... c Min unsat cost LB: 53167 ... c Min unsat cost LB: 53180 ... c Min unsat cost LB: 53183 ... c Min unsat cost LB: 53185 ... c Min unsat cost LB: 53197 ... c Min unsat cost LB: 53205 ... c Min unsat cost LB: 53208 ... c Min unsat cost LB: 53221 ... c Min unsat cost LB: 53222 ... c Min unsat cost LB: 53223 ... c Min unsat cost LB: 53224 ... c Min unsat cost LB: 53250 ... c Min unsat cost LB: 53251 ... c Min unsat cost LB: 53252 ... c Min unsat cost LB: 53267 ... c Min unsat cost LB: 53268 ... c Min unsat cost LB: 53300 ... c Min unsat cost LB: 53319 ... c Min unsat cost LB: 53325 ... c Min unsat cost LB: 53326 ... c Min unsat cost LB: 53328 ... c Min unsat cost LB: 53329 ... c Min unsat cost LB: 53356 ... c Min unsat cost LB: 53369 ... c Min unsat cost LB: 53376 ... c Min unsat cost LB: 53379 ... c Min unsat cost LB: 53382 ... c Min unsat cost LB: 53383 ... c Min unsat cost LB: 53391 ... c Min unsat cost LB: 53399 ... c Min unsat cost LB: 53401 ... c Min unsat cost LB: 53402 ... c Min unsat cost LB: 53403 ... c Min unsat cost LB: 53404 ... c Min unsat cost LB: 53405 ... c Min unsat cost LB: 53406 ... c Min unsat cost LB: 53407 ... c Min unsat cost LB: 53408 ... c Min unsat cost LB: 53411 ... c Min unsat cost LB: 53413 ... c Min unsat cost LB: 53415 ... c Min unsat cost LB: 53416 ... c Min unsat cost LB: 53417 ... c Min unsat cost LB: 53418 ... c Min unsat cost LB: 53419 ... c Min unsat cost LB: 53420 ... c Min unsat cost LB: 53421 ... c Min unsat cost LB: 53422 ... c Min unsat cost LB: 53426 ... c Min unsat cost LB: 53427 ... c Min unsat cost LB: 53428 ... c Min unsat cost LB: 53429 ... c Min unsat cost LB: 53430 ... c Min unsat cost LB: 53431 ... c Min unsat cost LB: 53432 ... c Min unsat cost LB: 53433 ... c Min unsat cost LB: 53434 ... c Min unsat cost LB: 53435 ... c Min unsat cost LB: 53436 ... c Min unsat cost LB: 53437 ... c Min unsat cost LB: 53438 ... c Min unsat cost LB: 53439 ... c Min unsat cost LB: 53440 ... c Min unsat cost LB: 53441 ... c Min unsat cost LB: 53442 ... c Min unsat cost LB: 53443 ... c Min unsat cost LB: 53444 ... c Min unsat cost LB: 53445 ... c Min unsat cost LB: 53446 ... c Min unsat cost LB: 53447 ... c Min unsat cost LB: 53448 ... c Min unsat cost LB: 53449 ... c Min unsat cost LB: 53450 ... c Min unsat cost LB: 53451 ... c Min unsat cost LB: 53452 ... c Min unsat cost LB: 53453 ... c Min unsat cost LB: 53454 ... c Min unsat cost LB: 53455 ... c Min unsat cost LB: 53456 ... c Min unsat cost LB: 53457 ... c Min unsat cost LB: 53459 ... c Min unsat cost LB: 53460 ... c Min unsat cost LB: 53461 ... c Min unsat cost LB: 53462 ... c Min unsat cost LB: 53463 ... c Min unsat cost LB: 53464 ... c Min unsat cost LB: 53465 ... c Min unsat cost LB: 53466 ... c Min unsat cost LB: 53467 ... c Min unsat cost LB: 53468 ... c Min unsat cost LB: 53469 ... c Min unsat cost LB: 53470 ... c Min unsat cost LB: 53471 ... c Min unsat cost LB: 53472 ... c Min unsat cost LB: 53473 ... c Min unsat cost LB: 53474 ... c Min unsat cost LB: 53475 ... c Min unsat cost LB: 53476 ... c Min unsat cost LB: 53477 ... c Min unsat cost LB: 53478 ... c Min unsat cost LB: 53479 ... c Min unsat cost LB: 53480 ... c Min unsat cost LB: 53481 ... c Min unsat cost LB: 53482 ... c Min unsat cost LB: 53483 ... c Min unsat cost LB: 53484 ... c Min unsat cost LB: 53485 ... c Min unsat cost LB: 53486 ... c Min unsat cost LB: 53487 ... c Min unsat cost LB: 53492 ... c Min unsat cost LB: 53496 ... c Min unsat cost LB: 53497 ... c Min unsat cost LB: 53498 ... c Min unsat cost LB: 53499 ... c Min unsat cost LB: 53500 ... c Min unsat cost LB: 53501 ... c Min unsat cost LB: 53502 ... c Min unsat cost LB: 53503 ... c Min unsat cost LB: 53504 ... c Min unsat cost LB: 53505 ... c Min unsat cost LB: 53506 ... c Min unsat cost LB: 53507 ... c Min unsat cost LB: 53508 ... c Min unsat cost LB: 53509 ... c Min unsat cost LB: 53510 ... c Min unsat cost LB: 53511 ... c Min unsat cost LB: 53512 ... c Min unsat cost LB: 53513 ... c Min unsat cost LB: 53514 ... c Min unsat cost LB: 53515 ... c Min unsat cost LB: 53516 ... c Min unsat cost LB: 53517 ... c Min unsat cost LB: 53518 ... c Min unsat cost LB: 53519 ... c Min unsat cost LB: 53520 ... c Min unsat cost LB: 53522 ... c Min unsat cost LB: 53523 ... c Min unsat cost LB: 53524 ... c Min unsat cost LB: 53525 ... c Min unsat cost LB: 53526 ... c Min unsat cost LB: 53529 ... c Min unsat cost LB: 53536 ... c Min unsat cost LB: 53537 ... c Min unsat cost LB: 53538 ... c Min unsat cost LB: 53539 ... c Min unsat cost LB: 53540 ... c Min unsat cost LB: 53541 ... c Min unsat cost LB: 53542 ... c Min unsat cost LB: 53545 ... c Min unsat cost LB: 53546 ... c Min unsat cost LB: 53547 ... c Min unsat cost LB: 53548 ... c Min unsat cost LB: 53549 ... c Min unsat cost LB: 53550 ... c Min unsat cost LB: 53551 ... c Min unsat cost LB: 53552 ... c Min unsat cost LB: 53553 ... c Min unsat cost LB: 53557 ... c Min unsat cost LB: 53560 ... c Min unsat cost LB: 53603 ... c Min unsat cost LB: 53614 ... c Min unsat cost LB: 53617 ... c Min unsat cost LB: 53621 ... c Min unsat cost LB: 53623 ... c Min unsat cost LB: 53624 ... c Min unsat cost LB: 53625 ... c Min unsat cost LB: 53626 ... c Min unsat cost LB: 53627 ... c Min unsat cost LB: 53628 ... c Min unsat cost LB: 53634 ... c Min unsat cost LB: 53635 ... c Min unsat cost LB: 5363Killed 1812.323u 7.415s 33:05.00 91.6% 0+0k 0+0io 0pf+0w