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_180_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_180_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_180_0005.txt.wcnf *** c c Min unsat cost LB: 938 ... c Min unsat cost LB: 1876 ... c Min unsat cost LB: 3584 ... c Min unsat cost LB: 5292 ... c Min unsat cost LB: 6230 ... c Min unsat cost LB: 7168 ... c Min unsat cost LB: 8876 ... c Min unsat cost LB: 9814 ... c Min unsat cost LB: 10752 ... c Min unsat cost LB: 12460 ... c Min unsat cost LB: 13398 ... c Min unsat cost LB: 15106 ... c Min unsat cost LB: 16814 ... c Min unsat cost LB: 17752 ... c Min unsat cost LB: 18690 ... c Min unsat cost LB: 19628 ... c Min unsat cost LB: 20398 ... c Min unsat cost LB: 21336 ... c Min unsat cost LB: 23044 ... c Min unsat cost LB: 23982 ... c Min unsat cost LB: 24920 ... c Min unsat cost LB: 25690 ... c Min unsat cost LB: 26628 ... c Min unsat cost LB: 27566 ... c Min unsat cost LB: 28504 ... c Min unsat cost LB: 29442 ... c Min unsat cost LB: 30212 ... c Min unsat cost LB: 30982 ... c Min unsat cost LB: 31852 ... c Min unsat cost LB: 32020 ... c Min unsat cost LB: 32319 ... c Min unsat cost LB: 32618 ... c Min unsat cost LB: 32917 ... c Min unsat cost LB: 33855 ... c Min unsat cost LB: 34154 ... c Min unsat cost LB: 34298 ... c Min unsat cost LB: 34442 ... c Min unsat cost LB: 34586 ... c Min unsat cost LB: 34885 ... c Min unsat cost LB: 35225 ... c Min unsat cost LB: 35369 ... c Min unsat cost LB: 35513 ... c Min unsat cost LB: 35657 ... c Min unsat cost LB: 35801 ... c Min unsat cost LB: 35880 ... c Min unsat cost LB: 35959 ... c Min unsat cost LB: 36753 ... c Min unsat cost LB: 36897 ... c Min unsat cost LB: 37041 ... c Min unsat cost LB: 37120 ... c Min unsat cost LB: 37199 ... c Min unsat cost LB: 37498 ... c Min unsat cost LB: 37577 ... c Min unsat cost LB: 38357 ... c Min unsat cost LB: 38501 ... c Min unsat cost LB: 39295 ... c Min unsat cost LB: 39374 ... c Min unsat cost LB: 39453 ... c Min unsat cost LB: 40065 ... c Min unsat cost LB: 40144 ... c Min unsat cost LB: 40288 ... c Min unsat cost LB: 40367 ... c Min unsat cost LB: 40446 ... c Min unsat cost LB: 40525 ... c Min unsat cost LB: 40604 ... c Min unsat cost LB: 40666 ... c Min unsat cost LB: 42295 ... c Min unsat cost LB: 43154 ... c Min unsat cost LB: 43233 ... c Min unsat cost LB: 43312 ... c Min unsat cost LB: 43391 ... c Min unsat cost LB: 43453 ... c Min unsat cost LB: 43690 ... c Min unsat cost LB: 44168 ... c Min unsat cost LB: 44194 ... c Min unsat cost LB: 44273 ... c Min unsat cost LB: 44290 ... c Min unsat cost LB: 44589 ... c Min unsat cost LB: 45215 ... c Min unsat cost LB: 46085 ... c Min unsat cost LB: 46229 ... c Min unsat cost LB: 46308 ... c Min unsat cost LB: 47246 ... c Min unsat cost LB: 47670 ... c Min unsat cost LB: 47732 ... c Min unsat cost LB: 48502 ... c Min unsat cost LB: 48926 ... c Min unsat cost LB: 49068 ... c Min unsat cost LB: 49212 ... c Min unsat cost LB: 49636 ... c Min unsat cost LB: 49694 ... c Min unsat cost LB: 49819 ... c Min unsat cost LB: 49963 ... c Min unsat cost LB: 50042 ... c Min unsat cost LB: 50466 ... c Min unsat cost LB: 50890 ... c Min unsat cost LB: 52440 ... c Min unsat cost LB: 52822 ... c Min unsat cost LB: 53592 ... c Min unsat cost LB: 53891 ... c Min unsat cost LB: 54688 ... c Min unsat cost LB: 54846 ... c Min unsat cost LB: 55270 ... c Min unsat cost LB: 55636 ... c Min unsat cost LB: 55918 ... c Min unsat cost LB: 56342 ... c Min unsat cost LB: 56421 ... c Min unsat cost LB: 56692 ... c Min unsat cost LB: 56709 ... c Min unsat cost LB: 57133 ... c Min unsat cost LB: 57275 ... c Min unsat cost LB: 57546 ... c Min unsat cost LB: 57699 ... c Min unsat cost LB: 57817 ... c Min unsat cost LB: 57896 ... c Min unsat cost LB: 58167 ... c Min unsat cost LB: 58438 ... c Min unsat cost LB: 59078 ... c Min unsat cost LB: 59113 ... c Min unsat cost LB: 59187 ... c Min unsat cost LB: 59611 ... c Min unsat cost LB: 59892 ... c Min unsat cost LB: 60316 ... c Min unsat cost LB: 60441 ... c Min unsat cost LB: 60587 ... c Min unsat cost LB: 60858 ... c Min unsat cost LB: 61140 ... c Min unsat cost LB: 61411 ... c Min unsat cost LB: 61428 ... c Min unsat cost LB: 61590 ... c Min unsat cost LB: 61861 ... c Min unsat cost LB: 62081 ... c Min unsat cost LB: 62799 ... c Min unsat cost LB: 62857 ... c Min unsat cost LB: 63128 ... c Min unsat cost LB: 63998 ... c Min unsat cost LB: 64269 ... c Min unsat cost LB: 64311 ... c Min unsat cost LB: 64385 ... c Min unsat cost LB: 64582 ... c Min unsat cost LB: 64848 ... c Min unsat cost LB: 65086 ... c Min unsat cost LB: 65272 ... c Min unsat cost LB: 65340 ... c Min unsat cost LB: 65553 ... c Min unsat cost LB: 65764 ... c Min unsat cost LB: 66397 ... c Min unsat cost LB: 67472 ... c Min unsat cost LB: 67896 ... c Min unsat cost LB: 68410 ... c Min unsat cost LB: 68817 ... c Min unsat cost LB: 69348 ... c Min unsat cost LB: 69755 ... c Min unsat cost LB: 70218 ... c Min unsat cost LB: 70286 ... c Min unsat cost LB: 70366 ... c Min unsat cost LB: 70424 ... c Min unsat cost LB: 71294 ... c Min unsat cost LB: 71362 ... c Min unsat cost LB: 71430 ... c Min unsat cost LB: 71490 ... c Min unsat cost LB: 71668 ... c Min unsat cost LB: 71761 ... c Min unsat cost LB: 71810 ... c Min unsat cost LB: 72012 ... c Min unsat cost LB: 72032 ... c Min unsat cost LB: 72303 ... c Min unsat cost LB: 72436 ... c Min unsat cost LB: 72574 ... c Min unsat cost LB: 72802 ... c Min unsat cost LB: 72845 ... c Min unsat cost LB: 72988 ... c Min unsat cost LB: 73116 ... c Min unsat cost LB: 73133 ... c Min unsat cost LB: 73175 ... c Min unsat cost LB: 73372 ... c Min unsat cost LB: 73446 ... c Min unsat cost LB: 73540 ... c Min unsat cost LB: 73598 ... c Min unsat cost LB: 73672 ... c Min unsat cost LB: 73943 ... c Min unsat cost LB: 74022 ... c Min unsat cost LB: 74166 ... c Min unsat cost LB: 74180 ... c Min unsat cost LB: 74199 ... c Min unsat cost LB: 74259 ... c Min unsat cost LB: 74310 ... c Min unsat cost LB: 74352 ... c Min unsat cost LB: 74431 ... c Min unsat cost LB: 74447 ... c Min unsat cost LB: 74526 ... c Min unsat cost LB: 74591 ... c Min unsat cost LB: 74605 ... c Min unsat cost LB: 74660 ... c Min unsat cost LB: 74739 ... c Min unsat cost LB: 74762 ... c Min unsat cost LB: 74804 ... c Min unsat cost LB: 74856 ... c Min unsat cost LB: 74948 ... c Min unsat cost LB: 75211 ... c Min unsat cost LB: 75260 ... c Min unsat cost LB: 75317 ... c Min unsat cost LB: 75336 ... c Min unsat cost LB: 75350 ... c Min unsat cost LB: 75511 ... c Min unsat cost LB: 75774 ... c Min unsat cost LB: 75791 ... c Min unsat cost LB: 75921 ... c Min unsat cost LB: 75935 ... c Min unsat cost LB: 76065 ... c Min unsat cost LB: 76079 ... c Min unsat cost LB: 76154 ... c Min unsat cost LB: 76223 ... c Min unsat cost LB: 76266 ... c Min unsat cost LB: 76284 ... c Min unsat cost LB: 76363 ... c Min unsat cost LB: 76437 ... c Min unsat cost LB: 76516 ... c Min unsat cost LB: 76521 ... c Min unsat cost LB: 76578 ... c Min unsat cost LB: 76583 ... c Min unsat cost LB: 76657 ... c Min unsat cost LB: 76863 ... c Min unsat cost LB: 76981 ... c Min unsat cost LB: 77046 ... c Min unsat cost LB: 77051 ... c Min unsat cost LB: 77199 ... c Min unsat cost LB: 77278 ... c Min unsat cost LB: 77343 ... c Min unsat cost LB: 77548 ... c Min unsat cost LB: 77642 ... c Min unsat cost LB: 77796 ... c Min unsat cost LB: 77938 ... c Min unsat cost LB: 78281 ... c Min unsat cost LB: 78926 ... c Min unsat cost LB: 79219 ... c Min unsat cost LB: 79814 ... c Min unsat cost LB: 79986 ... c Min unsat cost LB: 79999 ... c Min unsat cost LB: 80924 ... c Min unsat cost LB: 80937 ... c Min unsat cost LB: 81046 ... c Min unsat cost LB: 81731 ... c Min unsat cost LB: 81810 ... c Min unsat cost LB: 82106 ... c Min unsat cost LB: 82123 ... c Min unsat cost LB: 82181 ... c Min unsat cost LB: 82199 ... c Min unsat cost LB: 82547 ... c Min unsat cost LB: 82686 ... c Min unsat cost LB: 82721 ... c Min unsat cost LB: 82738 ... c Min unsat cost LB: 82744 ... c Min unsat cost LB: 82800 ... c Min unsat cost LB: 82817 ... c Min unsat cost LB: 82879 ... c Min unsat cost LB: 83064 ... c Min unsat cost LB: 83090 ... c Min unsat cost LB: 83307 ... c Min unsat cost LB: 83602 ... c Min unsat cost LB: 83716 ... c Min unsat cost LB: 84510 ... c Min unsat cost LB: 84540 ... c Min unsat cost LB: 84933 ... c Min unsat cost LB: 85258 ... c Min unsat cost LB: 85390 ... c Min unsat cost LB: 85448 ... c Min unsat cost LB: 85610 ... c Min unsat cost LB: 85689 ... c Min unsat cost LB: 85772 ... c Min unsat cost LB: 86250 ... c Min unsat cost LB: 86264 ... c Min unsat cost LB: 86710 ... c Min unsat cost LB: 87134 ... c Min unsat cost LB: 87669 ... c Min unsat cost LB: 87794 ... c Min unsat cost LB: 88060 ... c Min unsat cost LB: 88093 ... c Min unsat cost LB: 88218 ... c Min unsat cost LB: 88257 ... c Min unsat cost LB: 88270 ... c Min unsat cost LB: 88275 ... c Min unsat cost LB: 88309 ... c Min unsat cost LB: 88413 ... c Min unsat cost LB: 88569 ... c Min unsat cost LB: 88607 ... c Min unsat cost LB: 88641 ... c Min unsat cost LB: 88698 ... c Min unsat cost LB: 88712 ... c Min unsat cost LB: 88721 ... c Min unsat cost LB: 88859 ... c Min unsat cost LB: 88880 ... c Min unsat cost LB: 88926 ... c Min unsat cost LB: 89020 ... c Min unsat cost LB: 89073 ... c Min unsat cost LB: 89103 ... c Min unsat cost LB: 89160 ... c Min unsat cost LB: 89228 ... c Min unsat cost LB: 89271 ... c Min unsat cost LB: 89289 ... c Min unsat cost LB: 89419 ... c Min unsat cost LB: 89424 ... c Min unsat cost LB: 89438 ... c Min unsat cost LB: 89442 ... c Min unsat cost LB: 89499 ... c Min unsat cost LB: 89527 ... c Min unsat cost LB: 89632 ... c Min unsat cost LB: 89646 ... c Min unsat cost LB: 89701 ... c Min unsat cost LB: 89720 ... c Min unsat cost LB: 89734 ... c Min unsat cost LB: 89748 ... c Min unsat cost LB: 89838 ... c Min unsat cost LB: 89902 ... c Min unsat cost LB: 89917 ... c Min unsat cost LB: 89936 ... c Min unsat cost LB: 90010 ... c Min unsat cost LB: 90036 ... c Min unsat cost LB: 90273 ... c Min unsat cost LB: 90290 ... c Min unsat cost LB: 90305 ... c Min unsat cost LB: 90339 ... c Min unsat cost LB: 90431 ... c Min unsat cost LB: 90510 ... c Min unsat cost LB: 90527 ... c Min unsat cost LB: 90546 ... c Min unsat cost LB: 90625 ... c Min unsat cost LB: 90639 ... c Min unsat cost LB: 90676 ... c Min unsat cost LB: 90704 ... c Min unsat cost LB: 90720 ... c Min unsat cost LB: 90775 ... c Min unsat cost LB: 90838 ... c Min unsat cost LB: 91044 ... c Min unsat cost LB: 91388 ... c Min unsat cost LB: 91402 ... c Min unsat cost LB: 91546 ... c Min unsat cost LB: 91708 ... c Min unsat cost LB: 91840 ... c Min unsat cost LB: 91923 ... c Min unsat cost LB: 92045 ... c Min unsat cost LB: 92671 ... c Min unsat cost LB: 93595 ... c Min unsat cost LB: 93694 ... c Min unsat cost LB: 94306 ... c Min unsat cost LB: 95076 ... c Min unsat cost LB: 95303 ... c Min unsat cost LB: 95506 ... c Min unsat cost LB: 95564 ... c Min unsat cost LB: 96375 ... c Min unsat cost LB: 96639 ... c Min unsat cost LB: 96849 ... c Min unsat cost LB: 96911 ... c Min unsat cost LB: 97272 ... c Min unsat cost LB: 97282 ... c Min unsat cost LB: 97489 ... c Min unsat cost LB: 97674 ... c Min unsat cost LB: 97681 ... c Min unsat cost LB: 97969 ... c Min unsat cost LB: 98220 ... c Min unsat cost LB: 98362 ... c Min unsat cost LB: 98388 ... c Min unsat cost LB: 98478 ... c Min unsat cost LB: 99158 ... c Min unsat cost LB: 99653 ... c Min unsat cost LB: 99670 ... c Min unsat cost LB: 99688 ... c Min unsat cost LB: 99728 ... c Min unsat cost LB: 99846 ... c Min unsat cost LB: 99904 ... c Min unsat cost LB: 99998 ... c Min unsat cost LB: 100107 ... c Min unsat cost LB: 100126 ... c Min unsat cost LB: 100186 ... c Min unsat cost LB: 100260 ... c Min unsat cost LB: 100339 ... c Min unsat cost LB: 100362 ... c Min unsat cost LB: 100516 ... c Min unsat cost LB: 100630 ... c Min unsat cost LB: 100690 ... c Min unsat cost LB: 100699 ... c Min unsat cost LB: 100841 ... c Min unsat cost LB: 100935 ... c Min unsat cost LB: 101132 ... c Min unsat cost LB: 101174 ... c Min unsat cost LB: 101187 ... c Min unsat cost LB: 101221 ... c Min unsat cost LB: 101347 ... c Min unsat cost LB: 101375 ... c Min unsat cost LB: 101394 ... c Min unsat cost LB: 101426 ... c Min unsat cost LB: 101436 ... c Min unsat cost LB: 101443 ... c Min unsat cost LB: 101495 ... c Min unsat cost LB: 101500 ... c Min unsat cost LB: 101565 ... c Min unsat cost LB: 101578 ... c Min unsat cost LB: 101644 ... c Min unsat cost LB: 101658 ... c Min unsat cost LB: 101717 ... c Min unsat cost LB: 101752 ... c Min unsat cost LB: 102025 ... c Min unsat cost LB: 102048 ... c Min unsat cost LB: 102111 ... c Min unsat cost LB: 102141 ... c Min unsat cost LB: 102179 ... c Min unsat cost LB: 102185 ... c Min unsat cost LB: 102196 ... c Min unsat cost LB: 102235 ... c Min unsat cost LB: 102297 ... c Min unsat cost LB: 102302 ... c Min unsat cost LB: 102327 ... c Min unsat cost LB: 102359 ... c Min unsat cost LB: 102565 ... c Min unsat cost LB: 102633 ... c Min unsat cost LB: 102737 ... c Min unsat cost LB: 102822 ... c Min unsat cost LB: 102850 ... c Min unsat cost LB: 102859 ... c Min unsat cost LB: 102897 ... c Min unsat cost LB: 102968 ... c Min unsat cost LB: 103043 ... c Min unsat cost LB: 103171 ... c Min unsat cost LB: 103190 ... c Min unsat cost LB: 103210 ... c Min unsat cost LB: 103230 ... c Min unsat cost LB: 103252 ... c Min unsat cost LB: 103320 ... c Min unsat cost LB: 103337 ... c Min unsat cost LB: 103397 ... c Min unsat cost LB: 103398 ... c Min unsat cost LB: 103448 ... c Min unsat cost LB: 103477 ... c Min unsat cost LB: 103514 ... c Min unsat cost LB: 103638 ... c Min unsat cost LB: 103687 ... c Min unsat cost LB: 103702 ... c Min unsat cost LB: 103918 ... c Min unsat cost LB: 104157 ... c Min unsat cost LB: 104186 ... c Min unsat cost LB: 104344 ... c Min unsat cost LB: 104412 ... c Min unsat cost LB: 104420 ... c Min unsat cost LB: 104436 ... c Min unsat cost LB: 104472 ... c Min unsat cost LB: 104489 ... c Min unsat cost LB: 104506 ... c Min unsat cost LB: 104557 ... c Min unsat cost LB: 104569 ... c Min unsat cost LB: 104593 ... c Min unsat cost LB: 104612 ... c Min unsat cost LB: 104621 ... c Min unsat cost LB: 104644 ... c Min unsat cost LB: 104647 ... c Min unsat cost LB: 104666 ... c Min unsat cost LB: 104788 ... c Min unsat cost LB: 104791 ... c Min unsat cost LB: 104801 ... c Min unsat cost LB: 104804 ... c Min unsat cost LB: 104818 ... c Min unsat cost LB: 104823 ... c Min unsat cost LB: 104840 ... c Min unsat cost LB: 104855 ... c Min unsat cost LB: 104860 ... c Min unsat cost LB: 104876 ... c Min unsat cost LB: 104880 ... c Min unsat cost LB: 104888 ... c Min unsat cost LB: 104891 ... c Min unsat cost LB: 104894 ... c Min unsat cost LB: 104898 ... c Min unsat cost LB: 104901 ... c Min unsat cost LB: 104904 ... c Min unsat cost LB: 105022 ... c Min unsat cost LB: 105046 ... c Min unsat cost LB: 105072 ... c Min unsat cost LB: 105080 ... c Min unsat cost LB: 105086 ... c Min unsat cost LB: 105174 ... c Min unsat cost LB: 105183 ... c Min unsat cost LB: 105197 ... c Min unsat cost LB: 105210 ... c Min unsat cost LB: 105234 ... c Min unsat cost LB: 105253 ... c Min unsat cost LB: 105262 ... c Min unsat cost LB: 105267 ... c Min unsat cost LB: 105278 ... c Min unsat cost LB: 105288 ... c Min unsat cost LB: 105302 ... c Min unsat cost LB: 105319 ... c Min unsat cost LB: 105354 ... c Min unsat cost LB: 105356 ... c Min unsat cost LB: 105363 ... c Min unsat cost LB: 105364 ... c Min unsat cost LB: 105373 ... c Min unsat cost LB: 105381 ... c Min unsat cost LB: 105391 ... c Min unsat cost LB: 105405 ... c Min unsat cost LB: 105420 ... c Min unsat cost LB: 105426 ... c Min unsat cost LB: 105431 ... c Min unsat cost LB: 105470 ... c Min unsat cost LB: 105479 ... c Min unsat cost LB: 105508 ... c Min unsat cost LB: 105522 ... c Min unsat cost LB: 105531 ... c Min unsat cost LB: 105532 ... c Min unsat cost LB: 105555 ... c Min unsat cost LB: 105556 ... c Min unsat cost LB: 105557 ... c Min unsat cost LB: 105558 ... c Min unsat cost LB: 105564 ... c Min unsat cost LB: 105565 ... c Min unsat cost LB: 105623 ... c Min unsat cost LB: 105629 ... c Min unsat cost LB: 105632 ... c Min unsat cost LB: 105648 ... c Min unsat cost LB: 105651 ... c Min unsat cost LB: 105652 ... c Min unsat cost LB: 105655 ... c Min unsat cost LB: 105656 ... c Min unsat cost LB: 105658 ... c Min unsat cost LB: 105659 ... c Min unsat cost LB: 105674 ... c Min unsat cost LB: 105675 ... c Min unsat cost LB: 105676 ... c Min unsat cost LB: 105677 ... c Min unsat cost LB: 105678 ... c Min unsat cost LB: 105679 ... c Min unsat cost LB: 105680 ... c Min unsat cost LB: 105681 ... c Min unsat cost LB: 105682 ... c Min unsat cost LB: 105683 ... c Min unsat cost LB: 105684 ... c Min unsat cost LB: 105685 ... c Min unsat cost LB: 105686 ... c Min unsat cost LB: 105687 ... c Min unsat cost LB: 105688 ... c Min unsat cost LB: 105689 ... c Min unsat cost LB: 105691 ... c Min unsat cost LB: 105692 ... c Min unsat cost LB: 105693 ... c Min unsat cost LB: 105694 ... c Min unsat cost LB: 105695 ... c Min unsat cost LB: 105696 ... c Min unsat cost LB: 105697 ... c Min unsat cost LB: 105698 ... c Min unsat cost LB: 105744 ... c Min unsat cost LB: 105747 ... c Min unsat cost LB: 105748 ... c Min unsat cost LB: 105749 ... c Min unsat cost LB: 105750 ... c Min unsat cost LB: 105751 ... c Min unsat cost LB: 105752 ... c Min unsat cost LB: 105753 ... c Min unsat cost LB: 105755 ... c Min unsat cost LB: 105758 ... c Min unsat cost LB: 105759 ... c Min unsat cost LB: 105760 ... c Min unsat cost LB: 105761 ... c Min unsat cost LB: 105762 ... c Min unsat cost LB: 105763 ... c Min unsat cost LB: 105780 ... c Min unsat cost LB: 105785 ... c Min unsat cost LB: 105804 ... c Min unsat cost LB: 105960 ... c Min unsat cost LB: 106092 ... c Min unsat cost LB: 106175 ... c Min unsat cost LB: 106214 ... c Min unsat cost LB: 106218 ... c Min unsat cost LB: 106317 ... c Min unsat cost LB: 106323 ... c Min unsat cost LB: 106341 ... c Min unsat cost LB: 106344 ... c Min unsat cost LB: 106398 ... c Min unsat cost LB: 106428 ... c Min unsat cost LB: 106454 ... c Min unsat cost LB: 106460 ... c Min unsat cost LB: 106467 ... c Min unsat cost LB: 106472 ... c Min unsat cost LB: 106476 ... c Min unsat cost LB: 106479 ... c Min unsat cost LB: 106484 ... c Min unsat cost LB: 106488 ... c Min unsat cost LB: 106489 ... c Min unsat cost LB: 106491 ... c Min unsat cost LB: 106496 ... c Min unsat cost LB: 106497 ... c Min unsat cost LB: 106501 ... c Min unsat cost LB: 106508 ... c Min unsat cost LB: 106511 ... c Min unsat cost LB: 106519 ... c Min unsat cost LB: 106526 ... c Min unsat cost LB: 106535 ... c Min unsat cost LB: 106536 ... c Min unsat cost LB: 106537 ... c Min unsat cost LB: 106611 ... c Min unsat cost LB: 106613 ... c Min unsat cost LB: 106614 ... c Min unsat cost LB: 106620 ... c Min unsat cost LB: 106623 ... c Min unsat cost LB: 106624 ... c Min unsat cost LB: 106628 ... c Min unsat cost LB: 106633 ... c Min unsat cost LB: 106759 ... c Min unsat cost LB: 106760 ... c Min unsat cost LB: 106762 ... c Min unsat cost LB: 106763 ... c Min unsat cost LB: 106783 ... c Min unsat cost LB: 106785 ... c Min unsat cost LB: 106787 ... c Min unsat cost LB: 106789 ... c Min unsat cost LB: 106790 ... c Min unsat cost LB: 106791 ... c Min unsat cost LB: 106792 ... c Min unsat cost LB: 106797 ... c Min unsat cost LB: 106799 ... c Min unsat cost LB: 106802 ... c Min unsat cost LB: 106803 ... c Min unsat cost LB: 106804 ... c Min unsat cost LB: 106805 ... c Min unsat cost LB: 106807 ... c Min unsat cost LB: 106808 ... c Min unsat cost LB: 106809 ... c Min unsat cost LB: 106815 ... c Min unsat cost LB: 106816 ... c Min unsat cost LB: 106818 ... c Min unsat cost LB: 106819 ... c Min unsat cost LB: 106820 ... c Min unsat cost LB: 106822 ... c Min unsat cost LB: 106823 ... c Min unsat cost LB: 106824 ... c Min unsat cost LB: 106825 ... c Min unsat cost LB: 106913 ... c Min unsat cost LB: 107437 ... c Min unsat cost LB: 107646 ... c Min unsat cost LB: 107647 ... c Min unsat cost LB: 107648 ... c Min unsat cost LB: 107681 ... c Min unsat cost LB: 107689 ... c Min unsat cost LB: 107699 ... c Min unsat cost LB: 107715 ... c Min unsat cost LB: 107762 ... c Min unsat cost LB: 107852 ... c Min unsat cost LB: 107873 ... c Min unsat cost LB: 107874 ... c Min unsat cost LB: 107875 ... c Min unsat cost LB: 107876 ... c Min unsat cost LB: 107877 ... c Min unsat cost LB: 107878 ... c Min unsat cost LB: 107879 ... c Min unsat cost LB: 108254 ... c Min unsat cost LB: 108255 ... c Min unsat cost LB: 108270 ... c Min unsat cost LB: 108278 ... c Min unsat cost LB: 108282 ... c Min unsat cost LB: 108316 ... c Min unsat cost LB: 108335 ... c Min unsat cost LB: 108338 ... c Min unsat cost LB: 108348 ... c Min unsat cost LB: 108370 ... c Min unsat cost LB: 108371 ... c Min unsat cost LB: 108376 ... c Min unsat cost LB: 108394 ... c Min unsat cost LB: 108404 ... c Min unsat cost LB: 108468 ... c Min unsat cost LB: 108469 ... c Min unsat cost LB: 108470 ... c Min unsat cost LB: 108471 ... c Min unsat cost LB: 108472 ... c Min unsat cost LB: 108475 ... c Min unsat cost LB: 108476 ... c Min unsat cost LB: 108477 ... c Min unsat cost LB: 108478 ... c Min unsat cost LB: 108479 ... c Min unsat cost LB: 108486 ... c Min unsat cost LB: 108489 ... c Min unsat cost LB: 108674 ... c Min unsat cost LB: 108681 ... c Min unsat cost LB: 108735 ... c Min unsat cost LB: 108736 ... c Min unsat cost LB: 108856 ... c Min unsat cost LB: 108866 ... c Min unsat cost LB: 108930 ... c Min unsat cost LB: 108950 ... c Min unsat cost LB: 108952 ... c Min unsat cost LB: 108953 ... c Min unsat cost LB: 108955 ... c Min unsat cost LB: 108956 ... c Min unsat cost LB: 108957 ... c Min unsat cost LB: 108958 ... c Min unsat cost LB: 108959 ... c Min unsat cost LB: 108960 ... c Min unsat cost LB: 108961 ... c Min unsat cost LB: 108962 ... c Min unsat cost LB: 108963 ... c Min unsat cost LB: 108964 ... c Min unsat cost LB: 108965 ... c Min unsat cost LB: 108966 ... c Min unsat cost LB: 108968 ... c Min unsat cost LB: 108969 ... c Min unsat cost LB: 108975 ... c Min unsat cost LB: 108976 ... c Min unsat cost LB: 108980 ... c Min unsat cost LB: 108981 ... c Min unsat cost LB: 108982 ... c Min unsat cost LB: 108986 ... c Min unsat cost LB: 108994 ... c Min unsat cost LB: 109000 ... c Min unsat cost LB: 109011 ... c Min unsat cost LB: 109039 ... c Min unsat cost LB: 109044 ... c Min unsat cost LB: 109070 ... c Min unsat cost LB: 109072 ... c Min unsat cost LB: 109081 ... c Min unsat cost LB: 109082 ... c Min unsat cost LB: 109083 ... c Min unsat cost LB: 109086 ... c Min unsat cost LB: 109087 ... c Min unsat cost LB: 109088 ... c Min unsat cost LB: 109089 ... c Min unsat cost LB: 109090 ... c Min unsat cost LB: 109097 ... c Min unsat cost LB: 109099 ... c Min unsat cost LB: 109101 ... c Min unsat cost LB: 109102 ... c Min unsat cost LB: 109106 ... c Min unsat cost LB: 109107 ... c Min unsat cost LB: 109109 ... c Min unsat cost LB: 109110 ... c Min unsat cost LB: 109111 ... c Min unsat cost LB: 109113 ... c Min unsat cost LB: 109114 ... c Min unsat cost LB: 109118 ... c Min unsat cost LB: 109121 ... c Min unsat cost LB: 109125 ... c Min unsat cost LB: 109127 ... c Min unsat cost LB: 109147 ... c Min unsat cost LB: 109170 ... c Min unsat cost LB: 109171 ... c Min unsat cost LB: 109172 ... c Min unsat cost LB: 109175 ... c Min unsat cost LB: 109176 ... c Min unsat cost LB: 109179 ... c Min unsat cost LB: 109180 ... c Min unsat cost LB: 109181 ... c Min unsat cost LB: 109182 ... c Min unsat cost LB: 109185 ... c Min unsat cost LB: 109186 ... c Min unsat cost LB: 109187 ... c Min unsat cost LB: 109190 ... c Min unsat cost LB: 109191 ... c Min unsat cost LB: 109192 ... c Min unsat cost LB: 109193 ... c Min unsat cost LB: 109194 ... c Min unsat cost LB: 109195 ... c Min unsat cost LB: 109196 ... c Min unsat cost LB: 109200 ... c Min unsat cost LB: 109201 ... c Min unsat cost LB: 109202 ... c Min unsat cost LB: 109203 ... c Min unsat cost LB: 109204 ... c Min unsat cost LB: 109205 ... c Min unsat cost LB: 109206 ... c Min unsat cost LB: 109207 ... c Min unsat cost LB: 109208 ... c Min unsat cost LB: 109209 ... c Min unsat cost LB: 109210 ... c Min unsat cost LB: 109211 ... c Min unsat cost LB: 109212 ... c Min unsat cost LB: 109215 ... c Min unsat cost LB: 109218 ... c Min unsat cost LB: 109222 ... c Min unsat cost LB: 109295 ... c Min unsat cost LB: 109326 ... c Min unsat cost LB: 109327 ... c Min unsat cost LB: 109516 ... c Min unsat cost LB: 109517 ... c Min unsat cost LB: 109518 ... c Min unsat cost LB: 109519 ... c Min unsat cost LB: 109520 ... c Min unsat cost LB: 109530 ... c Min unsat cost LB: 109531 ... c Min unsat cost LB: 109532 ... c Min unsat cost LB: 109533 ... c Min unsat cost LB: 109534 ... c Min unsat cost LB: 109535 ... c Min unsat cost LB: 109536 ... c Min unsat cost LB: 109537 ... c Min unsat cost LB: 109538 ... c Min unsat cost LB: 109539 ... c Min unsat cost LB: 109540 ... c Min unsat cost LB: 109541 ... c Min unsat cost LB: 109545 ... c Min unsat cost LB: 109546 ... c Min unsat cost LB: 109547 ... c Min unsat cost LB: 109549 ... c Min unsat cost LB: 109550 ... c Min unsat cost LB: 109551 ... c Min unsat cost LB: 109552 ... c Min unsat cost LB: 109553 ... c Min unsat cost LB: 109554 ... c Min unsat cost LB: 109557 ... c Min unsat cost LB: 109650 ... c Min unsat cost LB: 109652 ... c Min unsat cost LB: 109687 ... c Min unsat cost LB: 109688 ... c Min unsat cost LB: 109689 ... c Min unsat cost LB: 109704 ... c Min unsat cost LB: 109705 ... c Min unsat cost LB: 109738 ... c Min unsat cost LB: 109739 ... c Min unsat cost LB: 109753 ... c Min unsat cost LB: 109754 ... c Min unsat cost LB: 109766 ... c Min unsat cost LB: 109768 ... c Min unsat cost LB: 109799 ... c Min unsat cost LB: 109801 ... c Min unsat cost LB: 109803 ... c Min unsat cost LB: 109828 ... c Min unsat cost LB: 109829 ... c Min unsat cost LB: 109858 ... c Min unsat cost LB: 109902 ... c Min unsat cost LB: 109972 ... c Min unsat cost LB: 109977 ... c Min unsat cost LB: 109996 ... c Min unsat cost LB: 110003 ... c Min unsat cost LB: 110097 ... c Min unsat cost LB: 110098 ... c Min unsat cost LB: 110101 ... c Min unsat cost LB: 110102 ... c Min unsat cost LB: 110111 ... c Min unsat cost LB: 110172 ... c Min unsat cost LB: 110248 ... c Min unsat cost LB: 110566 ... c Min unsat cost LB: 110570 ... c Min unsat cost LB: 110605 ... c Min unsat cost LB: 110607 ... c Min unsat cost LB: 110608 ... c Min unsat cost LB: 110617 ... c Min unsat cost LB: 110620 ... c Min unsat cost LB: 110621 ... c Min unsat cost LB: 110623 ... c Min unsat cost LB: 110626 ... c Min unsat cost LB: 110627 ... c Min unsat cost LB: 110628 ... c Min unsat cost LB: 110629 ... c Min unsat cost LB: 110630 ... c Min unsat cost LB: 110631 ... c Min unsat cost LB: 110635 ... c Min unsat cost LB: 110636 ... c Min unsat cost LB: 110637 ... c Min unsat cost LB: 110638 ... c Min unsat cost LB: 110639 ... c Min unsat cost LB: 110640 ... c Min unsat cost LB: 110641 ... c Min unsat cost LB: 110642 ... c Min unsat cost LB: 110643 ... c Min unsat cost LB: 110644 ... c Min unsat cost LB: 110645 ... c Min unsat cost LB: 110651 ... c Min unsat cost LB: 110653 ... c Min unsat cost LB: 110654 ... c Min unsat cost LB: 110655 ... c Min unsat cost LB: 110656 ... c Min unsat cost LB: 110657 ... c Min unsat cost LB: 110658 ... c Min unsat cost LB: 110659 ... c Min unsat cost LB: 110663 ... c Min unsat cost LB: 110664 ... c Min unsat cost LB: 110665 ... c Min unsat cost LB: 110666 ... c Min unsat cost LB: 110667 ... c Min unsat cost LB: 110668 ... c Min unsat cost LB: 110669 ... c Min unsat cost LB: 110670 ... c Min unsat cost LB: 110672 ... c Min unsat cost LB: 110673 ... c Min unsat cost LB: 110686 ... c Min unsat cost LB: 110687 ... c Min unsat cost LB: 110688 ... c Min unsat cost LB: 110689 ... c Min unsat cost LB: 110690 ... c Min unsat cost LB: 110691 ... c Min unsat cost LB: 110692 ... c Min unsat cost LB: 110693 ... c Min unsat cost LB: 110694 ... c Min unsat cost LB: 110695 ... c Min unsat cost LB: 110696 ... c Min unsat cost LB: 110697 ... c Min unsat cost LB: 110698 ... c Min unsat cost LB: 110699 ... c Min unsat cost LB: 110700 ... c Min unsat cost LB: 110702 ... c Min unsat cost LB: 110703 ... c Min unsat cost LB: 110704 ... c Min unsat cost LB: 110705 ... c Min unsat cost LB: 110709 ... c Min unsat cost LB: 110711 ... c Min unsat cost LB: 110712 ... c Min unsat cost LB: 110713 ... c Min unsat cost LB: 110716 ... c Min unsat cost LB: 110720 ... c Min unsat cost LB: 110723 ... c Min unsat cost LB: 110724 ... c Min unsat cost LB: 110725 ... c Min unsat cost LB: 110726 ... c Min unsat cost LB: 110727 ... c Min unsat cost LB: 110730 ... c Min unsat cost LB: 110731 ... c Min unsat cost LB: 110732 ... c Min unsat cost LB: 110736 ... c Min unsat cost LB: 110738 ... c Min unsat cost LB: 110739 ... c Min unsat cost LB: 110740 ... c Min unsat cost LB: 110742 ... c Min unsat cost LB: 110750 ... c Min unsat cost LB: 110751 ... c Min unsat cost LB: 110757 ... c Min unsat cost LB: 110766 ... c Min unsat cost LB: 110767 ... c Min unsat cost LB: 110770 ... c Min unsat cost LB: 110772 ... c Min unsat cost LB: 110777 ... c Min unsat cost LB: 110780 ... c Min unsat cost LB: 110786 ... c Min unsat cost LB: 110790 ... c Min unsat cost LB: 110792 ... c Min unsat cost LB: 110794 ... c Min unsat cost LB: 110802 ... c Min unsat cost LB: 110805 ... c Min unsat cost LB: 110848 ... c Min unsat cost LB: 110865 ... c Min unsat cost LB: 110868 ... c Min unsat cost LB: 110869 ... c Min unsat cost LB: 110870 ... c Min unsat cost LB: 110871 ... c Min unsat cost LB: 110872 ... c Min unsat cost LB: 110873 ... c Min unsat cost LB: 110874 ... c Min unsat cost LB: 110875 ... c Min unsat cost LB: 110876 ... c Min unsat cost LB: 110877 ... c Min unsat cost LB: 110878 ... c Min unsat cost LB: 110879 ... c Min unsat cost LB: 110880 ... c Min unsat cost LB: 110881 ... c Min unsat cost LB: 110882 ... c Min unsat cost LB: 110883 ... c Min unsat cost LB: 110884 ... c Min unsat cost LB: 110885 ... c Min unsat cost LB: 110886 ... c Min unsat cost LB: 110887 ... c Min unsat cost LB: 110888 ... c Min unsat cost LB: 110889 ... c Min unsat cost LB: 110890 ... c Min unsat cost LB: 110891 ... c Min unsat cost LB: 110892 ... c Min unsat cost LB: 110893 ... c Min unsat cost LB: 110894 ... c Min unsat cost LB: 110895 ... c Min unsat cost LB: 110896 ... c Min unsat cost LB: 110897 ... c Min unsat cost LB: 110898 ... c Min unsat cost LB: 110899 ... c Min unsat cost LB: 110900 ... c Min unsat cost LB: 110901 ... c Min unsat cost LB: 110902 ... c Min unsat cost LB: 110903 ... c Min unsat cost LB: 110904 ... c Min unsat cost LB: 110905 ... c Min unsat cost LB: 110906 ... c Min unsat cost LB: 110908 ... c Min unsat cost LB: 110909 ... c Min unsat cost LB: 110910 ... c Min unsat cost LB: 110911 ... c Min unsat cost LB: 110912 ... c Min unsat cost LB: 110913 ... c Min unsat cost LB: 110914 ... c Min unsat cost LB: 110915 ... c Min unsat cost LB: 110920 ... c Min unsat cost LB: 110921 ... c Min unsat cost LB: 110922 ... c Min unsat cost LB: 110923 ... c Min unsat cost LB: 110926 ... c Min unsat cost LB: 110927 ... c Min unsat cost LB: 110933 ... c Min unsat cost LB: 110937 ... c Min unsat cost LB: 110938 ... c Min unsat cost LB: 110939 ... c Min unsat cost LB: 110940 ... c Min unsat cost LB: 110946 ... c Min unsat cost LB: 110953 ... c Min unsat cost LB: 110956 ... c Min unsat cost LB: 110959 ... c Min unsat cost LB: 110961 ... c Min unsat cost LB: 110982 ... c Min unsat cost LB: 110986 ... c Min unsat cost LB: 110988 ... c Min unsat cost LB: 110989 ... c Min unsat cost LB: 110997 ... c Min unsat cost LB: 111000 ... c Min unsat cost LB: 111001 ... c Min unsat cost LB: 111004 ... c Min unsat cost LB: 111008 ... c Min unsat costKilled 1815.534u 4.200s 30:19.82 99.9% 0+0k 0+0io 0pf+0w