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_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_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_160_0005.txt.wcnf *** c c Min unsat cost LB: 418 ... c Min unsat cost LB: 920 ... c Min unsat cost LB: 1422 ... c Min unsat cost LB: 1924 ... c Min unsat cost LB: 2342 ... c Min unsat cost LB: 2844 ... c Min unsat cost LB: 2928 ... c Min unsat cost LB: 2943 ... c Min unsat cost LB: 3821 ... c Min unsat cost LB: 4323 ... c Min unsat cost LB: 5413 ... c Min unsat cost LB: 5900 ... c Min unsat cost LB: 6112 ... c Min unsat cost LB: 6291 ... c Min unsat cost LB: 7381 ... c Min unsat cost LB: 8259 ... c Min unsat cost LB: 9349 ... c Min unsat cost LB: 9851 ... c Min unsat cost LB: 10353 ... c Min unsat cost LB: 10729 ... c Min unsat cost LB: 11147 ... c Min unsat cost LB: 11607 ... c Min unsat cost LB: 11640 ... c Min unsat cost LB: 12730 ... c Min unsat cost LB: 13318 ... c Min unsat cost LB: 13820 ... c Min unsat cost LB: 14698 ... c Min unsat cost LB: 15576 ... c Min unsat cost LB: 16666 ... c Min unsat cost LB: 16845 ... c Min unsat cost LB: 17935 ... c Min unsat cost LB: 18565 ... c Min unsat cost LB: 19067 ... c Min unsat cost LB: 20157 ... c Min unsat cost LB: 21035 ... c Min unsat cost LB: 21247 ... c Min unsat cost LB: 21375 ... c Min unsat cost LB: 22337 ... c Min unsat cost LB: 22465 ... c Min unsat cost LB: 23343 ... c Min unsat cost LB: 24221 ... c Min unsat cost LB: 24257 ... c Min unsat cost LB: 24633 ... c Min unsat cost LB: 25723 ... c Min unsat cost LB: 26634 ... c Min unsat cost LB: 27512 ... c Min unsat cost LB: 27691 ... c Min unsat cost LB: 28781 ... c Min unsat cost LB: 29659 ... c Min unsat cost LB: 30537 ... c Min unsat cost LB: 30881 ... c Min unsat cost LB: 31759 ... c Min unsat cost LB: 32103 ... c Min unsat cost LB: 32981 ... c Min unsat cost LB: 33171 ... c Min unsat cost LB: 34261 ... c Min unsat cost LB: 34473 ... c Min unsat cost LB: 34785 ... c Min unsat cost LB: 35663 ... c Min unsat cost LB: 35696 ... c Min unsat cost LB: 36040 ... c Min unsat cost LB: 36918 ... c Min unsat cost LB: 37262 ... c Min unsat cost LB: 38140 ... c Min unsat cost LB: 39018 ... c Min unsat cost LB: 39896 ... c Min unsat cost LB: 40072 ... c Min unsat cost LB: 40950 ... c Min unsat cost LB: 41162 ... c Min unsat cost LB: 41506 ... c Min unsat cost LB: 41590 ... c Min unsat cost LB: 41780 ... c Min unsat cost LB: 41934 ... c Min unsat cost LB: 42278 ... c Min unsat cost LB: 42827 ... c Min unsat cost LB: 43039 ... c Min unsat cost LB: 43261 ... c Min unsat cost LB: 43473 ... c Min unsat cost LB: 44031 ... c Min unsat cost LB: 44153 ... c Min unsat cost LB: 44923 ... c Min unsat cost LB: 45031 ... c Min unsat cost LB: 45375 ... c Min unsat cost LB: 46145 ... c Min unsat cost LB: 46647 ... c Min unsat cost LB: 46991 ... c Min unsat cost LB: 47213 ... c Min unsat cost LB: 47386 ... c Min unsat cost LB: 47508 ... c Min unsat cost LB: 47837 ... c Min unsat cost LB: 48327 ... c Min unsat cost LB: 48671 ... c Min unsat cost LB: 48703 ... c Min unsat cost LB: 49244 ... c Min unsat cost LB: 49776 ... c Min unsat cost LB: 50120 ... c Min unsat cost LB: 50464 ... c Min unsat cost LB: 51022 ... c Min unsat cost LB: 51580 ... c Min unsat cost LB: 51792 ... c Min unsat cost LB: 51980 ... c Min unsat cost LB: 52465 ... c Min unsat cost LB: 52967 ... c Min unsat cost LB: 53281 ... c Min unsat cost LB: 53625 ... c Min unsat cost LB: 53798 ... c Min unsat cost LB: 53830 ... c Min unsat cost LB: 54218 ... c Min unsat cost LB: 54703 ... c Min unsat cost LB: 55023 ... c Min unsat cost LB: 55226 ... c Min unsat cost LB: 55414 ... c Min unsat cost LB: 55525 ... c Min unsat cost LB: 55728 ... c Min unsat cost LB: 55931 ... c Min unsat cost LB: 56027 ... c Min unsat cost LB: 56185 ... c Min unsat cost LB: 56200 ... c Min unsat cost LB: 56529 ... c Min unsat cost LB: 56687 ... c Min unsat cost LB: 56732 ... c Min unsat cost LB: 57076 ... c Min unsat cost LB: 57150 ... c Min unsat cost LB: 57264 ... c Min unsat cost LB: 57494 ... c Min unsat cost LB: 57511 ... c Min unsat cost LB: 58013 ... c Min unsat cost LB: 58121 ... c Min unsat cost LB: 58250 ... c Min unsat cost LB: 58262 ... c Min unsat cost LB: 58376 ... c Min unsat cost LB: 58866 ... c Min unsat cost LB: 58869 ... c Min unsat cost LB: 59326 ... c Min unsat cost LB: 59448 ... c Min unsat cost LB: 59505 ... c Min unsat cost LB: 59670 ... c Min unsat cost LB: 59792 ... c Min unsat cost LB: 59810 ... c Min unsat cost LB: 59849 ... c Min unsat cost LB: 59910 ... c Min unsat cost LB: 59982 ... c Min unsat cost LB: 60198 ... c Min unsat cost LB: 60215 ... c Min unsat cost LB: 60254 ... c Min unsat cost LB: 60312 ... c Min unsat cost LB: 60366 ... c Min unsat cost LB: 60756 ... c Min unsat cost LB: 60801 ... c Min unsat cost LB: 60883 ... c Min unsat cost LB: 60922 ... c Min unsat cost LB: 60983 ... c Min unsat cost LB: 61199 ... c Min unsat cost LB: 61271 ... c Min unsat cost LB: 61289 ... c Min unsat cost LB: 61368 ... c Min unsat cost LB: 61400 ... c Min unsat cost LB: 61411 ... c Min unsat cost LB: 61428 ... c Min unsat cost LB: 61460 ... c Min unsat cost LB: 61614 ... c Min unsat cost LB: 61653 ... c Min unsat cost LB: 61811 ... c Min unsat cost LB: 61843 ... c Min unsat cost LB: 61934 ... c Min unsat cost LB: 61951 ... c Min unsat cost LB: 61963 ... c Min unsat cost LB: 62092 ... c Min unsat cost LB: 62200 ... c Min unsat cost LB: 62276 ... c Min unsat cost LB: 62369 ... c Min unsat cost LB: 62503 ... c Min unsat cost LB: 62543 ... c Min unsat cost LB: 62617 ... c Min unsat cost LB: 62753 ... c Min unsat cost LB: 62768 ... c Min unsat cost LB: 62790 ... c Min unsat cost LB: 62815 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 62849 ... c Min unsat cost LB: 63046 ... c Min unsat cost LB: 63334 ... c Min unsat cost LB: 63456 ... c Min unsat cost LB: 63628 ... c Min unsat cost LB: 63831 ... c Min unsat cost LB: 63924 ... c Min unsat cost LB: 64008 ... c Min unsat cost LB: 64342 ... c Min unsat cost LB: 64367 ... c Min unsat cost LB: 64579 ... c Min unsat cost LB: 64612 ... c Min unsat cost LB: 64836 ... c Min unsat cost LB: 65048 ... c Min unsat cost LB: 65260 ... c Min unsat cost LB: 65368 ... c Min unsat cost LB: 65373 ... c Min unsat cost LB: 65457 ... c Min unsat cost LB: 65636 ... c Min unsat cost LB: 65674 ... c Min unsat cost LB: 65682 ... c Min unsat cost LB: 65797 ... c Min unsat cost LB: 66346 ... c Min unsat cost LB: 66443 ... c Min unsat cost LB: 66527 ... c Min unsat cost LB: 66675 ... c Min unsat cost LB: 66711 ... c Min unsat cost LB: 66816 ... c Min unsat cost LB: 66856 ... c Min unsat cost LB: 66887 ... c Min unsat cost LB: 66905 ... c Min unsat cost LB: 67392 ... c Min unsat cost LB: 67407 ... c Min unsat cost LB: 67422 ... c Min unsat cost LB: 67432 ... c Min unsat cost LB: 67476 ... c Min unsat cost LB: 67563 ... c Min unsat cost LB: 67741 ... c Min unsat cost LB: 67765 ... c Min unsat cost LB: 67811 ... c Min unsat cost LB: 67906 ... c Min unsat cost LB: 67920 ... c Min unsat cost LB: 67952 ... c Min unsat cost LB: 67967 ... c Min unsat cost LB: 68048 ... c Min unsat cost LB: 68159 ... c Min unsat cost LB: 68172 ... c Min unsat cost LB: 68498 ... c Min unsat cost LB: 68785 ... c Min unsat cost LB: 68893 ... c Min unsat cost LB: 69010 ... c Min unsat cost LB: 69343 ... c Min unsat cost LB: 69395 ... c Min unsat cost LB: 70146 ... c Min unsat cost LB: 70322 ... c Min unsat cost LB: 70375 ... c Min unsat cost LB: 70485 ... c Min unsat cost LB: 70486 ... c Min unsat cost LB: 70522 ... c Min unsat cost LB: 70534 ... c Min unsat cost LB: 70606 ... c Min unsat cost LB: 71332 ... c Min unsat cost LB: 71383 ... c Min unsat cost LB: 71908 ... c Min unsat cost LB: 71937 ... c Min unsat cost LB: 71965 ... c Min unsat cost LB: 72034 ... c Min unsat cost LB: 72144 ... c Min unsat cost LB: 72817 ... c Min unsat cost LB: 72843 ... c Min unsat cost LB: 72893 ... c Min unsat cost LB: 72992 ... c Min unsat cost LB: 73010 ... c Min unsat cost LB: 73021 ... c Min unsat cost LB: 73053 ... c Min unsat cost LB: 73100 ... c Min unsat cost LB: 73254 ... c Min unsat cost LB: 73407 ... c Min unsat cost LB: 73533 ... c Min unsat cost LB: 73604 ... c Min unsat cost LB: 73607 ... c Min unsat cost LB: 73635 ... c Min unsat cost LB: 73663 ... c Min unsat cost LB: 73769 ... c Min unsat cost LB: 73771 ... c Min unsat cost LB: 73843 ... c Min unsat cost LB: 74033 ... c Min unsat cost LB: 74201 ... c Min unsat cost LB: 74218 ... c Min unsat cost LB: 74385 ... c Min unsat cost LB: 74393 ... c Min unsat cost LB: 74400 ... c Min unsat cost LB: 74407 ... c Min unsat cost LB: 74806 ... c Min unsat cost LB: 74810 ... c Min unsat cost LB: 74850 ... c Min unsat cost LB: 74875 ... c Min unsat cost LB: 74962 ... c Min unsat cost LB: 74968 ... c Min unsat cost LB: 74981 ... c Min unsat cost LB: 74985 ... c Min unsat cost LB: 74997 ... c Min unsat cost LB: 75022 ... c Min unsat cost LB: 75263 ... c Min unsat cost LB: 75264 ... c Min unsat cost LB: 75364 ... c Min unsat cost LB: 75870 ... c Min unsat cost LB: 75902 ... c Min unsat cost LB: 75941 ... c Min unsat cost LB: 76028 ... c Min unsat cost LB: 76029 ... c Min unsat cost LB: 76067 ... c Min unsat cost LB: 76086 ... c Min unsat cost LB: 76119 ... c Min unsat cost LB: 76121 ... c Min unsat cost LB: 76122 ... c Min unsat cost LB: 76241 ... c Min unsat cost LB: 76325 ... c Min unsat cost LB: 76407 ... c Min unsat cost LB: 76433 ... c Min unsat cost LB: 76509 ... c Min unsat cost LB: 76579 ... c Min unsat cost LB: 76651 ... c Min unsat cost LB: 76677 ... c Min unsat cost LB: 76700 ... c Min unsat cost LB: 76735 ... c Min unsat cost LB: 76780 ... c Min unsat cost LB: 76786 ... c Min unsat cost LB: 76817 ... c Min unsat cost LB: 76833 ... c Min unsat cost LB: 76843 ... c Min unsat cost LB: 76867 ... c Min unsat cost LB: 76951 ... c Min unsat cost LB: 76955 ... c Min unsat cost LB: 76981 ... c Min unsat cost LB: 77011 ... c Min unsat cost LB: 77126 ... c Min unsat cost LB: 77143 ... c Min unsat cost LB: 77154 ... c Min unsat cost LB: 77181 ... c Min unsat cost LB: 77185 ... c Min unsat cost LB: 77242 ... c Min unsat cost LB: 77246 ... c Min unsat cost LB: 77269 ... c Min unsat cost LB: 77301 ... c Min unsat cost LB: 77306 ... c Min unsat cost LB: 77321 ... c Min unsat cost LB: 77328 ... c Min unsat cost LB: 77332 ... c Min unsat cost LB: 77342 ... c Min unsat cost LB: 77344 ... c Min unsat cost LB: 77350 ... c Min unsat cost LB: 77351 ... c Min unsat cost LB: 77357 ... c Min unsat cost LB: 77370 ... c Min unsat cost LB: 77379 ... c Min unsat cost LB: 77416 ... c Min unsat cost LB: 77423 ... c Min unsat cost LB: 77424 ... c Min unsat cost LB: 77428 ... c Min unsat cost LB: 77430 ... c Min unsat cost LB: 77431 ... c Min unsat cost LB: 77456 ... c Min unsat cost LB: 77465 ... c Min unsat cost LB: 77467 ... c Min unsat cost LB: 77471 ... c Min unsat cost LB: 77478 ... c Min unsat cost LB: 77481 ... c Min unsat cost LB: 77482 ... c Min unsat cost LB: 77483 ... c Min unsat cost LB: 77501 ... c Min unsat cost LB: 77508 ... c Min unsat cost LB: 77509 ... c Min unsat cost LB: 77521 ... c Min unsat cost LB: 77547 ... c Min unsat cost LB: 77549 ... c Min unsat cost LB: 77555 ... c Min unsat cost LB: 77556 ... c Min unsat cost LB: 77574 ... c Min unsat cost LB: 77579 ... c Min unsat cost LB: 77581 ... c Min unsat cost LB: 77589 ... c Min unsat cost LB: 77621 ... 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: 77630 ... c Min unsat cost LB: 77631 ... c Min unsat cost LB: 77644 ... c Min unsat cost LB: 77656 ... c Min unsat cost LB: 77657 ... c Min unsat cost LB: 77665 ... c Min unsat cost LB: 77666 ... c Min unsat cost LB: 77667 ... c Min unsat cost LB: 77668 ... c Min unsat cost LB: 77669 ... c Min unsat cost LB: 77671 ... c Min unsat cost LB: 77672 ... c Min unsat cost LB: 77675 ... c Min unsat cost LB: 77683 ... c Min unsat cost LB: 77709 ... c Min unsat cost LB: 77715 ... c Min unsat cost LB: 77716 ... c Min unsat cost LB: 77717 ... c Min unsat cost LB: 77719 ... c Min unsat cost LB: 77720 ... c Min unsat cost LB: 77723 ... c Min unsat cost LB: 77727 ... c Min unsat cost LB: 77729 ... c Min unsat cost LB: 77732 ... c Min unsat cost LB: 77751 ... c Min unsat cost LB: 77752 ... c Min unsat cost LB: 77757 ... c Min unsat cost LB: 77770 ... c Min unsat cost LB: 77774 ... c Min unsat cost LB: 77778 ... c Min unsat cost LB: 77779 ... c Min unsat cost LB: 77780 ... 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: 77790 ... c Min unsat cost LB: 77800 ... c Min unsat cost LB: 77803 ... c Min unsat cost LB: 77827 ... c Min unsat cost LB: 77834 ... c Min unsat cost LB: 77850 ... c Min unsat cost LB: 77851 ... c Min unsat cost LB: 77852 ... c Min unsat cost LB: 77853 ... c Min unsat cost LB: 77854 ... c Min unsat cost LB: 77855 ... c Min unsat cost LB: 77856 ... c Min unsat cost LB: 77859 ... c Min unsat cost LB: 77874 ... c Min unsat cost LB: 77884 ... c Min unsat cost LB: 77898 ... c Min unsat cost LB: 77903 ... c Min unsat cost LB: 77927 ... c Min unsat cost LB: 77942 ... c Min unsat cost LB: 77954 ... c Min unsat cost LB: 77999 ... c Min unsat cost LB: 78010 ... c Min unsat cost LB: 78011 ... c Min unsat cost LB: 78017 ... c Min unsat cost LB: 78019 ... c Min unsat cost LB: 78020 ... c Min unsat cost LB: 78026 ... c Min unsat cost LB: 78029 ... c Min unsat cost LB: 78035 ... c Min unsat cost LB: 78041 ... c Min unsat cost LB: 78042 ... c Min unsat cost LB: 78044 ... c Min unsat cost LB: 78050 ... c Min unsat cost LB: 78057 ... c Min unsat cost LB: 78060 ... c Min unsat cost LB: 78061 ... c Min unsat cost LB: 78067 ... c Min unsat cost LB: 78070 ... c Min unsat cost LB: 78071 ... c Min unsat cost LB: 78080 ... c Min unsat cost LB: 78081 ... c Min unsat cost LB: 78084 ... c Min unsat cost LB: 78087 ... c Min unsat cost LB: 78089 ... c Min unsat cost LB: 78090 ... c Min unsat cost LB: 78097 ... c Min unsat cost LB: 78120 ... c Min unsat cost LB: 78121 ... c Min unsat cost LB: 78127 ... c Min unsat cost LB: 78128 ... c Min unsat cost LB: 78129 ... c Min unsat cost LB: 78132 ... c Min unsat cost LB: 78142 ... c Min unsat cost LB: 78143 ... c Min unsat cost LB: 78145 ... c Min unsat cost LB: 78151 ... c Min unsat cost LB: 78152 ... c Min unsat cost LB: 78169 ... c Min unsat cost LB: 78171 ... c Min unsat cost LB: 78172 ... c Min unsat cost LB: 78174 ... c Min unsat cost LB: 78175 ... c Min unsat cost LB: 78176 ... c Min unsat cost LB: 78177 ... c Min unsat cost LB: 78178 ... c Min unsat cost LB: 78179 ... c Min unsat cost LB: 78180 ... c Min unsat cost LB: 78181 ... c Min unsat cost LB: 78183 ... c Min unsat cost LB: 78184 ... c Min unsat cost LB: 78185 ... c Min unsat cost LB: 78186 ... c Min unsat cost LB: 78187 ... c Min unsat cost LB: 78217 ... c Min unsat cost LB: 78220 ... c Min unsat cost LB: 78271 ... c Min unsat cost LB: 78284 ... c Min unsat cost LB: 78298 ... c Min unsat cost LB: 78300 ... c Min unsat cost LB: 78305 ... c Min unsat cost LB: 78319 ... c Min unsat cost LB: 78325 ... c Min unsat cost LB: 78358 ... c Min unsat cost LB: 78364 ... c Min unsat cost LB: 78366 ... c Min unsat cost LB: 78374 ... c Min unsat cost LB: 78376 ... c Min unsat cost LB: 78383 ... c Min unsat cost LB: 78436 ... c Min unsat cost LB: 78504 ... c Min unsat cost LB: 78510 ... c Min unsat cost LB: 78511 ... c Min unsat cost LB: 78512 ... c Min unsat cost LB: 78513 ... c Min unsat cost LB: 78516 ... c Min unsat cost LB: 78517 ... c Min unsat cost LB: 78530 ... c Min unsat cost LB: 78536 ... c Min unsat cost LB: 78539 ... c Min unsat cost LB: 78541 ... c Min unsat cost LB: 78553 ... c Min unsat cost LB: 78554 ... c Min unsat cost LB: 78570 ... c Min unsat cost LB: 78573 ... c Min unsat cost LB: 78582 ... c Min unsat cost LB: 78585 ... c Min unsat cost LB: 78588 ... c Min unsat cost LB: 78590 ... c Min unsat cost LB: 78594 ... c Min unsat cost LB: 78600 ... c Min unsat cost LB: 78604 ... c Min unsat cost LB: 78605 ... c Min unsat cost LB: 78609 ... c Min unsat cost LB: 78610 ... c Min unsat cost LB: 78611 ... c Min unsat cost LB: 78616 ... c Min unsat cost LB: 78620 ... c Min unsat cost LB: 78621 ... c Min unsat cost LB: 78623 ... c Min unsat cost LB: 78625 ... c Min unsat cost LB: 78629 ... c Min unsat cost LB: 78630 ... c Min unsat cost LB: 78631 ... c Min unsat cost LB: 78632 ... c Min unsat cost LB: 78642 ... c Min unsat cost LB: 78643 ... c Min unsat cost LB: 78645 ... c Min unsat cost LB: 78646 ... c Min unsat cost LB: 78647 ... c Min unsat cost LB: 78649 ... c Min unsat cost LB: 78651 ... c Min unsat cost LB: 78665 ... c Min unsat cost LB: 78668 ... c Min unsat cost LB: 78669 ... c Min unsat cost LB: 78670 ... c Min unsat cost LB: 78671 ... c Min unsat cost LB: 78672 ... c Min unsat cost LB: 78682 ... c Min unsat cost LB: 78684 ... c Min unsat cost LB: 78687 ... c Min unsat cost LB: 78688 ... c Min unsat cost LB: 78709 ... c Min unsat cost LB: 78710 ... c Min unsat cost LB: 78711 ... c Min unsat cost LB: 78712 ... c Min unsat cost LB: 78713 ... c Min unsat cost LB: 78714 ... c Min unsat cost LB: 78715 ... c Min unsat cost LB: 78716 ... c Min unsat cost LB: 78720 ... c Min unsat cost LB: 78721 ... c Min unsat cost LB: 78723 ... c Min unsat cost LB: 78726 ... c Min unsat cost LB: 78728 ... c Min unsat cost LB: 78729 ... c Min unsat cost LB: 78733 ... c Min unsat cost LB: 78747 ... c Min unsat cost LB: 78748 ... c Min unsat cost LB: 78760 ... c Min unsat cost LB: 78763 ... c Min unsat cost LB: 78765 ... c Min unsat cost LB: 78768 ... c Min unsat cost LB: 78769 ... c Min unsat cost LB: 78770 ... c Min unsat cost LB: 78772 ... c Min unsat cost LB: 78774 ... c Min unsat cost LB: 78795 ... c Min unsat cost LB: 78858 ... c Min unsat cost LB: 78861 ... c Min unsat cost LB: 78867 ... c Min unsat cost LB: 78875 ... c Min unsat cost LB: 78889 ... c Min unsat cost LB: 78890 ... c Min unsat cost LB: 78895 ... c Min unsat cost LB: 78897 ... c Min unsat cost LB: 78909 ... c Min unsat cost LB: 78923 ... c Min unsat cost LB: 78926 ... c Min unsat cost LB: 78935 ... c Min unsat cost LB: 78937 ... c Min unsat cost LB: 78958 ... c Min unsat cost LB: 78963 ... c Min unsat cost LB: 78965 ... c Min unsat cost LB: 78970 ... c Min unsat cost LB: 78972 ... c Min unsat cost LB: 78976 ... c Min unsat cost LB: 78978 ... c Min unsat cost LB: 78983 ... c Min unsat cost LB: 78990 ... c Min unsat cost LB: 78992 ... c Min unsat cost LB: 78994 ... c Min unsat cost LB: 78999 ... c Min unsat cost LB: 79001 ... c Min unsat cost LB: 79002 ... c Min unsat cost LB: 79003 ... c Min unsat cost LB: 79004 ... c Min unsat cost LB: 79005 ... c Min unsat cost LB: 79006 ... c Min unsat cost LB: 79007 ... c Min unsat cost LB: 79008 ... c Min unsat cost LB: 79009 ... c Min unsat cost LB: 79010 ... c Min unsat cost LB: 79011 ... c Min unsat cost LB: 79172 ... c Min unsat cost LB: 79177 ... c Min unsat cost LB: 79185 ... c Min unsat cost LB: 79210 ... c Min unsat cost LB: 79228 ... c Min unsat cost LB: 79241 ... c Min unsat cost LB: 79243 ... c Min unsat cost LB: 79246 ... c Min unsat cost LB: 79251 ... c Min unsat cost LB: 79255 ... c Min unsat cost LB: 79257 ... c Min unsat cost LB: 79261 ... c Min unsat cost LB: 79269 ... c Min unsat cost LB: 79297 ... c Min unsat cost LB: 79303 ... c Min unsat cost LB: 79309 ... c Min unsat cost LB: 79311 ... c Min unsat cost LB: 79313 ... c Min unsat cost LB: 79315 ... c Min unsat cost LB: 79316 ... c Min unsat cost LB: 79320 ... c Min unsat cost LB: 79327 ... c Min unsat cost LB: 79332 ... c Min unsat cost LB: 79335 ... c Min unsat cost LB: 79340 ... c Min unsat cost LB: 79348 ... c Min unsat cost LB: 79359 ... c Min unsat cost LB: 79360 ... c Min unsat cost LB: 79366 ... c Min unsat cost LB: 79369 ... c Min unsat cost LB: 79381 ... c Min unsat cost LB: 79393 ... c Min unsat cost LB: 79408 ... c Min unsat cost LB: 79421 ... c Min unsat cost LB: 79424 ... c Min unsat cost LB: 79425 ... c Min unsat cost LB: 79426 ... c Min unsat cost LB: 79428 ... c Min unsat cost LB: 79432 ... c Min unsat cost LB: 79438 ... c Min unsat cost LB: 79440 ... c Min unsat cost LB: 79441 ... c Min unsat cost LB: 79600 ... c Min unsat cost LB: 79613 ... c Min unsat cost LB: 79617 ... c Min unsat cost LB: 79672 ... c Min unsat cost LB: 79680 ... c Min unsat cost LB: 79685 ... c Min unsat cost LB: 79686 ... c Min unsat cost LB: 79697 ... c Min unsat cost LB: 79712 ... c Min unsat cost LB: 79713 ... c Min unsat cost LB: 79715 ... c Min unsat cost LB: 79716 ... c Min unsat cost LB: 79719 ... c Min unsat cost LB: 79720 ... c Min unsat cost LB: 79721 ... c Min unsat cost LB: 79722 ... c Min unsat cost LB: 79724 ... c Min unsat cost LB: 79726 ... c Min unsat cost LB: 79727 ... c Min unsat cost LB: 79728 ... c Min unsat cost LB: 79730 ... c Min unsat cost LB: 79731 ... c Min unsat cost LB: 79732 ... c Min unsat cost LB: 79733 ... c Min unsat cost LB: 79735 ... c Min unsat cost LB: 79736 ... c Min unsat cost LB: 79737 ... c Min unsat cost LB: 79745 ... c Min unsat cost LB: 79750 ... c Min unsat cost LB: 79755 ... c Min unsat cost LB: 79813 ... c Min unsat cost LB: 79814 ... c Min unsat cost LB: 79815 ... c Min unsat cost LB: 79816 ... c Min unsat cost LB: 79817 ... c Min unsat cost LB: 79833 ... c Min unsat cost LB: 79860 ... c Min unsat cost LB: 79861 ... c Min unsat cost LB: 79862 ... c Min unsat cost LB: 79863 ... c Min unsat cost LB: 79867 ... c Min unsat cost LB: 79900 ... c Min unsat cost LB: 79906 ... c Min unsat cost LB: 79908 ... c Min unsat cost LB: 79909 ... c Min unsat cost LB: 79914 ... c Min unsat cost LB: 79971 ... c Min unsat cost LB: 79994 ... c Min unsat cost LB: 80054 ... c Min unsat cost LB: 80075 ... c Min unsat cost LB: 80079 ... c Min unsat cost LB: 80081 ... c Min unsat cost LB: 80085 ... c Min unsat cost LB: 80086 ... c Min unsat cost LB: 80098 ... c Min unsat cost LB: 80099 ... c Min unsat cost LB: 80149 ... c Min unsat cost LB: 80180 ... c Min unsat cost LB: 80187 ... c Min unsat cost LB: 80191 ... c Min unsat cost LB: 80196 ... c Min unsat cost LB: 80200 ... c Min unsat cost LB: 80201 ... c Min unsat cost LB: 80294 ... c Min unsat cost LB: 80295 ... c Min unsat cost LB: 80296 ... c Min unsat cost LB: 80312 ... c Min unsat cost LB: 80313 ... c Min unsat cost LB: 80329 ... c Min unsat cost LB: 80330 ... c Min unsat cost LB: 80406 ... c Min unsat cost LB: 80442 ... c Min unsat cost LB: 80457 ... c Min unsat cost LB: 80458 ... c Min unsat cost LB: 80464 ... c Min unsat cost LB: 80467 ... c Min unsat cost LB: 80471 ... c Min unsat cost LB: 80481 ... c Min unsat cost LB: 80482 ... c Min unsat cost LB: 80485 ... c Min unsat cost LB: 80488 ... c Min unsat cost LB: 80489 ... c Min unsat cost LB: 80924 ... c Min unsat cost LB: 80927 ... c Min unsat cost LB: 80928 ... c Min unsat cost LB: 80930 ... c Min unsat cost LB: 80931 ... c Min unsat cost LB: 80932 ... c Min unsat cost LB: 80933 ... c Min unsat cost LB: 80936 ... c Min unsat cost LB: 80937 ... c Min unsat cost LB: 80938 ... c Min unsat cost LB: 80939 ... c Min unsat cost LB: 80941 ... c Min unsat cost LB: 80943 ... c Min unsat cost LB: 80944 ... c Min unsat cost LB: 80948 ... c Min unsat cost LB: 80949 ... c Min unsat cost LB: 80953 ... c Min unsat cost LB: 80954 ... c Min unsat cost LB: 80956 ... c Min unsat cost LB: 80957 ... c Min unsat cost LB: 80958 ... c Min unsat cost LB: 80959 ... c Min unsat cost LB: 80960 ... c Min unsat cost LB: 80961 ... c Min unsat cost LB: 80962 ... c Min unsat cost LB: 80963 ... c Min unsat cost LB: 81096 ... c Min unsat cost LB: 81112 ... c Min unsat cost LB: 81113 ... c Min unsat cost LB: 81114 ... c Min unsat cost LB: 81115 ... c Min unsat cost LB: 81117 ... c Min unsat cost LB: 81118 ... c Min unsat cost LB: 81119 ... c Min unsat cost LB: 81121 ... c Min unsat cost LB: 81122 ... c Min unsat cost LB: 81123 ... c Min unsat cost LB: 81124 ... c Min unsat cost LB: 81125 ... c Min unsat cost LB: 81127 ... c Min unsat cost LB: 81128 ... c Min unsat cost LB: 81130 ... c Min unsat cost LB: 81131 ... c Min unsat cost LB: 81132 ... c Min unsat cost LB: 81133 ... c Min unsat cost LB: 81134 ... c Min unsat cost LB: 81135 ... c Min unsat cost LB: 81136 ... c Min unsat cost LB: 81142 ... c Min unsat cost LB: 81168 ... c Min unsat cost LB: 81169 ... c Min unsat cost LB: 81170 ... c Min unsat cost LB: 81171 ... c Min unsat cost LB: 81172 ... c Min unsat cost LB: 81173 ... c Min unsat cost LB: 81174 ... c Min unsat cost LB: 81176 ... c Min unsat cost LB: 81177 ... c Min unsat cost LB: 81178 ... c Min unsat cost LB: 81179 ... c Min unsat cost LB: 81180 ... c Min unsat cost LB: 81182 ... c Min unsat cost LB: 81184 ... c Min unsat cost LB: 81185 ... c Min unsat cost LB: 81190 ... c Min unsat cost LB: 81191 ... c Min unsat cost LB: 81193 ... c Min unsat cost LB: 81194 ... c Min unsat cost LB: 81195 ... c Min unsat cost LB: 81196 ... c Min unsat cost LB: 81197 ... c Min unsat cost LB: 81198 ... c Min unsat cost LB: 81199 ... c Min unsat cost LB: 81200 ... c Min unsat cost LB: 81201 ... c Min unsat cost LB: 81202 ... c Min unsat cost LB: 81203 ... c Min unsat cost LB: 81254 ... c Min unsat cost LB: 81312 ... c Min unsat cost LB: 81313 ... c Min unsat cost LB: 81359 ... c Min unsat cost LB: 81431 ... c Min unsat cost LB: 81569 ... c Min unsat cost LB: 81572 ... c Min unsat cost LB: 81579 ... c Min unsat cost LB: 81584 ... c Min unsat cost LB: 81591 ... c Min unsat cost LB: 81592 ... c Min unsat cost LB: 81609 ... c Min unsat cost LB: 81631 ... c Min unsat cost LB: 81641 ... c Min unsat cost LB: 81668 ... c Min unsat cost LB: 81681 ... c Min unsat cost LB: 81684 ... c Min unsat cost LB: 81686 ... c Min unsat cost LB: 81691 ... c Min unsat cost LB: 81703 ... c Min unsat cost LB: 81707 ... c Min unsat cost LB: 81733 ... c Min unsat cost LB: 81742 ... c Min unsat cost LB: 81753 ... c Min unsat cost LB: 81811 ... c Min unsat cost LB: 81847 ... c Min unsat cost LB: 81869 ... c Min unsat cost LB: 81956 ... c Min unsat cost LB: 81959 ... c Min unsat cost LB: 81969 ... c Min unsat cost LB: 81988 ... c Min unsat cost LB: 81990 ... c Min unsat cost LB: 81991 ... c Min unsat cost LB: 81995 ... c Min unsat cost LB: 81996 ... c Min unsat cost LB: 82035 ... c Min unsat cost LB: 82036 ... c Min unsat cost LB: 82044 ... c Min unsat cost LB: 82047 ... c Min unsat cost LB: 82048 ... c Min unsat cost LB: 82052 ... c Min unsat cost LB: 82053 ... c Min unsat cost LB: 82055 ... c Min unsat cost LB: 82056 ... c Min unsat cost LB: 82057 ... c Min unsat cost LB: 82058 ... c Min unsat cost LB: 82059 ... c Min unsat cost LB: 82060 ... c Min unsat cost LB: 82064 ... c Min unsat cost LB: 82065 ... c Min unsat cost LB: 82066 ... c Min unsat cost LB: 82067 ... c Min unsat cost LB: 82068 ... c Min unsat cost LB: 82075 ... c Min unsat cost LB: 82076 ... c Min unsat cost LB: 82083 ... c Min unsat cost LB: 82085 ... c Min unsat cost LB: 82086 ... c Min unsat cost LB: 82087 ... c Min unsat cost LB: 82091 ... c Min unsat cost LB: 82096 ... c Min unsat cost LB: 82111 ... c Min unsat cost LB: 82112 ... c Min unsat cost LB: 82123 ... c Min unsat cost LB: 82125 ... c Min unsat cost LB: 82136 ... c Min unsat cost LB: 82182 ... c Min unsat cost LB: 82183 ... c Min unsat cost LB: 82184 ... c Min unsat cost LB: 82185 ... c Min unsat cost LB: 82188 ... c Min unsat cost LB: 82189 ... c Min unsat cost LB: 82190 ... c Min unsat cost LB: 82191 ... c Min unsat cost LB: 82192 ... c Min unsat cost LB: 82193 ... c Min unsat cost LB: 82194 ... c Min unsat cost LB: 82199 ... c Min unsat cost LB: 82200 ... c Min unsat cost LB: 82201 ... c Min unsat cost LB: 82202 ... c Min unsat cost LB: 82203 ... c Min unsat cost LB: 82204 ... c Min unsat cost LB: 82205 ... c Min unsat cost LB: 82206 ... c Min unsat cost LB: 82207 ... c Min unsat cost LB: 82208 ... c Min unsat cost LB: 82209 ... c Min unsat cost LB: 82210 ... c Min unsat cost LB: 82211 ... c Min unsat cost LB: 82212 ... c Min unsat cost LB: 82216 ... c Min unsat cost LB: 82217 ... c Min unsat cost LB: 82218 ... c Min unsat cost LB: 82219 ... c Min unsat cost LB: 82220 ... c Min unsat cost LB: 82221 ... c Min unsat cost LB: 82224 ... c Min unsat cost LB: 82232 ... c Min unsat cost LB: 82235 ... c Min unsat cost LB: 82236 ... c Min unsat cost LB: 82237 ... c Min unsat cost LB: 82240 ... c Min unsat cost LB: 82242 ... c Min unsat cost LB: 82249 ... c Min unsat cost LB: 82250 ... c Min unsat cost LB: 82251 ... c Min unsat cost LB: 82252 ... c Min unsat cost LB: 82253 ... c Min unsat cost LB: 82254 ... c Min unsat cost LB: 82257 ... c Min unsat cost LB: 82258 ... c Min unsat cost LB: 82259 ... c Min unsat cost LB: 82260 ... c Min unsat cost LB: 82261 ... c Min unsat cost LB: 82262 ... c Min unsat cost LB: 82267 ... c Min unsat cost LB: 82268 ... c Min unsat cost LB: 82269 ... c Min unsat cost LB: 82272 ... c Min unsat cost LB: 82273 ... c Min unsat cost LB: 82274 ... c Min unsat cost LB: 82275 ... c Min unsat cost LB: 82276 ... c Min unsat cost LB: 82277 ... c Min unsat cost LB: 82278 ... c Min unsat cost LB: 82279 ... c Min unsat cost LB: 82280 ... c Min unsat cost LB: 82281 ... c Min unsat cost LB: 82282 ... c Min unsat cost LB: 82283 ... c Min unsat cost LB: 82284 ... c Min unsat cost LB: 82285 ... c Min unsat cost LB: 82288 ... c Min unsat cost LB: 82289 ... c Min unsat cost LB: 82293 ... c Min unsat cost LB: 82294 ... c Min unsat cost LB: 82295 ... c Min unsat cost LB: 82296 ... c Min unsat cost LB: 82297 ... c Min unsat cost LB: 82298 ... c Min unsat cost LB: 82299 ... c Min unsat cost LB: 82300 ... c Min unsat cost LB: 82301 ... c Min unsat cost LB: 82302 ... c Min unsat cost LB: 82303 ... c Min unsat cost LB: 82304 ... c Min unsat cost LB: 82305 ... c Min unsat cost LB: 82306 ... c Min unsat cost LB: 82307 ... c Min unsat cost LB: 82308 ... c Min unsat cost LB: 82309 ... c Min unsat cost LB: 82310 ... c Min unsat cost LB: 82311 ... c Min unsat cost LB: 82312 ... c Min unsat cost LB: 82313 ... c Min unsat cost LB: 82314 ... c Min unsat cost LB: 82315 ... c Min unsat cost LB: 82316 ... c Min unsat cost LB: 82318 ... c Min unsat cost LB: 82319 ... c Min unsat cost LB: 82320 ... c Min unsat cost LB: 82321 ... c Min unsat cost LB: 82322 ... c Min unsat cost LB: 82323 ... c Min unsat cost LB: 82324 ... c Min unsat cost LB: 82325 ... c Min unsat cost LB: 82326 ... c Min unsat cost LB: 82327 ... c Min unsat cost LB: 82328 ... c Min unsat cost LB: 82329 ... c Min unsat cost LB: 82340 ... c Min unsat cost LB: 82342 ... c Min unsat cost LB: 82343 ... c Min unsat cost LB: 82344 ... c Min unsat cost LB: 82345 ... c Min unsat cost LB: 82346 ... c Min unsat cost LB: 82347 ... c Min unsat cost LB: 82348 ... c Min unsat cost LB: 82349 ... c Min unsat cost LB: 82350 ... c Min unsat cost LB: 82351 ... c Min unsat cost LB: 82352 ... c Min unsat cost LB: 82353 ... c Min unsat cost LB: 82354 ... c Min unsat cost LB: 82355 ... c Min unsat cost LB: 82356 ... c Min unsat cost LB: 82357 ... c Min unsat cost LB: 82358 ... c Min unsat cost LB: 82359 ... c Min unsat cost LB: 82360 ... c Min unsat cost LB: 82361 ... c Min unsat cost LB: 82362 ... c Min unsat cost LB: 82363 ... c Min unsat cost LB: 82364 ... c Min unsat cost LB: 82365 ... c Min unsat cost LB: 82366 ... c Min unsat cost LB: 82367 ... c Min unsat cost LB: 82368 ... c Min unsat cost LB: 82369 ... c Min unsat cost LB: 82370 ... c Min unsat cost LB: 82371 ... c Min unsat cost LB: 82372 ... c Min unsat cost LB: 82373 ... c Min unsat cost LB: 82374 ... c Min unsat cost LB: 82375 ... c Min unsat cost LB: 82420 ... c Min unsat cost LB: 82421 ... c Min unsat cost LB: 82422 ... c Min unsat cost LB: 82423 ... c Min unsat cost LB: 82424 ... c Min unsat cost LB: 82425 ... c Min unsat cost LB: 82426 ... c Min unsat cost LB: 82427 ... c Min unsat cost LB: 82429 ... c Min unsat cost LB: 82433 ... c Min unsat cost LB: 82438 ... c Min unsat cost LB: 82466 ... c Min unsat cost LB:Killed 1813.519u 6.217s 30:20.21 99.9% 0+0k 0+0io 0pf+0w