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_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_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_SCHEDULING/cat_sched_60_150_0000.txt.wcnf *** c c Min unsat cost LB: 638 ... c Min unsat cost LB: 1276 ... c Min unsat cost LB: 1914 ... c Min unsat cost LB: 2552 ... c Min unsat cost LB: 3190 ... c Min unsat cost LB: 3828 ... c Min unsat cost LB: 4466 ... c Min unsat cost LB: 5104 ... c Min unsat cost LB: 5742 ... c Min unsat cost LB: 6380 ... c Min unsat cost LB: 6962 ... c Min unsat cost LB: 7018 ... c Min unsat cost LB: 7600 ... c Min unsat cost LB: 8182 ... c Min unsat cost LB: 8238 ... c Min unsat cost LB: 8876 ... c Min unsat cost LB: 9514 ... c Min unsat cost LB: 10152 ... c Min unsat cost LB: 10790 ... c Min unsat cost LB: 11428 ... c Min unsat cost LB: 12066 ... c Min unsat cost LB: 12217 ... c Min unsat cost LB: 12855 ... c Min unsat cost LB: 13644 ... c Min unsat cost LB: 14282 ... c Min unsat cost LB: 15071 ... c Min unsat cost LB: 15222 ... c Min unsat cost LB: 15860 ... c Min unsat cost LB: 16011 ... c Min unsat cost LB: 16649 ... c Min unsat cost LB: 17438 ... c Min unsat cost LB: 17589 ... c Min unsat cost LB: 18227 ... c Min unsat cost LB: 18865 ... c Min unsat cost LB: 19654 ... c Min unsat cost LB: 20443 ... c Min unsat cost LB: 21081 ... c Min unsat cost LB: 21870 ... c Min unsat cost LB: 22659 ... c Min unsat cost LB: 23185 ... c Min unsat cost LB: 23448 ... c Min unsat cost LB: 23599 ... c Min unsat cost LB: 24388 ... c Min unsat cost LB: 24914 ... c Min unsat cost LB: 25065 ... c Min unsat cost LB: 25649 ... c Min unsat cost LB: 25703 ... c Min unsat cost LB: 26341 ... c Min unsat cost LB: 27130 ... c Min unsat cost LB: 27791 ... c Min unsat cost LB: 28580 ... c Min unsat cost LB: 28731 ... c Min unsat cost LB: 28882 ... c Min unsat cost LB: 29520 ... c Min unsat cost LB: 29671 ... c Min unsat cost LB: 30970 ... c Min unsat cost LB: 31457 ... c Min unsat cost LB: 31759 ... c Min unsat cost LB: 31910 ... c Min unsat cost LB: 32095 ... c Min unsat cost LB: 33243 ... c Min unsat cost LB: 33394 ... c Min unsat cost LB: 34693 ... c Min unsat cost LB: 35482 ... c Min unsat cost LB: 36781 ... c Min unsat cost LB: 37287 ... c Min unsat cost LB: 38586 ... c Min unsat cost LB: 39885 ... c Min unsat cost LB: 41184 ... c Min unsat cost LB: 42483 ... c Min unsat cost LB: 42746 ... c Min unsat cost LB: 44045 ... c Min unsat cost LB: 44649 ... c Min unsat cost LB: 45948 ... c Min unsat cost LB: 46510 ... c Min unsat cost LB: 47809 ... c Min unsat cost LB: 48857 ... c Min unsat cost LB: 48891 ... c Min unsat cost LB: 49142 ... c Min unsat cost LB: 49864 ... c Min unsat cost LB: 50502 ... c Min unsat cost LB: 51291 ... c Min unsat cost LB: 51929 ... c Min unsat cost LB: 52439 ... c Min unsat cost LB: 53043 ... c Min unsat cost LB: 53704 ... c Min unsat cost LB: 54342 ... c Min unsat cost LB: 54625 ... c Min unsat cost LB: 54852 ... c Min unsat cost LB: 54924 ... c Min unsat cost LB: 54980 ... c Min unsat cost LB: 55618 ... c Min unsat cost LB: 56225 ... c Min unsat cost LB: 56407 ... c Min unsat cost LB: 56558 ... c Min unsat cost LB: 57196 ... c Min unsat cost LB: 57857 ... c Min unsat cost LB: 58495 ... c Min unsat cost LB: 58603 ... c Min unsat cost LB: 58731 ... c Min unsat cost LB: 58765 ... c Min unsat cost LB: 59369 ... c Min unsat cost LB: 59403 ... c Min unsat cost LB: 59973 ... c Min unsat cost LB: 60398 ... c Min unsat cost LB: 60611 ... c Min unsat cost LB: 60908 ... c Min unsat cost LB: 61910 ... c Min unsat cost LB: 61978 ... c Min unsat cost LB: 62548 ... c Min unsat cost LB: 62699 ... c Min unsat cost LB: 62767 ... c Min unsat cost LB: 63337 ... c Min unsat cost LB: 63405 ... c Min unsat cost LB: 63975 ... c Min unsat cost LB: 64043 ... c Min unsat cost LB: 64077 ... c Min unsat cost LB: 64317 ... c Min unsat cost LB: 64613 ... c Min unsat cost LB: 64647 ... c Min unsat cost LB: 65052 ... c Min unsat cost LB: 65198 ... c Min unsat cost LB: 65221 ... c Min unsat cost LB: 65690 ... c Min unsat cost LB: 65777 ... c Min unsat cost LB: 65923 ... c Min unsat cost LB: 66328 ... c Min unsat cost LB: 66520 ... c Min unsat cost LB: 67117 ... c Min unsat cost LB: 67245 ... c Min unsat cost LB: 67268 ... c Min unsat cost LB: 67396 ... c Min unsat cost LB: 67419 ... c Min unsat cost LB: 67819 ... c Min unsat cost LB: 67906 ... c Min unsat cost LB: 68057 ... c Min unsat cost LB: 68208 ... c Min unsat cost LB: 68276 ... c Min unsat cost LB: 68359 ... c Min unsat cost LB: 68846 ... c Min unsat cost LB: 68937 ... c Min unsat cost LB: 68997 ... c Min unsat cost LB: 69402 ... c Min unsat cost LB: 69470 ... c Min unsat cost LB: 69621 ... c Min unsat cost LB: 69688 ... c Min unsat cost LB: 69889 ... c Min unsat cost LB: 69957 ... c Min unsat cost LB: 70190 ... c Min unsat cost LB: 70274 ... c Min unsat cost LB: 70326 ... c Min unsat cost LB: 70477 ... c Min unsat cost LB: 70658 ... c Min unsat cost LB: 70809 ... c Min unsat cost LB: 70896 ... c Min unsat cost LB: 71478 ... c Min unsat cost LB: 71984 ... c Min unsat cost LB: 72254 ... c Min unsat cost LB: 72622 ... c Min unsat cost LB: 72678 ... c Min unsat cost LB: 72764 ... c Min unsat cost LB: 72913 ... c Min unsat cost LB: 72919 ... c Min unsat cost LB: 73260 ... c Min unsat cost LB: 73898 ... c Min unsat cost LB: 74080 ... c Min unsat cost LB: 74424 ... c Min unsat cost LB: 74609 ... c Min unsat cost LB: 74693 ... c Min unsat cost LB: 74760 ... c Min unsat cost LB: 75398 ... c Min unsat cost LB: 75421 ... c Min unsat cost LB: 75572 ... c Min unsat cost LB: 75760 ... c Min unsat cost LB: 76210 ... c Min unsat cost LB: 76224 ... c Min unsat cost LB: 76247 ... c Min unsat cost LB: 76429 ... c Min unsat cost LB: 76549 ... c Min unsat cost LB: 76895 ... c Min unsat cost LB: 77075 ... c Min unsat cost LB: 77338 ... c Min unsat cost LB: 77378 ... c Min unsat cost LB: 77529 ... c Min unsat cost LB: 77596 ... c Min unsat cost LB: 77711 ... c Min unsat cost LB: 77829 ... c Min unsat cost LB: 77902 ... c Min unsat cost LB: 77922 ... c Min unsat cost LB: 78453 ... c Min unsat cost LB: 78500 ... c Min unsat cost LB: 78728 ... c Min unsat cost LB: 78970 ... c Min unsat cost LB: 79074 ... c Min unsat cost LB: 79084 ... c Min unsat cost LB: 79140 ... c Min unsat cost LB: 79339 ... c Min unsat cost LB: 79744 ... c Min unsat cost LB: 80018 ... c Min unsat cost LB: 80078 ... c Min unsat cost LB: 80126 ... c Min unsat cost LB: 80146 ... c Min unsat cost LB: 80237 ... c Min unsat cost LB: 80447 ... c Min unsat cost LB: 80518 ... c Min unsat cost LB: 80571 ... c Min unsat cost LB: 80586 ... c Min unsat cost LB: 80620 ... c Min unsat cost LB: 80629 ... c Min unsat cost LB: 80756 ... c Min unsat cost LB: 80845 ... c Min unsat cost LB: 80890 ... c Min unsat cost LB: 80949 ... c Min unsat cost LB: 81082 ... c Min unsat cost LB: 81109 ... c Min unsat cost LB: 81165 ... c Min unsat cost LB: 81251 ... c Min unsat cost LB: 81306 ... c Min unsat cost LB: 81307 ... c Min unsat cost LB: 81675 ... c Min unsat cost LB: 81790 ... c Min unsat cost LB: 81796 ... c Min unsat cost LB: 81914 ... c Min unsat cost LB: 81952 ... c Min unsat cost LB: 81982 ... c Min unsat cost LB: 82552 ... c Min unsat cost LB: 82688 ... c Min unsat cost LB: 82911 ... c Min unsat cost LB: 83060 ... c Min unsat cost LB: 83251 ... c Min unsat cost LB: 83566 ... c Min unsat cost LB: 83748 ... c Min unsat cost LB: 84092 ... c Min unsat cost LB: 84366 ... c Min unsat cost LB: 84399 ... c Min unsat cost LB: 84550 ... c Min unsat cost LB: 84674 ... c Min unsat cost LB: 84741 ... c Min unsat cost LB: 84778 ... c Min unsat cost LB: 84781 ... c Min unsat cost LB: 84854 ... c Min unsat cost LB: 84932 ... c Min unsat cost LB: 85593 ... c Min unsat cost LB: 85781 ... c Min unsat cost LB: 85957 ... c Min unsat cost LB: 86355 ... c Min unsat cost LB: 86369 ... c Min unsat cost LB: 86829 ... c Min unsat cost LB: 86998 ... c Min unsat cost LB: 87071 ... c Min unsat cost LB: 87148 ... c Min unsat cost LB: 87169 ... c Min unsat cost LB: 87186 ... c Min unsat cost LB: 87206 ... c Min unsat cost LB: 87231 ... c Min unsat cost LB: 87233 ... c Min unsat cost LB: 87256 ... c Min unsat cost LB: 87262 ... c Min unsat cost LB: 87334 ... c Min unsat cost LB: 87381 ... c Min unsat cost LB: 87438 ... c Min unsat cost LB: 87542 ... c Min unsat cost LB: 87629 ... c Min unsat cost LB: 87636 ... c Min unsat cost LB: 87688 ... c Min unsat cost LB: 87937 ... c Min unsat cost LB: 88041 ... c Min unsat cost LB: 88073 ... c Min unsat cost LB: 88109 ... c Min unsat cost LB: 88113 ... c Min unsat cost LB: 88132 ... c Min unsat cost LB: 88189 ... c Min unsat cost LB: 88229 ... c Min unsat cost LB: 88239 ... c Min unsat cost LB: 88256 ... c Min unsat cost LB: 88273 ... c Min unsat cost LB: 88283 ... c Min unsat cost LB: 88292 ... c Min unsat cost LB: 88326 ... c Min unsat cost LB: 88335 ... c Min unsat cost LB: 88400 ... c Min unsat cost LB: 88428 ... c Min unsat cost LB: 88438 ... c Min unsat cost LB: 88521 ... c Min unsat cost LB: 88568 ... c Min unsat cost LB: 88604 ... c Min unsat cost LB: 88671 ... c Min unsat cost LB: 88709 ... c Min unsat cost LB: 88884 ... c Min unsat cost LB: 88890 ... c Min unsat cost LB: 88913 ... c Min unsat cost LB: 88956 ... c Min unsat cost LB: 88994 ... c Min unsat cost LB: 89015 ... c Min unsat cost LB: 89061 ... c Min unsat cost LB: 89064 ... c Min unsat cost LB: 89098 ... c Min unsat cost LB: 89110 ... c Min unsat cost LB: 89133 ... c Min unsat cost LB: 89256 ... c Min unsat cost LB: 89261 ... c Min unsat cost LB: 89338 ... c Min unsat cost LB: 89361 ... c Min unsat cost LB: 89497 ... c Min unsat cost LB: 89688 ... c Min unsat cost LB: 89764 ... c Min unsat cost LB: 89830 ... c Min unsat cost LB: 89917 ... c Min unsat cost LB: 90024 ... c Min unsat cost LB: 90097 ... c Min unsat cost LB: 90667 ... c Min unsat cost LB: 90685 ... c Min unsat cost LB: 90753 ... c Min unsat cost LB: 90757 ... c Min unsat cost LB: 90867 ... c Min unsat cost LB: 90935 ... c Min unsat cost LB: 91179 ... c Min unsat cost LB: 91181 ... c Min unsat cost LB: 91437 ... c Min unsat cost LB: 91448 ... c Min unsat cost LB: 91457 ... c Min unsat cost LB: 91525 ... c Min unsat cost LB: 91530 ... c Min unsat cost LB: 91555 ... c Min unsat cost LB: 91574 ... c Min unsat cost LB: 91580 ... c Min unsat cost LB: 91635 ... c Min unsat cost LB: 91695 ... c Min unsat cost LB: 91710 ... c Min unsat cost LB: 91743 ... c Min unsat cost LB: 91752 ... c Min unsat cost LB: 91763 ... c Min unsat cost LB: 91769 ... c Min unsat cost LB: 91801 ... c Min unsat cost LB: 91810 ... c Min unsat cost LB: 91821 ... c Min unsat cost LB: 91822 ... c Min unsat cost LB: 91850 ... c Min unsat cost LB: 91875 ... c Min unsat cost LB: 91885 ... c Min unsat cost LB: 91887 ... c Min unsat cost LB: 91893 ... c Min unsat cost LB: 91897 ... c Min unsat cost LB: 91912 ... c Min unsat cost LB: 91968 ... c Min unsat cost LB: 92003 ... c Min unsat cost LB: 92014 ... c Min unsat cost LB: 92016 ... c Min unsat cost LB: 92031 ... c Min unsat cost LB: 92036 ... c Min unsat cost LB: 92037 ... c Min unsat cost LB: 92045 ... c Min unsat cost LB: 92046 ... c Min unsat cost LB: 92048 ... c Min unsat cost LB: 92057 ... c Min unsat cost LB: 92058 ... c Min unsat cost LB: 92062 ... c Min unsat cost LB: 92075 ... c Min unsat cost LB: 92081 ... c Min unsat cost LB: 92085 ... c Min unsat cost LB: 92086 ... c Min unsat cost LB: 92088 ... c Min unsat cost LB: 92093 ... c Min unsat cost LB: 92095 ... c Min unsat cost LB: 92098 ... c Min unsat cost LB: 92099 ... c Min unsat cost LB: 92106 ... c Min unsat cost LB: 92108 ... c Min unsat cost LB: 92109 ... c Min unsat cost LB: 92110 ... c Min unsat cost LB: 92111 ... c Min unsat cost LB: 92116 ... c Min unsat cost LB: 92117 ... c Min unsat cost LB: 92150 ... c Min unsat cost LB: 92177 ... c Min unsat cost LB: 92184 ... c Min unsat cost LB: 92191 ... c Min unsat cost LB: 92192 ... c Min unsat cost LB: 92194 ... c Min unsat cost LB: 92197 ... c Min unsat cost LB: 92198 ... c Min unsat cost LB: 92202 ... c Min unsat cost LB: 92235 ... c Min unsat cost LB: 92240 ... c Min unsat cost LB: 92245 ... c Min unsat cost LB: 92247 ... c Min unsat cost LB: 92258 ... c Min unsat cost LB: 92259 ... c Min unsat cost LB: 92283 ... c Min unsat cost LB: 92289 ... c Min unsat cost LB: 92291 ... c Min unsat cost LB: 92303 ... c Min unsat cost LB: 92307 ... c Min unsat cost LB: 92326 ... c Min unsat cost LB: 92332 ... c Min unsat cost LB: 92336 ... c Min unsat cost LB: 92337 ... c Min unsat cost LB: 92338 ... c Min unsat cost LB: 92343 ... c Min unsat cost LB: 92344 ... c Min unsat cost LB: 92347 ... c Min unsat cost LB: 92348 ... c Min unsat cost LB: 92352 ... c Min unsat cost LB: 92357 ... c Min unsat cost LB: 92358 ... c Min unsat cost LB: 92359 ... c Min unsat cost LB: 92361 ... c Min unsat cost LB: 92384 ... c Min unsat cost LB: 92386 ... c Min unsat cost LB: 92387 ... c Min unsat cost LB: 92388 ... c Min unsat cost LB: 92389 ... c Min unsat cost LB: 92391 ... c Min unsat cost LB: 92392 ... c Min unsat cost LB: 92398 ... c Min unsat cost LB: 92400 ... c Min unsat cost LB: 92402 ... c Min unsat cost LB: 92404 ... c Min unsat cost LB: 92405 ... c Min unsat cost LB: 92407 ... c Min unsat cost LB: 92409 ... c Min unsat cost LB: 92410 ... c Min unsat cost LB: 92411 ... c Min unsat cost LB: 92413 ... c Min unsat cost LB: 92416 ... c Min unsat cost LB: 92417 ... c Min unsat cost LB: 92430 ... c Min unsat cost LB: 92433 ... c Min unsat cost LB: 92435 ... c Min unsat cost LB: 92439 ... c Min unsat cost LB: 92441 ... c Min unsat cost LB: 92444 ... c Min unsat cost LB: 92448 ... c Min unsat cost LB: 92455 ... c Min unsat cost LB: 92459 ... c Min unsat cost LB: 92461 ... c Min unsat cost LB: 92481 ... c Min unsat cost LB: 92482 ... c Min unsat cost LB: 92485 ... c Min unsat cost LB: 92487 ... c Min unsat cost LB: 92489 ... c Min unsat cost LB: 92490 ... c Min unsat cost LB: 92491 ... c Min unsat cost LB: 92492 ... c Min unsat cost LB: 92494 ... c Min unsat cost LB: 92495 ... c Min unsat cost LB: 92498 ... c Min unsat cost LB: 92504 ... c Min unsat cost LB: 92505 ... c Min unsat cost LB: 92506 ... c Min unsat cost LB: 92507 ... c Min unsat cost LB: 92508 ... c Min unsat cost LB: 92509 ... c Min unsat cost LB: 92510 ... c Min unsat cost LB: 92511 ... c Min unsat cost LB: 92512 ... c Min unsat cost LB: 92513 ... c Min unsat cost LB: 92514 ... c Min unsat cost LB: 92515 ... c Min unsat cost LB: 92516 ... c Min unsat cost LB: 92517 ... c Min unsat cost LB: 92518 ... c Min unsat cost LB: 92519 ... c Min unsat cost LB: 92520 ... c Min unsat cost LB: 92521 ... c Min unsat cost LB: 92522 ... c Min unsat cost LB: 92523 ... c Min unsat cost LB: 92524 ... c Min unsat cost LB: 92525 ... c Min unsat cost LB: 92526 ... c Min unsat cost LB: 92527 ... c Min unsat cost LB: 92528 ... c Min unsat cost LB: 92529 ... c Min unsat cost LB: 92535 ... c Min unsat cost LB: 92541 ... c Min unsat cost LB: 92548 ... c Min unsat cost LB: 92550 ... c Min unsat cost LB: 92551 ... c Min unsat cost LB: 92553 ... c Min unsat cost LB: 92554 ... c Min unsat cost LB: 92556 ... c Min unsat cost LB: 92560 ... c Min unsat cost LB: 92561 ... c Min unsat cost LB: 92562 ... c Min unsat cost LB: 92563 ... c Min unsat cost LB: 92564 ... c Min unsat cost LB: 92566 ... c Min unsat cost LB: 92567 ... c Min unsat cost LB: 92568 ... c Min unsat cost LB: 92569 ... c Min unsat cost LB: 92570 ... c Min unsat cost LB: 92571 ... c Min unsat cost LB: 92572 ... c Min unsat cost LB: 92573 ... c Min unsat cost LB: 92574 ... c Min unsat cost LB: 92575 ... c Min unsat cost LB: 92576 ... c Min unsat cost LB: 92577 ... c Min unsat cost LB: 92578 ... c Min unsat cost LB: 92580 ... c Min unsat cost LB: 92581 ... c Min unsat cost LB: 92582 ... c Min unsat cost LB: 92583 ... c Min unsat cost LB: 92584 ... c Min unsat cost LB: 92585 ... c Min unsat cost LB: 92586 ... c Min unsat cost LB: 92587 ... c Min unsat cost LB: 92588 ... c Min unsat cost LB: 92589 ... c Min unsat cost LB: 92595 ... c Min unsat cost LB: 92599 ... c Min unsat cost LB: 92630 ... c Min unsat cost LB: 92661 ... c Min unsat cost LB: 92663 ... c Min unsat cost LB: 92681 ... c Min unsat cost LB: 92736 ... c Min unsat cost LB: 92737 ... c Min unsat cost LB: 92742 ... c Min unsat cost LB: 92752 ... c Min unsat cost LB: 92771 ... c Min unsat cost LB: 92775 ... c Min unsat cost LB: 92780 ... c Min unsat cost LB: 92800 ... c Min unsat cost LB: 92815 ... c Min unsat cost LB: 92818 ... c Min unsat cost LB: 92819 ... c Min unsat cost LB: 92822 ... c Min unsat cost LB: 92831 ... c Min unsat cost LB: 92836 ... c Min unsat cost LB: 92840 ... c Min unsat cost LB: 92845 ... c Min unsat cost LB: 92853 ... c Min unsat cost LB: 92859 ... c Min unsat cost LB: 92886 ... c Min unsat cost LB: 92907 ... c Min unsat cost LB: 92909 ... c Min unsat cost LB: 92917 ... c Min unsat cost LB: 92923 ... c Min unsat cost LB: 92934 ... c Min unsat cost LB: 92935 ... c Min unsat cost LB: 92971 ... c Min unsat cost LB: 92975 ... c Min unsat cost LB: 92990 ... c Min unsat cost LB: 92992 ... c Min unsat cost LB: 92996 ... c Min unsat cost LB: 92998 ... c Min unsat cost LB: 93000 ... c Min unsat cost LB: 93006 ... c Min unsat cost LB: 93011 ... c Min unsat cost LB: 93012 ... c Min unsat cost LB: 93014 ... c Min unsat cost LB: 93018 ... c Min unsat cost LB: 93021 ... c Min unsat cost LB: 93022 ... c Min unsat cost LB: 93027 ... c Min unsat cost LB: 93029 ... c Min unsat cost LB: 93031 ... c Min unsat cost LB: 93033 ... c Min unsat cost LB: 93035 ... c Min unsat cost LB: 93036 ... c Min unsat cost LB: 93037 ... c Min unsat cost LB: 93038 ... c Min unsat cost LB: 93039 ... c Min unsat cost LB: 93040 ... c Min unsat cost LB: 93048 ... c Min unsat cost LB: 93049 ... c Min unsat cost LB: 93050 ... c Min unsat cost LB: 93052 ... c Min unsat cost LB: 93053 ... c Min unsat cost LB: 93055 ... c Min unsat cost LB: 93056 ... c Min unsat cost LB: 93057 ... c Min unsat cost LB: 93064 ... c Min unsat cost LB: 93065 ... c Min unsat cost LB: 93070 ... c Min unsat cost LB: 93071 ... c Min unsat cost LB: 93072 ... c Min unsat cost LB: 93073 ... c Min unsat cost LB: 93074 ... c Min unsat cost LB: 93075 ... c Min unsat cost LB: 93076 ... c Min unsat cost LB: 93077 ... c Min unsat cost LB: 93078 ... c Min unsat cost LB: 93079 ... c Min unsat cost LB: 93083 ... c Min unsat cost LB: 93114 ... c Min unsat cost LB: 93199 ... c Min unsat cost LB: 93209 ... c Min unsat cost LB: 93227 ... c Min unsat cost LB: 93230 ... c Min unsat cost LB: 93232 ... c Min unsat cost LB: 93234 ... c Min unsat cost LB: 93247 ... c Min unsat cost LB: 93252 ... c Min unsat cost LB: 93274 ... c Min unsat cost LB: 93275 ... c Min unsat cost LB: 93276 ... c Min unsat cost LB: 93279 ... c Min unsat cost LB: 93288 ... c Min unsat cost LB: 93289 ... c Min unsat cost LB: 93290 ... c Min unsat cost LB: 93302 ... c Min unsat cost LB: 93306 ... c Min unsat cost LB: 93320 ... c Min unsat cost LB: 93321 ... c Min unsat cost LB: 93348 ... c Min unsat cost LB: 93360 ... c Min unsat cost LB: 93364 ... c Min unsat cost LB: 93368 ... c Min unsat cost LB: 93373 ... c Min unsat cost LB: 93385 ... c Min unsat cost LB: 93389 ... c Min unsat cost LB: 93390 ... c Min unsat cost LB: 93391 ... c Min unsat cost LB: 93394 ... c Min unsat cost LB: 93397 ... c Min unsat cost LB: 93399 ... c Min unsat cost LB: 93400 ... c Min unsat cost LB: 93402 ... c Min unsat cost LB: 93404 ... c Min unsat cost LB: 93406 ... c Min unsat cost LB: 93407 ... c Min unsat cost LB: 93408 ... c Min unsat cost LB: 93409 ... c Min unsat cost LB: 93411 ... c Min unsat cost LB: 93412 ... c Min unsat cost LB: 93418 ... c Min unsat cost LB: 93419 ... c Min unsat cost LB: 93420 ... c Min unsat cost LB: 93422 ... c Min unsat cost LB: 93423 ... c Min unsat cost LB: 93424 ... c Min unsat cost LB: 93426 ... c Min unsat cost LB: 93427 ... c Min unsat cost LB: 93428 ... c Min unsat cost LB: 93432 ... c Min unsat cost LB: 93433 ... c Min unsat cost LB: 93434 ... c Min unsat cost LB: 93436 ... c Min unsat cost LB: 93710 ... c Min unsat cost LB: 93743 ... c Min unsat cost LB: 93810 ... c Min unsat cost LB: 93834 ... c Min unsat cost LB: 93903 ... c Min unsat cost LB: 93961 ... c Min unsat cost LB: 93962 ... c Min unsat cost LB: 93963 ... c Min unsat cost LB: 93970 ... c Min unsat cost LB: 94012 ... c Min unsat cost LB: 94013 ... c Min unsat cost LB: 94014 ... c Min unsat cost LB: 94016 ... c Min unsat cost LB: 94017 ... c Min unsat cost LB: 94018 ... c Min unsat cost LB: 94020 ... c Min unsat cost LB: 94021 ... c Min unsat cost LB: 94047 ... c Min unsat cost LB: 94056 ... c Min unsat cost LB: 94061 ... c Min unsat cost LB: 94074 ... c Min unsat cost LB: 94075 ... c Min unsat cost LB: 94090 ... c Min unsat cost LB: 94111 ... c Min unsat cost LB: 94112 ... c Min unsat cost LB: 94113 ... c Min unsat cost LB: 94115 ... c Min unsat cost LB: 94116 ... c Min unsat cost LB: 94117 ... c Min unsat cost LB: 94118 ... c Min unsat cost LB: 94119 ... c Min unsat cost LB: 94120 ... c Min unsat cost LB: 94121 ... c Min unsat cost LB: 94122 ... c Min unsat cost LB: 94123 ... c Min unsat cost LB: 94124 ... c Min unsat cost LB: 94125 ... c Min unsat cost LB: 94127 ... c Min unsat cost LB: 94128 ... c Min unsat cost LB: 94129 ... c Min unsat cost LB: 94130 ... c Min unsat cost LB: 94131 ... c Min unsat cost LB: 94132 ... c Min unsat cost LB: 94133 ... c Min unsat cost LB: 94137 ... c Min unsat cost LB: 94138 ... c Min unsat cost LB: 94139 ... c Min unsat cost LB: 94140 ... c Min unsat cost LB: 94141 ... c Min unsat cost LB: 94142 ... c Min unsat cost LB: 94143 ... c Min unsat cost LB: 94145 ... c Min unsat cost LB: 94148 ... c Min unsat cost LB: 94150 ... c Min unsat cost LB: 94151 ... c Min unsat cost LB: 94160 ... c Min unsat cost LB: 94162 ... c Min unsat cost LB: 94177 ... c Min unsat cost LB: 94178 ... c Min unsat cost LB: 94179 ... c Min unsat cost LB: 94180 ... c Min unsat cost LB: 94181 ... c Min unsat cost LB: 94182 ... c Min unsat cost LB: 94183 ... c Min unsat cost LB: 94184 ... c Min unsat cost LB: 94185 ... c Min unsat cost LB: 94186 ... c Min unsat cost LB: 94187 ... c Min unsat cost LB: 94191 ... c Min unsat cost LB: 94527 ... c Min unsat cost LB: 94553 ... c Min unsat cost LB: 94554 ... c Min unsat cost LB: 94558 ... c Min unsat cost LB: 94559 ... c Min unsat cost LB: 94560 ... c Min unsat cost LB: 94561 ... c Min unsat cost LB: 94562 ... c Min unsat cost LB: 94563 ... c Min unsat cost LB: 94564 ... c Min unsat cost LB: 94565 ... c Min unsat cost LB: 94566 ... c Min unsat cost LB: 94567 ... c Min unsat cost LB: 94568 ... c Min unsat cost LB: 94570 ... c Min unsat cost LB: 94571 ... c Min unsat cost LB: 94572 ... c Min unsat cost LB: 94573 ... c Min unsat cost LB: 94574 ... c Min unsat cost LB: 94577 ... c Min unsat cost LB: 94578 ... c Min unsat cost LB: 94579 ... c Min unsat cost LB: 94580 ... c Min unsat cost LB: 94581 ... c Min unsat cost LB: 94582 ... c Min unsat cost LB: 94583 ... c Min unsat cost LB: 94584 ... c Min unsat cost LB: 94585 ... c Min unsat cost LB: 94586 ... c Min unsat cost LB: 94587 ... c Min unsat cost LB: 94588 ... c Min unsat cost LB: 94589 ... c Min unsat cost LB: 94590 ... c Min unsat cost LB: 94591 ... c Min unsat cost LB: 94593 ... c Min unsat cost LB: 94594 ... c Min unsat cost LB: 94596 ... c Min unsat cost LB: 94598 ... c Min unsat cost LB: 94599 ... c Min unsat cost LB: 94600 ... c Min unsat cost LB: 94602 ... c Min unsat cost LB: 94603 ... c Min unsat cost LB: 94604 ... c Min unsat cost LB: 94605 ... c Min unsat cost LB: 94606 ... c Min unsat cost LB: 94607 ... c Min unsat cost LB: 94608 ... c Min unsat cost LB: 94609 ... c Min unsat cost LB: 94611 ... c Min unsat cost LB: 94613 ... c Min unsat cost LB: 94617 ... c Min unsat cost LB: 94618 ... c Min unsat cost LB: 94619 ... c Min unsat cost LB: 94620 ... c Min unsat cost LB: 94630 ... c Min unsat cost LB: 94633 ... c Min unsat cost LB: 94635 ... c Min unsat cost LB: 94637 ... c Min unsat cost LB: 94638 ... c Min unsat cost LB: 94639 ... c Min unsat cost LB: 94645 ... c Min unsat cost LB: 94650 ... c Min unsat cost LB: 94727 ... c Min unsat cost LB: 94731 ... c Min unsat cost LB: 94733 ... c Min unsat cost LB: 94734 ... c Min unsat cost LB: 94735 ... c Min unsat cost LB: 94736 ... c Min unsat cost LB: 94737 ... c Min unsat cost LB: 94738 ... c Min unsat cost LB: 94739 ... c Min unsat cost LB: 94740 ... c Min unsat cost LB: 94741 ... c Min unsat cost LB: 94743 ... c Min unsat cost LB: 94744 ... c Min unsat cost LB: 94745 ... c Min unsat cost LB: 94746 ... c Min unsat cost LB: 94747 ... c Min unsat cost LB: 94748 ... c Min unsat cost LB: 94749 ... c Min unsat cost LB: 94750 ... c Min unsat cost LB: 94751 ... c Min unsat cost LB: 94752 ... c Min unsat cost LB: 94753 ... c Min unsat cost LB: 94754 ... c Min unsat cost LB: 94755 ... c Min unsat cost LB: 94756 ... c Min unsat cost LB: 94757 ... c Min unsat cost LB: 94760 ... c Min unsat cost LB: 94786 ... c Min unsat cost LB: 94797 ... c Min unsat cost LB: 94801 ... c Min unsat cost LB: 94802 ... c Min unsat cost LB: 94803 ... c Min unsat cost LB: 94804 ... c Min unsat cost LB: 94805 ... c Min unsat cost LB: 94806 ... c Min unsat cost LB: 94808 ... c Min unsat cost LB: 94809 ... c Min unsat cost LB: 94810 ... c Min unsat cost LB: 94815 ... c Min unsat cost LB: 94851 ... c Min unsat cost LB: 94859 ... c Min unsat cost LB: 94860 ... c Min unsat cost LB: 94862 ... c Min unsat cost LB: 94867 ... c Min unsat cost LB: 94868 ... c Min unsat cost LB: 94869 ... c Min unsat cost LB: 94870 ... c Min unsat cost LB: 94874 ... c Min unsat cost LB: 94876 ... c Min unsat cost LB: 94877 ... c Min unsat cost LB: 94878 ... c Min unsat cost LB: 94879 ... c Min unsat cost LB: 94880 ... c Min unsat cost LB: 94881 ... c Min unsat cost LB: 94882 ... c Min unsat cost LB: 94883 ... c Min unsat cost LB: 94884 ... c Min unsat cost LB: 94885 ... c Min unsat cost LB: 94886 ... c Min unsat cost LB: 94887 ... c Min unsat cost LB: 94888 ... c Min unsat cost LB: 94889 ... c Min unsat cost LB: 94890 ... c Min unsat cost LB: 94891 ... c Min unsat cost LB: 94892 ... c Min unsat cost LB: 94895 ... c Min unsat cost LB: 94896 ... c Min unsat cost LB: 94897 ... c Min unsat cost LB: 94898 ... c Min unsat cost LB: 94899 ... c Min unsat cost LB: 94900 ... c Min unsat cost LB: 94901 ... c Min unsat cost LB: 94902 ... c Min unsat cost LB: 94903 ... c Min unsat cost LB: 94904 ... c Min unsat cost LB: 94905 ... c Min unsat cost LB: 94906 ... c Min unsat cost LB: 94907 ... c Min unsat cost LB: 94908 ... c Min unsat cost LB: 94909 ... c Min unsat cost LB: 94910 ... c Min unsat cost LB: 94911 ... c Min unsat cost LB: 94912 ... c Min unsat cost LB: 94913 ... c Min unsat cost LB: 94914 ... c Min unsat cost LB: 94915 ... c Min unsat cost LB: 94916 ... c Min unsat cost LB: 94917 ... c Min unsat cost LB: 94918 ... c Min unsat cost LB: 94919 ... c Min unsat cost LB: 94920 ... c Min unsat cost LB: 94921 ... c Min unsat cost LB: 94922 ... c Min unsat cost LB: 94923 ... c Min unsat cost LB: 94924 ... c Min unsat cost LB: 94925 ... c Min unsat cost LB: 94926 ... c Min unsat cost LB: 94927 ... c Min unsat cost LB: 94928 ... c Min unsat cost LB: 94929 ... c Min unsat cost LB: 94930 ... c Min unsat cost LB: 94931 ... c Min unsat cost LB: 94932 ... c Min unsat cost LB: 94933 ... c Min unsat cost LB: 94934 ... c Min unsat cost LB: 94935 ... c Min unsat cost LB: 94937 ... c Min unsat cost LB: 94938 ... c Min unsat cost LB: 94947 ... c Min unsat cost LB: 94953 ... c Min unsat cost LB: 94955 ... c Min unsat cost LB: 94956 ... c Min unsat cost LB: 94958 ... c Min unsat cost LB: 94959 ... c Min unsat cost LB: 94960 ... c Min unsat cost LB: 94963 ... c Min unsat cost LB: 94967 ... c Min unsat cost LB: 94978 ... c Min unsat cost LB: 94979 ... c Min unsat cost LB: 94981 ... c Min unsat cost LB: 94983 ... c Min unsat cost LB: 95002 ... c Min unsat cost LB: 95003 ... c Min unsat cost LB: 95004 ... c Min unsat cost LB: 95012 ... c Min unsat cost LB: 95020 ... c Min unsat cost LB: 95023 ... c Min unsat cost LB: 95024 ... c Min unsat cost LB: 95025 ... c Min unsat cost LB: 95030 ... c Min unsat cost LB: 95040 ... c Min unsat cost LB: 95050 ... c Min unsat cost LB: 95051 ... c Min unsat cost LB: 95052 ... c Min unsat cost LB: 95053 ... c Min unsat cost LB: 95054 ... c Min unsat cost LB: 95055 ... c Min unsat cost LB: 95056 ... c Min unsat cost LB: 95058 ... c Min unsat cost LB: 95066 ... c Min unsat cost LB: 95067 ... c Min unsat cost LB: 95068 ... c Min unsat cost LB: 95077 ... c Min unsat cost LB: 95078 ... c Min unsat cost LB: 95079 ... c Min unsat cost LB: 95080 ... c Min unsat cost LB: 95081 ... c Min unsat cost LB: 95082 ... c Min unsat cost LB: 95083 ... c Min unsat cost LB: 95084 ... c Min unsat cost LB: 95085 ... c Min unsat cost LB: 95086 ... c Min unsat cost LB: 95087 ... c Min unsat cost LB: 95088 ... c Min unsat cost LB: 95089 ... c Min unsat cost LB: 95090 ... c Min unsat cost LB: 95094 ... c Min unsat cost LB: 95095 ... c Min unsat cost LB: 95096 ... c Min unsat cost LB: 95097 ... c Min unsat cost LB: 95098 ... c Min unsat cost LB: 95099 ... c Min unsat cost LB: 95100 ... c Min unsat cost LB: 95101 ... c Min unsat cost LB: 95102 ... c Min unsat cost LB: 95103 ... c Min unsat cost LB: 95104 ... c Min unsat cost LB: 95105 ... c Min unsat cost LB: 95106 ... c Min unsat cost LB: 95107 ... c Min unsat cost LB: 95110 ... c Min unsat cost LB: 95112 ... c Min unsat cost LB: 95113 ... c Min unsat cost LB: 95114 ... c Min unsat cost LB: 95118 ... c Min unsat cost LB: 95119 ... c Min unsat cost LB: 95129 ... c Min unsat cost LB: 95137 ... c Min unsat cost LB: 95138 ... c Min unsat cost LB: 95139 ... c Min unsat cost LB: 95140 ... c Min unsat cost LB: 95141 ... c Min unsat cost LB: 95142 ... c Min unsat cost LB: 95143 ... c Min unsat cost LB: 95144 ... c Min unsat cost LB: 95145 ... c Min unsat cost LB: 95146 ... c Min unsat cost LB: 95147 ... c Min unsat cost LB: 95148 ... c Min unsat cost LB: 95149 ... c Min unsat cost LB: 95150 ... c Min unsat cost LB: 95151 ... c Min unsat cost LB: 95152 ... c Min unsat cost LB: 95153 ... c Min unsat cost LB: 95154 ... c Min unsat cost LB: 95155 ... c Min unsat cost LB: 95156 ... c Min unsat cost LB: 95157 ... c Min unsat cost LB: 95158 ... c Min unsat cost LB: 95175 ... c Min unsat cost LB: 95177 ... c Min unsat cost LB: 95178 ... c Min unsat cost LB: 95180 ... c Min unsat cost LB: 95182 ... c Min unsat cost LB: 95236 ... c Min unsat cost LB: 95252 ... c Min unsat cost LB: 95254 ... c Min unsat cost LB: 95259 ... c Min unsat cost LB: 95269 ... c Min unsat cost LB: 95270 ... c Min unsat cost LB: 95281 ... c Min unsat cost LB: 95283 ... c Min unsat cost LB: 95284 ... c Min unsat cost LB: 95285 ... c Min unsat cost LB: 95286 ... c Min unsat cost LB: 95287 ... c Min unsat cost LB: 95288 ... c Min unsat cost LB: 95289 ... c Min unsat cost LB: 95290 ... c Min unsat cost LB: 95291 ... c Min unsat cost LB: 95292 ... c Min unsat cost LB: 95293 ... c Min unsat cost LB: 95294 ... c Min unsat cost LB: 95298 ... c Min unsat cost LB: 95299 ... c Min unsat cost LB: 95300 ... c Min unsat cost LB: 95301 ... c Min unsat cost LB: 95302 ... c Min unsat cost LB: 95303 ... c Min unsat cost LB: 95304 ... c Min unsat cost LB: 95306 ... c Min unsat cost LB: 95307 ... c Min unsat cost LB: 95308 ... c Min unsat cost LB: 95309 ... c Min unsat cost LB: 95310 ... c Min unsat cost LB: 95311 ... c Min unsat cost LB: 95312 ... c Min unsat cost LB: 95313 ... c Min unsat cost LB: 95315 ... c Min unsat cost LB: 95316 ... c Min unsat cost LB: 95318 ... c Min unsat cost LB: 95322 ... c Min unsat cost LB: 95324 ... c Min unsat cost LB: 95327 ... c Min unsat cost LB: 95328 ... c Min unsat cost LB: 95329 ... c Min unsat cost LB: 95330 ... c Min unsat cost LB: 95331 ... c Min unsat cost LB: 95332 ... c Min unsat cost LB: 95333 ... c Min unsat cost LB: 95334 ... c Min unsat cost LB: 95335 ... c Min unsat cost LB: 95336 ... c Min unsat cost LB: 95337 ... c Min unsat cost LKilled 1813.853u 5.889s 30:21.19 99.9% 0+0k 0+0io 0pf+0w