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_min-enc_warehouses_cap81.wcsp.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap81.wcsp.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/min-enc/warehouses/cap81.wcsp.wcnf *** c c Min unsat cost LB: 19537 ... c Min unsat cost LB: 44962 ... c Min unsat cost LB: 99635 ... c Min unsat cost LB: 129164 ... c Min unsat cost LB: 158746 ... c Min unsat cost LB: 239245 ... c Min unsat cost LB: 263234 ... c Min unsat cost LB: 336700 ... c Min unsat cost LB: 378241 ... c Min unsat cost LB: 615209 ... c Min unsat cost LB: 696191 ... c Min unsat cost LB: 1376614 ... c Min unsat cost LB: 1589642 ... c Min unsat cost LB: 1607202 ... c Min unsat cost LB: 1726701 ... c Min unsat cost LB: 1729861 ... c Min unsat cost LB: 1751491 ... c Min unsat cost LB: 1755513 ... c Min unsat cost LB: 1756078 ... c Min unsat cost LB: 1757208 ... c Min unsat cost LB: 1762229 ... c Min unsat cost LB: 1765589 ... c Min unsat cost LB: 1773542 ... c Min unsat cost LB: 1830272 ... c Min unsat cost LB: 1834298 ... c Min unsat cost LB: 1835309 ... c Min unsat cost LB: 1836570 ... c Min unsat cost LB: 1903457 ... c Min unsat cost LB: 1911570 ... c Min unsat cost LB: 1986570 ... c Min unsat cost LB: 2041862 ... c Min unsat cost LB: 2061570 ... c Min unsat cost LB: 2097618 ... c Min unsat cost LB: 2122620 ... c Min unsat cost LB: 2166922 ... c Min unsat cost LB: 2197620 ... c Min unsat cost LB: 2204940 ... c Min unsat cost LB: 2209149 ... c Min unsat cost LB: 2218232 ... c Min unsat cost LB: 2281938 ... c Min unsat cost LB: 2306849 ... c Min unsat cost LB: 2428683 ... c Min unsat cost LB: 2434147 ... c Min unsat cost LB: 2515504 ... c Min unsat cost LB: 2564416 ... c Min unsat cost LB: 2614846 ... c Min unsat cost LB: 2696569 ... c Min unsat cost LB: 2737511 ... c Min unsat cost LB: 2782349 ... c Min unsat cost LB: 2784573 ... c Min unsat cost LB: 2855299 ... c Min unsat cost LB: 2855939 ... c Min unsat cost LB: 2893465 ... c Min unsat cost LB: 2913064 ... c Min unsat cost LB: 2927308 ... c Min unsat cost LB: 2985058 ... c Min unsat cost LB: 3035488 ... c Min unsat cost LB: 3040363 ... c Min unsat cost LB: 3044385 ... c Min unsat cost LB: 3170770 ... c Min unsat cost LB: 3224367 ... c Min unsat cost LB: 3224839 ... c Min unsat cost LB: 3225436 ... c Min unsat cost LB: 3225901 ... c Min unsat cost LB: 3340132 ... c Min unsat cost LB: 3415132 ... c Min unsat cost LB: 3463962 ... c Min unsat cost LB: 3476279 ... c Min unsat cost LB: 3488596 ... c Min unsat cost LB: 3552811 ... c Min unsat cost LB: 3559448 ... c Min unsat cost LB: 3560067 ... c Min unsat cost LB: 3566761 ... c Min unsat cost LB: 3573226 ... c Min unsat cost LB: 3580399 ... c Min unsat cost LB: 3580767 ... c Min unsat cost LB: 3588231 ... c Min unsat cost LB: 3918162 ... c Min unsat cost LB: 3957742 ... c Min unsat cost LB: 3959796 ... c Min unsat cost LB: 3972411 ... c Min unsat cost LB: 3981845 ... c Min unsat cost LB: 3986007 ... c Min unsat cost LB: 3989209 ... c Min unsat cost LB: 3993296 ... c Min unsat cost LB: 3997322 ... c Min unsat cost LB: 4030181 ... c Min unsat cost LB: 4030800 ... c Min unsat cost LB: 4034253 ... c Min unsat cost LB: 4034599 ... c Min unsat cost LB: 4087305 ... c Min unsat cost LB: 4094478 ... c Min unsat cost LB: 4100597 ... c Min unsat cost LB: 4103492 ... c Min unsat cost LB: 4110129 ... c Min unsat cost LB: 4118242 ... c Min unsat cost LB: 4118610 ... c Min unsat cost LB: 4126074 ... c Min unsat cost LB: 4126420 ... c Min unsat cost LB: 4127039 ... c Min unsat cost LB: 4130838 ... c Min unsat cost LB: 4148629 ... c Min unsat cost LB: 4197769 ... c Min unsat cost LB: 4482761 ... c Min unsat cost LB: 4493263 ... c Min unsat cost LB: 4566371 ... c Min unsat cost LB: 4571425 ... c Min unsat cost LB: 5811937 ... c Min unsat cost LB: 5827948 ... c Min unsat cost LB: 7136902 ... c Min unsat cost LB: 7173269 ... c Min unsat cost LB: 7266581 ... c Min unsat cost LB: 7292721 ... c Min unsat cost LB: 7299358 ... c Min unsat cost LB: 7302560 ... c Min unsat cost LB: 7305823 ... c Min unsat cost LB: 7306586 ... c Min unsat cost LB: 7313287 ... c Min unsat cost LB: 7313956 ... c Min unsat cost LB: 7314324 ... c Min unsat cost LB: 7319775 ... c Min unsat cost LB: 7330367 ... c Min unsat cost LB: 7334393 ... c Min unsat cost LB: 7341857 ... c Min unsat cost LB: 7342225 ... c Min unsat cost LB: 7343289 ... c Min unsat cost LB: 7343686 ... c Min unsat cost LB: 7344284 ... c Min unsat cost LB: 7345750 ... c Min unsat cost LB: 7347135 ... c Min unsat cost LB: 7350921 ... c Min unsat cost LB: 7358136 ... c Min unsat cost LB: 7358755 ... c Min unsat cost LB: 7359397 ... c Min unsat cost LB: 7364418 ... c Min unsat cost LB: 7364796 ... c Min unsat cost LB: 7365392 ... c Min unsat cost LB: 7368197 ... c Min unsat cost LB: 7373598 ... c Min unsat cost LB: 7374662 ... c Min unsat cost LB: 7384096 ... c Min unsat cost LB: 7384715 ... c Min unsat cost LB: 7386037 ... c Min unsat cost LB: 7386769 ... c Min unsat cost LB: 7393942 ... c Min unsat cost LB: 7395335 ... c Min unsat cost LB: 7395597 ... c Min unsat cost LB: 7396062 ... c Min unsat cost LB: 7396571 ... c Min unsat cost LB: 7397304 ... c Min unsat cost LB: 7397814 ... c Min unsat cost LB: 7401976 ... c Min unsat cost LB: 7404508 ... c Min unsat cost LB: 7405127 ... c Min unsat cost LB: 7410528 ... c Min unsat cost LB: 7411609 ... c Min unsat cost LB: 7415887 ... c Min unsat cost LB: 7419073 ... c Min unsat cost LB: 7421667 ... c Min unsat cost LB: 7422035 ... c Min unsat cost LB: 7424089 ... c Min unsat cost LB: 7424586 ... c Min unsat cost LB: 7425822 ... c Min unsat cost LB: 7429984 ... c Min unsat cost LB: 7434071 ... c Min unsat cost LB: 7435952 ... c Min unsat cost LB: 7436349 ... c Min unsat cost LB: 7436505 ... c Min unsat cost LB: 7488364 ... c Min unsat cost LB: 7492451 ... c Min unsat cost LB: 7494989 ... c Min unsat cost LB: 7500644 ... c Min unsat cost LB: 7506368 ... c Min unsat cost LB: 7508432 ... c Min unsat cost LB: 7611059 ... c Min unsat cost LB: 7615085 ... c Min unsat cost LB: 7620629 ... c Min unsat cost LB: 7627999 ... c Min unsat cost LB: 7635463 ... c Min unsat cost LB: 7636275 ... c Min unsat cost LB: 7641928 ... c Min unsat cost LB: 7642296 ... c Min unsat cost LB: 7643147 ... c Min unsat cost LB: 7643171 ... c Min unsat cost LB: 7647525 ... c Min unsat cost LB: 7648622 ... c Min unsat cost LB: 7648655 ... c Min unsat cost LB: 7650344 ... c Min unsat cost LB: 7650940 ... c Min unsat cost LB: 7664961 ... c Min unsat cost LB: 7681290 ... c Min unsat cost LB: 7681989 ... c Min unsat cost LB: 7682608 ... c Min unsat cost LB: 7682954 ... c Min unsat cost LB: 7683698 ... c Min unsat cost LB: 7686355 ... c Min unsat cost LB: 7724826 ... c Min unsat cost LB: 7724849 ... c Min unsat cost LB: 7725194 ... c Min unsat cost LB: 7725346 ... c Min unsat cost LB: 7726140 ... c Min unsat cost LB: 7727645 ... c Min unsat cost LB: 7728013 ... c Min unsat cost LB: 7728411 ... c Min unsat cost LB: 7729475 ... c Min unsat cost LB: 7730072 ... c Min unsat cost LB: 7731371 ... c Min unsat cost LB: 7731749 ... c Min unsat cost LB: 7732617 ... c Min unsat cost LB: 7732813 ... c Min unsat cost LB: 7733211 ... c Min unsat cost LB: 7733492 ... c Min unsat cost LB: 7733665 ... c Min unsat cost LB: 7733853 ... c Min unsat cost LB: 7734001 ... c Min unsat cost LB: 7734111 ... c Min unsat cost LB: 7734132 ... c Min unsat cost LB: 7734191 ... c Min unsat cost LB: 7734472 ... c Min unsat cost LB: 7734510 ... c Min unsat cost LB: 7734772 ... c Min unsat cost LB: 7735140 ... c Min unsat cost LB: 7735150 ... c Min unsat cost LB: 7735177 ... c Min unsat cost LB: 7735819 ... c Min unsat cost LB: 7735882 ... c Min unsat cost LB: 7735894 ... c Min unsat cost LB: 7736233 ... c Min unsat cost LB: 7736262 ... c Min unsat cost LB: 7736706 ... c Min unsat cost LB: 7736826 ... c Min unsat cost LB: 7737323 ... c Min unsat cost LB: 7737518 ... c Min unsat cost LB: 7737667 ... c Min unsat cost LB: 7739635 ... c Min unsat cost LB: 7742403 ... c Min unsat cost LB: 7743374 ... c Min unsat cost LB: 7743435 ... c Min unsat cost LB: 7744840 ... c Min unsat cost LB: 7747089 ... c Min unsat cost LB: 7747432 ... c Min unsat cost LB: 7748611 ... c Min unsat cost LB: 7748886 ... c Min unsat cost LB: 7748912 ... c Min unsat cost LB: 7749174 ... c Min unsat cost LB: 7749648 ... c Min unsat cost LB: 7750152 ... c Min unsat cost LB: 7751123 ... c Min unsat cost LB: 7751491 ... c Min unsat cost LB: 7751515 ... c Min unsat cost LB: 7751861 ... c Min unsat cost LB: 7752515 ... c Min unsat cost LB: 7752919 ... c Min unsat cost LB: 7754016 ... c Min unsat cost LB: 7754086 ... c Min unsat cost LB: 7754362 ... c Min unsat cost LB: 7754413 ... c Min unsat cost LB: 7754475 ... c Min unsat cost LB: 7754715 ... c Min unsat cost LB: 7754720 ... c Min unsat cost LB: 7755098 ... c Min unsat cost LB: 7755118 ... c Min unsat cost LB: 7755119 ... c Min unsat cost LB: 7755144 ... c Min unsat cost LB: 7755201 ... c Min unsat cost LB: 7755262 ... c Min unsat cost LB: 7755444 ... c Min unsat cost LB: 7755461 ... c Min unsat cost LB: 7755506 ... c Min unsat cost LB: 7755523 ... c Min unsat cost LB: 7755703 ... c Min unsat cost LB: 7755733 ... c Min unsat cost LB: 7755771 ... c Min unsat cost LB: 7755791 ... c Min unsat cost LB: 7755986 ... c Min unsat cost LB: 7756052 ... c Min unsat cost LB: 7756137 ... c Min unsat cost LB: 7756215 ... c Min unsat cost LB: 7756240 ... c Min unsat cost LB: 7756412 ... c Min unsat cost LB: 7756413 ... c Min unsat cost LB: 7756561 ... c Min unsat cost LB: 7757383 ... c Min unsat cost LB: 7757409 ... c Min unsat cost LB: 7757724 ... c Min unsat cost LB: 7757748 ... c Min unsat cost LB: 7758389 ... c Min unsat cost LB: 7758529 ... c Min unsat cost LB: 7758588 ... c Min unsat cost LB: 7758735 ... c Min unsat cost LB: 7759120 ... c Min unsat cost LB: 7759132 ... c Min unsat cost LB: 7759195 ... c Min unsat cost LB: 7762630 ... c Min unsat cost LB: 7762861 ... c Min unsat cost LB: 7763126 ... c Min unsat cost LB: 7763136 ... c Min unsat cost LB: 7763167 ... c Min unsat cost LB: 7763206 ... c Min unsat cost LB: 7763344 ... c Min unsat cost LB: 7763494 ... c Min unsat cost LB: 7763531 ... c Min unsat cost LB: 7763773 ... c Min unsat cost LB: 7763774 ... c Min unsat cost LB: 7763836 ... c Min unsat cost LB: 7763897 ... c Min unsat cost LB: 7764005 ... c Min unsat cost LB: 7764250 ... c Min unsat cost LB: 7764251 ... c Min unsat cost LB: 7764307 ... c Min unsat cost LB: 7764791 ... c Min unsat cost LB: 7764824 ... c Min unsat cost LB: 7764846 ... c Min unsat cost LB: 7764949 ... c Min unsat cost LB: 7764996 ... c Min unsat cost LB: 7765029 ... c Min unsat cost LB: 7765099 ... c Min unsat cost LB: 7765171 ... c Min unsat cost LB: 7765704 ... c Min unsat cost LB: 7765888 ... c Min unsat cost LB: 7767689 ... c Min unsat cost LB: 7767727 ... c Min unsat cost LB: 7767845 ... c Min unsat cost LB: 7767855 ... c Min unsat cost LB: 7767867 ... c Min unsat cost LB: 7767882 ... c Min unsat cost LB: 7767926 ... c Min unsat cost LB: 7767941 ... c Min unsat cost LB: 7767989 ... c Min unsat cost LB: 7768010 ... c Min unsat cost LB: 7768117 ... c Min unsat cost LB: 7768166 ... c Min unsat cost LB: 7768344 ... c Min unsat cost LB: 7768436 ... c Min unsat cost LB: 7768521 ... c Min unsat cost LB: 7768568 ... c Min unsat cost LB: 7768599 ... c Min unsat cost LB: 7769098 ... c Min unsat cost LB: 7769121 ... c Min unsat cost LB: 7769159 ... c Min unsat cost LB: 7769237 ... c Min unsat cost LB: 7769393 ... c Min unsat cost LB: 7769426 ... c Min unsat cost LB: 7769517 ... c Min unsat cost LB: 7770462 ... c Min unsat cost LB: 7772350 ... c Min unsat cost LB: 7772577 ... c Min unsat cost LB: 7772952 ... c Min unsat cost LB: 7773381 ... c Min unsat cost LB: 7773437 ... c Min unsat cost LB: 7773609 ... c Min unsat cost LB: 7773630 ... c Min unsat cost LB: 7773634 ... c Min unsat cost LB: 7773640 ... c Min unsat cost LB: 7773747 ... c Min unsat cost LB: 7773804 ... c Min unsat cost LB: 7773925 ... c Min unsat cost LB: 7773940 ... c Min unsat cost LB: 7773955 ... c Min unsat cost LB: 7773972 ... c Min unsat cost LB: 7773976 ... c Min unsat cost LB: 7774014 ... c Min unsat cost LB: 7774024 ... c Min unsat cost LB: 7774071 ... c Min unsat cost LB: 7774157 ... c Min unsat cost LB: 7774221 ... c Min unsat cost LB: 7774314 ... c Min unsat cost LB: 7774324 ... c Min unsat cost LB: 7774481 ... c Min unsat cost LB: 7774570 ... c Min unsat cost LB: 7774608 ... c Min unsat cost LB: 7774682 ... c Min unsat cost LB: 7774700 ... c Min unsat cost LB: 7774712 ... c Min unsat cost LB: 7774761 ... c Min unsat cost LB: 7774768 ... c Min unsat cost LB: 7774805 ... c Min unsat cost LB: 7774853 ... c Min unsat cost LB: 7774876 ... c Min unsat cost LB: 7774888 ... c Min unsat cost LB: 7774994 ... c Min unsat cost LB: 7775037 ... c Min unsat cost LB: 7775075 ... c Min unsat cost LB: 7775079 ... c Min unsat cost LB: 7775094 ... c Min unsat cost LB: 7775157 ... c Min unsat cost LB: 7775158 ... c Min unsat cost LB: 7775191 ... c Min unsat cost LB: 7775193 ... c Min unsat cost LB: 7775244 ... c Min unsat cost LB: 7775573 ... c Min unsat cost LB: 7775636 ... c Min unsat cost LB: 7775886 ... c Min unsat cost LB: 7775937 ... c Min unsat cost LB: 7775975 ... c Min unsat cost LB: 7775985 ... c Min unsat cost LB: 7776122 ... c Min unsat cost LB: 7776144 ... c Min unsat cost LB: 7776145 ... c Min unsat cost LB: 7776182 ... c Min unsat cost LB: 7776202 ... c Min unsat cost LB: 7776211 ... c Min unsat cost LB: 7776232 ... c Min unsat cost LB: 7776236 ... c Min unsat cost LB: 7776290 ... c Min unsat cost LB: 7776312 ... c Min unsat cost LB: 7776329 ... c Min unsat cost LB: 7776335 ... c Min unsat cost LB: 7776338 ... c Min unsat cost LB: 7776341 ... c Min unsat cost LB: 7776373 ... c Min unsat cost LB: 7776464 ... c Min unsat cost LB: 7776706 ... c Min unsat cost LB: 7776716 ... c Min unsat cost LB: 7776809 ... c Min unsat cost LB: 7776838 ... c Min unsat cost LB: 7776856 ... c Min unsat cost LB: 7776872 ... c Min unsat cost LB: 7776923 ... c Min unsat cost LB: 7777047 ... c Min unsat cost LB: 7777217 ... c Min unsat cost LB: 7777405 ... c Min unsat cost LB: 7777426 ... c Min unsat cost LB: 7777473 ... c Min unsat cost LB: 7777513 ... c Min unsat cost LB: 7777588 ... c Min unsat cost LB: 7777594 ... c Min unsat cost LB: 7777610 ... c Min unsat cost LB: 7777865 ... c Min unsat cost LB: 7777890 ... c Min unsat cost LB: 7778244 ... c Min unsat cost LB: 7778297 ... c Min unsat cost LB: 7778391 ... c Min unsat cost LB: 7778437 ... c Min unsat cost LB: 7778476 ... c Min unsat cost LB: 7778519 ... c Min unsat cost LB: 7778559 ... c Min unsat cost LB: 7778573 ... c Min unsat cost LB: 7778777 ... c Min unsat cost LB: 7778780 ... c Min unsat cost LB: 7778790 ... c Min unsat cost LB: 7778802 ... c Min unsat cost LB: 7778883 ... c Min unsat cost LB: 7778925 ... c Min unsat cost LB: 7778947 ... c Min unsat cost LB: 7778950 ... c Min unsat cost LB: 7778976 ... c Min unsat cost LB: 7779002 ... c Min unsat cost LB: 7779058 ... c Min unsat cost LB: 7779067 ... c Min unsat cost LB: 7779200 ... c Min unsat cost LB: 7779222 ... c Min unsat cost LB: 7779226 ... c Min unsat cost LB: 7779271 ... c Min unsat cost LB: 7779322 ... c Min unsat cost LB: 7779341 ... c Min unsat cost LB: 7779474 ... c Min unsat cost LB: 7779505 ... c Min unsat cost LB: 7779582 ... c Min unsat cost LB: 7779615 ... c Min unsat cost LB: 7779629 ... c Min unsat cost LB: 7779676 ... c Min unsat cost LB: 7779686 ... c Min unsat cost LB: 7779709 ... c Min unsat cost LB: 7779747 ... c Min unsat cost LB: 7779754 ... c Min unsat cost LB: 7779788 ... c Min unsat cost LB: 7779815 ... c Min unsat cost LB: 7779847 ... c Min unsat cost LB: 7779849 ... c Min unsat cost LB: 7779881 ... c Min unsat cost LB: 7779885 ... c Min unsat cost LB: 7779908 ... c Min unsat cost LB: 7779947 ... c Min unsat cost LB: 7779950 ... c Min unsat cost LB: 7779986 ... c Min unsat cost LB: 7780251 ... c Min unsat cost LB: 7780285 ... c Min unsat cost LB: 7780316 ... c Min unsat cost LB: 7780370 ... c Min unsat cost LB: 7780395 ... c Min unsat cost LB: 7780429 ... c Min unsat cost LB: 7780434 ... c Min unsat cost LB: 7780435 ... c Min unsat cost LB: 7780447 ... c Min unsat cost LB: 7780473 ... c Min unsat cost LB: 7780474 ... c Min unsat cost LB: 7780622 ... c Min unsat cost LB: 7780642 ... c Min unsat cost LB: 7780646 ... c Min unsat cost LB: 7780688 ... c Min unsat cost LB: 7780762 ... c Min unsat cost LB: 7780808 ... c Min unsat cost LB: 7780841 ... c Min unsat cost LB: 7780848 ... c Min unsat cost LB: 7780886 ... c Min unsat cost LB: 7780905 ... c Min unsat cost LB: 7780911 ... c Min unsat cost LB: 7780918 ... c Min unsat cost LB: 7780953 ... c Min unsat cost LB: 7781002 ... c Min unsat cost LB: 7781014 ... c Min unsat cost LB: 7781029 ... c Min unsat cost LB: 7781087 ... c Min unsat cost LB: 7781092 ... c Min unsat cost LB: 7781136 ... c Min unsat cost LB: 7781146 ... c Min unsat cost LB: 7781172 ... c Min unsat cost LB: 7781180 ... c Min unsat cost LB: 7781210 ... c Min unsat cost LB: 7781226 ... c Min unsat cost LB: 7781250 ... c Min unsat cost LB: 7781264 ... c Min unsat cost LB: 7781280 ... c Min unsat cost LB: 7781308 ... c Min unsat cost LB: 7781310 ... c Min unsat cost LB: 7781346 ... c Min unsat cost LB: 7781355 ... c Min unsat cost LB: 7781367 ... c Min unsat cost LB: 7781382 ... c Min unsat cost LB: 7781384 ... c Min unsat cost LB: 7781390 ... c Min unsat cost LB: 7781413 ... c Min unsat cost LB: 7781433 ... c Min unsat cost LB: 7781436 ... c Min unsat cost LB: 7781560 ... c Min unsat cost LB: 7781572 ... c Min unsat cost LB: 7781573 ... c Min unsat cost LB: 7781575 ... c Min unsat cost LB: 7781580 ... c Min unsat cost LB: 7781583 ... c Min unsat cost LB: 7781605 ... c Min unsat cost LB: 7781619 ... c Min unsat cost LB: 7781620 ... c Min unsat cost LB: 7781621 ... c Min unsat cost LB: 7781629 ... c Min unsat cost LB: 7781665 ... c Min unsat cost LB: 7781694 ... c Min unsat cost LB: 7781707 ... c Min unsat cost LB: 7781739 ... c Min unsat cost LB: 7781779 ... c Min unsat cost LB: 7781793 ... c Min unsat cost LB: 7781816 ... c Min unsat cost LB: 7781847 ... c Min unsat cost LB: 7781854 ... c Min unsat cost LB: 7781888 ... c Min unsat cost LB: 7781912 ... c Min unsat cost LB: 7781939 ... c Min unsat cost LB: 7781964 ... c Min unsat cost LB: 7781990 ... c Min unsat cost LB: 7782023 ... c Min unsat cost LB: 7782071 ... c Min unsat cost LB: 7782076 ... c Min unsat cost LB: 7782084 ... c Min unsat cost LB: 7782091 ... c Min unsat cost LB: 7782164 ... c Min unsat cost LB: 7782174 ... c Min unsat cost LB: 7782181 ... c Min unsat cost LB: 7782210 ... c Min unsat cost LB: 7782235 ... c Min unsat cost LB: 7782261 ... c Min unsat cost LB: 7782272 ... c Min unsat cost LB: 7782299 ... c Min unsat cost LB: 7782307 ... c Min unsat cost LB: 7782310 ... c Min unsat cost LB: 7782355 ... c Min unsat cost LB: 7782494 ... c Min unsat cost LB: 7782562 ... c Min unsat cost LB: 7782703 ... c Min unsat cost LB: 7782898 ... c Min unsat cost LB: 7782990 ... c Min unsat cost LB: 7783140 ... c Min unsat cost LB: 7783196 ... c Min unsat cost LB: 7783231 ... c Min unsat cost LB: 7783265 ... c Min unsat cost LB: 7783328 ... c Min unsat cost LB: 7783340 ... c Min unsat cost LB: 7783455 ... c Min unsat cost LB: 7783485 ... c Min unsat cost LB: 7783487 ... c Min unsat cost LB: 7783569 ... c Min unsat cost LB: 7783627 ... c Min unsat cost LB: 7783637 ... c Min unsat cost LB: 7783654 ... c Min unsat cost LB: 7783659 ... c Min unsat cost LB: 7783675 ... c Min unsat cost LB: 7783701 ... c Min unsat cost LB: 7783798 ... c Min unsat cost LB: 7783829 ... c Min unsat cost LB: 7783919 ... c Min unsat cost LB: 7783944 ... c Min unsat cost LB: 7784054 ... c Min unsat cost LB: 7784140 ... c Min unsat cost LB: 7784145 ... c Min unsat cost LB: 7784172 ... c Min unsat cost LB: 7784202 ... c Min unsat cost LB: 7784234 ... c Min unsat cost LB: 7784246 ... c Min unsat cost LB: 7784535 ... c Min unsat cost LB: 7784585 ... c Min unsat cost LB: 7784614 ... c Min unsat cost LB: 7784648 ... c Min unsat cost LB: 7785270 ... c Min unsat cost LB: 7785287 ... c Min unsat cost LB: 7785294 ... c Min unsat cost LB: 7785327 ... c Min unsat cost LB: 7785348 ... c Min unsat cost LB: 7785382 ... c Min unsat cost LB: 7785385 ... c Min unsat cost LB: 7785430 ... c Min unsat cost LB: 7785454 ... c Min unsat cost LB: 7785487 ... c Min unsat cost LB: 7785504 ... c Min unsat cost LB: 7785547 ... c Min unsat cost LB: 7785567 ... c Min unsat cost LB: 7785591 ... c Min unsat cost LB: 7785613 ... c Min unsat cost LB: 7785616 ... c Min unsat cost LB: 7785628 ... c Min unsat cost LB: 7785638 ... c Min unsat cost LB: 7785656 ... c Min unsat cost LB: 7785668 ... c Min unsat cost LB: 7785677 ... c Min unsat cost LB: 7785682 ... c Min unsat cost LB: 7785696 ... c Min unsat cost LB: 7785704 ... c Min unsat cost LB: 7785717 ... c Min unsat cost LB: 7785719 ... c Min unsat cost LB: 7785742 ... c Min unsat cost LB: 7785766 ... c Min unsat cost LB: 7785767 ... c Min unsat cost LB: 7785773 ... c Min unsat cost LB: 7785786 ... c Min unsat cost LB: 7785880 ... c Min unsat cost LB: 7785905 ... c Min unsat cost LB: 7785913 ... c Min unsat cost LB: 7785964 ... c Min unsat cost LB: 7785985 ... c Min unsat cost LB: 7785993 ... c Min unsat cost LB: 7786030 ... c Min unsat cost LB: 7786093 ... c Min unsat cost LB: 7786156 ... c Min unsat cost LB: 7786179 ... c Min unsat cost LB: 7786185 ... c Min unsat cost LB: 7786204 ... c Min unsat cost LB: 7786305 ... c Min unsat cost LB: 7786339 ... c Min unsat cost LB: 7786342 ... c Min unsat cost LB: 7786352 ... c Min unsat cost LB: 7786363 ... c Min unsat cost LB: 7786368 ... c Min unsat cost LB: 7786394 ... c Min unsat cost LB: 7786401 ... c Min unsat cost LB: 7786403 ... c Min unsat cost LB: 7786430 ... c Min unsat cost LB: 7786444 ... c Min unsat cost LB: 7786447 ... c Min unsat cost LB: 7786455 ... c Min unsat cost LB: 7786474 ... c Min unsat cost LB: 7786481 ... c Min unsat cost LB: 7786488 ... c Min unsat cost LB: 7786496 ... c Min unsat cost LB: 7786498 ... c Min unsat cost LB: 7786505 ... c Min unsat cost LB: 7786506 ... c Min unsat cost LB: 7786518 ... c Min unsat cost LB: 7786526 ... c Min unsat cost LB: 7786544 ... c Min unsat cost LB: 7786556 ... c Min unsat cost LB: 7786569 ... c Min unsat cost LB: 7786584 ... c Min unsat cost LB: 7786592 ... c Min unsat cost LB: 7786610 ... c Min unsat cost LB: 7786641 ... c Min unsat cost LB: 7786650 ... c Min unsat cost LB: 7786655 ... c Min unsat cost LB: 7786660 ... c Min unsat cost LB: 7786681 ... c Min unsat cost LB: 7786709 ... c Min unsat cost LB: 7786729 ... c Min unsat cost LB: 7786787 ... c Min unsat cost LB: 7786822 ... c Min unsat cost LB: 7786846 ... c Min unsat cost LB: 7786853 ... c Min unsat cost LB: 7786880 ... c Min unsat cost LB: 7786883 ... c Min unsat cost LB: 7786903 ... c Min unsat cost LB: 7786912 ... c Min unsat cost LB: 7786967 ... c Min unsat cost LB: 7787055 ... c Min unsat cost LB: 7787078 ... c Min unsat cost LB: 7787093 ... c Min unsat cost LB: 7787145 ... c Min unsat cost LB: 7787155 ... c Min unsat cost LB: 7787198 ... c Min unsat cost LB: 7787213 ... c Min unsat cost LB: 7787224 ... c Min unsat cost LB: 7787230 ... c Min unsat cost LB: 7787244 ... c Min unsat cost LB: 7787266 ... c Min unsat cost LB: 7787271 ... c Min unsat cost LB: 7787289 ... c Min unsat cost LB: 7787290 ... c Min unsat cost LB: 7787291 ... c Min unsat cost LB: 7787312 ... c Min unsat cost LB: 7787314 ... c Min unsat cost LB: 7787318 ... c Min unsat cost LB: 7787339 ... c Min unsat cost LB: 7787344 ... c Min unsat cost LB: 7787377 ... c Min unsat cost LB: 7787383 ... c Min unsat cost LB: 7787384 ... c Min unsat cost LB: 7787390 ... c Min unsat cost LB: 7787399 ... c Min unsat cost LB: 7787401 ... c Min unsat cost LB: 7787403 ... c Min unsat cost LB: 7787421 ... c Min unsat cost LB: 7787424 ... c Min unsat cost LB: 7787427 ... c Min unsat cost LB: 7787432 ... c Min unsat cost LB: 7787433 ... c Min unsat cost LB: 7787436 ... c Min unsat cost LB: 7787441 ... c Min unsat cost LB: 7787445 ... c Min unsat cost LB: 7787451 ... c Min unsat cost LB: 7787453 ... c Min unsat cost LB: 7787485 ... c Min unsat cost LB: 7787491 ... c Min unsat cost LB: 7787503 ... c Min unsat cost LB: 7787508 ... c Min unsat cost LB: 7787516 ... c Min unsat cost LB: 7787522 ... c Min unsat cost LB: 7787526 ... c Min unsat cost LB: 7787542 ... c Min unsat cost LB: 7787546 ... c Min unsat cost LB: 7787547 ... c Min unsat cost LB: 7787549 ... c Min unsat cost LB: 7787553 ... c Min unsat cost LB: 7787568 ... c Min unsat cost LB: 7787622 ... c Min unsat cost LB: 7787732 ... c Min unsat cost LB: 7787737 ... c Min unsat cost LB: 7787748 ... c Min unsat cost LB: 7787749 ... c Min unsat cost LB: 7787753 ... c Min unsat cost LB: 7787755 ... c Min unsat cost LB: 7787758 ... c Min unsat cost LB: 7787767 ... c Min unsat cost LB: 7787775 ... c Min unsat cost LB: 7787794 ... c Min unsat cost LB: 7787823 ... c Min unsat cost LB: 7787828 ... c Min unsat cost LB: 7787830 ... c Min unsat cost LB: 7787840 ... c Min unsat cost LB: 7787844 ... c Min unsat cost LB: 7787865 ... c Min unsat cost LB: 7787873 ... c Min unsat cost LB: 7787886 ... c Min unsat cost LB: 7787888 ... c Min unsat cost LB: 7787911 ... c Min unsat cost LB: 7787912 ... c Min unsat cost LB: 7787915 ... c Min unsat cost LB: 7787923 ... c Min unsat cost LB: 7787939 ... c Min unsat cost LB: 7787948 ... c Min unsat cost LB: 7787952 ... c Min unsat cost LB: 7787985 ... c Min unsat cost LB: 7788028 ... c Min unsat cost LB: 7788048 ... c Min unsat cost LB: 7788066 ... c Min unsat cost LB: 7788085 ... c Min unsat cost LB: 7788091 ... c Min unsat cost LB: 7788098 ... c Min unsat cost LB: 7788111 ... c Min unsat cost LB: 7788121 ... c Min unsat cost LB: 7788135 ... c Min unsat cost LB: 7788136 ... c Min unsat cost LB: 7788143 ... c Min unsat cost LB: 7788187 ... c Min unsat cost LB: 7788193 ... c Min unsat cost LB: 7788223 ... c Min unsat cost LB: 7788233 ... c Min unsat cost LB: 7788270 ... c Min unsat cost LB: 7788291 ... c Min unsat cost LB: 7788294 ... c Min unsat cost LB: 7788297 ... c Min unsat cost LB: 7788302 ... c Min unsat cost LB: 7788314 ... c Min unsat cost LB: 7788317 ... c Min unsat cost LB: 7788340 ... c Min unsat cost LB: 7788350 ... c Min unsat cost LB: 7788358 ... c Min unsat cost LB: 7788373 ... c Min unsat cost LB: 7788385 ... c Min unsat cost LB: 7788391 ... c Min unsat cost LB: 7788413 ... c Min unsat cost LB: 7788419 ... c Min unsat cost LB: 7788422 ... c Min unsat cost LB: 7788423 ... c Min unsat cost LB: 7788426 ... c Min unsat cost LB: 7788429 ... c Min unsat cost LB: 7788438 ... c Min unsat cost LB: 7788470 ... c Min unsat cost LB: 7788473 ... c Min unsat cost LB: 7788476 ... c Min unsat cost LB: 7788477 ... c Min unsat cost LB: 7788478 ... c Min unsat cost LB: 7788484 ... c Min unsat cost LB: 7788508 ... c Min unsat cost LB: 7788509 ... c Min unsat cost LB: 7788511 ... c Min unsat cost LB: 7788513 ... c Min unsat cost LB: 7788516 ... c Min unsat cost LB: 7788523 ... c Min unsat cost LB: 7788541 ... c Min unsat cost LB: 7788543 ... c Min unsat cost LB: 7788544 ... c Min unsat cost LB: 7788556 ... c Min unsat cost LB: 7788562 ... c Min unsat cost LB: 7788563 ... c Min unsat cost LB: 7788578 ... c Min unsat cost LB: 7788583 ... c Min unsat cost LB: 7788591 ... c Min unsat cost LB: 7788598 ... c Min unsat cost LB: 7788616 ... c Min unsat cost LB: 7788617 ... c Min unsat cost LB: 7788630 ... c Min unsat cost LB: 7788668 ... c Min unsat cost LB: 7788689 ... c Min unsat cost LB: 7788693 ... c Min unsat cost LB: 7788700 ... c Min unsat cost LB: 7788708 ... c Min unsat cost LB: 7788723 ... c Min unsat cost LB: 7788727 ... c Min unsat cost LB: 7788728 ... c Min unsat cost LB: 7788731 ... c Min unsat cost LB: 7788733 ... c Min unsat cost LB: 7788757 ... c Min unsat cost LB: 7788769 ... c Min unsat cost LB: 7788771 ... c Min unsat cost LB: 7788773 ... c Min unsat cost LB: 7788798 ... c Min unsat cost LB: 7788808 ... c Min unsat cost LB: 7788811 ... c Min unsat cost LB: 7788821 ... c Min unsat cost LB: 7788851 ... c Min unsat cost LB: 7788856 ... c Min unsat cost LB: 7788857 ... c Min unsat cost LB: 7788867 ... c Min unsat cost LB: 7788868 ... c Min unsat cost LB: 7788874 ... c Min unsat cost LB: 7788876 ... c Min unsat cost LB: 7788878 ... c Min unsat cost LB: 7788880 ... c Min unsat cost LB: 7788882 ... c Min unsat cost LB: 7788941 ... c Min unsat cost LB: 7788949 ... c Min unsat cost LB: 7788955 ... c Min unsat cost LB: 7789014 ... c Min unsat cost LB: 7789092 ... c Min unsat cost LB: 7789093 ... c Min unsat cost LB: 7789127 ... c Min unsat cost LB: 7789135 ... c Min unsat cost LB: 7789154 ... c Min unsat cost LB: 7789162 ... c Min unsat cost LB: 7789166 ... c Min unsat cost LB: 7789169 ... c Min unsat cost LB: 7789172 ... c Min unsat cost LB: 7789179 ... c Min unsat cost LB: 7789184 ... c Min unsat cost LB: 7789189 ... c Min unsat cost LB: 7789196 ... c Min unsat cost LB: 7789216 ... c Min unsat cost LB: 7789221 ... c Min unsat cost LB: 7789228 ... c Min unsat cost LB: 7789262 ... c Min unsat cost LB: 7789264 ... c Min unsat cost LB: 7789270 ... c Min unsat cost LB: 7789279 ... c Min unsat cost LB: 7789312 ... c Min unsat cost LB: 7789334 ... c Min unsat cost LB: 7789340 ... c Min unsat cost LB: 7789347 ... c Min unsat cost LB: 7789358 ... c Min unsat cost LB: 7789359 ... c Min unsat cost LB: 7789365 ... c Min unsat cost LB: 7789372 ... c Min unsat cost LB: 7789392 ... c Min unsat cost LB: 7789399 ... c Min unsat cost LB: 7789433 ... c Min unsat cost LB: 7789456 ... c Min unsat cost LB: 7789504 ... c Min unsat cost LB: 7789507 ... c Min unsat cost LB: 7789516 ... c Min unsat cost LB: 7789519 ... c Min unsat cost LB: 7789523 ... c Min unsat cost LB: 7789531 ... c Min unsat cost LB: 7789534 ... c Min unsat cost LB: 7789540 ... c Min unsat cost LB: 7789548 ... c Min unsat cost LB: 7789549 ... c Min unsat cost LB: 7789551 ... c Min unsat cost LB: 7789564 ... c Min unsat cost LB: 7789572 ... c Min unsat cost LB: 7789576 ... c Min unsat cost LB: 7789590 ... c Min unsat cost LB: 7789593 ... c Min unsat cost LB: 7789598 ... c Min unsat cost LB: 7789603 ... c Min unsat cost LB: 7789617 ... c Min unsat cost LB: 7789623 ... c Min unsat cost LB: 7789631 ... c Min unsat cost LB: 7789635 ... c Min unsat cost LB: 7789640 ... c Min unsat cost LB: 7789643 ... c Min unsat cost LB: 7789655 ... c Min unsat cost LB: 7789657 ... c Min unsat cost LB: 7789663 ... c Min unsat cost LB: 7789668 ... c Min unsat cost LB: 7789688 ... c Min unsat cost LB: 7789696 ... c Min unsat cost LB: 7789702 ... c Min unsat cost LB: 7789703 ... c Min unsat cost LB: 7789712 ... c Min unsat cost LB: 7789716 ... c Min unsat cost LB: 7789724 ... c Min unsat cost LB: 7789735 ... c Min unsat cost LB: 7789743 ... c Min unsat cost LB: 7789747 ... c Min unsat cost LB: 7789748 ... c Min unsat cost LB: 7789758 ... c Min unsat cost LB: 7789760 ... c Min unsat cost LB: 7789761 ... c Min unsat cost LB: 7789767 ... c Min unsat cost LB: 7789775 ... c Min unsat cost LB: 7789786 ... c Min unsat cost LB: 7789789 ... c Min unsat cost LB: 7789792 ... c Min unsat cost LB: 7789794 ... c Min unsat cost LB: 7789800 ... c Min unsat cost LB: 7789812 ... c Min unsat cost LB: 7789813 ... c Min unsat cost LB: 7789818 ... c Min unsat cost LB: 7789819 ... c Min unsat cost LB: 7789821 ... c Min unsat cost LB: 7789824 ... c Min unsat cost LB: 7789829 ... c Min unsat cost LB: 7789852 ... c Min unsat cost LB: 7789875 ... c Min unsat cost LB: 7789881 ... c Min unsat cost LB: 7789883 ... c Min unsat cost LB: 7789890 ... c Min unsat cost LB: 7789904 ... c Min unsat cost LB: 7789911 ... c Min unsat cost LB: 7789916 ... c Min unsat cost LB: 7789921 ... c Min unsat cost LB: 7789922 ... c Min unsat cost LB: 7789924 ... c Min unsat cost LB: 7789928 ... c Min unsat cost LB: 7789929 ... c Min unsat cost LB: 7789930 ... c Min unsat cost LB: 7789934 ... c Min unsat cost LB: 7789944 ... c Min unsat cost LB: 7789955 ... c Min Killed 1765.665u 54.092s 30:23.15 99.8% 0+0k 0+0io 0pf+0w