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_70_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_70_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_70_0005.txt.wcnf *** c c Min unsat cost LB: 863 ... c Min unsat cost LB: 1726 ... c Min unsat cost LB: 2589 ... c Min unsat cost LB: 3452 ... c Min unsat cost LB: 4491 ... c Min unsat cost LB: 5354 ... c Min unsat cost LB: 6393 ... c Min unsat cost LB: 7432 ... c Min unsat cost LB: 8471 ... c Min unsat cost LB: 9334 ... c Min unsat cost LB: 10373 ... c Min unsat cost LB: 11412 ... c Min unsat cost LB: 12451 ... c Min unsat cost LB: 13490 ... c Min unsat cost LB: 14353 ... c Min unsat cost LB: 14752 ... c Min unsat cost LB: 15216 ... c Min unsat cost LB: 16014 ... c Min unsat cost LB: 17053 ... c Min unsat cost LB: 17276 ... c Min unsat cost LB: 17327 ... c Min unsat cost LB: 18366 ... c Min unsat cost LB: 18538 ... c Min unsat cost LB: 19354 ... c Min unsat cost LB: 19800 ... c Min unsat cost LB: 20221 ... c Min unsat cost LB: 21062 ... c Min unsat cost LB: 22101 ... c Min unsat cost LB: 23140 ... c Min unsat cost LB: 24179 ... c Min unsat cost LB: 25218 ... c Min unsat cost LB: 25416 ... c Min unsat cost LB: 26455 ... c Min unsat cost LB: 27494 ... c Min unsat cost LB: 28533 ... c Min unsat cost LB: 29294 ... c Min unsat cost LB: 30055 ... c Min unsat cost LB: 30080 ... c Min unsat cost LB: 30358 ... c Min unsat cost LB: 30636 ... c Min unsat cost LB: 30841 ... c Min unsat cost LB: 31602 ... c Min unsat cost LB: 32158 ... c Min unsat cost LB: 33420 ... c Min unsat cost LB: 33643 ... c Min unsat cost LB: 34905 ... c Min unsat cost LB: 35666 ... c Min unsat cost LB: 36705 ... c Min unsat cost LB: 37942 ... c Min unsat cost LB: 38703 ... c Min unsat cost LB: 39965 ... c Min unsat cost LB: 39990 ... c Min unsat cost LB: 41252 ... c Min unsat cost LB: 42291 ... c Min unsat cost LB: 42514 ... c Min unsat cost LB: 43751 ... c Min unsat cost LB: 43776 ... c Min unsat cost LB: 44639 ... c Min unsat cost LB: 44815 ... c Min unsat cost LB: 45502 ... c Min unsat cost LB: 45576 ... c Min unsat cost LB: 45854 ... c Min unsat cost LB: 46337 ... c Min unsat cost LB: 46615 ... c Min unsat cost LB: 46746 ... c Min unsat cost LB: 47098 ... c Min unsat cost LB: 47785 ... c Min unsat cost LB: 48008 ... c Min unsat cost LB: 48824 ... c Min unsat cost LB: 48898 ... c Min unsat cost LB: 49344 ... c Min unsat cost LB: 49937 ... c Min unsat cost LB: 50086 ... c Min unsat cost LB: 50291 ... c Min unsat cost LB: 50976 ... c Min unsat cost LB: 51039 ... c Min unsat cost LB: 51708 ... c Min unsat cost LB: 52469 ... c Min unsat cost LB: 52747 ... c Min unsat cost LB: 53230 ... c Min unsat cost LB: 53508 ... c Min unsat cost LB: 53610 ... c Min unsat cost LB: 53833 ... c Min unsat cost LB: 53917 ... c Min unsat cost LB: 54005 ... c Min unsat cost LB: 54426 ... c Min unsat cost LB: 54576 ... c Min unsat cost LB: 55132 ... c Min unsat cost LB: 55169 ... c Min unsat cost LB: 55267 ... c Min unsat cost LB: 55637 ... c Min unsat cost LB: 56394 ... c Min unsat cost LB: 56420 ... c Min unsat cost LB: 56676 ... c Min unsat cost LB: 56958 ... c Min unsat cost LB: 57126 ... c Min unsat cost LB: 57433 ... c Min unsat cost LB: 57631 ... c Min unsat cost LB: 57952 ... c Min unsat cost LB: 57989 ... c Min unsat cost LB: 58398 ... c Min unsat cost LB: 58439 ... c Min unsat cost LB: 58447 ... c Min unsat cost LB: 58472 ... c Min unsat cost LB: 58523 ... c Min unsat cost LB: 58750 ... c Min unsat cost LB: 58775 ... c Min unsat cost LB: 58951 ... c Min unsat cost LB: 59562 ... c Min unsat cost LB: 59814 ... c Min unsat cost LB: 59815 ... c Min unsat cost LB: 60249 ... c Min unsat cost LB: 60828 ... c Min unsat cost LB: 60853 ... c Min unsat cost LB: 60926 ... c Min unsat cost LB: 60963 ... c Min unsat cost LB: 61186 ... c Min unsat cost LB: 61742 ... c Min unsat cost LB: 62115 ... c Min unsat cost LB: 62335 ... c Min unsat cost LB: 62360 ... c Min unsat cost LB: 62583 ... c Min unsat cost LB: 63223 ... c Min unsat cost LB: 63264 ... c Min unsat cost LB: 63622 ... c Min unsat cost LB: 64086 ... c Min unsat cost LB: 64127 ... c Min unsat cost LB: 64460 ... c Min unsat cost LB: 64884 ... c Min unsat cost LB: 64935 ... c Min unsat cost LB: 64990 ... c Min unsat cost LB: 65066 ... c Min unsat cost LB: 65092 ... c Min unsat cost LB: 65373 ... c Min unsat cost LB: 65454 ... c Min unsat cost LB: 65662 ... c Min unsat cost LB: 65817 ... c Min unsat cost LB: 65819 ... c Min unsat cost LB: 66042 ... c Min unsat cost LB: 66240 ... c Min unsat cost LB: 66619 ... c Min unsat cost LB: 66810 ... c Min unsat cost LB: 66835 ... c Min unsat cost LB: 66866 ... c Min unsat cost LB: 67549 ... c Min unsat cost LB: 67676 ... c Min unsat cost LB: 67717 ... c Min unsat cost LB: 67754 ... c Min unsat cost LB: 68038 ... c Min unsat cost LB: 68126 ... c Min unsat cost LB: 68210 ... c Min unsat cost LB: 68316 ... c Min unsat cost LB: 68324 ... c Min unsat cost LB: 68466 ... c Min unsat cost LB: 68580 ... c Min unsat cost LB: 68586 ... c Min unsat cost LB: 68735 ... c Min unsat cost LB: 68736 ... c Min unsat cost LB: 68799 ... c Min unsat cost LB: 68873 ... c Min unsat cost LB: 68900 ... c Min unsat cost LB: 69001 ... c Min unsat cost LB: 69078 ... c Min unsat cost LB: 69151 ... c Min unsat cost LB: 69279 ... c Min unsat cost LB: 69538 ... c Min unsat cost LB: 69612 ... c Min unsat cost LB: 69624 ... c Min unsat cost LB: 69954 ... c Min unsat cost LB: 69955 ... c Min unsat cost LB: 70017 ... c Min unsat cost LB: 70029 ... c Min unsat cost LB: 70030 ... c Min unsat cost LB: 70093 ... c Min unsat cost LB: 70099 ... c Min unsat cost LB: 70100 ... c Min unsat cost LB: 70126 ... c Min unsat cost LB: 70201 ... c Min unsat cost LB: 70227 ... c Min unsat cost LB: 70248 ... c Min unsat cost LB: 70249 ... c Min unsat cost LB: 70263 ... c Min unsat cost LB: 70293 ... c Min unsat cost LB: 70318 ... c Min unsat cost LB: 70319 ... c Min unsat cost LB: 70343 ... c Min unsat cost LB: 70349 ... c Min unsat cost LB: 70424 ... c Min unsat cost LB: 70505 ... c Min unsat cost LB: 70509 ... c Min unsat cost LB: 70510 ... c Min unsat cost LB: 70511 ... c Min unsat cost LB: 70574 ... c Min unsat cost LB: 70600 ... c Min unsat cost LB: 70625 ... c Min unsat cost LB: 70640 ... c Min unsat cost LB: 70651 ... c Min unsat cost LB: 70681 ... c Min unsat cost LB: 71003 ... c Min unsat cost LB: 71023 ... c Min unsat cost LB: 71034 ... c Min unsat cost LB: 71038 ... c Min unsat cost LB: 71079 ... c Min unsat cost LB: 71261 ... c Min unsat cost LB: 71396 ... c Min unsat cost LB: 71725 ... c Min unsat cost LB: 72142 ... c Min unsat cost LB: 72183 ... c Min unsat cost LB: 72193 ... c Min unsat cost LB: 72234 ... c Min unsat cost LB: 72277 ... c Min unsat cost LB: 72288 ... c Min unsat cost LB: 72292 ... c Min unsat cost LB: 72303 ... c Min unsat cost LB: 72334 ... c Min unsat cost LB: 72379 ... c Min unsat cost LB: 72416 ... c Min unsat cost LB: 72489 ... c Min unsat cost LB: 72583 ... c Min unsat cost LB: 72813 ... c Min unsat cost LB: 72814 ... c Min unsat cost LB: 72839 ... c Min unsat cost LB: 73043 ... c Min unsat cost LB: 73044 ... c Min unsat cost LB: 73145 ... c Min unsat cost LB: 73156 ... c Min unsat cost LB: 73162 ... c Min unsat cost LB: 73163 ... c Min unsat cost LB: 73175 ... c Min unsat cost LB: 73189 ... c Min unsat cost LB: 73190 ... c Min unsat cost LB: 73199 ... c Min unsat cost LB: 73200 ... c Min unsat cost LB: 73201 ... c Min unsat cost LB: 73221 ... c Min unsat cost LB: 73262 ... c Min unsat cost LB: 73265 ... c Min unsat cost LB: 73266 ... c Min unsat cost LB: 73276 ... c Min unsat cost LB: 73284 ... c Min unsat cost LB: 73290 ... c Min unsat cost LB: 73293 ... c Min unsat cost LB: 73311 ... c Min unsat cost LB: 73323 ... c Min unsat cost LB: 73328 ... c Min unsat cost LB: 73329 ... c Min unsat cost LB: 73330 ... c Min unsat cost LB: 73335 ... c Min unsat cost LB: 73336 ... c Min unsat cost LB: 73356 ... c Min unsat cost LB: 73364 ... c Min unsat cost LB: 73382 ... c Min unsat cost LB: 73411 ... c Min unsat cost LB: 73412 ... c Min unsat cost LB: 73418 ... c Min unsat cost LB: 73430 ... c Min unsat cost LB: 73437 ... c Min unsat cost LB: 73473 ... c Min unsat cost LB: 73558 ... c Min unsat cost LB: 73559 ... c Min unsat cost LB: 73560 ... c Min unsat cost LB: 73634 ... c Min unsat cost LB: 73635 ... c Min unsat cost LB: 73642 ... c Min unsat cost LB: 73643 ... c Min unsat cost LB: 73661 ... c Min unsat cost LB: 73668 ... c Min unsat cost LB: 73682 ... c Min unsat cost LB: 73694 ... c Min unsat cost LB: 73695 ... c Min unsat cost LB: 73697 ... c Min unsat cost LB: 73699 ... c Min unsat cost LB: 73701 ... c Min unsat cost LB: 73751 ... c Min unsat cost LB: 73756 ... c Min unsat cost LB: 73763 ... c Min unsat cost LB: 73778 ... c Min unsat cost LB: 73782 ... c Min unsat cost LB: 73787 ... c Min unsat cost LB: 73795 ... c Min unsat cost LB: 73802 ... c Min unsat cost LB: 73807 ... c Min unsat cost LB: 73810 ... c Min unsat cost LB: 73811 ... c Min unsat cost LB: 73812 ... c Min unsat cost LB: 73817 ... c Min unsat cost LB: 73819 ... c Min unsat cost LB: 73821 ... c Min unsat cost LB: 73836 ... c Min unsat cost LB: 73837 ... c Min unsat cost LB: 73838 ... c Min unsat cost LB: 73840 ... c Min unsat cost LB: 73850 ... c Min unsat cost LB: 73852 ... c Min unsat cost LB: 73855 ... c Min unsat cost LB: 73862 ... c Min unsat cost LB: 73864 ... c Min unsat cost LB: 73871 ... c Min unsat cost LB: 73872 ... c Min unsat cost LB: 73884 ... c Min unsat cost LB: 73888 ... c Min unsat cost LB: 73907 ... c Min unsat cost LB: 73910 ... c Min unsat cost LB: 73912 ... c Min unsat cost LB: 73913 ... c Min unsat cost LB: 73914 ... c Min unsat cost LB: 73915 ... c Min unsat cost LB: 73917 ... c Min unsat cost LB: 73918 ... c Min unsat cost LB: 73923 ... c Min unsat cost LB: 73925 ... c Min unsat cost LB: 73927 ... c Min unsat cost LB: 73928 ... c Min unsat cost LB: 73929 ... c Min unsat cost LB: 73933 ... c Min unsat cost LB: 73936 ... c Min unsat cost LB: 73939 ... c Min unsat cost LB: 73941 ... c Min unsat cost LB: 73942 ... c Min unsat cost LB: 73943 ... c Min unsat cost LB: 73944 ... c Min unsat cost LB: 73945 ... c Min unsat cost LB: 73946 ... c Min unsat cost LB: 73947 ... c Min unsat cost LB: 73948 ... c Min unsat cost LB: 73951 ... c Min unsat cost LB: 73953 ... c Min unsat cost LB: 73954 ... c Min unsat cost LB: 73955 ... c Min unsat cost LB: 73956 ... c Min unsat cost LB: 73959 ... c Min unsat cost LB: 73960 ... c Min unsat cost LB: 73961 ... c Min unsat cost LB: 73964 ... c Min unsat cost LB: 73965 ... c Min unsat cost LB: 73966 ... c Min unsat cost LB: 73971 ... c Min unsat cost LB: 73972 ... c Min unsat cost LB: 73975 ... c Min unsat cost LB: 73977 ... c Min unsat cost LB: 73978 ... c Min unsat cost LB: 73979 ... c Min unsat cost LB: 73980 ... c Min unsat cost LB: 73981 ... c Min unsat cost LB: 73982 ... c Min unsat cost LB: 73984 ... c Min unsat cost LB: 73985 ... c Min unsat cost LB: 73987 ... c Min unsat cost LB: 73988 ... c Min unsat cost LB: 73989 ... c Min unsat cost LB: 73991 ... c Min unsat cost LB: 73992 ... c Min unsat cost LB: 73993 ... c Min unsat cost LB: 73994 ... c Min unsat cost LB: 73995 ... c Min unsat cost LB: 73996 ... c Min unsat cost LB: 73997 ... c Min unsat cost LB: 73998 ... c Min unsat cost LB: 73999 ... c Min unsat cost LB: 74000 ... c Min unsat cost LB: 74001 ... c Min unsat cost LB: 74033 ... c Min unsat cost LB: 74034 ... c Min unsat cost LB: 74038 ... c Min unsat cost LB: 74085 ... c Min unsat cost LB: 74095 ... c Min unsat cost LB: 74161 ... c Min unsat cost LB: 74167 ... c Min unsat cost LB: 74171 ... c Min unsat cost LB: 74172 ... c Min unsat cost LB: 74189 ... c Min unsat cost LB: 74244 ... c Min unsat cost LB: 74356 ... c Min unsat cost LB: 74362 ... c Min unsat cost LB: 74363 ... c Min unsat cost LB: 74380 ... c Min unsat cost LB: 74384 ... c Min unsat cost LB: 74474 ... c Min unsat cost LB: 74475 ... c Min unsat cost LB: 74476 ... c Min unsat cost LB: 74478 ... c Min unsat cost LB: 74479 ... c Min unsat cost LB: 74480 ... c Min unsat cost LB: 74481 ... c Min unsat cost LB: 74482 ... c Min unsat cost LB: 74483 ... c Min unsat cost LB: 74484 ... c Min unsat cost LB: 74485 ... c Min unsat cost LB: 74486 ... c Min unsat cost LB: 74487 ... c Min unsat cost LB: 74488 ... c Min unsat cost LB: 74489 ... c Min unsat cost LB: 74490 ... c Min unsat cost LB: 74491 ... c Min unsat cost LB: 74492 ... c Min unsat cost LB: 74493 ... c Min unsat cost LB: 74494 ... c Min unsat cost LB: 74495 ... c Min unsat cost LB: 74496 ... c Min unsat cost LB: 74499 ... c Min unsat cost LB: 74506 ... c Min unsat cost LB: 74508 ... c Min unsat cost LB: 74516 ... c Min unsat cost LB: 74605 ... c Min unsat cost LB: 74606 ... c Min unsat cost LB: 74607 ... c Min unsat cost LB: 74608 ... c Min unsat cost LB: 74609 ... c Min unsat cost LB: 74610 ... c Min unsat cost LB: 74611 ... c Min unsat cost LB: 74612 ... c Min unsat cost LB: 74613 ... c Min unsat cost LB: 74614 ... c Min unsat cost LB: 74615 ... c Min unsat cost LB: 74616 ... c Min unsat cost LB: 74617 ... c Min unsat cost LB: 74618 ... c Min unsat cost LB: 74620 ... c Min unsat cost LB: 74621 ... c Min unsat cost LB: 74622 ... c Min unsat cost LB: 74623 ... c Min unsat cost LB: 74624 ... c Min unsat cost LB: 74625 ... c Min unsat cost LB: 74646 ... c Min unsat cost LB: 74649 ... c Min unsat cost LB: 74650 ... c Min unsat cost LB: 74651 ... c Min unsat cost LB: 74658 ... c Min unsat cost LB: 74660 ... c Min unsat cost LB: 74670 ... c Min unsat cost LB: 74671 ... c Min unsat cost LB: 74672 ... c Min unsat cost LB: 74673 ... c Min unsat cost LB: 74674 ... c Min unsat cost LB: 74675 ... c Min unsat cost LB: 74679 ... c Min unsat cost LB: 74899 ... c Min unsat cost LB: 75096 ... c Min unsat cost LB: 75097 ... c Min unsat cost LB: 75098 ... c Min unsat cost LB: 75099 ... c Min unsat cost LB: 75100 ... c Min unsat cost LB: 75108 ... c Min unsat cost LB: 75114 ... c Min unsat cost LB: 75115 ... c Min unsat cost LB: 75118 ... c Min unsat cost LB: 75120 ... c Min unsat cost LB: 75121 ... c Min unsat cost LB: 75122 ... c Min unsat cost LB: 75123 ... c Min unsat cost LB: 75124 ... c Min unsat cost LB: 75128 ... c Min unsat cost LB: 75129 ... c Min unsat cost LB: 75130 ... c Min unsat cost LB: 75131 ... c Min unsat cost LB: 75132 ... c Min unsat cost LB: 75133 ... c Min unsat cost LB: 75134 ... c Min unsat cost LB: 75135 ... c Min unsat cost LB: 75136 ... c Min unsat cost LB: 75137 ... c Min unsat cost LB: 75138 ... c Min unsat cost LB: 75139 ... c Min unsat cost LB: 75140 ... c Min unsat cost LB: 75238 ... c Min unsat cost LB: 75249 ... c Min unsat cost LB: 75253 ... c Min unsat cost LB: 75260 ... c Min unsat cost LB: 75264 ... c Min unsat cost LB: 75275 ... c Min unsat cost LB: 75286 ... c Min unsat cost LB: 75290 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75526 ... c Min unsat cost LB: 75530 ... c Min unsat cost LB: 75534 ... c Min unsat cost LB: 75537 ... c Min unsat cost LB: 75538 ... c Min unsat cost LB: 75540 ... c Min unsat cost LB: 75541 ... c Min unsat cost LB: 75542 ... c Min unsat cost LB: 75543 ... c Min unsat cost LB: 75544 ... c Min unsat cost LB: 75545 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75547 ... c Min unsat cost LB: 75548 ... c Min unsat cost LB: 75551 ... c Min unsat cost LB: 75552 ... c Min unsat cost LB: 75553 ... c Min unsat cost LB: 75554 ... c Min unsat cost LB: 75572 ... c Min unsat cost LB: 75713 ... c Min unsat cost LB: 75714 ... c Min unsat cost LB: 75787 ... c Min unsat cost LB: 75806 ... c Min unsat cost LB: 75894 ... c Min unsat cost LB: 76012 ... c Min unsat cost LB: 76013 ... c Min unsat cost LB: 76014 ... c Min unsat cost LB: 76019 ... c Min unsat cost LB: 76021 ... c Min unsat cost LB: 76022 ... c Min unsat cost LB: 76024 ... c Min unsat cost LB: 76025 ... c Min unsat cost LB: 76026 ... c Min unsat cost LB: 76027 ... c Min unsat cost LB: 76028 ... c Min unsat cost LB: 76097 ... c Min unsat cost LB: 76098 ... c Min unsat cost LB: 76099 ... c Min unsat cost LB: 76100 ... c Min unsat cost LB: 76101 ... c Min unsat cost LB: 76102 ... c Min unsat cost LB: 76103 ... c Min unsat cost LB: 76104 ... c Min unsat cost LB: 76105 ... c Min unsat cost LB: 76106 ... c Min unsat cost LB: 76107 ... c Min unsat cost LB: 76119 ... c Min unsat cost LB: 76120 ... c Min unsat cost LB: 76121 ... c Min unsat cost LB: 76122 ... c Min unsat cost LB: 76123 ... c Min unsat cost LB: 76238 ... c Min unsat cost LB: 76279 ... c Min unsat cost LB: 76280 ... c Min unsat cost LB: 76281 ... c Min unsat cost LB: 76288 ... c Min unsat cost LB: 76298 ... c Min unsat cost LB: 76309 ... c Min unsat cost LB: 76315 ... c Min unsat cost LB: 76316 ... c Min unsat cost LB: 76356 ... c Min unsat cost LB: 76358 ... c Min unsat cost LB: 76359 ... c Min unsat cost LB: 76361 ... c Min unsat cost LB: 76456 ... c Min unsat cost LB: 76457 ... c Min unsat cost LB: 76483 ... c Min unsat cost LB: 76494 ... c Min unsat cost LB: 76495 ... c Min unsat cost LB: 76500 ... c Min unsat cost LB: 76503 ... c Min unsat cost LB: 76504 ... c Min unsat cost LB: 76505 ... c Min unsat cost LB: 76506 ... c Min unsat cost LB: 76508 ... c Min unsat cost LB: 76512 ... c Min unsat cost LB: 76513 ... c Min unsat cost LB: 76516 ... c Min unsat cost LB: 76518 ... c Min unsat cost LB: 76521 ... c Min unsat cost LB: 76547 ... c Min unsat cost LB: 76562 ... c Min unsat cost LB: 76565 ... c Min unsat cost LB: 76566 ... c Min unsat cost LB: 76576 ... c Min unsat cost LB: 76579 ... c Min unsat cost LB: 76580 ... c Min unsat cost LB: 76583 ... c Min unsat cost LB: 76586 ... c Min unsat cost LB: 76587 ... c Min unsat cost LB: 76596 ... c Min unsat cost LB: 76597 ... c Min unsat cost LB: 76598 ... c Min unsat cost LB: 76599 ... c Min unsat cost LB: 76600 ... c Min unsat cost LB: 76601 ... c Min unsat cost LB: 76604 ... c Min unsat cost LB: 76605 ... c Min unsat cost LB: 76607 ... c Min unsat cost LB: 76608 ... c Min unsat cost LB: 76609 ... c Min unsat cost LB: 76610 ... c Min unsat cost LB: 76611 ... c Min unsat cost LB: 76612 ... c Min unsat cost LB: 76613 ... c Min unsat cost LB: 76614 ... c Min unsat cost LB: 76615 ... c Min unsat cost LB: 76616 ... c Min unsat cost LB: 76617 ... c Min unsat cost LB: 76618 ... c Min unsat cost LB: 76619 ... c Min unsat cost LB: 76636 ... c Min unsat cost LB: 76637 ... c Min unsat cost LB: 76639 ... c Min unsat cost LB: 76640 ... c Min unsat cost LB: 76641 ... c Min unsat cost LB: 76643 ... c Min unsat cost LB: 76644 ... c Min unsat cost LB: 76646 ... c Min unsat cost LB: 76653 ... c Min unsat cost LB: 76667 ... c Min unsat cost LB: 76668 ... c Min unsat cost LB: 76669 ... c Min unsat cost LB: 76670 ... c Min unsat cost LB: 76671 ... c Min unsat cost LB: 76672 ... c Min unsat cost LB: 76673 ... c Min unsat cost LB: 76674 ... c Min unsat cost LB: 76675 ... c Min unsat cost LB: 76677 ... c Min unsat cost LB: 76678 ... c Min unsat cost LB: 76679 ... c Min unsat cost LB: 76680 ... c Min unsat cost LB: 76681 ... c Min unsat cost LB: 76682 ... c Min unsat cost LB: 76683 ... c Min unsat cost LB: 76684 ... c Min unsat cost LB: 76685 ... c Min unsat cost LB: 76686 ... c Min unsat cost LB: 76687 ... c Min unsat cost LB: 76688 ... c Min unsat cost LB: 76689 ... c Min unsat cost LB: 76690 ... c Min unsat cost LB: 76691 ... c Min unsat cost LB: 76692 ... c Min unsat cost LB: 76693 ... c Min unsat cost LB: 76694 ... c Min unsat cost LB: 76695 ... c Min unsat cost LB: 76699 ... c Min unsat cost LB: 76700 ... c Min unsat cost LB: 76701 ... c Min unsat cost LB: 76702 ... c Min unsat cost LB: 76703 ... c Min unsat cost LB: 76704 ... c Min unsat cost LB: 76705 ... c Min unsat cost LB: 76706 ... c Min unsat cost LB: 76715 ... c Min unsat cost LB: 76723 ... c Min unsat cost LB: 76731 ... c Min unsat cost LB: 76732 ... c Min unsat cost LB: 76737 ... c Min unsat cost LB: 76741 ... c Min unsat cost LB: 76748 ... c Min unsat cost LB: 76750 ... c Min unsat cost LB: 76753 ... c Min unsat cost LB: 76761 ... c Min unsat cost LB: 76762 ... c Min unsat cost LB: 76777 ... c Min unsat cost LB: 76780 ... c Min unsat cost LB: 76782 ... c Min unsat cost LB: 76786 ... c Min unsat cost LB: 76792 ... c Min unsat cost LB: 76799 ... c Min unsat cost LB: 76802 ... c Min unsat cost LB: 76815 ... c Min unsat cost LB: 76847 ... c Min unsat cost LB: 76848 ... c Min unsat cost LB: 76850 ... c Min unsat cost LB: 76854 ... c Min unsat cost LB: 76858 ... c Min unsat cost LB: 76859 ... c Min unsat cost LB: 76860 ... c Min unsat cost LB: 76861 ... c Min unsat cost LB: 76862 ... c Min unsat cost LB: 76870 ... c Min unsat cost LB: 76874 ... c Min unsat cost LB: 76875 ... c Min unsat cost LB: 76876 ... c Min unsat cost LB: 76877 ... c Min unsat cost LB: 76878 ... c Min unsat cost LB: 76879 ... c Min unsat cost LB: 76882 ... c Min unsat cost LB: 76885 ... c Min unsat cost LB: 76891 ... c Min unsat cost LB: 76892 ... c Min unsat cost LB: 76902 ... c Min unsat cost LB: 76903 ... c Min unsat cost LB: 76910 ... c Min unsat cost LB: 76911 ... c Min unsat cost LB: 76913 ... c Min unsat cost LB: 76914 ... c Min unsat cost LB: 76915 ... c Min unsat cost LB: 76916 ... c Min unsat cost LB: 76917 ... c Min unsat cost LB: 76918 ... c Min unsat cost LB: 76921 ... c Min unsat cost LB: 76922 ... c Min unsat cost LB: 76923 ... c Min unsat cost LB: 76924 ... c Min unsat cost LB: 76925 ... c Min unsat cost LB: 76926 ... c Min unsat cost LB: 76927 ... c Min unsat cost LB: 76928 ... c Min unsat cost LB: 76929 ... c Min unsat cost LB: 76930 ... c Min unsat cost LB: 76931 ... c Min unsat cost LB: 76932 ... c Min unsat cost LB: 76933 ... c Min unsat cost LB: 76934 ... c Min unsat cost LB: 76935 ... c Min unsat cost LB: 76936 ... c Min unsat cost LB: 76937 ... c Min unsat cost LB: 76938 ... c Min unsat cost LB: 76939 ... c Min unsat cost LB: 76940 ... c Min unsat cost LB: 76941 ... c Min unsat cost LB: 76942 ... c Min unsat cost LB: 76943 ... c Min unsat cost LB: 76944 ... c Min unsat cost LB: 76945 ... c Min unsat cost LB: 76946 ... c Min unsat cost LB: 76947 ... c Min unsat cost LB: 76948 ... c Min unsat cost LB: 76949 ... c Min unsat cost LB: 76950 ... c Min unsat cost LB: 76951 ... c Min unsat cost LB: 76952 ... c Min unsat cost LB: 76953 ... c Min unsat cost LB: 76954 ... c Min unsat cost LB: 76955 ... c Min unsat cost LB: 76956 ... c Min unsat cost LB: 76957 ... c Min unsat cost LB: 76958 ... c Min unsat cost LB: 76959 ... c Min unsat cost LB: 76960 ... c Min unsat cost LB: 76961 ... c Min unsat cost LB: 76962 ... c Min unsat cost LB: 76963 ... c Min unsat cost LB: 76964 ... c Min unsat cost LB: 76965 ... c Min unsat cost LB: 76966 ... c Min unsat cost LB: 76967 ... c Min unsat cost LB: 76968 ... c Min unsat cost LB: 76974 ... c Min unsat cost LB: 76975 ... c Min unsat cost LB: 76976 ... c Min unsat cost LB: 76977 ... c Min unsat cost LB: 76978 ... c Min unsat cost LB: 76979 ... c Min unsat cost LB: 76980 ... c Min unsat cost LB: 76981 ... c Min unsat cost LB: 76982 ... c Min unsat cost LB: 76983 ... c Min unsat cost LB: 76984 ... c Min unsat cost LB: 76985 ... c Min unsat cost LB: 76986 ... c Min unsat cost LB: 76987 ... c Min unsat cost LB: 76988 ... c Min unsat cost LB: 76989 ... c Min unsat cost LB: 76990 ... c Min unsat cost LB: 77004 ... c Min unsat cost LB: 77011 ... c Min unsat cost LB: 77016 ... c Min unsat cost LB: 77017 ... c Min unsat cost LB: 77018 ... c Min unsat cost LB: 77019 ... c Min unsat cost LB: 77020 ... c Min unsat cost LB: 77021 ... c Min unsat cost LB: 77022 ... c Min unsat cost LB: 77023 ... c Min unsat cost LB: 77024 ... c Min unsat cost LB: 77025 ... c Min unsat cost LB: 77026 ... c Min unsat cost LB: 77042 ... c Min unsat cost LB: 77048 ... c Min unsat cost LB: 77201 ... c Min unsat cost LB: 77215 ... c Min unsat cost LB: 77216 ... c Min unsat cost LB: 77219 ... c Min unsat cost LB: 77266 ... c Min unsat cost LB: 77288 ... c Min unsat cost LB: 77289 ... c Min unsat cost LB: 77293 ... c Min unsat cost LB: 77297 ... c Min unsat cost LB: 77323 ... c Min unsat cost LB: 77324 ... c Min unsat cost LB: 77368 ... c Min unsat cost LB: 77372 ... c Min unsat cost LB: 77373 ... c Min unsat cost LB: 77375 ... c Min unsat cost LB: 77398 ... c Min unsat cost LB: 77402 ... c Min unsat cost LB: 77403 ... c Min unsat cost LB: 77406 ... c Min unsat cost LB: 77407 ... c Min unsat cost LB: 77412 ... c Min unsat cost LB: 77415 ... c Min unsat cost LB: 77416 ... c Min unsat cost LB: 77417 ... c Min unsat cost LB: 77418 ... c Min unsat cost LB: 77419 ... c Min unsat cost LB: 77440 ... c Min unsat cost LB: 77441 ... c Min unsat cost LB: 77443 ... c Min unsat cost LB: 77444 ... c Min unsat cost LB: 77445 ... c Min unsat cost LB: 77446 ... c Min unsat cost LB: 77447 ... c Min unsat cost LB: 77448 ... c Min unsat cost LB: 77450 ... c Min unsat cost LB: 77451 ... c Min unsat cost LB: 77452 ... c Min unsat cost LB: 77453 ... c Min unsat cost LB: 77454 ... c Min unsat cost LB: 77455 ... c Min unsat cost LB: 77457 ... c Min unsat cost LB: 77458 ... c Min unsat cost LB: 77459 ... c Min unsat cost LB: 77460 ... c Min unsat cost LB: 77461 ... c Min unsat cost LB: 77462 ... c Min unsat cost LB: 77463 ... c Min unsat cost LB: 77464 ... c Min unsat cost LB: 77466 ... c Min unsat cost LB: 77480 ... c Min unsat cost LB: 77481 ... c Min unsat cost LB: 77483 ... c Min unsat cost LB: 77484 ... c Min unsat cost LB: 77485 ... c Min unsat cost LB: 77486 ... c Min unsat cost LB: 77487 ... c Min unsat cost LB: 77488 ... c Min unsat cost LB: 77489 ... c Min unsat cost LB: 77491 ... c Min unsat cost LB: 77492 ... c Min unsat cost LB: 77494 ... c Min unsat cost LB: 77496 ... c Min unsat cost LB: 77497 ... c Min unsat cost LB: 77498 ... c Min unsat cost LB: 77499 ... c Min unsat cost LB: 77500 ... c Min unsat cost LB: 77501 ... c Min unsat cost LB: 77502 ... c Min unsat cost LB: 77503 ... c Min unsat cost LB: 77504 ... c Min unsat cost LB: 77505 ... c Min unsat cost LB: 77506 ... c Min unsat cost LB: 77507 ... c Min unsat cost LB: 77508 ... c Min unsat cost LB: 77509 ... c Min unsat cost LB: 77510 ... c Min unsat cost LB: 77511 ... c Min unsat cost LB: 77512 ... c Min unsat cost LB: 77513 ... c Min unsat cost LB: 77514 ... c Min unsat cost LB: 77515 ... c Min unsat cost LB: 77521 ... c Min unsat cost LB: 77522 ... c Min unsat cost LB: 77526 ... c Min unsat cost LB: 77537 ... c Min unsat cost LB: 77547 ... c Min unsat cost LB: 77548 ... c Min unsat cost LB: 77553 ... c Min unsat cost LB: 77554 ... c Min unsat cost LB: 77555 ... c Min unsat cost LB: 77596 ... c Min unsat cost LB: 77610 ... c Min unsat cost LB: 77611 ... c Min unsat cost LB: 77612 ... c Min unsat cost LB: 77613 ... c Min unsat cost LB: 77614 ... c Min unsat cost LB: 77615 ... c Min unsat cost LB: 77616 ... c Min unsat cost LB: 77617 ... c Min unsat cost LB: 77618 ... c Min unsat cost LB: 77619 ... c Min unsat cost LB: 77620 ... c Min unsat cost LB: 77621 ... c Min unsat cost LB: 77622 ... c Min unsat cost LB: 77623 ... c Min unsat cost LB: 77624 ... c Min unsat cost LB: 77625 ... c Min unsat cost LB: 77626 ... c Min unsat cost LB: 77627 ... c Min unsat cost LB: 77628 ... c Min unsat cost LB: 77632 ... c Min unsat cost LB: 77687 ... c Min unsat cost LB: 77691 ... c Min unsat cost LB: 77718 ... c Min unsat cost LB: 77719 ... c Min unsat cost LB: 77720 ... c Min unsat cost LB: 77721 ... c Min unsat cost LB: 77722 ... c Min unsat cost LB: 77723 ... c Min unsat cost LB: 77729 ... c Min unsat cost LB: 77735 ... c Min unsat cost LB: 77736 ... c Min unsat cost LB: 77737 ... c Min unsat cost LB: 77743 ... c Min unsat cost LB: 77744 ... c Min unsat cost LB: 77760 ... c Min unsat cost LB: 77761 ... c Min unsat cost LB: 77772 ... c Min unsat cost LB: 77773 ... c Min unsat cost LB: 77774 ... c Min unsat cost LB: 77775 ... c Min unsat cost LB: 77776 ... c Min unsat cost LB: 77777 ... c Min unsat cost LB: 77778 ... c Min unsat cost LB: 77779 ... c Min unsat cost LB: 77780 ... c Min unsat cost LB: 77781 ... c Min unsat cost LB: 77782 ... c Min unsat cost LB: 77783 ... c Min unsat cost LB: 77784 ... c Min unsat cost LB: 77785 ... c Min unsat cost LB: 77788 ... c Min unsat cost LB: 77789 ... c Min unsat cost LB: 77790 ... c Min unsat cost LB: 77794 ... c Min unsat cost LB: 77795 ... c Min unsat cost LB: 77796 ... c Min unsat cost LB: 77797 ... c Min unsat cost LB: 77798 ... c Min unsat cost LB: 77799 ... c Min unsat cost LB: 77800 ... c Min unsat cost LB: 77801 ... c Min unsat cost LB: 77802 ... c Min unsat cost LB: 77803 ... c Min unsat cost LB: 77804 ... c Min unsat cost LB: 77859 ... c Min unsat cost LB: 77860 ... c Min unsat cost LB: 77861 ... c Min unsat cost LB: 77862 ... c Min unsat cost LB: 77863 ... c Min unsat cost LB: 77864 ... c Min unsat cost LB: 77865 ... c Min unsat cost LB: 77866 ... c Min unsat cost LB: 77867 ... c Min unsat cost LB: 77868 ... c Min unsat cost LB: 77869 ... c Min unsat cost LB: 77870 ... c Min unsat cost LB: 77871 ... c Min unsat cost LB: 77872 ... c Min unsat cost LB: 77873 ... c Min unsat cost LB: 77874 ... c Min unsat cost LB: 77875 ... c Min unsat cost LB: 77876 ... c Min unsat cost LB: 77877 ... c Min unsat cost LB: 77878 ... c Min unsat cost LB: 77880 ... c Min unsat cost LB: 77881 ... c Min unsat cost LB: 77882 ... c Min unsat cost LB: 77883 ... c Min unsat cost LB: 77884 ... c Min unsat cost LB: 77885 ... c Min unsat cost LB: 77886 ... c Min unsat cost LB: 77887 ... c Min unsat cost LB: 77889 ... c Min unsat cost LB: 77891 ... c Min unsat cost LB: 77892 ... c Min unsat cost LB: 77893 ... c Min unsat cost LB: 77894 ... c Min unsat cost LB: 77896 ... c Min unsat cost LB: 77897 ... c Min unsat cost LB: 77898 ... c Min unsat cost LB: 77899 ... c Min unsat cost LB: 77900 ... c Min unsat cost LB: 77901 ... c Min unsat cost LB: 77902 ... c Min unsat cost LB: 77903 ... c Min unsat cost LB: 77904 ... c Min unsat cost LB: 77905 ... c Min unsat cost LB: 77906 ... c Min unsat cost LB: 77907 ... c Min unsat cost LB: 77908 ... c Min unsat cost LB: 77909 ... c Min unsat cost LB: 77910 ... c Min unsat cost LB: 77911 ... c Min unsat cost LB: 77914 ... c Min unsat cost LB: 77915 ... c Min unsat cost LB: 77916 ... c Min unsat cost LB: 77917 ... c Min unsat cost LB: 77918 ... c Min unsat cost LB: 77919 ... c Min unsat cost LB: 77920 ... c Min unsat cost LB: 77921 ... c Min unsat cost LB: 77922 ... c Min unsat cost LB: 77923 ... c Min unsat cost LB: 77924 ... c Min unsat cost LB: 77925 ... c Min unsat cost LB: 77926 ... c Min unsat cost LB: 77927 ... c Min unsat cost LB: 77928 ... c Min unsat cost LB: 77929 ... c Min unsat cost LB: 77930 ... c Min unsat cost LB: 77931 ... c Min unsat cost LB: 77932 ... c Min unsat cost LB: 77933 ... c Min unsat cost LB: 77934 ... c Min unsat cost LB: 77935 ... c Min unsat cost LB: 77936 ... c Min unsat cost LB: 77937 ... c Min unsat cost LB: 77938 ... c Min unsat cost LB: 77939 ... c Min unsat cost LB: 77940 ... c Min unsat cost LB: 77941 ... c Min unsat cost LB: 77942 ... c Min unsat cost LB: 77943 ... c Min unsat cost LB: 77944 ... c Min unsat cost LB: 77945 ... c Min unsat cost LB: 77946 ... c Min unsat cost LB: 77947 ... c Min unsat cost LB: 77948 ... c Min unsat cost LB: 77949 ... c Min unsat cost LB: 77950 ... c Min unsat cost LB: 77951 ... c Min unsat cost LB: 77952 ... c Min unsat cost LB: 77953 ... c Min unsat cost LB: 77954 ... c Min unsat cost LB: 77955 ... c Min unsat cost LB: 77956 ... c Min unsat cost LB: 77957 ... c Min unsat cost LB: 77958 ... c Min unsat cost LB: 77959 ... c Min unsat cost LB: 77960 ... c Min unsat cost LB: 77961 ... c Min unsat cost LB: 77962 ... c Min unsat cost LB: 77963 ... c Min unsat cost LB: 77964 ... c Min unsat cost LB: 77965 ... c Min unsat cost LB: 77966 ... c Min unsat cost LB: 77967 ... c Min unsat cost LB: 77968 ... c Min unsat cost LB: 77969 ... c Min unsat cost LB: 77970 ... c Min unsat cost LB: 77971 ... c Min unsat cost LB: 77972 ... c Min unsat cost LB: 77973 ... c Min unsat cost LB: 77974 ... c Min unsatKilled 1816.109u 3.633s 30:23.44 99.7% 0+0k 0+0io 0pf+0w