Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_90_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0003.txt.wcnf *** c c Min unsat cost LB: 873 ... c Min unsat cost LB: 1577 ... c Min unsat cost LB: 2371 ... c Min unsat cost LB: 2514 ... c Min unsat cost LB: 3084 ... c Min unsat cost LB: 3975 ... c Min unsat cost LB: 4203 ... c Min unsat cost LB: 4603 ... c Min unsat cost LB: 5199 ... c Min unsat cost LB: 5349 ... c Min unsat cost LB: 5993 ... c Min unsat cost LB: 6382 ... c Min unsat cost LB: 6952 ... c Min unsat cost LB: 7073 ... c Min unsat cost LB: 7147 ... c Min unsat cost LB: 7800 ... c Min unsat cost LB: 8322 ... c Min unsat cost LB: 8617 ... c Min unsat cost LB: 8921 ... c Min unsat cost LB: 8999 ... c Min unsat cost LB: 9703 ... c Min unsat cost LB: 9764 ... c Min unsat cost LB: 10360 ... c Min unsat cost LB: 10510 ... c Min unsat cost LB: 10892 ... c Min unsat cost LB: 11076 ... c Min unsat cost LB: 11398 ... c Min unsat cost LB: 12289 ... c Min unsat cost LB: 12838 ... c Min unsat cost LB: 13545 ... c Min unsat cost LB: 14426 ... c Min unsat cost LB: 14639 ... c Min unsat cost LB: 14979 ... c Min unsat cost LB: 15093 ... c Min unsat cost LB: 16005 ... c Min unsat cost LB: 16092 ... c Min unsat cost LB: 16567 ... c Min unsat cost LB: 16594 ... c Min unsat cost LB: 16685 ... c Min unsat cost LB: 16788 ... c Min unsat cost LB: 16979 ... c Min unsat cost LB: 17681 ... c Min unsat cost LB: 17989 ... c Min unsat cost LB: 18691 ... c Min unsat cost LB: 18999 ... c Min unsat cost LB: 19671 ... c Min unsat cost LB: 19942 ... c Min unsat cost LB: 20644 ... c Min unsat cost LB: 21306 ... c Min unsat cost LB: 22238 ... c Min unsat cost LB: 22272 ... c Min unsat cost LB: 22463 ... c Min unsat cost LB: 22634 ... c Min unsat cost LB: 22777 ... c Min unsat cost LB: 22942 ... c Min unsat cost LB: 23059 ... c Min unsat cost LB: 23097 ... c Min unsat cost LB: 23405 ... c Min unsat cost LB: 23548 ... c Min unsat cost LB: 23937 ... c Min unsat cost LB: 24024 ... c Min unsat cost LB: 24051 ... c Min unsat cost LB: 24148 ... c Min unsat cost LB: 24437 ... c Min unsat cost LB: 24460 ... c Min unsat cost LB: 24788 ... c Min unsat cost LB: 24885 ... c Min unsat cost LB: 25314 ... c Min unsat cost LB: 25367 ... c Min unsat cost LB: 25406 ... c Min unsat cost LB: 25444 ... c Min unsat cost LB: 25450 ... c Min unsat cost LB: 25749 ... c Min unsat cost LB: 25802 ... c Min unsat cost LB: 25854 ... c Min unsat cost LB: 26162 ... c Min unsat cost LB: 26305 ... c Min unsat cost LB: 26344 ... c Min unsat cost LB: 26487 ... c Min unsat cost LB: 26664 ... c Min unsat cost LB: 26742 ... c Min unsat cost LB: 26761 ... c Min unsat cost LB: 26892 ... c Min unsat cost LB: 26904 ... c Min unsat cost LB: 27368 ... c Min unsat cost LB: 27465 ... c Min unsat cost LB: 27696 ... c Min unsat cost LB: 28389 ... c Min unsat cost LB: 28415 ... c Min unsat cost LB: 29385 ... c Min unsat cost LB: 29969 ... c Min unsat cost LB: 30118 ... c Min unsat cost LB: 30158 ... c Min unsat cost LB: 30338 ... c Min unsat cost LB: 30522 ... c Min unsat cost LB: 30794 ... c Min unsat cost LB: 30844 ... c Min unsat cost LB: 30890 ... c Min unsat cost LB: 30930 ... c Min unsat cost LB: 31118 ... c Min unsat cost LB: 31186 ... c Min unsat cost LB: 31238 ... c Min unsat cost LB: 31264 ... c Min unsat cost LB: 31277 ... c Min unsat cost LB: 31321 ... c Min unsat cost LB: 31445 ... c Min unsat cost LB: 31499 ... c Min unsat cost LB: 31519 ... c Min unsat cost LB: 31561 ... c Min unsat cost LB: 31587 ... c Min unsat cost LB: 31639 ... c Min unsat cost LB: 31700 ... c Min unsat cost LB: 31865 ... c Min unsat cost LB: 31982 ... c Min unsat cost LB: 31995 ... c Min unsat cost LB: 32023 ... c Min unsat cost LB: 32036 ... c Min unsat cost LB: 32043 ... c Min unsat cost LB: 32061 ... c Min unsat cost LB: 32070 ... c Min unsat cost LB: 32090 ... c Min unsat cost LB: 32150 ... c Min unsat cost LB: 32325 ... c Min unsat cost LB: 32452 ... c Min unsat cost LB: 32552 ... c Min unsat cost LB: 32743 ... c Min unsat cost LB: 32760 ... c Min unsat cost LB: 33053 ... c Min unsat cost LB: 33074 ... c Min unsat cost LB: 33108 ... c Min unsat cost LB: 33265 ... c Min unsat cost LB: 33291 ... c Min unsat cost LB: 33311 ... c Min unsat cost LB: 33313 ... c Min unsat cost LB: 33553 ... c Min unsat cost LB: 33573 ... c Min unsat cost LB: 33694 ... c Min unsat cost LB: 33699 ... c Min unsat cost LB: 33738 ... c Min unsat cost LB: 33756 ... c Min unsat cost LB: 33773 ... c Min unsat cost LB: 34096 ... c Min unsat cost LB: 34187 ... c Min unsat cost LB: 34242 ... c Min unsat cost LB: 34290 ... c Min unsat cost LB: 34343 ... c Min unsat cost LB: 34353 ... c Min unsat cost LB: 34363 ... c Min unsat cost LB: 34382 ... c Min unsat cost LB: 34402 ... c Min unsat cost LB: 34440 ... c Min unsat cost LB: 34484 ... c Min unsat cost LB: 34533 ... c Min unsat cost LB: 34545 ... c Min unsat cost LB: 34553 ... c Min unsat cost LB: 34683 ... c Min unsat cost LB: 34867 ... c Min unsat cost LB: 34869 ... c Min unsat cost LB: 34894 ... c Min unsat cost LB: 34909 ... c Min unsat cost LB: 34917 ... c Min unsat cost LB: 34928 ... c Min unsat cost LB: 34965 ... c Min unsat cost LB: 34974 ... c Min unsat cost LB: 35006 ... c Min unsat cost LB: 35032 ... c Min unsat cost LB: 35269 ... c Min unsat cost LB: 35322 ... c Min unsat cost LB: 35328 ... c Min unsat cost LB: 35347 ... c Min unsat cost LB: 35385 ... c Min unsat cost LB: 35420 ... c Min unsat cost LB: 35551 ... c Min unsat cost LB: 35603 ... c Min unsat cost LB: 35680 ... c Min unsat cost LB: 35700 ... c Min unsat cost LB: 35730 ... c Min unsat cost LB: 35803 ... c Min unsat cost LB: 35817 ... c Min unsat cost LB: 35905 ... c Min unsat cost LB: 35912 ... c Min unsat cost LB: 35925 ... c Min unsat cost LB: 35959 ... c Min unsat cost LB: 35986 ... c Min unsat cost LB: 36001 ... c Min unsat cost LB: 36005 ... c Min unsat cost LB: 36029 ... c Min unsat cost LB: 36033 ... c Min unsat cost LB: 36059 ... c Min unsat cost LB: 36067 ... c Min unsat cost LB: 36087 ... c Min unsat cost LB: 36093 ... c Min unsat cost LB: 36094 ... c Min unsat cost LB: 36106 ... c Min unsat cost LB: 36128 ... c Min unsat cost LB: 36135 ... c Min unsat cost LB: 36139 ... c Min unsat cost LB: 36147 ... c Min unsat cost LB: 36199 ... c Min unsat cost LB: 36214 ... c Min unsat cost LB: 36223 ... c Min unsat cost LB: 36238 ... c Min unsat cost LB: 36286 ... c Min unsat cost LB: 36288 ... c Min unsat cost LB: 36303 ... c Min unsat cost LB: 36325 ... c Min unsat cost LB: 36334 ... c Min unsat cost LB: 36341 ... c Min unsat cost LB: 36343 ... c Min unsat cost LB: 36345 ... c Min unsat cost LB: 36350 ... c Min unsat cost LB: 36422 ... c Min unsat cost LB: 36433 ... c Min unsat cost LB: 36446 ... c Min unsat cost LB: 36448 ... c Min unsat cost LB: 36454 ... c Min unsat cost LB: 36456 ... c Min unsat cost LB: 36457 ... c Min unsat cost LB: 36466 ... c Min unsat cost LB: 36477 ... c Min unsat cost LB: 36479 ... c Min unsat cost LB: 36484 ... c Min unsat cost LB: 36492 ... c Min unsat cost LB: 36494 ... c Min unsat cost LB: 36501 ... c Min unsat cost LB: 36503 ... c Min unsat cost LB: 36507 ... c Min unsat cost LB: 36509 ... c Min unsat cost LB: 36518 ... c Min unsat cost LB: 36519 ... c Min unsat cost LB: 36523 ... c Min unsat cost LB: 36524 ... c Min unsat cost LB: 36525 ... c Min unsat cost LB: 36536 ... c Min unsat cost LB: 36540 ... c Min unsat cost LB: 36543 ... c Min unsat cost LB: 36546 ... c Min unsat cost LB: 36553 ... c Min unsat cost LB: 36557 ... c Min unsat cost LB: 36559 ... c Min unsat cost LB: 36561 ... c Min unsat cost LB: 36564 ... c Min unsat cost LB: 36566 ... c Min unsat cost LB: 36572 ... c Min unsat cost LB: 36587 ... c Min unsat cost LB: 36589 ... c Min unsat cost LB: 36590 ... c Min unsat cost LB: 36591 ... c Min unsat cost LB: 36598 ... c Min unsat cost LB: 36599 ... c Min unsat cost LB: 36600 ... c Min unsat cost LB: 36618 ... c Min unsat cost LB: 36619 ... c Min unsat cost LB: 36620 ... c Min unsat cost LB: 36621 ... c Min unsat cost LB: 36638 ... c Min unsat cost LB: 36650 ... c Min unsat cost LB: 36651 ... c Min unsat cost LB: 36652 ... c Min unsat cost LB: 36656 ... c Min unsat cost LB: 36657 ... c Min unsat cost LB: 36670 ... c Min unsat cost LB: 36692 ... c Min unsat cost LB: 36695 ... c Min unsat cost LB: 36701 ... c Min unsat cost LB: 36714 ... c Min unsat cost LB: 36715 ... c Min unsat cost LB: 36716 ... c Min unsat cost LB: 36718 ... c Min unsat cost LB: 36733 ... c Min unsat cost LB: 36734 ... c Min unsat cost LB: 36735 ... c Min unsat cost LB: 36736 ... c Min unsat cost LB: 36743 ... c Min unsat cost LB: 36745 ... c Min unsat cost LB: 36748 ... c Min unsat cost LB: 36761 ... c Min unsat cost LB: 36762 ... c Min unsat cost LB: 36819 ... c Min unsat cost LB: 36830 ... c Min unsat cost LB: 36831 ... c Min unsat cost LB: 36832 ... c Min unsat cost LB: 36835 ... c Min unsat cost LB: 36838 ... c Min unsat cost LB: 36839 ... c Min unsat cost LB: 36852 ... c Min unsat cost LB: 36853 ... c Min unsat cost LB: 36871 ... c Min unsat cost LB: 36873 ... c Min unsat cost LB: 36878 ... c Min unsat cost LB: 36882 ... c Min unsat cost LB: 36883 ... c Min unsat cost LB: 36884 ... c Min unsat cost LB: 36887 ... c Min unsat cost LB: 36888 ... c Min unsat cost LB: 36892 ... c Min unsat cost LB: 36894 ... c Min unsat cost LB: 36896 ... c Min unsat cost LB: 36897 ... c Min unsat cost LB: 36898 ... c Min unsat cost LB: 36900 ... c Min unsat cost LB: 36902 ... c Min unsat cost LB: 36904 ... c Min unsat cost LB: 36905 ... c Min unsat cost LB: 36922 ... c Min unsat cost LB: 36925 ... c Min unsat cost LB: 36929 ... c Min unsat cost LB: 36934 ... c Min unsat cost LB: 36935 ... c Min unsat cost LB: 36936 ... c Min unsat cost LB: 36937 ... c Min unsat cost LB: 36940 ... c Min unsat cost LB: 36949 ... c Min unsat cost LB: 36954 ... c Min unsat cost LB: 36955 ... c Min unsat cost LB: 36958 ... c Min unsat cost LB: 36965 ... c Min unsat cost LB: 36968 ... c Min unsat cost LB: 36969 ... c Min unsat cost LB: 36972 ... c Min unsat cost LB: 36977 ... c Min unsat cost LB: 36978 ... c Min unsat cost LB: 36979 ... c Min unsat cost LB: 36980 ... c Min unsat cost LB: 36981 ... c Min unsat cost LB: 36982 ... c Min unsat cost LB: 36984 ... c Min unsat cost LB: 36988 ... c Min unsat cost LB: 36993 ... c Min unsat cost LB: 36994 ... c Min unsat cost LB: 37001 ... c Min unsat cost LB: 37012 ... c Min unsat cost LB: 37015 ... c Min unsat cost LB: 37019 ... c Min unsat cost LB: 37022 ... c Min unsat cost LB: 37028 ... c Min unsat cost LB: 37030 ... c Min unsat cost LB: 37032 ... c Min unsat cost LB: 37033 ... c Min unsat cost LB: 37034 ... c Min unsat cost LB: 37035 ... c Min unsat cost LB: 37042 ... c Min unsat cost LB: 37043 ... c Min unsat cost LB: 37045 ... c Min unsat cost LB: 37048 ... c Min unsat cost LB: 37054 ... c Min unsat cost LB: 37055 ... c Min unsat cost LB: 37056 ... c Min unsat cost LB: 37063 ... c Min unsat cost LB: 37069 ... c Min unsat cost LB: 37070 ... c Min unsat cost LB: 37071 ... c Min unsat cost LB: 37072 ... c Min unsat cost LB: 37073 ... c Min unsat cost LB: 37074 ... c Min unsat cost LB: 37078 ... c Min unsat cost LB: 37080 ... c Min unsat cost LB: 37082 ... c Min unsat cost LB: 37083 ... c Min unsat cost LB: 37086 ... c Min unsat cost LB: 37090 ... c Min unsat cost LB: 37093 ... c Min unsat cost LB: 37114 ... c Min unsat cost LB: 37116 ... c Min unsat cost LB: 37117 ... c Min unsat cost LB: 37123 ... c Min unsat cost LB: 37126 ... c Min unsat cost LB: 37127 ... c Min unsat cost LB: 37129 ... c Min unsat cost LB: 37130 ... c Min unsat cost LB: 37133 ... c Min unsat cost LB: 37149 ... c Min unsat cost LB: 37150 ... c Min unsat cost LB: 37151 ... c Min unsat cost LB: 37152 ... c Min unsat cost LB: 37153 ... c Min unsat cost LB: 37154 ... c Min unsat cost LB: 37156 ... c Min unsat cost LB: 37157 ... c Min unsat cost LB: 37162 ... c Min unsat cost LB: 37163 ... c Min unsat cost LB: 37165 ... c Min unsat cost LB: 37169 ... c Min unsat cost LB: 37171 ... c Min unsat cost LB: 37172 ... c Min unsat cost LB: 37176 ... c Min unsat cost LB: 37177 ... c Min unsat cost LB: 37178 ... c Min unsat cost LB: 37180 ... c Min unsat cost LB: 37181 ... c Min unsat cost LB: 37182 ... c Min unsat cost LB: 37183 ... c Min unsat cost LB: 37184 ... c Min unsat cost LB: 37185 ... c Min unsat cost LB: 37186 ... c Min unsat cost LB: 37187 ... c Min unsat cost LB: 37188 ... c Min unsat cost LB: 37196 ... c Min unsat cost LB: 37200 ... c Min unsat cost LB: 37201 ... c Min unsat cost LB: 37204 ... c Min unsat cost LB: 37205 ... c Min unsat cost LB: 37206 ... c Min unsat cost LB: 37207 ... c Min unsat cost LB: 37208 ... c Min unsat cost LB: 37209 ... c Min unsat cost LB: 37212 ... c Min unsat cost LB: 37215 ... c Min unsat cost LB: 37216 ... c Min unsat cost LB: 37217 ... c Min unsat cost LB: 37218 ... c Min unsat cost LB: 37219 ... c Min unsat cost LB: 37220 ... c Min unsat cost LB: 37221 ... c Min unsat cost LB: 37222 ... c Min unsat cost LB: 37223 ... c Min unsat cost LB: 37224 ... c Min unsat cost LB: 37226 ... c Min unsat cost LB: 37231 ... c Min unsat cost LB: 37232 ... c Min unsat cost LB: 37233 ... c Min unsat cost LB: 37234 ... c Min unsat cost LB: 37235 ... c Min unsat cost LB: 37236 ... c Min unsat cost LB: 37237 ... c Min unsat cost LB: 37238 ... c Min unsat cost LB: 37246 ... c Min unsat cost LB: 37248 ... c Min unsat cost LB: 37249 ... c Min unsat cost LB: 37250 ... c Min unsat cost LB: 37251 ... c Min unsat cost LB: 37252 ... c Min unsat cost LB: 37254 ... c Min unsat cost LB: 37255 ... c Min unsat cost LB: 37256 ... c Min unsat cost LB: 37257 ... c Min unsat cost LB: 37258 ... c Min unsat cost LB: 37259 ... c Min unsat cost LB: 37260 ... c Min unsat cost LB: 37262 ... c Min unsat cost LB: 37263 ... c Min unsat cost LB: 37264 ... c Min unsat cost LB: 37265 ... c Min unsat cost LB: 37267 ... c Min unsat cost LB: 37268 ... c Min unsat cost LB: 37269 ... c Min unsat cost LB: 37270 ... c Min unsat cost LB: 37271 ... c Min unsat cost LB: 37272 ... c Min unsat cost LB: 37273 ... c Min unsat cost LB: 37274 ... c Min unsat cost LB: 37275 ... c Min unsat cost LB: 37276 ... c Min unsat cost LB: 37277 ... c Min unsat cost LB: 37278 ... c Min unsat cost LB: 37284 ... c Min unsat cost LB: 37285 ... c Min unsat cost LB: 37286 ... c Min unsat cost LB: 37289 ... c Min unsat cost LB: 37290 ... c Min unsat cost LB: 37292 ... c Min unsat cost LB: 37293 ... c Min unsat cost LB: 37294 ... c Min unsat cost LB: 37307 ... c Min unsat cost LB: 37312 ... c Min unsat cost LB: 37321 ... c Min unsat cost LB: 37322 ... c Min unsat cost LB: 37323 ... c Min unsat cost LB: 37324 ... c Min unsat cost LB: 37328 ... c Min unsat cost LB: 37330 ... c Min unsat cost LB: 37332 ... c Min unsat cost LB: 37334 ... c Min unsat cost LB: 37339 ... c Min unsat cost LB: 37340 ... c Min unsat cost LB: 37341 ... c Min unsat cost LB: 37342 ... c Min unsat cost LB: 37343 ... c Min unsat cost LB: 37347 ... c Min unsat cost LB: 37354 ... c Min unsat cost LB: 37355 ... c Min unsat cost LB: 37356 ... c Min unsat cost LB: 37357 ... c Min unsat cost LB: 37358 ... c Min unsat cost LB: 37359 ... c Min unsat cost LB: 37360 ... c Min unsat cost LB: 37361 ... c Min unsat cost LB: 37362 ... c Min unsat cost LB: 37363 ... c Min unsat cost LB: 37364 ... c Min unsat cost LB: 37365 ... c Min unsat cost LB: 37366 ... c Min unsat cost LB: 37367 ... c Min unsat cost LB: 37368 ... c Min unsat cost LB: 37369 ... c Min unsat cost LB: 37370 ... c Min unsat cost LB: 37371 ... c Min unsat cost LB: 37372 ... c Min unsat cost LB: 37373 ... c Min unsat cost LB: 37374 ... c Min unsat cost LB: 37375 ... c Min unsat cost LB: 37376 ... c Min unsat cost LB: 37377 ... c Min unsat cost LB: 37378 ... c Min unsat cost LB: 37379 ... c Min unsat cost LB: 37380 ... c Min unsat cost LB: 37381 ... c Min unsat cost LB: 37382 ... c Min unsat cost LB: 37383 ... c Min unsat cost LB: 37384 ... c Min unsat cost LB: 37385 ... c Min unsat cost LB: 37386 ... c Min unsat cost LB: 37387 ... c Min unsat cost LB: 37388 ... c Min unsat cost LB: 37389 ... c Min unsat cost LB: 37390 ... c Min unsat cost LB: 37391 ... c Min unsat cost LB: 37392 ... c Min unsat cost LB: 37393 ... c Min unsat cost LB: 37394 ... c Min unsat cost LB: 37395 ... c Min unsat cost LB: 37396 ... c Min unsat cost LB: 37397 ... c Min unsat cost LB: 37398 ... c Min unsat cost LB: 37399 ... c Min unsat cost LB: 37404 ... c Min unsat cost LB: 37405 ... c Min unsat cost LB: 37406 ... c Min unsat cost LB: 37408 ... c Min unsat cost LB: 37409 ... c Min unsat cost LB: 37410 ... c Min unsat cost LB: 37411 ... c Min unsat cost LB: 37413 ... c Min unsat cost LB: 37423 ... c Min unsat cost LB: 37425 ... c Min unsat cost LB: 37426 ... c Min unsat cost LB: 37427 ... c Min unsat cost LB: 37428 ... c Min unsat cost LB: 37429 ... c Min unsat cost LB: 37430 ... c Min unsat cost LB: 37431 ... c Min unsat cost LB: 37432 ... c Min unsat cost LB: 37433 ... c Min unsat cost LB: 37434 ... c Min unsat cost LB: 37435 ... c Min unsat cost LB: 37436 ... c Min unsat cost LB: 37437 ... c Min unsat cost LB: 37438 ... c Min unsat cost LB: 37439 ... c Min unsat cost LB: 37440 ... c Min unsat cost LB: 37441 ... c Min unsat cost LB: 37442 ... c Min unsat cost LB: 37443 ... c Min unsat cost LB: 37444 ... c Min unsat cost LB: 37445 ... c Min unsat cost LB: 37446 ... c Min unsat cost LB: 37450 ... c Min unsat cost LB: 37451 ... c Min unsat cost LB: 37452 ... c Min unsat cost LB: 37462 ... c Min unsat cost LB: 37466 ... c Min unsat cost LB: 37468 ... c Min unsat cost LB: 37471 ... c Min unsat cost LB: 37472 ... c Min unsat cost LB: 37475 ... c Min unsat cost LB: 37476 ... c Min unsat cost LB: 37477 ... c Min unsat cost LB: 37479 ... c Min unsat cost LB: 37480 ... c Min unsat cost LB: 37483 ... c Min unsat cost LB: 37484 ... c Min unsat cost LB: 37485 ... c Min unsat cost LB: 37489 ... c Min unsat cost LB: 37490 ... c Min unsat cost LB: 37491 ... c Min unsat cost LB: 37492 ... c Min unsat cost LB: 37493 ... c Min unsat cost LB: 37494 ... c Min unsat cost LB: 37495 ... c Min unsat cost LB: 37497 ... c Min unsat cost LB: 37498 ... c Min unsat cost LB: 37499 ... c Min unsat cost LB: 37500 ... c Min unsat cost LB: 37501 ... c Min unsat cost LB: 37503 ... c Min unsat cost LB: 37505 ... c Min unsat cost LB: 37507 ... c Min unsat cost LB: 37508 ... c Min unsat cost LB: 37509 ... c Min unsat cost LB: 37510 ... c Min unsat cost LB: 37516 ... c Min unsat cost LB: 37520 ... c Min unsat cost LB: 37525 ... c Min unsat cost LB: 37526 ... c Min unsat cost LB: 37529 ... c Min unsat cost LB: 37530 ... c Min unsat cost LB: 37531 ... c Min unsat cost LB: 37532 ... c Min unsat cost LB: 37534 ... c Min unsat cost LB: 37536 ... c Min unsat cost LB: 37538 ... c Min unsat cost LB: 37539 ... c Min unsat cost LB: 37541 ... c Min unsat cost LB: 37542 ... c Min unsat cost LB: 37543 ... c Min unsat cost LB: 37544 ... c Min unsat cost LB: 37545 ... c Min unsat cost LB: 37546 ... c Min unsat cost LB: 37549 ... c Min unsat cost LB: 37557 ... c Min unsat cost LB: 37558 ... c Min unsat cost LB: 37559 ... c Min unsat cost LB: 37561 ... c Min unsat cost LB: 37562 ... c Min unsat cost LB: 37563 ... c Min unsat cost LB: 37566 ... c Min unsat cost LB: 37583 ... c Min unsat cost LB: 37584 ... c Min unsat cost LB: 37585 ... c Min unsat cost LB: 37586 ... c Min unsat cost LB: 37591 ... c Min unsat cost LB: 37592 ... c Min unsat cost LB: 37593 ... c Min unsat cost LB: 37594 ... c Min unsat cost LB: 37595 ... c Min unsat cost LB: 37596 ... c Min unsat cost LB: 37597 ... c Min unsat cost LB: 37599 ... c Min unsat cost LB: 37600 ... c Min unsat cost LB: 37601 ... c Min unsat cost LB: 37602 ... c Min unsat cost LB: 37603 ... c Min unsat cost LB: 37604 ... c Min unsat cost LB: 37605 ... c Min unsat cost LB: 37606 ... c Min unsat cost LB: 37607 ... c Min unsat cost LB: 37608 ... c Min unsat cost LB: 37609 ... c Min unsat cost LB: 37610 ... c Min unsat cost LB: 37611 ... c Min unsat cost LB: 37612 ... c Min unsat cost LB: 37613 ... c Min unsat cost LB: 37614 ... c Min unsat cost LB: 37616 ... c Min unsat cost LB: 37617 ... c Min unsat cost LB: 37618 ... c Min unsat cost LB: 37619 ... c Min unsat cost LB: 37620 ... c Min unsat cost LB: 37621 ... c Min unsat cost LB: 37622 ... c Min unsat cost LB: 37623 ... c Min unsat cost LB: 37624 ... c Min unsat cost LB: 37625 ... c Min unsat cost LB: 37626 ... c Min unsat cost LB: 37627 ... c Min unsat cost LB: 37628 ... c Min unsat cost LB: 37629 ... c Min unsat cost LB: 37630 ... c Min unsat cost LB: 37631 ... c Min unsat cost LB: 37632 ... c Min unsat cost LB: 37633 ... c Min unsat cost LB: 37634 ... c Min unsat cost LB: 37635 ... c Min unsat cost LB: 37636 ... c Min unsat cost LB: 37637 ... c Min unsat cost LB: 37638 ... c Min unsat cost LB: 37639 ... c Min unsat cost LB: 37640 ... c Min unsat cost LB: 37641 ... c Min unsat cost LB: 37642 ... c Min unsat cost LB: 37643 ... c Min unsat cost LB: 37644 ... c Min unsat cost LB: 37645 ... c Min unsat cost LB: 37646 ... c Min unsat cost LB: 37647 ... c Min unsat cost LB: 37648 ... c Min unsat cost LB: 37649 ... c Min unsat cost LB: 37650 ... c Min unsat cost LB: 37651 ... c Min unsat cost LB: 37652 ... c Min unsat cost LB: 37653 ... c Min unsat cost LB: 37654 ... c Min unsat cost LB: 37655 ... c Min unsat cost LB: 37656 ... c Min unsat cost LB: 37657 ... c Min unsat cost LB: 37658 ... c Min unsat cost LB: 37659 ... c Min unsat cost LB: 37660 ... c Min unsat cost LB: 37661 ... c Min unsat cost LB: 37662 ... c Min unsat cost LB: 37663 ... c Min unsat cost LB: 37664 ... c Min unsat cost LB: 37665 ... c Min unsat cost LB: 37666 ... c Min unsat cost LB: 37667 ... c Min unsat cost LB: 37668 ... c Min unsat cost LB: 37669 ... c Min unsat cost LB: 37670 ... c Min unsat cost LB: 37671 ... c Min unsat cost LB: 37672 ... c Min unsat cost LB: 37673 ... c Min unsat cost LB: 37674 ... c Min unsat cost LB: 37675 ... c Min unsat cost LB: 37676 ... c Min unsat cost LB: 37677 ... c Min unsat cost LB: 37678 ... c Min unsat cost LB: 37679 ... c Min unsat cost LB: 37680 ... c Min unsat cost LB: 37681 ... c Min unsat cost LB: 37682 ... c Min unsat cost LB: 37683 ... c Min unsat cost LB: 37684 ... c Min unsat cost LB: 37685 ... c Min unsat cost LB: 37686 ... c Min unsat cost LB: 37687 ... c Min unsat cost LB: 37688 ... c Min unsat cost LB: 37689 ... c Min unsat cost LB: 37690 ... c Min unsat cost LB: 37691 ... c Min unsat cost LB: 37692 ... c Min unsat cost LB: 37693 ... c Min unsat cost LB: 37694 ... c Min unsat cost LB: 37695 ... c Min unsat cost LB: 37696 ... c Min unsat cost LB: 37697 ... c Min unsat cost LB: 37698 ... c Min unsat cost LB: 37699 ... c Min unsat cost LB: 37700 ... c Min unsat cost LB: 37701 ... c Min unsat cost LB: 37702 ... c Min unsat cost LB: 37703 ... c Min unsat cost LB: 37704 ... c Min unsat cost LB: 37705 ... c Min unsat cost LB: 37706 ... c Min unsat cost LB: 37707 ... c Min unsat cost LB: 37708 ... c Min unsat cost LB: 37709 ... c Min unsat cost LB: 37710 ... c Min unsat cost LB: 37711 ... c Min unsat cost LB: 37712 ... c Min unsat cost LB: 37714 ... c Min unsat cost LB: 37715 ... c Min unsat cost LB: 37716 ... c Min unsat cost LB: 37717 ... c Min unsat cost LB: 37718 ... c Min unsat cost LB: 37719 ... c Min unsat cost LB: 37720 ... c Min unsat cost LB: 37721 ... c Min unsat cost LB: 37722 ... c Min unsat cost LB: 37724 ... c Min unsat cost LB: 37725 ... c Min unsat cost LB: 37726 ... c Min unsat cost LB: 37727 ... c Min unsat cost LB: 37729 ... c Min unsat cost LB: 37731 ... c Min unsat cost LB: 37732 ... c Min unsat cost LB: 37733 ... c Min unsat cost LB: 37734 ... c Min unsat cost LB: 37735 ... c Min unsat cost LB: 37736 ... c Min unsat cost LB: 37737 ... c Min unsat cost LB: 37738 ... c Min unsat cost LB: 37739 ... c Min unsat cost LB: 37740 ... c Min unsat cost LB: 37741 ... c Min unsat cost LB: 37742 ... c Min unsat cost LB: 37743 ... c Min unsat cost LB: 37744 ... c Min unsat cost LB: 37745 ... c Min unsat cost LB: 37747 ... c Min unsat cost LB: 37748 ... c Min unsat cost LB: 37749 ... c Min unsat cost LB: 37750 ... c Min unsat cost LB: 37751 ... c Min unsat cost LB: 37752 ... c Min unsat cost LB: 37753 ... c Min unsat cost LB: 37754 ... c Min unsat cost LB: 37755 ... c Min unsat cost LB: 37756 ... c Min unsat cost LB: 37757 ... c Min unsat cost LB: 37758 ... c Min unsat cost LB: 37759 ... c Min unsat cost LB: 37760 ... c Min unsat cost LB: 37761 ... c Min unsat cost LB: 37762 ... c Min unsat cost LB: 37763 ... c Min unsat cost LB: 37764 ... c Min unsat cost LB: 37765 ... c Min unsat cost LB: 37766 ... c Min unsat cost LB: 37767 ... c Min unsat cost LB: 37768 ... c Min unsat cost LB: 37769 ... c Min unsat cost LB: 37770 ... c Min unsat cost LB: 37771 ... c Min unsat cost LB: 37772 ... c Min unsat cost LB: 37773 ... c Min unsat cost LB: 37774 ... c Min unsat cost LB: 37777 ... c Min unsat cost LB: 37788 ... c Min unsat cost LB: 37851 ... c Min unsat cost LB: 37852 ... c Min unsat cost LB: 37853 ... c Min unsat cost LB: 37854 ... c Min unsat cost LB: 37855 ... c Min unsat cost LB: 37856 ... c Min unsat cost LB: 37857 ... c Min unsat cost LB: 37858 ... c Min unsat cost LB: 37859 ... c Min unsat cost LB: 37860 ... c Min unsat cost LB: 37861 ... c Min unsat cost LB: 37862 ... c Min unsat cost LB: 37863 ... c Min unsat cost LB: 37864 ... c Min unsat cost LB: 37865 ... c Min unsat cost LB: 37866 ... c Min unsat cost LB: 37867 ... c Min unsat cost LB: 37868 ... c Min unsat cost LB: 37869 ... c Min unsat cost LB: 37870 ... c Min unsat cost LB: 37871 ... c Min unsat cost LB: 37872 ... c Min unsat cost LB: 37873 ... c Min unsat cost LB: 37874 ... c Min unsat cost LB: 37875 ... c Min unsat cost LB: 37876 ... c Min unsat cost LB: 37877 ... c Min unsat cost LB: 37878 ... c Min unsat cost LB: 37879 ... c Min unsat cost LB: 37880 ... c Min unsat cost LB: 37881 ... c Min unsat cost LB: 37882 ... c Min unsat cost LB: 37883 ... c Min unsat cost LB: 37884 ... c Min unsat cost LB: 37885 ... c Min unsat cost LB: 37886 ... c Min unsat cost LB: 37887 ... c Min unsat cost LB: 37888 ... c Min unsat cost LB: 37889 ... c Min unsat cost LB: 37890 ... c Min unsat cost LB: 37891 ... c Min unsat cost LB: 37892 ... c Min unsat cost LB: 37893 ... c Min unsat cost LB: 37894 ... c Min unsat cost LB: 37895 ... c Min unsat cost LB: 37896 ... c Min unsat cost LB: 37897 ... c Min unsat cost LB: 37898 ... c Min unsat cost LB: 37899 ... c Min unsat cost LB: 37900 ... c Min unsat cost LB: 37902 ... c Min unsat cost LB: 37905 ... c Min unsat cost LB: 37906 ... c Min unsat cost LB: 37907 ... c Min unsat cost LB: 37908 ... c Min unsat cost LB: 37909 ... c Min unsat cost LB: 37910 ... c Min unsat cost LB: 37911 ... c Min unsat cost LB: 37912 ... c Min unsat cost LB: 37913 ... c Min unsat cost LB: 37914 ... c Min unsat cost LB: 37915 ... c Min unsat cost LB: 37916 ... c Min unsat cost LB: 37917 ... c Min unsat cost LB: 37919 ... c Min unsat cost LB: 37921 ... c Min unsat cost LB: 37922 ... c Min unsat cost LB: 37924 ... c Min unsat cost LB: 37932 ... c Min unsat cost LB: 37933 ... c Min unsat cost LB: 37934 ... c Min unsat cost LB: 37935 ... c Min unsat cost LB: 37936 ... c Min unsat cost LB: 37937 ... c Min unsat cost LB: 37938 ... c Min unsat cost LB: 37939 ... c Min unsat cost LB: 37940 ... c Min unsat cost LB: 37941 ... c Min unsat cost LB: 37942 ... c Min unsat cost LB: 37943 ... c Min unsat cost LB: 37944 ... c Min unsat cost LB: 37945 ... c Min unsat cost LB: 37946 ... c Min unsat cost LB: 37947 ... c Min unsat cost LB: 37948 ... c Min unsat cost LB: 37949 ... c Min unsat cost LB: 37950 ... c Min unsat cost LB: 37951 ... c Min unsat cost LB: 37952 ... c Min unsat cost LB: 37953 ... c Min unsat cost LB: 37954 ... c Min unsat cost LB: 37955 ... c Min unsat cost LB: 37956 ... c Min unsat cost LB: 37957 ... c Min unsat cost LB: 37958 ... c Min unsat cost LB: 37959 ... c Min unsat cost LB: 37960 ... c Min unsat cost LB: 37961 ... c Min unsat cost LB: 37962 ... c Min unsat cost LB: 37963 ... c Min unsat cost LB: 37964 ... c Min unsat cost LB: 37965 ... c Min unsat cost LB: 37966 ... c Min unsat cost LB: 37967 ... c Min unsat cost LB: 37968 ... c Min unsat cost LB: 37969 ... c Min unsat cost LB: 37970 ... c Min unsat cost LB: 37971 ... c Min unsat cost LB: 37972 ... c Min unsat cost LB: 37973 ... c Min unsat cost LB: 37974 ... c Min unsat cost LB: 37975 ... c Min unsat cost LB: 37976 ... c Min unsat cost LB: 37977 ... c Min unsat cost LB: 37978 ... c Min unsat cost LB: 37979 ... c Min unsat cost LB: 37980 ... c Min unsat cost LB: 37981 ... c Min unsat cost LB: 37982 ... c Min unsat cost LB: 37983 ... c Min unsat cost LB: 37984 ... c Min unsat cost LB: 37985 ... c Min unsat cost LB: 37986 ... c Min unsat cost LB: 37987 ... c Min unsat cost LB: 37988 ... c Min unsat cost LB: 37989 ... c Min unsat cost LB: 37990 ... c Min unsat cost LB: 37991 ... c Min unsat cost LB: 37992 ... c Min unsat cost LB: 37993 ... c Min unsat cost LB: 37994 ... c Min unsat cost LB: 37995 ... c Min unsat cost LB: 37996 ... c Min unsat cost LB: 37997 ... c Min unsat cost LB: 37998 ... c Min unsat cost LB: 37999 ... c Min unsat cost LB: 38000 ... c Min unsat cost LB: 38001 ... c Min unsat cost LB: 38002 ... c Min unsat cost LB: 38003 ... c Min unsat cost LB: 38004 ... c Min unsat cost LB: 38005 ... c Min unsat cost LB: 38006 ... c Min unsat cost LB: 38007 ... c Min unsat cost LB: 38008 ... c Min unsat cost LB: 38009 ... c Min unsat cost LB: 38010 ... c Min unsat cost LB: 38011 ... c Min unsat cost LB: 38012 ... c Min unsat cost LB: 38013 ... c Min unsat cost LB: 38014 ... c Min unsat cost LB: 38015 ... c Min unsat cost LB: 38016 ... c Min unsat cost LB: 38017 ... c Min unsat cost LB: 38018 ... c Min unsat cost LB: 38019 ... c Min unsat cost LB: 38020 ... c Min unsat cost LB: 38021 ... c Min unsat cost LB: 38022 ... c Min unsat cost LB: 38023 ... c Min unsat cost LB: 38024 ... c Min unsat cost LB: 38025 ... c Min unsat cost LB: 38026 ... c Min unsat cost LB: 38027 ... c Min unsat cost LB: 38028 ... c Min unsat cost LB: 38029 ... c Min unsat cost LB: 38030 ... c Min unsat cost LB: 38031 ... c Min unsat cost LB: 38032 ... c Min unsat cost LB: 38033 ... c Min unsat cost LB: 38034 ... c Min unsat cost LB: 38035 ... c Min unsat cost LB: 38036 ... c Min unsat cost LB: 38037 ... c Min unsat cost LB: 38038 ... c Min unsat cost LB: 38039 ... c Min unsat cost LB: 38040 ... c Min unsat cost LB: 38041 ... c Min unsat cost LB: 38042 ... c Min unsat cost LB: 38043 ... c Min unsat cost LB: 38044 ... c Min unsat cost LB: 38045 ... c Min unsat cost LB: 38046 ... c Min unsat cost LB: 38047 ... c Min unsat cost LB: 38048 ... c Min unsat cost LB: 38049 ... c Min unsat cost LB: 38050 ... c Min unsat cost LB: 38051 ... c Min unsat cost LB: 38052 ... c Min unsat cost LB: 38053 ... c Min unsat cost LB: 38054 ... c Min unsat cost LB: 38055 ... c Min unsat cost LB: 38056 ... c Min unsat cost LB: 38057 ... c Min unsat cost LB: 38058 ... c Min unsat cost LB: 38059 ... c Min unsat cost LB: 38060 ... c Min unsat cost LB: 38061 ... c Min unsat cost LB: 38062 ... c Min unsat cost LB: 38063 ... c Min unsat cost LB: 38064 ... c Min unsat cost LB: 38065 ... c Min unsat cost LB: 38066 ... c Min unsat cost LB: 38067 ... c Min unsat cost LB: 38068 ... c Min unsat cost LB: 38069 ... c Min unsat cost LB: 38070 ... c Min unsat cost LB: 38071 ... c Min unsat cost LB: 38072 ... c Min unsat cost LB: 38073 ... c Min unsat cost LB: 38074 ... c Min unsat cost LB: 38075 ... c Min unsat cost LB: 38076 ... c Min unsat cost LB: 38077 ... c Min unsat cost LB: 38078 ... c Min unsat cost LB: 38079 ... c Min unsat cost LB: 38080 ... c Min unsat cost LB: 38081 ... c Min unsat cost LB: 38082 ... c Min unsat cost LB: 38083 ... c Min unsat cost LB: 38084 ... c Min unsat cost LB: 38085 ... c Min unsat cost LB: 38086 ... c Min unsat cost LB: 38087 ... c Min unsat cost LB: 38088 ... c Min unsat cost LB: 38Killed 1814.362u 5.384s 59:58.44 50.5% 0+0k 0+0io 0pf+0w