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_190_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0001.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_190_0001.txt.wcnf *** c c Min unsat cost LB: 467 ... c Min unsat cost LB: 934 ... c Min unsat cost LB: 1482 ... c Min unsat cost LB: 2030 ... c Min unsat cost LB: 2144 ... c Min unsat cost LB: 2611 ... c Min unsat cost LB: 2650 ... c Min unsat cost LB: 2764 ... c Min unsat cost LB: 3273 ... c Min unsat cost LB: 3387 ... c Min unsat cost LB: 4055 ... c Min unsat cost LB: 4169 ... c Min unsat cost LB: 4717 ... c Min unsat cost LB: 5229 ... c Min unsat cost LB: 5343 ... c Min unsat cost LB: 5891 ... c Min unsat cost LB: 6005 ... c Min unsat cost LB: 6044 ... c Min unsat cost LB: 6158 ... c Min unsat cost LB: 6250 ... c Min unsat cost LB: 6272 ... c Min unsat cost LB: 6364 ... c Min unsat cost LB: 6478 ... c Min unsat cost LB: 7026 ... c Min unsat cost LB: 7209 ... c Min unsat cost LB: 7323 ... c Min unsat cost LB: 7790 ... c Min unsat cost LB: 7799 ... c Min unsat cost LB: 7913 ... c Min unsat cost LB: 8302 ... c Min unsat cost LB: 8389 ... c Min unsat cost LB: 8865 ... c Min unsat cost LB: 8979 ... c Min unsat cost LB: 9042 ... c Min unsat cost LB: 9210 ... c Min unsat cost LB: 9514 ... c Min unsat cost LB: 9719 ... c Min unsat cost LB: 10023 ... c Min unsat cost LB: 10245 ... c Min unsat cost LB: 10549 ... c Min unsat cost LB: 10853 ... c Min unsat cost LB: 11401 ... c Min unsat cost LB: 11573 ... c Min unsat cost LB: 11687 ... c Min unsat cost LB: 12274 ... c Min unsat cost LB: 12379 ... c Min unsat cost LB: 12511 ... c Min unsat cost LB: 12523 ... c Min unsat cost LB: 13254 ... c Min unsat cost LB: 13558 ... c Min unsat cost LB: 13962 ... c Min unsat cost LB: 14429 ... c Min unsat cost LB: 14451 ... c Min unsat cost LB: 14565 ... c Min unsat cost LB: 14679 ... c Min unsat cost LB: 14793 ... c Min unsat cost LB: 15097 ... c Min unsat cost LB: 15401 ... c Min unsat cost LB: 15705 ... c Min unsat cost LB: 16009 ... c Min unsat cost LB: 16208 ... c Min unsat cost LB: 16512 ... c Min unsat cost LB: 16756 ... c Min unsat cost LB: 17060 ... c Min unsat cost LB: 17951 ... c Min unsat cost LB: 18255 ... c Min unsat cost LB: 18559 ... c Min unsat cost LB: 18863 ... c Min unsat cost LB: 19167 ... c Min unsat cost LB: 19471 ... c Min unsat cost LB: 19775 ... c Min unsat cost LB: 19943 ... c Min unsat cost LB: 20407 ... c Min unsat cost LB: 20711 ... c Min unsat cost LB: 20787 ... c Min unsat cost LB: 20943 ... c Min unsat cost LB: 21410 ... c Min unsat cost LB: 21689 ... c Min unsat cost LB: 21789 ... c Min unsat cost LB: 21803 ... c Min unsat cost LB: 22106 ... c Min unsat cost LB: 22192 ... c Min unsat cost LB: 22495 ... c Min unsat cost LB: 22739 ... c Min unsat cost LB: 23042 ... c Min unsat cost LB: 23265 ... c Min unsat cost LB: 23379 ... c Min unsat cost LB: 23605 ... c Min unsat cost LB: 23719 ... c Min unsat cost LB: 23796 ... c Min unsat cost LB: 24041 ... c Min unsat cost LB: 24344 ... c Min unsat cost LB: 24444 ... c Min unsat cost LB: 24458 ... c Min unsat cost LB: 24459 ... c Min unsat cost LB: 24629 ... c Min unsat cost LB: 24932 ... c Min unsat cost LB: 25014 ... c Min unsat cost LB: 25318 ... c Min unsat cost LB: 25511 ... c Min unsat cost LB: 25523 ... c Min unsat cost LB: 25826 ... c Min unsat cost LB: 26129 ... c Min unsat cost LB: 26234 ... c Min unsat cost LB: 26537 ... c Min unsat cost LB: 26763 ... c Min unsat cost LB: 27066 ... c Min unsat cost LB: 27180 ... c Min unsat cost LB: 27483 ... c Min unsat cost LB: 27593 ... c Min unsat cost LB: 27679 ... c Min unsat cost LB: 27787 ... c Min unsat cost LB: 28018 ... c Min unsat cost LB: 28132 ... c Min unsat cost LB: 28141 ... c Min unsat cost LB: 28255 ... c Min unsat cost LB: 28321 ... c Min unsat cost LB: 28369 ... c Min unsat cost LB: 28397 ... c Min unsat cost LB: 28619 ... c Min unsat cost LB: 28841 ... c Min unsat cost LB: 29144 ... c Min unsat cost LB: 29366 ... c Min unsat cost LB: 29435 ... c Min unsat cost LB: 29588 ... c Min unsat cost LB: 29738 ... c Min unsat cost LB: 29810 ... c Min unsat cost LB: 29820 ... c Min unsat cost LB: 29825 ... c Min unsat cost LB: 29897 ... c Min unsat cost LB: 30200 ... c Min unsat cost LB: 30201 ... c Min unsat cost LB: 30397 ... c Min unsat cost LB: 30792 ... c Min unsat cost LB: 30906 ... c Min unsat cost LB: 31016 ... c Min unsat cost LB: 31128 ... c Min unsat cost LB: 31319 ... c Min unsat cost LB: 31622 ... c Min unsat cost LB: 31722 ... c Min unsat cost LB: 32025 ... c Min unsat cost LB: 32026 ... c Min unsat cost LB: 32329 ... c Min unsat cost LB: 32401 ... c Min unsat cost LB: 32868 ... c Min unsat cost LB: 32997 ... c Min unsat cost LB: 33180 ... c Min unsat cost LB: 33335 ... c Min unsat cost LB: 33483 ... c Min unsat cost LB: 33575 ... c Min unsat cost LB: 33652 ... c Min unsat cost LB: 33661 ... c Min unsat cost LB: 33811 ... c Min unsat cost LB: 34050 ... c Min unsat cost LB: 34051 ... c Min unsat cost LB: 34063 ... c Min unsat cost LB: 34128 ... c Min unsat cost LB: 34140 ... c Min unsat cost LB: 34219 ... c Min unsat cost LB: 34595 ... c Min unsat cost LB: 34604 ... c Min unsat cost LB: 34975 ... c Min unsat cost LB: 35125 ... c Min unsat cost LB: 35137 ... c Min unsat cost LB: 35202 ... c Min unsat cost LB: 35203 ... c Min unsat cost LB: 35442 ... c Min unsat cost LB: 35746 ... c Min unsat cost LB: 35747 ... c Min unsat cost LB: 35848 ... c Min unsat cost LB: 36151 ... c Min unsat cost LB: 36319 ... c Min unsat cost LB: 36320 ... c Min unsat cost LB: 36380 ... c Min unsat cost LB: 36421 ... c Min unsat cost LB: 36503 ... c Min unsat cost LB: 36512 ... c Min unsat cost LB: 36623 ... c Min unsat cost LB: 36624 ... c Min unsat cost LB: 36649 ... c Min unsat cost LB: 36658 ... c Min unsat cost LB: 36855 ... c Min unsat cost LB: 36937 ... c Min unsat cost LB: 36970 ... c Min unsat cost LB: 37033 ... c Min unsat cost LB: 37060 ... c Min unsat cost LB: 37076 ... c Min unsat cost LB: 37083 ... c Min unsat cost LB: 37132 ... c Min unsat cost LB: 37362 ... c Min unsat cost LB: 37363 ... c Min unsat cost LB: 37503 ... c Min unsat cost LB: 37632 ... c Min unsat cost LB: 37807 ... c Min unsat cost LB: 37817 ... c Min unsat cost LB: 37870 ... c Min unsat cost LB: 37946 ... c Min unsat cost LB: 38115 ... c Min unsat cost LB: 38121 ... c Min unsat cost LB: 38123 ... c Min unsat cost LB: 38220 ... c Min unsat cost LB: 38278 ... c Min unsat cost LB: 38347 ... c Min unsat cost LB: 38426 ... c Min unsat cost LB: 38503 ... c Min unsat cost LB: 38523 ... c Min unsat cost LB: 38588 ... c Min unsat cost LB: 38650 ... c Min unsat cost LB: 38726 ... c Min unsat cost LB: 38825 ... c Min unsat cost LB: 38953 ... c Min unsat cost LB: 38970 ... c Min unsat cost LB: 39032 ... c Min unsat cost LB: 39229 ... c Min unsat cost LB: 39334 ... c Min unsat cost LB: 39353 ... c Min unsat cost LB: 39419 ... c Min unsat cost LB: 39448 ... c Min unsat cost LB: 39457 ... c Min unsat cost LB: 39480 ... c Min unsat cost LB: 39562 ... c Min unsat cost LB: 39632 ... c Min unsat cost LB: 39676 ... c Min unsat cost LB: 39698 ... c Min unsat cost LB: 39723 ... c Min unsat cost LB: 39746 ... c Min unsat cost LB: 39774 ... c Min unsat cost LB: 39860 ... c Min unsat cost LB: 39888 ... c Min unsat cost LB: 39945 ... c Min unsat cost LB: 39974 ... c Min unsat cost LB: 40002 ... c Min unsat cost LB: 40013 ... c Min unsat cost LB: 40068 ... c Min unsat cost LB: 40077 ... c Min unsat cost LB: 40091 ... c Min unsat cost LB: 40167 ... c Min unsat cost LB: 40191 ... c Min unsat cost LB: 40193 ... c Min unsat cost LB: 40218 ... c Min unsat cost LB: 40257 ... c Min unsat cost LB: 40293 ... c Min unsat cost LB: 40324 ... c Min unsat cost LB: 40379 ... c Min unsat cost LB: 40393 ... c Min unsat cost LB: 40515 ... c Min unsat cost LB: 40625 ... c Min unsat cost LB: 40678 ... c Min unsat cost LB: 40705 ... c Min unsat cost LB: 40745 ... c Min unsat cost LB: 40764 ... c Min unsat cost LB: 40892 ... c Min unsat cost LB: 40986 ... c Min unsat cost LB: 41009 ... c Min unsat cost LB: 41024 ... c Min unsat cost LB: 41086 ... c Min unsat cost LB: 41200 ... c Min unsat cost LB: 41295 ... c Min unsat cost LB: 41414 ... c Min unsat cost LB: 41598 ... c Min unsat cost LB: 41624 ... c Min unsat cost LB: 41640 ... c Min unsat cost LB: 41716 ... c Min unsat cost LB: 41738 ... c Min unsat cost LB: 41830 ... c Min unsat cost LB: 41844 ... c Min unsat cost LB: 41852 ... c Min unsat cost LB: 41958 ... c Min unsat cost LB: 41966 ... c Min unsat cost LB: 42080 ... c Min unsat cost LB: 42194 ... c Min unsat cost LB: 42262 ... c Min unsat cost LB: 42308 ... c Min unsat cost LB: 42331 ... c Min unsat cost LB: 42422 ... c Min unsat cost LB: 42506 ... c Min unsat cost LB: 42522 ... c Min unsat cost LB: 42634 ... c Min unsat cost LB: 42672 ... c Min unsat cost LB: 42825 ... c Min unsat cost LB: 42835 ... c Min unsat cost LB: 42872 ... c Min unsat cost LB: 42907 ... c Min unsat cost LB: 42939 ... c Min unsat cost LB: 42982 ... c Min unsat cost LB: 42989 ... c Min unsat cost LB: 43019 ... c Min unsat cost LB: 43090 ... c Min unsat cost LB: 43096 ... c Min unsat cost LB: 43178 ... c Min unsat cost LB: 43212 ... c Min unsat cost LB: 43262 ... c Min unsat cost LB: 43362 ... c Min unsat cost LB: 43409 ... c Min unsat cost LB: 43421 ... c Min unsat cost LB: 43422 ... c Min unsat cost LB: 43426 ... c Min unsat cost LB: 43438 ... c Min unsat cost LB: 43613 ... c Min unsat cost LB: 43614 ... c Min unsat cost LB: 43632 ... c Min unsat cost LB: 43691 ... c Min unsat cost LB: 43695 ... c Min unsat cost LB: 43734 ... c Min unsat cost LB: 43960 ... c Min unsat cost LB: 43978 ... c Min unsat cost LB: 44016 ... c Min unsat cost LB: 44034 ... c Min unsat cost LB: 44116 ... c Min unsat cost LB: 44190 ... c Min unsat cost LB: 44212 ... c Min unsat cost LB: 44223 ... c Min unsat cost LB: 44245 ... c Min unsat cost LB: 44366 ... c Min unsat cost LB: 44527 ... c Min unsat cost LB: 44644 ... c Min unsat cost LB: 44652 ... c Min unsat cost LB: 44670 ... c Min unsat cost LB: 44745 ... c Min unsat cost LB: 44941 ... c Min unsat cost LB: 44966 ... c Min unsat cost LB: 45043 ... c Min unsat cost LB: 45045 ... c Min unsat cost LB: 45054 ... c Min unsat cost LB: 45119 ... c Min unsat cost LB: 45133 ... c Min unsat cost LB: 45291 ... c Min unsat cost LB: 45292 ... c Min unsat cost LB: 45304 ... c Min unsat cost LB: 45313 ... c Min unsat cost LB: 45319 ... c Min unsat cost LB: 45335 ... c Min unsat cost LB: 45395 ... c Min unsat cost LB: 45404 ... c Min unsat cost LB: 45424 ... c Min unsat cost LB: 45433 ... c Min unsat cost LB: 45447 ... c Min unsat cost LB: 45454 ... c Min unsat cost LB: 45456 ... c Min unsat cost LB: 45463 ... c Min unsat cost LB: 45502 ... c Min unsat cost LB: 45568 ... c Min unsat cost LB: 45604 ... c Min unsat cost LB: 45623 ... c Min unsat cost LB: 45643 ... c Min unsat cost LB: 45668 ... c Min unsat cost LB: 45687 ... c Min unsat cost LB: 45701 ... c Min unsat cost LB: 45742 ... c Min unsat cost LB: 45786 ... c Min unsat cost LB: 45796 ... c Min unsat cost LB: 45822 ... c Min unsat cost LB: 45836 ... c Min unsat cost LB: 45862 ... c Min unsat cost LB: 45884 ... c Min unsat cost LB: 45908 ... c Min unsat cost LB: 45924 ... c Min unsat cost LB: 45931 ... c Min unsat cost LB: 46013 ... c Min unsat cost LB: 46020 ... c Min unsat cost LB: 46033 ... c Min unsat cost LB: 46034 ... c Min unsat cost LB: 46036 ... c Min unsat cost LB: 46112 ... c Min unsat cost LB: 46126 ... c Min unsat cost LB: 46271 ... c Min unsat cost LB: 46279 ... c Min unsat cost LB: 46355 ... c Min unsat cost LB: 46361 ... c Min unsat cost LB: 46362 ... c Min unsat cost LB: 46364 ... c Min unsat cost LB: 46447 ... c Min unsat cost LB: 46459 ... c Min unsat cost LB: 46482 ... c Min unsat cost LB: 46512 ... c Min unsat cost LB: 46573 ... c Min unsat cost LB: 46585 ... c Min unsat cost LB: 46594 ... c Min unsat cost LB: 46608 ... c Min unsat cost LB: 46617 ... c Min unsat cost LB: 46646 ... c Min unsat cost LB: 46655 ... c Min unsat cost LB: 46674 ... c Min unsat cost LB: 46688 ... c Min unsat cost LB: 46732 ... c Min unsat cost LB: 46759 ... c Min unsat cost LB: 46760 ... c Min unsat cost LB: 46782 ... c Min unsat cost LB: 46783 ... c Min unsat cost LB: 46788 ... c Min unsat cost LB: 46811 ... c Min unsat cost LB: 46812 ... c Min unsat cost LB: 46827 ... c Min unsat cost LB: 46842 ... c Min unsat cost LB: 46848 ... c Min unsat cost LB: 46873 ... c Min unsat cost LB: 46874 ... c Min unsat cost LB: 46880 ... c Min unsat cost LB: 46936 ... c Min unsat cost LB: 46966 ... c Min unsat cost LB: 46984 ... c Min unsat cost LB: 47033 ... c Min unsat cost LB: 47044 ... c Min unsat cost LB: 47078 ... c Min unsat cost LB: 47105 ... c Min unsat cost LB: 47126 ... c Min unsat cost LB: 47133 ... c Min unsat cost LB: 47142 ... c Min unsat cost LB: 47152 ... c Min unsat cost LB: 47173 ... c Min unsat cost LB: 47198 ... c Min unsat cost LB: 47225 ... c Min unsat cost LB: 47236 ... c Min unsat cost LB: 47283 ... c Min unsat cost LB: 47303 ... c Min unsat cost LB: 47316 ... c Min unsat cost LB: 47342 ... c Min unsat cost LB: 47352 ... c Min unsat cost LB: 47368 ... c Min unsat cost LB: 47382 ... c Min unsat cost LB: 47405 ... c Min unsat cost LB: 47417 ... c Min unsat cost LB: 47426 ... c Min unsat cost LB: 47427 ... c Min unsat cost LB: 47480 ... c Min unsat cost LB: 47556 ... c Min unsat cost LB: 47557 ... c Min unsat cost LB: 47607 ... c Min unsat cost LB: 47640 ... c Min unsat cost LB: 47670 ... c Min unsat cost LB: 47724 ... c Min unsat cost LB: 47736 ... c Min unsat cost LB: 47739 ... c Min unsat cost LB: 47741 ... c Min unsat cost LB: 47756 ... c Min unsat cost LB: 47776 ... c Min unsat cost LB: 48016 ... c Min unsat cost LB: 48018 ... c Min unsat cost LB: 48020 ... c Min unsat cost LB: 48030 ... c Min unsat cost LB: 48063 ... c Min unsat cost LB: 48064 ... c Min unsat cost LB: 48070 ... c Min unsat cost LB: 48071 ... c Min unsat cost LB: 48072 ... c Min unsat cost LB: 48079 ... c Min unsat cost LB: 48081 ... c Min unsat cost LB: 48090 ... c Min unsat cost LB: 48091 ... c Min unsat cost LB: 48092 ... c Min unsat cost LB: 48093 ... c Min unsat cost LB: 48094 ... c Min unsat cost LB: 48095 ... c Min unsat cost LB: 48098 ... c Min unsat cost LB: 48099 ... c Min unsat cost LB: 48103 ... c Min unsat cost LB: 48104 ... c Min unsat cost LB: 48109 ... c Min unsat cost LB: 48110 ... c Min unsat cost LB: 48111 ... c Min unsat cost LB: 48112 ... c Min unsat cost LB: 48113 ... c Min unsat cost LB: 48114 ... c Min unsat cost LB: 48115 ... c Min unsat cost LB: 48116 ... c Min unsat cost LB: 48118 ... c Min unsat cost LB: 48121 ... c Min unsat cost LB: 48122 ... c Min unsat cost LB: 48123 ... c Min unsat cost LB: 48124 ... c Min unsat cost LB: 48125 ... c Min unsat cost LB: 48130 ... c Min unsat cost LB: 48131 ... c Min unsat cost LB: 48132 ... c Min unsat cost LB: 48155 ... c Min unsat cost LB: 48157 ... c Min unsat cost LB: 48158 ... c Min unsat cost LB: 48159 ... c Min unsat cost LB: 48160 ... c Min unsat cost LB: 48161 ... c Min unsat cost LB: 48162 ... c Min unsat cost LB: 48163 ... c Min unsat cost LB: 48165 ... c Min unsat cost LB: 48166 ... c Min unsat cost LB: 48167 ... c Min unsat cost LB: 48168 ... c Min unsat cost LB: 48175 ... c Min unsat cost LB: 48176 ... c Min unsat cost LB: 48177 ... c Min unsat cost LB: 48180 ... c Min unsat cost LB: 48181 ... c Min unsat cost LB: 48182 ... c Min unsat cost LB: 48183 ... c Min unsat cost LB: 48184 ... c Min unsat cost LB: 48186 ... c Min unsat cost LB: 48187 ... c Min unsat cost LB: 48188 ... c Min unsat cost LB: 48198 ... c Min unsat cost LB: 48199 ... c Min unsat cost LB: 48200 ... c Min unsat cost LB: 48204 ... c Min unsat cost LB: 48207 ... c Min unsat cost LB: 48213 ... c Min unsat cost LB: 48214 ... c Min unsat cost LB: 48215 ... c Min unsat cost LB: 48216 ... c Min unsat cost LB: 48217 ... c Min unsat cost LB: 48232 ... c Min unsat cost LB: 48240 ... c Min unsat cost LB: 48241 ... c Min unsat cost LB: 48243 ... c Min unsat cost LB: 48245 ... c Min unsat cost LB: 48255 ... c Min unsat cost LB: 48264 ... c Min unsat cost LB: 48267 ... c Min unsat cost LB: 48269 ... c Min unsat cost LB: 48271 ... c Min unsat cost LB: 48280 ... c Min unsat cost LB: 48287 ... c Min unsat cost LB: 48290 ... c Min unsat cost LB: 48294 ... c Min unsat cost LB: 48295 ... c Min unsat cost LB: 48297 ... c Min unsat cost LB: 48299 ... c Min unsat cost LB: 48304 ... c Min unsat cost LB: 48305 ... c Min unsat cost LB: 48313 ... c Min unsat cost LB: 48318 ... c Min unsat cost LB: 48319 ... c Min unsat cost LB: 48332 ... c Min unsat cost LB: 48334 ... c Min unsat cost LB: 48339 ... c Min unsat cost LB: 48350 ... c Min unsat cost LB: 48352 ... c Min unsat cost LB: 48361 ... c Min unsat cost LB: 48368 ... c Min unsat cost LB: 48376 ... c Min unsat cost LB: 48383 ... c Min unsat cost LB: 48398 ... c Min unsat cost LB: 48399 ... c Min unsat cost LB: 48400 ... c Min unsat cost LB: 48408 ... c Min unsat cost LB: 48410 ... c Min unsat cost LB: 48416 ... c Min unsat cost LB: 48423 ... c Min unsat cost LB: 48426 ... c Min unsat cost LB: 48475 ... c Min unsat cost LB: 48511 ... c Min unsat cost LB: 48518 ... c Min unsat cost LB: 48527 ... c Min unsat cost LB: 48532 ... c Min unsat cost LB: 48535 ... c Min unsat cost LB: 48543 ... c Min unsat cost LB: 48547 ... c Min unsat cost LB: 48548 ... c Min unsat cost LB: 48549 ... c Min unsat cost LB: 48551 ... c Min unsat cost LB: 48560 ... c Min unsat cost LB: 48565 ... c Min unsat cost LB: 48566 ... c Min unsat cost LB: 48572 ... c Min unsat cost LB: 48573 ... c Min unsat cost LB: 48574 ... c Min unsat cost LB: 48577 ... c Min unsat cost LB: 48578 ... c Min unsat cost LB: 48583 ... c Min unsat cost LB: 48585 ... c Min unsat cost LB: 48586 ... c Min unsat cost LB: 48592 ... c Min unsat cost LB: 48598 ... c Min unsat cost LB: 48605 ... c Min unsat cost LB: 48613 ... c Min unsat cost LB: 48614 ... c Min unsat cost LB: 48615 ... c Min unsat cost LB: 48616 ... c Min unsat cost LB: 48617 ... c Min unsat cost LB: 48619 ... c Min unsat cost LB: 48620 ... c Min unsat cost LB: 48621 ... c Min unsat cost LB: 48623 ... c Min unsat cost LB: 48624 ... c Min unsat cost LB: 48626 ... c Min unsat cost LB: 48627 ... c Min unsat cost LB: 48635 ... c Min unsat cost LB: 48636 ... c Min unsat cost LB: 48637 ... c Min unsat cost LB: 48638 ... c Min unsat cost LB: 48639 ... c Min unsat cost LB: 48640 ... c Min unsat cost LB: 48641 ... c Min unsat cost LB: 48642 ... c Min unsat cost LB: 48643 ... c Min unsat cost LB: 48644 ... c Min unsat cost LB: 48646 ... c Min unsat cost LB: 48647 ... c Min unsat cost LB: 48648 ... c Min unsat cost LB: 48649 ... c Min unsat cost LB: 48650 ... c Min unsat cost LB: 48651 ... c Min unsat cost LB: 48652 ... c Min unsat cost LB: 48653 ... c Min unsat cost LB: 48654 ... c Min unsat cost LB: 48657 ... c Min unsat cost LB: 48722 ... c Min unsat cost LB: 48736 ... c Min unsat cost LB: 48778 ... c Min unsat cost LB: 48793 ... c Min unsat cost LB: 48794 ... c Min unsat cost LB: 48796 ... c Min unsat cost LB: 48804 ... c Min unsat cost LB: 48813 ... c Min unsat cost LB: 48815 ... c Min unsat cost LB: 48833 ... c Min unsat cost LB: 48860 ... c Min unsat cost LB: 48862 ... c Min unsat cost LB: 48869 ... c Min unsat cost LB: 48870 ... c Min unsat cost LB: 48881 ... c Min unsat cost LB: 48883 ... c Min unsat cost LB: 48884 ... c Min unsat cost LB: 48885 ... c Min unsat cost LB: 48886 ... c Min unsat cost LB: 48888 ... c Min unsat cost LB: 48890 ... c Min unsat cost LB: 48893 ... c Min unsat cost LB: 48898 ... c Min unsat cost LB: 48899 ... c Min unsat cost LB: 48907 ... c Min unsat cost LB: 48913 ... c Min unsat cost LB: 48914 ... c Min unsat cost LB: 48915 ... c Min unsat cost LB: 48916 ... c Min unsat cost LB: 48917 ... c Min unsat cost LB: 48918 ... c Min unsat cost LB: 48921 ... c Min unsat cost LB: 48922 ... c Min unsat cost LB: 48923 ... c Min unsat cost LB: 48924 ... c Min unsat cost LB: 48925 ... c Min unsat cost LB: 48926 ... c Min unsat cost LB: 48928 ... c Min unsat cost LB: 48929 ... c Min unsat cost LB: 48934 ... c Min unsat cost LB: 48935 ... c Min unsat cost LB: 48938 ... c Min unsat cost LB: 48939 ... c Min unsat cost LB: 48940 ... c Min unsat cost LB: 48941 ... c Min unsat cost LB: 48942 ... c Min unsat cost LB: 48949 ... c Min unsat cost LB: 48950 ... c Min unsat cost LB: 48951 ... c Min unsat cost LB: 48952 ... c Min unsat cost LB: 48953 ... c Min unsat cost LB: 48954 ... c Min unsat cost LB: 48955 ... c Min unsat cost LB: 48956 ... c Min unsat cost LB: 48958 ... c Min unsat cost LB: 48959 ... c Min unsat cost LB: 48960 ... c Min unsat cost LB: 48961 ... c Min unsat cost LB: 48962 ... c Min unsat cost LB: 48963 ... c Min unsat cost LB: 48964 ... c Min unsat cost LB: 48967 ... c Min unsat cost LB: 48968 ... c Min unsat cost LB: 48971 ... c Min unsat cost LB: 48974 ... c Min unsat cost LB: 48975 ... c Min unsat cost LB: 48976 ... c Min unsat cost LB: 48977 ... c Min unsat cost LB: 48978 ... c Min unsat cost LB: 48979 ... c Min unsat cost LB: 49085 ... c Min unsat cost LB: 49095 ... c Min unsat cost LB: 49096 ... c Min unsat cost LB: 49155 ... c Min unsat cost LB: 49170 ... c Min unsat cost LB: 49171 ... c Min unsat cost LB: 49172 ... c Min unsat cost LB: 49173 ... c Min unsat cost LB: 49174 ... c Min unsat cost LB: 49175 ... c Min unsat cost LB: 49176 ... c Min unsat cost LB: 49177 ... c Min unsat cost LB: 49178 ... c Min unsat cost LB: 49179 ... c Min unsat cost LB: 49180 ... c Min unsat cost LB: 49181 ... c Min unsat cost LB: 49182 ... c Min unsat cost LB: 49183 ... c Min unsat cost LB: 49184 ... c Min unsat cost LB: 49185 ... c Min unsat cost LB: 49186 ... c Min unsat cost LB: 49187 ... c Min unsat cost LB: 49190 ... c Min unsat cost LB: 49191 ... c Min unsat cost LB: 49193 ... c Min unsat cost LB: 49200 ... c Min unsat cost LB: 49234 ... c Min unsat cost LB: 49238 ... c Min unsat cost LB: 49239 ... c Min unsat cost LB: 49240 ... c Min unsat cost LB: 49243 ... c Min unsat cost LB: 49244 ... c Min unsat cost LB: 49245 ... c Min unsat cost LB: 49246 ... c Min unsat cost LB: 49247 ... c Min unsat cost LB: 49248 ... c Min unsat cost LB: 49249 ... c Min unsat cost LB: 49250 ... c Min unsat cost LB: 49251 ... c Min unsat cost LB: 49252 ... c Min unsat cost LB: 49256 ... c Min unsat cost LB: 49258 ... c Min unsat cost LB: 49259 ... c Min unsat cost LB: 49261 ... c Min unsat cost LB: 49269 ... c Min unsat cost LB: 49271 ... c Min unsat cost LB: 49276 ... c Min unsat cost LB: 49277 ... c Min unsat cost LB: 49279 ... c Min unsat cost LB: 49284 ... c Min unsat cost LB: 49286 ... c Min unsat cost LB: 49291 ... c Min unsat cost LB: 49326 ... c Min unsat cost LB: 49327 ... c Min unsat cost LB: 49329 ... c Min unsat cost LB: 49330 ... c Min unsat cost LB: 49332 ... c Min unsat cost LB: 49333 ... c Min unsat cost LB: 49335 ... c Min unsat cost LB: 49336 ... c Min unsat cost LB: 49337 ... c Min unsat cost LB: 49339 ... c Min unsat cost LB: 49341 ... c Min unsat cost LB: 49342 ... c Min unsat cost LB: 49343 ... c Min unsat cost LB: 49346 ... c Min unsat cost LB: 49347 ... c Min unsat cost LB: 49351 ... c Min unsat cost LB: 49352 ... c Min unsat cost LB: 49354 ... c Min unsat cost LB: 49358 ... c Min unsat cost LB: 49359 ... c Min unsat cost LB: 49360 ... c Min unsat cost LB: 49361 ... c Min unsat cost LB: 49365 ... c Min unsat cost LB: 49368 ... c Min unsat cost LB: 49369 ... c Min unsat cost LB: 49370 ... c Min unsat cost LB: 49371 ... c Min unsat cost LB: 49372 ... c Min unsat cost LB: 49373 ... c Min unsat cost LB: 49374 ... c Min unsat cost LB: 49380 ... c Min unsat cost LB: 49381 ... c Min unsat cost LB: 49382 ... c Min unsat cost LB: 49383 ... c Min unsat cost LB: 49386 ... c Min unsat cost LB: 49394 ... c Min unsat cost LB: 49409 ... c Min unsat cost LB: 49423 ... c Min unsat cost LB: 49446 ... c Min unsat cost LB: 49454 ... c Min unsat cost LB: 49457 ... c Min unsat cost LB: 49465 ... c Min unsat cost LB: 49467 ... c Min unsat cost LB: 49475 ... c Min unsat cost LB: 49479 ... c Min unsat cost LB: 49483 ... c Min unsat cost LB: 49484 ... c Min unsat cost LB: 49485 ... c Min unsat cost LB: 49486 ... c Min unsat cost LB: 49490 ... c Min unsat cost LB: 49491 ... c Min unsat cost LB: 49500 ... c Min unsat cost LB: 49502 ... c Min unsat cost LB: 49503 ... c Min unsat cost LB: 49504 ... c Min unsat cost LB: 49511 ... c Min unsat cost LB: 49512 ... c Min unsat cost LB: 49513 ... c Min unsat cost LB: 49521 ... c Min unsat cost LB: 49522 ... c Min unsat cost LB: 49523 ... c Min unsat cost LB: 49532 ... c Min unsat cost LB: 49533 ... c Min unsat cost LB: 49534 ... c Min unsat cost LB: 49535 ... c Min unsat cost LB: 49542 ... c Min unsat cost LB: 49546 ... c Min unsat cost LB: 49548 ... c Min unsat cost LB: 49550 ... c Min unsat cost LB: 49554 ... c Min unsat cost LB: 49555 ... c Min unsat cost LB: 49556 ... c Min unsat cost LB: 49557 ... c Min unsat cost LB: 49558 ... c Min unsat cost LB: 49559 ... c Min unsat cost LB: 49560 ... c Min unsat cost LB: 49568 ... c Min unsat cost LB: 49576 ... c Min unsat cost LB: 49577 ... c Min unsat cost LB: 49578 ... c Min unsat cost LB: 49579 ... c Min unsat cost LB: 49580 ... c Min unsat cost LB: 49602 ... c Min unsat cost LB: 49611 ... c Min unsat cost LB: 49612 ... c Min unsat cost LB: 49613 ... c Min unsat cost LB: 49614 ... c Min unsat cost LB: 49615 ... c Min unsat cost LB: 49616 ... c Min unsat cost LB: 49617 ... c Min unsat cost LB: 49621 ... c Min unsat cost LB: 49623 ... c Min unsat cost LB: 49624 ... c Min unsat cost LB: 49625 ... c Min unsat cost LB: 49626 ... c Min unsat cost LB: 49627 ... c Min unsat cost LB: 49628 ... c Min unsat cost LB: 49629 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49631 ... c Min unsat cost LB: 49632 ... c Min unsat cost LB: 49633 ... c Min unsat cost LB: 49634 ... c Min unsat cost LB: 49637 ... c Min unsat cost LB: 49646 ... c Min unsat cost LB: 49647 ... c Min unsat cost LB: 49648 ... c Min unsat cost LB: 49650 ... c Min unsat cost LB: 49651 ... c Min unsat cost LB: 49673 ... c Min unsat cost LB: 49688 ... c Min unsat cost LB: 49689 ... c Min unsat cost LB: 49690 ... c Min unsat cost LB: 49695 ... c Min unsat cost LB: 49703 ... c Min unsat cost LB: 49721 ... c Min unsat cost LB: 49726 ... c Min unsat cost LB: 49731 ... c Min unsat cost LB: 49741 ... c Min unsat cost LB: 49744 ... c Min unsat cost LB: 49748 ... c Min unsat cost LB: 49749 ... c Min unsat cost LB: 49752 ... c Min unsat cost LB: 49753 ... c Min unsat cost LB: 49754 ... c Min unsat cost LB: 49755 ... c Min unsat cost LB: 49756 ... c Min unsat cost LB: 49758 ... c Min unsat cost LB: 49759 ... c Min unsat cost LB: 49760 ... c Min unsat cost LB: 49767 ... c Min unsat cost LB: 49775 ... c Min unsat cost LB: 49780 ... c Min unsat cost LB: 49787 ... c Min unsat cost LB: 49790 ... c Min unsat cost LB: 49791 ... c Min unsat cost LB: 49793 ... c Min unsat cost LB: 49794 ... c Min unsat cost LB: 49795 ... c Min unsat cost LB: 49809 ... c Min unsat cost LB: 49810 ... c Min unsat cost LB: 49811 ... c Min unsat cost LB: 49815 ... c Min unsat cost LB: 49816 ... c Min unsat cost LB: 49817 ... c Min unsat cost LB: 49821 ... c Min unsat cost LB: 49823 ... c Min unsat cost LB: 49825 ... c Min unsat cost LB: 49826 ... c Min unsat cost LB: 49828 ... c Min unsat cost LB: 49829 ... c Min unsat cost LB: 49830 ... c Min unsat cost LB: 49831 ... c Min unsat cost LB: 49832 ... c Min unsat cost LB: 49833 ... c Min unsat cost LB: 49834 ... c Min unsat cost LB: 49835 ... c Min unsat cost LB: 49836 ... c Min unsat cost LB: 49845 ... c Min unsat cost LB: 49846 ... c Min unsat cost LB: 49894 ... c Min unsat cost LB: 49909 ... c Min unsat cost LB: 49910 ... c Min unsat cost LB: 49911 ... c Min unsat cost LB: 49919 ... c Min unsat cost LB: 49953 ... c Min unsat cost LB: 49954 ... c Min unsat cost LB: 50012 ... c Min unsat cost LB: 50014 ... c Min unsat cost LB: 50016 ... c Min unsat cost LB: 50022 ... c Min unsat cost LB: 50023 ... c Min unsat cost LB: 50024 ... c Min unsat cost LB: 50025 ... c Min unsat cost LB: 50026 ... c Min unsat cost LB: 50027 ... c Min unsat cost LB: 50028 ... c Min unsat cost LB: 50029 ... c Min unsat cost LB: 50031 ... c Min unsat cost LB: 50040 ... c Min unsat cost LB: 50041 ... c Min unsat cost LB: 50042 ... c Min unsat cost LB: 50043 ... c Min unsat cost LB: 50044 ... c Min unsat cost LB: 50045 ... c Min unsat cost LB: 50046 ... c Min unsat cost LB: 50057 ... c Min unsat cost LB: 50058 ... c Min unsat cost LB: 50069 ... c Min unsat cost LB: 50071 ... c Min unsat cost LB: 50072 ... c Min unsat cost LB: 50075 ... c Min unsat cost LB: 50077 ... c Min unsat cost LB: 50078 ... c Min unsat cost LB: 50079 ... c Min unsat cost LB: 50080 ... c Min unsat cost LB: 50081 ... c Min unsat cost LB: 50082 ... c Min unsat cost LB: 50083 ... c Min unsat cost LB: 50084 ... c Min unsat cost LB: 50085 ... c Min unsat cost LB: 50086 ... c Min unsat cost LB: 50087 ... c Min unsat cost LB: 50088 ... c Min unsat cost LB: 50089 ... c Min unsat cost LB: 50090 ... c Min unsat cost LB: 50091 ... c Min unsat cost LB: 50092 ... c Min unsat cost LB: 50093 ... c Min unsat cost LB: 50094 ... c Min unsat cost LB: 50095 ... c Min unsat cost LB: 50096 ... c Min unsat cost LB: 50097 ... c Min unsat cost LB: 50098 ... c Min unsat cost LB: 50099 ... c Min unsat cost LB: 50100 ... c Min unsat cost LB: 50101 ... c Min unsat cost LB: 50102 ... c Min unsat cost LB: 50103 ... c Min unsat cost LB: 50104 ... c Min unsat cost LB: 50106 ... c Min unsat cost LB: 50107 ... c Min unsat cost LB: 50108 ... c Min unsat cost LB: 50109 ... c Min unsat cost LB: 50110 ... c Min unsat cost LB: 50111 ... c Min unsat cost LB: 50112 ... c Min unsat cost LB: 50113 ... c Min unsat cost LB: 50114 ... c Min unsat cost LB: 50115 ... c Min unsat cost LB: 50117 ... c Min unsat cost LB: 50119 ... c Min unsat cost LB: 50120 ... c Min unsat cost LB: 50121 ... c Min unsat cost LB: 50122 ... c Min unsat cost LB: 50123 ... c Min unsat cost LB: 50124 ... c Min unsat cost LB: 50125 ... c Min unsat cost LB: 50133 ... c Min unsat cost LB: 50134 ... c Min unsat cost LB: 50135 ... c Min unsat cost LB: 50136 ... c Min unsat cost LB: 50137 ... c Min unsat cost LB: 50140 ... c Min unsat cost LB: 50141 ... c Min unsat cost LB: 50142 ... c Min unsat cost LB: 50146 ... c Min unsat cost LB: 50147 ... c Min unsat cost LB: 50154 ... c Min unsat cost LB: 50202 ... c Min unsat cost LB: 50203 ... c Min unsat cost LB: 50204 ... c Min unsat cost LB: 50205 ... c Min unsat cost LB: 50206 ... c Min unsat cost LB: 50207 ... c Min unsat cost LB: 50211 ... c Min unsat cost LB: 50212 ... c Min unsat cost LB: 50213 ... c Min unsat cost LB: 50214 ... c Min unsat cost LB: 50215 ... c Min unsat cost LB: 50216 ... c Min unsat cost LB: 50217 ... c Min unsat cost LB: 50218 ... c Min unsat cost LB: 50219 ... c Min unsat cost LB: 50220 ... c Min unsat cost LB: 50221 ... c Min unsat cost LB: 50222 ... c Min unsat cost LB: 50223 ... c Min unsat cost LB: 50224 ... c Min unsat cost LB: 50225 ... c Min unsat cost LB: 50226 ... c Min unsat cost LB: 50227 ... c Min unsat cost LB: 50228 ... c Min unsat cost LB: 50229 ... c Min unsat cost LB: 50230 ... c Min unsat cost LB: 50231 ... c Min unsat cost LB: 50232 ... c Min unsat cost LB: 50235 ... c Min unsat cost LB: 50236 ... c Min unsat cost LB: 50237 ... c Min unsat cost LB: 50238 ... c Min unsat cost LB: 50241 ... c Min unsat cost LB: 50242 ... c Min unsat cost LB: 50245 ... c Min unsat cost LB: 50247 ... c Min unsat cost LB: 50248 ... c Min unsat cost LB: 50249 ... c Min unsat cost LB: 50250 ... c Min unsat cost LB: 50251 ... c Min unsat cost LB: 50252 ... c Min unsat cost LB: 50253 ... c Min unsat cost LB: 50254 ... c Min unsat cost LB: 50255 ... c Min unsat cost LB: 50256 ... c Min unsat cost LB: 50257 ... c Min unsat cost LB: 50258 ... c Min unsat cost LB: 50259 ... c Min unsat cost LB: 50260 ... c Min unsat cost LB: 50261 ... c Min unsat cost LB: 50262 ... c Min uKilled 1817.300u 2.440s 30:23.57 99.7% 0+0k 0+0io 0pf+0w