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_KnotPipatsrisawat_random-net-300-1_network-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-5.net.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/KnotPipatsrisawat/random-net-300-1_network-5.net.wcnf *** c c Min unsat cost LB: 1159 ... c Min unsat cost LB: 1398 ... c Min unsat cost LB: 2404 ... c Min unsat cost LB: 3068 ... c Min unsat cost LB: 3968 ... c Min unsat cost LB: 5055 ... c Min unsat cost LB: 5482 ... c Min unsat cost LB: 6832 ... c Min unsat cost LB: 7501 ... c Min unsat cost LB: 8597 ... c Min unsat cost LB: 8678 ... c Min unsat cost LB: 9319 ... c Min unsat cost LB: 10807 ... c Min unsat cost LB: 11384 ... c Min unsat cost LB: 12117 ... c Min unsat cost LB: 13299 ... c Min unsat cost LB: 14746 ... c Min unsat cost LB: 15897 ... c Min unsat cost LB: 16424 ... c Min unsat cost LB: 16764 ... c Min unsat cost LB: 16880 ... c Min unsat cost LB: 16976 ... c Min unsat cost LB: 17355 ... c Min unsat cost LB: 17409 ... c Min unsat cost LB: 17908 ... c Min unsat cost LB: 18319 ... c Min unsat cost LB: 19513 ... c Min unsat cost LB: 20028 ... c Min unsat cost LB: 20853 ... c Min unsat cost LB: 20915 ... c Min unsat cost LB: 21903 ... c Min unsat cost LB: 21931 ... c Min unsat cost LB: 22172 ... c Min unsat cost LB: 23386 ... c Min unsat cost LB: 23492 ... c Min unsat cost LB: 24003 ... c Min unsat cost LB: 25314 ... c Min unsat cost LB: 26169 ... c Min unsat cost LB: 26762 ... c Min unsat cost LB: 26901 ... c Min unsat cost LB: 27407 ... c Min unsat cost LB: 28942 ... c Min unsat cost LB: 29913 ... c Min unsat cost LB: 30273 ... c Min unsat cost LB: 30827 ... c Min unsat cost LB: 31207 ... c Min unsat cost LB: 32047 ... c Min unsat cost LB: 32712 ... c Min unsat cost LB: 33864 ... c Min unsat cost LB: 35618 ... c Min unsat cost LB: 36915 ... c Min unsat cost LB: 37714 ... c Min unsat cost LB: 37764 ... c Min unsat cost LB: 38524 ... c Min unsat cost LB: 39077 ... c Min unsat cost LB: 40239 ... c Min unsat cost LB: 42431 ... c Min unsat cost LB: 42434 ... c Min unsat cost LB: 42758 ... c Min unsat cost LB: 43985 ... c Min unsat cost LB: 44067 ... c Min unsat cost LB: 45013 ... c Min unsat cost LB: 45658 ... c Min unsat cost LB: 46472 ... c Min unsat cost LB: 46547 ... c Min unsat cost LB: 47454 ... c Min unsat cost LB: 49769 ... c Min unsat cost LB: 50179 ... c Min unsat cost LB: 50459 ... c Min unsat cost LB: 51721 ... c Min unsat cost LB: 52466 ... c Min unsat cost LB: 52468 ... c Min unsat cost LB: 53120 ... c Min unsat cost LB: 53873 ... c Min unsat cost LB: 54517 ... c Min unsat cost LB: 55403 ... c Min unsat cost LB: 56050 ... c Min unsat cost LB: 56381 ... c Min unsat cost LB: 56392 ... c Min unsat cost LB: 56880 ... c Min unsat cost LB: 57560 ... c Min unsat cost LB: 58029 ... c Min unsat cost LB: 59368 ... c Min unsat cost LB: 59444 ... c Min unsat cost LB: 59898 ... c Min unsat cost LB: 60054 ... c Min unsat cost LB: 60786 ... c Min unsat cost LB: 61074 ... c Min unsat cost LB: 61458 ... c Min unsat cost LB: 62157 ... c Min unsat cost LB: 62375 ... c Min unsat cost LB: 62610 ... c Min unsat cost LB: 63367 ... c Min unsat cost LB: 64057 ... c Min unsat cost LB: 65337 ... c Min unsat cost LB: 65410 ... c Min unsat cost LB: 65450 ... c Min unsat cost LB: 65921 ... c Min unsat cost LB: 66841 ... c Min unsat cost LB: 66962 ... c Min unsat cost LB: 67199 ... c Min unsat cost LB: 67525 ... c Min unsat cost LB: 67784 ... c Min unsat cost LB: 68166 ... c Min unsat cost LB: 68516 ... c Min unsat cost LB: 69454 ... c Min unsat cost LB: 69459 ... c Min unsat cost LB: 69792 ... c Min unsat cost LB: 69890 ... c Min unsat cost LB: 70046 ... c Min unsat cost LB: 70339 ... c Min unsat cost LB: 70741 ... c Min unsat cost LB: 71436 ... c Min unsat cost LB: 71454 ... c Min unsat cost LB: 71856 ... c Min unsat cost LB: 71912 ... c Min unsat cost LB: 72163 ... c Min unsat cost LB: 72446 ... c Min unsat cost LB: 72549 ... c Min unsat cost LB: 72636 ... c Min unsat cost LB: 73316 ... c Min unsat cost LB: 73591 ... c Min unsat cost LB: 74178 ... c Min unsat cost LB: 74198 ... c Min unsat cost LB: 74485 ... c Min unsat cost LB: 75061 ... c Min unsat cost LB: 75142 ... c Min unsat cost LB: 76451 ... c Min unsat cost LB: 76646 ... c Min unsat cost LB: 76680 ... c Min unsat cost LB: 77103 ... c Min unsat cost LB: 77277 ... c Min unsat cost LB: 77385 ... c Min unsat cost LB: 77386 ... c Min unsat cost LB: 77588 ... c Min unsat cost LB: 77807 ... c Min unsat cost LB: 77902 ... c Min unsat cost LB: 78301 ... c Min unsat cost LB: 78373 ... c Min unsat cost LB: 78942 ... c Min unsat cost LB: 79109 ... c Min unsat cost LB: 79224 ... c Min unsat cost LB: 79636 ... c Min unsat cost LB: 79662 ... c Min unsat cost LB: 79880 ... c Min unsat cost LB: 80243 ... c Min unsat cost LB: 80304 ... c Min unsat cost LB: 80440 ... c Min unsat cost LB: 80453 ... c Min unsat cost LB: 82044 ... c Min unsat cost LB: 82170 ... c Min unsat cost LB: 82256 ... c Min unsat cost LB: 82770 ... c Min unsat cost LB: 83154 ... c Min unsat cost LB: 83220 ... c Min unsat cost LB: 83807 ... c Min unsat cost LB: 83880 ... c Min unsat cost LB: 84567 ... c Min unsat cost LB: 84842 ... c Min unsat cost LB: 85220 ... c Min unsat cost LB: 85643 ... c Min unsat cost LB: 86370 ... c Min unsat cost LB: 86654 ... c Min unsat cost LB: 86813 ... c Min unsat cost LB: 86977 ... c Min unsat cost LB: 87275 ... c Min unsat cost LB: 87610 ... c Min unsat cost LB: 87671 ... c Min unsat cost LB: 88349 ... c Min unsat cost LB: 88450 ... c Min unsat cost LB: 88898 ... c Min unsat cost LB: 88922 ... c Min unsat cost LB: 89180 ... c Min unsat cost LB: 89406 ... c Min unsat cost LB: 89929 ... c Min unsat cost LB: 90118 ... c Min unsat cost LB: 90266 ... c Min unsat cost LB: 90302 ... c Min unsat cost LB: 90326 ... c Min unsat cost LB: 90397 ... c Min unsat cost LB: 90487 ... c Min unsat cost LB: 90490 ... c Min unsat cost LB: 90702 ... c Min unsat cost LB: 90951 ... c Min unsat cost LB: 91300 ... c Min unsat cost LB: 91525 ... c Min unsat cost LB: 91874 ... c Min unsat cost LB: 92468 ... c Min unsat cost LB: 92492 ... c Min unsat cost LB: 92980 ... c Min unsat cost LB: 93236 ... c Min unsat cost LB: 93662 ... c Min unsat cost LB: 94091 ... c Min unsat cost LB: 94097 ... c Min unsat cost LB: 94230 ... c Min unsat cost LB: 94378 ... c Min unsat cost LB: 95499 ... c Min unsat cost LB: 95915 ... c Min unsat cost LB: 96066 ... c Min unsat cost LB: 96092 ... c Min unsat cost LB: 96194 ... c Min unsat cost LB: 96268 ... c Min unsat cost LB: 97102 ... c Min unsat cost LB: 97202 ... c Min unsat cost LB: 97449 ... c Min unsat cost LB: 97774 ... c Min unsat cost LB: 98782 ... c Min unsat cost LB: 98858 ... c Min unsat cost LB: 98913 ... c Min unsat cost LB: 99088 ... c Min unsat cost LB: 99173 ... c Min unsat cost LB: 99365 ... c Min unsat cost LB: 100151 ... c Min unsat cost LB: 100488 ... c Min unsat cost LB: 100506 ... c Min unsat cost LB: 100877 ... c Min unsat cost LB: 100908 ... c Min unsat cost LB: 101005 ... c Min unsat cost LB: 101057 ... c Min unsat cost LB: 101579 ... c Min unsat cost LB: 101708 ... c Min unsat cost LB: 101739 ... c Min unsat cost LB: 101757 ... c Min unsat cost LB: 101903 ... c Min unsat cost LB: 102316 ... c Min unsat cost LB: 102441 ... c Min unsat cost LB: 102541 ... c Min unsat cost LB: 102954 ... c Min unsat cost LB: 103038 ... c Min unsat cost LB: 103119 ... c Min unsat cost LB: 103750 ... c Min unsat cost LB: 103890 ... c Min unsat cost LB: 103984 ... c Min unsat cost LB: 104462 ... c Min unsat cost LB: 104627 ... c Min unsat cost LB: 104975 ... c Min unsat cost LB: 105921 ... c Min unsat cost LB: 106239 ... c Min unsat cost LB: 106354 ... c Min unsat cost LB: 106926 ... c Min unsat cost LB: 107020 ... c Min unsat cost LB: 107048 ... c Min unsat cost LB: 108085 ... c Min unsat cost LB: 108478 ... c Min unsat cost LB: 108553 ... c Min unsat cost LB: 108644 ... c Min unsat cost LB: 109289 ... c Min unsat cost LB: 109400 ... c Min unsat cost LB: 109979 ... c Min unsat cost LB: 110003 ... c Min unsat cost LB: 111159 ... c Min unsat cost LB: 111174 ... c Min unsat cost LB: 111253 ... c Min unsat cost LB: 111364 ... c Min unsat cost LB: 111539 ... c Min unsat cost LB: 111914 ... c Min unsat cost LB: 111961 ... c Min unsat cost LB: 112461 ... c Min unsat cost LB: 112610 ... c Min unsat cost LB: 113537 ... c Min unsat cost LB: 114145 ... c Min unsat cost LB: 114351 ... c Min unsat cost LB: 114703 ... c Min unsat cost LB: 114917 ... c Min unsat cost LB: 114959 ... c Min unsat cost LB: 115395 ... c Min unsat cost LB: 116188 ... c Min unsat cost LB: 116342 ... c Min unsat cost LB: 116402 ... c Min unsat cost LB: 116634 ... c Min unsat cost LB: 116917 ... c Min unsat cost LB: 117717 ... c Min unsat cost LB: 117936 ... c Min unsat cost LB: 118354 ... c Min unsat cost LB: 118367 ... c Min unsat cost LB: 118461 ... c Min unsat cost LB: 119081 ... c Min unsat cost LB: 119277 ... c Min unsat cost LB: 119327 ... c Min unsat cost LB: 119399 ... c Min unsat cost LB: 119888 ... c Min unsat cost LB: 120373 ... c Min unsat cost LB: 120404 ... c Min unsat cost LB: 120495 ... c Min unsat cost LB: 121885 ... c Min unsat cost LB: 121931 ... c Min unsat cost LB: 122152 ... c Min unsat cost LB: 122165 ... c Min unsat cost LB: 122202 ... c Min unsat cost LB: 122234 ... c Min unsat cost LB: 122283 ... c Min unsat cost LB: 122503 ... c Min unsat cost LB: 122530 ... c Min unsat cost LB: 122813 ... c Min unsat cost LB: 123016 ... c Min unsat cost LB: 123027 ... c Min unsat cost LB: 123141 ... c Min unsat cost LB: 123209 ... c Min unsat cost LB: 123228 ... c Min unsat cost LB: 123303 ... c Min unsat cost LB: 123376 ... c Min unsat cost LB: 123378 ... c Min unsat cost LB: 123400 ... c Min unsat cost LB: 123417 ... c Min unsat cost LB: 123697 ... c Min unsat cost LB: 124126 ... c Min unsat cost LB: 124951 ... c Min unsat cost LB: 124955 ... c Min unsat cost LB: 125291 ... c Min unsat cost LB: 125355 ... c Min unsat cost LB: 125524 ... c Min unsat cost LB: 126095 ... c Min unsat cost LB: 126282 ... c Min unsat cost LB: 126352 ... c Min unsat cost LB: 126608 ... c Min unsat cost LB: 126730 ... c Min unsat cost LB: 126935 ... c Min unsat cost LB: 127011 ... c Min unsat cost LB: 127064 ... c Min unsat cost LB: 127103 ... c Min unsat cost LB: 127197 ... c Min unsat cost LB: 127283 ... c Min unsat cost LB: 127310 ... c Min unsat cost LB: 127333 ... c Min unsat cost LB: 127380 ... c Min unsat cost LB: 127598 ... c Min unsat cost LB: 127667 ... c Min unsat cost LB: 127704 ... c Min unsat cost LB: 127746 ... c Min unsat cost LB: 128143 ... c Min unsat cost LB: 128200 ... c Min unsat cost LB: 128209 ... c Min unsat cost LB: 128502 ... c Min unsat cost LB: 128567 ... c Min unsat cost LB: 128582 ... c Min unsat cost LB: 128954 ... c Min unsat cost LB: 128969 ... c Min unsat cost LB: 129034 ... c Min unsat cost LB: 129071 ... c Min unsat cost LB: 129117 ... c Min unsat cost LB: 129130 ... c Min unsat cost LB: 129295 ... c Min unsat cost LB: 129423 ... c Min unsat cost LB: 129495 ... c Min unsat cost LB: 130097 ... c Min unsat cost LB: 130307 ... c Min unsat cost LB: 130344 ... c Min unsat cost LB: 130377 ... c Min unsat cost LB: 130396 ... c Min unsat cost LB: 130416 ... c Min unsat cost LB: 130427 ... c Min unsat cost LB: 130440 ... c Min unsat cost LB: 130444 ... c Min unsat cost LB: 130445 ... c Min unsat cost LB: 130469 ... c Min unsat cost LB: 130476 ... c Min unsat cost LB: 130488 ... c Min unsat cost LB: 130516 ... c Min unsat cost LB: 130531 ... c Min unsat cost LB: 130569 ... c Min unsat cost LB: 130596 ... c Min unsat cost LB: 130649 ... c Min unsat cost LB: 130680 ... c Min unsat cost LB: 130700 ... c Min unsat cost LB: 130722 ... c Min unsat cost LB: 130756 ... c Min unsat cost LB: 130761 ... c Min unsat cost LB: 130763 ... c Min unsat cost LB: 130785 ... c Min unsat cost LB: 130804 ... c Min unsat cost LB: 130830 ... c Min unsat cost LB: 130838 ... c Min unsat cost LB: 130858 ... c Min unsat cost LB: 130883 ... c Min unsat cost LB: 130887 ... c Min unsat cost LB: 130889 ... c Min unsat cost LB: 130890 ... c Min unsat cost LB: 130891 ... c Min unsat cost LB: 130903 ... c Min unsat cost LB: 130914 ... c Min unsat cost LB: 130916 ... c Min unsat cost LB: 130966 ... c Min unsat cost LB: 130983 ... c Min unsat cost LB: 131030 ... c Min unsat cost LB: 131035 ... c Min unsat cost LB: 131047 ... c Min unsat cost LB: 131053 ... c Min unsat cost LB: 131054 ... c Min unsat cost LB: 131055 ... c Min unsat cost LB: 131057 ... c Min unsat cost LB: 131059 ... c Min unsat cost LB: 131061 ... c Min unsat cost LB: 131064 ... c Min unsat cost LB: 131070 ... c Min unsat cost LB: 131072 ... c Min unsat cost LB: 131077 ... c Min unsat cost LB: 131081 ... c Min unsat cost LB: 131082 ... c Min unsat cost LB: 131083 ... c Min unsat cost LB: 131086 ... c Min unsat cost LB: 131093 ... c Min unsat cost LB: 131097 ... c Min unsat cost LB: 131102 ... c Min unsat cost LB: 131103 ... c Min unsat cost LB: 131107 ... c Min unsat cost LB: 131111 ... c Min unsat cost LB: 131127 ... c Min unsat cost LB: 131132 ... c Min unsat cost LB: 131148 ... c Min unsat cost LB: 131156 ... c Min unsat cost LB: 131159 ... c Min unsat cost LB: 131165 ... c Min unsat cost LB: 131166 ... c Min unsat cost LB: 131185 ... c Min unsat cost LB: 131196 ... c Min unsat cost LB: 131204 ... c Min unsat cost LB: 131217 ... c Min unsat cost LB: 131218 ... c Min unsat cost LB: 131221 ... c Min unsat cost LB: 131225 ... c Min unsat cost LB: 131230 ... c Min unsat cost LB: 131232 ... c Min unsat cost LB: 131518 ... c Min unsat cost LB: 131675 ... c Min unsat cost LB: 132149 ... c Min unsat cost LB: 132264 ... c Min unsat cost LB: 132265 ... c Min unsat cost LB: 132319 ... c Min unsat cost LB: 132328 ... c Min unsat cost LB: 132386 ... c Min unsat cost LB: 132389 ... c Min unsat cost LB: 132399 ... c Min unsat cost LB: 132405 ... c Min unsat cost LB: 132414 ... c Min unsat cost LB: 132442 ... c Min unsat cost LB: 132445 ... c Min unsat cost LB: 132449 ... c Min unsat cost LB: 132450 ... c Min unsat cost LB: 132508 ... c Min unsat cost LB: 132519 ... c Min unsat cost LB: 132521 ... c Min unsat cost LB: 132524 ... c Min unsat cost LB: 132528 ... c Min unsat cost LB: 132532 ... c Min unsat cost LB: 132536 ... c Min unsat cost LB: 132542 ... c Min unsat cost LB: 132545 ... c Min unsat cost LB: 132546 ... c Min unsat cost LB: 132548 ... c Min unsat cost LB: 132554 ... c Min unsat cost LB: 132555 ... c Min unsat cost LB: 132556 ... c Min unsat cost LB: 132557 ... c Min unsat cost LB: 132560 ... c Min unsat cost LB: 132564 ... c Min unsat cost LB: 132565 ... c Min unsat cost LB: 132567 ... c Min unsat cost LB: 132568 ... c Min unsat cost LB: 132570 ... c Min unsat cost LB: 132600 ... c Min unsat cost LB: 132612 ... c Min unsat cost LB: 132642 ... c Min unsat cost LB: 132792 ... c Min unsat cost LB: 132843 ... c Min unsat cost LB: 132921 ... c Min unsat cost LB: 132930 ... c Min unsat cost LB: 132988 ... c Min unsat cost LB: 133271 ... c Min unsat cost LB: 133274 ... c Min unsat cost LB: 133275 ... c Min unsat cost LB: 133329 ... c Min unsat cost LB: 133332 ... c Min unsat cost LB: 133342 ... c Min unsat cost LB: 133561 ... c Min unsat cost LB: 133645 ... c Min unsat cost LB: 134292 ... c Min unsat cost LB: 134293 ... c Min unsat cost LB: 134294 ... c Min unsat cost LB: 134296 ... c Min unsat cost LB: 134297 ... c Min unsat cost LB: 134298 ... c Min unsat cost LB: 134299 ... c Min unsat cost LB: 134300 ... c Min unsat cost LB: 134302 ... c Min unsat cost LB: 134303 ... c Min unsat cost LB: 134304 ... c Min unsat cost LB: 134305 ... c Min unsat cost LB: 134306 ... c Min unsat cost LB: 134307 ... c Min unsat cost LB: 134308 ... c Min unsat cost LB: 134309 ... c Min unsat cost LB: 134310 ... c Min unsat cost LB: 134311 ... c Min unsat cost LB: 134312 ... c Min unsat cost LB: 134313 ... c Min unsat cost LB: 134314 ... c Min unsat cost LB: 134315 ... c Min unsat cost LB: 134316 ... c Min unsat cost LB: 134317 ... c Min unsat cost LB: 134318 ... c Min unsat cost LB: 134319 ... c Min unsat cost LB: 134320 ... c Min unsat cost LB: 134321 ... c Min unsat cost LB: 134322 ... c Min unsat cost LB: 134323 ... c Min unsat cost LB: 134324 ... c Min unsat cost LB: 134325 ... c Min unsat cost LB: 134326 ... c Min unsat cost LB: 134327 ... c Min unsat cost LB: 134328 ... c Min unsat cost LB: 134329 ... c Min unsat cost LB: 134330 ... c Min unsat cost LB: 134331 ... c Min unsat cost LB: 134332 ... c Min unsat cost LB: 134333 ... c Min unsat cost LB: 134334 ... c Min unsat cost LB: 134335 ... c Min unsat cost LB: 134336 ... c Min unsat cost LB: 134337 ... c Min unsat cost LB: 134338 ... c Min unsat cost LB: 134339 ... c Min unsat cost LB: 134340 ... c Min unsat cost LB: 134343 ... c Min unsat cost LB: 134344 ... c Min unsat cost LB: 134346 ... c Min unsat cost LB: 134348 ... c Min unsat cost LB: 134349 ... c Min unsat cost LB: 134350 ... c Min unsat cost LB: 134351 ... c Min unsat cost LB: 134352 ... c Min unsat cost LB: 134353 ... c Min unsat cost LB: 134354 ... c Min unsat cost LB: 134355 ... c Min unsat cost LB: 134356 ... c Min unsat cost LB: 134357 ... c Min unsat cost LB: 134358 ... c Min unsat cost LB: 134364 ... c Min unsat cost LB: 134368 ... c Min unsat cost LB: 134369 ... c Min unsat cost LB: 134371 ... c Min unsat cost LB: 134373 ... c Min unsat cost LB: 134376 ... c Min unsat cost LB: 134378 ... c Min unsat cost LB: 134380 ... c Min unsat cost LB: 134382 ... c Min unsat cost LB: 134383 ... c Min unsat cost LB: 134387 ... c Min unsat cost LB: 134388 ... c Min unsat cost LB: 134389 ... c Min unsat cost LB: 134393 ... c Min unsat cost LB: 134396 ... c Min unsat cost LB: 134397 ... c Min unsat cost LB: 134399 ... c Min unsat cost LB: 134401 ... c Min unsat cost LB: 134403 ... c Min unsat cost LB: 134406 ... c Min unsat cost LB: 134407 ... c Min unsat cost LB: 134409 ... c Min unsat cost LB: 134410 ... c Min unsat cost LB: 134411 ... c Min unsat cost LB: 134412 ... c Min unsat cost LB: 134413 ... c Min unsat cost LB: 134414 ... c Min unsat cost LB: 134415 ... c Min unsat cost LB: 134416 ... c Min unsat cost LB: 134417 ... c Min unsat cost LB: 134418 ... c Min unsat cost LB: 134419 ... c Min unsat cost LB: 134420 ... c Min unsat cost LB: 134421 ... c Min unsat cost LB: 134422 ... c Min unsat cost LB: 134423 ... c Min unsat cost LB: 134424 ... c Min unsat cost LB: 134577 ... c Min unsat cost LB: 134604 ... c Min unsat cost LB: 134904 ... c Min unsat cost LB: 134939 ... c Min unsat cost LB: 135125 ... c Min unsat cost LB: 135154 ... c Min unsat cost LB: 135906 ... c Min unsat cost LB: 135913 ... c Min unsat cost LB: 136010 ... c Min unsat cost LB: 136589 ... c Min unsat cost LB: 137022 ... c Min unsat cost LB: 137023 ... c Min unsat cost LB: 137024 ... c Min unsat cost LB: 137025 ... c Min unsat cost LB: 137026 ... c Min unsat cost LB: 137027 ... c Min unsat cost LB: 137028 ... c Min unsat cost LB: 137029 ... c Min unsat cost LB: 137125 ... c Min unsat cost LB: 137134 ... c Min unsat cost LB: 137142 ... c Min unsat cost LB: 137155 ... c Min unsat cost LB: 137162 ... c Min unsat cost LB: 137179 ... c Min unsat cost LB: 137194 ... c Min unsat cost LB: 137195 ... c Min unsat cost LB: 137196 ... c Min unsat cost LB: 137197 ... c Min unsat cost LB: 137198 ... c Min unsat cost LB: 137199 ... c Min unsat cost LB: 137200 ... c Min unsat cost LB: 137201 ... c Min unsat cost LB: 137202 ... c Min unsat cost LB: 137203 ... c Min unsat cost LB: 137240 ... c Min unsat cost LB: 137243 ... c Min unsat cost LB: 137263 ... c Min unsat cost LB: 137286 ... c Min unsat cost LB: 137297 ... c Min unsat cost LB: 137303 ... c Min unsat cost LB: 137304 ... c Min unsat cost LB: 137305 ... c Min unsat cost LB: 137308 ... c Min unsat cost LB: 137340 ... c Min unsat cost LB: 137344 ... c Min unsat cost LB: 137345 ... c Min unsat cost LB: 137353 ... c Min unsat cost LB: 137354 ... c Min unsat cost LB: 137355 ... c Min unsat cost LB: 137367 ... c Min unsat cost LB: 137370 ... c Min unsat cost LB: 137376 ... c Min unsat cost LB: 137378 ... c Min unsat cost LB: 137394 ... c Min unsat cost LB: 138353 ... c Min unsat cost LB: 138380 ... c Min unsat cost LB: 138765 ... c Min unsat cost LB: 138771 ... c Min unsat cost LB: 138772 ... c Min unsat cost LB: 138774 ... c Min unsat cost LB: 138958 ... c Min unsat cost LB: 139069 ... c Min unsat cost LB: 139384 ... c Min unsat cost LB: 139430 ... c Min unsat cost LB: 139614 ... c Min unsat cost LB: 140019 ... c Min unsat cost LB: 140188 ... c Min unsat cost LB: 140255 ... c Min unsat cost LB: 140755 ... c Min unsat cost LB: 141288 ... c Min unsat cost LB: 141354 ... c Min unsat cost LB: 141439 ... c Min unsat cost LB: 141912 ... c Min unsat cost LB: 142040 ... c Min unsat cost LB: 142067 ... c Min unsat cost LB: 142070 ... c Min unsat cost LB: 142123 ... c Min unsat cost LB: 142133 ... c Min unsat cost LB: 142199 ... c Min unsat cost LB: 142288 ... c Min unsat cost LB: 142322 ... c Min unsat cost LB: 142565 ... c Min unsat cost LB: 142646 ... c Min unsat cost LB: 142683 ... c Min unsat cost LB: 142686 ... c Min unsat cost LB: 142976 ... c Min unsat cost LB: 143047 ... c Min unsat cost LB: 143092 ... c Min unsat cost LB: 143093 ... c Min unsat cost LB: 143102 ... c Min unsat cost LB: 143112 ... c Min unsat cost LB: 143164 ... c Min unsat cost LB: 143569 ... c Min unsat cost LB: 143570 ... c Min unsat cost LB: 143571 ... c Min unsat cost LB: 143572 ... c Min unsat cost LB: 143573 ... c Min unsat cost LB: 143574 ... c Min unsat cost LB: 143575 ... c Min unsat cost LB: 143576 ... c Min unsat cost LB: 143577 ... c Min unsat cost LB: 143578 ... c Min unsat cost LB: 143579 ... c Min unsat cost LB: 143580 ... c Min unsat cost LB: 143581 ... c Min unsat cost LB: 143582 ... c Min unsat cost LB: 143583 ... c Min unsat cost LB: 143584 ... c Min unsat cost LB: 143585 ... c Min unsat cost LB: 143589 ... c Min unsat cost LB: 143590 ... c Min unsat cost LB: 143593 ... c Min unsat cost LB: 143594 ... c Min unsat cost LB: 143601 ... c Min unsat cost LB: 144167 ... c Min unsat cost LB: 144209 ... c Min unsat cost LB: 144329 ... c Min unsat cost LB: 144490 ... c Min unsat cost LB: 144645 ... c Min unsat cost LB: 144656 ... c Min unsat cost LB: 144764 ... c Min unsat cost LB: 145284 ... c Min unsat cost LB: 146285 ... c Min unsat cost LB: 146360 ... c Min unsat cost LB: 146996 ... c Min unsat cost LB: 147117 ... c Min unsat cost LB: 147178 ... c Min unsat cost LB: 147296 ... c Min unsat cost LB: 147509 ... c Min unsat cost LB: 147810 ... c Min unsat cost LB: 147812 ... c Min unsat cost LB: 147814 ... c Min unsat cost LB: 147816 ... c Min unsat cost LB: 147819 ... c Min unsat cost LB: 147820 ... c Min unsat cost LB: 147823 ... c Min unsat cost LB: 147826 ... c Min unsat cost LB: 147827 ... c Min unsat cost LB: 147830 ... c Min unsat cost LB: 147831 ... c Min unsat cost LB: 147832 ... c Min unsat cost LB: 147833 ... c Min unsat cost LB: 147834 ... c Min unsat cost LB: 147838 ... c Min unsat cost LB: 147839 ... c Min unsat cost LB: 147840 ... c Min unsat cost LB: 147842 ... c Min unsat cost LB: 147847 ... c Min unsat cost LB: 147849 ... c Min unsat cost LB: 147850 ... c Min unsat cost LB: 147851 ... c Min unsat cost LB: 147853 ... c Min unsat cost LB: 147854 ... c Min unsat cost LB: 147855 ... c Min unsat cost LB: 147858 ... c Min unsat cost LB: 147859 ... c Min unsat cost LB: 147860 ... c Min unsat cost LB: 147861 ... c Min unsat cost LB: 147862 ... c Min unsat cost LB: 147863 ... c Min unsat cost LB: 147865 ... c Min unsat cost LB: 147866 ... c Min unsat cost LB: 147867 ... c Min unsat cost LB: 147870 ... c Min unsat cost LB: 147871 ... c Min unsat cost LB: 147872 ... c Min unsat cost LB: 147873 ... c Min unsat cost LB: 147874 ... c Min unsat cost LB: 147875 ... c Min unsat cost LB: 147876 ... c Min unsat cost LB: 147877 ... c Min unsat cost LB: 147878 ... c Min unsat cost LB: 147881 ... c Min unsat cost LB: 147882 ... c Min unsat cost LB: 147884 ... c Min unsat cost LB: 147885 ... c Min unsat cost LB: 147886 ... c Min unsat cost LB: 147887 ... c Min unsat cost LB: 147888 ... c Min unsat cost LB: 147889 ... c Min unsat cost LB: 147890 ... c Min unsat cost LB: 147891 ... c Min unsat cost LB: 147892 ... c Min unsat cost LB: 147893 ... c Min unsat cost LB: 147894 ... c Min unsat cost LB: 147895 ... c Min unsat cost LB: 147896 ... c Min unsat cost LB: 147897 ... c Min unsat cost LB: 147898 ... c Min unsat cost LB: 147899 ... c Min unsat cost LB: 147900 ... c Min unsat cost LB: 147901 ... c Min unsat cost LB: 147902 ... c Min unsat cost LB: 147906 ... c Min unsat cost LB: 147908 ... c Min unsat cost LB: 147909 ... c Min unsat cost LB: 147910 ... c Min unsat cost LB: 147911 ... c Min unsat cost LB: 147912 ... c Min unsat cost LB: 147913 ... c Min unsat cost LB: 147914 ... c Min unsat cost LB: 147915 ... c Min unsat cost LB: 147916 ... c Min unsat cost LB: 147917 ... c Min unsat cost LB: 147918 ... c Min unsat cost LB: 147919 ... c Min unsat cost LB: 147920 ... c Min unsat cost LB: 147921 ... c Min unsat cost LB: 147943 ... c Min unsat cost LB: 147944 ... c Min unsat cost LB: 147945 ... c Min unsat cost LB: 147946 ... c Min unsat cost LB: 147948 ... c Min unsat cost LB: 147954 ... c Min unsat cost LB: 147955 ... c Min unsat cost LB: 147956 ... c Min unsat cost LB: 147957 ... c Min unsat cost LB: 147958 ... c Min unsat cost LB: 147959 ... c Min unsat cost LB: 147960 ... c Min unsat cost LB: 147961 ... c Min unsat cost LB: 147962 ... c Min unsat cost LB: 147963 ... c Min unsat cost LB: 147964 ... c Min unsat cost LB: 147965 ... c Min unsat cost LB: 147966 ... c Min unsat cost LB: 147967 ... c Min unsat cost LB: 147968 ... c Min unsat cost LB: 147969 ... c Min unsat cost LB: 147970 ... c Min unsat cost LB: 147971 ... c Min unsat cost LB: 147972 ... c Min unsat cost LB: 147973 ... c Min unsat cost LB: 147974 ... c Min unsat cost LB: 147975 ... c Min unsat cost LB: 147976 ... c Min unsat cost LB: 147977 ... c Min unsat cost LB: 147978 ... c Min unsat cost LB: 147979 ... c Min unsat cost LB: 147980 ... c Min unsat cost LB: 147981 ... c Min unsat cost LB: 147982 ... c Min unsat cost LB: 147983 ... c Min unsat cost LB: 147984 ... c Min unsat cost LB: 147989 ... c Min unsat cost LB: 147991 ... c Min unsat cost LB: 147992 ... c Min unsat cost LB: 147993 ... c Min unsat cost LB: 147994 ... c Min unsat cost LB: 147995 ... c Min unsat cost LB: 147996 ... c Min unsat cost LB: 147997 ... c Min unsat cost LB: 147998 ... c Min unsat cost LB: 147999 ... c Min unsat cost LB: 148001 ... c Min unsat cost LB: 148002 ... c Min unsat cost LB: 148003 ... c Min unsat cost LB: 148005 ... c Min unsat cost LB: 148007 ... c Min unsat cost LB: 148008 ... c Min unsat cost LB: 148010 ... c Min unsat cost LB: 148011 ... c Min unsat cost LB: 148012 ... c Min unsat cost LB: 148013 ... c Min unsat cost LB: 148014 ... c Min unsat cost LB: 148015 ... c Min unsat cost LB: 148016 ... c Min unsat cost LB: 148017 ... c Min unsat cost LB: 148018 ... c Min unsat cost LB: 148019 ... c Min unsat cost LB: 148020 ... c Min unsat cost LB: 148021 ... c Min unsat cost LB: 148022 ... c Min unsat cost LB: 148023 ... c Min unsat cost LB: 148024 ... c Min unsat cost LB: 148025 ... c Min unsat cost LB: 148026 ... c Min unsat cost LB: 148027 ... c Min unsat cost LB: 148028 ... c Min unsat cost LB: 148029 ... c Min unsat cost LB: 148030 ... c Min unsat cost LB: 148031 ... c Min unsat cost LB: 148032 ... c Min unsat cost LB: 148044 ... c Min unsat cost LB: 148045 ... c Min unsat cost LB: 148046 ... c Min unsat cost LB: 148047 ... c Min unsat cost LB: 148048 ... c Min unsat cost LB: 148049 ... c Min unsat cost LB: 148050 ... c Min unsat cost LB: 148051 ... c Min unsat cost LB: 148052 ... c Min unsat cost LB: 148053 ... c Min unsat cost LB: 148054 ... c Min unsat cost LB: 148055 ... c Min unsat cost LB: 148056 ... c Min unsat cost LB: 148057 ... c Min unsat cost LB: 148058 ... c Min unsat cost LB: 148061 ... c Min unsat cost LB: 148062 ... c Min unsat cost LB: 148063 ... c Min unsat cost LB: 148067 ... c Min unsat cost LB: 148071 ... c Min unsat cost LB: 148072 ... c Min unsat cost LB: 148073 ... c Min unsat cost LB: 148074 ... c Min unsat cost LB: 148075 ... c Min unsat cost LB: 148076 ... c Min unsat cost LB: 148077 ... c Min unsat cost LB: 148078 ... c Min unsat cost LB: 148079 ... c Min unsat cost LB: 148080 ... c Min unsat cost LB: 148081 ... c Min unsat cost LB: 148082 ... c Min unsat cost LB: 148083 ... c Min unsat cost LB: 148084 ... c Min unsat cost LB: 148085 ... c Min unsat cost LB: 148086 ... c Min unsat cost LB: 148087 ... c Min unsat cost LB: 148882 ... c Min unsat cost LB: 148952 ... c Min unsat cost LB: 149069 ... c Min unsat cost LB: 149236 ... c Min unsat cost LB: 149423 ... c Min unsat cost LB: 149455 ... c Min unsat cost LB: 149799 ... c Min unsat cost LB: 149815 ... c Min unsat cost LB: 150354 ... c Min unsat cost LB: 150948 ... c Min unsat cost LB: 151034 ... c Min unsat cost LB: 152335 ... c Min unsat cost LB: 152388 ... c Min unsat cost LB: 152434 ... c Min unsat cost LB: 152851 ... c Min unsat cost LB: 153128 ... c Min unsat cost LB: 153168 ... c Min unsat cost LB: 153865 ... c Min unsat cost LB: 154243 ... c Min unsat cost LB: 154769 ... c Min unsat cost LB: 154789 ... c Min unsat cost LB: 155252 ... c Min unsat cost LB: 155506 ... c Min unsat cost LB: 155675 ... c Min unsat cost LB: 155957 ... c Min unsat cost LB: 156467 ... c Min unsat cost LB: 157122 ... c Min unsat cost LB: 157384 ... c Min unsat cost LB: 157428 ... c Min unsat cost LB: 158374 ... c Min unsat cost LB: 158453 ... c Min unsat cost LB: 158614 ... c Min unsat cost LB: 159103 ... c Min unsat cost LB: 159400 ... c Min unsat cost LB: 159631 ... c Min unsat cost LB: 159651 ... c Min unsat cost LB: 159809 ... c Min unsat cost LB: 159820 ... c Min unsat cost LB: 159915 ... c Min unsat cost LB: 159988 ... c Min unsat cost LB: 160054 ... c Min unsat cost LB: 160259 ... c Min unsat cost LB: 160476 ... c Min unsat cost LB: 160881 ... c Min unsat cost LB: 161108 ... c Min unsat cost LB: 161170 ... c Min unsat cost LB: 161180 ... c Min unsat cost LB: 161200 ... c Min unsat cost LB: 161462 ... c Min unsat cost LB: 162353 ... c Min unsat cost LB: 162444 ... c Min unsat cost LB: 163101 ... c Min unsat cost LB: 163301 ... c Min unsat cost LB: 163312 ... c Min unsat cost LB: 163589 ... c Min unsat cost LB: 164215 ... c Min unsat cost LB: 164793 ... c Min unsat cost LB: 165098 ... c Min unsat cost LB: 165523 ... c Min unsat cost LB: 165578 ... c Min unsat cost LB: 165771 ... c Min unsat cost LB: 165943 ... c Min unsat cost LB: 166207 ... c Min unsat cost LB: 166516 ... c Min unsat cost LB: 166537 ... c Min unsat cost LB: 167184 ... c Min unsat cost LB: 167527 ... c Min unsat cost LB: 167681 ... c Min unsat cost LB: 167777 ... c Min unsat cost LB: 167800 ... c Min unsat cost LB: 167823 ... c Min unsat cost LB: 168158 ... c Min unsat cost LB: 169363 ... c Min unsat cost LB: 169548 ... c Min unsat cost LB: 169627 ... c Min unsat cost LB: 170067 ... c Min unsat cost LB: 170184 ... c Min unsat cost LB: 170331 ... c Min unsat cost LB: 171116 ... c Min unsat cost LB: 171679 ... c Min unsat cost LB: 171885 ... c Min unsat cost LB: 172318 ... c Min unsat cost LB: 172355 ... c Min unsat cost LB: 172780 ... c Min unsat cost LB: 173950 ... c Min unsat cost LB: 173996 ... c Min unsat cost LB: 174103 ... c Min unsat cost LB: 174181 ... c Min unsat cost LB: 174204 ... c Min unsat cost LB: 174427 ... c Min unsat cost LB: 174469 ... c Min unsat cost LB: 174872 ... c Min unsat cost LB: 175261 ... c Min unsat cost LB: 175303 ... c Min unsat cost LB: 175335 ... c Min unsat cost LB: 175361 ... c Min unsat cost LB: 175981 ... c Min unsat cost LB: 176543 ... c Min unsat cost LB: 176634 ... c Min unsat cost LB: 176652 ... c Min unsat cost LB: 176748 ... c Min unsat cost LB: 176791 ... c Min unsat cost LB: 177044 ... c Min unsat cost LB: 177121 ... c Min unsat cost LB: 177153 ... c Min unsat cost LB: 177167 ... c Min unsat cost LB: 177292 ... c Min unsat cost LB: 1773Killed 1807.473u 12.267s 30:19.92 99.9% 0+0k 0+0io 0pf+0w