Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_160_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0006.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0006.txt.wcnf *** c c Min unsat cost LB: 803 ... c Min unsat cost LB: 1431 ... c Min unsat cost LB: 1971 ... c Min unsat cost LB: 2647 ... c Min unsat cost LB: 3318 ... c Min unsat cost LB: 4322 ... c Min unsat cost LB: 5171 ... c Min unsat cost LB: 5765 ... c Min unsat cost LB: 6000 ... c Min unsat cost LB: 6701 ... c Min unsat cost LB: 6772 ... c Min unsat cost LB: 7400 ... c Min unsat cost LB: 7621 ... c Min unsat cost LB: 8091 ... c Min unsat cost LB: 8244 ... c Min unsat cost LB: 8872 ... c Min unsat cost LB: 9498 ... c Min unsat cost LB: 9790 ... c Min unsat cost LB: 10086 ... c Min unsat cost LB: 10680 ... c Min unsat cost LB: 11509 ... c Min unsat cost LB: 11845 ... c Min unsat cost LB: 11894 ... c Min unsat cost LB: 12253 ... c Min unsat cost LB: 12640 ... c Min unsat cost LB: 13223 ... c Min unsat cost LB: 13860 ... c Min unsat cost LB: 14236 ... c Min unsat cost LB: 14937 ... c Min unsat cost LB: 15229 ... c Min unsat cost LB: 16001 ... c Min unsat cost LB: 16035 ... c Min unsat cost LB: 16807 ... c Min unsat cost LB: 17061 ... c Min unsat cost LB: 17095 ... c Min unsat cost LB: 17166 ... c Min unsat cost LB: 18139 ... c Min unsat cost LB: 18736 ... c Min unsat cost LB: 19404 ... c Min unsat cost LB: 20020 ... c Min unsat cost LB: 20794 ... c Min unsat cost LB: 20993 ... c Min unsat cost LB: 21247 ... c Min unsat cost LB: 21351 ... c Min unsat cost LB: 21652 ... c Min unsat cost LB: 21769 ... c Min unsat cost LB: 21814 ... c Min unsat cost LB: 22035 ... c Min unsat cost LB: 22267 ... c Min unsat cost LB: 22654 ... c Min unsat cost LB: 22775 ... c Min unsat cost LB: 22968 ... c Min unsat cost LB: 23639 ... c Min unsat cost LB: 24240 ... c Min unsat cost LB: 24941 ... c Min unsat cost LB: 25208 ... c Min unsat cost LB: 25411 ... c Min unsat cost LB: 26129 ... c Min unsat cost LB: 26338 ... c Min unsat cost LB: 26710 ... c Min unsat cost LB: 27254 ... c Min unsat cost LB: 27313 ... c Min unsat cost LB: 27974 ... c Min unsat cost LB: 28175 ... c Min unsat cost LB: 28915 ... c Min unsat cost LB: 29091 ... c Min unsat cost LB: 29328 ... c Min unsat cost LB: 29399 ... c Min unsat cost LB: 29860 ... c Min unsat cost LB: 30528 ... c Min unsat cost LB: 31022 ... c Min unsat cost LB: 31647 ... c Min unsat cost LB: 31872 ... c Min unsat cost LB: 32150 ... c Min unsat cost LB: 32403 ... c Min unsat cost LB: 32534 ... c Min unsat cost LB: 33251 ... c Min unsat cost LB: 33918 ... c Min unsat cost LB: 34816 ... c Min unsat cost LB: 35043 ... c Min unsat cost LB: 35309 ... c Min unsat cost LB: 35377 ... c Min unsat cost LB: 35679 ... c Min unsat cost LB: 35981 ... c Min unsat cost LB: 36094 ... c Min unsat cost LB: 36802 ... c Min unsat cost LB: 37126 ... c Min unsat cost LB: 37746 ... c Min unsat cost LB: 37954 ... c Min unsat cost LB: 38536 ... c Min unsat cost LB: 38783 ... c Min unsat cost LB: 39582 ... c Min unsat cost LB: 40103 ... c Min unsat cost LB: 40259 ... c Min unsat cost LB: 40287 ... c Min unsat cost LB: 40302 ... c Min unsat cost LB: 40761 ... c Min unsat cost LB: 41395 ... c Min unsat cost LB: 41782 ... c Min unsat cost LB: 41791 ... c Min unsat cost LB: 42541 ... c Min unsat cost LB: 42691 ... c Min unsat cost LB: 42976 ... c Min unsat cost LB: 43088 ... c Min unsat cost LB: 43556 ... c Min unsat cost LB: 44083 ... c Min unsat cost LB: 44248 ... c Min unsat cost LB: 44868 ... c Min unsat cost LB: 45365 ... c Min unsat cost LB: 45534 ... c Min unsat cost LB: 45611 ... c Min unsat cost LB: 45986 ... c Min unsat cost LB: 46166 ... c Min unsat cost LB: 46506 ... c Min unsat cost LB: 47280 ... c Min unsat cost LB: 47628 ... c Min unsat cost LB: 47772 ... c Min unsat cost LB: 48098 ... c Min unsat cost LB: 48793 ... c Min unsat cost LB: 49333 ... c Min unsat cost LB: 49370 ... c Min unsat cost LB: 49625 ... c Min unsat cost LB: 50302 ... c Min unsat cost LB: 50326 ... c Min unsat cost LB: 50680 ... c Min unsat cost LB: 50757 ... c Min unsat cost LB: 50834 ... c Min unsat cost LB: 50849 ... c Min unsat cost LB: 50901 ... c Min unsat cost LB: 51050 ... c Min unsat cost LB: 51175 ... c Min unsat cost LB: 51328 ... c Min unsat cost LB: 51522 ... c Min unsat cost LB: 51807 ... c Min unsat cost LB: 51826 ... c Min unsat cost LB: 51828 ... c Min unsat cost LB: 52009 ... c Min unsat cost LB: 52094 ... c Min unsat cost LB: 52386 ... c Min unsat cost LB: 52437 ... c Min unsat cost LB: 52456 ... c Min unsat cost LB: 53259 ... c Min unsat cost LB: 53325 ... c Min unsat cost LB: 53562 ... c Min unsat cost LB: 53787 ... c Min unsat cost LB: 54313 ... c Min unsat cost LB: 54386 ... c Min unsat cost LB: 54642 ... c Min unsat cost LB: 55052 ... c Min unsat cost LB: 55739 ... c Min unsat cost LB: 56240 ... c Min unsat cost LB: 56311 ... c Min unsat cost LB: 56382 ... c Min unsat cost LB: 56503 ... c Min unsat cost LB: 56863 ... c Min unsat cost LB: 56882 ... c Min unsat cost LB: 57107 ... c Min unsat cost LB: 57343 ... c Min unsat cost LB: 57394 ... c Min unsat cost LB: 57429 ... c Min unsat cost LB: 57485 ... c Min unsat cost LB: 57523 ... c Min unsat cost LB: 57542 ... c Min unsat cost LB: 57823 ... c Min unsat cost LB: 57894 ... c Min unsat cost LB: 58119 ... c Min unsat cost LB: 58153 ... c Min unsat cost LB: 58219 ... c Min unsat cost LB: 58334 ... c Min unsat cost LB: 58405 ... c Min unsat cost LB: 58551 ... c Min unsat cost LB: 58590 ... c Min unsat cost LB: 58603 ... c Min unsat cost LB: 58905 ... c Min unsat cost LB: 59086 ... c Min unsat cost LB: 59145 ... c Min unsat cost LB: 59157 ... c Min unsat cost LB: 59251 ... c Min unsat cost LB: 59540 ... c Min unsat cost LB: 59574 ... c Min unsat cost LB: 59709 ... c Min unsat cost LB: 59775 ... c Min unsat cost LB: 59864 ... c Min unsat cost LB: 60002 ... c Min unsat cost LB: 60140 ... c Min unsat cost LB: 60265 ... c Min unsat cost LB: 60326 ... c Min unsat cost LB: 60342 ... c Min unsat cost LB: 60442 ... c Min unsat cost LB: 60476 ... c Min unsat cost LB: 60500 ... c Min unsat cost LB: 60559 ... c Min unsat cost LB: 60604 ... c Min unsat cost LB: 60615 ... c Min unsat cost LB: 60665 ... c Min unsat cost LB: 60716 ... c Min unsat cost LB: 60717 ... c Min unsat cost LB: 60735 ... c Min unsat cost LB: 60759 ... c Min unsat cost LB: 60815 ... c Min unsat cost LB: 60834 ... c Min unsat cost LB: 60906 ... c Min unsat cost LB: 60933 ... c Min unsat cost LB: 61031 ... c Min unsat cost LB: 61040 ... c Min unsat cost LB: 61047 ... c Min unsat cost LB: 61085 ... c Min unsat cost LB: 61175 ... c Min unsat cost LB: 61301 ... c Min unsat cost LB: 61316 ... c Min unsat cost LB: 61524 ... c Min unsat cost LB: 61552 ... c Min unsat cost LB: 61559 ... c Min unsat cost LB: 61753 ... c Min unsat cost LB: 61836 ... c Min unsat cost LB: 62005 ... c Min unsat cost LB: 62166 ... c Min unsat cost LB: 62168 ... c Min unsat cost LB: 62185 ... c Min unsat cost LB: 62187 ... c Min unsat cost LB: 62188 ... c Min unsat cost LB: 62200 ... c Min unsat cost LB: 62248 ... c Min unsat cost LB: 62287 ... c Min unsat cost LB: 62316 ... c Min unsat cost LB: 62346 ... c Min unsat cost LB: 62397 ... c Min unsat cost LB: 62444 ... c Min unsat cost LB: 62448 ... c Min unsat cost LB: 62506 ... c Min unsat cost LB: 62541 ... c Min unsat cost LB: 62578 ... c Min unsat cost LB: 62622 ... c Min unsat cost LB: 62676 ... c Min unsat cost LB: 62719 ... c Min unsat cost LB: 62734 ... c Min unsat cost LB: 62835 ... c Min unsat cost LB: 62836 ... c Min unsat cost LB: 62849 ... c Min unsat cost LB: 62855 ... c Min unsat cost LB: 63190 ... c Min unsat cost LB: 63193 ... c Min unsat cost LB: 63236 ... c Min unsat cost LB: 63310 ... c Min unsat cost LB: 63389 ... c Min unsat cost LB: 63396 ... c Min unsat cost LB: 63410 ... c Min unsat cost LB: 63414 ... c Min unsat cost LB: 63517 ... c Min unsat cost LB: 63551 ... c Min unsat cost LB: 63566 ... c Min unsat cost LB: 63596 ... c Min unsat cost LB: 63622 ... c Min unsat cost LB: 63649 ... c Min unsat cost LB: 63686 ... c Min unsat cost LB: 63835 ... c Min unsat cost LB: 63960 ... c Min unsat cost LB: 64033 ... c Min unsat cost LB: 64104 ... c Min unsat cost LB: 64304 ... c Min unsat cost LB: 64420 ... c Min unsat cost LB: 64545 ... c Min unsat cost LB: 64558 ... c Min unsat cost LB: 64677 ... c Min unsat cost LB: 64738 ... c Min unsat cost LB: 64742 ... c Min unsat cost LB: 64745 ... c Min unsat cost LB: 64839 ... c Min unsat cost LB: 65016 ... c Min unsat cost LB: 65211 ... c Min unsat cost LB: 65271 ... c Min unsat cost LB: 65313 ... c Min unsat cost LB: 65578 ... c Min unsat cost LB: 65587 ... c Min unsat cost LB: 65649 ... c Min unsat cost LB: 65713 ... c Min unsat cost LB: 65717 ... c Min unsat cost LB: 65893 ... c Min unsat cost LB: 65945 ... c Min unsat cost LB: 65949 ... c Min unsat cost LB: 65956 ... c Min unsat cost LB: 66107 ... c Min unsat cost LB: 66141 ... c Min unsat cost LB: 66191 ... c Min unsat cost LB: 66250 ... c Min unsat cost LB: 66287 ... c Min unsat cost LB: 66385 ... c Min unsat cost LB: 66394 ... c Min unsat cost LB: 66515 ... c Min unsat cost LB: 66542 ... c Min unsat cost LB: 66563 ... c Min unsat cost LB: 66582 ... c Min unsat cost LB: 66601 ... c Min unsat cost LB: 66666 ... c Min unsat cost LB: 66678 ... c Min unsat cost LB: 66680 ... c Min unsat cost LB: 66751 ... c Min unsat cost LB: 66790 ... c Min unsat cost LB: 66857 ... c Min unsat cost LB: 66900 ... c Min unsat cost LB: 66905 ... c Min unsat cost LB: 66924 ... c Min unsat cost LB: 66932 ... c Min unsat cost LB: 67053 ... c Min unsat cost LB: 67073 ... c Min unsat cost LB: 67076 ... c Min unsat cost LB: 67111 ... c Min unsat cost LB: 67165 ... c Min unsat cost LB: 67191 ... c Min unsat cost LB: 67208 ... c Min unsat cost LB: 67276 ... c Min unsat cost LB: 67278 ... c Min unsat cost LB: 67279 ... c Min unsat cost LB: 67295 ... c Min unsat cost LB: 67304 ... c Min unsat cost LB: 67305 ... c Min unsat cost LB: 67339 ... c Min unsat cost LB: 67350 ... c Min unsat cost LB: 67364 ... c Min unsat cost LB: 67390 ... c Min unsat cost LB: 67394 ... c Min unsat cost LB: 67416 ... c Min unsat cost LB: 67442 ... c Min unsat cost LB: 67446 ... c Min unsat cost LB: 67447 ... c Min unsat cost LB: 67463 ... c Min unsat cost LB: 67469 ... c Min unsat cost LB: 67529 ... c Min unsat cost LB: 67545 ... c Min unsat cost LB: 67559 ... c Min unsat cost LB: 67560 ... c Min unsat cost LB: 67572 ... c Min unsat cost LB: 67575 ... c Min unsat cost LB: 67583 ... c Min unsat cost LB: 67584 ... c Min unsat cost LB: 67605 ... c Min unsat cost LB: 67607 ... c Min unsat cost LB: 67634 ... c Min unsat cost LB: 67658 ... c Min unsat cost LB: 67679 ... c Min unsat cost LB: 67681 ... c Min unsat cost LB: 67690 ... c Min unsat cost LB: 67724 ... c Min unsat cost LB: 67757 ... c Min unsat cost LB: 67759 ... c Min unsat cost LB: 67768 ... c Min unsat cost LB: 67777 ... c Min unsat cost LB: 67783 ... c Min unsat cost LB: 67796 ... c Min unsat cost LB: 67797 ... c Min unsat cost LB: 67840 ... c Min unsat cost LB: 67844 ... c Min unsat cost LB: 67858 ... c Min unsat cost LB: 67916 ... c Min unsat cost LB: 67919 ... c Min unsat cost LB: 67920 ... c Min unsat cost LB: 67923 ... c Min unsat cost LB: 67938 ... c Min unsat cost LB: 68007 ... c Min unsat cost LB: 68037 ... c Min unsat cost LB: 68038 ... c Min unsat cost LB: 68039 ... c Min unsat cost LB: 68055 ... c Min unsat cost LB: 68082 ... c Min unsat cost LB: 68101 ... c Min unsat cost LB: 68102 ... c Min unsat cost LB: 68107 ... c Min unsat cost LB: 68110 ... c Min unsat cost LB: 68112 ... c Min unsat cost LB: 68124 ... c Min unsat cost LB: 68129 ... c Min unsat cost LB: 68144 ... c Min unsat cost LB: 68146 ... c Min unsat cost LB: 68148 ... c Min unsat cost LB: 68151 ... c Min unsat cost LB: 68153 ... c Min unsat cost LB: 68160 ... c Min unsat cost LB: 68162 ... c Min unsat cost LB: 68164 ... c Min unsat cost LB: 68167 ... c Min unsat cost LB: 68169 ... c Min unsat cost LB: 68171 ... c Min unsat cost LB: 68176 ... c Min unsat cost LB: 68178 ... c Min unsat cost LB: 68179 ... c Min unsat cost LB: 68180 ... c Min unsat cost LB: 68186 ... c Min unsat cost LB: 68191 ... c Min unsat cost LB: 68192 ... c Min unsat cost LB: 68193 ... c Min unsat cost LB: 68200 ... c Min unsat cost LB: 68202 ... c Min unsat cost LB: 68203 ... c Min unsat cost LB: 68204 ... c Min unsat cost LB: 68208 ... c Min unsat cost LB: 68212 ... c Min unsat cost LB: 68219 ... c Min unsat cost LB: 68220 ... c Min unsat cost LB: 68221 ... c Min unsat cost LB: 68222 ... c Min unsat cost LB: 68223 ... c Min unsat cost LB: 68224 ... c Min unsat cost LB: 68225 ... c Min unsat cost LB: 68227 ... c Min unsat cost LB: 68228 ... c Min unsat cost LB: 68233 ... c Min unsat cost LB: 68237 ... c Min unsat cost LB: 68240 ... c Min unsat cost LB: 68241 ... c Min unsat cost LB: 68251 ... c Min unsat cost LB: 68260 ... c Min unsat cost LB: 68264 ... c Min unsat cost LB: 68265 ... c Min unsat cost LB: 68267 ... c Min unsat cost LB: 68311 ... c Min unsat cost LB: 68312 ... c Min unsat cost LB: 68315 ... c Min unsat cost LB: 68319 ... c Min unsat cost LB: 68322 ... c Min unsat cost LB: 68334 ... c Min unsat cost LB: 68343 ... c Min unsat cost LB: 68354 ... c Min unsat cost LB: 68355 ... c Min unsat cost LB: 68360 ... c Min unsat cost LB: 68365 ... c Min unsat cost LB: 68388 ... c Min unsat cost LB: 68389 ... c Min unsat cost LB: 68392 ... c Min unsat cost LB: 68396 ... c Min unsat cost LB: 68415 ... c Min unsat cost LB: 68418 ... c Min unsat cost LB: 68419 ... c Min unsat cost LB: 68421 ... c Min unsat cost LB: 68427 ... c Min unsat cost LB: 68436 ... c Min unsat cost LB: 68438 ... c Min unsat cost LB: 68457 ... c Min unsat cost LB: 68458 ... c Min unsat cost LB: 68459 ... c Min unsat cost LB: 68463 ... c Min unsat cost LB: 68464 ... c Min unsat cost LB: 68465 ... c Min unsat cost LB: 68468 ... c Min unsat cost LB: 68488 ... c Min unsat cost LB: 68489 ... c Min unsat cost LB: 68490 ... c Min unsat cost LB: 68496 ... c Min unsat cost LB: 68497 ... c Min unsat cost LB: 68498 ... c Min unsat cost LB: 68500 ... c Min unsat cost LB: 68501 ... c Min unsat cost LB: 68503 ... c Min unsat cost LB: 68506 ... c Min unsat cost LB: 68510 ... c Min unsat cost LB: 68511 ... c Min unsat cost LB: 68512 ... c Min unsat cost LB: 68515 ... c Min unsat cost LB: 68522 ... c Min unsat cost LB: 68523 ... c Min unsat cost LB: 68526 ... c Min unsat cost LB: 68532 ... c Min unsat cost LB: 68534 ... c Min unsat cost LB: 68540 ... c Min unsat cost LB: 68545 ... c Min unsat cost LB: 68546 ... c Min unsat cost LB: 68547 ... c Min unsat cost LB: 68551 ... c Min unsat cost LB: 68552 ... c Min unsat cost LB: 68553 ... c Min unsat cost LB: 68555 ... c Min unsat cost LB: 68556 ... c Min unsat cost LB: 68557 ... c Min unsat cost LB: 68559 ... c Min unsat cost LB: 68599 ... c Min unsat cost LB: 68601 ... c Min unsat cost LB: 68602 ... c Min unsat cost LB: 68603 ... c Min unsat cost LB: 68604 ... c Min unsat cost LB: 68605 ... c Min unsat cost LB: 68606 ... c Min unsat cost LB: 68609 ... c Min unsat cost LB: 68619 ... c Min unsat cost LB: 68645 ... c Min unsat cost LB: 68646 ... c Min unsat cost LB: 68647 ... c Min unsat cost LB: 68651 ... c Min unsat cost LB: 68657 ... c Min unsat cost LB: 68659 ... c Min unsat cost LB: 68660 ... c Min unsat cost LB: 68663 ... c Min unsat cost LB: 68672 ... c Min unsat cost LB: 68675 ... c Min unsat cost LB: 68676 ... c Min unsat cost LB: 68684 ... c Min unsat cost LB: 68687 ... c Min unsat cost LB: 68689 ... c Min unsat cost LB: 68700 ... c Min unsat cost LB: 68702 ... c Min unsat cost LB: 68708 ... c Min unsat cost LB: 68718 ... c Min unsat cost LB: 68721 ... c Min unsat cost LB: 68722 ... c Min unsat cost LB: 68723 ... c Min unsat cost LB: 68730 ... c Min unsat cost LB: 68731 ... c Min unsat cost LB: 68732 ... c Min unsat cost LB: 68733 ... c Min unsat cost LB: 68739 ... c Min unsat cost LB: 68740 ... c Min unsat cost LB: 68741 ... c Min unsat cost LB: 68742 ... c Min unsat cost LB: 68748 ... c Min unsat cost LB: 68799 ... c Min unsat cost LB: 68805 ... c Min unsat cost LB: 68810 ... c Min unsat cost LB: 68813 ... c Min unsat cost LB: 68814 ... c Min unsat cost LB: 68821 ... c Min unsat cost LB: 68826 ... c Min unsat cost LB: 68831 ... c Min unsat cost LB: 68834 ... c Min unsat cost LB: 68835 ... c Min unsat cost LB: 68836 ... c Min unsat cost LB: 68843 ... c Min unsat cost LB: 68847 ... c Min unsat cost LB: 68853 ... c Min unsat cost LB: 68979 ... c Min unsat cost LB: 68981 ... c Min unsat cost LB: 68985 ... c Min unsat cost LB: 68988 ... c Min unsat cost LB: 68992 ... c Min unsat cost LB: 68996 ... c Min unsat cost LB: 68999 ... c Min unsat cost LB: 69000 ... c Min unsat cost LB: 69001 ... c Min unsat cost LB: 69008 ... c Min unsat cost LB: 69010 ... c Min unsat cost LB: 69011 ... c Min unsat cost LB: 69012 ... c Min unsat cost LB: 69014 ... c Min unsat cost LB: 69017 ... c Min unsat cost LB: 69018 ... c Min unsat cost LB: 69019 ... c Min unsat cost LB: 69020 ... c Min unsat cost LB: 69022 ... c Min unsat cost LB: 69064 ... c Min unsat cost LB: 69065 ... c Min unsat cost LB: 69066 ... c Min unsat cost LB: 69068 ... c Min unsat cost LB: 69069 ... c Min unsat cost LB: 69082 ... c Min unsat cost LB: 69115 ... c Min unsat cost LB: 69118 ... c Min unsat cost LB: 69119 ... c Min unsat cost LB: 69122 ... c Min unsat cost LB: 69124 ... c Min unsat cost LB: 69126 ... c Min unsat cost LB: 69127 ... c Min unsat cost LB: 69138 ... c Min unsat cost LB: 69152 ... c Min unsat cost LB: 69178 ... c Min unsat cost LB: 69179 ... c Min unsat cost LB: 69180 ... c Min unsat cost LB: 69181 ... c Min unsat cost LB: 69183 ... c Min unsat cost LB: 69193 ... c Min unsat cost LB: 69199 ... c Min unsat cost LB: 69210 ... c Min unsat cost LB: 69218 ... c Min unsat cost LB: 69219 ... c Min unsat cost LB: 69220 ... c Min unsat cost LB: 69225 ... c Min unsat cost LB: 69227 ... c Min unsat cost LB: 69234 ... c Min unsat cost LB: 69241 ... c Min unsat cost LB: 69249 ... c Min unsat cost LB: 69253 ... c Min unsat cost LB: 69254 ... c Min unsat cost LB: 69256 ... c Min unsat cost LB: 69259 ... c Min unsat cost LB: 69262 ... c Min unsat cost LB: 69265 ... c Min unsat cost LB: 69266 ... c Min unsat cost LB: 69271 ... c Min unsat cost LB: 69276 ... c Min unsat cost LB: 69278 ... c Min unsat cost LB: 69285 ... c Min unsat cost LB: 69296 ... c Min unsat cost LB: 69303 ... c Min unsat cost LB: 69304 ... c Min unsat cost LB: 69305 ... c Min unsat cost LB: 69306 ... c Min unsat cost LB: 69308 ... c Min unsat cost LB: 69309 ... c Min unsat cost LB: 69311 ... c Min unsat cost LB: 69320 ... c Min unsat cost LB: 69323 ... c Min unsat cost LB: 69324 ... c Min unsat cost LB: 69325 ... c Min unsat cost LB: 69327 ... c Min unsat cost LB: 69328 ... c Min unsat cost LB: 69329 ... c Min unsat cost LB: 69330 ... c Min unsat cost LB: 69332 ... c Min unsat cost LB: 69358 ... c Min unsat cost LB: 69363 ... c Min unsat cost LB: 69365 ... c Min unsat cost LB: 69367 ... c Min unsat cost LB: 69368 ... c Min unsat cost LB: 69369 ... c Min unsat cost LB: 69372 ... c Min unsat cost LB: 69373 ... c Min unsat cost LB: 69374 ... c Min unsat cost LB: 69377 ... c Min unsat cost LB: 69379 ... c Min unsat cost LB: 69380 ... c Min unsat cost LB: 69385 ... c Min unsat cost LB: 69387 ... c Min unsat cost LB: 69391 ... c Min unsat cost LB: 69392 ... c Min unsat cost LB: 69393 ... c Min unsat cost LB: 69405 ... c Min unsat cost LB: 69411 ... c Min unsat cost LB: 69415 ... c Min unsat cost LB: 69425 ... c Min unsat cost LB: 69428 ... c Min unsat cost LB: 69429 ... c Min unsat cost LB: 69430 ... c Min unsat cost LB: 69431 ... c Min unsat cost LB: 69432 ... c Min unsat cost LB: 69433 ... c Min unsat cost LB: 69438 ... c Min unsat cost LB: 69446 ... c Min unsat cost LB: 69475 ... c Min unsat cost LB: 69476 ... c Min unsat cost LB: 69477 ... c Min unsat cost LB: 69480 ... c Min unsat cost LB: 69483 ... c Min unsat cost LB: 69520 ... c Min unsat cost LB: 69522 ... c Min unsat cost LB: 69523 ... c Min unsat cost LB: 69527 ... c Min unsat cost LB: 69531 ... c Min unsat cost LB: 69532 ... c Min unsat cost LB: 69533 ... c Min unsat cost LB: 69540 ... c Min unsat cost LB: 69541 ... c Min unsat cost LB: 69542 ... c Min unsat cost LB: 69545 ... c Min unsat cost LB: 69547 ... c Min unsat cost LB: 69552 ... c Min unsat cost LB: 69556 ... c Min unsat cost LB: 69557 ... c Min unsat cost LB: 69558 ... c Min unsat cost LB: 69658 ... c Min unsat cost LB: 69659 ... c Min unsat cost LB: 69660 ... c Min unsat cost LB: 69661 ... c Min unsat cost LB: 69662 ... c Min unsat cost LB: 69664 ... c Min unsat cost LB: 69665 ... c Min unsat cost LB: 69666 ... c Min unsat cost LB: 69667 ... c Min unsat cost LB: 69668 ... c Min unsat cost LB: 69669 ... c Min unsat cost LB: 69676 ... c Min unsat cost LB: 69677 ... c Min unsat cost LB: 69679 ... c Min unsat cost LB: 69682 ... c Min unsat cost LB: 69683 ... c Min unsat cost LB: 69694 ... c Min unsat cost LB: 69695 ... c Min unsat cost LB: 69700 ... c Min unsat cost LB: 69701 ... c Min unsat cost LB: 69702 ... c Min unsat cost LB: 69703 ... c Min unsat cost LB: 69704 ... c Min unsat cost LB: 69705 ... c Min unsat cost LB: 69709 ... c Min unsat cost LB: 69712 ... c Min unsat cost LB: 69714 ... c Min unsat cost LB: 69715 ... c Min unsat cost LB: 69716 ... c Min unsat cost LB: 69718 ... c Min unsat cost LB: 69727 ... c Min unsat cost LB: 69733 ... c Min unsat cost LB: 69734 ... c Min unsat cost LB: 69735 ... c Min unsat cost LB: 69737 ... c Min unsat cost LB: 69740 ... c Min unsat cost LB: 69742 ... c Min unsat cost LB: 69743 ... c Min unsat cost LB: 69745 ... c Min unsat cost LB: 69760 ... c Min unsat cost LB: 69761 ... c Min unsat cost LB: 69762 ... c Min unsat cost LB: 69763 ... c Min unsat cost LB: 69765 ... c Min unsat cost LB: 69766 ... c Min unsat cost LB: 69767 ... c Min unsat cost LB: 69769 ... c Min unsat cost LB: 69770 ... c Min unsat cost LB: 69771 ... c Min unsat cost LB: 69772 ... c Min unsat cost LB: 69773 ... c Min unsat cost LB: 69776 ... c Min unsat cost LB: 69777 ... c Min unsat cost LB: 69778 ... c Min unsat cost LB: 69779 ... c Min unsat cost LB: 69780 ... c Min unsat cost LB: 69781 ... c Min unsat cost LB: 69782 ... c Min unsat cost LB: 69783 ... c Min unsat cost LB: 69784 ... c Min unsat cost LB: 69785 ... c Min unsat cost LB: 69786 ... c Min unsat cost LB: 69787 ... c Min unsat cost LB: 69788 ... c Min unsat cost LB: 69790 ... c Min unsat cost LB: 69791 ... c Min unsat cost LB: 69792 ... c Min unsat cost LB: 69793 ... c Min unsat cost LB: 69794 ... c Min unsat cost LB: 69795 ... c Min unsat cost LB: 69798 ... c Min unsat cost LB: 69799 ... c Min unsat cost LB: 69800 ... c Min unsat cost LB: 69801 ... c Min unsat cost LB: 69802 ... c Min unsat cost LB: 69803 ... c Min unsat cost LB: 69804 ... c Min unsat cost LB: 69805 ... c Min unsat cost LB: 69806 ... c Min unsat cost LB: 69807 ... c Min unsat cost LB: 69810 ... c Min unsat cost LB: 69817 ... c Min unsat cost LB: 69822 ... c Min unsat cost LB: 69827 ... c Min unsat cost LB: 69830 ... c Min unsat cost LB: 69835 ... c Min unsat cost LB: 69846 ... c Min unsat cost LB: 69847 ... c Min unsat cost LB: 69853 ... c Min unsat cost LB: 69874 ... c Min unsat cost LB: 69913 ... c Min unsat cost LB: 69914 ... c Min unsat cost LB: 69915 ... c Min unsat cost LB: 69917 ... c Min unsat cost LB: 69919 ... c Min unsat cost LB: 69920 ... c Min unsat cost LB: 69925 ... c Min unsat cost LB: 69926 ... c Min unsat cost LB: 69932 ... c Min unsat cost LB: 69933 ... c Min unsat cost LB: 69934 ... c Min unsat cost LB: 69938 ... c Min unsat cost LB: 69939 ... c Min unsat cost LB: 69940 ... c Min unsat cost LB: 69942 ... c Min unsat cost LB: 69948 ... c Min unsat cost LB: 69949 ... c Min unsat cost LB: 69950 ... c Min unsat cost LB: 69951 ... c Min unsat cost LB: 69957 ... c Min unsat cost LB: 69958 ... c Min unsat cost LB: 69959 ... c Min unsat cost LB: 69963 ... c Min unsat cost LB: 69965 ... c Min unsat cost LB: 69966 ... c Min unsat cost LB: 69967 ... c Min unsat cost LB: 69968 ... c Min unsat cost LB: 69969 ... c Min unsat cost LB: 69971 ... c Min unsat cost LB: 69972 ... c Min unsat cost LB: 69973 ... c Min unsat cost LB: 69974 ... c Min unsat cost LB: 69978 ... c Min unsat cost LB: 69982 ... c Min unsat cost LB: 69983 ... c Min unsat cost LB: 69985 ... c Min unsat cost LB: 69987 ... c Min unsat cost LB: 69988 ... c Min unsat cost LB: 69989 ... c Min unsat cost LB: 69992 ... c Min unsat cost LB: 69994 ... c Min unsat cost LB: 69999 ... c Min unsat cost LB: 70001 ... c Min unsat cost LB: 70002 ... c Min unsat cost LB: 70003 ... c Min unsat cost LB: 70004 ... c Min unsat cost LB: 70005 ... c Min unsat cost LB: 70009 ... c Min unsat cost LB: 70010 ... c Min unsat cost LB: 70012 ... c Min unsat cost LB: 70016 ... c Min unsat cost LB: 70023 ... c Min unsat cost LB: 70027 ... c Min unsat cost LB: 70028 ... c Min unsat cost LB: 70031 ... c Min unsat cost LB: 70032 ... c Min unsat cost LB: 70035 ... c Min unsat cost LB: 70037 ... c Min unsat cost LB: 70039 ... c Min unsat cost LB: 70040 ... c Min unsat cost LB: 70041 ... c Min unsat cost LB: 70042 ... c Min unsat cost LB: 70043 ... c Min unsat cost LB: 70045 ... c Min unsat cost LB: 70046 ... c Min unsat cost LB: 70058 ... c Min unsat cost LB: 70060 ... c Min unsat cost LB: 70061 ... c Min unsat cost LB: 70062 ... c Min unsat cost LB: 70063 ... c Min unsat cost LB: 70079 ... c Min unsat cost LB: 70080 ... c Min unsat cost LB: 70084 ... c Min unsat cost LB: 70085 ... c Min unsat cost LB: 70086 ... c Min unsat cost LB: 70087 ... c Min unsat cost LB: 70088 ... c Min unsat cost LB: 70089 ... c Min unsat cost LB: 70090 ... c Min unsat cost LB: 70091 ... c Min unsat cost LB: 70092 ... c Min unsat cost LB: 70093 ... c Min unsat cost LB: 70094 ... c Min unsat cost LB: 70095 ... c Min unsat cost LB: 70096 ... c Min unsat cost LB: 70097 ... c Min unsat cost LB: 70098 ... c Min unsat cost LB: 70100 ... c Min unsat cost LB: 70104 ... c Min unsat cost LB: 70105 ... c Min unsat cost LB: 70106 ... c Min unsat cost LB: 70107 ... c Min unsat cost LB: 70108 ... c Min unsat cost LB: 70109 ... c Min unsat cost LB: 70110 ... c Min unsat cost LB: 70111 ... c Min unsat cost LB: 70112 ... c Min unsat cost LB: 70113 ... c Min unsat cost LB: 70115 ... c Min unsat cost LB: 70116 ... c Min unsat cost LB: 70117 ... c Min unsat cost LB: 70118 ... c Min unsat cost LB: 70119 ... c Min unsat cost LB: 70120 ... c Min unsat cost LB: 70121 ... c Min unsat cost LB: 70122 ... c Min unsat cost LB: 70123 ... c Min unsat cost LB: 70124 ... c Min unsat cost LB: 70125 ... c Min unsat cost LB: 70126 ... c Min unsat cost LB: 70127 ... c Min unsat cost LB: 70128 ... c Min unsat cost LB: 70129 ... c Min unsat cost LB: 70130 ... c Min unsat cost LB: 70131 ... c Min unsat cost LB: 70132 ... c Min unsat cost LB: 70133 ... c Min unsat cost LB: 70134 ... c Min unsat cost LB: 70135 ... c Min unsat cost LB: 70136 ... c Min unsat cost LB: 70137 ... c Min unsat cost LB: 70138 ... c Min unsat cost LB: 70140 ... c Min unsat cost LB: 70152 ... c Min unsat cost LB: 70153 ... c Min unsat cost LB: 70154 ... c Min unsat cost LB: 70155 ... c Min unsat cost LB: 70156 ... c Min unsat cost LB: 70157 ... c Min unsat cost LB: 70158 ... c Min unsat cost LB: 70159 ... c Min unsat cost LB: 70160 ... c Min unsat cost LB: 70161 ... c Min unsat cost LB: 70162 ... c Min unsat cost LB: 70163 ... c Min unsat cost LB: 70164 ... c Min unsat cost LB: 70165 ... c Min unsat cost LB: 70166 ... c Min unsat cost LB: 70311 ... c Min unsat cost LB: 70312 ... c Min unsat cost LB: 70313 ... c Min unsat cost LB: 70314 ... c Min unsat cost LB: 70315 ... c Min unsat cost LB: 70316 ... c Min unsat cost LB: 70321 ... c Min unsat cost LB: 70322 ... c Min unsat cost LB: 70323 ... c Min unsat cost LB: 70324 ... c Min unsat cost LB: 70325 ... c Min unsat cost LB: 70326 ... c Min unsat cost LB: 70327 ... c Min unsat cost LB: 70328 ... c Min unsat cost LB: 70329 ... c Min unsat cost LB: 70330 ... c Min unsat cost LB: 70331 ... c Min unsat cost LB: 70332 ... c Min unsat cost LB: 70333 ... c Min unsat cost LB: 70334 ... c Min unsat cost LB: 70339 ... c Min unsat cost LB: 70340 ... c Min unsat cost LB: 70342 ... c Min unsat cost LB: 70346 ... c Min unsat cost LB: 70355 ... c Min unsat cost LB: 70357 ... c Min unsat cost LB: 70358 ... c Min unsat cost LB: 70360 ... c Min unsat cost LB: 70361 ... c Min unsat cost LB: 70362 ... c Min unsat cost LB: 70363 ... c Min unsat cost LB: 70364 ... c Min unsat cost LB: 70365 ... c Min unsat cost LB: 70366 ... c Min unsat cost LB: 70369 ... c Min unsat cost LB: 70370 ... c Min unsat cost LB: 70371 ... c Min unsat cost LB: 70372 ... c Min unsat cost LB: 70373 ... c Min unsat cost LB: 70374 ... c Min unsat cost LB: 70375 ... c Min unsat cost LB: 70376 ... c Min unsat cost LB: 70378 ... c Min unsat cost LB: 70379 ... c Min unsat cost LB: 70380 ... c Min unsat cost LB: 70381 ... c Min unsat cost LB: 70384 ... c Min unsat cost LB: 70385 ... c Min unsat cost LB: 70386 ... c Min unsat cost LB: 70388 ... c Min unsat cost LB: 70389 ... c Min unsat cost LB: 70390 ... c Min unsat cost LB: 70391 ... c Min unsat cost LB: 70395 ... c Min unsat cost LB: 70396 ... c Min unsat cost LB: 70397 ... c Min unsat cost LB: 70398 ... c Min unsat cost LB: 70399 ... c Min unsat cost LB: 70400 ... c Min unsat cost LB: 70401 ... c Min unsat cost LB: 70402 ... c Min unsat cost LB: 70403 ... c Min unsat cost LB: 70404 ... c Min unsat cost LB: 70405 ... c Min unsat cost LB: 70407 ... c Min unsat cost LB: 70409 ... c Min unsat cost LB: 70410 ... c Min unsat cost LB: 70413 ... c Min unsat cost LB: 70414 ... c Min unsat cost LB: 70415 ... c Min unsat cost LB: 70416 ... c Min unsat cost LB: 70417 ... c Min unsat cost LB: 70418 ... c Min unsat cost LB: 70419 ... c Min unsat cost LB: 70420 ... c Min unsat cost LB: 70423 ... c Min unsat cost LB: 70424 ... c Min unsat cost LB: 70425 ... c Min unsat cost LB: 70426 ... c Min unsat cost LB: 70427 ... c Min unsat cost LB: 70428 ... c Min unsat cost LB: 70429 ... c Min unsat cost LB: 70430 ... c Min unsat cost LB: 70431 ... c Min unsat cost LB: 70432 ... c Min unsat cost LB: 70433 ... c Min unsat cost LB: 70434 ... c Min unsat cost LB: 70435 ... c Min unsat cost LB: 70438 ... c Min unsat cost LB: 70439 ... c Min unsat cost LB: 70442 ... c Min unsat cost LB: 70443 ... c Min unsat cost LB: 70444 ... c Min unsat cost LB: 70445 ... c Min unsat cost LB: 70446 ... c Min unsat cost LB: 70448 ... c Min unsat cost LB: 70450 ... c Min unsat cost LB: 70451 ... c Min unsat cost LB: 70452 ... c Min unsat cost LB: 70453 ... c Min unsat cost LB: 70454 ... c Min unsat cost LB: 70455 ... c Min unsat cost LB: 70456 ... c Min unsat cost LB: 70457 ... c Min unsat cost LB: 70458 ... c Min unsat cost LB: 70459 ... c Min unsat cost LB: 70460 ... c Min unsat cost LB: 70461 ... c Min unsat cost LB: 70462 ... c Min unsat cost LB: 70463 ... c Min unsat cost LB: 70464 ... c Min unsat cost LB: 70465 ... c Min unsat cost LB: 70466 ... c Min unsat cost LB: 70467 ... c Min unsat cost LB: 70468 ... c Min unsat cost LB: 70469 ... c Min unsat cost LB: 70470 ... c Min unsat cost LB: 70474 ... c Min unsat cost LB: 70475 ... c Min unsat cost LB: 70476 ... c Min unsat cost LB: 70483 ... c Min unsat cost LB: 70484 ... c Min unsat cost LB: 70486 ... c Min unsat cost LB: 70492 ... c Min unsat cost LB: 70493 ... c Min unsat cost LB: 70494 ... c Min unsat cost LB: 70495 ... c Min unsat cost LB: 70496 ... c Min unsat cost LB: 70497 ... c Min unsat cost LB: 70498 ... c Min unsat cost LB: 70499 ... c Min unsat cost LB: 70500 ... c Min unsat cost LB: 70501 ... c Min unsat cost LB: 70502 ... c Min unsat cost LB: 70503 ... c Min unsat cost LB: 70504 ... c Min unsat cost LB: 70505 ... c Min unsat cost LB: 70506 ... c Min unsat cost LB: 70507 ... c Min unsat cost LB: 70508 ... c Min unsat cost LB: 70509 ... c Min unsat cost LB: 70510 ... c Min unsat cost LBKilled 1811.716u 8.021s 30:23.53 99.7% 0+0k 0+0io 0pf+0w