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_90_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_90_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_90_0005.txt.wcnf *** c c Min unsat cost LB: 24 ... c Min unsat cost LB: 1328 ... c Min unsat cost LB: 1352 ... c Min unsat cost LB: 1364 ... c Min unsat cost LB: 1388 ... c Min unsat cost LB: 1400 ... c Min unsat cost LB: 2704 ... c Min unsat cost LB: 2728 ... c Min unsat cost LB: 2740 ... c Min unsat cost LB: 2764 ... c Min unsat cost LB: 2776 ... c Min unsat cost LB: 2800 ... c Min unsat cost LB: 2812 ... c Min unsat cost LB: 2836 ... c Min unsat cost LB: 4140 ... c Min unsat cost LB: 4164 ... c Min unsat cost LB: 5277 ... c Min unsat cost LB: 5313 ... c Min unsat cost LB: 5349 ... c Min unsat cost LB: 5504 ... c Min unsat cost LB: 6462 ... c Min unsat cost LB: 6808 ... c Min unsat cost LB: 7575 ... c Min unsat cost LB: 7587 ... c Min unsat cost LB: 8124 ... c Min unsat cost LB: 8160 ... c Min unsat cost LB: 8743 ... c Min unsat cost LB: 8767 ... c Min unsat cost LB: 8803 ... c Min unsat cost LB: 8839 ... c Min unsat cost LB: 8875 ... c Min unsat cost LB: 8911 ... c Min unsat cost LB: 10215 ... c Min unsat cost LB: 10251 ... c Min unsat cost LB: 11555 ... c Min unsat cost LB: 12668 ... c Min unsat cost LB: 12859 ... c Min unsat cost LB: 12871 ... c Min unsat cost LB: 12895 ... c Min unsat cost LB: 13478 ... c Min unsat cost LB: 13490 ... c Min unsat cost LB: 14412 ... c Min unsat cost LB: 14794 ... c Min unsat cost LB: 15515 ... c Min unsat cost LB: 15527 ... c Min unsat cost LB: 15551 ... c Min unsat cost LB: 16134 ... c Min unsat cost LB: 16717 ... c Min unsat cost LB: 16753 ... c Min unsat cost LB: 16911 ... c Min unsat cost LB: 17530 ... c Min unsat cost LB: 17554 ... c Min unsat cost LB: 18858 ... c Min unsat cost LB: 19137 ... c Min unsat cost LB: 19149 ... c Min unsat cost LB: 19173 ... c Min unsat cost LB: 19452 ... c Min unsat cost LB: 20137 ... c Min unsat cost LB: 20161 ... c Min unsat cost LB: 20185 ... c Min unsat cost LB: 20221 ... c Min unsat cost LB: 20245 ... c Min unsat cost LB: 20281 ... c Min unsat cost LB: 21306 ... c Min unsat cost LB: 21585 ... c Min unsat cost LB: 21609 ... c Min unsat cost LB: 21621 ... c Min unsat cost LB: 21645 ... c Min unsat cost LB: 21669 ... c Min unsat cost LB: 22973 ... c Min unsat cost LB: 23204 ... c Min unsat cost LB: 24508 ... c Min unsat cost LB: 24926 ... c Min unsat cost LB: 24938 ... c Min unsat cost LB: 24950 ... c Min unsat cost LB: 24974 ... c Min unsat cost LB: 24986 ... c Min unsat cost LB: 24998 ... c Min unsat cost LB: 25022 ... c Min unsat cost LB: 25046 ... c Min unsat cost LB: 25058 ... c Min unsat cost LB: 25082 ... c Min unsat cost LB: 25094 ... c Min unsat cost LB: 25118 ... c Min unsat cost LB: 25142 ... c Min unsat cost LB: 25154 ... c Min unsat cost LB: 25178 ... c Min unsat cost LB: 25202 ... c Min unsat cost LB: 25214 ... c Min unsat cost LB: 25226 ... c Min unsat cost LB: 25238 ... c Min unsat cost LB: 25250 ... c Min unsat cost LB: 25251 ... c Min unsat cost LB: 25252 ... c Min unsat cost LB: 25262 ... c Min unsat cost LB: 25493 ... c Min unsat cost LB: 25517 ... c Min unsat cost LB: 25530 ... c Min unsat cost LB: 25542 ... c Min unsat cost LB: 25566 ... c Min unsat cost LB: 25577 ... c Min unsat cost LB: 25578 ... c Min unsat cost LB: 25590 ... c Min unsat cost LB: 25869 ... c Min unsat cost LB: 25905 ... c Min unsat cost LB: 25941 ... c Min unsat cost LB: 25977 ... c Min unsat cost LB: 26172 ... c Min unsat cost LB: 26208 ... c Min unsat cost LB: 26500 ... c Min unsat cost LB: 26531 ... c Min unsat cost LB: 26543 ... c Min unsat cost LB: 26583 ... c Min unsat cost LB: 26595 ... c Min unsat cost LB: 26631 ... c Min unsat cost LB: 27078 ... c Min unsat cost LB: 27079 ... c Min unsat cost LB: 27091 ... c Min unsat cost LB: 27115 ... c Min unsat cost LB: 27127 ... c Min unsat cost LB: 27812 ... c Min unsat cost LB: 28382 ... c Min unsat cost LB: 28394 ... c Min unsat cost LB: 28399 ... c Min unsat cost LB: 28557 ... c Min unsat cost LB: 28970 ... c Min unsat cost LB: 29553 ... c Min unsat cost LB: 29565 ... c Min unsat cost LB: 29577 ... c Min unsat cost LB: 29589 ... c Min unsat cost LB: 29601 ... c Min unsat cost LB: 29625 ... c Min unsat cost LB: 29637 ... c Min unsat cost LB: 29673 ... c Min unsat cost LB: 29722 ... c Min unsat cost LB: 29973 ... c Min unsat cost LB: 30001 ... c Min unsat cost LB: 30572 ... c Min unsat cost LB: 30608 ... c Min unsat cost LB: 30905 ... c Min unsat cost LB: 30917 ... c Min unsat cost LB: 31180 ... c Min unsat cost LB: 31181 ... c Min unsat cost LB: 31526 ... c Min unsat cost LB: 31562 ... c Min unsat cost LB: 31717 ... c Min unsat cost LB: 31778 ... c Min unsat cost LB: 32259 ... c Min unsat cost LB: 32283 ... c Min unsat cost LB: 32478 ... c Min unsat cost LB: 32737 ... c Min unsat cost LB: 32954 ... c Min unsat cost LB: 33020 ... c Min unsat cost LB: 33359 ... c Min unsat cost LB: 33399 ... c Min unsat cost LB: 33428 ... c Min unsat cost LB: 33550 ... c Min unsat cost LB: 34235 ... c Min unsat cost LB: 34280 ... c Min unsat cost LB: 34451 ... c Min unsat cost LB: 34626 ... c Min unsat cost LB: 34772 ... c Min unsat cost LB: 34773 ... c Min unsat cost LB: 34774 ... c Min unsat cost LB: 34787 ... c Min unsat cost LB: 34797 ... c Min unsat cost LB: 34798 ... c Min unsat cost LB: 34809 ... c Min unsat cost LB: 34833 ... c Min unsat cost LB: 34843 ... c Min unsat cost LB: 34854 ... c Min unsat cost LB: 34867 ... c Min unsat cost LB: 34874 ... c Min unsat cost LB: 34879 ... c Min unsat cost LB: 34903 ... c Min unsat cost LB: 34915 ... c Min unsat cost LB: 34951 ... c Min unsat cost LB: 35005 ... c Min unsat cost LB: 35052 ... c Min unsat cost LB: 35207 ... c Min unsat cost LB: 35389 ... c Min unsat cost LB: 35452 ... c Min unsat cost LB: 35476 ... c Min unsat cost LB: 35488 ... c Min unsat cost LB: 35500 ... c Min unsat cost LB: 35512 ... c Min unsat cost LB: 35524 ... c Min unsat cost LB: 35536 ... c Min unsat cost LB: 35547 ... c Min unsat cost LB: 35558 ... c Min unsat cost LB: 35563 ... c Min unsat cost LB: 35565 ... c Min unsat cost LB: 35573 ... c Min unsat cost LB: 35575 ... c Min unsat cost LB: 35578 ... c Min unsat cost LB: 35581 ... c Min unsat cost LB: 35599 ... c Min unsat cost LB: 35610 ... c Min unsat cost LB: 35612 ... c Min unsat cost LB: 35614 ... c Min unsat cost LB: 35624 ... c Min unsat cost LB: 35626 ... c Min unsat cost LB: 35635 ... c Min unsat cost LB: 35637 ... c Min unsat cost LB: 35639 ... c Min unsat cost LB: 35656 ... c Min unsat cost LB: 35690 ... c Min unsat cost LB: 35692 ... c Min unsat cost LB: 35811 ... c Min unsat cost LB: 35818 ... c Min unsat cost LB: 35819 ... c Min unsat cost LB: 35820 ... c Min unsat cost LB: 35832 ... c Min unsat cost LB: 35844 ... c Min unsat cost LB: 35856 ... c Min unsat cost LB: 35868 ... c Min unsat cost LB: 35880 ... c Min unsat cost LB: 35904 ... c Min unsat cost LB: 35908 ... c Min unsat cost LB: 35912 ... c Min unsat cost LB: 35948 ... c Min unsat cost LB: 35949 ... c Min unsat cost LB: 36078 ... c Min unsat cost LB: 36082 ... c Min unsat cost LB: 36094 ... c Min unsat cost LB: 36143 ... c Min unsat cost LB: 36155 ... c Min unsat cost LB: 36159 ... c Min unsat cost LB: 36163 ... c Min unsat cost LB: 36394 ... c Min unsat cost LB: 36460 ... c Min unsat cost LB: 36714 ... c Min unsat cost LB: 36718 ... c Min unsat cost LB: 36719 ... c Min unsat cost LB: 36731 ... c Min unsat cost LB: 36732 ... c Min unsat cost LB: 36746 ... c Min unsat cost LB: 36755 ... c Min unsat cost LB: 36766 ... c Min unsat cost LB: 36790 ... c Min unsat cost LB: 36791 ... c Min unsat cost LB: 36986 ... c Min unsat cost LB: 37007 ... c Min unsat cost LB: 37050 ... c Min unsat cost LB: 37090 ... c Min unsat cost LB: 37116 ... c Min unsat cost LB: 37134 ... c Min unsat cost LB: 37177 ... c Min unsat cost LB: 37234 ... c Min unsat cost LB: 37235 ... c Min unsat cost LB: 37259 ... c Min unsat cost LB: 37390 ... c Min unsat cost LB: 37763 ... c Min unsat cost LB: 37767 ... c Min unsat cost LB: 37771 ... c Min unsat cost LB: 37775 ... c Min unsat cost LB: 37779 ... c Min unsat cost LB: 37783 ... c Min unsat cost LB: 37784 ... c Min unsat cost LB: 37791 ... c Min unsat cost LB: 37799 ... c Min unsat cost LB: 37811 ... c Min unsat cost LB: 37815 ... c Min unsat cost LB: 37819 ... c Min unsat cost LB: 37831 ... c Min unsat cost LB: 37833 ... c Min unsat cost LB: 37834 ... c Min unsat cost LB: 37836 ... c Min unsat cost LB: 37837 ... c Min unsat cost LB: 37838 ... c Min unsat cost LB: 37839 ... c Min unsat cost LB: 37840 ... c Min unsat cost LB: 37843 ... c Min unsat cost LB: 37847 ... c Min unsat cost LB: 37851 ... c Min unsat cost LB: 37855 ... c Min unsat cost LB: 37859 ... c Min unsat cost LB: 37863 ... c Min unsat cost LB: 37871 ... c Min unsat cost LB: 38070 ... c Min unsat cost LB: 38071 ... c Min unsat cost LB: 38073 ... c Min unsat cost LB: 38074 ... c Min unsat cost LB: 38084 ... c Min unsat cost LB: 38103 ... c Min unsat cost LB: 38104 ... c Min unsat cost LB: 38105 ... c Min unsat cost LB: 38129 ... c Min unsat cost LB: 38130 ... c Min unsat cost LB: 38131 ... c Min unsat cost LB: 38132 ... c Min unsat cost LB: 38137 ... c Min unsat cost LB: 38138 ... c Min unsat cost LB: 38139 ... c Min unsat cost LB: 38140 ... c Min unsat cost LB: 38141 ... c Min unsat cost LB: 38153 ... c Min unsat cost LB: 38173 ... c Min unsat cost LB: 38174 ... c Min unsat cost LB: 38176 ... c Min unsat cost LB: 38178 ... c Min unsat cost LB: 38179 ... c Min unsat cost LB: 38180 ... c Min unsat cost LB: 38181 ... c Min unsat cost LB: 38182 ... c Min unsat cost LB: 38184 ... c Min unsat cost LB: 38185 ... c Min unsat cost LB: 38186 ... c Min unsat cost LB: 38188 ... c Min unsat cost LB: 38190 ... c Min unsat cost LB: 38193 ... c Min unsat cost LB: 38194 ... c Min unsat cost LB: 38195 ... c Min unsat cost LB: 38196 ... c Min unsat cost LB: 38197 ... c Min unsat cost LB: 38198 ... c Min unsat cost LB: 38199 ... c Min unsat cost LB: 38200 ... c Min unsat cost LB: 38201 ... c Min unsat cost LB: 38202 ... c Min unsat cost LB: 38203 ... c Min unsat cost LB: 38204 ... c Min unsat cost LB: 38205 ... c Min unsat cost LB: 38206 ... c Min unsat cost LB: 38207 ... c Min unsat cost LB: 38209 ... c Min unsat cost LB: 38238 ... c Min unsat cost LB: 38269 ... c Min unsat cost LB: 38383 ... c Min unsat cost LB: 38387 ... c Min unsat cost LB: 38428 ... c Min unsat cost LB: 38438 ... c Min unsat cost LB: 38449 ... c Min unsat cost LB: 38452 ... c Min unsat cost LB: 38473 ... c Min unsat cost LB: 38491 ... c Min unsat cost LB: 38492 ... c Min unsat cost LB: 38495 ... c Min unsat cost LB: 38515 ... c Min unsat cost LB: 38533 ... c Min unsat cost LB: 38536 ... c Min unsat cost LB: 38544 ... c Min unsat cost LB: 38545 ... c Min unsat cost LB: 38549 ... c Min unsat cost LB: 38554 ... c Min unsat cost LB: 38560 ... c Min unsat cost LB: 38569 ... c Min unsat cost LB: 38570 ... c Min unsat cost LB: 38578 ... c Min unsat cost LB: 38581 ... c Min unsat cost LB: 38585 ... c Min unsat cost LB: 38587 ... c Min unsat cost LB: 38596 ... c Min unsat cost LB: 38601 ... c Min unsat cost LB: 38604 ... c Min unsat cost LB: 38609 ... c Min unsat cost LB: 38619 ... c Min unsat cost LB: 38624 ... c Min unsat cost LB: 38625 ... c Min unsat cost LB: 38626 ... c Min unsat cost LB: 38627 ... c Min unsat cost LB: 38725 ... c Min unsat cost LB: 38738 ... c Min unsat cost LB: 38739 ... c Min unsat cost LB: 38775 ... c Min unsat cost LB: 38777 ... c Min unsat cost LB: 38778 ... c Min unsat cost LB: 38795 ... c Min unsat cost LB: 38796 ... c Min unsat cost LB: 38799 ... c Min unsat cost LB: 38802 ... c Min unsat cost LB: 38804 ... c Min unsat cost LB: 38806 ... c Min unsat cost LB: 38807 ... c Min unsat cost LB: 38808 ... c Min unsat cost LB: 38810 ... c Min unsat cost LB: 38811 ... c Min unsat cost LB: 38815 ... c Min unsat cost LB: 38816 ... c Min unsat cost LB: 38819 ... c Min unsat cost LB: 38827 ... c Min unsat cost LB: 38828 ... c Min unsat cost LB: 38829 ... c Min unsat cost LB: 38831 ... c Min unsat cost LB: 38834 ... c Min unsat cost LB: 38921 ... c Min unsat cost LB: 38922 ... c Min unsat cost LB: 38923 ... c Min unsat cost LB: 38938 ... c Min unsat cost LB: 38940 ... c Min unsat cost LB: 38941 ... c Min unsat cost LB: 38947 ... c Min unsat cost LB: 38949 ... c Min unsat cost LB: 38951 ... c Min unsat cost LB: 38952 ... c Min unsat cost LB: 38955 ... c Min unsat cost LB: 38957 ... c Min unsat cost LB: 38958 ... c Min unsat cost LB: 38959 ... c Min unsat cost LB: 38960 ... c Min unsat cost LB: 38961 ... c Min unsat cost LB: 38964 ... c Min unsat cost LB: 38971 ... c Min unsat cost LB: 38972 ... c Min unsat cost LB: 38973 ... c Min unsat cost LB: 38974 ... c Min unsat cost LB: 38976 ... c Min unsat cost LB: 38983 ... c Min unsat cost LB: 38984 ... c Min unsat cost LB: 38998 ... c Min unsat cost LB: 39009 ... c Min unsat cost LB: 39011 ... c Min unsat cost LB: 39012 ... c Min unsat cost LB: 39016 ... c Min unsat cost LB: 39017 ... c Min unsat cost LB: 39019 ... c Min unsat cost LB: 39021 ... c Min unsat cost LB: 39022 ... c Min unsat cost LB: 39023 ... c Min unsat cost LB: 39024 ... c Min unsat cost LB: 39026 ... c Min unsat cost LB: 39029 ... c Min unsat cost LB: 39034 ... c Min unsat cost LB: 39045 ... c Min unsat cost LB: 39057 ... c Min unsat cost LB: 39058 ... c Min unsat cost LB: 39059 ... c Min unsat cost LB: 39060 ... c Min unsat cost LB: 39061 ... c Min unsat cost LB: 39062 ... c Min unsat cost LB: 39063 ... c Min unsat cost LB: 39064 ... c Min unsat cost LB: 39065 ... c Min unsat cost LB: 39066 ... 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: 39071 ... c Min unsat cost LB: 39073 ... c Min unsat cost LB: 39074 ... 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: 39086 ... 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: 39092 ... c Min unsat cost LB: 39093 ... c Min unsat cost LB: 39094 ... c Min unsat cost LB: 39095 ... c Min unsat cost LB: 39100 ... c Min unsat cost LB: 39102 ... c Min unsat cost LB: 39105 ... c Min unsat cost LB: 39114 ... c Min unsat cost LB: 39119 ... c Min unsat cost LB: 39179 ... c Min unsat cost LB: 39180 ... c Min unsat cost LB: 39194 ... c Min unsat cost LB: 39203 ... c Min unsat cost LB: 39204 ... c Min unsat cost LB: 39211 ... c Min unsat cost LB: 39213 ... c Min unsat cost LB: 39214 ... c Min unsat cost LB: 39215 ... c Min unsat cost LB: 39220 ... c Min unsat cost LB: 39224 ... c Min unsat cost LB: 39238 ... c Min unsat cost LB: 39239 ... c Min unsat cost LB: 39240 ... c Min unsat cost LB: 39243 ... c Min unsat cost LB: 39246 ... c Min unsat cost LB: 39247 ... c Min unsat cost LB: 39256 ... c Min unsat cost LB: 39257 ... c Min unsat cost LB: 39258 ... c Min unsat cost LB: 39259 ... c Min unsat cost LB: 39260 ... c Min unsat cost LB: 39262 ... c Min unsat cost LB: 39267 ... c Min unsat cost LB: 39268 ... c Min unsat cost LB: 39269 ... c Min unsat cost LB: 39270 ... c Min unsat cost LB: 39273 ... c Min unsat cost LB: 39274 ... 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: 39283 ... c Min unsat cost LB: 39284 ... c Min unsat cost LB: 39285 ... c Min unsat cost LB: 39287 ... c Min unsat cost LB: 39288 ... c Min unsat cost LB: 39289 ... c Min unsat cost LB: 39290 ... c Min unsat cost LB: 39291 ... c Min unsat cost LB: 39292 ... c Min unsat cost LB: 39293 ... c Min unsat cost LB: 39294 ... c Min unsat cost LB: 39295 ... c Min unsat cost LB: 39296 ... c Min unsat cost LB: 39297 ... c Min unsat cost LB: 39298 ... c Min unsat cost LB: 39302 ... c Min unsat cost LB: 39303 ... c Min unsat cost LB: 39304 ... c Min unsat cost LB: 39305 ... c Min unsat cost LB: 39306 ... c Min unsat cost LB: 39307 ... c Min unsat cost LB: 39308 ... c Min unsat cost LB: 39309 ... c Min unsat cost LB: 39310 ... c Min unsat cost LB: 39311 ... c Min unsat cost LB: 39312 ... c Min unsat cost LB: 39313 ... c Min unsat cost LB: 39314 ... c Min unsat cost LB: 39315 ... 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: 39320 ... c Min unsat cost LB: 39321 ... c Min unsat cost LB: 39322 ... c Min unsat cost LB: 39323 ... c Min unsat cost LB: 39324 ... c Min unsat cost LB: 39325 ... c Min unsat cost LB: 39327 ... c Min unsat cost LB: 39331 ... c Min unsat cost LB: 39340 ... c Min unsat cost LB: 39341 ... c Min unsat cost LB: 39342 ... c Min unsat cost LB: 39343 ... c Min unsat cost LB: 39344 ... c Min unsat cost LB: 39345 ... c Min unsat cost LB: 39346 ... c Min unsat cost LB: 39347 ... c Min unsat cost LB: 39348 ... c Min unsat cost LB: 39349 ... c Min unsat cost LB: 39350 ... c Min unsat cost LB: 39351 ... c Min unsat cost LB: 39352 ... c Min unsat cost LB: 39353 ... c Min unsat cost LB: 39354 ... c Min unsat cost LB: 39355 ... c Min unsat cost LB: 39356 ... 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: 39378 ... c Min unsat cost LB: 39379 ... c Min unsat cost LB: 39380 ... c Min unsat cost LB: 39381 ... c Min unsat cost LB: 39382 ... c Min unsat cost LB: 39383 ... c Min unsat cost LB: 39384 ... c Min unsat cost LB: 39385 ... c Min unsat cost LB: 39386 ... c Min unsat cost LB: 39387 ... c Min unsat cost LB: 39389 ... c Min unsat cost LB: 39390 ... c Min unsat cost LB: 39391 ... c Min unsat cost LB: 39392 ... c Min unsat cost LB: 39393 ... c Min unsat cost LB: 39394 ... c Min unsat cost LB: 39395 ... c Min unsat cost LB: 39396 ... c Min unsat cost LB: 39397 ... c Min unsat cost LB: 39398 ... c Min unsat cost LB: 39399 ... c Min unsat cost LB: 39400 ... c Min unsat cost LB: 39401 ... c Min unsat cost LB: 39402 ... c Min unsat cost LB: 39403 ... c Min unsat cost LB: 39404 ... c Min unsat cost LB: 39405 ... c Min unsat cost LB: 39406 ... c Min unsat cost LB: 39407 ... c Min unsat cost LB: 39408 ... c Min unsat cost LB: 39409 ... c Min unsat cost LB: 39410 ... c Min unsat cost LB: 39411 ... c Min unsat cost LB: 39412 ... c Min unsat cost LB: 39413 ... c Min unsat cost LB: 39414 ... c Min unsat cost LB: 39415 ... c Min unsat cost LB: 39416 ... c Min unsat cost LB: 39417 ... c Min unsat cost LB: 39418 ... c Min unsat cost LB: 39419 ... c Min unsat cost LB: 39420 ... c Min unsat cost LB: 39421 ... c Min unsat cost LB: 39422 ... 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: 39430 ... c Min unsat cost LB: 39431 ... c Min unsat cost LB: 39432 ... c Min unsat cost LB: 39433 ... c Min unsat cost LB: 39434 ... c Min unsat cost LB: 39435 ... c Min unsat cost LB: 39436 ... c Min unsat cost LB: 39437 ... c Min unsat cost LB: 39438 ... c Min unsat cost LB: 39439 ... c Min unsat cost LB: 39440 ... c Min unsat cost LB: 39441 ... 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: 39449 ... 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: 39455 ... c Min unsat cost LB: 39456 ... c Min unsat cost LB: 39457 ... c Min unsat cost LB: 39458 ... c Min unsat cost LB: 39459 ... c Min unsat cost LB: 39460 ... c Min unsat cost LB: 39461 ... c Min unsat cost LB: 39463 ... c Min unsat cost LB: 39464 ... c Min unsat cost LB: 39465 ... c Min unsat cost LB: 39466 ... c Min unsat cost LB: 39467 ... c Min unsat cost LB: 39468 ... c Min unsat cost LB: 39472 ... 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: 39480 ... c Min unsat cost LB: 39482 ... c Min unsat cost LB: 39486 ... c Min unsat cost LB: 39487 ... c Min unsat cost LB: 39488 ... c Min unsat cost LB: 39489 ... c Min unsat cost LB: 39491 ... c Min unsat cost LB: 39496 ... c Min unsat cost LB: 39497 ... c Min unsat cost LB: 39561 ... c Min unsat cost LB: 39562 ... c Min unsat cost LB: 39565 ... c Min unsat cost LB: 39566 ... c Min unsat cost LB: 39719 ... c Min unsat cost LB: 39722 ... c Min unsat cost LB: 39723 ... c Min unsat cost LB: 39724 ... c Min unsat cost LB: 39725 ... c Min unsat cost LB: 39726 ... c Min unsat cost LB: 39727 ... c Min unsat cost LB: 39728 ... c Min unsat cost LB: 39729 ... c Min unsat cost LB: 39730 ... c Min unsat cost LB: 39731 ... c Min unsat cost LB: 39732 ... c Min unsat cost LB: 39733 ... c Min unsat cost LB: 39734 ... c Min unsat cost LB: 39735 ... c Min unsat cost LB: 39736 ... c Min unsat cost LB: 39737 ... c Min unsat cost LB: 39738 ... c Min unsat cost LB: 39739 ... c Min unsat cost LB: 39740 ... c Min unsat cost LB: 39741 ... c Min unsat cost LB: 39742 ... c Min unsat cost LB: 39743 ... c Min unsat cost LB: 39744 ... c Min unsat cost LB: 39745 ... c Min unsat cost LB: 39746 ... c Min unsat cost LB: 39747 ... c Min unsat cost LB: 39748 ... c Min unsat cost LB: 39749 ... c Min unsat cost LB: 39750 ... c Min unsat cost LB: 39751 ... c Min unsat cost LB: 39752 ... c Min unsat cost LB: 39753 ... c Min unsat cost LB: 39754 ... c Min unsat cost LB: 39755 ... c Min unsat cost LB: 39757 ... c Min unsat cost LB: 39758 ... c Min unsat cost LB: 39759 ... c Min unsat cost LB: 39760 ... c Min unsat cost LB: 39761 ... c Min unsat cost LB: 39762 ... c Min unsat cost LB: 39763 ... c Min unsat cost LB: 39764 ... c Min unsat cost LB: 39765 ... c Min unsat cost LB: 39766 ... c Min unsat cost LB: 39767 ... c Min unsat cost LB: 39768 ... c Min unsat cost LB: 39769 ... c Min unsat cost LB: 39770 ... c Min unsat cost LB: 39771 ... c Min unsat cost LB: 39772 ... c Min unsat cost LB: 39773 ... c Min unsat cost LB: 39774 ... c Min unsat cost LB: 39775 ... c Min unsat cost LB: 39776 ... c Min unsat cost LB: 39777 ... c Min unsat cost LB: 39778 ... c Min unsat cost LB: 39779 ... c Min unsat cost LB: 39780 ... c Min unsat cost LB: 39781 ... c Min unsat cost LB: 39782 ... c Min unsat cost LB: 39783 ... c Min unsat cost LB: 39784 ... c Min unsat cost LB: 39785 ... c Min unsat cost LB: 39786 ... c Min unsat cost LB: 39787 ... c Min unsat cost LB: 39788 ... c Min unsat cost LB: 39789 ... c Min unsat cost LB: 39790 ... c Min unsat cost LB: 39791 ... c Min unsat cost LB: 39792 ... c Min unsat cost LB: 39793 ... c Min unsat cost LB: 39794 ... c Min unsat cost LB: 39795 ... c Min unsat cost LB: 39799 ... c Min unsat cost LB: 39800 ... c Min unsat cost LB: 39809 ... c Min unsat cost LB: 39810 ... c Min unsat cost LB: 39811 ... c Min unsat cost LB: 39812 ... c Min unsat cost LB: 39813 ... c Min unsat cost LB: 39814 ... c Min unsat cost LB: 39815 ... c Min unsat cost LB: 39816 ... c Min unsat cost LB: 39817 ... c Min unsat cost LB: 39818 ... c Min unsat cost LB: 39819 ... c Min unsat cost LB: 39820 ... c Min unsat cost LB: 39821 ... c Min unsat cost LB: 39822 ... c Min unsat cost LB: 39823 ... c Min unsat cost LB: 39824 ... c Min unsat cost LB: 39825 ... c Min unsat cost LB: 39826 ... c Min unsat cost LB: 39827 ... c Min unsat cost LB: 39828 ... c Min unsat cost LB: 39829 ... c Min unsat cost LB: 39838 ... 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: 39843 ... 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: 39852 ... c Min unsat cost LB: 39855 ... c Min unsat cost LB: 39856 ... 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: 39869 ... c Min unsat cost LB: 39872 ... c Min unsat cost LB: 39873 ... c Min unsat cost LB: 39874 ... c Min unsat cost LB: 39878 ... c Min unsat cost LB: 39880 ... c Min unsat cost LB: 39881 ... c Min unsat cost LB: 39882 ... c Min unsat cost LB: 39883 ... c Min unsat cost LB: 39884 ... c Min unsat cost LB: 39885 ... c Min unsat cost LB: 39886 ... c Min unsat cost LB: 39887 ... 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: 39894 ... c Min unsat cost LB: 39895 ... c Min unsat cost LB: 39896 ... c Min unsat cost LB: 39897 ... c Min unsat cost LB: 39899 ... c Min unsat cost LB: 39900 ... c Min unsat cost LB: 39901 ... c Min unsat cost LB: 39902 ... c Min unsat cost LB: 39903 ... c Min unsat cost LB: 39904 ... c Min unsat cost LB: 39905 ... c Min unsat cost LB: 39906 ... c Min unsat cost LB: 39907 ... c Min unsat cost LB: 39912 ... c Min unsat cost LB: 39913 ... 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: 39937 ... 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: 40044 ... c Min unsat cost LB: 40045 ... c Min unsat cost LB: 40046 ... c Min unsat cost LB: 40048 ... c Min unsat cost LB: 40049 ... c Min unsat cost LB: 40050 ... c Min unsat cost LB: 40051 ... c Min unsat cost LB: 40052 ... c Min unsat cost LB: 40053 ... c Min unsat cost LB: 40054 ... c Min unsat cost LB: 40055 ... c Min unsat cost LB: 40056 ... c Min unsat cost LB: 40061 ... c Min unsat cost LB: 40073 ... c Min unsat cost LB: 40074 ... c Min unsat cost LB: 40077 ... c Min unsat cost LB: 40078 ... c Min unsat cost LB: 40079 ... c Min unsat cost LB: 40080 ... c Min unsat cost LB: 40081 ... c Min unsat cost LB: 40082 ... c Min unsat cost LB: 40083 ... c Min unsat cost LB: 40084 ... c Min unsat cost LB: 40085 ... c Min unsat cost LB: 40086 ... c Min unsat cost LB: 40087 ... c Min unsat cost LB: 40088 ... c Min unsat cost LB: 40089 ... c Min unsat cost LB: 40090 ... c Min unsat cost LB: 40091 ... c Min unsat cost LB: 40092 ... c Min unsat cost LB: 40093 ... c Min unsat cost LB: 40094 ... c Min unsat cost LB: 40095 ... c Min unsat cost LB: 40096 ... c Min unsat cost LB: 40097 ... c Min unsat cost LB: 40098 ... c Min unsat cost LB: 40099 ... c Min unsat cost LB: 40100 ... c Min unsat cost LB: 40101 ... c Min unsat cost LB: 40102 ... c Min unsat cost LB: 40103 ... c Min unsat cost LB: 40104 ... c Min unsat cost LB: 40105 ... c Min unsat cost LB: 40106 ... c Min unsat cost LB: 40107 ... c Min unsat cost LB: 40108 ... c Min unsat cost LB: 40109 ... c Min unsat cost LB: 40110 ... c Min unsat cost LB: 40111 ... c Min unsat cost LB: 40112 ... c Min unsat cost LB: 40113 ... c Min unsat cost LB: 40114 ... c Min unsat cost LB: 40115 ... c Min unsat cost LB: 40116 ... c Min unsat cost LB: 40117 ... c Min unsat cost LB: 40118 ... c Min unsat cost LB: 40119 ... c Min unsat cost LB: 40120 ... c Min unsat cost LB: 40121 ... c Min unsat cost LB: 40122 ... c Min unsat cost LB: 40123 ... c Min unsat cost LB: 40124 ... c Min unsat cost LB: 40125 ... c Min unsat cost LB: 40126 ... c Min unsat cost LB: 40128 ... c Min unsat cost LB: 40129 ... c Min unsat cost LB: 40130 ... c Min unsat cost LB: 40131 ... c Min unsat cost LB: 40132 ... c Min unsat cost LB: 40133 ... c Min unsat cost LB: 40134 ... c Min unsat cost LB: 40135 ... c Min unsat cost LB: 40136 ... c Min unsat cost LB: 40137 ... c Min unsat cost LB: 40138 ... c Min unsat cost LB: 40139 ... c Min unsat cost LB: 40140 ... c Min unsat cost LB: 40141 ... c Min unsat cost LB: 40142 ... c Min unsat cost LB: 40143 ... 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: 40164 ... c Min unsat cost LB: 40165 ... c Min unsat cost LB: 40166 ... 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: 40179 ... c Min unsat cost LB: 40180 ... c Min unsat cost LB: 40181 ... c Min unsat cost LB: 40182 ... c Min unsat cost LB: 40183 ... 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: 40193 ... 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: 40198 ... c Min unsat cost LB: 40199 ... c Min unsat cost LB: 40200 ... 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: 40205 ... c Min unsat cost LB: 40254 ... c Min unsat cost LB: 40255 ... c Min unsat cost LB: 40256 ... c Min unsat cost LB: 40257 ... c Min unsat cost LB: 40258 ... c Min unsat cost LB: 40259 ... c Min unsat cost LB: 40260 ... c Min unsat cost LB: 40261 ... c Min unsat cost LB: 40262 ... c Min unsat cost LB: 40263 ... c Min unsat cost LB: 40264 ... c Min unsat cost LB: 40265 ... c Min unsat cost LB: 40266 ... c Min unsat cost LB: 40267 ... c Min unsat cost LB: 40268 ... c Min unsat cost LB: 40269 ... c Min unsat cost LB: 40270 ... c Min unsat cost LB: 40271 ... c Min unsat cost LB: 40272 ... c Min unsat cost LB: 40273 ... c Min unsat cost LB: 40274 ... c Min unsat cost LB: 40275 ... c Min unsat cost LB: 40276 ... c Min unsat cost LB: 40277 ... c Min unsat cost LB: 40278 ... c Min unsat cost LB: 40279 ... c Min unsat cost LB: 40280 ... c Min unsat cost LB: 40281 ... c Min unsat cost LB: 40282 ... c Min unsat cost LB: 40283 ... c Min unsat cost LB: 40284 ... c Min unsat cost LB: 40285 ... c Min unsat cost LB: 40286 ... c Min unsat cost LB: 40287 ... c Min unsat cost LB: 40288 ... c Min unsat cost LB: 40289 ... c Min unsat cost LB: 40290 ... c Min unsat cost LB: 40291 ... c Min unsat cost LB: 40292 ... c Killed 1816.665u 3.078s 30:20.15 99.9% 0+0k 0+0io 0pf+0w