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_cap92.wcsp.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap92.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/cap92.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: 1940205 ... c Min unsat cost LB: 1961570 ... c Min unsat cost LB: 2086570 ... c Min unsat cost LB: 2141862 ... c Min unsat cost LB: 2167553 ... c Min unsat cost LB: 2203601 ... c Min unsat cost LB: 2228603 ... c Min unsat cost LB: 2272905 ... c Min unsat cost LB: 2304090 ... c Min unsat cost LB: 2311410 ... c Min unsat cost LB: 2315619 ... c Min unsat cost LB: 2324702 ... c Min unsat cost LB: 2325174 ... c Min unsat cost LB: 2447008 ... c Min unsat cost LB: 2452472 ... c Min unsat cost LB: 2533829 ... c Min unsat cost LB: 2582741 ... c Min unsat cost LB: 2633171 ... c Min unsat cost LB: 2714894 ... c Min unsat cost LB: 2805349 ... c Min unsat cost LB: 2850187 ... c Min unsat cost LB: 2852411 ... c Min unsat cost LB: 2873624 ... c Min unsat cost LB: 2874264 ... c Min unsat cost LB: 2911790 ... c Min unsat cost LB: 2931389 ... c Min unsat cost LB: 2961471 ... c Min unsat cost LB: 2981192 ... c Min unsat cost LB: 3038942 ... c Min unsat cost LB: 3089372 ... c Min unsat cost LB: 3094247 ... c Min unsat cost LB: 3098269 ... c Min unsat cost LB: 3098866 ... c Min unsat cost LB: 3099331 ... c Min unsat cost LB: 3099796 ... c Min unsat cost LB: 3100044 ... c Min unsat cost LB: 3226429 ... c Min unsat cost LB: 3323330 ... c Min unsat cost LB: 3437561 ... c Min unsat cost LB: 3551792 ... c Min unsat cost LB: 3600622 ... c Min unsat cost LB: 3612939 ... c Min unsat cost LB: 3625256 ... c Min unsat cost LB: 3689471 ... c Min unsat cost LB: 3700240 ... c Min unsat cost LB: 3703912 ... c Min unsat cost LB: 3724891 ... c Min unsat cost LB: 4054822 ... c Min unsat cost LB: 4124681 ... c Min unsat cost LB: 4131031 ... c Min unsat cost LB: 4138774 ... c Min unsat cost LB: 4145185 ... c Min unsat cost LB: 4146269 ... c Min unsat cost LB: 4153211 ... c Min unsat cost LB: 4159676 ... c Min unsat cost LB: 4166136 ... c Min unsat cost LB: 4176735 ... c Min unsat cost LB: 4177513 ... c Min unsat cost LB: 4198784 ... c Min unsat cost LB: 4202946 ... c Min unsat cost LB: 4210235 ... c Min unsat cost LB: 4214261 ... c Min unsat cost LB: 4247120 ... c Min unsat cost LB: 4250792 ... c Min unsat cost LB: 4251192 ... c Min unsat cost LB: 4251538 ... c Min unsat cost LB: 4304244 ... c Min unsat cost LB: 4304492 ... c Min unsat cost LB: 4304957 ... c Min unsat cost LB: 4314980 ... c Min unsat cost LB: 4322455 ... c Min unsat cost LB: 4331197 ... c Min unsat cost LB: 4334869 ... c Min unsat cost LB: 4341273 ... c Min unsat cost LB: 4341334 ... c Min unsat cost LB: 4342403 ... c Min unsat cost LB: 4360194 ... c Min unsat cost LB: 4409334 ... c Min unsat cost LB: 4694326 ... c Min unsat cost LB: 4758032 ... c Min unsat cost LB: 4768534 ... c Min unsat cost LB: 4841642 ... c Min unsat cost LB: 4846696 ... c Min unsat cost LB: 6087208 ... c Min unsat cost LB: 6103219 ... c Min unsat cost LB: 7412173 ... c Min unsat cost LB: 7448540 ... c Min unsat cost LB: 7541852 ... c Min unsat cost LB: 7567992 ... c Min unsat cost LB: 7573811 ... c Min unsat cost LB: 7578584 ... c Min unsat cost LB: 7579182 ... c Min unsat cost LB: 7582854 ... c Min unsat cost LB: 7600721 ... c Min unsat cost LB: 7601186 ... c Min unsat cost LB: 7606207 ... c Min unsat cost LB: 7607468 ... c Min unsat cost LB: 7608532 ... c Min unsat cost LB: 7609690 ... c Min unsat cost LB: 7616101 ... c Min unsat cost LB: 7619213 ... c Min unsat cost LB: 7623043 ... c Min unsat cost LB: 7624127 ... c Min unsat cost LB: 7626956 ... c Min unsat cost LB: 7630587 ... c Min unsat cost LB: 7631552 ... c Min unsat cost LB: 7637963 ... c Min unsat cost LB: 7644374 ... c Min unsat cost LB: 7645790 ... c Min unsat cost LB: 7646343 ... c Min unsat cost LB: 7663427 ... c Min unsat cost LB: 7667453 ... c Min unsat cost LB: 7684662 ... c Min unsat cost LB: 7688688 ... c Min unsat cost LB: 7695630 ... c Min unsat cost LB: 7696098 ... c Min unsat cost LB: 7696246 ... c Min unsat cost LB: 7701718 ... c Min unsat cost LB: 7702596 ... c Min unsat cost LB: 7702758 ... c Min unsat cost LB: 7709108 ... c Min unsat cost LB: 7713003 ... c Min unsat cost LB: 7721552 ... c Min unsat cost LB: 7723677 ... c Min unsat cost LB: 7725646 ... c Min unsat cost LB: 7727739 ... c Min unsat cost LB: 7731901 ... c Min unsat cost LB: 7732111 ... c Min unsat cost LB: 7733257 ... c Min unsat cost LB: 7740982 ... c Min unsat cost LB: 7741760 ... c Min unsat cost LB: 7745610 ... c Min unsat cost LB: 7750560 ... c Min unsat cost LB: 7751644 ... c Min unsat cost LB: 7756379 ... c Min unsat cost LB: 7758109 ... c Min unsat cost LB: 7762632 ... c Min unsat cost LB: 7773401 ... c Min unsat cost LB: 7784000 ... c Min unsat cost LB: 7785941 ... c Min unsat cost LB: 7786843 ... c Min unsat cost LB: 7787672 ... c Min unsat cost LB: 7789609 ... c Min unsat cost LB: 7804627 ... c Min unsat cost LB: 7808789 ... c Min unsat cost LB: 7809567 ... c Min unsat cost LB: 7809844 ... c Min unsat cost LB: 7816856 ... c Min unsat cost LB: 7817685 ... c Min unsat cost LB: 7831824 ... c Min unsat cost LB: 7839567 ... c Min unsat cost LB: 7843735 ... c Min unsat cost LB: 7844090 ... c Min unsat cost LB: 7845174 ... c Min unsat cost LB: 7851427 ... c Min unsat cost LB: 7857892 ... c Min unsat cost LB: 7864242 ... c Min unsat cost LB: 7966869 ... c Min unsat cost LB: 7968883 ... c Min unsat cost LB: 7970541 ... c Min unsat cost LB: 7973426 ... c Min unsat cost LB: 7974272 ... c Min unsat cost LB: 7975263 ... c Min unsat cost LB: 7976626 ... c Min unsat cost LB: 7977339 ... c Min unsat cost LB: 7978563 ... c Min unsat cost LB: 7979886 ... c Min unsat cost LB: 7981404 ... c Min unsat cost LB: 7981437 ... c Min unsat cost LB: 7987814 ... c Min unsat cost LB: 7988898 ... c Min unsat cost LB: 7993329 ... c Min unsat cost LB: 7993390 ... c Min unsat cost LB: 7995789 ... c Min unsat cost LB: 7997605 ... c Min unsat cost LB: 7999801 ... c Min unsat cost LB: 7999854 ... c Min unsat cost LB: 7999951 ... c Min unsat cost LB: 8001097 ... c Min unsat cost LB: 8001899 ... c Min unsat cost LB: 8002754 ... c Min unsat cost LB: 8006275 ... c Min unsat cost LB: 8008374 ... c Min unsat cost LB: 8008812 ... c Min unsat cost LB: 8008842 ... c Min unsat cost LB: 8011671 ... c Min unsat cost LB: 8025692 ... c Min unsat cost LB: 8043415 ... c Min unsat cost LB: 8048865 ... c Min unsat cost LB: 8049643 ... c Min unsat cost LB: 8049988 ... c Min unsat cost LB: 8052196 ... c Min unsat cost LB: 8090667 ... c Min unsat cost LB: 8092200 ... c Min unsat cost LB: 8092681 ... c Min unsat cost LB: 8094025 ... c Min unsat cost LB: 8094660 ... c Min unsat cost LB: 8094937 ... c Min unsat cost LB: 8095534 ... c Min unsat cost LB: 8105043 ... c Min unsat cost LB: 8105244 ... c Min unsat cost LB: 8114686 ... c Min unsat cost LB: 8116367 ... c Min unsat cost LB: 8117798 ... c Min unsat cost LB: 8123100 ... c Min unsat cost LB: 8124272 ... c Min unsat cost LB: 8126888 ... c Min unsat cost LB: 8127165 ... c Min unsat cost LB: 8127717 ... c Min unsat cost LB: 8128546 ... c Min unsat cost LB: 8129041 ... c Min unsat cost LB: 8130451 ... c Min unsat cost LB: 8131229 ... c Min unsat cost LB: 8134061 ... c Min unsat cost LB: 8135391 ... c Min unsat cost LB: 8136537 ... c Min unsat cost LB: 8139233 ... c Min unsat cost LB: 8145339 ... c Min unsat cost LB: 8145594 ... c Min unsat cost LB: 8146245 ... c Min unsat cost LB: 8149548 ... c Min unsat cost LB: 8150016 ... c Min unsat cost LB: 8150156 ... c Min unsat cost LB: 8150433 ... c Min unsat cost LB: 8151232 ... c Min unsat cost LB: 8151509 ... c Min unsat cost LB: 8152073 ... c Min unsat cost LB: 8152338 ... c Min unsat cost LB: 8152670 ... c Min unsat cost LB: 8153425 ... c Min unsat cost LB: 8153739 ... c Min unsat cost LB: 8154458 ... c Min unsat cost LB: 8154519 ... c Min unsat cost LB: 8154916 ... c Min unsat cost LB: 8155691 ... c Min unsat cost LB: 8156656 ... c Min unsat cost LB: 8157878 ... c Min unsat cost LB: 8158089 ... c Min unsat cost LB: 8158588 ... c Min unsat cost LB: 8160869 ... c Min unsat cost LB: 8160923 ... c Min unsat cost LB: 8160997 ... c Min unsat cost LB: 8161626 ... c Min unsat cost LB: 8161669 ... c Min unsat cost LB: 8162646 ... c Min unsat cost LB: 8163195 ... c Min unsat cost LB: 8164693 ... c Min unsat cost LB: 8164705 ... c Min unsat cost LB: 8164815 ... c Min unsat cost LB: 8164953 ... c Min unsat cost LB: 8165060 ... c Min unsat cost LB: 8165657 ... c Min unsat cost LB: 8165889 ... c Min unsat cost LB: 8166501 ... c Min unsat cost LB: 8166644 ... c Min unsat cost LB: 8166904 ... c Min unsat cost LB: 8167046 ... c Min unsat cost LB: 8167980 ... c Min unsat cost LB: 8168093 ... c Min unsat cost LB: 8168151 ... c Min unsat cost LB: 8168200 ... c Min unsat cost LB: 8169042 ... c Min unsat cost LB: 8169888 ... c Min unsat cost LB: 8170016 ... c Min unsat cost LB: 8170113 ... c Min unsat cost LB: 8170166 ... c Min unsat cost LB: 8170178 ... c Min unsat cost LB: 8170326 ... c Min unsat cost LB: 8170335 ... c Min unsat cost LB: 8170794 ... c Min unsat cost LB: 8171572 ... c Min unsat cost LB: 8172312 ... c Min unsat cost LB: 8172345 ... c Min unsat cost LB: 8172519 ... c Min unsat cost LB: 8173109 ... c Min unsat cost LB: 8173509 ... c Min unsat cost LB: 8173600 ... c Min unsat cost LB: 8174315 ... c Min unsat cost LB: 8174391 ... c Min unsat cost LB: 8174923 ... c Min unsat cost LB: 8174950 ... c Min unsat cost LB: 8175268 ... c Min unsat cost LB: 8175389 ... c Min unsat cost LB: 8175521 ... c Min unsat cost LB: 8175523 ... c Min unsat cost LB: 8175649 ... c Min unsat cost LB: 8176264 ... c Min unsat cost LB: 8176334 ... c Min unsat cost LB: 8176343 ... c Min unsat cost LB: 8176883 ... c Min unsat cost LB: 8177311 ... c Min unsat cost LB: 8177393 ... c Min unsat cost LB: 8177418 ... c Min unsat cost LB: 8177472 ... c Min unsat cost LB: 8177675 ... c Min unsat cost LB: 8177989 ... c Min unsat cost LB: 8178024 ... c Min unsat cost LB: 8178095 ... c Min unsat cost LB: 8178122 ... c Min unsat cost LB: 8178131 ... c Min unsat cost LB: 8178183 ... c Min unsat cost LB: 8178284 ... c Min unsat cost LB: 8178504 ... c Min unsat cost LB: 8178722 ... c Min unsat cost LB: 8178734 ... c Min unsat cost LB: 8178771 ... c Min unsat cost LB: 8178852 ... c Min unsat cost LB: 8178905 ... c Min unsat cost LB: 8180458 ... c Min unsat cost LB: 8180519 ... c Min unsat cost LB: 8181048 ... c Min unsat cost LB: 8181132 ... c Min unsat cost LB: 8181281 ... c Min unsat cost LB: 8181700 ... c Min unsat cost LB: 8182184 ... c Min unsat cost LB: 8182439 ... c Min unsat cost LB: 8182538 ... c Min unsat cost LB: 8182636 ... c Min unsat cost LB: 8182643 ... c Min unsat cost LB: 8182664 ... c Min unsat cost LB: 8182699 ... c Min unsat cost LB: 8182756 ... c Min unsat cost LB: 8182809 ... c Min unsat cost LB: 8183061 ... c Min unsat cost LB: 8183318 ... c Min unsat cost LB: 8183395 ... c Min unsat cost LB: 8183435 ... c Min unsat cost LB: 8183445 ... c Min unsat cost LB: 8183555 ... c Min unsat cost LB: 8183770 ... c Min unsat cost LB: 8183807 ... c Min unsat cost LB: 8183810 ... c Min unsat cost LB: 8184201 ... c Min unsat cost LB: 8184448 ... c Min unsat cost LB: 8184775 ... c Min unsat cost LB: 8184833 ... c Min unsat cost LB: 8185006 ... c Min unsat cost LB: 8185117 ... c Min unsat cost LB: 8185125 ... c Min unsat cost LB: 8185260 ... c Min unsat cost LB: 8185366 ... c Min unsat cost LB: 8185414 ... c Min unsat cost LB: 8185448 ... c Min unsat cost LB: 8185717 ... c Min unsat cost LB: 8185940 ... c Min unsat cost LB: 8187438 ... c Min unsat cost LB: 8187517 ... c Min unsat cost LB: 8187558 ... c Min unsat cost LB: 8188002 ... c Min unsat cost LB: 8188161 ... c Min unsat cost LB: 8188267 ... c Min unsat cost LB: 8188358 ... c Min unsat cost LB: 8188492 ... c Min unsat cost LB: 8188661 ... c Min unsat cost LB: 8188787 ... c Min unsat cost LB: 8188795 ... c Min unsat cost LB: 8188970 ... c Min unsat cost LB: 8189482 ... c Min unsat cost LB: 8189819 ... c Min unsat cost LB: 8189872 ... c Min unsat cost LB: 8190852 ... c Min unsat cost LB: 8190929 ... c Min unsat cost LB: 8190959 ... c Min unsat cost LB: 8191270 ... c Min unsat cost LB: 8191327 ... c Min unsat cost LB: 8191363 ... c Min unsat cost LB: 8191397 ... c Min unsat cost LB: 8191591 ... c Min unsat cost LB: 8191698 ... c Min unsat cost LB: 8191789 ... c Min unsat cost LB: 8191871 ... c Min unsat cost LB: 8192061 ... c Min unsat cost LB: 8192088 ... c Min unsat cost LB: 8192115 ... c Min unsat cost LB: 8192141 ... c Min unsat cost LB: 8192167 ... c Min unsat cost LB: 8192174 ... c Min unsat cost LB: 8192204 ... c Min unsat cost LB: 8192257 ... c Min unsat cost LB: 8192259 ... c Min unsat cost LB: 8192271 ... c Min unsat cost LB: 8192320 ... c Min unsat cost LB: 8192404 ... c Min unsat cost LB: 8192419 ... c Min unsat cost LB: 8192531 ... c Min unsat cost LB: 8192811 ... c Min unsat cost LB: 8192816 ... c Min unsat cost LB: 8192846 ... c Min unsat cost LB: 8193324 ... c Min unsat cost LB: 8193378 ... c Min unsat cost LB: 8193403 ... c Min unsat cost LB: 8193429 ... c Min unsat cost LB: 8193436 ... c Min unsat cost LB: 8193445 ... c Min unsat cost LB: 8193564 ... c Min unsat cost LB: 8193586 ... c Min unsat cost LB: 8193676 ... c Min unsat cost LB: 8193789 ... c Min unsat cost LB: 8193859 ... c Min unsat cost LB: 8193869 ... c Min unsat cost LB: 8193871 ... c Min unsat cost LB: 8193901 ... c Min unsat cost LB: 8193929 ... c Min unsat cost LB: 8193947 ... c Min unsat cost LB: 8193994 ... c Min unsat cost LB: 8194005 ... c Min unsat cost LB: 8194064 ... c Min unsat cost LB: 8194080 ... c Min unsat cost LB: 8194140 ... c Min unsat cost LB: 8194146 ... c Min unsat cost LB: 8194155 ... c Min unsat cost LB: 8194156 ... c Min unsat cost LB: 8194165 ... c Min unsat cost LB: 8194173 ... c Min unsat cost LB: 8194203 ... c Min unsat cost LB: 8194281 ... c Min unsat cost LB: 8194303 ... c Min unsat cost LB: 8194304 ... c Min unsat cost LB: 8194312 ... c Min unsat cost LB: 8194318 ... c Min unsat cost LB: 8194324 ... c Min unsat cost LB: 8194330 ... c Min unsat cost LB: 8194334 ... c Min unsat cost LB: 8194339 ... c Min unsat cost LB: 8194340 ... c Min unsat cost LB: 8194341 ... c Min unsat cost LB: 8194342 ... c Min unsat cost LB: 8194343 ... c Min unsat cost LB: 8194349 ... c Min unsat cost LB: 8194357 ... c Min unsat cost LB: 8194415 ... c Min unsat cost LB: 8194446 ... c Min unsat cost LB: 8194454 ... c Min unsat cost LB: 8194465 ... c Min unsat cost LB: 8194468 ... c Min unsat cost LB: 8194474 ... c Min unsat cost LB: 8194487 ... c Min unsat cost LB: 8194489 ... c Min unsat cost LB: 8194491 ... c Min unsat cost LB: 8194492 ... c Min unsat cost LB: 8194533 ... c Min unsat cost LB: 8194559 ... c Min unsat cost LB: 8194585 ... c Min unsat cost LB: 8194650 ... c Min unsat cost LB: 8194674 ... c Min unsat cost LB: 8194705 ... c Min unsat cost LB: 8194755 ... c Min unsat cost LB: 8194776 ... c Min unsat cost LB: 8194788 ... c Min unsat cost LB: 8194859 ... c Min unsat cost LB: 8195016 ... c Min unsat cost LB: 8195039 ... c Min unsat cost LB: 8195045 ... c Min unsat cost LB: 8195215 ... c Min unsat cost LB: 8195256 ... c Min unsat cost LB: 8195409 ... c Min unsat cost LB: 8195466 ... c Min unsat cost LB: 8195479 ... c Min unsat cost LB: 8195608 ... c Min unsat cost LB: 8195777 ... c Min unsat cost LB: 8195778 ... c Min unsat cost LB: 8195780 ... c Min unsat cost LB: 8195786 ... c Min unsat cost LB: 8195787 ... c Min unsat cost LB: 8195805 ... c Min unsat cost LB: 8195821 ... c Min unsat cost LB: 8196054 ... c Min unsat cost LB: 8196094 ... c Min unsat cost LB: 8196136 ... c Min unsat cost LB: 8196389 ... c Min unsat cost LB: 8196416 ... c Min unsat cost LB: 8196422 ... c Min unsat cost LB: 8196453 ... c Min unsat cost LB: 8196459 ... c Min unsat cost LB: 8196469 ... c Min unsat cost LB: 8196476 ... c Min unsat cost LB: 8196488 ... c Min unsat cost LB: 8196494 ... c Min unsat cost LB: 8196495 ... c Min unsat cost LB: 8196500 ... c Min unsat cost LB: 8196501 ... c Min unsat cost LB: 8196502 ... c Min unsat cost LB: 8196503 ... c Min unsat cost LB: 8196504 ... c Min unsat cost LB: 8196509 ... c Min unsat cost LB: 8196510 ... c Min unsat cost LB: 8196522 ... c Min unsat cost LB: 8196530 ... c Min unsat cost LB: 8196569 ... c Min unsat cost LB: 8196571 ... c Min unsat cost LB: 8196589 ... c Min unsat cost LB: 8196595 ... c Min unsat cost LB: 8196602 ... c Min unsat cost LB: 8196619 ... c Min unsat cost LB: 8196759 ... c Min unsat cost LB: 8196790 ... c Min unsat cost LB: 8196812 ... c Min unsat cost LB: 8196818 ... c Min unsat cost LB: 8196858 ... c Min unsat cost LB: 8196864 ... c Min unsat cost LB: 8196867 ... c Min unsat cost LB: 8196880 ... c Min unsat cost LB: 8196886 ... c Min unsat cost LB: 8196923 ... c Min unsat cost LB: 8196929 ... c Min unsat cost LB: 8196976 ... c Min unsat cost LB: 8197020 ... c Min unsat cost LB: 8197036 ... c Min unsat cost LB: 8197043 ... c Min unsat cost LB: 8197058 ... c Min unsat cost LB: 8197063 ... c Min unsat cost LB: 8197068 ... c Min unsat cost LB: 8197085 ... c Min unsat cost LB: 8197100 ... c Min unsat cost LB: 8197122 ... c Min unsat cost LB: 8197131 ... c Min unsat cost LB: 8197143 ... c Min unsat cost LB: 8197225 ... c Min unsat cost LB: 8197232 ... c Min unsat cost LB: 8197236 ... c Min unsat cost LB: 8197297 ... c Min unsat cost LB: 8197326 ... c Min unsat cost LB: 8197358 ... c Min unsat cost LB: 8197449 ... c Min unsat cost LB: 8197475 ... c Min unsat cost LB: 8197482 ... c Min unsat cost LB: 8197492 ... c Min unsat cost LB: 8197495 ... c Min unsat cost LB: 8197496 ... c Min unsat cost LB: 8197503 ... c Min unsat cost LB: 8197509 ... c Min unsat cost LB: 8197602 ... c Min unsat cost LB: 8197655 ... c Min unsat cost LB: 8197682 ... c Min unsat cost LB: 8197709 ... c Min unsat cost LB: 8197712 ... c Min unsat cost LB: 8197739 ... c Min unsat cost LB: 8197780 ... c Min unsat cost LB: 8197788 ... c Min unsat cost LB: 8197800 ... c Min unsat cost LB: 8197807 ... c Min unsat cost LB: 8197811 ... c Min unsat cost LB: 8197856 ... c Min unsat cost LB: 8197879 ... c Min unsat cost LB: 8198003 ... c Min unsat cost LB: 8198062 ... c Min unsat cost LB: 8198068 ... c Min unsat cost LB: 8198088 ... c Min unsat cost LB: 8198090 ... c Min unsat cost LB: 8198125 ... c Min unsat cost LB: 8198139 ... c Min unsat cost LB: 8198160 ... c Min unsat cost LB: 8198180 ... c Min unsat cost LB: 8198238 ... c Min unsat cost LB: 8198270 ... c Min unsat cost LB: 8198317 ... c Min unsat cost LB: 8198345 ... c Min unsat cost LB: 8198354 ... c Min unsat cost LB: 8198383 ... c Min unsat cost LB: 8198411 ... c Min unsat cost LB: 8198440 ... c Min unsat cost LB: 8198447 ... c Min unsat cost LB: 8198448 ... c Min unsat cost LB: 8198472 ... c Min unsat cost LB: 8198473 ... c Min unsat cost LB: 8198488 ... c Min unsat cost LB: 8198540 ... c Min unsat cost LB: 8198548 ... c Min unsat cost LB: 8198554 ... c Min unsat cost LB: 8198574 ... c Min unsat cost LB: 8198577 ... c Min unsat cost LB: 8198582 ... c Min unsat cost LB: 8198585 ... c Min unsat cost LB: 8198609 ... c Min unsat cost LB: 8198650 ... c Min unsat cost LB: 8198673 ... c Min unsat cost LB: 8198678 ... c Min unsat cost LB: 8198684 ... c Min unsat cost LB: 8198738 ... c Min unsat cost LB: 8198745 ... c Min unsat cost LB: 8198775 ... c Min unsat cost LB: 8198847 ... c Min unsat cost LB: 8198848 ... c Min unsat cost LB: 8198863 ... c Min unsat cost LB: 8198893 ... c Min unsat cost LB: 8198901 ... c Min unsat cost LB: 8198983 ... c Min unsat cost LB: 8198991 ... c Min unsat cost LB: 8199014 ... c Min unsat cost LB: 8199091 ... c Min unsat cost LB: 8199125 ... c Min unsat cost LB: 8199132 ... c Min unsat cost LB: 8199148 ... c Min unsat cost LB: 8199173 ... c Min unsat cost LB: 8199175 ... c Min unsat cost LB: 8199189 ... c Min unsat cost LB: 8199198 ... c Min unsat cost LB: 8199248 ... c Min unsat cost LB: 8199257 ... c Min unsat cost LB: 8199301 ... c Min unsat cost LB: 8199347 ... c Min unsat cost LB: 8199399 ... c Min unsat cost LB: 8199410 ... c Min unsat cost LB: 8199459 ... c Min unsat cost LB: 8199460 ... c Min unsat cost LB: 8199463 ... c Min unsat cost LB: 8199512 ... c Min unsat cost LB: 8199539 ... c Min unsat cost LB: 8199576 ... c Min unsat cost LB: 8199582 ... c Min unsat cost LB: 8199585 ... c Min unsat cost LB: 8199592 ... c Min unsat cost LB: 8199594 ... c Min unsat cost LB: 8199635 ... c Min unsat cost LB: 8199654 ... c Min unsat cost LB: 8199711 ... c Min unsat cost LB: 8199712 ... c Min unsat cost LB: 8199730 ... c Min unsat cost LB: 8199734 ... c Min unsat cost LB: 8199745 ... c Min unsat cost LB: 8199752 ... c Min unsat cost LB: 8199761 ... c Min unsat cost LB: 8199766 ... c Min unsat cost LB: 8199768 ... c Min unsat cost LB: 8199772 ... c Min unsat cost LB: 8199775 ... c Min unsat cost LB: 8199779 ... c Min unsat cost LB: 8199780 ... c Min unsat cost LB: 8199782 ... c Min unsat cost LB: 8199784 ... c Min unsat cost LB: 8199785 ... c Min unsat cost LB: 8199786 ... c Min unsat cost LB: 8199790 ... c Min unsat cost LB: 8199796 ... c Min unsat cost LB: 8199797 ... c Min unsat cost LB: 8199847 ... c Min unsat cost LB: 8199860 ... c Min unsat cost LB: 8199898 ... c Min unsat cost LB: 8199919 ... c Min unsat cost LB: 8199999 ... c Min unsat cost LB: 8200000 ... c Min unsat cost LB: 8200004 ... c Min unsat cost LB: 8200017 ... c Min unsat cost LB: 8200035 ... c Min unsat cost LB: 8200055 ... c Min unsat cost LB: 8200097 ... c Min unsat cost LB: 8200184 ... c Min unsat cost LB: 8200210 ... c Min unsat cost LB: 8200223 ... c Min unsat cost LB: 8200283 ... c Min unsat cost LB: 8200284 ... c Min unsat cost LB: 8200340 ... c Min unsat cost LB: 8200463 ... c Min unsat cost LB: 8200489 ... c Min unsat cost LB: 8200505 ... c Min unsat cost LB: 8200507 ... c Min unsat cost LB: 8200538 ... c Min unsat cost LB: 8200641 ... c Min unsat cost LB: 8200646 ... c Min unsat cost LB: 8200651 ... c Min unsat cost LB: 8200692 ... c Min unsat cost LB: 8200745 ... c Min unsat cost LB: 8200829 ... c Min unsat cost LB: 8200866 ... c Min unsat cost LB: 8200903 ... c Min unsat cost LB: 8200909 ... c Min unsat cost LB: 8200910 ... c Min unsat cost LB: 8200915 ... c Min unsat cost LB: 8200937 ... c Min unsat cost LB: 8200949 ... c Min unsat cost LB: 8200951 ... c Min unsat cost LB: 8200968 ... c Min unsat cost LB: 8200976 ... c Min unsat cost LB: 8201010 ... c Min unsat cost LB: 8201062 ... c Min unsat cost LB: 8201107 ... c Min unsat cost LB: 8201160 ... c Min unsat cost LB: 8201201 ... c Min unsat cost LB: 8201292 ... c Min unsat cost LB: 8201460 ... c Min unsat cost LB: 8201607 ... c Min unsat cost LB: 8201633 ... c Min unsat cost LB: 8201682 ... c Min unsat cost LB: 8202181 ... c Min unsat cost LB: 8202239 ... c Min unsat cost LB: 8202273 ... c Min unsat cost LB: 8202280 ... c Min unsat cost LB: 8202321 ... c Min unsat cost LB: 8202513 ... c Min unsat cost LB: 8202672 ... c Min unsat cost LB: 8202706 ... c Min unsat cost LB: 8202710 ... c Min unsat cost LB: 8202712 ... c Min unsat cost LB: 8202818 ... c Min unsat cost LB: 8202837 ... c Min unsat cost LB: 8202859 ... c Min unsat cost LB: 8202861 ... c Min unsat cost LB: 8202938 ... c Min unsat cost LB: 8202945 ... c Min unsat cost LB: 8202958 ... c Min unsat cost LB: 8202970 ... c Min unsat cost LB: 8202978 ... c Min unsat cost LB: 8202982 ... c Min unsat cost LB: 8202985 ... c Min unsat cost LB: 8202986 ... c Min unsat cost LB: 8203027 ... c Min unsat cost LB: 8203050 ... c Min unsat cost LB: 8203058 ... c Min unsat cost LB: 8203065 ... c Min unsat cost LB: 8203119 ... c Min unsat cost LB: 8203138 ... c Min unsat cost LB: 8203181 ... c Min unsat cost LB: 8203223 ... c Min unsat cost LB: 8203229 ... c Min unsat cost LB: 8203250 ... c Min unsat cost LB: 8203256 ... c Min unsat cost LB: 8203322 ... c Min unsat cost LB: 8203325 ... c Min unsat cost LB: 8203378 ... c Min unsat cost LB: 8203405 ... c Min unsat cost LB: 8203432 ... c Min unsat cost LB: 8203435 ... c Min unsat cost LB: 8203470 ... c Min unsat cost LB: 8203484 ... c Min unsat cost LB: 8203505 ... c Min unsat cost LB: 8203525 ... c Min unsat cost LB: 8203584 ... c Min unsat cost LB: 8203586 ... c Min unsat cost LB: 8203677 ... c Min unsat cost LB: 8203735 ... c Min unsat cost LB: 8203766 ... c Min unsat cost LB: 8204253 ... c Min unsat cost LB: 8204418 ... c Min unsat cost LB: 8204504 ... c Min unsat cost LB: 8204625 ... c Min unsat cost LB: 8204791 ... c Min unsat cost LB: 8205009 ... c Min unsat cost LB: 8205369 ... c Min unsat cost LB: 8205371 ... c Min unsat cost LB: 8205442 ... c Min unsat cost LB: 8205628 ... c Min unsat cost LB: 8205737 ... c Min unsat cost LB: 8205852 ... c Min unsat cost LB: 8206716 ... c Min unsat cost LB: 8206757 ... c Min unsat cost LB: 8206766 ... c Min unsat cost LB: 8206769 ... c Min unsat cost LB: 8206783 ... c Min unsat cost LB: 8206790 ... c Min unsat cost LB: 8206806 ... c Min unsat cost LB: 8206818 ... c Min unsat cost LB: 8206836 ... c Min unsat cost LB: 8206848 ... c Min unsat cost LB: 8206853 ... c Min unsat cost LB: 8206859 ... c Min unsat cost LB: 8206866 ... c Min unsat cost LB: 8206867 ... c Min unsat cost LB: 8206886 ... c Min unsat cost LB: 8206913 ... c Min unsat cost LB: 8206948 ... c Min unsat cost LB: 8206964 ... c Min unsat cost LB: 8206967 ... c Min unsat cost LB: 8206981 ... c Min unsat cost LB: 8206994 ... c Min unsat cost LB: 8207002 ... c Min unsat cost LB: 8207013 ... c Min unsat cost LB: 8207014 ... c Min unsat cost LB: 8207060 ... c Min unsat cost LB: 8207100 ... c Min unsat cost LB: 8207114 ... c Min unsat cost LB: 8207198 ... c Min unsat cost LB: 8207678 ... c Min unsat cost LB: 8207709 ... c Min unsat cost LB: 8207759 ... c Min unsat cost LB: 8207782 ... c Min unsat cost LB: 8207791 ... c Min unsat cost LB: 8207973 ... c Min unsat cost LB: 8208034 ... c Min unsat cost LB: 8208130 ... c Min unsat cost LB: 8208188 ... c Min unsat cost LB: 8208292 ... c Min unsat cost LB: 8208325 ... c Min unsat cost LB: 8208341 ... c Min unsat cost LB: 8208385 ... c Min unsat cost LB: 8208419 ... c Min unsat cost LB: 8208445 ... c Min unsat cost LB: 8208472 ... c Min unsat cost LB: 8208593 ... c Min unsat cost LB: 8208600 ... c Min unsat cost LB: 8208674 ... c Min unsat cost LB: 8208686 ... c Min unsat cost LB: 8208703 ... c Min unsat cost LB: 8208709 ... c Min unsat cost LB: 8208710 ... c Min unsat cost LB: 8208717 ... c Min unsat cost LB: 8208720 ... c Min unsat cost LB: 8208726 ... c Min unsat cost LB: 8208731 ... c Min unsat cost LB: 8208738 ... c Min unsat cost LB: 8208760 ... c Min unsat cost LB: 8208772 ... c Min unsat cost LB: 8208814 ... c Min unsat cost LB: 8208821 ... c Min unsat cost LB: 8208838 ... c Min unsat cost LB: 8208867 ... c Min unsat cost LB: 8208945 ... c Min unsat cost LB: 8208975 ... c Min unsat cost LB: 8208987 ... c Min unsat cost LB: 8208994 ... c Min unsat cost LB: 8208995 ... c Min unsat cost LB: 8208996 ... c Min unsat cost LB: 8209002 ... c Min unsat cost LB: 8209018 ... c Min unsat cost LB: 8209024 ... c Min unsat cost LB: 8209036 ... c Min unsat cost LB: 8209060 ... c Min unsat cost LB: 8209066 ... c Min unsat cost LB: 8209073 ... c Min unsat cost LB: 8209079 ... c Min unsat cost LB: 8209087 ... c Min unsat cost LB: 8209093 ... c Min unsat cost LB: 8209101 ... c Min unsat cost LB: 8209122 ... c Min unsat cost LB: 8209134 ... c Min unsat cost LB: 8209135 ... c Min unsat cost LB: 8209162 ... c Min unsat cost LB: 8209168 ... c Min unsat cost LB: 8209171 ... c Min unsat cost LB: 8209177 ... c Min unsat cost LB: 8209189 ... c Min unsat cost LB: 8209198 ... c Min unsat cost LB: 8209212 ... c Min unsat cost LB: 8209219 ... c Min unsat cost LB: 8209223 ... c Min unsat cost LB: 8209224 ... c Min unsat cost LB: 8209225 ... c Min unsat cost LB: 8209228 ... c Min unsat cost LB: 8209250 ... c Min unsat cost LB: 8209254 ... c Min unsat cost LB: 8209265 ... c Min unsat cost LB: 8209274 ... c Min unsat cost LB: 8209305 ... c Min unsat cost LB: 8209310 ... c Min unsat cost LB: 8209312 ... c Min unsat cost LB: 8209315 ... c Min unsat cost LB: 8209316 ... c Min unsat cost LB: 8209344 ... c Min unsat cost LB: 8209374 ... c Min unsat cost LB: 8209382 ... c Min unsat cost LB: 8209395 ... c Min unsat cost LB: 8209401 ... c Min unsat cost LB: 8209512 ... c Min unsat cost LB: 8209596 ... c Min unsat cost LB: 8209605 ... c Min unsat cost LB: 8209612 ... c Min unsat cost LB: 8209618 ... c Min unsat cost LB: 8209624 ... c Min unsat cost LB: 8209638 ... c Min unsat cost LB: 8209644 ... c Min unsat cost LB: 8209648 ... c Min unsat cost LB: 8209653 ... c Min unsat cost LB: 8209659 ... c Min unsat cost LB: 8209666 ... c Min unsat cost LB: 8209667 ... c Min unsat cost LB: 8209672 ... c Min unsat cost LB: 8209701 ... c Min unsat cost LB: 8209704 ... c Min unsat cost LB: 8209731 ... c Min unsat cost LB: 8209766 ... c Min unsat cost LB: 8209791 ... c Min unsat cost LB: 8209795 ... c Min unsat cost LB: 8209796 ... c Min unsat cost LB: 8209807 ... c Min unsat cost LB: 8209810 ... c Min unsat cost LB: 8209812 ... c Min unsat cost LB: 8209821 ... c Min unsat cost LB: 8209827 ... c Min unsat cost LB: 8209835 ... c Min unsat cost LB: 8209838 ... c Min unsat cost LB: 8209839 ... c Min unsat cost LB: 8209840 ... c Min unsat cost LB: 8209842 ... c Min unsat cost LB: 8209843 ... c Min unsat cost LB: 8209844 ... c Min unsat cost LB: 8209845 ... c Min unsat cost LB: 8209849 ... c Min unsat cost LB: 8209860 ... c Min unsat cost LB: 8209877 ... c Min unsat cost LB: 8209879 ... c Min unsat cost LB: 8209881 ... c Min unsat cost LB: 8210015 ... c Min unsat cost LB: 8210050 ... c Min unsat cost LB: 8210174 ... c Min unsat cost LB: 8210262 ... c Min unsat cost LB: 8210349 ... c Min unsat cost LB: 8210355 ... c Min unsat cost LB: 8210361 ... c Min unsat cost LB: 8210366 ... c Min unsat cost LB: 8210381 ... c Min unsat cost LB: 8210392 ... c Min unsat cost LB: 8210403 ... c Min unsat cost LB: 8210412 ... c Min unsat cost LB: 8210413 ... c Min unsat cost LB: 8210414 ... c Min unsat cost LB: 8210434 ... c Min unsat cost LB: 8210454 ... c Min unsat cost LB: 8210459 ... c Min unsat cost LB: 8210460 ... c Min unsat cost LB: 8210464 ... c Min unsat cost LB: 8210476 ... c Min unsat cost LB: 8210477 ... c Min unsat cost LB: 8210482 ... c Min unsat cost LB: 8210526 ... c Min unsat cost LB: 8210527 ... c Min unsat cost LB: 8210568 ... c Min unsat cost LB: 8210577 ... c Min unsat cost LB: 8210593 ... c Min unsat cost LB: 8210596 ... c Min unsat cost LB: 8210600 ... c Min unsat cost LB: 8210613 ... c Min unsat cost LB: 8210615 ... c Min unsat cost LB: 8210624 ... c Min unsat cost LB: 8210642 ... c Min unsat cost LB: 8210674 ... c Min unsat cost LB: 8210686 ... c Min unsat cost LB: 8210690 ... c Min unsat cost LB: 8210695 ... c Min unsat cost LB: 8210713 ... c Min unsat cost LB: 8210722 ... c Min unsat cost LB: 8210729 ... c Min unsat cost LB: 8210736 ... c Min unsat cost LB: 8210761 ... c Min unsat cost LB: 8210787 ... c Min unsat cost LB: 8210788 ... c Min unsat cost LB: 8210791 ... c Min unsat cost LB: 8210792 ... c Min Killed 1763.815u 55.950s 30:22.85 99.8% 0+0k 0+0io 0pf+0w