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_100_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_100_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_100_0005.txt.wcnf *** c c Min unsat cost LB: 389 ... c Min unsat cost LB: 1100 ... c Min unsat cost LB: 1180 ... c Min unsat cost LB: 1260 ... c Min unsat cost LB: 1971 ... c Min unsat cost LB: 2682 ... c Min unsat cost LB: 3393 ... c Min unsat cost LB: 3473 ... c Min unsat cost LB: 4086 ... c Min unsat cost LB: 4797 ... c Min unsat cost LB: 4881 ... c Min unsat cost LB: 4961 ... c Min unsat cost LB: 5041 ... c Min unsat cost LB: 5121 ... c Min unsat cost LB: 5734 ... c Min unsat cost LB: 5832 ... c Min unsat cost LB: 6361 ... c Min unsat cost LB: 6441 ... c Min unsat cost LB: 6521 ... c Min unsat cost LB: 6605 ... c Min unsat cost LB: 6674 ... c Min unsat cost LB: 6754 ... c Min unsat cost LB: 6834 ... c Min unsat cost LB: 6955 ... c Min unsat cost LB: 7076 ... c Min unsat cost LB: 7787 ... c Min unsat cost LB: 8498 ... c Min unsat cost LB: 8619 ... c Min unsat cost LB: 9170 ... c Min unsat cost LB: 9492 ... c Min unsat cost LB: 9613 ... c Min unsat cost LB: 9773 ... c Min unsat cost LB: 10484 ... c Min unsat cost LB: 11195 ... c Min unsat cost LB: 11424 ... c Min unsat cost LB: 11906 ... c Min unsat cost LB: 12135 ... c Min unsat cost LB: 12617 ... c Min unsat cost LB: 12846 ... c Min unsat cost LB: 13557 ... c Min unsat cost LB: 14268 ... c Min unsat cost LB: 14495 ... c Min unsat cost LB: 15206 ... c Min unsat cost LB: 15595 ... c Min unsat cost LB: 16306 ... c Min unsat cost LB: 16386 ... c Min unsat cost LB: 16915 ... c Min unsat cost LB: 17077 ... c Min unsat cost LB: 17259 ... c Min unsat cost LB: 17810 ... c Min unsat cost LB: 18423 ... c Min unsat cost LB: 19134 ... c Min unsat cost LB: 19232 ... c Min unsat cost LB: 19459 ... c Min unsat cost LB: 19539 ... c Min unsat cost LB: 19619 ... c Min unsat cost LB: 20295 ... c Min unsat cost LB: 20375 ... c Min unsat cost LB: 20455 ... c Min unsat cost LB: 21358 ... c Min unsat cost LB: 22261 ... c Min unsat cost LB: 22341 ... c Min unsat cost LB: 22421 ... c Min unsat cost LB: 22501 ... c Min unsat cost LB: 22728 ... c Min unsat cost LB: 22808 ... c Min unsat cost LB: 22957 ... c Min unsat cost LB: 23078 ... c Min unsat cost LB: 23605 ... c Min unsat cost LB: 23616 ... c Min unsat cost LB: 23685 ... c Min unsat cost LB: 23696 ... c Min unsat cost LB: 23776 ... c Min unsat cost LB: 23856 ... c Min unsat cost LB: 23923 ... c Min unsat cost LB: 24044 ... c Min unsat cost LB: 24057 ... c Min unsat cost LB: 24137 ... c Min unsat cost LB: 24217 ... c Min unsat cost LB: 24219 ... c Min unsat cost LB: 24297 ... c Min unsat cost LB: 24377 ... c Min unsat cost LB: 24431 ... c Min unsat cost LB: 24433 ... c Min unsat cost LB: 24457 ... c Min unsat cost LB: 24513 ... c Min unsat cost LB: 24537 ... c Min unsat cost LB: 24580 ... c Min unsat cost LB: 24593 ... c Min unsat cost LB: 24662 ... c Min unsat cost LB: 24731 ... c Min unsat cost LB: 24811 ... c Min unsat cost LB: 24891 ... c Min unsat cost LB: 24997 ... c Min unsat cost LB: 25034 ... c Min unsat cost LB: 25064 ... c Min unsat cost LB: 25183 ... c Min unsat cost LB: 25196 ... c Min unsat cost LB: 25274 ... c Min unsat cost LB: 25276 ... c Min unsat cost LB: 25289 ... c Min unsat cost LB: 25343 ... c Min unsat cost LB: 25464 ... c Min unsat cost LB: 25544 ... c Min unsat cost LB: 25642 ... c Min unsat cost LB: 25745 ... c Min unsat cost LB: 25775 ... c Min unsat cost LB: 25799 ... c Min unsat cost LB: 25801 ... c Min unsat cost LB: 25857 ... c Min unsat cost LB: 25900 ... c Min unsat cost LB: 26006 ... c Min unsat cost LB: 26060 ... c Min unsat cost LB: 26084 ... c Min unsat cost LB: 26456 ... c Min unsat cost LB: 26620 ... c Min unsat cost LB: 26845 ... c Min unsat cost LB: 26887 ... c Min unsat cost LB: 26925 ... c Min unsat cost LB: 27247 ... c Min unsat cost LB: 27327 ... c Min unsat cost LB: 27402 ... c Min unsat cost LB: 27556 ... c Min unsat cost LB: 27636 ... c Min unsat cost LB: 27649 ... c Min unsat cost LB: 27770 ... c Min unsat cost LB: 28005 ... c Min unsat cost LB: 28216 ... c Min unsat cost LB: 28445 ... c Min unsat cost LB: 28681 ... c Min unsat cost LB: 29188 ... c Min unsat cost LB: 29210 ... c Min unsat cost LB: 29294 ... c Min unsat cost LB: 29519 ... c Min unsat cost LB: 29640 ... c Min unsat cost LB: 29720 ... c Min unsat cost LB: 29733 ... c Min unsat cost LB: 29775 ... c Min unsat cost LB: 29794 ... c Min unsat cost LB: 29813 ... c Min unsat cost LB: 29869 ... c Min unsat cost LB: 29871 ... c Min unsat cost LB: 29901 ... c Min unsat cost LB: 29966 ... c Min unsat cost LB: 30065 ... c Min unsat cost LB: 30089 ... c Min unsat cost LB: 30091 ... c Min unsat cost LB: 30143 ... c Min unsat cost LB: 30249 ... c Min unsat cost LB: 30292 ... c Min unsat cost LB: 30316 ... c Min unsat cost LB: 30632 ... c Min unsat cost LB: 30712 ... c Min unsat cost LB: 30914 ... c Min unsat cost LB: 30994 ... c Min unsat cost LB: 31074 ... c Min unsat cost LB: 31583 ... c Min unsat cost LB: 31748 ... c Min unsat cost LB: 32196 ... c Min unsat cost LB: 32294 ... c Min unsat cost LB: 32374 ... c Min unsat cost LB: 32979 ... c Min unsat cost LB: 33016 ... c Min unsat cost LB: 33232 ... c Min unsat cost LB: 33312 ... c Min unsat cost LB: 33381 ... c Min unsat cost LB: 33491 ... c Min unsat cost LB: 33608 ... c Min unsat cost LB: 33621 ... c Min unsat cost LB: 33690 ... c Min unsat cost LB: 33727 ... c Min unsat cost LB: 33733 ... c Min unsat cost LB: 33956 ... c Min unsat cost LB: 34075 ... c Min unsat cost LB: 34129 ... c Min unsat cost LB: 34438 ... c Min unsat cost LB: 34507 ... c Min unsat cost LB: 34544 ... c Min unsat cost LB: 34741 ... c Min unsat cost LB: 34778 ... c Min unsat cost LB: 34797 ... c Min unsat cost LB: 34799 ... c Min unsat cost LB: 34976 ... c Min unsat cost LB: 34982 ... c Min unsat cost LB: 35230 ... c Min unsat cost LB: 35279 ... c Min unsat cost LB: 35335 ... c Min unsat cost LB: 35337 ... c Min unsat cost LB: 35361 ... c Min unsat cost LB: 35367 ... c Min unsat cost LB: 35452 ... c Min unsat cost LB: 35466 ... c Min unsat cost LB: 35531 ... c Min unsat cost LB: 35544 ... c Min unsat cost LB: 35692 ... c Min unsat cost LB: 35874 ... c Min unsat cost LB: 36112 ... c Min unsat cost LB: 36114 ... c Min unsat cost LB: 36190 ... c Min unsat cost LB: 36214 ... c Min unsat cost LB: 36256 ... c Min unsat cost LB: 36267 ... c Min unsat cost LB: 36275 ... c Min unsat cost LB: 36289 ... c Min unsat cost LB: 36308 ... c Min unsat cost LB: 36355 ... c Min unsat cost LB: 36376 ... c Min unsat cost LB: 36377 ... c Min unsat cost LB: 36388 ... c Min unsat cost LB: 36389 ... c Min unsat cost LB: 36439 ... c Min unsat cost LB: 36468 ... c Min unsat cost LB: 36476 ... c Min unsat cost LB: 36533 ... c Min unsat cost LB: 36597 ... c Min unsat cost LB: 36631 ... c Min unsat cost LB: 36677 ... c Min unsat cost LB: 36693 ... c Min unsat cost LB: 36736 ... c Min unsat cost LB: 36757 ... c Min unsat cost LB: 36842 ... c Min unsat cost LB: 36864 ... c Min unsat cost LB: 36992 ... c Min unsat cost LB: 36993 ... c Min unsat cost LB: 37003 ... c Min unsat cost LB: 37023 ... c Min unsat cost LB: 37067 ... c Min unsat cost LB: 37127 ... c Min unsat cost LB: 37133 ... c Min unsat cost LB: 37207 ... c Min unsat cost LB: 37222 ... c Min unsat cost LB: 37231 ... c Min unsat cost LB: 37252 ... c Min unsat cost LB: 37281 ... c Min unsat cost LB: 37312 ... c Min unsat cost LB: 37335 ... c Min unsat cost LB: 37474 ... c Min unsat cost LB: 37486 ... c Min unsat cost LB: 37522 ... c Min unsat cost LB: 37528 ... c Min unsat cost LB: 37533 ... c Min unsat cost LB: 37534 ... c Min unsat cost LB: 37539 ... c Min unsat cost LB: 37751 ... c Min unsat cost LB: 37757 ... c Min unsat cost LB: 37763 ... c Min unsat cost LB: 37778 ... c Min unsat cost LB: 37803 ... c Min unsat cost LB: 37818 ... c Min unsat cost LB: 37825 ... c Min unsat cost LB: 37834 ... c Min unsat cost LB: 37839 ... c Min unsat cost LB: 37846 ... c Min unsat cost LB: 37865 ... c Min unsat cost LB: 37894 ... c Min unsat cost LB: 37924 ... c Min unsat cost LB: 37925 ... c Min unsat cost LB: 37930 ... c Min unsat cost LB: 37945 ... c Min unsat cost LB: 37959 ... c Min unsat cost LB: 37960 ... c Min unsat cost LB: 37964 ... c Min unsat cost LB: 37970 ... c Min unsat cost LB: 37980 ... c Min unsat cost LB: 38009 ... c Min unsat cost LB: 38015 ... c Min unsat cost LB: 38016 ... c Min unsat cost LB: 38021 ... c Min unsat cost LB: 38040 ... c Min unsat cost LB: 38061 ... c Min unsat cost LB: 38062 ... c Min unsat cost LB: 38063 ... c Min unsat cost LB: 38067 ... c Min unsat cost LB: 38071 ... c Min unsat cost LB: 38085 ... c Min unsat cost LB: 38087 ... c Min unsat cost LB: 38090 ... c Min unsat cost LB: 38101 ... c Min unsat cost LB: 38109 ... c Min unsat cost LB: 38112 ... c Min unsat cost LB: 38113 ... c Min unsat cost LB: 38114 ... c Min unsat cost LB: 38116 ... c Min unsat cost LB: 38145 ... c Min unsat cost LB: 38159 ... c Min unsat cost LB: 38166 ... c Min unsat cost LB: 38170 ... c Min unsat cost LB: 38172 ... c Min unsat cost LB: 38183 ... c Min unsat cost LB: 38185 ... c Min unsat cost LB: 38188 ... c Min unsat cost LB: 38189 ... c Min unsat cost LB: 38190 ... c Min unsat cost LB: 38194 ... c Min unsat cost LB: 38199 ... c Min unsat cost LB: 38200 ... c Min unsat cost LB: 38201 ... c Min unsat cost LB: 38209 ... c Min unsat cost LB: 38211 ... c Min unsat cost LB: 38213 ... c Min unsat cost LB: 38214 ... c Min unsat cost LB: 38215 ... c Min unsat cost LB: 38227 ... c Min unsat cost LB: 38229 ... c Min unsat cost LB: 38230 ... c Min unsat cost LB: 38231 ... c Min unsat cost LB: 38232 ... c Min unsat cost LB: 38238 ... c Min unsat cost LB: 38251 ... c Min unsat cost LB: 38253 ... c Min unsat cost LB: 38256 ... c Min unsat cost LB: 38265 ... c Min unsat cost LB: 38293 ... c Min unsat cost LB: 38330 ... c Min unsat cost LB: 38366 ... c Min unsat cost LB: 38399 ... c Min unsat cost LB: 38435 ... c Min unsat cost LB: 38483 ... c Min unsat cost LB: 38496 ... c Min unsat cost LB: 38509 ... c Min unsat cost LB: 38515 ... c Min unsat cost LB: 38551 ... c Min unsat cost LB: 38584 ... c Min unsat cost LB: 38595 ... c Min unsat cost LB: 38601 ... c Min unsat cost LB: 38638 ... c Min unsat cost LB: 38645 ... c Min unsat cost LB: 38646 ... c Min unsat cost LB: 38663 ... c Min unsat cost LB: 38669 ... c Min unsat cost LB: 38680 ... c Min unsat cost LB: 38682 ... c Min unsat cost LB: 38688 ... c Min unsat cost LB: 38690 ... c Min unsat cost LB: 38818 ... c Min unsat cost LB: 38824 ... c Min unsat cost LB: 38839 ... c Min unsat cost LB: 38847 ... c Min unsat cost LB: 38857 ... c Min unsat cost LB: 38858 ... c Min unsat cost LB: 38862 ... c Min unsat cost LB: 38863 ... c Min unsat cost LB: 38870 ... c Min unsat cost LB: 38874 ... c Min unsat cost LB: 38875 ... c Min unsat cost LB: 38878 ... c Min unsat cost LB: 38890 ... c Min unsat cost LB: 38892 ... c Min unsat cost LB: 38895 ... c Min unsat cost LB: 38897 ... c Min unsat cost LB: 38898 ... c Min unsat cost LB: 38899 ... c Min unsat cost LB: 38900 ... c Min unsat cost LB: 38906 ... c Min unsat cost LB: 38909 ... c Min unsat cost LB: 38911 ... c Min unsat cost LB: 38912 ... c Min unsat cost LB: 38913 ... c Min unsat cost LB: 38917 ... c Min unsat cost LB: 38919 ... c Min unsat cost LB: 38920 ... c Min unsat cost LB: 38922 ... c Min unsat cost LB: 38924 ... c Min unsat cost LB: 38926 ... c Min unsat cost LB: 38928 ... c Min unsat cost LB: 38929 ... c Min unsat cost LB: 38930 ... c Min unsat cost LB: 38931 ... c Min unsat cost LB: 38932 ... c Min unsat cost LB: 38934 ... c Min unsat cost LB: 38939 ... c Min unsat cost LB: 38942 ... c Min unsat cost LB: 38944 ... c Min unsat cost LB: 38953 ... c Min unsat cost LB: 38955 ... c Min unsat cost LB: 38956 ... c Min unsat cost LB: 38974 ... c Min unsat cost LB: 38984 ... c Min unsat cost LB: 38985 ... c Min unsat cost LB: 38989 ... c Min unsat cost LB: 38996 ... c Min unsat cost LB: 38999 ... c Min unsat cost LB: 39001 ... c Min unsat cost LB: 39002 ... c Min unsat cost LB: 39006 ... c Min unsat cost LB: 39011 ... c Min unsat cost LB: 39012 ... c Min unsat cost LB: 39017 ... c Min unsat cost LB: 39022 ... c Min unsat cost LB: 39023 ... c Min unsat cost LB: 39025 ... c Min unsat cost LB: 39058 ... c Min unsat cost LB: 39065 ... c Min unsat cost LB: 39067 ... c Min unsat cost LB: 39068 ... c Min unsat cost LB: 39069 ... c Min unsat cost LB: 39070 ... c Min unsat cost LB: 39074 ... c Min unsat cost LB: 39075 ... c Min unsat cost LB: 39076 ... c Min unsat cost LB: 39077 ... c Min unsat cost LB: 39078 ... c Min unsat cost LB: 39079 ... c Min unsat cost LB: 39080 ... c Min unsat cost LB: 39081 ... c Min unsat cost LB: 39082 ... c Min unsat cost LB: 39083 ... c Min unsat cost LB: 39084 ... c Min unsat cost LB: 39085 ... c Min unsat cost LB: 39087 ... c Min unsat cost LB: 39088 ... c Min unsat cost LB: 39089 ... c Min unsat cost LB: 39090 ... c Min unsat cost LB: 39091 ... c Min unsat cost LB: 39092 ... c Min unsat cost LB: 39094 ... c Min unsat cost LB: 39095 ... c Min unsat cost LB: 39096 ... c Min unsat cost LB: 39097 ... c Min unsat cost LB: 39098 ... c Min unsat cost LB: 39099 ... c Min unsat cost LB: 39100 ... c Min unsat cost LB: 39101 ... c Min unsat cost LB: 39102 ... c Min unsat cost LB: 39103 ... c Min unsat cost LB: 39104 ... c Min unsat cost LB: 39105 ... c Min unsat cost LB: 39106 ... c Min unsat cost LB: 39107 ... c Min unsat cost LB: 39108 ... c Min unsat cost LB: 39109 ... c Min unsat cost LB: 39110 ... c Min unsat cost LB: 39111 ... c Min unsat cost LB: 39112 ... c Min unsat cost LB: 39113 ... c Min unsat cost LB: 39114 ... c Min unsat cost LB: 39115 ... c Min unsat cost LB: 39116 ... c Min unsat cost LB: 39117 ... c Min unsat cost LB: 39118 ... c Min unsat cost LB: 39119 ... c Min unsat cost LB: 39120 ... c Min unsat cost LB: 39125 ... c Min unsat cost LB: 39150 ... c Min unsat cost LB: 39151 ... c Min unsat cost LB: 39153 ... c Min unsat cost LB: 39167 ... c Min unsat cost LB: 39171 ... c Min unsat cost LB: 39183 ... c Min unsat cost LB: 39189 ... c Min unsat cost LB: 39191 ... c Min unsat cost LB: 39193 ... c Min unsat cost LB: 39196 ... c Min unsat cost LB: 39197 ... c Min unsat cost LB: 39198 ... c Min unsat cost LB: 39199 ... c Min unsat cost LB: 39200 ... c Min unsat cost LB: 39201 ... c Min unsat cost LB: 39203 ... c Min unsat cost LB: 39209 ... c Min unsat cost LB: 39221 ... c Min unsat cost LB: 39231 ... c Min unsat cost LB: 39237 ... c Min unsat cost LB: 39254 ... c Min unsat cost LB: 39256 ... c Min unsat cost LB: 39257 ... c Min unsat cost LB: 39260 ... c Min unsat cost LB: 39274 ... c Min unsat cost LB: 39275 ... c Min unsat cost LB: 39276 ... c Min unsat cost LB: 39277 ... c Min unsat cost LB: 39278 ... c Min unsat cost LB: 39279 ... c Min unsat cost LB: 39280 ... c Min unsat cost LB: 39281 ... c Min unsat cost LB: 39282 ... c Min unsat cost LB: 39284 ... c Min unsat cost LB: 39288 ... c Min unsat cost LB: 39290 ... c Min unsat cost LB: 39292 ... c Min unsat cost LB: 39297 ... c Min unsat cost LB: 39298 ... c Min unsat cost LB: 39300 ... c Min unsat cost LB: 39301 ... c Min unsat cost LB: 39303 ... c Min unsat cost LB: 39305 ... c Min unsat cost LB: 39316 ... c Min unsat cost LB: 39317 ... c Min unsat cost LB: 39318 ... c Min unsat cost LB: 39319 ... c Min unsat cost LB: 39321 ... c Min unsat cost LB: 39325 ... c Min unsat cost LB: 39335 ... c Min unsat cost LB: 39337 ... c Min unsat cost LB: 39341 ... c Min unsat cost LB: 39342 ... c Min unsat cost LB: 39343 ... c Min unsat cost LB: 39345 ... c Min unsat cost LB: 39346 ... c Min unsat cost LB: 39347 ... c Min unsat cost LB: 39350 ... c Min unsat cost LB: 39351 ... c Min unsat cost LB: 39355 ... c Min unsat cost LB: 39357 ... c Min unsat cost LB: 39358 ... c Min unsat cost LB: 39359 ... c Min unsat cost LB: 39360 ... c Min unsat cost LB: 39361 ... c Min unsat cost LB: 39362 ... c Min unsat cost LB: 39363 ... c Min unsat cost LB: 39364 ... c Min unsat cost LB: 39365 ... c Min unsat cost LB: 39366 ... c Min unsat cost LB: 39367 ... c Min unsat cost LB: 39368 ... c Min unsat cost LB: 39369 ... c Min unsat cost LB: 39370 ... c Min unsat cost LB: 39371 ... c Min unsat cost LB: 39374 ... c Min unsat cost LB: 39376 ... c Min unsat cost LB: 39377 ... c Min unsat cost LB: 39378 ... c Min unsat cost LB: 39379 ... c Min unsat cost LB: 39381 ... c Min unsat cost LB: 39399 ... c Min unsat cost LB: 39402 ... c Min unsat cost LB: 39423 ... c Min unsat cost LB: 39424 ... c Min unsat cost LB: 39425 ... c Min unsat cost LB: 39426 ... c Min unsat cost LB: 39427 ... c Min unsat cost LB: 39428 ... c Min unsat cost LB: 39429 ... c Min unsat cost LB: 39431 ... c Min unsat cost LB: 39432 ... c Min unsat cost LB: 39434 ... c Min unsat cost LB: 39435 ... c Min unsat cost LB: 39436 ... c Min unsat cost LB: 39438 ... c Min unsat cost LB: 39439 ... c Min unsat cost LB: 39440 ... c Min unsat cost LB: 39442 ... c Min unsat cost LB: 39443 ... c Min unsat cost LB: 39444 ... c Min unsat cost LB: 39445 ... c Min unsat cost LB: 39446 ... c Min unsat cost LB: 39447 ... c Min unsat cost LB: 39448 ... c Min unsat cost LB: 39450 ... c Min unsat cost LB: 39451 ... c Min unsat cost LB: 39452 ... c Min unsat cost LB: 39453 ... c Min unsat cost LB: 39454 ... c Min unsat cost LB: 39470 ... c Min unsat cost LB: 39471 ... c Min unsat cost LB: 39472 ... c Min unsat cost LB: 39473 ... c Min unsat cost LB: 39474 ... c Min unsat cost LB: 39475 ... c Min unsat cost LB: 39476 ... c Min unsat cost LB: 39477 ... c Min unsat cost LB: 39478 ... c Min unsat cost LB: 39479 ... c Min unsat cost LB: 39480 ... c Min unsat cost LB: 39481 ... c Min unsat cost LB: 39482 ... c Min unsat cost LB: 39490 ... c Min unsat cost LB: 39491 ... c Min unsat cost LB: 39492 ... c Min unsat cost LB: 39493 ... c Min unsat cost LB: 39494 ... c Min unsat cost LB: 39496 ... c Min unsat cost LB: 39497 ... c Min unsat cost LB: 39498 ... c Min unsat cost LB: 39499 ... c Min unsat cost LB: 39500 ... c Min unsat cost LB: 39501 ... c Min unsat cost LB: 39502 ... c Min unsat cost LB: 39503 ... c Min unsat cost LB: 39504 ... c Min unsat cost LB: 39507 ... c Min unsat cost LB: 39508 ... c Min unsat cost LB: 39509 ... c Min unsat cost LB: 39510 ... c Min unsat cost LB: 39511 ... c Min unsat cost LB: 39512 ... c Min unsat cost LB: 39513 ... c Min unsat cost LB: 39514 ... c Min unsat cost LB: 39515 ... c Min unsat cost LB: 39516 ... c Min unsat cost LB: 39517 ... c Min unsat cost LB: 39518 ... c Min unsat cost LB: 39519 ... c Min unsat cost LB: 39520 ... c Min unsat cost LB: 39525 ... c Min unsat cost LB: 39526 ... c Min unsat cost LB: 39527 ... c Min unsat cost LB: 39530 ... c Min unsat cost LB: 39531 ... c Min unsat cost LB: 39533 ... c Min unsat cost LB: 39534 ... c Min unsat cost LB: 39535 ... c Min unsat cost LB: 39540 ... c Min unsat cost LB: 39541 ... c Min unsat cost LB: 39556 ... c Min unsat cost LB: 39557 ... c Min unsat cost LB: 39558 ... c Min unsat cost LB: 39560 ... c Min unsat cost LB: 39561 ... c Min unsat cost LB: 39562 ... c Min unsat cost LB: 39563 ... c Min unsat cost LB: 39564 ... c Min unsat cost LB: 39565 ... c Min unsat cost LB: 39566 ... c Min unsat cost LB: 39568 ... c Min unsat cost LB: 39573 ... c Min unsat cost LB: 39574 ... c Min unsat cost LB: 39575 ... c Min unsat cost LB: 39576 ... c Min unsat cost LB: 39577 ... c Min unsat cost LB: 39578 ... c Min unsat cost LB: 39579 ... c Min unsat cost LB: 39580 ... c Min unsat cost LB: 39582 ... c Min unsat cost LB: 39583 ... c Min unsat cost LB: 39588 ... c Min unsat cost LB: 39594 ... c Min unsat cost LB: 39595 ... c Min unsat cost LB: 39596 ... c Min unsat cost LB: 39597 ... c Min unsat cost LB: 39598 ... c Min unsat cost LB: 39599 ... c Min unsat cost LB: 39600 ... c Min unsat cost LB: 39601 ... c Min unsat cost LB: 39602 ... c Min unsat cost LB: 39603 ... c Min unsat cost LB: 39604 ... c Min unsat cost LB: 39605 ... c Min unsat cost LB: 39606 ... c Min unsat cost LB: 39607 ... c Min unsat cost LB: 39608 ... c Min unsat cost LB: 39609 ... c Min unsat cost LB: 39612 ... c Min unsat cost LB: 39613 ... c Min unsat cost LB: 39620 ... c Min unsat cost LB: 39622 ... c Min unsat cost LB: 39635 ... c Min unsat cost LB: 39636 ... c Min unsat cost LB: 39637 ... c Min unsat cost LB: 39638 ... c Min unsat cost LB: 39639 ... c Min unsat cost LB: 39662 ... c Min unsat cost LB: 39663 ... c Min unsat cost LB: 39664 ... c Min unsat cost LB: 39665 ... c Min unsat cost LB: 39666 ... c Min unsat cost LB: 39688 ... c Min unsat cost LB: 39689 ... c Min unsat cost LB: 39690 ... c Min unsat cost LB: 39691 ... c Min unsat cost LB: 39692 ... c Min unsat cost LB: 39693 ... c Min unsat cost LB: 39694 ... c Min unsat cost LB: 39695 ... c Min unsat cost LB: 39696 ... c Min unsat cost LB: 39697 ... c Min unsat cost LB: 39698 ... c Min unsat cost LB: 39699 ... c Min unsat cost LB: 39700 ... c Min unsat cost LB: 39701 ... c Min unsat cost LB: 39702 ... c Min unsat cost LB: 39703 ... c Min unsat cost LB: 39704 ... c Min unsat cost LB: 39705 ... c Min unsat cost LB: 39706 ... c Min unsat cost LB: 39707 ... c Min unsat cost LB: 39708 ... c Min unsat cost LB: 39709 ... c Min unsat cost LB: 39710 ... c Min unsat cost LB: 39711 ... c Min unsat cost LB: 39712 ... c Min unsat cost LB: 39713 ... c Min unsat cost LB: 39714 ... c Min unsat cost LB: 39717 ... c Min unsat cost LB: 39718 ... c Min unsat cost LB: 39720 ... c Min unsat cost LB: 39723 ... c Min unsat cost LB: 39809 ... c Min unsat cost LB: 39816 ... c Min unsat cost LB: 39820 ... c Min unsat cost LB: 39822 ... c Min unsat cost LB: 39830 ... c Min unsat cost LB: 39831 ... c Min unsat cost LB: 39832 ... c Min unsat cost LB: 39837 ... c Min unsat cost LB: 39839 ... c Min unsat cost LB: 39840 ... c Min unsat cost LB: 39841 ... c Min unsat cost LB: 39842 ... c Min unsat cost LB: 39844 ... c Min unsat cost LB: 39845 ... c Min unsat cost LB: 39846 ... c Min unsat cost LB: 39847 ... c Min unsat cost LB: 39848 ... c Min unsat cost LB: 39849 ... c Min unsat cost LB: 39850 ... c Min unsat cost LB: 39857 ... c Min unsat cost LB: 39858 ... c Min unsat cost LB: 39859 ... c Min unsat cost LB: 39860 ... c Min unsat cost LB: 39862 ... c Min unsat cost LB: 39864 ... c Min unsat cost LB: 39865 ... c Min unsat cost LB: 39866 ... c Min unsat cost LB: 39867 ... c Min unsat cost LB: 39868 ... c Min unsat cost LB: 39869 ... c Min unsat cost LB: 39870 ... c Min unsat cost LB: 39880 ... c Min unsat cost LB: 39885 ... c Min unsat cost LB: 39886 ... c Min unsat cost LB: 39887 ... c Min unsat cost LB: 39888 ... c Min unsat cost LB: 39889 ... c Min unsat cost LB: 39890 ... c Min unsat cost LB: 39891 ... c Min unsat cost LB: 39892 ... c Min unsat cost LB: 39893 ... c Min unsat cost LB: 39895 ... c Min unsat cost LB: 39896 ... c Min unsat cost LB: 39900 ... c Min unsat cost LB: 39901 ... c Min unsat cost LB: 39906 ... c Min unsat cost LB: 39907 ... c Min unsat cost LB: 39908 ... c Min unsat cost LB: 39909 ... c Min unsat cost LB: 39910 ... c Min unsat cost LB: 39911 ... c Min unsat cost LB: 39912 ... c Min unsat cost LB: 39913 ... c Min unsat cost LB: 39917 ... c Min unsat cost LB: 39923 ... c Min unsat cost LB: 39927 ... c Min unsat cost LB: 39928 ... c Min unsat cost LB: 39929 ... c Min unsat cost LB: 39930 ... c Min unsat cost LB: 39931 ... c Min unsat cost LB: 39932 ... c Min unsat cost LB: 39933 ... c Min unsat cost LB: 39934 ... c Min unsat cost LB: 39935 ... c Min unsat cost LB: 39936 ... c Min unsat cost LB: 39938 ... c Min unsat cost LB: 39939 ... c Min unsat cost LB: 39940 ... c Min unsat cost LB: 39941 ... c Min unsat cost LB: 39942 ... c Min unsat cost LB: 39943 ... c Min unsat cost LB: 39944 ... c Min unsat cost LB: 39945 ... c Min unsat cost LB: 39946 ... c Min unsat cost LB: 39947 ... c Min unsat cost LB: 39948 ... c Min unsat cost LB: 39949 ... c Min unsat cost LB: 39950 ... c Min unsat cost LB: 39951 ... c Min unsat cost LB: 39952 ... c Min unsat cost LB: 39953 ... c Min unsat cost LB: 39954 ... c Min unsat cost LB: 39955 ... c Min unsat cost LB: 39956 ... c Min unsat cost LB: 39957 ... c Min unsat cost LB: 39958 ... c Min unsat cost LB: 39959 ... c Min unsat cost LB: 39960 ... c Min unsat cost LB: 39961 ... c Min unsat cost LB: 39962 ... c Min unsat cost LB: 39963 ... c Min unsat cost LB: 39964 ... c Min unsat cost LB: 39966 ... c Min unsat cost LB: 39967 ... c Min unsat cost LB: 39968 ... c Min unsat cost LB: 39969 ... c Min unsat cost LB: 39970 ... c Min unsat cost LB: 39971 ... c Min unsat cost LB: 39972 ... c Min unsat cost LB: 39973 ... c Min unsat cost LB: 39974 ... c Min unsat cost LB: 39975 ... c Min unsat cost LB: 39976 ... c Min unsat cost LB: 39977 ... c Min unsat cost LB: 39979 ... c Min unsat cost LB: 39980 ... c Min unsat cost LB: 39998 ... c Min unsat cost LB: 39999 ... c Min unsat cost LB: 40000 ... c Min unsat cost LB: 40001 ... c Min unsat cost LB: 40002 ... c Min unsat cost LB: 40003 ... c Min unsat cost LB: 40004 ... c Min unsat cost LB: 40039 ... c Min unsat cost LB: 40144 ... c Min unsat cost LB: 40145 ... c Min unsat cost LB: 40146 ... c Min unsat cost LB: 40147 ... c Min unsat cost LB: 40148 ... c Min unsat cost LB: 40149 ... c Min unsat cost LB: 40150 ... c Min unsat cost LB: 40151 ... c Min unsat cost LB: 40152 ... c Min unsat cost LB: 40153 ... c Min unsat cost LB: 40154 ... c Min unsat cost LB: 40155 ... c Min unsat cost LB: 40156 ... c Min unsat cost LB: 40157 ... c Min unsat cost LB: 40158 ... c Min unsat cost LB: 40159 ... c Min unsat cost LB: 40160 ... c Min unsat cost LB: 40161 ... c Min unsat cost LB: 40162 ... c Min unsat cost LB: 40163 ... c Min unsat cost LB: 40164 ... c Min unsat cost LB: 40165 ... c Min unsat cost LB: 40167 ... c Min unsat cost LB: 40168 ... c Min unsat cost LB: 40169 ... c Min unsat cost LB: 40170 ... c Min unsat cost LB: 40171 ... c Min unsat cost LB: 40172 ... c Min unsat cost LB: 40173 ... c Min unsat cost LB: 40174 ... c Min unsat cost LB: 40175 ... c Min unsat cost LB: 40176 ... c Min unsat cost LB: 40177 ... c Min unsat cost LB: 40178 ... c Min unsat cost LB: 40180 ... c Min unsat cost LB: 40182 ... c Min unsat cost LB: 40183 ... c Min unsat cost LB: 40185 ... c Min unsat cost LB: 40186 ... c Min unsat cost LB: 40187 ... c Min unsat cost LB: 40188 ... c Min unsat cost LB: 40189 ... c Min unsat cost LB: 40190 ... c Min unsat cost LB: 40191 ... c Min unsat cost LB: 40192 ... c Min unsat cost LB: 40194 ... c Min unsat cost LB: 40195 ... c Min unsat cost LB: 40196 ... c Min unsat cost LB: 40197 ... c Min unsat cost LB: 40201 ... c Min unsat cost LB: 40202 ... c Min unsat cost LB: 40203 ... c Min unsat cost LB: 40204 ... c Min unsat cost LB: 40206 ... c Min unsat cost LB: 40207 ... c Min unsat cost LB: 40208 ... c Min unsat cost LB: 40209 ... c Min unsat cost LB: 40210 ... c Min unsat cost LB: 40211 ... c Min unsat cost LB: 40212 ... c Min unsat cost LB: 40213 ... c Min unsat cost LB: 40214 ... c Min unsat cost LB: 40215 ... c Min unsat cost LB: 40216 ... c Min unsat cost LB: 40217 ... c Min unsat cost LB: 40218 ... c Min unsat cost LB: 40219 ... c Min unsat cost LB: 40220 ... c Min unsat cost LB: 40221 ... c Min unsat cost LB: 40222 ... c Min unsat cost LB: 40223 ... c Min unsat cost LB: 40224 ... c Min unsat cost LB: 40225 ... c Min unsat cost LB: 40226 ... c Min unsat cost LB: 40227 ... c Min unsat cost LB: 40228 ... c Min unsat cost LB: 40229 ... c Min unsat cost LB: 40230 ... c Min unsat cost LB: 40243 ... c Min unsat cost LB: 40248 ... c Min unsat cost LB: 40290 ... c Min unsat cost LB: 40291 ... c Min unsat cost LB: 40292 ... c Min unsat cost LB: 40293 ... c Min unsat cost LB: 40294 ... c Min unsat cost LB: 40295 ... c Min unsat cost LB: 40296 ... c Min unsat cost LB: 40297 ... c Min unsat cost LB: 40298 ... c Min unsat cost LB: 40299 ... c Min unsat cost LB: 40300 ... c Min unsat cost LB: 40301 ... c Min unsat cost LB: 40302 ... c Min unsat cost LB: 40303 ... c Min unsat cost LB: 40304 ... c Min unsat cost LB: 40305 ... c Min unsat cost LB: 40307 ... c Min unsat cost LB: 40308 ... c Min unsat cost LB: 40314 ... c Min unsat cost LB: 40331 ... c Min unsat cost LB: 40334 ... c Min unsat cost LB: 40336 ... c Min unsat cost LB: 40337 ... c Min unsat cost LB: 40338 ... c Min unsat cost LB: 40339 ... c Min unsat cost LB: 40340 ... c Min unsat cost LB: 40341 ... c Min unsat cost LB: 40342 ... c Min unsat cost LB: 40343 ... c Min unsat cost LB: 40344 ... c Min unsat cost LB: 40345 ... c Min unsat cost LB: 40348 ... c Min unsat cost LB: 40349 ... c Min unsat cost LB: 40350 ... c Min unsat cost LB: 40351 ... c Min unsat cost LB: 40352 ... c Min unsat cost LB: 40353 ... c Min unsat cost LB: 40354 ... c Min unsat cost LB: 40355 ... c Min unsat cost LB: 40356 ... c Min unsat cost LB: 40357 ... c Min unsat cost LB: 40358 ... c Min unsat cost LB: 40359 ... c Min unsat cost LB: 40360 ... c Min unsat cost LB: 40361 ... c Min unsat cost LB: 40362 ... c Min unsat cost LB: 40363 ... c Min unsat cost LB: 40364 ... c Min unsat cost LB: 40365 ... c Min unsat cost LB: 40366 ... c Min unsat cost LB: 40367 ... c Min unsat cost LB: 40368 ... c Min unsat cost LB: 40369 ... c Min unsat cost LB: 40370 ... c Min unsat cost LB: 40371 ... c Min unsat cost LB: 40372 ... c Min unsat cost LB: 40373 ... c Min unsat cost LB: 40374 ... c Min unsat cost LB: 40375 ... c Min unsat cost LB: 40376 ... c Min unsat cost LB: 40377 ... c Min unsat cost LB: 40378 ... c Min unsat cost LB: 40379 ... c Min unsat cost LB: 40380 ... c Min unsat cost LB: 40381 ... c Min unsat cost LB: 40382 ... c Min unsat cost LB: 40383 ... c Min unsat cost LB: 40384 ... c Min unsat cost LB: 40385 ... c Min unsat cost LB: 40386 ... c Min unsat cost LB: 40387 ... c Min unsat cost LB: 40388 ... c Min unsat cost LB: 40389 ... c Min unsat cost LB: 40390 ... c Min unsat cost LB: 40391 ... c Min unsat cost LB: 40392 ... c Min unsat cost LB: 40393 ... c Min unsat cost LB: 40394 ... c Min unsat cost LB: 40395 ... c Min unsat cost LB: 40396 ... c Min unsat cost LB: 40397 ... c Min unsat cost LB: 40398 ... c Min unsat cost LB: 40399 ... c Min unsat cost LB: 40400 ... c Min unsat cost LB: 40401 ... c Min unsat cost LB: 40402 ... c Min unsat cost LB: 40403 ... c Min unsat cost LB: 40404 ... c Min unsat cost LB: 40405 ... c Min unsat cost LB: 40406 ... c Min unsat cost LB: 40407 ... c Min unsat cost LB: 40408 ... c Min unsat cost LB: 40409 ... c Min unsat cost LB: 40410 ... c Min unsat cost LB: 40411 ... c Min unsat cost LB: 40412 ... c Min unsat cost LB: 40413 ... c Min unsat cost LB: 40414 ... c Min unsat cost LB: 40415 ... c Min unsat cost LB: 40416 ... c Min unsat cost LB: 40417 ... c Min unsat cost LB: 40418 ... c Min unsat cost LB: 40419 ... c Min unsat cost LB: 40420 ... c Min unsat cost LB: 40421 ... c Min unsat cost LB: 40422 ... c Min unsat cost LB: 40423 ... c Min unsat cost LB: 40424 ... c Min unsat cost LB: 40425 ... c Min unsat cost LB: 40426 ... c Min unsat cost LB: 40427 ... c Min unsat cost LB: 40428 ... c Min unsat cost LB: 40429 ... c Min unsat cost LB: 40430 ... c Min unsat cost LB: 40431 ... c Min unsat cost LB: 40432 ... c Min unsat cost LB: 40433 ... c Min unsat cost LB: 40434 ... c Min unsat cost LB: 40435 ... c Min unsat cost LB: 40436 ... c Min unsat cost LB: 40438 ... c Min unsat cost LB: 40439 ... c Min unsat cost LB: 40440 ... c Min unsat cost LB: 40441 ... c Min unsat cost LB: 40442 ... c Min unsat cost LB: 40443 ... c Min unsat cost LB: 40444 ... c Min unsat cost LB: 40445 ... c Min unsat cost LB: 40446 ... c Min unsat cost LB: 40447 ... c Min unsat cost LB: 40448 ... c Min unsat cost LB: 40449 ... c Min unsat cost LB: 40450 ... c Min unsat cost LB: 40451 ... c Min unsat cost LB: 40452 ... c Min unsat cost LB: 40453 ... c Min unsat cost LB: 40454 ... c Min unsat cost LB: 40455 ... c Min unsat cost LB: 40456 ... c Min unsat cost LB: 40457 ... c Min unsat cost LB: 40458 ... c Min unsat cost LB: 40459 ... c Min unsat cost LB: 40460 ... c Min unsat cost LB: 40464 ... cKilled 1816.871u 2.866s 30:19.97 99.9% 0+0k 0+0io 0pf+0w