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_160_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_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_160_0003.txt.wcnf *** c c Min unsat cost LB: 244 ... c Min unsat cost LB: 1597 ... c Min unsat cost LB: 1804 ... c Min unsat cost LB: 3157 ... c Min unsat cost LB: 3194 ... c Min unsat cost LB: 3438 ... c Min unsat cost LB: 4791 ... c Min unsat cost LB: 6144 ... c Min unsat cost LB: 7497 ... c Min unsat cost LB: 7741 ... c Min unsat cost LB: 7948 ... c Min unsat cost LB: 8155 ... c Min unsat cost LB: 8192 ... c Min unsat cost LB: 9545 ... c Min unsat cost LB: 10898 ... c Min unsat cost LB: 11068 ... c Min unsat cost LB: 12421 ... c Min unsat cost LB: 13774 ... c Min unsat cost LB: 14018 ... c Min unsat cost LB: 15034 ... c Min unsat cost LB: 15371 ... c Min unsat cost LB: 16724 ... c Min unsat cost LB: 16968 ... c Min unsat cost LB: 18321 ... c Min unsat cost LB: 18565 ... c Min unsat cost LB: 18809 ... c Min unsat cost LB: 19825 ... c Min unsat cost LB: 21178 ... c Min unsat cost LB: 21857 ... c Min unsat cost LB: 22194 ... c Min unsat cost LB: 23210 ... c Min unsat cost LB: 23229 ... c Min unsat cost LB: 24338 ... c Min unsat cost LB: 24545 ... c Min unsat cost LB: 25561 ... c Min unsat cost LB: 25898 ... c Min unsat cost LB: 26914 ... c Min unsat cost LB: 28267 ... c Min unsat cost LB: 28437 ... c Min unsat cost LB: 28626 ... c Min unsat cost LB: 28815 ... c Min unsat cost LB: 29004 ... c Min unsat cost LB: 29193 ... c Min unsat cost LB: 29872 ... c Min unsat cost LB: 30888 ... c Min unsat cost LB: 31256 ... c Min unsat cost LB: 31624 ... c Min unsat cost LB: 31992 ... c Min unsat cost LB: 32360 ... c Min unsat cost LB: 32728 ... c Min unsat cost LB: 33096 ... c Min unsat cost LB: 33464 ... c Min unsat cost LB: 33832 ... c Min unsat cost LB: 34200 ... c Min unsat cost LB: 35309 ... c Min unsat cost LB: 35553 ... c Min unsat cost LB: 35921 ... c Min unsat cost LB: 36289 ... c Min unsat cost LB: 37274 ... c Min unsat cost LB: 37642 ... c Min unsat cost LB: 38069 ... c Min unsat cost LB: 38618 ... c Min unsat cost LB: 39054 ... c Min unsat cost LB: 39167 ... c Min unsat cost LB: 40425 ... c Min unsat cost LB: 40520 ... c Min unsat cost LB: 41854 ... c Min unsat cost LB: 42403 ... c Min unsat cost LB: 42422 ... c Min unsat cost LB: 42790 ... c Min unsat cost LB: 43158 ... c Min unsat cost LB: 43402 ... c Min unsat cost LB: 43951 ... c Min unsat cost LB: 44195 ... c Min unsat cost LB: 44324 ... c Min unsat cost LB: 44563 ... c Min unsat cost LB: 45112 ... c Min unsat cost LB: 45480 ... c Min unsat cost LB: 46029 ... c Min unsat cost LB: 47192 ... c Min unsat cost LB: 47436 ... c Min unsat cost LB: 47680 ... c Min unsat cost LB: 47804 ... c Min unsat cost LB: 48301 ... c Min unsat cost LB: 48545 ... c Min unsat cost LB: 48726 ... c Min unsat cost LB: 49094 ... c Min unsat cost LB: 49189 ... c Min unsat cost LB: 49625 ... c Min unsat cost LB: 50959 ... c Min unsat cost LB: 50964 ... c Min unsat cost LB: 51077 ... c Min unsat cost LB: 51886 ... c Min unsat cost LB: 52240 ... c Min unsat cost LB: 52789 ... c Min unsat cost LB: 52888 ... c Min unsat cost LB: 53157 ... c Min unsat cost LB: 53624 ... c Min unsat cost LB: 53805 ... c Min unsat cost LB: 53904 ... c Min unsat cost LB: 53967 ... c Min unsat cost LB: 54646 ... c Min unsat cost LB: 54821 ... c Min unsat cost LB: 55014 ... c Min unsat cost LB: 55138 ... c Min unsat cost LB: 55158 ... c Min unsat cost LB: 56174 ... c Min unsat cost LB: 56853 ... c Min unsat cost LB: 57221 ... c Min unsat cost LB: 57440 ... c Min unsat cost LB: 57558 ... c Min unsat cost LB: 57808 ... c Min unsat cost LB: 57926 ... c Min unsat cost LB: 57937 ... c Min unsat cost LB: 57957 ... c Min unsat cost LB: 58052 ... c Min unsat cost LB: 58176 ... c Min unsat cost LB: 58296 ... c Min unsat cost LB: 58540 ... c Min unsat cost LB: 58908 ... c Min unsat cost LB: 59168 ... c Min unsat cost LB: 59536 ... c Min unsat cost LB: 59780 ... c Min unsat cost LB: 59924 ... c Min unsat cost LB: 60044 ... c Min unsat cost LB: 60304 ... c Min unsat cost LB: 60428 ... c Min unsat cost LB: 60593 ... c Min unsat cost LB: 60758 ... c Min unsat cost LB: 61126 ... c Min unsat cost LB: 61164 ... c Min unsat cost LB: 61532 ... c Min unsat cost LB: 61600 ... c Min unsat cost LB: 61713 ... c Min unsat cost LB: 62020 ... c Min unsat cost LB: 62149 ... c Min unsat cost LB: 62262 ... c Min unsat cost LB: 62323 ... c Min unsat cost LB: 62466 ... c Min unsat cost LB: 62517 ... c Min unsat cost LB: 62585 ... c Min unsat cost LB: 62647 ... c Min unsat cost LB: 62834 ... c Min unsat cost LB: 63015 ... c Min unsat cost LB: 63133 ... c Min unsat cost LB: 63144 ... c Min unsat cost LB: 63388 ... c Min unsat cost LB: 63394 ... c Min unsat cost LB: 63762 ... c Min unsat cost LB: 63764 ... c Min unsat cost LB: 63810 ... c Min unsat cost LB: 63929 ... c Min unsat cost LB: 64002 ... c Min unsat cost LB: 64094 ... c Min unsat cost LB: 64126 ... c Min unsat cost LB: 64248 ... c Min unsat cost LB: 64410 ... c Min unsat cost LB: 64616 ... c Min unsat cost LB: 64797 ... c Min unsat cost LB: 64860 ... c Min unsat cost LB: 64984 ... c Min unsat cost LB: 65004 ... c Min unsat cost LB: 65058 ... c Min unsat cost LB: 65150 ... c Min unsat cost LB: 65152 ... c Min unsat cost LB: 65302 ... c Min unsat cost LB: 65307 ... c Min unsat cost LB: 65546 ... c Min unsat cost LB: 65597 ... c Min unsat cost LB: 65616 ... c Min unsat cost LB: 65860 ... c Min unsat cost LB: 66085 ... c Min unsat cost LB: 66292 ... c Min unsat cost LB: 66329 ... c Min unsat cost LB: 66421 ... c Min unsat cost LB: 66477 ... c Min unsat cost LB: 66647 ... c Min unsat cost LB: 66684 ... c Min unsat cost LB: 66721 ... c Min unsat cost LB: 66758 ... c Min unsat cost LB: 66780 ... c Min unsat cost LB: 66836 ... c Min unsat cost LB: 66837 ... c Min unsat cost LB: 66854 ... c Min unsat cost LB: 67081 ... c Min unsat cost LB: 67129 ... c Min unsat cost LB: 67136 ... c Min unsat cost LB: 67175 ... c Min unsat cost LB: 67214 ... c Min unsat cost LB: 67285 ... c Min unsat cost LB: 67304 ... c Min unsat cost LB: 67378 ... c Min unsat cost LB: 67435 ... c Min unsat cost LB: 67437 ... c Min unsat cost LB: 67567 ... c Min unsat cost LB: 67721 ... c Min unsat cost LB: 67963 ... c Min unsat cost LB: 68110 ... c Min unsat cost LB: 68537 ... c Min unsat cost LB: 68549 ... c Min unsat cost LB: 68771 ... c Min unsat cost LB: 68828 ... c Min unsat cost LB: 68879 ... c Min unsat cost LB: 68890 ... c Min unsat cost LB: 69040 ... c Min unsat cost LB: 69108 ... c Min unsat cost LB: 69227 ... c Min unsat cost LB: 69466 ... c Min unsat cost LB: 69471 ... c Min unsat cost LB: 70207 ... c Min unsat cost LB: 70281 ... c Min unsat cost LB: 70430 ... c Min unsat cost LB: 71145 ... c Min unsat cost LB: 71244 ... c Min unsat cost LB: 71377 ... c Min unsat cost LB: 71522 ... c Min unsat cost LB: 71825 ... c Min unsat cost LB: 71970 ... c Min unsat cost LB: 72467 ... c Min unsat cost LB: 72486 ... c Min unsat cost LB: 72726 ... c Min unsat cost LB: 72728 ... c Min unsat cost LB: 72820 ... c Min unsat cost LB: 72939 ... c Min unsat cost LB: 73031 ... c Min unsat cost LB: 73104 ... c Min unsat cost LB: 73913 ... c Min unsat cost LB: 74042 ... c Min unsat cost LB: 74074 ... c Min unsat cost LB: 74079 ... c Min unsat cost LB: 74436 ... c Min unsat cost LB: 74482 ... c Min unsat cost LB: 74707 ... c Min unsat cost LB: 74726 ... c Min unsat cost LB: 74778 ... c Min unsat cost LB: 74815 ... c Min unsat cost LB: 74870 ... c Min unsat cost LB: 75547 ... c Min unsat cost LB: 75573 ... c Min unsat cost LB: 76461 ... c Min unsat cost LB: 76522 ... c Min unsat cost LB: 76564 ... c Min unsat cost LB: 76578 ... c Min unsat cost LB: 76660 ... c Min unsat cost LB: 76691 ... c Min unsat cost LB: 77141 ... c Min unsat cost LB: 77195 ... c Min unsat cost LB: 77201 ... c Min unsat cost LB: 77285 ... c Min unsat cost LB: 77313 ... c Min unsat cost LB: 77439 ... c Min unsat cost LB: 77455 ... c Min unsat cost LB: 77459 ... c Min unsat cost LB: 77563 ... c Min unsat cost LB: 78082 ... c Min unsat cost LB: 78131 ... c Min unsat cost LB: 78164 ... c Min unsat cost LB: 78202 ... c Min unsat cost LB: 78345 ... c Min unsat cost LB: 78440 ... c Min unsat cost LB: 78535 ... c Min unsat cost LB: 78765 ... c Min unsat cost LB: 78776 ... c Min unsat cost LB: 78784 ... c Min unsat cost LB: 78806 ... c Min unsat cost LB: 79009 ... c Min unsat cost LB: 79122 ... c Min unsat cost LB: 79138 ... c Min unsat cost LB: 79316 ... c Min unsat cost LB: 79401 ... c Min unsat cost LB: 79438 ... c Min unsat cost LB: 79490 ... c Min unsat cost LB: 79508 ... c Min unsat cost LB: 79522 ... c Min unsat cost LB: 79585 ... c Min unsat cost LB: 79760 ... c Min unsat cost LB: 79777 ... c Min unsat cost LB: 79895 ... c Min unsat cost LB: 79953 ... c Min unsat cost LB: 80117 ... c Min unsat cost LB: 80167 ... c Min unsat cost LB: 80212 ... c Min unsat cost LB: 80324 ... c Min unsat cost LB: 80448 ... c Min unsat cost LB: 80846 ... c Min unsat cost LB: 80854 ... c Min unsat cost LB: 80955 ... c Min unsat cost LB: 80974 ... c Min unsat cost LB: 81013 ... c Min unsat cost LB: 81052 ... c Min unsat cost LB: 81205 ... c Min unsat cost LB: 81216 ... c Min unsat cost LB: 81255 ... c Min unsat cost LB: 81262 ... c Min unsat cost LB: 81294 ... c Min unsat cost LB: 81342 ... c Min unsat cost LB: 81345 ... c Min unsat cost LB: 81362 ... c Min unsat cost LB: 81373 ... c Min unsat cost LB: 81381 ... c Min unsat cost LB: 81433 ... c Min unsat cost LB: 81488 ... c Min unsat cost LB: 81494 ... c Min unsat cost LB: 81525 ... c Min unsat cost LB: 81607 ... c Min unsat cost LB: 82057 ... c Min unsat cost LB: 82058 ... c Min unsat cost LB: 82064 ... c Min unsat cost LB: 82119 ... c Min unsat cost LB: 82145 ... c Min unsat cost LB: 82150 ... c Min unsat cost LB: 82172 ... c Min unsat cost LB: 82209 ... c Min unsat cost LB: 82246 ... c Min unsat cost LB: 82283 ... c Min unsat cost LB: 82284 ... c Min unsat cost LB: 82305 ... c Min unsat cost LB: 82339 ... c Min unsat cost LB: 82340 ... c Min unsat cost LB: 82376 ... c Min unsat cost LB: 82378 ... c Min unsat cost LB: 82397 ... c Min unsat cost LB: 82439 ... c Min unsat cost LB: 82534 ... c Min unsat cost LB: 82548 ... c Min unsat cost LB: 82562 ... c Min unsat cost LB: 82574 ... c Min unsat cost LB: 82576 ... c Min unsat cost LB: 82643 ... c Min unsat cost LB: 82695 ... c Min unsat cost LB: 82818 ... c Min unsat cost LB: 82864 ... c Min unsat cost LB: 82905 ... c Min unsat cost LB: 82914 ... c Min unsat cost LB: 82943 ... c Min unsat cost LB: 82952 ... c Min unsat cost LB: 82992 ... c Min unsat cost LB: 82994 ... c Min unsat cost LB: 83045 ... c Min unsat cost LB: 83062 ... c Min unsat cost LB: 83071 ... c Min unsat cost LB: 83110 ... c Min unsat cost LB: 83130 ... c Min unsat cost LB: 83132 ... c Min unsat cost LB: 83171 ... c Min unsat cost LB: 83182 ... c Min unsat cost LB: 83190 ... c Min unsat cost LB: 83192 ... c Min unsat cost LB: 83195 ... c Min unsat cost LB: 83242 ... c Min unsat cost LB: 83340 ... c Min unsat cost LB: 83342 ... c Min unsat cost LB: 83434 ... c Min unsat cost LB: 83526 ... c Min unsat cost LB: 83528 ... c Min unsat cost LB: 83580 ... c Min unsat cost LB: 83600 ... c Min unsat cost LB: 83601 ... c Min unsat cost LB: 83622 ... c Min unsat cost LB: 83624 ... c Min unsat cost LB: 83625 ... c Min unsat cost LB: 83626 ... c Min unsat cost LB: 83755 ... c Min unsat cost LB: 83757 ... c Min unsat cost LB: 83759 ... c Min unsat cost LB: 83760 ... c Min unsat cost LB: 83765 ... c Min unsat cost LB: 83766 ... c Min unsat cost LB: 83771 ... c Min unsat cost LB: 83773 ... c Min unsat cost LB: 83774 ... c Min unsat cost LB: 83777 ... c Min unsat cost LB: 83780 ... c Min unsat cost LB: 83781 ... c Min unsat cost LB: 83803 ... c Min unsat cost LB: 83811 ... c Min unsat cost LB: 83813 ... c Min unsat cost LB: 83828 ... c Min unsat cost LB: 83868 ... c Min unsat cost LB: 84001 ... c Min unsat cost LB: 84013 ... c Min unsat cost LB: 84042 ... c Min unsat cost LB: 84071 ... c Min unsat cost LB: 84175 ... c Min unsat cost LB: 84543 ... c Min unsat cost LB: 84555 ... c Min unsat cost LB: 84572 ... c Min unsat cost LB: 84573 ... c Min unsat cost LB: 84575 ... c Min unsat cost LB: 84577 ... c Min unsat cost LB: 84588 ... c Min unsat cost LB: 84589 ... c Min unsat cost LB: 84591 ... c Min unsat cost LB: 84613 ... c Min unsat cost LB: 84615 ... c Min unsat cost LB: 84616 ... c Min unsat cost LB: 84618 ... c Min unsat cost LB: 84621 ... c Min unsat cost LB: 84622 ... c Min unsat cost LB: 84628 ... c Min unsat cost LB: 84649 ... c Min unsat cost LB: 84651 ... c Min unsat cost LB: 84667 ... c Min unsat cost LB: 84686 ... c Min unsat cost LB: 84688 ... c Min unsat cost LB: 84696 ... c Min unsat cost LB: 84725 ... c Min unsat cost LB: 84727 ... c Min unsat cost LB: 84729 ... c Min unsat cost LB: 84744 ... c Min unsat cost LB: 84763 ... c Min unsat cost LB: 84783 ... c Min unsat cost LB: 84794 ... c Min unsat cost LB: 84811 ... c Min unsat cost LB: 84813 ... c Min unsat cost LB: 84828 ... c Min unsat cost LB: 85490 ... c Min unsat cost LB: 85493 ... c Min unsat cost LB: 85495 ... c Min unsat cost LB: 85496 ... c Min unsat cost LB: 85503 ... c Min unsat cost LB: 85505 ... c Min unsat cost LB: 85514 ... c Min unsat cost LB: 85518 ... c Min unsat cost LB: 85519 ... c Min unsat cost LB: 85527 ... c Min unsat cost LB: 85529 ... c Min unsat cost LB: 85531 ... c Min unsat cost LB: 85532 ... c Min unsat cost LB: 85533 ... c Min unsat cost LB: 85534 ... c Min unsat cost LB: 85536 ... c Min unsat cost LB: 85631 ... c Min unsat cost LB: 85681 ... c Min unsat cost LB: 85704 ... c Min unsat cost LB: 85723 ... c Min unsat cost LB: 85735 ... c Min unsat cost LB: 85747 ... c Min unsat cost LB: 85766 ... c Min unsat cost LB: 85789 ... c Min unsat cost LB: 85799 ... c Min unsat cost LB: 85820 ... c Min unsat cost LB: 86052 ... c Min unsat cost LB: 86055 ... c Min unsat cost LB: 86077 ... c Min unsat cost LB: 86121 ... c Min unsat cost LB: 86123 ... c Min unsat cost LB: 86128 ... c Min unsat cost LB: 86129 ... c Min unsat cost LB: 86131 ... c Min unsat cost LB: 86132 ... c Min unsat cost LB: 86140 ... c Min unsat cost LB: 86162 ... c Min unsat cost LB: 86194 ... c Min unsat cost LB: 86196 ... c Min unsat cost LB: 86203 ... c Min unsat cost LB: 86208 ... c Min unsat cost LB: 86211 ... c Min unsat cost LB: 86213 ... c Min unsat cost LB: 86222 ... c Min unsat cost LB: 86223 ... c Min unsat cost LB: 86224 ... c Min unsat cost LB: 86225 ... c Min unsat cost LB: 86226 ... c Min unsat cost LB: 86227 ... c Min unsat cost LB: 86233 ... c Min unsat cost LB: 86235 ... c Min unsat cost LB: 86236 ... c Min unsat cost LB: 86254 ... c Min unsat cost LB: 86256 ... c Min unsat cost LB: 86261 ... c Min unsat cost LB: 86262 ... c Min unsat cost LB: 86263 ... c Min unsat cost LB: 86264 ... c Min unsat cost LB: 86265 ... c Min unsat cost LB: 86296 ... c Min unsat cost LB: 86305 ... c Min unsat cost LB: 86350 ... c Min unsat cost LB: 86420 ... c Min unsat cost LB: 86426 ... c Min unsat cost LB: 86427 ... c Min unsat cost LB: 86445 ... 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: 86493 ... c Min unsat cost LB: 86494 ... c Min unsat cost LB: 86495 ... c Min unsat cost LB: 86496 ... c Min unsat cost LB: 86497 ... c Min unsat cost LB: 86498 ... c Min unsat cost LB: 86499 ... c Min unsat cost LB: 86500 ... c Min unsat cost LB: 86501 ... c Min unsat cost LB: 86502 ... c Min unsat cost LB: 86503 ... c Min unsat cost LB: 86504 ... c Min unsat cost LB: 86509 ... c Min unsat cost LB: 86511 ... c Min unsat cost LB: 86521 ... c Min unsat cost LB: 86522 ... c Min unsat cost LB: 86523 ... c Min unsat cost LB: 86524 ... c Min unsat cost LB: 86525 ... c Min unsat cost LB: 86526 ... c Min unsat cost LB: 86527 ... c Min unsat cost LB: 86528 ... c Min unsat cost LB: 86529 ... c Min unsat cost LB: 86530 ... c Min unsat cost LB: 86531 ... c Min unsat cost LB: 86532 ... c Min unsat cost LB: 86533 ... c Min unsat cost LB: 86534 ... c Min unsat cost LB: 86535 ... c Min unsat cost LB: 86536 ... c Min unsat cost LB: 86537 ... c Min unsat cost LB: 86538 ... c Min unsat cost LB: 86539 ... c Min unsat cost LB: 86540 ... c Min unsat cost LB: 86541 ... c Min unsat cost LB: 86542 ... c Min unsat cost LB: 86543 ... c Min unsat cost LB: 86544 ... c Min unsat cost LB: 86545 ... c Min unsat cost LB: 86546 ... c Min unsat cost LB: 86547 ... c Min unsat cost LB: 86548 ... c Min unsat cost LB: 86552 ... c Min unsat cost LB: 86554 ... c Min unsat cost LB: 86556 ... c Min unsat cost LB: 86560 ... c Min unsat cost LB: 86564 ... c Min unsat cost LB: 86565 ... c Min unsat cost LB: 86579 ... c Min unsat cost LB: 86581 ... c Min unsat cost LB: 86591 ... c Min unsat cost LB: 86601 ... c Min unsat cost LB: 86603 ... c Min unsat cost LB: 86616 ... c Min unsat cost LB: 86619 ... c Min unsat cost LB: 86620 ... c Min unsat cost LB: 86621 ... c Min unsat cost LB: 86623 ... c Min unsat cost LB: 86629 ... c Min unsat cost LB: 86631 ... c Min unsat cost LB: 86632 ... c Min unsat cost LB: 86633 ... c Min unsat cost LB: 86644 ... c Min unsat cost LB: 86645 ... c Min unsat cost LB: 86646 ... c Min unsat cost LB: 86647 ... c Min unsat cost LB: 86648 ... c Min unsat cost LB: 86650 ... c Min unsat cost LB: 86661 ... c Min unsat cost LB: 86668 ... c Min unsat cost LB: 86688 ... c Min unsat cost LB: 86723 ... c Min unsat cost LB: 86885 ... c Min unsat cost LB: 86886 ... c Min unsat cost LB: 86887 ... c Min unsat cost LB: 86888 ... c Min unsat cost LB: 86911 ... c Min unsat cost LB: 86937 ... c Min unsat cost LB: 86967 ... c Min unsat cost LB: 87045 ... c Min unsat cost LB: 87046 ... c Min unsat cost LB: 87050 ... c Min unsat cost LB: 87051 ... c Min unsat cost LB: 87066 ... c Min unsat cost LB: 87465 ... c Min unsat cost LB: 87499 ... c Min unsat cost LB: 87519 ... c Min unsat cost LB: 87522 ... c Min unsat cost LB: 87527 ... c Min unsat cost LB: 87531 ... c Min unsat cost LB: 87591 ... c Min unsat cost LB: 87592 ... c Min unsat cost LB: 87593 ... c Min unsat cost LB: 87594 ... c Min unsat cost LB: 87595 ... c Min unsat cost LB: 87596 ... c Min unsat cost LB: 87597 ... c Min unsat cost LB: 87600 ... c Min unsat cost LB: 87601 ... c Min unsat cost LB: 87602 ... c Min unsat cost LB: 87606 ... c Min unsat cost LB: 87608 ... c Min unsat cost LB: 87609 ... c Min unsat cost LB: 87614 ... c Min unsat cost LB: 87615 ... c Min unsat cost LB: 87616 ... c Min unsat cost LB: 87617 ... c Min unsat cost LB: 87618 ... c Min unsat cost LB: 87619 ... c Min unsat cost LB: 87620 ... c Min unsat cost LB: 87621 ... c Min unsat cost LB: 87622 ... c Min unsat cost LB: 87624 ... c Min unsat cost LB: 87625 ... c Min unsat cost LB: 87626 ... c Min unsat cost LB: 87627 ... c Min unsat cost LB: 87628 ... c Min unsat cost LB: 87629 ... c Min unsat cost LB: 87630 ... c Min unsat cost LB: 87631 ... c Min unsat cost LB: 87634 ... c Min unsat cost LB: 87637 ... c Min unsat cost LB: 87638 ... c Min unsat cost LB: 87639 ... c Min unsat cost LB: 87640 ... c Min unsat cost LB: 87641 ... c Min unsat cost LB: 87642 ... c Min unsat cost LB: 87643 ... c Min unsat cost LB: 87644 ... c Min unsat cost LB: 87645 ... c Min unsat cost LB: 87646 ... c Min unsat cost LB: 87647 ... c Min unsat cost LB: 87648 ... c Min unsat cost LB: 87649 ... c Min unsat cost LB: 87650 ... c Min unsat cost LB: 87651 ... c Min unsat cost LB: 87652 ... c Min unsat cost LB: 87653 ... c Min unsat cost LB: 87654 ... c Min unsat cost LB: 87655 ... c Min unsat cost LB: 87656 ... c Min unsat cost LB: 87657 ... c Min unsat cost LB: 87665 ... c Min unsat cost LB: 87666 ... c Min unsat cost LB: 87667 ... c Min unsat cost LB: 87668 ... c Min unsat cost LB: 87669 ... c Min unsat cost LB: 87670 ... c Min unsat cost LB: 87671 ... c Min unsat cost LB: 87672 ... c Min unsat cost LB: 87681 ... c Min unsat cost LB: 87684 ... c Min unsat cost LB: 87686 ... c Min unsat cost LB: 87688 ... c Min unsat cost LB: 87692 ... c Min unsat cost LB: 87695 ... c Min unsat cost LB: 87704 ... c Min unsat cost LB: 87705 ... c Min unsat cost LB: 87709 ... c Min unsat cost LB: 87716 ... c Min unsat cost LB: 87719 ... c Min unsat cost LB: 87720 ... c Min unsat cost LB: 87721 ... c Min unsat cost LB: 87722 ... c Min unsat cost LB: 87723 ... c Min unsat cost LB: 87724 ... c Min unsat cost LB: 87725 ... c Min unsat cost LB: 87726 ... c Min unsat cost LB: 87727 ... c Min unsat cost LB: 87728 ... c Min unsat cost LB: 87729 ... c Min unsat cost LB: 87730 ... c Min unsat cost LB: 87736 ... c Min unsat cost LB: 87737 ... c Min unsat cost LB: 87740 ... c Min unsat cost LB: 87742 ... c Min unsat cost LB: 87743 ... c Min unsat cost LB: 87744 ... c Min unsat cost LB: 87755 ... c Min unsat cost LB: 87756 ... c Min unsat cost LB: 87775 ... c Min unsat cost LB: 87803 ... c Min unsat cost LB: 87804 ... c Min unsat cost LB: 87805 ... c Min unsat cost LB: 87806 ... c Min unsat cost LB: 87807 ... c Min unsat cost LB: 87808 ... c Min unsat cost LB: 87810 ... c Min unsat cost LB: 87815 ... c Min unsat cost LB: 87819 ... c Min unsat cost LB: 87849 ... c Min unsat cost LB: 87888 ... c Min unsat cost LB: 87890 ... c Min unsat cost LB: 87891 ... c Min unsat cost LB: 87895 ... c Min unsat cost LB: 87896 ... c Min unsat cost LB: 87926 ... c Min unsat cost LB: 87927 ... c Min unsat cost LB: 87928 ... c Min unsat cost LB: 87930 ... c Min unsat cost LB: 87932 ... c Min unsat cost LB: 87934 ... c Min unsat cost LB: 87958 ... c Min unsat cost LB: 87959 ... c Min unsat cost LB: 87971 ... c Min unsat cost LB: 87976 ... c Min unsat cost LB: 87986 ... c Min unsat cost LB: 87988 ... c Min unsat cost LB: 87991 ... c Min unsat cost LB: 87998 ... c Min unsat cost LB: 87999 ... c Min unsat cost LB: 88000 ... c Min unsat cost LB: 88001 ... c Min unsat cost LB: 88003 ... c Min unsat cost LB: 88005 ... c Min unsat cost LB: 88007 ... c Min unsat cost LB: 88009 ... c Min unsat cost LB: 88010 ... c Min unsat cost LB: 88011 ... c Min unsat cost LB: 88012 ... c Min unsat cost LB: 88014 ... c Min unsat cost LB: 88015 ... c Min unsat cost LB: 88016 ... c Min unsat cost LB: 88017 ... c Min unsat cost LB: 88020 ... c Min unsat cost LB: 88021 ... c Min unsat cost LB: 88024 ... c Min unsat cost LB: 88025 ... c Min unsat cost LB: 88027 ... c Min unsat cost LB: 88028 ... c Min unsat cost LB: 88029 ... c Min unsat cost LB: 88030 ... c Min unsat cost LB: 88031 ... c Min unsat cost LB: 88032 ... c Min unsat cost LB: 88033 ... c Min unsat cost LB: 88034 ... c Min unsat cost LB: 88035 ... c Min unsat cost LB: 88036 ... c Min unsat cost LB: 88037 ... c Min unsat cost LB: 88038 ... c Min unsat cost LB: 88039 ... c Min unsat cost LB: 88040 ... c Min unsat cost LB: 88041 ... c Min unsat cost LB: 88042 ... c Min unsat cost LB: 88043 ... c Min unsat cost LB: 88045 ... c Min unsat cost LB: 88046 ... c Min unsat cost LB: 88048 ... c Min unsat cost LB: 88050 ... c Min unsat cost LB: 88052 ... c Min unsat cost LB: 88053 ... c Min unsat cost LB: 88054 ... c Min unsat cost LB: 88055 ... c Min unsat cost LB: 88056 ... c Min unsat cost LB: 88057 ... c Min unsat cost LB: 88058 ... c Min unsat cost LB: 88059 ... c Min unsat cost LB: 88060 ... c Min unsat cost LB: 88061 ... c Min unsat cost LB: 88062 ... c Min unsat cost LB: 88063 ... c Min unsat cost LB: 88065 ... c Min unsat cost LB: 88066 ... c Min unsat cost LB: 88067 ... c Min unsat cost LB: 88068 ... c Min unsat cost LB: 88069 ... c Min unsat cost LB: 88070 ... c Min unsat cost LB: 88072 ... c Min unsat cost LB: 88076 ... c Min unsat cost LB: 88106 ... c Min unsat cost LB: 88110 ... c Min unsat cost LB: 88113 ... c Min unsat cost LB: 88135 ... c Min unsat cost LB: 88196 ... c Min unsat cost LB: 88203 ... c Min unsat cost LB: 88204 ... c Min unsat cost LB: 88269 ... c Min unsat cost LB: 88272 ... c Min unsat cost LB: 88273 ... c Min unsat cost LB: 88288 ... c Min unsat cost LB: 88294 ... c Min unsat cost LB: 88302 ... c Min unsat cost LB: 88305 ... c Min unsat cost LB: 88308 ... c Min unsat cost LB: 88321 ... c Min unsat cost LB: 88325 ... c Min unsat cost LB: 88326 ... c Min unsat cost LB: 88343 ... c Min unsat cost LB: 88352 ... c Min unsat cost LB: 88360 ... c Min unsat cost LB: 88364 ... c Min unsat cost LB: 88367 ... c Min unsat cost LB: 88369 ... c Min unsat cost LB: 88370 ... c Min unsat cost LB: 88371 ... c Min unsat cost LB: 88372 ... c Min unsat cost LB: 88380 ... c Min unsat cost LB: 88381 ... c Min unsat cost LB: 88382 ... c Min unsat cost LB: 88385 ... c Min unsat cost LB: 88388 ... c Min unsat cost LB: 88407 ... c Min unsat cost LB: 88408 ... c Min unsat cost LB: 88411 ... c Min unsat cost LB: 88423 ... c Min unsat cost LB: 88435 ... c Min unsat cost LB: 88454 ... c Min unsat cost LB: 88455 ... c Min unsat cost LB: 88456 ... c Min unsat cost LB: 88457 ... c Min unsat cost LB: 88459 ... c Min unsat cost LB: 88461 ... c Min unsat cost LB: 88462 ... c Min unsat cost LB: 88463 ... c Min unsat cost LB: 88464 ... c Min unsat cost LB: 88467 ... c Min unsat cost LB: 88468 ... c Min unsat cost LB: 88469 ... c Min unsat cost LB: 88476 ... c Min unsat cost LB: 88477 ... c Min unsat cost LB: 88479 ... c Min unsat cost LB: 88480 ... c Min unsat cost LB: 88484 ... c Min unsat cost LB: 88489 ... c Min unsat cost LB: 88492 ... c Min unsat cost LB: 88494 ... c Min unsat cost LB: 88497 ... c Min unsat cost LB: 88498 ... c Min unsat cost LB: 88499 ... c Min unsat cost LB: 88500 ... c Min unsat cost LB: 88501 ... c Min unsat cost LB: 88502 ... c Min unsat cost LB: 88503 ... c Min unsat cost LB: 88504 ... c Min unsat cost LB: 88505 ... c Min unsat cost LB: 88506 ... c Min unsat cost LB: 88507 ... c Min unsat cost LB: 88508 ... c Min unsat cost LB: 88509 ... c Min unsat cost LB: 88510 ... c Min unsat cost LB: 88511 ... c Min unsat cost LB: 88512 ... c Min unsat cost LB: 88513 ... c Min unsat cost LB: 88514 ... c Min unsat cost LB: 88515 ... c Min unsat cost LB: 88516 ... c Min unsat cost LB: 88517 ... c Min unsat cost LB: 88528 ... c Min unsat cost LB: 88576 ... c Min unsat cost LB: 88577 ... c Min unsat cost LB: 88578 ... c Min unsat cost LB: 88579 ... c Min unsat cost LB: 88580 ... c Min unsat cost LB: 88581 ... c Min unsat cost LB: 88582 ... c Min unsat cost LB: 88583 ... c Min unsat cost LB: 88584 ... c Min unsat cost LB: 88585 ... c Min unsat cost LB: 88586 ... c Min unsat cost LB: 88587 ... c Min unsat cost LB: 88588 ... c Min unsat cost LB: 88589 ... c Min unsat cost LB: 88590 ... c Min unsat cost LB: 88591 ... c Min unsat cost LB: 88592 ... c Min unsat cost LB: 88593 ... c Min unsat cost LB: 88594 ... c Min unsat cost LB: 88595 ... c Min unsat cost LB: 88596 ... c Min unsat cost LB: 88597 ... c Min unsat cost LB: 88598 ... c Min unsat cost LB: 88599 ... c Min unsat cost LB: 88600 ... c Min unsat cost LB: 88601 ... c Min unsat cost LB: 88602 ... c Min unsat cost LB: 88603 ... c Min unsat cost LB: 88604 ... c Min unsat cost LB: 88605 ... c Min unsat cost LB: 88606 ... c Min unsat cost LB: 88607 ... c Min unsat cost LB: 88609 ... c Min unsat cost LB: 88610 ... c Min unsat cost LB: 88611 ... c Min unsat cost LB: 88612 ... c Min unsat cost LB: 88622 ... c Min unsat cost LB: 88623 ... c Min unsat cost LB: 88624 ... c Min unsat cost LB: 88625 ... c Min unsat cost LB: 88626 ... c Min unsat cost LB: 88627 ... c Min unsat cost LB: 88628 ... c Min unsat cost LB: 88629 ... c Min unsat cost LB: 88630 ... c Min unsat cost LB: 88631 ... c Min unsat cost LB: 88632 ... c Min unsat cost LB: 88633 ... c Min unsat cost LB: 88634 ... c Min unsat cost LB: 88635 ... c Min unsat cost LB: 88636 ... c Min unsat cost LB: 88637 ... c Min unsat cost LB: 88638 ... c Min unsat cost LB: 88639 ... c Min unsat cost LB: 88640 ... c Min unsat cost LB: 88641 ... c Min unsat cost LB: 88642 ... c Min unsat cost LB: 88643 ... c Min unsat cost LB: 88644 ... c Min unsat cost LB: 88645 ... c Min unsat cost LB: 88646 ... c Min unsat cost LB: 88647 ... c Min unsat cost LB: 88648 ... c Min unsat cost LB: 88649 ... c Min unsat cost LB: 88650 ... c Min unsat cost LB: 88651 ... c Min unsat cost LB: 88652 ... c Min unsat cost LB: 88653 ... c Min unsat cost LB: 88654 ... c Min unsat cost LB: 88655 ... c Min unsat cost LB: 88656 ... c Min unsat cost LB: 88657 ... c Min unsat cost LB: 88658 ... c Min unsat cost LB: 88659 ... c Min unsat cost LB: 88660 ... c Min unsat cost LB: 88671 ... c Min unsat cost LB: 88672 ... c Min unsat cost LB: 88673 ... c Min unsat cost LB: 88676 ... c Min unsat cost LB: 88677 ... c Min unsat cost LB: 88678 ... c Min unsat cost LB: 88679 ... c Min unsat cost LB: 88680 ... c Min unsat cost LB: 88682 ... c Min unsat cost LB: 88683 ... c Min unsat cost LB: 88684 ... c Min unsat cost LB: 88689 ... c Min unsat cost LB: 88696 ... c Min unsat cost LB: 88698 ... c Min unsat cost LB: 88703 ... c Min unsat cost LB: 88704 ... c Min unsat cost LB: 88705 ... c Min unsat cost LB: 88706 ... c Min unsat cost LB: 88707 ... c Min unsat cost LB: 88708 ... c Min unsat cost LB: 88709 ... c Min unsat cost LB: 88710 ... c Min unsat cost LB: 88731 ... c Min unsat cost LB: 88742 ... c Min unsat cost LB: 88743 ... c Min unsat cost LB: 88768 ... c Min unsat cost LB: 88805 ... c Min unsat cost LB: 88806 ... c Min unsat cost LB: 88807 ... c Min unsat cost LB: 88822 ... c Min unsat cost LB: 88823 ... c Min unsat cost LB: 88825 ... c Min unsat cost LB: 88837 ... c Min unsat cost LB: 88838 ... c Min unsat cost LB: 88839 ... c Min unsat cost LB: 88840 ... c Min unsat cost LB: 88841 ... c Min unsat cost LB: 88842 ... c Min unsat cost LB: 88843 ... c Min unsat cost LB: 88844 ... c Min unsat cost LB: 88845 ... c Min unsat cost LB: 88846 ... c Min unsat cost LB: 88853 ... c Min unsat cost LB: 88854 ... c Min unsat cost LB: 88855 ... c Min unsat cost LB: 88856 ... c Min unsat cost LB: 88857 ... c Min unsat cost LB: 88858 ... c Min unsat cost LB: 88859 ... c Min unsat cost LB: 88860 ... c Min unsat cost LB: 88861 ... c Min unsat cost LB: 88870 ... c Min unsat cost LB: 88871 ... c Min unsat cost LB: 88875 ... c Min unsat cost LB: 88876 ... c Min unsat cost LB: 88877 ... c Min unsat cost LB: 88881 ... c Min unsat cost LB: 88884 ... c Min unsat cost LB: 88903 ... c Min unsat cost LB: 88904 ... c Min unsat cost LB: 88905 ... c Min unsat cost LB: 88906 ... c Min unsat cost LB: 88907 ... c Min unsat cost LB: 88908 ... c Min unsat cost LB: 88909 ... c Min unsat cost LB: 88910 ... c Min unsat cost LB: 88911 ... c Min unsat cost LB: 88912 ... c Min unsat cost LB: 88915 ... c Min unsat cost LB: 88920 ... c Min unsat cost LB: 88921 ... c Min unsat cost LB: 88922 ... c Min unsat cost LB: 88923 ... c Min unsat cost LB: 88924 ... c Min unsat cost LB: 88925 ... c Min unsat cost LB: 88926 ... c Min unsat cost LB: 88927 ... c Min unsat cost LB: 88928 ... c Min unsat cost LB: 88929 ... c Min unsat cost LB: 88931 ... c Min unsat cost LB: 88933 ... c Min unsat cost LB: 88934 ... c Min unsat cost LB: 88935 ... c Min unsat cost LB: 88936 ... c Min unsat cost LB: 88939 ... c Min unsat cost LB: 88940 ... c Min unsat cost LB: 88942 ... c Min unsat cost LB: 88943 ... c Min unsat cost LB: 88944 ... c Min unsat cost LB: 88945 ... c Min unsat cost LB: 88946 ... c Min unsat cost LB: 88947 ... c Min unsat cost LB: 88948 ... c Min unsat cost LB: 88949 ... c Min unsat cost LB: 88950 ... c Min unsat cost LB: 88951 ... c Min unsat cost LB: 88952 ... c Min unsat cost LB: 88953 ... c Min unsat cost LB: 88954 ... c Min unsat cost LB: 88955 ... c Min unsat cost LB: 88956 ... c Min unsat cost LB: 88957 ... c Min unsat cosKilled 1816.065u 3.670s 30:21.33 99.9% 0+0k 0+0io 0pf+0w