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_150_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_150_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_150_0001.txt.wcnf *** c c Min unsat cost LB: 186 ... c Min unsat cost LB: 1940 ... c Min unsat cost LB: 2936 ... c Min unsat cost LB: 3694 ... c Min unsat cost LB: 3932 ... c Min unsat cost LB: 4928 ... c Min unsat cost LB: 5924 ... c Min unsat cost LB: 6110 ... c Min unsat cost LB: 6868 ... c Min unsat cost LB: 7106 ... c Min unsat cost LB: 8102 ... c Min unsat cost LB: 8384 ... c Min unsat cost LB: 9098 ... c Min unsat cost LB: 9380 ... c Min unsat cost LB: 10376 ... c Min unsat cost LB: 10562 ... c Min unsat cost LB: 11329 ... c Min unsat cost LB: 11515 ... c Min unsat cost LB: 11701 ... c Min unsat cost LB: 11887 ... c Min unsat cost LB: 12557 ... c Min unsat cost LB: 12654 ... c Min unsat cost LB: 12840 ... c Min unsat cost LB: 13607 ... c Min unsat cost LB: 13719 ... c Min unsat cost LB: 14242 ... c Min unsat cost LB: 14727 ... c Min unsat cost LB: 14839 ... c Min unsat cost LB: 15835 ... c Min unsat cost LB: 16831 ... c Min unsat cost LB: 16895 ... c Min unsat cost LB: 17468 ... c Min unsat cost LB: 17532 ... c Min unsat cost LB: 17629 ... c Min unsat cost LB: 17693 ... c Min unsat cost LB: 18460 ... c Min unsat cost LB: 18524 ... c Min unsat cost LB: 18588 ... c Min unsat cost LB: 18652 ... c Min unsat cost LB: 18716 ... c Min unsat cost LB: 18780 ... c Min unsat cost LB: 18844 ... c Min unsat cost LB: 18908 ... c Min unsat cost LB: 18972 ... c Min unsat cost LB: 19346 ... c Min unsat cost LB: 19410 ... c Min unsat cost LB: 19448 ... c Min unsat cost LB: 19512 ... c Min unsat cost LB: 19576 ... c Min unsat cost LB: 20033 ... c Min unsat cost LB: 20097 ... c Min unsat cost LB: 20554 ... c Min unsat cost LB: 21011 ... c Min unsat cost LB: 21230 ... c Min unsat cost LB: 21687 ... c Min unsat cost LB: 22144 ... c Min unsat cost LB: 22208 ... c Min unsat cost LB: 22446 ... c Min unsat cost LB: 22903 ... c Min unsat cost LB: 22967 ... c Min unsat cost LB: 23424 ... c Min unsat cost LB: 23881 ... c Min unsat cost LB: 24338 ... c Min unsat cost LB: 24795 ... c Min unsat cost LB: 25230 ... c Min unsat cost LB: 25252 ... c Min unsat cost LB: 25709 ... c Min unsat cost LB: 25773 ... c Min unsat cost LB: 25810 ... c Min unsat cost LB: 26267 ... c Min unsat cost LB: 26654 ... c Min unsat cost LB: 27047 ... c Min unsat cost LB: 27111 ... c Min unsat cost LB: 27531 ... c Min unsat cost LB: 27988 ... c Min unsat cost LB: 28025 ... c Min unsat cost LB: 28412 ... c Min unsat cost LB: 28825 ... c Min unsat cost LB: 29179 ... c Min unsat cost LB: 29636 ... c Min unsat cost LB: 29700 ... c Min unsat cost LB: 30010 ... c Min unsat cost LB: 30254 ... c Min unsat cost LB: 30287 ... c Min unsat cost LB: 30531 ... c Min unsat cost LB: 30775 ... c Min unsat cost LB: 30839 ... c Min unsat cost LB: 31323 ... c Min unsat cost LB: 31567 ... c Min unsat cost LB: 31656 ... c Min unsat cost LB: 31900 ... c Min unsat cost LB: 31933 ... c Min unsat cost LB: 32177 ... c Min unsat cost LB: 32421 ... c Min unsat cost LB: 32750 ... c Min unsat cost LB: 32994 ... c Min unsat cost LB: 33058 ... c Min unsat cost LB: 33639 ... c Min unsat cost LB: 34225 ... c Min unsat cost LB: 34289 ... c Min unsat cost LB: 34533 ... c Min unsat cost LB: 34777 ... c Min unsat cost LB: 35021 ... c Min unsat cost LB: 35265 ... c Min unsat cost LB: 35722 ... c Min unsat cost LB: 35966 ... c Min unsat cost LB: 36210 ... c Min unsat cost LB: 36667 ... c Min unsat cost LB: 37190 ... c Min unsat cost LB: 37447 ... c Min unsat cost LB: 37713 ... c Min unsat cost LB: 37825 ... c Min unsat cost LB: 37863 ... c Min unsat cost LB: 37975 ... c Min unsat cost LB: 38107 ... c Min unsat cost LB: 38219 ... c Min unsat cost LB: 38283 ... c Min unsat cost LB: 38864 ... c Min unsat cost LB: 38925 ... c Min unsat cost LB: 38928 ... c Min unsat cost LB: 39514 ... c Min unsat cost LB: 39578 ... c Min unsat cost LB: 39764 ... c Min unsat cost LB: 39950 ... c Min unsat cost LB: 39960 ... c Min unsat cost LB: 40019 ... c Min unsat cost LB: 40083 ... c Min unsat cost LB: 40088 ... c Min unsat cost LB: 40268 ... c Min unsat cost LB: 40332 ... c Min unsat cost LB: 40512 ... c Min unsat cost LB: 40756 ... c Min unsat cost LB: 40820 ... c Min unsat cost LB: 40884 ... c Min unsat cost LB: 41901 ... c Min unsat cost LB: 42638 ... c Min unsat cost LB: 42795 ... c Min unsat cost LB: 42882 ... c Min unsat cost LB: 43039 ... c Min unsat cost LB: 43103 ... c Min unsat cost LB: 43126 ... c Min unsat cost LB: 43302 ... c Min unsat cost LB: 43370 ... c Min unsat cost LB: 43434 ... c Min unsat cost LB: 43488 ... c Min unsat cost LB: 43560 ... c Min unsat cost LB: 43649 ... c Min unsat cost LB: 43804 ... c Min unsat cost LB: 43835 ... c Min unsat cost LB: 44133 ... c Min unsat cost LB: 44230 ... c Min unsat cost LB: 44323 ... c Min unsat cost LB: 44803 ... c Min unsat cost LB: 44857 ... c Min unsat cost LB: 45068 ... c Min unsat cost LB: 45169 ... c Min unsat cost LB: 45413 ... c Min unsat cost LB: 45693 ... c Min unsat cost LB: 45748 ... c Min unsat cost LB: 45778 ... c Min unsat cost LB: 45909 ... c Min unsat cost LB: 45964 ... c Min unsat cost LB: 46095 ... c Min unsat cost LB: 46150 ... c Min unsat cost LB: 46204 ... c Min unsat cost LB: 46271 ... c Min unsat cost LB: 46281 ... c Min unsat cost LB: 46336 ... c Min unsat cost LB: 46580 ... c Min unsat cost LB: 46824 ... c Min unsat cost LB: 46971 ... c Min unsat cost LB: 47215 ... c Min unsat cost LB: 47239 ... c Min unsat cost LB: 47303 ... c Min unsat cost LB: 47327 ... c Min unsat cost LB: 47371 ... c Min unsat cost LB: 47790 ... c Min unsat cost LB: 47820 ... c Min unsat cost LB: 47824 ... c Min unsat cost LB: 47879 ... c Min unsat cost LB: 48010 ... c Min unsat cost LB: 48020 ... c Min unsat cost LB: 48084 ... c Min unsat cost LB: 48148 ... c Min unsat cost LB: 48212 ... c Min unsat cost LB: 48456 ... c Min unsat cost LB: 48520 ... c Min unsat cost LB: 48700 ... c Min unsat cost LB: 48764 ... c Min unsat cost LB: 49736 ... c Min unsat cost LB: 49815 ... c Min unsat cost LB: 49974 ... c Min unsat cost LB: 50034 ... c Min unsat cost LB: 50071 ... c Min unsat cost LB: 50106 ... c Min unsat cost LB: 50135 ... c Min unsat cost LB: 50263 ... c Min unsat cost LB: 50278 ... c Min unsat cost LB: 50388 ... c Min unsat cost LB: 50412 ... c Min unsat cost LB: 50421 ... c Min unsat cost LB: 50466 ... c Min unsat cost LB: 50530 ... c Min unsat cost LB: 50639 ... c Min unsat cost LB: 50664 ... c Min unsat cost LB: 50735 ... c Min unsat cost LB: 50766 ... c Min unsat cost LB: 50830 ... c Min unsat cost LB: 50877 ... c Min unsat cost LB: 50878 ... c Min unsat cost LB: 50900 ... c Min unsat cost LB: 51034 ... c Min unsat cost LB: 51098 ... c Min unsat cost LB: 51121 ... c Min unsat cost LB: 51159 ... c Min unsat cost LB: 51265 ... c Min unsat cost LB: 51289 ... c Min unsat cost LB: 51298 ... c Min unsat cost LB: 51335 ... c Min unsat cost LB: 51337 ... c Min unsat cost LB: 51390 ... c Min unsat cost LB: 51424 ... c Min unsat cost LB: 51454 ... c Min unsat cost LB: 51573 ... c Min unsat cost LB: 51645 ... c Min unsat cost LB: 51737 ... c Min unsat cost LB: 51741 ... c Min unsat cost LB: 51785 ... c Min unsat cost LB: 51822 ... c Min unsat cost LB: 51847 ... c Min unsat cost LB: 51972 ... c Min unsat cost LB: 51976 ... c Min unsat cost LB: 52214 ... c Min unsat cost LB: 52258 ... c Min unsat cost LB: 52303 ... c Min unsat cost LB: 52635 ... c Min unsat cost LB: 52728 ... c Min unsat cost LB: 52760 ... c Min unsat cost LB: 52781 ... c Min unsat cost LB: 52801 ... c Min unsat cost LB: 52811 ... c Min unsat cost LB: 52878 ... c Min unsat cost LB: 52953 ... c Min unsat cost LB: 53007 ... c Min unsat cost LB: 53021 ... c Min unsat cost LB: 53032 ... c Min unsat cost LB: 53046 ... c Min unsat cost LB: 53187 ... c Min unsat cost LB: 53333 ... c Min unsat cost LB: 53388 ... c Min unsat cost LB: 53398 ... c Min unsat cost LB: 53404 ... c Min unsat cost LB: 53412 ... c Min unsat cost LB: 53479 ... c Min unsat cost LB: 53502 ... c Min unsat cost LB: 53659 ... c Min unsat cost LB: 53689 ... c Min unsat cost LB: 53795 ... c Min unsat cost LB: 53820 ... c Min unsat cost LB: 53875 ... c Min unsat cost LB: 53891 ... c Min unsat cost LB: 54155 ... c Min unsat cost LB: 54160 ... c Min unsat cost LB: 54296 ... c Min unsat cost LB: 54534 ... c Min unsat cost LB: 54778 ... c Min unsat cost LB: 54846 ... c Min unsat cost LB: 55114 ... c Min unsat cost LB: 55254 ... c Min unsat cost LB: 55305 ... c Min unsat cost LB: 55372 ... c Min unsat cost LB: 55760 ... c Min unsat cost LB: 56004 ... c Min unsat cost LB: 56015 ... c Min unsat cost LB: 56063 ... c Min unsat cost LB: 56065 ... c Min unsat cost LB: 56068 ... c Min unsat cost LB: 56339 ... c Min unsat cost LB: 56425 ... c Min unsat cost LB: 56442 ... c Min unsat cost LB: 56491 ... c Min unsat cost LB: 56506 ... c Min unsat cost LB: 56986 ... c Min unsat cost LB: 57058 ... c Min unsat cost LB: 57478 ... c Min unsat cost LB: 57542 ... c Min unsat cost LB: 57593 ... c Min unsat cost LB: 57631 ... c Min unsat cost LB: 57672 ... c Min unsat cost LB: 57736 ... c Min unsat cost LB: 57752 ... c Min unsat cost LB: 57786 ... c Min unsat cost LB: 57800 ... c Min unsat cost LB: 57812 ... c Min unsat cost LB: 57822 ... c Min unsat cost LB: 57876 ... c Min unsat cost LB: 57888 ... c Min unsat cost LB: 57912 ... c Min unsat cost LB: 57940 ... c Min unsat cost LB: 57988 ... c Min unsat cost LB: 57992 ... c Min unsat cost LB: 58006 ... c Min unsat cost LB: 58027 ... c Min unsat cost LB: 58081 ... c Min unsat cost LB: 58102 ... c Min unsat cost LB: 58186 ... c Min unsat cost LB: 58416 ... c Min unsat cost LB: 58521 ... c Min unsat cost LB: 58666 ... c Min unsat cost LB: 58746 ... c Min unsat cost LB: 58759 ... c Min unsat cost LB: 58798 ... c Min unsat cost LB: 58810 ... c Min unsat cost LB: 58910 ... c Min unsat cost LB: 58945 ... c Min unsat cost LB: 58976 ... c Min unsat cost LB: 58977 ... c Min unsat cost LB: 58986 ... c Min unsat cost LB: 58996 ... c Min unsat cost LB: 59006 ... c Min unsat cost LB: 59008 ... c Min unsat cost LB: 59018 ... c Min unsat cost LB: 59026 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59047 ... c Min unsat cost LB: 59060 ... c Min unsat cost LB: 59062 ... c Min unsat cost LB: 59068 ... c Min unsat cost LB: 59106 ... c Min unsat cost LB: 59114 ... c Min unsat cost LB: 59116 ... c Min unsat cost LB: 59120 ... c Min unsat cost LB: 59122 ... c Min unsat cost LB: 59124 ... c Min unsat cost LB: 59129 ... c Min unsat cost LB: 59139 ... c Min unsat cost LB: 59142 ... c Min unsat cost LB: 59144 ... c Min unsat cost LB: 59151 ... c Min unsat cost LB: 59160 ... c Min unsat cost LB: 59162 ... c Min unsat cost LB: 59164 ... c Min unsat cost LB: 59168 ... c Min unsat cost LB: 59180 ... c Min unsat cost LB: 59184 ... c Min unsat cost LB: 59188 ... c Min unsat cost LB: 59190 ... c Min unsat cost LB: 59257 ... c Min unsat cost LB: 59264 ... c Min unsat cost LB: 59265 ... c Min unsat cost LB: 59273 ... c Min unsat cost LB: 59275 ... c Min unsat cost LB: 59279 ... c Min unsat cost LB: 59283 ... c Min unsat cost LB: 59285 ... c Min unsat cost LB: 59314 ... c Min unsat cost LB: 59327 ... c Min unsat cost LB: 59328 ... c Min unsat cost LB: 59342 ... c Min unsat cost LB: 59343 ... c Min unsat cost LB: 59363 ... c Min unsat cost LB: 59364 ... c Min unsat cost LB: 59371 ... c Min unsat cost LB: 59373 ... c Min unsat cost LB: 59375 ... c Min unsat cost LB: 59376 ... c Min unsat cost LB: 59377 ... c Min unsat cost LB: 59391 ... c Min unsat cost LB: 59392 ... c Min unsat cost LB: 59398 ... c Min unsat cost LB: 59412 ... c Min unsat cost LB: 59413 ... c Min unsat cost LB: 59414 ... c Min unsat cost LB: 59415 ... c Min unsat cost LB: 59417 ... c Min unsat cost LB: 59418 ... c Min unsat cost LB: 59420 ... c Min unsat cost LB: 59421 ... c Min unsat cost LB: 59422 ... c Min unsat cost LB: 59423 ... c Min unsat cost LB: 59424 ... c Min unsat cost LB: 59428 ... c Min unsat cost LB: 59429 ... c Min unsat cost LB: 59430 ... c Min unsat cost LB: 59431 ... c Min unsat cost LB: 59433 ... c Min unsat cost LB: 59434 ... c Min unsat cost LB: 59435 ... c Min unsat cost LB: 59436 ... c Min unsat cost LB: 59437 ... c Min unsat cost LB: 59438 ... c Min unsat cost LB: 59440 ... c Min unsat cost LB: 59444 ... c Min unsat cost LB: 59445 ... c Min unsat cost LB: 59446 ... c Min unsat cost LB: 59447 ... c Min unsat cost LB: 59448 ... c Min unsat cost LB: 59450 ... c Min unsat cost LB: 59451 ... c Min unsat cost LB: 59455 ... c Min unsat cost LB: 59459 ... c Min unsat cost LB: 59466 ... c Min unsat cost LB: 59468 ... c Min unsat cost LB: 59472 ... c Min unsat cost LB: 59473 ... c Min unsat cost LB: 59478 ... c Min unsat cost LB: 59487 ... c Min unsat cost LB: 59489 ... c Min unsat cost LB: 59490 ... c Min unsat cost LB: 59491 ... c Min unsat cost LB: 59492 ... c Min unsat cost LB: 59494 ... c Min unsat cost LB: 59496 ... c Min unsat cost LB: 59497 ... c Min unsat cost LB: 59498 ... c Min unsat cost LB: 59499 ... c Min unsat cost LB: 59506 ... c Min unsat cost LB: 59507 ... c Min unsat cost LB: 59508 ... c Min unsat cost LB: 59511 ... c Min unsat cost LB: 59513 ... c Min unsat cost LB: 59516 ... c Min unsat cost LB: 59517 ... c Min unsat cost LB: 59518 ... c Min unsat cost LB: 59519 ... c Min unsat cost LB: 59520 ... 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: 59525 ... c Min unsat cost LB: 59526 ... c Min unsat cost LB: 59527 ... c Min unsat cost LB: 59528 ... c Min unsat cost LB: 59529 ... c Min unsat cost LB: 59532 ... c Min unsat cost LB: 59533 ... c Min unsat cost LB: 59536 ... c Min unsat cost LB: 59539 ... c Min unsat cost LB: 59540 ... c Min unsat cost LB: 59543 ... c Min unsat cost LB: 59547 ... c Min unsat cost LB: 59548 ... c Min unsat cost LB: 59549 ... c Min unsat cost LB: 59550 ... c Min unsat cost LB: 59551 ... c Min unsat cost LB: 59552 ... c Min unsat cost LB: 59553 ... c Min unsat cost LB: 59564 ... c Min unsat cost LB: 59568 ... c Min unsat cost LB: 59602 ... c Min unsat cost LB: 59612 ... c Min unsat cost LB: 59617 ... c Min unsat cost LB: 59644 ... c Min unsat cost LB: 59674 ... c Min unsat cost LB: 59689 ... c Min unsat cost LB: 59883 ... c Min unsat cost LB: 59886 ... c Min unsat cost LB: 59888 ... c Min unsat cost LB: 59890 ... c Min unsat cost LB: 59913 ... c Min unsat cost LB: 59929 ... c Min unsat cost LB: 59933 ... c Min unsat cost LB: 59948 ... c Min unsat cost LB: 59984 ... c Min unsat cost LB: 60124 ... c Min unsat cost LB: 60141 ... c Min unsat cost LB: 60176 ... c Min unsat cost LB: 60178 ... c Min unsat cost LB: 60185 ... c Min unsat cost LB: 60200 ... c Min unsat cost LB: 60206 ... c Min unsat cost LB: 60207 ... c Min unsat cost LB: 60212 ... c Min unsat cost LB: 60213 ... c Min unsat cost LB: 60299 ... c Min unsat cost LB: 60320 ... c Min unsat cost LB: 60337 ... c Min unsat cost LB: 60339 ... c Min unsat cost LB: 60354 ... c Min unsat cost LB: 60359 ... c Min unsat cost LB: 60362 ... c Min unsat cost LB: 60417 ... c Min unsat cost LB: 60418 ... c Min unsat cost LB: 60429 ... c Min unsat cost LB: 60435 ... c Min unsat cost LB: 60437 ... c Min unsat cost LB: 60441 ... c Min unsat cost LB: 60448 ... c Min unsat cost LB: 60449 ... c Min unsat cost LB: 60450 ... c Min unsat cost LB: 60451 ... c Min unsat cost LB: 60457 ... c Min unsat cost LB: 60462 ... c Min unsat cost LB: 60468 ... c Min unsat cost LB: 60477 ... c Min unsat cost LB: 60479 ... c Min unsat cost LB: 60480 ... c Min unsat cost LB: 60487 ... c Min unsat cost LB: 60488 ... c Min unsat cost LB: 60489 ... c Min unsat cost LB: 60490 ... c Min unsat cost LB: 60495 ... c Min unsat cost LB: 60498 ... c Min unsat cost LB: 60500 ... c Min unsat cost LB: 60502 ... c Min unsat cost LB: 60503 ... c Min unsat cost LB: 60505 ... c Min unsat cost LB: 60506 ... c Min unsat cost LB: 60513 ... c Min unsat cost LB: 60536 ... c Min unsat cost LB: 60537 ... c Min unsat cost LB: 60614 ... c Min unsat cost LB: 60615 ... c Min unsat cost LB: 60616 ... c Min unsat cost LB: 60617 ... c Min unsat cost LB: 60618 ... c Min unsat cost LB: 60619 ... c Min unsat cost LB: 60620 ... c Min unsat cost LB: 60623 ... c Min unsat cost LB: 60624 ... c Min unsat cost LB: 60625 ... c Min unsat cost LB: 60662 ... c Min unsat cost LB: 60668 ... c Min unsat cost LB: 60736 ... c Min unsat cost LB: 60836 ... c Min unsat cost LB: 60851 ... c Min unsat cost LB: 60890 ... c Min unsat cost LB: 60972 ... c Min unsat cost LB: 61040 ... c Min unsat cost LB: 61119 ... c Min unsat cost LB: 61122 ... c Min unsat cost LB: 61126 ... c Min unsat cost LB: 61134 ... c Min unsat cost LB: 61141 ... c Min unsat cost LB: 61161 ... c Min unsat cost LB: 61173 ... c Min unsat cost LB: 61229 ... c Min unsat cost LB: 61232 ... c Min unsat cost LB: 61233 ... c Min unsat cost LB: 61236 ... c Min unsat cost LB: 61241 ... c Min unsat cost LB: 61269 ... c Min unsat cost LB: 61300 ... c Min unsat cost LB: 61371 ... c Min unsat cost LB: 61376 ... c Min unsat cost LB: 61379 ... c Min unsat cost LB: 61383 ... c Min unsat cost LB: 61385 ... c Min unsat cost LB: 61388 ... c Min unsat cost LB: 61389 ... c Min unsat cost LB: 61394 ... c Min unsat cost LB: 61401 ... c Min unsat cost LB: 61404 ... c Min unsat cost LB: 61407 ... c Min unsat cost LB: 61409 ... c Min unsat cost LB: 61410 ... c Min unsat cost LB: 61438 ... c Min unsat cost LB: 61457 ... c Min unsat cost LB: 61462 ... c Min unsat cost LB: 61474 ... c Min unsat cost LB: 61478 ... c Min unsat cost LB: 61481 ... c Min unsat cost LB: 61484 ... c Min unsat cost LB: 61485 ... c Min unsat cost LB: 61490 ... c Min unsat cost LB: 61491 ... c Min unsat cost LB: 61492 ... c Min unsat cost LB: 61494 ... c Min unsat cost LB: 61495 ... c Min unsat cost LB: 61496 ... c Min unsat cost LB: 61500 ... c Min unsat cost LB: 61501 ... c Min unsat cost LB: 61503 ... c Min unsat cost LB: 61504 ... c Min unsat cost LB: 61506 ... c Min unsat cost LB: 61507 ... c Min unsat cost LB: 61508 ... c Min unsat cost LB: 61509 ... c Min unsat cost LB: 61514 ... c Min unsat cost LB: 61527 ... c Min unsat cost LB: 61528 ... c Min unsat cost LB: 61533 ... c Min unsat cost LB: 61536 ... c Min unsat cost LB: 61539 ... c Min unsat cost LB: 61541 ... c Min unsat cost LB: 61551 ... c Min unsat cost LB: 61552 ... c Min unsat cost LB: 61553 ... c Min unsat cost LB: 61554 ... c Min unsat cost LB: 61555 ... c Min unsat cost LB: 61556 ... c Min unsat cost LB: 61559 ... c Min unsat cost LB: 61560 ... c Min unsat cost LB: 61575 ... c Min unsat cost LB: 61590 ... c Min unsat cost LB: 61615 ... c Min unsat cost LB: 61640 ... c Min unsat cost LB: 61696 ... c Min unsat cost LB: 61708 ... c Min unsat cost LB: 61727 ... c Min unsat cost LB: 61755 ... c Min unsat cost LB: 61756 ... c Min unsat cost LB: 61757 ... c Min unsat cost LB: 61758 ... c Min unsat cost LB: 61759 ... c Min unsat cost LB: 61803 ... c Min unsat cost LB: 61924 ... c Min unsat cost LB: 61925 ... c Min unsat cost LB: 61926 ... c Min unsat cost LB: 61927 ... c Min unsat cost LB: 61928 ... c Min unsat cost LB: 61929 ... c Min unsat cost LB: 61930 ... c Min unsat cost LB: 61962 ... c Min unsat cost LB: 61963 ... c Min unsat cost LB: 61970 ... c Min unsat cost LB: 61971 ... c Min unsat cost LB: 61977 ... c Min unsat cost LB: 61978 ... c Min unsat cost LB: 61982 ... c Min unsat cost LB: 61983 ... c Min unsat cost LB: 61984 ... c Min unsat cost LB: 61987 ... c Min unsat cost LB: 61994 ... c Min unsat cost LB: 61995 ... c Min unsat cost LB: 61998 ... c Min unsat cost LB: 62003 ... c Min unsat cost LB: 62006 ... c Min unsat cost LB: 62020 ... c Min unsat cost LB: 62031 ... c Min unsat cost LB: 62132 ... c Min unsat cost LB: 62139 ... c Min unsat cost LB: 62140 ... c Min unsat cost LB: 62152 ... c Min unsat cost LB: 62173 ... c Min unsat cost LB: 62194 ... c Min unsat cost LB: 62199 ... c Min unsat cost LB: 62205 ... c Min unsat cost LB: 62207 ... c Min unsat cost LB: 62208 ... c Min unsat cost LB: 62209 ... c Min unsat cost LB: 62217 ... c Min unsat cost LB: 62220 ... c Min unsat cost LB: 62223 ... c Min unsat cost LB: 62224 ... c Min unsat cost LB: 62225 ... c Min unsat cost LB: 62232 ... c Min unsat cost LB: 62234 ... c Min unsat cost LB: 62240 ... c Min unsat cost LB: 62241 ... c Min unsat cost LB: 62242 ... c Min unsat cost LB: 62243 ... c Min unsat cost LB: 62244 ... c Min unsat cost LB: 62245 ... c Min unsat cost LB: 62252 ... c Min unsat cost LB: 62254 ... c Min unsat cost LB: 62256 ... c Min unsat cost LB: 62279 ... c Min unsat cost LB: 62309 ... c Min unsat cost LB: 62311 ... c Min unsat cost LB: 62318 ... c Min unsat cost LB: 62319 ... c Min unsat cost LB: 62320 ... c Min unsat cost LB: 62321 ... c Min unsat cost LB: 62322 ... c Min unsat cost LB: 62323 ... c Min unsat cost LB: 62324 ... c Min unsat cost LB: 62325 ... c Min unsat cost LB: 62326 ... c Min unsat cost LB: 62327 ... c Min unsat cost LB: 62328 ... c Min unsat cost LB: 62329 ... c Min unsat cost LB: 62330 ... c Min unsat cost LB: 62331 ... c Min unsat cost LB: 62332 ... c Min unsat cost LB: 62333 ... c Min unsat cost LB: 62334 ... c Min unsat cost LB: 62335 ... c Min unsat cost LB: 62336 ... c Min unsat cost LB: 62337 ... c Min unsat cost LB: 62338 ... c Min unsat cost LB: 62339 ... c Min unsat cost LB: 62340 ... c Min unsat cost LB: 62341 ... c Min unsat cost LB: 62342 ... c Min unsat cost LB: 62343 ... c Min unsat cost LB: 62344 ... c Min unsat cost LB: 62345 ... c Min unsat cost LB: 62346 ... c Min unsat cost LB: 62347 ... c Min unsat cost LB: 62348 ... c Min unsat cost LB: 62351 ... c Min unsat cost LB: 62352 ... c Min unsat cost LB: 62353 ... c Min unsat cost LB: 62354 ... c Min unsat cost LB: 62355 ... c Min unsat cost LB: 62356 ... c Min unsat cost LB: 62357 ... c Min unsat cost LB: 62360 ... c Min unsat cost LB: 62364 ... c Min unsat cost LB: 62366 ... c Min unsat cost LB: 62367 ... c Min unsat cost LB: 62384 ... c Min unsat cost LB: 62389 ... c Min unsat cost LB: 62391 ... c Min unsat cost LB: 62407 ... c Min unsat cost LB: 62409 ... c Min unsat cost LB: 62414 ... c Min unsat cost LB: 62416 ... c Min unsat cost LB: 62417 ... c Min unsat cost LB: 62418 ... c Min unsat cost LB: 62420 ... c Min unsat cost LB: 62426 ... c Min unsat cost LB: 62427 ... c Min unsat cost LB: 62431 ... c Min unsat cost LB: 62433 ... c Min unsat cost LB: 62434 ... c Min unsat cost LB: 62435 ... c Min unsat cost LB: 62439 ... c Min unsat cost LB: 62441 ... c Min unsat cost LB: 62442 ... c Min unsat cost LB: 62443 ... c Min unsat cost LB: 62444 ... c Min unsat cost LB: 62451 ... c Min unsat cost LB: 62452 ... c Min unsat cost LB: 62454 ... c Min unsat cost LB: 62455 ... c Min unsat cost LB: 62459 ... c Min unsat cost LB: 62466 ... c Min unsat cost LB: 62470 ... c Min unsat cost LB: 62471 ... c Min unsat cost LB: 62477 ... c Min unsat cost LB: 62478 ... c Min unsat cost LB: 62479 ... c Min unsat cost LB: 62480 ... c Min unsat cost LB: 62481 ... c Min unsat cost LB: 62482 ... c Min unsat cost LB: 62483 ... c Min unsat cost LB: 62484 ... c Min unsat cost LB: 62486 ... c Min unsat cost LB: 62519 ... c Min unsat cost LB: 62520 ... c Min unsat cost LB: 62521 ... c Min unsat cost LB: 62522 ... c Min unsat cost LB: 62523 ... c Min unsat cost LB: 62524 ... c Min unsat cost LB: 62525 ... c Min unsat cost LB: 62526 ... c Min unsat cost LB: 62527 ... c Min unsat cost LB: 62529 ... c Min unsat cost LB: 62530 ... c Min unsat cost LB: 62532 ... c Min unsat cost LB: 62533 ... c Min unsat cost LB: 62536 ... c Min unsat cost LB: 62537 ... c Min unsat cost LB: 62540 ... c Min unsat cost LB: 62542 ... c Min unsat cost LB: 62543 ... c Min unsat cost LB: 62546 ... c Min unsat cost LB: 62555 ... c Min unsat cost LB: 62556 ... c Min unsat cost LB: 62560 ... c Min unsat cost LB: 62561 ... c Min unsat cost LB: 62562 ... c Min unsat cost LB: 62563 ... c Min unsat cost LB: 62564 ... c Min unsat cost LB: 62565 ... c Min unsat cost LB: 62566 ... c Min unsat cost LB: 62567 ... c Min unsat cost LB: 62569 ... c Min unsat cost LB: 62570 ... c Min unsat cost LB: 62571 ... c Min unsat cost LB: 62572 ... c Min unsat cost LB: 62573 ... c Min unsat cost LB: 62574 ... c Min unsat cost LB: 62575 ... c Min unsat cost LB: 62576 ... c Min unsat cost LB: 62577 ... c Min unsat cost LB: 62578 ... c Min unsat cost LB: 62579 ... c Min unsat cost LB: 62580 ... c Min unsat cost LB: 62583 ... c Min unsat cost LB: 62588 ... c Min unsat cost LB: 62589 ... c Min unsat cost LB: 62591 ... c Min unsat cost LB: 62593 ... c Min unsat cost LB: 62594 ... c Min unsat cost LB: 62595 ... c Min unsat cost LB: 62596 ... c Min unsat cost LB: 62597 ... c Min unsat cost LB: 62598 ... c Min unsat cost LB: 62599 ... c Min unsat cost LB: 62600 ... c Min unsat cost LB: 62601 ... c Min unsat cost LB: 62602 ... c Min unsat cost LB: 62603 ... c Min unsat cost LB: 62604 ... c Min unsat cost LB: 62605 ... c Min unsat cost LB: 62606 ... c Min unsat cost LB: 62607 ... c Min unsat cost LB: 62608 ... c Min unsat cost LB: 62609 ... c Min unsat cost LB: 62610 ... c Min unsat cost LB: 62611 ... c Min unsat cost LB: 62612 ... c Min unsat cost LB: 62636 ... c Min unsat cost LB: 62638 ... c Min unsat cost LB: 62645 ... c Min unsat cost LB: 62646 ... c Min unsat cost LB: 62655 ... c Min unsat cost LB: 62679 ... c Min unsat cost LB: 62688 ... c Min unsat cost LB: 62714 ... c Min unsat cost LB: 62769 ... c Min unsat cost LB: 62770 ... c Min unsat cost LB: 62771 ... c Min unsat cost LB: 62776 ... c Min unsat cost LB: 62777 ... c Min unsat cost LB: 62778 ... c Min unsat cost LB: 62799 ... c Min unsat cost LB: 62800 ... c Min unsat cost LB: 62801 ... c Min unsat cost LB: 62806 ... c Min unsat cost LB: 62813 ... c Min unsat cost LB: 62814 ... c Min unsat cost LB: 62815 ... c Min unsat cost LB: 62816 ... c Min unsat cost LB: 62820 ... c Min unsat cost LB: 62821 ... c Min unsat cost LB: 62822 ... c Min unsat cost LB: 62823 ... c Min unsat cost LB: 62824 ... c Min unsat cost LB: 62826 ... c Min unsat cost LB: 62827 ... c Min unsat cost LB: 62832 ... c Min unsat cost LB: 62879 ... c Min unsat cost LB: 62880 ... c Min unsat cost LB: 62881 ... c Min unsat cost LB: 62884 ... c Min unsat cost LB: 62885 ... c Min unsat cost LB: 62886 ... c Min unsat cost LB: 62887 ... c Min unsat cost LB: 62888 ... c Min unsat cost LB: 62889 ... c Min unsat cost LB: 62890 ... c Min unsat cost LB: 62891 ... c Min unsat cost LB: 62892 ... c Min unsat cost LB: 62893 ... c Min unsat cost LB: 62894 ... c Min unsat cost LB: 62895 ... c Min unsat cost LB: 62896 ... c Min unsat cost LB: 62897 ... c Min unsat cost LB: 62898 ... c Min unsat cost LB: 62899 ... c Min unsat cost LB: 62900 ... c Min unsat cost LB: 62901 ... c Min unsat cost LB: 62902 ... c Min unsat cost LB: 62905 ... c Min unsat cost LB: 62910 ... c Min unsat cost LB: 62911 ... c Min unsat cost LB: 62912 ... c Min unsat cost LB: 62913 ... c Min unsat cost LB: 62914 ... c Min unsat cost LB: 62915 ... c Min unsat cost LB: 62916 ... c Min unsat cost LB: 62917 ... c Min unsat cost LB: 62918 ... c Min unsat cost LB: 62919 ... c Min unsat cost LB: 62920 ... c Min unsat cost LB: 62921 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 62923 ... c Min unsat cost LB: 62924 ... c Min unsat cost LB: 62925 ... c Min unsat cost LB: 62926 ... c Min unsat cost LB: 62927 ... c Min unsat cost LB: 62928 ... c Min unsat cost LB: 62929 ... c Min unsat cost LB: 62930 ... c Min unsat cost LB: 62931 ... c Min unsat cost LB: 62932 ... c Min unsat cost LB: 62933 ... c Min unsat cost LB: 62934 ... c Min unsat cost LB: 62935 ... c Min unsat cost LB: 62936 ... c Min unsat cost LB: 62937 ... c Min unsat cost LB: 62938 ... c Min unsat cost LB: 62940 ... c Min unsat cost LB: 62941 ... c Min unsat cost LB: 62942 ... c Min unsat cost LB: 62943 ... c Min unsat cost LB: 62944 ... c Min unsat cost LB: 62945 ... c Min unsat cost LB: 62946 ... c Min unsat cost LB: 62948 ... c Min unsat cost LB: 62949 ... c Min unsat cost LB: 62950 ... c Min unsat cost LB: 62951 ... c Min unsat cost LB: 62952 ... c Min unsat cost LB: 62953 ... c Min unsat cost LB: 62954 ... c Min unsat cost LB: 62955 ... c Min unsat cost LB: 62956 ... c Min unsat cost LB: 62958 ... c Min unsat cost LB: 62959 ... c Min unsat cost LB: 62960 ... c Min unsat cost LB: 62961 ... c Min unsat cost LB: 62963 ... c Min unsat cost LB: 62964 ... c Min unsat cost LB: 62969 ... c Min unsat cost LB: 62970 ... c Min unsat cost LB: 62971 ... c Min unsat cost LB: 62972 ... c Min unsat cost LB: 62974 ... c Min unsat cost LB: 62975 ... c Min unsat cost LB: 62978 ... c Min unsat cost LB: 62980 ... c Min unsat cost LB: 62981 ... c Min unsat cost LB: 62982 ... c Min unsat cost LB: 62983 ... c Min unsat cost LB: 62984 ... c Min unsat cost LB: 62985 ... c Min unsat cost LB: 62986 ... c Min unsat cost LB: 62987 ... c Min unsat cost LB: 62988 ... c Min unsat cost LB: 62989 ... c Min unsat cost LB: 62990 ... c Min unsat cost LB: 62991 ... c Min unsat cost LB: 62992 ... c Min unsat cost LB: 62993 ... c Min unsat cost LB: 62994 ... c Min unsat cost LB: 62995 ... c Min unsat cost LB: 62996 ... c Min unsat cost LB: 62997 ... c Min unsat cost LB: 62998 ... c Min unsat cost LB: 62999 ... c Min unsat cost LB: 63000 ... c Min unsat cost LB: 63001 ... c Min unsat cost LB: 63002 ... c Min unsat cost LB: 63003 ... c Min unsat cost LB: 63004 ... c Min unsat cost LB: 63005 ... c Min unsat cost LB: 63006 ... c Min unsat cost LB: 63007 ... c Min unsat cost LB: 63008 ... c Min unsat cost LB: 63009 ... c Min unsat cost LB: 63010 ... c Min unsat cost LB: 63011 ... c Min unsat cost LB: 63012 ... c Min unsat cost LB: 63013 ... c Min unsat cost LB: 63014 ... c Min unsat cost LB: 63015 ... c Min unsat cost LB: 63016 ... c Min unsat cost LB: 63017 ... c Min unsat cost LB: 63018 ... c Min unsat cost LB: 63019 ... c Min unsat cost LB: 63020 ... c Min unsat cost LB: 63021 ... c Min unsat cost LB: 63022 ... c Min unsat cost LB: 63023 ... c Min unsat cost LB: 63026 ... c Min unsat cost LB: 63030 ... c Min unsat cost LB: 63032 ... c Min unsat cost LB: 63038 ... c Min unsat cost LB: 63040 ... c Min unsat cost LB: 63041 ... c Min unsat cost LB: 63047 ... c Min unsat cost LB: 63071 ... c Min unsat cost LB: 63076 ... c Min unsat cost LB: 63078 ... c Min unsat cost LB: 63080 ... c Min unsat cost LB: 63081 ... c Min unsat cost LB: 63094 ... c Min unsat cost LB: 63095 ... c Min unsat cost LB: 63096 ... c Min unsat cost LB: 63097 ... c Min unsat cost LB: 63098 ... c Min unsat cost LB: 63099 ... c Min unsat cost LB: 63100 ... c Min unsat cost LB: 63101 ... c Min unsat cost LB: 63102 ... c Min unsat cost LB: 63106 ... c Min unsat cost LB: 63107 ... c Min unsat cost LB: 63112 ... c Min unsat cost LB: 63138 ... c Min unsat cost LB: 63167 ... c Min unsat cost LB: 63183 ... c Min unsat cost LB: 63186 ... c Min unsat cost LB: 63187 ... c Min unsat cost LB: 63189 ... c Min unsat cost LB: 63194 ... c Min unsat cost LB: 63203 ... c Min unsat cost LB: 63209 ... c Min unsat cost LB: 63210 ... c Min unsat cost LB: 63211 ... c Min unsat cost LB: 63212 ... c Min unsat cost LB: 63213 ... c Min unsat cost LB: 63214 ... c Min unsat cost LB: 63215 ... c Min unsat cost LB: 63216 ... c Min unsat cost LB: 63219 ... c Min unsat cost LB: 63220 ... c Min unsat cost LB: 63221 ... c Min unsat cost LB: 63222 ... c Min unsat cost LB: 63225 ... c Min unsat cost LB: 63226 ... c Min unsat cost LB: 63231 ... c Min unsat cost LB: 63232 ... c Min unsat cost LB: 63235 ... c Min unsat cost LB: 63236 ... c Min unsat cost LB: 63237 ... c Min unsat cost LB: 63238 ... c Min unsat cost LB: 63239 ... c Min unsat cost LB: 63240 ... c Min unsat cost LB: 63241 ... c Min unsat cost LB: 63242 ... c Min unsat cost LB: 63243 ... c Min unsat cost LB: 63245 ... c Min unsat cost LB: 63246 ... c Min unsat cost LB: 63247 ... c Min unsat cost LB: 63248 ... c Min unsat cost LB: 63249 ... c Min unsat cost LB: 63250 ... c Min unsat cosKilled 1815.532u 4.204s 30:20.75 99.9% 0+0k 0+0io 0pf+0w