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_PATHS_cat_paths_60_150_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0000.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_PATHS/cat_paths_60_150_0000.txt.wcnf *** c c Min unsat cost LB: 275 ... c Min unsat cost LB: 886 ... c Min unsat cost LB: 1497 ... c Min unsat cost LB: 1917 ... c Min unsat cost LB: 2460 ... c Min unsat cost LB: 2848 ... c Min unsat cost LB: 3491 ... c Min unsat cost LB: 4130 ... c Min unsat cost LB: 4769 ... c Min unsat cost LB: 4946 ... c Min unsat cost LB: 5578 ... c Min unsat cost LB: 5733 ... c Min unsat cost LB: 6188 ... c Min unsat cost LB: 6799 ... c Min unsat cost LB: 7119 ... c Min unsat cost LB: 7571 ... c Min unsat cost LB: 7622 ... c Min unsat cost LB: 8233 ... c Min unsat cost LB: 8736 ... c Min unsat cost LB: 9264 ... c Min unsat cost LB: 9637 ... c Min unsat cost LB: 10248 ... c Min unsat cost LB: 11036 ... c Min unsat cost LB: 11181 ... c Min unsat cost LB: 11724 ... c Min unsat cost LB: 12139 ... c Min unsat cost LB: 12682 ... c Min unsat cost LB: 13321 ... c Min unsat cost LB: 13390 ... c Min unsat cost LB: 14178 ... c Min unsat cost LB: 14429 ... c Min unsat cost LB: 14830 ... c Min unsat cost LB: 14928 ... c Min unsat cost LB: 15036 ... c Min unsat cost LB: 15549 ... c Min unsat cost LB: 15749 ... c Min unsat cost LB: 16582 ... c Min unsat cost LB: 16711 ... c Min unsat cost LB: 16764 ... c Min unsat cost LB: 16878 ... c Min unsat cost LB: 17219 ... c Min unsat cost LB: 17353 ... c Min unsat cost LB: 17449 ... c Min unsat cost LB: 18095 ... c Min unsat cost LB: 18981 ... c Min unsat cost LB: 19524 ... c Min unsat cost LB: 20092 ... c Min unsat cost LB: 20410 ... c Min unsat cost LB: 21569 ... c Min unsat cost LB: 21791 ... c Min unsat cost LB: 22448 ... c Min unsat cost LB: 22507 ... c Min unsat cost LB: 23055 ... c Min unsat cost LB: 23083 ... c Min unsat cost LB: 23461 ... c Min unsat cost LB: 23569 ... c Min unsat cost LB: 24463 ... c Min unsat cost LB: 24921 ... c Min unsat cost LB: 25254 ... c Min unsat cost LB: 25756 ... c Min unsat cost LB: 26273 ... c Min unsat cost LB: 26656 ... c Min unsat cost LB: 27158 ... c Min unsat cost LB: 27616 ... c Min unsat cost LB: 27714 ... c Min unsat cost LB: 28521 ... c Min unsat cost LB: 28808 ... c Min unsat cost LB: 28933 ... c Min unsat cost LB: 29231 ... c Min unsat cost LB: 29703 ... c Min unsat cost LB: 29734 ... c Min unsat cost LB: 30433 ... c Min unsat cost LB: 31001 ... c Min unsat cost LB: 31333 ... c Min unsat cost LB: 31700 ... c Min unsat cost LB: 31915 ... c Min unsat cost LB: 32614 ... c Min unsat cost LB: 33421 ... c Min unsat cost LB: 33690 ... c Min unsat cost LB: 34207 ... c Min unsat cost LB: 34555 ... c Min unsat cost LB: 35118 ... c Min unsat cost LB: 35788 ... c Min unsat cost LB: 36040 ... c Min unsat cost LB: 36198 ... c Min unsat cost LB: 36361 ... c Min unsat cost LB: 36459 ... c Min unsat cost LB: 37113 ... c Min unsat cost LB: 37676 ... c Min unsat cost LB: 38068 ... c Min unsat cost LB: 38210 ... c Min unsat cost LB: 38985 ... c Min unsat cost LB: 39100 ... c Min unsat cost LB: 39199 ... c Min unsat cost LB: 39228 ... c Min unsat cost LB: 39564 ... c Min unsat cost LB: 39666 ... c Min unsat cost LB: 39926 ... c Min unsat cost LB: 40787 ... c Min unsat cost LB: 40914 ... c Min unsat cost LB: 41613 ... c Min unsat cost LB: 42429 ... c Min unsat cost LB: 42523 ... c Min unsat cost LB: 42640 ... c Min unsat cost LB: 42833 ... c Min unsat cost LB: 43487 ... c Min unsat cost LB: 43546 ... c Min unsat cost LB: 43818 ... c Min unsat cost LB: 43822 ... c Min unsat cost LB: 44638 ... c Min unsat cost LB: 44740 ... c Min unsat cost LB: 44814 ... c Min unsat cost LB: 45394 ... c Min unsat cost LB: 45418 ... c Min unsat cost LB: 45513 ... c Min unsat cost LB: 45641 ... c Min unsat cost LB: 45739 ... c Min unsat cost LB: 45880 ... c Min unsat cost LB: 46028 ... c Min unsat cost LB: 46118 ... c Min unsat cost LB: 46167 ... c Min unsat cost LB: 46216 ... c Min unsat cost LB: 46266 ... c Min unsat cost LB: 46428 ... c Min unsat cost LB: 46761 ... c Min unsat cost LB: 46775 ... c Min unsat cost LB: 46835 ... c Min unsat cost LB: 47012 ... c Min unsat cost LB: 47207 ... c Min unsat cost LB: 47260 ... c Min unsat cost LB: 47582 ... c Min unsat cost LB: 47610 ... c Min unsat cost LB: 47655 ... c Min unsat cost LB: 47758 ... c Min unsat cost LB: 47782 ... c Min unsat cost LB: 48216 ... c Min unsat cost LB: 48274 ... c Min unsat cost LB: 48486 ... c Min unsat cost LB: 48533 ... c Min unsat cost LB: 48740 ... c Min unsat cost LB: 48898 ... c Min unsat cost LB: 48933 ... c Min unsat cost LB: 49061 ... c Min unsat cost LB: 49129 ... c Min unsat cost LB: 49223 ... c Min unsat cost LB: 49440 ... c Min unsat cost LB: 49799 ... c Min unsat cost LB: 49824 ... c Min unsat cost LB: 49918 ... c Min unsat cost LB: 50106 ... c Min unsat cost LB: 50204 ... c Min unsat cost LB: 50263 ... c Min unsat cost LB: 50314 ... c Min unsat cost LB: 50545 ... c Min unsat cost LB: 50559 ... c Min unsat cost LB: 50586 ... c Min unsat cost LB: 50615 ... c Min unsat cost LB: 50634 ... c Min unsat cost LB: 50677 ... c Min unsat cost LB: 50704 ... c Min unsat cost LB: 51075 ... c Min unsat cost LB: 51166 ... c Min unsat cost LB: 51205 ... c Min unsat cost LB: 51241 ... c Min unsat cost LB: 51313 ... c Min unsat cost LB: 51332 ... c Min unsat cost LB: 51336 ... c Min unsat cost LB: 51408 ... c Min unsat cost LB: 51498 ... c Min unsat cost LB: 51503 ... c Min unsat cost LB: 51631 ... c Min unsat cost LB: 51656 ... c Min unsat cost LB: 51676 ... c Min unsat cost LB: 51772 ... c Min unsat cost LB: 51958 ... c Min unsat cost LB: 51981 ... c Min unsat cost LB: 52016 ... c Min unsat cost LB: 52018 ... c Min unsat cost LB: 52036 ... c Min unsat cost LB: 52066 ... c Min unsat cost LB: 52181 ... c Min unsat cost LB: 52256 ... c Min unsat cost LB: 52307 ... c Min unsat cost LB: 52348 ... c Min unsat cost LB: 52406 ... c Min unsat cost LB: 52415 ... c Min unsat cost LB: 52439 ... c Min unsat cost LB: 52450 ... c Min unsat cost LB: 52483 ... c Min unsat cost LB: 52608 ... c Min unsat cost LB: 52664 ... c Min unsat cost LB: 52911 ... c Min unsat cost LB: 53064 ... c Min unsat cost LB: 53107 ... c Min unsat cost LB: 53131 ... c Min unsat cost LB: 53150 ... c Min unsat cost LB: 53204 ... c Min unsat cost LB: 53258 ... c Min unsat cost LB: 53259 ... c Min unsat cost LB: 53268 ... c Min unsat cost LB: 53282 ... c Min unsat cost LB: 53309 ... c Min unsat cost LB: 53319 ... c Min unsat cost LB: 53324 ... c Min unsat cost LB: 53369 ... c Min unsat cost LB: 53472 ... c Min unsat cost LB: 53485 ... c Min unsat cost LB: 53498 ... c Min unsat cost LB: 53501 ... c Min unsat cost LB: 53527 ... c Min unsat cost LB: 53566 ... c Min unsat cost LB: 53569 ... c Min unsat cost LB: 53654 ... c Min unsat cost LB: 53705 ... c Min unsat cost LB: 53756 ... c Min unsat cost LB: 53764 ... c Min unsat cost LB: 53773 ... c Min unsat cost LB: 53833 ... c Min unsat cost LB: 53868 ... c Min unsat cost LB: 54039 ... c Min unsat cost LB: 54055 ... c Min unsat cost LB: 54146 ... c Min unsat cost LB: 54218 ... c Min unsat cost LB: 54228 ... c Min unsat cost LB: 54292 ... c Min unsat cost LB: 54335 ... c Min unsat cost LB: 54496 ... c Min unsat cost LB: 54562 ... c Min unsat cost LB: 54590 ... c Min unsat cost LB: 54617 ... c Min unsat cost LB: 54635 ... c Min unsat cost LB: 54644 ... c Min unsat cost LB: 54702 ... c Min unsat cost LB: 54730 ... c Min unsat cost LB: 54746 ... c Min unsat cost LB: 54749 ... c Min unsat cost LB: 54791 ... c Min unsat cost LB: 54867 ... c Min unsat cost LB: 54923 ... c Min unsat cost LB: 54928 ... c Min unsat cost LB: 54994 ... c Min unsat cost LB: 55004 ... c Min unsat cost LB: 55045 ... c Min unsat cost LB: 55225 ... c Min unsat cost LB: 55233 ... c Min unsat cost LB: 55281 ... c Min unsat cost LB: 55286 ... c Min unsat cost LB: 55447 ... c Min unsat cost LB: 55597 ... c Min unsat cost LB: 55627 ... c Min unsat cost LB: 55640 ... c Min unsat cost LB: 55714 ... c Min unsat cost LB: 55719 ... c Min unsat cost LB: 55764 ... c Min unsat cost LB: 55825 ... c Min unsat cost LB: 55864 ... c Min unsat cost LB: 55887 ... c Min unsat cost LB: 55914 ... c Min unsat cost LB: 55964 ... c Min unsat cost LB: 56028 ... c Min unsat cost LB: 56139 ... c Min unsat cost LB: 56166 ... c Min unsat cost LB: 56358 ... c Min unsat cost LB: 56387 ... c Min unsat cost LB: 56390 ... c Min unsat cost LB: 56492 ... c Min unsat cost LB: 56545 ... c Min unsat cost LB: 56605 ... c Min unsat cost LB: 56867 ... c Min unsat cost LB: 56881 ... c Min unsat cost LB: 56906 ... c Min unsat cost LB: 56937 ... c Min unsat cost LB: 56986 ... c Min unsat cost LB: 57011 ... c Min unsat cost LB: 57015 ... c Min unsat cost LB: 57050 ... c Min unsat cost LB: 57069 ... c Min unsat cost LB: 57087 ... c Min unsat cost LB: 57102 ... c Min unsat cost LB: 57129 ... c Min unsat cost LB: 57209 ... c Min unsat cost LB: 57253 ... c Min unsat cost LB: 57286 ... c Min unsat cost LB: 57317 ... c Min unsat cost LB: 57346 ... c Min unsat cost LB: 57355 ... c Min unsat cost LB: 57356 ... c Min unsat cost LB: 57383 ... c Min unsat cost LB: 57435 ... c Min unsat cost LB: 57524 ... c Min unsat cost LB: 57535 ... c Min unsat cost LB: 57595 ... c Min unsat cost LB: 57602 ... c Min unsat cost LB: 57618 ... c Min unsat cost LB: 57620 ... c Min unsat cost LB: 57634 ... c Min unsat cost LB: 57646 ... c Min unsat cost LB: 57664 ... c Min unsat cost LB: 57672 ... c Min unsat cost LB: 57677 ... c Min unsat cost LB: 57712 ... c Min unsat cost LB: 57747 ... c Min unsat cost LB: 57751 ... c Min unsat cost LB: 57757 ... c Min unsat cost LB: 57917 ... c Min unsat cost LB: 57921 ... c Min unsat cost LB: 57936 ... c Min unsat cost LB: 57943 ... c Min unsat cost LB: 57951 ... c Min unsat cost LB: 57969 ... c Min unsat cost LB: 57971 ... c Min unsat cost LB: 57977 ... c Min unsat cost LB: 57979 ... c Min unsat cost LB: 57990 ... c Min unsat cost LB: 57995 ... c Min unsat cost LB: 58036 ... c Min unsat cost LB: 58041 ... c Min unsat cost LB: 58061 ... c Min unsat cost LB: 58071 ... c Min unsat cost LB: 58104 ... c Min unsat cost LB: 58107 ... c Min unsat cost LB: 58113 ... c Min unsat cost LB: 58134 ... c Min unsat cost LB: 58148 ... c Min unsat cost LB: 58149 ... c Min unsat cost LB: 58158 ... c Min unsat cost LB: 58160 ... c Min unsat cost LB: 58185 ... c Min unsat cost LB: 58210 ... c Min unsat cost LB: 58212 ... c Min unsat cost LB: 58217 ... c Min unsat cost LB: 58224 ... c Min unsat cost LB: 58230 ... c Min unsat cost LB: 58236 ... c Min unsat cost LB: 58240 ... c Min unsat cost LB: 58251 ... c Min unsat cost LB: 58255 ... c Min unsat cost LB: 58265 ... c Min unsat cost LB: 58273 ... c Min unsat cost LB: 58282 ... c Min unsat cost LB: 58303 ... c Min unsat cost LB: 58308 ... c Min unsat cost LB: 58321 ... c Min unsat cost LB: 58323 ... c Min unsat cost LB: 58324 ... c Min unsat cost LB: 58326 ... c Min unsat cost LB: 58331 ... c Min unsat cost LB: 58338 ... c Min unsat cost LB: 58343 ... c Min unsat cost LB: 58346 ... c Min unsat cost LB: 58350 ... c Min unsat cost LB: 58357 ... c Min unsat cost LB: 58360 ... c Min unsat cost LB: 58362 ... c Min unsat cost LB: 58370 ... c Min unsat cost LB: 58375 ... c Min unsat cost LB: 58379 ... c Min unsat cost LB: 58383 ... c Min unsat cost LB: 58397 ... c Min unsat cost LB: 58405 ... c Min unsat cost LB: 58410 ... c Min unsat cost LB: 58414 ... c Min unsat cost LB: 58417 ... c Min unsat cost LB: 58420 ... c Min unsat cost LB: 58432 ... c Min unsat cost LB: 58440 ... c Min unsat cost LB: 58441 ... c Min unsat cost LB: 58443 ... c Min unsat cost LB: 58457 ... c Min unsat cost LB: 58482 ... c Min unsat cost LB: 58490 ... c Min unsat cost LB: 58502 ... c Min unsat cost LB: 58508 ... c Min unsat cost LB: 58513 ... c Min unsat cost LB: 58521 ... c Min unsat cost LB: 58523 ... c Min unsat cost LB: 58524 ... c Min unsat cost LB: 58529 ... c Min unsat cost LB: 58538 ... c Min unsat cost LB: 58540 ... c Min unsat cost LB: 58563 ... c Min unsat cost LB: 58565 ... c Min unsat cost LB: 58566 ... c Min unsat cost LB: 58567 ... c Min unsat cost LB: 58569 ... c Min unsat cost LB: 58573 ... c Min unsat cost LB: 58574 ... c Min unsat cost LB: 58584 ... c Min unsat cost LB: 58629 ... c Min unsat cost LB: 58636 ... c Min unsat cost LB: 58639 ... c Min unsat cost LB: 58640 ... c Min unsat cost LB: 58648 ... c Min unsat cost LB: 58652 ... c Min unsat cost LB: 58663 ... c Min unsat cost LB: 58670 ... c Min unsat cost LB: 58671 ... c Min unsat cost LB: 58675 ... c Min unsat cost LB: 58677 ... c Min unsat cost LB: 58685 ... c Min unsat cost LB: 58690 ... c Min unsat cost LB: 58691 ... c Min unsat cost LB: 58698 ... c Min unsat cost LB: 58699 ... c Min unsat cost LB: 58700 ... c Min unsat cost LB: 58707 ... c Min unsat cost LB: 58708 ... c Min unsat cost LB: 58709 ... c Min unsat cost LB: 58734 ... c Min unsat cost LB: 58739 ... c Min unsat cost LB: 58740 ... c Min unsat cost LB: 58758 ... c Min unsat cost LB: 58759 ... c Min unsat cost LB: 58762 ... c Min unsat cost LB: 58765 ... c Min unsat cost LB: 58769 ... c Min unsat cost LB: 58784 ... c Min unsat cost LB: 58788 ... c Min unsat cost LB: 58806 ... c Min unsat cost LB: 58809 ... c Min unsat cost LB: 58812 ... c Min unsat cost LB: 58820 ... c Min unsat cost LB: 58821 ... c Min unsat cost LB: 58822 ... c Min unsat cost LB: 58824 ... c Min unsat cost LB: 58833 ... c Min unsat cost LB: 58834 ... c Min unsat cost LB: 58835 ... c Min unsat cost LB: 58836 ... c Min unsat cost LB: 58838 ... c Min unsat cost LB: 58841 ... c Min unsat cost LB: 58842 ... c Min unsat cost LB: 58862 ... c Min unsat cost LB: 58867 ... c Min unsat cost LB: 58870 ... c Min unsat cost LB: 58873 ... c Min unsat cost LB: 58879 ... c Min unsat cost LB: 58880 ... c Min unsat cost LB: 58886 ... c Min unsat cost LB: 58889 ... c Min unsat cost LB: 58890 ... c Min unsat cost LB: 58902 ... c Min unsat cost LB: 58912 ... c Min unsat cost LB: 58917 ... c Min unsat cost LB: 58918 ... c Min unsat cost LB: 58919 ... c Min unsat cost LB: 58920 ... c Min unsat cost LB: 58923 ... c Min unsat cost LB: 58925 ... c Min unsat cost LB: 58929 ... c Min unsat cost LB: 58934 ... c Min unsat cost LB: 58935 ... c Min unsat cost LB: 58940 ... c Min unsat cost LB: 58942 ... c Min unsat cost LB: 58959 ... c Min unsat cost LB: 58966 ... c Min unsat cost LB: 58974 ... c Min unsat cost LB: 58980 ... c Min unsat cost LB: 58983 ... c Min unsat cost LB: 58984 ... c Min unsat cost LB: 58996 ... c Min unsat cost LB: 58997 ... c Min unsat cost LB: 59003 ... c Min unsat cost LB: 59004 ... c Min unsat cost LB: 59005 ... c Min unsat cost LB: 59006 ... c Min unsat cost LB: 59010 ... c Min unsat cost LB: 59030 ... c Min unsat cost LB: 59037 ... c Min unsat cost LB: 59039 ... c Min unsat cost LB: 59041 ... c Min unsat cost LB: 59042 ... c Min unsat cost LB: 59131 ... c Min unsat cost LB: 59135 ... c Min unsat cost LB: 59137 ... c Min unsat cost LB: 59138 ... c Min unsat cost LB: 59142 ... c Min unsat cost LB: 59144 ... c Min unsat cost LB: 59152 ... c Min unsat cost LB: 59163 ... c Min unsat cost LB: 59179 ... c Min unsat cost LB: 59182 ... c Min unsat cost LB: 59183 ... c Min unsat cost LB: 59184 ... c Min unsat cost LB: 59185 ... c Min unsat cost LB: 59186 ... c Min unsat cost LB: 59190 ... c Min unsat cost LB: 59191 ... c Min unsat cost LB: 59192 ... c Min unsat cost LB: 59197 ... c Min unsat cost LB: 59205 ... c Min unsat cost LB: 59208 ... c Min unsat cost LB: 59212 ... c Min unsat cost LB: 59213 ... c Min unsat cost LB: 59223 ... c Min unsat cost LB: 59227 ... c Min unsat cost LB: 59228 ... c Min unsat cost LB: 59232 ... c Min unsat cost LB: 59233 ... c Min unsat cost LB: 59235 ... c Min unsat cost LB: 59244 ... c Min unsat cost LB: 59245 ... c Min unsat cost LB: 59246 ... c Min unsat cost LB: 59254 ... c Min unsat cost LB: 59257 ... c Min unsat cost LB: 59258 ... c Min unsat cost LB: 59259 ... c Min unsat cost LB: 59261 ... c Min unsat cost LB: 59262 ... c Min unsat cost LB: 59264 ... c Min unsat cost LB: 59265 ... c Min unsat cost LB: 59270 ... c Min unsat cost LB: 59272 ... c Min unsat cost LB: 59276 ... c Min unsat cost LB: 59278 ... c Min unsat cost LB: 59279 ... c Min unsat cost LB: 59281 ... c Min unsat cost LB: 59282 ... c Min unsat cost LB: 59283 ... c Min unsat cost LB: 59284 ... c Min unsat cost LB: 59286 ... c Min unsat cost LB: 59288 ... c Min unsat cost LB: 59289 ... c Min unsat cost LB: 59290 ... c Min unsat cost LB: 59291 ... c Min unsat cost LB: 59293 ... c Min unsat cost LB: 59294 ... c Min unsat cost LB: 59296 ... c Min unsat cost LB: 59297 ... c Min unsat cost LB: 59298 ... c Min unsat cost LB: 59301 ... c Min unsat cost LB: 59303 ... c Min unsat cost LB: 59304 ... c Min unsat cost LB: 59307 ... c Min unsat cost LB: 59308 ... c Min unsat cost LB: 59309 ... c Min unsat cost LB: 59310 ... c Min unsat cost LB: 59311 ... c Min unsat cost LB: 59313 ... c Min unsat cost LB: 59314 ... c Min unsat cost LB: 59332 ... c Min unsat cost LB: 59333 ... c Min unsat cost LB: 59335 ... c Min unsat cost LB: 59338 ... c Min unsat cost LB: 59341 ... c Min unsat cost LB: 59348 ... c Min unsat cost LB: 59351 ... c Min unsat cost LB: 59353 ... c Min unsat cost LB: 59355 ... c Min unsat cost LB: 59356 ... c Min unsat cost LB: 59357 ... c Min unsat cost LB: 59360 ... c Min unsat cost LB: 59364 ... c Min unsat cost LB: 59369 ... c Min unsat cost LB: 59373 ... c Min unsat cost LB: 59396 ... c Min unsat cost LB: 59397 ... c Min unsat cost LB: 59401 ... c Min unsat cost LB: 59402 ... c Min unsat cost LB: 59412 ... c Min unsat cost LB: 59413 ... c Min unsat cost LB: 59417 ... c Min unsat cost LB: 59427 ... c Min unsat cost LB: 59428 ... c Min unsat cost LB: 59454 ... c Min unsat cost LB: 59456 ... c Min unsat cost LB: 59457 ... c Min unsat cost LB: 59475 ... c Min unsat cost LB: 59476 ... c Min unsat cost LB: 59478 ... c Min unsat cost LB: 59479 ... c Min unsat cost LB: 59481 ... c Min unsat cost LB: 59484 ... c Min unsat cost LB: 59485 ... c Min unsat cost LB: 59489 ... c Min unsat cost LB: 59490 ... c Min unsat cost LB: 59492 ... c Min unsat cost LB: 59493 ... c Min unsat cost LB: 59495 ... c Min unsat cost LB: 59498 ... c Min unsat cost LB: 59500 ... c Min unsat cost LB: 59503 ... c Min unsat cost LB: 59504 ... c Min unsat cost LB: 59505 ... c Min unsat cost LB: 59506 ... c Min unsat cost LB: 59521 ... c Min unsat cost LB: 59522 ... c Min unsat cost LB: 59523 ... c Min unsat cost LB: 59524 ... c Min unsat cost LB: 59528 ... c Min unsat cost LB: 59531 ... c Min unsat cost LB: 59534 ... c Min unsat cost LB: 59537 ... c Min unsat cost LB: 59540 ... c Min unsat cost LB: 59556 ... c Min unsat cost LB: 59558 ... c Min unsat cost LB: 59560 ... c Min unsat cost LB: 59564 ... c Min unsat cost LB: 59565 ... c Min unsat cost LB: 59566 ... c Min unsat cost LB: 59568 ... c Min unsat cost LB: 59569 ... c Min unsat cost LB: 59570 ... c Min unsat cost LB: 59575 ... c Min unsat cost LB: 59578 ... c Min unsat cost LB: 59579 ... c Min unsat cost LB: 59580 ... c Min unsat cost LB: 59581 ... c Min unsat cost LB: 59582 ... c Min unsat cost LB: 59584 ... c Min unsat cost LB: 59587 ... c Min unsat cost LB: 59589 ... c Min unsat cost LB: 59592 ... c Min unsat cost LB: 59593 ... c Min unsat cost LB: 59595 ... c Min unsat cost LB: 59599 ... c Min unsat cost LB: 59601 ... c Min unsat cost LB: 59602 ... c Min unsat cost LB: 59603 ... c Min unsat cost LB: 59605 ... c Min unsat cost LB: 59607 ... c Min unsat cost LB: 59608 ... c Min unsat cost LB: 59613 ... c Min unsat cost LB: 59614 ... c Min unsat cost LB: 59615 ... c Min unsat cost LB: 59616 ... c Min unsat cost LB: 59617 ... c Min unsat cost LB: 59618 ... c Min unsat cost LB: 59620 ... c Min unsat cost LB: 59621 ... c Min unsat cost LB: 59622 ... c Min unsat cost LB: 59623 ... c Min unsat cost LB: 59630 ... c Min unsat cost LB: 59631 ... c Min unsat cost LB: 59632 ... c Min unsat cost LB: 59639 ... c Min unsat cost LB: 59641 ... c Min unsat cost LB: 59642 ... c Min unsat cost LB: 59645 ... c Min unsat cost LB: 59646 ... c Min unsat cost LB: 59647 ... c Min unsat cost LB: 59648 ... c Min unsat cost LB: 59653 ... c Min unsat cost LB: 59658 ... c Min unsat cost LB: 59659 ... c Min unsat cost LB: 59660 ... c Min unsat cost LB: 59661 ... c Min unsat cost LB: 59662 ... c Min unsat cost LB: 59664 ... c Min unsat cost LB: 59666 ... c Min unsat cost LB: 59667 ... c Min unsat cost LB: 59668 ... c Min unsat cost LB: 59669 ... c Min unsat cost LB: 59670 ... c Min unsat cost LB: 59671 ... c Min unsat cost LB: 59672 ... c Min unsat cost LB: 59673 ... c Min unsat cost LB: 59675 ... c Min unsat cost LB: 59676 ... c Min unsat cost LB: 59677 ... c Min unsat cost LB: 59678 ... c Min unsat cost LB: 59680 ... c Min unsat cost LB: 59687 ... c Min unsat cost LB: 59689 ... c Min unsat cost LB: 59693 ... c Min unsat cost LB: 59698 ... c Min unsat cost LB: 59705 ... c Min unsat cost LB: 59711 ... c Min unsat cost LB: 59712 ... c Min unsat cost LB: 59713 ... c Min unsat cost LB: 59715 ... c Min unsat cost LB: 59716 ... c Min unsat cost LB: 59717 ... c Min unsat cost LB: 59719 ... c Min unsat cost LB: 59724 ... c Min unsat cost LB: 59725 ... c Min unsat cost LB: 59732 ... c Min unsat cost LB: 59733 ... c Min unsat cost LB: 59734 ... c Min unsat cost LB: 59736 ... c Min unsat cost LB: 59737 ... c Min unsat cost LB: 59738 ... c Min unsat cost LB: 59740 ... c Min unsat cost LB: 59741 ... c Min unsat cost LB: 59744 ... c Min unsat cost LB: 59745 ... c Min unsat cost LB: 59756 ... c Min unsat cost LB: 59757 ... c Min unsat cost LB: 59758 ... c Min unsat cost LB: 59763 ... c Min unsat cost LB: 59767 ... c Min unsat cost LB: 59770 ... c Min unsat cost LB: 59772 ... c Min unsat cost LB: 59773 ... c Min unsat cost LB: 59774 ... c Min unsat cost LB: 59775 ... c Min unsat cost LB: 59776 ... c Min unsat cost LB: 59777 ... c Min unsat cost LB: 59778 ... c Min unsat cost LB: 59779 ... c Min unsat cost LB: 59780 ... c Min unsat cost LB: 59782 ... c Min unsat cost LB: 59790 ... c Min unsat cost LB: 59792 ... c Min unsat cost LB: 59794 ... c Min unsat cost LB: 59810 ... c Min unsat cost LB: 59812 ... c Min unsat cost LB: 59815 ... c Min unsat cost LB: 59821 ... c Min unsat cost LB: 59822 ... c Min unsat cost LB: 59823 ... c Min unsat cost LB: 59824 ... c Min unsat cost LB: 59828 ... c Min unsat cost LB: 59830 ... c Min unsat cost LB: 59831 ... c Min unsat cost LB: 59832 ... c Min unsat cost LB: 59834 ... c Min unsat cost LB: 59835 ... c Min unsat cost LB: 59836 ... c Min unsat cost LB: 59839 ... c Min unsat cost LB: 59840 ... c Min unsat cost LB: 59841 ... c Min unsat cost LB: 59845 ... c Min unsat cost LB: 59846 ... c Min unsat cost LB: 59847 ... c Min unsat cost LB: 59851 ... c Min unsat cost LB: 59873 ... c Min unsat cost LB: 59876 ... c Min unsat cost LB: 59878 ... c Min unsat cost LB: 59879 ... c Min unsat cost LB: 59880 ... c Min unsat cost LB: 59881 ... c Min unsat cost LB: 59882 ... c Min unsat cost LB: 59883 ... c Min unsat cost LB: 59884 ... c Min unsat cost LB: 59885 ... c Min unsat cost LB: 59886 ... c Min unsat cost LB: 59887 ... c Min unsat cost LB: 59888 ... c Min unsat cost LB: 59889 ... c Min unsat cost LB: 59890 ... c Min unsat cost LB: 59891 ... c Min unsat cost LB: 59892 ... c Min unsat cost LB: 59893 ... c Min unsat cost LB: 59894 ... c Min unsat cost LB: 59895 ... c Min unsat cost LB: 59896 ... c Min unsat cost LB: 59897 ... c Min unsat cost LB: 59898 ... c Min unsat cost LB: 59901 ... c Min unsat cost LB: 59902 ... c Min unsat cost LB: 59904 ... c Min unsat cost LB: 59905 ... c Min unsat cost LB: 59906 ... c Min unsat cost LB: 59907 ... c Min unsat cost LB: 59908 ... c Min unsat cost LB: 59924 ... c Min unsat cost LB: 59926 ... c Min unsat cost LB: 59927 ... c Min unsat cost LB: 59928 ... c Min unsat cost LB: 59929 ... c Min unsat cost LB: 59930 ... c Min unsat cost LB: 59932 ... c Min unsat cost LB: 59936 ... c Min unsat cost LB: 59937 ... c Min unsat cost LB: 59938 ... c Min unsat cost LB: 59940 ... c Min unsat cost LB: 59942 ... c Min unsat cost LB: 59943 ... c Min unsat cost LB: 59944 ... c Min unsat cost LB: 59945 ... c Min unsat cost LB: 59946 ... c Min unsat cost LB: 59947 ... c Min unsat cost LB: 59948 ... c Min unsat cost LB: 59949 ... c Min unsat cost LB: 59950 ... c Min unsat cost LB: 59951 ... c Min unsat cost LB: 59952 ... c Min unsat cost LB: 59956 ... c Min unsat cost LB: 59957 ... c Min unsat cost LB: 59958 ... c Min unsat cost LB: 59959 ... c Min unsat cost LB: 59963 ... c Min unsat cost LB: 59965 ... c Min unsat cost LB: 59968 ... c Min unsat cost LB: 60001 ... c Min unsat cost LB: 60002 ... c Min unsat cost LB: 60003 ... c Min unsat cost LB: 60004 ... c Min unsat cost LB: 60005 ... c Min unsat cost LB: 60006 ... c Min unsat cost LB: 60007 ... c Min unsat cost LB: 60010 ... c Min unsat cost LB: 60013 ... c Min unsat cost LB: 60014 ... c Min unsat cost LB: 60015 ... c Min unsat cost LB: 60016 ... c Min unsat cost LB: 60017 ... c Min unsat cost LB: 60018 ... c Min unsat cost LB: 60019 ... c Min unsat cost LB: 60020 ... c Min unsat cost LB: 60021 ... c Min unsat cost LB: 60022 ... c Min unsat cost LB: 60023 ... c Min unsat cost LB: 60025 ... c Min unsat cost LB: 60026 ... c Min unsat cost LB: 60027 ... c Min unsat cost LB: 60028 ... c Min unsat cost LB: 60029 ... c Min unsat cost LB: 60032 ... c Min unsat cost LB: 60033 ... c Min unsat cost LB: 60034 ... c Min unsat cost LB: 60035 ... c Min unsat cost LB: 60036 ... c Min unsat cost LB: 60037 ... c Min unsat cost LB: 60038 ... c Min unsat cost LB: 60039 ... c Min unsat cost LB: 60040 ... c Min unsat cost LB: 60041 ... c Min unsat cost LB: 60044 ... c Min unsat cost LB: 60045 ... c Min unsat cost LB: 60047 ... c Min unsat cost LB: 60049 ... c Min unsat cost LB: 60051 ... c Min unsat cost LB: 60055 ... c Min unsat cost LB: 60056 ... c Min unsat cost LB: 60057 ... c Min unsat cost LB: 60059 ... c Min unsat cost LB: 60060 ... c Min unsat cost LB: 60061 ... c Min unsat cost LB: 60062 ... c Min unsat cost LB: 60063 ... c Min unsat cost LB: 60064 ... c Min unsat cost LB: 60065 ... c Min unsat cost LB: 60066 ... c Min unsat cost LB: 60073 ... c Min unsat cost LB: 60075 ... c Min unsat cost LB: 60076 ... c Min unsat cost LB: 60079 ... c Min unsat cost LB: 60080 ... c Min unsat cost LB: 60082 ... c Min unsat cost LB: 60086 ... c Min unsat cost LB: 60088 ... c Min unsat cost LB: 60090 ... c Min unsat cost LB: 60091 ... c Min unsat cost LB: 60092 ... c Min unsat cost LB: 60093 ... c Min unsat cost LB: 60094 ... c Min unsat cost LB: 60095 ... c Min unsat cost LB: 60096 ... c Min unsat cost LB: 60097 ... c Min unsat cost LB: 60098 ... c Min unsat cost LB: 60099 ... c Min unsat cost LB: 60100 ... c Min unsat cost LB: 60103 ... c Min unsat cost LB: 60104 ... c Min unsat cost LB: 60105 ... c Min unsat cost LB: 60106 ... c Min unsat cost LB: 60108 ... c Min unsat cost LB: 60109 ... c Min unsat cost LB: 60116 ... c Min unsat cost LB: 60122 ... c Min unsat cost LB: 60133 ... c Min unsat cost LB: 60134 ... c Min unsat cost LB: 60135 ... c Min unsat cost LB: 60136 ... c Min unsat cost LB: 60137 ... c Min unsat cost LB: 60138 ... c Min unsat cost LB: 60139 ... c Min unsat cost LB: 60140 ... c Min unsat cost LB: 60141 ... c Min unsat cost LB: 60142 ... c Min unsat cost LB: 60143 ... c Min unsat cost LB: 60144 ... c Min unsat cost LB: 60145 ... c Min unsat cost LB: 60146 ... c Min unsat cost LB: 60147 ... c Min unsat cost LB: 60148 ... c Min unsat cost LB: 60149 ... c Min unsat cost LB: 60150 ... c Min unsat cost LB: 60156 ... c Min unsat cost LB: 60157 ... c Min unsat cost LB: 60158 ... c Min unsat cost LB: 60159 ... c Min unsat cost LB: 60162 ... c Min unsat cost LB: 60163 ... c Min unsat cost LB: 60166 ... c Min unsat cost LB: 60167 ... c Min unsat cost LB: 60168 ... c Min unsat cost LB: 60179 ... c Min unsat cost LB: 60180 ... c Min unsat cost LB: 60183 ... c Min unsat cost LB: 60184 ... c Min unsat cost LB: 60185 ... c Min unsat cost LB: 60186 ... c Min unsat cost LB: 60187 ... c Min unsat cost LB: 60188 ... c Min unsat cost LB: 60189 ... c Min unsat cost LB: 60190 ... c Min unsat cost LB: 60191 ... c Min unsat cost LB: 60192 ... c Min unsat cost LB: 60193 ... c Min unsat cost LB: 60194 ... c Min unsat cost LB: 60195 ... c Min unsat cost LB: 60196 ... c Min unsat cost LB: 60197 ... c Min unsat cost LB: 60201 ... c Min unsat cost LB: 60203 ... c Min unsat cost LB: 60207 ... c Min unsat cost LB: 60208 ... c Min unsat cost LB: 60209 ... c Min unsat cost LB: 60210 ... c Min unsat cost LB: 60211 ... c Min unsat cost LB: 60212 ... c Min unsat cost LB: 60213 ... c Min unsat cost LB: 60215 ... c Min unsat cost LB: 60216 ... c Min unsat cost LB: 60217 ... c Min unsat cost LB: 60218 ... c Min unsat cost LB: 60221 ... c Min unsat cost LB: 60222 ... c Min unsat cost LB: 60224 ... c Min unsat cost LB: 60227 ... c Min unsat cost LB: 60228 ... c Min unsat cost LB: 60247 ... c Min unsat cost LB: 60248 ... c Min unsat cost LB: 60250 ... c Min unsat cost LB: 60254 ... c Min unsat cost LB: 60255 ... c Min unsat cost LB: 60256 ... c Min unsat cost LB: 60257 ... c Min unsat cost LB: 60258 ... c Min unsat cost LB: 60259 ... c Min unsat cost LB: 60260 ... c Min unsat cost LB: 60261 ... c Min unsat cost LB: 60262 ... c Min unsat cost LB: 60263 ... c Min unsat cost LB: 60264 ... c Min unsat cost LB: 60265 ... c Min unsat cost LB: 60269 ... c Min unsat cost LB: 60307 ... c Min unsat cost LB: 60308 ... c Min unsat cost LB: 60309 ... c Min unsat cost LB: 60310 ... c Min unsat cost LB: 60314 ... c Min unsat cost LB: 60315 ... c Min unsat cost LB: 60316 ... c Min unsat cost LB: 60317 ... c Min unsat cost LB: 60318 ... c Min unsat cost LB: 60319 ... c Min unsat cost LB: 60320 ... c Min unsat cost LB: 60321 ... c Min unsat cost LB: 60323 ... c Min unsat cost LB: 60324 ... c Min unsat cost LB: 60325 ... c Min unsat cost LB: 60337 ... c Min unsat cost LB: 60340 ... c Min unsat cost LB: 60346 ... c Min unsat cost LB: 60347 ... c Min unsat cost LB: 60348 ... c Min unsat cost LB: 60353 ... c Min unsat cost LB: 60359 ... c Min unsat cost LB: 60360 ... c Min unsat cost LB: 60361 ... c Min unsat cost LB: 60362 ... c Min unsat cost LB: 60363 ... c Min unsat cost LB: 60364 ... c Min unsat cost LB: 60365 ... c Min unsat cost LB: 60366 ... c Min unsat cost LB: 60367 ... c Min unsat cost LB: 60368 ... c Min unsat cost LB: 60369 ... c Min unsat cost LB: 60370 ... c Min unsat cost LB: 60372 ... c Min unsat cost LB: 60373 ... c Min unsat cost LB: 60374 ... c Min unsat cost LB: 60375 ... c Min unsat cost LB: 60376 ... c Min unsat cost LB: 60377 ... c Min unsat cost LB: 60378 ... c Min unsat cost LB: 60379 ... c Min unsat cost LB: 60380 ... c Min unsat cost LB: 60381 ... c Min unsat cost LB: 60382 ... c Min unsat cost LB: 60383 ... c Min unsat cost LB: 60385 ... c Min unsat cost LB: 60386 ... c Min unsat cost LB: 60387 ... c Min unsat cost LB: 60389 ... c Min unsat cost LB: 60390 ... c Min unsat cost LB: 60391 ... c Min unsat cost LB: 60392 ... c Min unsat cost LB: 60393 ... c Min unsat cost LB: 60401 ... c Min unsat cost LB: 60402 ... c Min unsat cost LB: 60403 ... c Min unsat cost LB: 60404 ... c Min unsat cost LB: 60405 ... c Min unsat cost LB: 60406 ... c Min unsat cost LB: 60407 ... c Min unsat cost LB: 60408 ... c Min unsat cost LB: 60409 ... c Min unsat cost LB: 60410 ... c Min unsat cost LB: 60411 ... c Min unsat cost LB: 60413 ... c Min unsat cost LB: 60414 ... c Min unsat cost LB: 60415 ... c Min unsat cost LB: 60416 ... c Min unsat cost LB: 60417 ... c Min unsat cost LB: 60418 ... c Min unsat cost LB: 60419 ... c Min unsat cost LB: 60422 ... c Min unsat cost LB: 60423 ... c Min unsat cost LB: 60424 ... c Min unsat cost LB: 60425 ... c Min unsat cost LB: 60426 ... c Min unsat cost LB: 60427 ... c Min unsat cost LB: 60428 ... c Min unsat cost LB: 60429 ... c Min unsat cost LB: 60430 ... c Min unsat cost LB: 60432 ... c Min unsat cost LB: 60434 ... c Min unsat cost LB: 60435 ... c Min unsat cost LB: 60436 ... c Min unsat cost LB: 60Killed 1811.907u 7.833s 30:22.14 99.8% 0+0k 0+0io 0pf+0w