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_cap122.wcsp.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap122.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/cap122.wcsp.wcnf *** c c Min unsat cost LB: 49140 ... c Min unsat cost LB: 84287 ... c Min unsat cost LB: 91266 ... c Min unsat cost LB: 103583 ... c Min unsat cost LB: 176691 ... c Min unsat cost LB: 301691 ... c Min unsat cost LB: 415922 ... c Min unsat cost LB: 527590 ... c Min unsat cost LB: 580296 ... c Min unsat cost LB: 588301 ... c Min unsat cost LB: 610505 ... c Min unsat cost LB: 1919459 ... c Min unsat cost LB: 2249390 ... c Min unsat cost LB: 2352017 ... c Min unsat cost LB: 2380307 ... c Min unsat cost LB: 2430737 ... c Min unsat cost LB: 2488487 ... c Min unsat cost LB: 2561237 ... c Min unsat cost LB: 2774265 ... c Min unsat cost LB: 2830181 ... c Min unsat cost LB: 2949680 ... c Min unsat cost LB: 2969687 ... c Min unsat cost LB: 3083918 ... c Min unsat cost LB: 3094687 ... c Min unsat cost LB: 3107211 ... c Min unsat cost LB: 3119528 ... c Min unsat cost LB: 3120526 ... c Min unsat cost LB: 3122509 ... c Min unsat cost LB: 3148606 ... c Min unsat cost LB: 3160090 ... c Min unsat cost LB: 3165755 ... c Min unsat cost LB: 3450747 ... c Min unsat cost LB: 3514453 ... c Min unsat cost LB: 3640838 ... c Min unsat cost LB: 3692697 ... c Min unsat cost LB: 3704869 ... c Min unsat cost LB: 3725488 ... c Min unsat cost LB: 3762050 ... c Min unsat cost LB: 3765954 ... c Min unsat cost LB: 3801484 ... c Min unsat cost LB: 3817828 ... c Min unsat cost LB: 5058340 ... c Min unsat cost LB: 5138839 ... c Min unsat cost LB: 5150833 ... c Min unsat cost LB: 5224299 ... c Min unsat cost LB: 5254219 ... c Min unsat cost LB: 5468098 ... c Min unsat cost LB: 5549080 ... c Min unsat cost LB: 5601579 ... c Min unsat cost LB: 5652009 ... c Min unsat cost LB: 5660086 ... c Min unsat cost LB: 5664760 ... c Min unsat cost LB: 5674080 ... c Min unsat cost LB: 5676560 ... c Min unsat cost LB: 5679085 ... c Min unsat cost LB: 5683386 ... c Min unsat cost LB: 5686365 ... c Min unsat cost LB: 5690051 ... c Min unsat cost LB: 5690976 ... c Min unsat cost LB: 5691840 ... c Min unsat cost LB: 5695317 ... c Min unsat cost LB: 5698706 ... c Min unsat cost LB: 5757130 ... c Min unsat cost LB: 5774568 ... c Min unsat cost LB: 5789655 ... c Min unsat cost LB: 5814566 ... c Min unsat cost LB: 5822701 ... c Min unsat cost LB: 5837788 ... c Min unsat cost LB: 5859023 ... c Min unsat cost LB: 6539446 ... c Min unsat cost LB: 6557286 ... c Min unsat cost LB: 6560552 ... c Min unsat cost LB: 6562092 ... c Min unsat cost LB: 6569429 ... c Min unsat cost LB: 6576893 ... c Min unsat cost LB: 6580057 ... c Min unsat cost LB: 6581207 ... c Min unsat cost LB: 6581402 ... c Min unsat cost LB: 6581905 ... c Min unsat cost LB: 6589188 ... c Min unsat cost LB: 6608210 ... c Min unsat cost LB: 6610335 ... c Min unsat cost LB: 6618733 ... c Min unsat cost LB: 6626414 ... c Min unsat cost LB: 6629325 ... c Min unsat cost LB: 6632299 ... c Min unsat cost LB: 6633941 ... c Min unsat cost LB: 6647008 ... c Min unsat cost LB: 6650295 ... c Min unsat cost LB: 6664338 ... c Min unsat cost LB: 6665519 ... c Min unsat cost LB: 6671652 ... c Min unsat cost LB: 6676758 ... c Min unsat cost LB: 6705161 ... c Min unsat cost LB: 6719455 ... c Min unsat cost LB: 6740317 ... c Min unsat cost LB: 6765255 ... c Min unsat cost LB: 6769899 ... c Min unsat cost LB: 6770719 ... c Min unsat cost LB: 6802487 ... c Min unsat cost LB: 6805460 ... c Min unsat cost LB: 6812780 ... c Min unsat cost LB: 6813984 ... c Min unsat cost LB: 6825612 ... c Min unsat cost LB: 6833015 ... c Min unsat cost LB: 6850912 ... c Min unsat cost LB: 6851188 ... c Min unsat cost LB: 6853899 ... c Min unsat cost LB: 6859137 ... c Min unsat cost LB: 6861540 ... c Min unsat cost LB: 6862138 ... c Min unsat cost LB: 6864107 ... c Min unsat cost LB: 6865568 ... c Min unsat cost LB: 6876857 ... c Min unsat cost LB: 6883314 ... c Min unsat cost LB: 6884468 ... c Min unsat cost LB: 6890848 ... c Min unsat cost LB: 6892924 ... c Min unsat cost LB: 6896306 ... c Min unsat cost LB: 6898766 ... c Min unsat cost LB: 6903225 ... c Min unsat cost LB: 6904993 ... c Min unsat cost LB: 6906069 ... c Min unsat cost LB: 6908914 ... c Min unsat cost LB: 6911374 ... c Min unsat cost LB: 6927922 ... c Min unsat cost LB: 6932542 ... c Min unsat cost LB: 6935650 ... c Min unsat cost LB: 6951190 ... c Min unsat cost LB: 6953710 ... c Min unsat cost LB: 6960514 ... c Min unsat cost LB: 7075997 ... c Min unsat cost LB: 7113711 ... c Min unsat cost LB: 7129022 ... c Min unsat cost LB: 7158604 ... c Min unsat cost LB: 7169475 ... c Min unsat cost LB: 7171147 ... c Min unsat cost LB: 7190276 ... c Min unsat cost LB: 7190516 ... c Min unsat cost LB: 7193309 ... c Min unsat cost LB: 7195447 ... c Min unsat cost LB: 7198118 ... c Min unsat cost LB: 7208968 ... c Min unsat cost LB: 7213118 ... c Min unsat cost LB: 7215684 ... c Min unsat cost LB: 7219469 ... c Min unsat cost LB: 7229583 ... c Min unsat cost LB: 7249551 ... c Min unsat cost LB: 7259637 ... c Min unsat cost LB: 7261205 ... c Min unsat cost LB: 7267643 ... c Min unsat cost LB: 7269159 ... c Min unsat cost LB: 7270367 ... c Min unsat cost LB: 7271079 ... c Min unsat cost LB: 7271383 ... c Min unsat cost LB: 7272023 ... c Min unsat cost LB: 7272067 ... c Min unsat cost LB: 7272391 ... c Min unsat cost LB: 7278038 ... c Min unsat cost LB: 7278377 ... c Min unsat cost LB: 7282835 ... c Min unsat cost LB: 7284220 ... c Min unsat cost LB: 7284785 ... c Min unsat cost LB: 7286670 ... c Min unsat cost LB: 7287211 ... c Min unsat cost LB: 7287577 ... c Min unsat cost LB: 7287944 ... c Min unsat cost LB: 7290178 ... c Min unsat cost LB: 7292133 ... c Min unsat cost LB: 7296304 ... c Min unsat cost LB: 7297267 ... c Min unsat cost LB: 7306101 ... c Min unsat cost LB: 7306872 ... c Min unsat cost LB: 7307239 ... c Min unsat cost LB: 7307787 ... c Min unsat cost LB: 7308601 ... c Min unsat cost LB: 7309583 ... c Min unsat cost LB: 7309775 ... c Min unsat cost LB: 7311160 ... c Min unsat cost LB: 7311988 ... c Min unsat cost LB: 7317266 ... c Min unsat cost LB: 7320872 ... c Min unsat cost LB: 7326183 ... c Min unsat cost LB: 7326590 ... c Min unsat cost LB: 7328035 ... c Min unsat cost LB: 7330363 ... c Min unsat cost LB: 7347917 ... c Min unsat cost LB: 7351960 ... c Min unsat cost LB: 7352075 ... c Min unsat cost LB: 7353557 ... c Min unsat cost LB: 7360111 ... c Min unsat cost LB: 7360152 ... c Min unsat cost LB: 7361013 ... c Min unsat cost LB: 7363145 ... c Min unsat cost LB: 7363803 ... c Min unsat cost LB: 7364826 ... c Min unsat cost LB: 7365202 ... c Min unsat cost LB: 7366401 ... c Min unsat cost LB: 7366471 ... c Min unsat cost LB: 7368078 ... c Min unsat cost LB: 7368942 ... c Min unsat cost LB: 7368973 ... c Min unsat cost LB: 7369014 ... c Min unsat cost LB: 7369786 ... c Min unsat cost LB: 7369790 ... c Min unsat cost LB: 7373087 ... c Min unsat cost LB: 7375964 ... c Min unsat cost LB: 7376110 ... c Min unsat cost LB: 7378734 ... c Min unsat cost LB: 7379883 ... c Min unsat cost LB: 7380136 ... c Min unsat cost LB: 7380964 ... c Min unsat cost LB: 7381155 ... c Min unsat cost LB: 7382507 ... c Min unsat cost LB: 7385384 ... c Min unsat cost LB: 7385500 ... c Min unsat cost LB: 7388729 ... c Min unsat cost LB: 7390029 ... c Min unsat cost LB: 7390174 ... c Min unsat cost LB: 7390183 ... c Min unsat cost LB: 7390581 ... c Min unsat cost LB: 7391490 ... c Min unsat cost LB: 7392301 ... c Min unsat cost LB: 7392866 ... c Min unsat cost LB: 7393322 ... c Min unsat cost LB: 7393855 ... c Min unsat cost LB: 7394115 ... c Min unsat cost LB: 7394187 ... c Min unsat cost LB: 7394264 ... c Min unsat cost LB: 7394587 ... c Min unsat cost LB: 7394719 ... c Min unsat cost LB: 7395821 ... c Min unsat cost LB: 7396215 ... c Min unsat cost LB: 7397163 ... c Min unsat cost LB: 7397171 ... c Min unsat cost LB: 7397321 ... c Min unsat cost LB: 7397646 ... c Min unsat cost LB: 7398149 ... c Min unsat cost LB: 7398177 ... c Min unsat cost LB: 7399843 ... c Min unsat cost LB: 7401009 ... c Min unsat cost LB: 7401952 ... c Min unsat cost LB: 7402190 ... c Min unsat cost LB: 7403832 ... c Min unsat cost LB: 7407058 ... c Min unsat cost LB: 7407570 ... c Min unsat cost LB: 7407669 ... c Min unsat cost LB: 7407930 ... c Min unsat cost LB: 7408199 ... c Min unsat cost LB: 7408612 ... c Min unsat cost LB: 7409334 ... c Min unsat cost LB: 7409421 ... c Min unsat cost LB: 7410499 ... c Min unsat cost LB: 7411359 ... c Min unsat cost LB: 7413191 ... c Min unsat cost LB: 7414569 ... c Min unsat cost LB: 7414968 ... c Min unsat cost LB: 7415443 ... c Min unsat cost LB: 7415719 ... c Min unsat cost LB: 7417291 ... c Min unsat cost LB: 7418842 ... c Min unsat cost LB: 7421538 ... c Min unsat cost LB: 7422676 ... c Min unsat cost LB: 7423056 ... c Min unsat cost LB: 7423351 ... c Min unsat cost LB: 7424861 ... c Min unsat cost LB: 7426568 ... c Min unsat cost LB: 7426711 ... c Min unsat cost LB: 7426763 ... c Min unsat cost LB: 7427403 ... c Min unsat cost LB: 7427725 ... c Min unsat cost LB: 7428120 ... c Min unsat cost LB: 7428135 ... c Min unsat cost LB: 7428197 ... c Min unsat cost LB: 7428794 ... c Min unsat cost LB: 7430252 ... c Min unsat cost LB: 7430744 ... c Min unsat cost LB: 7431370 ... c Min unsat cost LB: 7431853 ... c Min unsat cost LB: 7432192 ... c Min unsat cost LB: 7438565 ... c Min unsat cost LB: 7443844 ... c Min unsat cost LB: 7444134 ... c Min unsat cost LB: 7446756 ... c Min unsat cost LB: 7446841 ... c Min unsat cost LB: 7449787 ... c Min unsat cost LB: 7450913 ... c Min unsat cost LB: 7451259 ... c Min unsat cost LB: 7455186 ... c Min unsat cost LB: 7455215 ... c Min unsat cost LB: 7456269 ... c Min unsat cost LB: 7457955 ... c Min unsat cost LB: 7459497 ... c Min unsat cost LB: 7461093 ... c Min unsat cost LB: 7461244 ... c Min unsat cost LB: 7464117 ... c Min unsat cost LB: 7464634 ... c Min unsat cost LB: 7465047 ... c Min unsat cost LB: 7468155 ... c Min unsat cost LB: 7470200 ... c Min unsat cost LB: 7470312 ... c Min unsat cost LB: 7473021 ... c Min unsat cost LB: 7475037 ... c Min unsat cost LB: 7477398 ... c Min unsat cost LB: 7478710 ... c Min unsat cost LB: 7480665 ... c Min unsat cost LB: 7480786 ... c Min unsat cost LB: 7481602 ... c Min unsat cost LB: 7481606 ... c Min unsat cost LB: 7481672 ... c Min unsat cost LB: 7482000 ... c Min unsat cost LB: 7482456 ... c Min unsat cost LB: 7483404 ... c Min unsat cost LB: 7483492 ... c Min unsat cost LB: 7483500 ... c Min unsat cost LB: 7483522 ... c Min unsat cost LB: 7483752 ... c Min unsat cost LB: 7483782 ... c Min unsat cost LB: 7483832 ... c Min unsat cost LB: 7484062 ... c Min unsat cost LB: 7484471 ... c Min unsat cost LB: 7484656 ... c Min unsat cost LB: 7484660 ... c Min unsat cost LB: 7484678 ... c Min unsat cost LB: 7484748 ... c Min unsat cost LB: 7485054 ... c Min unsat cost LB: 7485134 ... c Min unsat cost LB: 7485252 ... c Min unsat cost LB: 7485380 ... c Min unsat cost LB: 7485476 ... c Min unsat cost LB: 7485513 ... c Min unsat cost LB: 7485517 ... c Min unsat cost LB: 7485557 ... c Min unsat cost LB: 7486215 ... c Min unsat cost LB: 7486219 ... c Min unsat cost LB: 7486246 ... c Min unsat cost LB: 7486304 ... c Min unsat cost LB: 7486362 ... c Min unsat cost LB: 7486499 ... c Min unsat cost LB: 7486505 ... c Min unsat cost LB: 7486508 ... c Min unsat cost LB: 7486553 ... c Min unsat cost LB: 7486907 ... c Min unsat cost LB: 7487453 ... c Min unsat cost LB: 7487702 ... c Min unsat cost LB: 7487983 ... c Min unsat cost LB: 7488088 ... c Min unsat cost LB: 7489029 ... c Min unsat cost LB: 7489078 ... c Min unsat cost LB: 7489558 ... c Min unsat cost LB: 7490756 ... c Min unsat cost LB: 7490772 ... c Min unsat cost LB: 7490909 ... c Min unsat cost LB: 7491175 ... c Min unsat cost LB: 7492802 ... c Min unsat cost LB: 7494044 ... c Min unsat cost LB: 7495612 ... c Min unsat cost LB: 7496201 ... c Min unsat cost LB: 7497152 ... c Min unsat cost LB: 7497297 ... c Min unsat cost LB: 7497347 ... c Min unsat cost LB: 7502147 ... c Min unsat cost LB: 7502181 ... c Min unsat cost LB: 7502262 ... c Min unsat cost LB: 7502303 ... c Min unsat cost LB: 7502695 ... c Min unsat cost LB: 7502757 ... c Min unsat cost LB: 7502827 ... c Min unsat cost LB: 7504007 ... c Min unsat cost LB: 7504335 ... c Min unsat cost LB: 7504448 ... c Min unsat cost LB: 7504463 ... c Min unsat cost LB: 7505146 ... c Min unsat cost LB: 7505588 ... c Min unsat cost LB: 7505614 ... c Min unsat cost LB: 7506055 ... c Min unsat cost LB: 7506147 ... c Min unsat cost LB: 7507011 ... c Min unsat cost LB: 7507042 ... c Min unsat cost LB: 7507607 ... c Min unsat cost LB: 7507616 ... c Min unsat cost LB: 7507632 ... c Min unsat cost LB: 7507668 ... c Min unsat cost LB: 7507992 ... c Min unsat cost LB: 7508008 ... c Min unsat cost LB: 7508025 ... c Min unsat cost LB: 7508040 ... c Min unsat cost LB: 7508091 ... c Min unsat cost LB: 7508726 ... c Min unsat cost LB: 7509146 ... c Min unsat cost LB: 7509441 ... c Min unsat cost LB: 7509454 ... c Min unsat cost LB: 7509550 ... c Min unsat cost LB: 7509624 ... c Min unsat cost LB: 7509945 ... c Min unsat cost LB: 7510197 ... c Min unsat cost LB: 7510225 ... c Min unsat cost LB: 7510375 ... c Min unsat cost LB: 7510702 ... c Min unsat cost LB: 7511351 ... c Min unsat cost LB: 7511611 ... c Min unsat cost LB: 7511770 ... c Min unsat cost LB: 7511794 ... c Min unsat cost LB: 7512014 ... c Min unsat cost LB: 7512381 ... c Min unsat cost LB: 7512963 ... c Min unsat cost LB: 7513025 ... c Min unsat cost LB: 7513232 ... c Min unsat cost LB: 7514021 ... c Min unsat cost LB: 7514024 ... c Min unsat cost LB: 7514036 ... c Min unsat cost LB: 7514110 ... c Min unsat cost LB: 7514165 ... c Min unsat cost LB: 7514343 ... c Min unsat cost LB: 7514912 ... c Min unsat cost LB: 7516078 ... c Min unsat cost LB: 7516305 ... c Min unsat cost LB: 7516363 ... c Min unsat cost LB: 7516468 ... c Min unsat cost LB: 7517029 ... c Min unsat cost LB: 7517618 ... c Min unsat cost LB: 7518008 ... c Min unsat cost LB: 7520011 ... c Min unsat cost LB: 7520092 ... c Min unsat cost LB: 7520126 ... c Min unsat cost LB: 7520308 ... c Min unsat cost LB: 7520449 ... c Min unsat cost LB: 7521548 ... c Min unsat cost LB: 7521741 ... c Min unsat cost LB: 7523052 ... c Min unsat cost LB: 7523093 ... c Min unsat cost LB: 7523118 ... c Min unsat cost LB: 7523124 ... c Min unsat cost LB: 7523126 ... c Min unsat cost LB: 7523132 ... c Min unsat cost LB: 7523160 ... c Min unsat cost LB: 7524545 ... c Min unsat cost LB: 7526723 ... c Min unsat cost LB: 7526853 ... c Min unsat cost LB: 7526923 ... c Min unsat cost LB: 7527093 ... c Min unsat cost LB: 7528617 ... c Min unsat cost LB: 7528627 ... c Min unsat cost LB: 7529878 ... c Min unsat cost LB: 7530111 ... c Min unsat cost LB: 7530394 ... c Min unsat cost LB: 7530542 ... c Min unsat cost LB: 7530749 ... c Min unsat cost LB: 7530877 ... c Min unsat cost LB: 7531200 ... c Min unsat cost LB: 7531208 ... c Min unsat cost LB: 7531358 ... c Min unsat cost LB: 7531962 ... c Min unsat cost LB: 7532605 ... c Min unsat cost LB: 7533206 ... c Min unsat cost LB: 7533234 ... c Min unsat cost LB: 7533454 ... c Min unsat cost LB: 7533488 ... c Min unsat cost LB: 7533740 ... c Min unsat cost LB: 7533791 ... c Min unsat cost LB: 7533815 ... c Min unsat cost LB: 7534564 ... c Min unsat cost LB: 7535928 ... c Min unsat cost LB: 7535944 ... c Min unsat cost LB: 7535961 ... c Min unsat cost LB: 7535962 ... c Min unsat cost LB: 7535969 ... c Min unsat cost LB: 7535980 ... c Min unsat cost LB: 7536075 ... c Min unsat cost LB: 7536084 ... c Min unsat cost LB: 7536133 ... c Min unsat cost LB: 7536413 ... c Min unsat cost LB: 7536487 ... c Min unsat cost LB: 7536786 ... c Min unsat cost LB: 7536848 ... c Min unsat cost LB: 7536866 ... c Min unsat cost LB: 7536872 ... c Min unsat cost LB: 7537145 ... c Min unsat cost LB: 7537313 ... c Min unsat cost LB: 7537564 ... c Min unsat cost LB: 7537617 ... c Min unsat cost LB: 7537625 ... c Min unsat cost LB: 7537803 ... c Min unsat cost LB: 7537845 ... c Min unsat cost LB: 7538060 ... c Min unsat cost LB: 7538109 ... c Min unsat cost LB: 7538367 ... c Min unsat cost LB: 7538520 ... c Min unsat cost LB: 7538710 ... c Min unsat cost LB: 7538853 ... c Min unsat cost LB: 7538946 ... c Min unsat cost LB: 7539336 ... c Min unsat cost LB: 7539434 ... c Min unsat cost LB: 7539649 ... c Min unsat cost LB: 7539840 ... c Min unsat cost LB: 7540429 ... c Min unsat cost LB: 7540990 ... c Min unsat cost LB: 7541015 ... c Min unsat cost LB: 7541604 ... c Min unsat cost LB: 7541658 ... c Min unsat cost LB: 7542219 ... c Min unsat cost LB: 7542372 ... c Min unsat cost LB: 7543022 ... c Min unsat cost LB: 7543047 ... c Min unsat cost LB: 7543805 ... c Min unsat cost LB: 7544247 ... c Min unsat cost LB: 7544526 ... c Min unsat cost LB: 7545426 ... c Min unsat cost LB: 7545436 ... c Min unsat cost LB: 7545460 ... c Min unsat cost LB: 7545468 ... c Min unsat cost LB: 7545522 ... c Min unsat cost LB: 7545740 ... c Min unsat cost LB: 7545833 ... c Min unsat cost LB: 7545976 ... c Min unsat cost LB: 7547134 ... c Min unsat cost LB: 7547512 ... c Min unsat cost LB: 7548234 ... c Min unsat cost LB: 7548715 ... c Min unsat cost LB: 7548777 ... c Min unsat cost LB: 7548942 ... c Min unsat cost LB: 7548987 ... c Min unsat cost LB: 7549038 ... c Min unsat cost LB: 7549075 ... c Min unsat cost LB: 7549176 ... c Min unsat cost LB: 7549193 ... c Min unsat cost LB: 7549209 ... c Min unsat cost LB: 7549210 ... c Min unsat cost LB: 7549238 ... c Min unsat cost LB: 7549312 ... c Min unsat cost LB: 7549455 ... c Min unsat cost LB: 7549640 ... c Min unsat cost LB: 7549671 ... c Min unsat cost LB: 7549679 ... c Min unsat cost LB: 7549691 ... c Min unsat cost LB: 7549745 ... c Min unsat cost LB: 7549755 ... c Min unsat cost LB: 7549778 ... c Min unsat cost LB: 7549873 ... c Min unsat cost LB: 7549893 ... c Min unsat cost LB: 7551073 ... c Min unsat cost LB: 7551126 ... c Min unsat cost LB: 7551186 ... c Min unsat cost LB: 7551214 ... c Min unsat cost LB: 7551263 ... c Min unsat cost LB: 7551302 ... c Min unsat cost LB: 7551333 ... c Min unsat cost LB: 7551431 ... c Min unsat cost LB: 7551454 ... c Min unsat cost LB: 7551492 ... c Min unsat cost LB: 7551517 ... c Min unsat cost LB: 7551662 ... c Min unsat cost LB: 7551906 ... c Min unsat cost LB: 7552032 ... c Min unsat cost LB: 7552041 ... c Min unsat cost LB: 7552194 ... c Min unsat cost LB: 7552393 ... c Min unsat cost LB: 7553017 ... c Min unsat cost LB: 7553069 ... c Min unsat cost LB: 7553235 ... c Min unsat cost LB: 7553378 ... c Min unsat cost LB: 7553405 ... c Min unsat cost LB: 7553471 ... c Min unsat cost LB: 7553485 ... c Min unsat cost LB: 7553499 ... c Min unsat cost LB: 7553512 ... c Min unsat cost LB: 7553605 ... c Min unsat cost LB: 7553678 ... c Min unsat cost LB: 7553692 ... c Min unsat cost LB: 7553751 ... c Min unsat cost LB: 7553798 ... c Min unsat cost LB: 7553810 ... c Min unsat cost LB: 7553823 ... c Min unsat cost LB: 7553848 ... c Min unsat cost LB: 7554036 ... c Min unsat cost LB: 7554265 ... c Min unsat cost LB: 7554266 ... c Min unsat cost LB: 7554280 ... c Min unsat cost LB: 7554282 ... c Min unsat cost LB: 7554283 ... c Min unsat cost LB: 7554287 ... c Min unsat cost LB: 7554289 ... c Min unsat cost LB: 7554299 ... c Min unsat cost LB: 7554300 ... c Min unsat cost LB: 7554306 ... c Min unsat cost LB: 7554327 ... c Min unsat cost LB: 7554357 ... c Min unsat cost LB: 7554385 ... c Min unsat cost LB: 7554387 ... c Min unsat cost LB: 7554435 ... c Min unsat cost LB: 7554470 ... c Min unsat cost LB: 7554498 ... c Min unsat cost LB: 7554568 ... c Min unsat cost LB: 7554650 ... c Min unsat cost LB: 7554719 ... c Min unsat cost LB: 7554753 ... c Min unsat cost LB: 7554777 ... c Min unsat cost LB: 7554900 ... c Min unsat cost LB: 7554951 ... c Min unsat cost LB: 7554985 ... c Min unsat cost LB: 7555101 ... c Min unsat cost LB: 7555137 ... c Min unsat cost LB: 7555153 ... c Min unsat cost LB: 7555279 ... c Min unsat cost LB: 7555461 ... c Min unsat cost LB: 7555471 ... c Min unsat cost LB: 7555486 ... c Min unsat cost LB: 7555493 ... c Min unsat cost LB: 7555605 ... c Min unsat cost LB: 7555664 ... c Min unsat cost LB: 7555794 ... c Min unsat cost LB: 7555800 ... c Min unsat cost LB: 7556696 ... c Min unsat cost LB: 7556855 ... c Min unsat cost LB: 7556899 ... c Min unsat cost LB: 7556907 ... c Min unsat cost LB: 7556987 ... c Min unsat cost LB: 7557475 ... c Min unsat cost LB: 7557719 ... c Min unsat cost LB: 7557985 ... c Min unsat cost LB: 7557992 ... c Min unsat cost LB: 7558133 ... c Min unsat cost LB: 7558252 ... c Min unsat cost LB: 7558382 ... c Min unsat cost LB: 7558384 ... c Min unsat cost LB: 7558416 ... c Min unsat cost LB: 7558483 ... c Min unsat cost LB: 7558649 ... c Min unsat cost LB: 7558781 ... c Min unsat cost LB: 7558854 ... c Min unsat cost LB: 7558877 ... c Min unsat cost LB: 7558997 ... c Min unsat cost LB: 7559025 ... c Min unsat cost LB: 7559038 ... c Min unsat cost LB: 7559084 ... c Min unsat cost LB: 7559097 ... c Min unsat cost LB: 7559202 ... c Min unsat cost LB: 7559392 ... c Min unsat cost LB: 7559578 ... c Min unsat cost LB: 7559597 ... c Min unsat cost LB: 7559631 ... c Min unsat cost LB: 7559712 ... c Min unsat cost LB: 7559767 ... c Min unsat cost LB: 7559769 ... c Min unsat cost LB: 7559775 ... c Min unsat cost LB: 7559800 ... c Min unsat cost LB: 7559830 ... c Min unsat cost LB: 7559831 ... c Min unsat cost LB: 7559836 ... c Min unsat cost LB: 7559857 ... c Min unsat cost LB: 7559863 ... c Min unsat cost LB: 7559900 ... c Min unsat cost LB: 7559929 ... c Min unsat cost LB: 7559992 ... c Min unsat cost LB: 7560015 ... c Min unsat cost LB: 7560027 ... c Min unsat cost LB: 7560055 ... c Min unsat cost LB: 7560125 ... c Min unsat cost LB: 7560173 ... c Min unsat cost LB: 7560175 ... c Min unsat cost LB: 7560203 ... c Min unsat cost LB: 7560277 ... c Min unsat cost LB: 7560455 ... c Min unsat cost LB: 7560724 ... c Min unsat cost LB: 7560741 ... c Min unsat cost LB: 7560757 ... c Min unsat cost LB: 7560873 ... c Min unsat cost LB: 7560902 ... c Min unsat cost LB: 7560909 ... c Min unsat cost LB: 7560911 ... c Min unsat cost LB: 7560928 ... c Min unsat cost LB: 7560936 ... c Min unsat cost LB: 7560944 ... c Min unsat cost LB: 7560945 ... c Min unsat cost LB: 7560973 ... c Min unsat cost LB: 7560994 ... c Min unsat cost LB: 7561044 ... c Min unsat cost LB: 7561104 ... c Min unsat cost LB: 7561232 ... c Min unsat cost LB: 7561431 ... c Min unsat cost LB: 7561437 ... c Min unsat cost LB: 7561497 ... c Min unsat cost LB: 7561770 ... c Min unsat cost LB: 7561798 ... c Min unsat cost LB: 7561832 ... c Min unsat cost LB: 7561913 ... c Min unsat cost LB: 7561928 ... c Min unsat cost LB: 7561959 ... c Min unsat cost LB: 7561970 ... c Min unsat cost LB: 7562050 ... c Min unsat cost LB: 7562186 ... c Min unsat cost LB: 7562239 ... c Min unsat cost LB: 7562393 ... c Min unsat cost LB: 7562395 ... c Min unsat cost LB: 7562410 ... c Min unsat cost LB: 7562475 ... c Min unsat cost LB: 7562544 ... c Min unsat cost LB: 7562593 ... c Min unsat cost LB: 7562605 ... c Min unsat cost LB: 7562650 ... c Min unsat cost LB: 7562663 ... c Min unsat cost LB: 7562691 ... c Min unsat cost LB: 7562740 ... c Min unsat cost LB: 7562784 ... c Min unsat cost LB: 7562906 ... c Min unsat cost LB: 7562914 ... c Min unsat cost LB: 7562928 ... c Min unsat cost LB: 7563038 ... c Min unsat cost LB: 7563051 ... c Min unsat cost LB: 7563111 ... c Min unsat cost LB: 7563134 ... c Min unsat cost LB: 7563214 ... c Min unsat cost LB: 7563309 ... c Min unsat cost LB: 7563579 ... c Min unsat cost LB: 7563602 ... c Min unsat cost LB: 7563622 ... c Min unsat cost LB: 7563630 ... c Min unsat cost LB: 7563635 ... c Min unsat cost LB: 7563640 ... c Min unsat cost LB: 7563648 ... c Min unsat cost LB: 7563665 ... c Min unsat cost LB: 7563795 ... c Min unsat cost LB: 7563914 ... c Min unsat cost LB: 7563919 ... c Min unsat cost LB: 7563920 ... c Min unsat cost LB: 7563924 ... c Min unsat cost LB: 7563929 ... c Min unsat cost LB: 7563956 ... c Min unsat cost LB: 7563957 ... c Min unsat cost LB: 7563977 ... c Min unsat cost LB: 7564002 ... c Min unsat cost LB: 7564003 ... c Min unsat cost LB: 7564007 ... c Min unsat cost LB: 7564013 ... c Min unsat cost LB: 7564015 ... c Min unsat cost LB: 7564019 ... c Min unsat cost LB: 7564020 ... c Min unsat cost LB: 7564022 ... c Min unsat cost LB: 7564036 ... c Min unsat cost LB: 7564044 ... c Min unsat cost LB: 7564053 ... c Min unsat cost LB: 7564059 ... c Min unsat cost LB: 7564078 ... c Min unsat cost LB: 7564081 ... c Min unsat cost LB: 7564104 ... c Min unsat cost LB: 7564149 ... c Min unsat cost LB: 7564158 ... c Min unsat cost LB: 7564160 ... c Min unsat cost LB: 7564166 ... c Min unsat cost LB: 7564171 ... c Min unsat cost LB: 7564172 ... c Min unsat cost LB: 7564173 ... c Min unsat cost LB: 7564175 ... c Min unsat cost LB: 7564176 ... c Min unsat cost LB: 7564177 ... c Min unsat cost LB: 7564181 ... c Min unsat cost LB: 7564189 ... c Min unsat cost LB: 7564205 ... c Min unsat cost LB: 7564221 ... c Min unsat cost LB: 7564222 ... c Min unsat cost LB: 7564237 ... c Min unsat cost LB: 7564250 ... c Min unsat cost LB: 7564255 ... c Min unsat cost LB: 7564270 ... c Min unsat cost LB: 7564286 ... c Min unsat cost LB: 7564299 ... c Min unsat cost LB: 7564341 ... c Min unsat cost LB: 7564349 ... c Min unsat cost LB: 7564387 ... c Min unsat cost LB: 7564389 ... c Min unsat cost LB: 7564402 ... c Min unsat cost LB: 7564414 ... c Min unsat cost LB: 7564467 ... c Min unsat cost LB: 7564478 ... c Min unsat cost LB: 7564507 ... c Min unsat cost LB: 7564517 ... c Min unsat cost LB: 7564537 ... c Min unsat cost LB: 7564540 ... c Min unsat cost LB: 7564552 ... c Min unsat cost LB: 7564553 ... c Min unsat cost LB: 7564558 ... c Min unsat cost LB: 7564563 ... c Min unsat cost LB: 7564565 ... c Min unsat cost LB: 7564567 ... c Min unsat cost LB: 7564645 ... c Min unsat cost LB: 7564653 ... c Min unsat cost LB: 7564670 ... c Min unsat cost LB: 7564703 ... c Min unsat cost LB: 7564719 ... c Min unsat cost LB: 7564786 ... c Min unsat cost LB: 7564795 ... c Min unsat cost LB: 7564869 ... c Min unsat cost LB: 7564875 ... c Min unsat cost LB: 7564876 ... c Min unsat cost LB: 7564901 ... c Min unsat cost LB: 7564903 ... c Min unsat cost LB: 7564906 ... c Min unsat cost LB: 7564918 ... c Min unsat cost LB: 7564934 ... c Min unsat cost LB: 7564936 ... c Min unsat cost LB: 7564938 ... c Min unsat cost LB: 7564940 ... c Min unsat cost LB: 7564943 ... c Min unsat cost LB: 7564944 ... c Min unsat cost LB: 7564948 ... c Min unsat cost LB: 7564949 ... c Min unsat cost LB: 7564951 ... c Min unsat cost LB: 7564952 ... c Min unsat cost LB: 7564962 ... c Min unsat cost LB: 7564964 ... c Min unsat cost LB: 7564969 ... c Min unsat cost LB: 7564970 ... c Min unsat cost LB: 7564980 ... c Min unsat cost LB: 7564994 ... c Min unsat cost LB: 7565006 ... c Min unsat cost LB: 7565007 ... c Min unsat cost LB: 7565020 ... c Min unsat cost LB: 7565066 ... c Min unsat cost LB: 7565082 ... c Min unsat cost LB: 7565106 ... c Min unsat cost LB: 7565112 ... c Min unsat cost LB: 7565132 ... c Min unsat cost LB: 7565145 ... c Min unsat cost LB: 7565151 ... c Min unsat cost LB: 7565156 ... c Min unsat cost LB: 7565157 ... c Min unsat cost LB: 7565159 ... c Min unsat cost LB: 7565161 ... c Min unsat cost LB: 7565162 ... c Min unsat cost LB: 7565164 ... c Min unsat cost LB: 7565165 ... c Min unsat cost LB: 7565168 ... c Min unsat cost LB: 7565169 ... c Min unsat cost LB: 7565171 ... c Min unsat cost LB: 7565177 ... c Min unsat cost LB: 7565178 ... c Min unsat cost LB: 7565197 ... c Min unsat cost LB: 7565210 ... c Min unsat cost LB: 7565213 ... c Min unsat cost LB: 7565220 ... c Min unsat cost LB: 7565223 ... c Min unsat cost LB: 7565225 ... c Min unsat cost LB: 7565236 ... c Min unsat cost LB: 7565238 ... c Min unsat cost LB: 7565239 ... c Min unsat cost LB: 7565247 ... c Min unsat cost LB: 7565258 ... c Min unsat cost LB: 7565263 ... c Min unsat cost LB: 7565268 ... c Min unsat cost LB: 7565270 ... c Min unsat cost LB: 7565272 ... c Min unsat cost LB: 7565286 ... c Min unsat cost LB: 7565300 ... c Min unsat cost LB: 7565303 ... c Min unsat cost LB: 7565304 ... c Min unsat cost LB: 7565312 ... c Min unsat cost LB: 7565318 ... c Min unsat cost LB: 7565326 ... c Min unsat cost LB: 7565332 ... c Min unsat cost LB: 7565345 ... c Min unsat cost LB: 7565353 ... c Min unsat cost LB: 7565358 ... c Min unsat cost LB: 7565368 ... c Min unsat cost LB: 7565373 ... c Min unsat cost LB: 7565381 ... c Min unsat cost LB: 7565382 ... c Min unsat cost LB: 7565405 ... c Min unsat cost LB: 7565422 ... c Min unsat cost LB: 7565430 ... c Min unsat cost LB: 7565440 ... c Min unsat cost LB: 7565454 ... c Min unsat cost LB: 7565467 ... c Min unsat cost LB: 7565468 ... c Min unsat cost LB: 7565541 ... c Min unsat cost LB: 7565597 ... c Min unsat cost LB: 7565626 ... c Min unsat cost LB: 7565638 ... c Min unsat cost LB: 7565646 ... c Min unsat cost LB: 7565651 ... c Min unsat cost LB: 7565664 ... c Min unsat cost LB: 7565669 ... c Min unsat cost LB: 7565670 ... c Min unsat cost LB: 7565678 ... c Min unsat cost LB: 7565680 ... c Min unsat cost LB: 7565681 ... c Min unsat cost LB: 7565686 ... c Min unsat cost LB: 7565689 ... c Min unsat cost LB: 7565693 ... c Min unsat cost LB: 7565701 ... c Min unsat cost LB: 7565702 ... c Min unsat cost LB: 7565706 ... c Min unsat cost LB: 7565717 ... c Min unsat cost LB: 7565725 ... c Min unsat cost LB: 7565733 ... c Min unsat cost LB: 7565738 ... c Min unsat cost LB: 7565743 ... c Min unsat cost LB: 7565749 ... c Min unsat cost LB: 7565753 ... c Min unsat cost LB: 7565754 ... c Min unsat cost LB: 7565759 ... c Min unsat cost LB: 7565762 ... c Min unsat cost LB: 7565767 ... c Min unsat cost LB: 7565775 ... c Min unsat cost LB: 7565832 ... c Min unsat cost LB: 7565834 ... c Min unsat cost LB: 7565844 ... c Min unsat cost LB: 7565853 ... c Min unsat cost LB: 7565868 ... c Min unsat cost LB: 7565876 ... c Min unsat cost LB: 7565884 ... c Min unsat cost LB: 7565887 ... c Min unsat cost LB: 7565894 ... c Min unsat cost LB: 7565895 ... c Min unsat cost LB: 7565905 ... c Min unsat cost LB: 7565909 ... c Min unsat cost LB: 7565911 ... c Min unsat cost LB: 7565915 ... c Min unsat cost LB: 7565917 ... c Min unsat cost LB: 7565923 ... c Min unsat cost LB: 7565930 ... c Min unsat cost LB: 7565937 ... c Min unsat cost LB: 7565946 ... c Min unsat cost LB: 7565947 ... c Min unsat cost LB: 7565948 ... c Min unsat cost LB: 7565954 ... c Min unsat cost LB: 7565961 ... c Min unsat cost LB: 7565962 ... c Min unsat cost LB: 7565967 ... c Min unsat cost LB: 7565982 ... c Min unsat cost LB: 7565983 ... c Min unsat cost LB: 7565987 ... c Min unsat cost LB: 7565996 ... c Min unsat cost LB: 7566001 ... c Min unsat cost LB: 7566030 ... c Min unsat cost LB: 7566040 ... c Min unsat cost LB: 7566049 ... c Min unsat cost LB: 7566052 ... c Min unsat cost LB: 7566055 ... c Min unsat cost LB: 7566060 ... c Min unsat cost LB: 7566066 ... c Min unsat cost LB: 7566077 ... c Min unsat cost LB: 7566083 ... c Min unsat cost LB: 7566087 ... c Min unsat cost LB: 7566091 ... c Min unsat cost LB: 7566095 ... c Min unsat cost LB: 7566099 ... c Min unsat cost LB: 7566100 ... c Min unsat cost LB: 7566102 ... c Min unsat cost LB: 7566103 ... c Min unsat cost LB: 7566107 ... c Min unsat cost LB: 7566110 ... c Min unsat cost LB: 7566113 ... c Min unsat cost LB: 7566122 ... c Min unsat cost LB: 7566125 ... c Min unsat cost LB: 7566133 ... c Min unsat cost LB: 7566151 ... c Min unsat cost LB: 7566155 ... c Min unsat cost LB: 7566158 ... c Min unsat cost LB: 7566170 ... c Min unsat cost LB: 7566187 ... c Min unsat cost LB: 7566189 ... c Min unsat cost LB: 7566201 ... c Min unsat cost LB: 7566204 ... c Min unsat cost LB: 7566215 ... c Min Killed 1766.670u 53.099s 30:24.00 99.7% 0+0k 0+0io 0pf+0w