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-50-2_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-3.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-50-2_network-3.net.wcnf *** c c Min unsat cost LB: 717 ... c Min unsat cost LB: 2335 ... c Min unsat cost LB: 3655 ... c Min unsat cost LB: 4774 ... c Min unsat cost LB: 6101 ... c Min unsat cost LB: 6736 ... c Min unsat cost LB: 6911 ... c Min unsat cost LB: 7976 ... c Min unsat cost LB: 8531 ... c Min unsat cost LB: 9125 ... c Min unsat cost LB: 9127 ... c Min unsat cost LB: 9620 ... c Min unsat cost LB: 10138 ... c Min unsat cost LB: 10827 ... c Min unsat cost LB: 11605 ... c Min unsat cost LB: 11899 ... c Min unsat cost LB: 12016 ... c Min unsat cost LB: 12219 ... c Min unsat cost LB: 12329 ... c Min unsat cost LB: 12336 ... c Min unsat cost LB: 12540 ... c Min unsat cost LB: 13448 ... c Min unsat cost LB: 13581 ... c Min unsat cost LB: 13871 ... c Min unsat cost LB: 14125 ... c Min unsat cost LB: 14456 ... c Min unsat cost LB: 14622 ... c Min unsat cost LB: 14687 ... c Min unsat cost LB: 15053 ... c Min unsat cost LB: 15126 ... c Min unsat cost LB: 15150 ... c Min unsat cost LB: 15299 ... c Min unsat cost LB: 15894 ... c Min unsat cost LB: 16085 ... c Min unsat cost LB: 16263 ... c Min unsat cost LB: 16412 ... c Min unsat cost LB: 16734 ... c Min unsat cost LB: 16821 ... c Min unsat cost LB: 16936 ... c Min unsat cost LB: 17030 ... c Min unsat cost LB: 17144 ... c Min unsat cost LB: 17342 ... c Min unsat cost LB: 17456 ... c Min unsat cost LB: 17582 ... c Min unsat cost LB: 17759 ... c Min unsat cost LB: 17904 ... c Min unsat cost LB: 17924 ... c Min unsat cost LB: 17970 ... c Min unsat cost LB: 18518 ... c Min unsat cost LB: 18529 ... c Min unsat cost LB: 18618 ... c Min unsat cost LB: 18749 ... c Min unsat cost LB: 18809 ... c Min unsat cost LB: 19147 ... c Min unsat cost LB: 19210 ... c Min unsat cost LB: 19463 ... c Min unsat cost LB: 20043 ... c Min unsat cost LB: 20232 ... c Min unsat cost LB: 20365 ... c Min unsat cost LB: 20487 ... c Min unsat cost LB: 20512 ... c Min unsat cost LB: 20591 ... c Min unsat cost LB: 21065 ... c Min unsat cost LB: 21165 ... c Min unsat cost LB: 22280 ... c Min unsat cost LB: 22509 ... c Min unsat cost LB: 22519 ... c Min unsat cost LB: 22748 ... c Min unsat cost LB: 22939 ... c Min unsat cost LB: 22959 ... c Min unsat cost LB: 22984 ... c Min unsat cost LB: 23003 ... c Min unsat cost LB: 23656 ... c Min unsat cost LB: 23859 ... c Min unsat cost LB: 23865 ... c Min unsat cost LB: 23952 ... c Min unsat cost LB: 24512 ... c Min unsat cost LB: 25219 ... c Min unsat cost LB: 25244 ... c Min unsat cost LB: 25318 ... c Min unsat cost LB: 25411 ... c Min unsat cost LB: 25697 ... c Min unsat cost LB: 26476 ... c Min unsat cost LB: 26687 ... c Min unsat cost LB: 27047 ... c Min unsat cost LB: 27113 ... c Min unsat cost LB: 27148 ... c Min unsat cost LB: 27155 ... c Min unsat cost LB: 27156 ... c Min unsat cost LB: 27167 ... c Min unsat cost LB: 27258 ... c Min unsat cost LB: 27482 ... c Min unsat cost LB: 27538 ... c Min unsat cost LB: 27722 ... c Min unsat cost LB: 27748 ... c Min unsat cost LB: 27885 ... c Min unsat cost LB: 27904 ... c Min unsat cost LB: 28148 ... c Min unsat cost LB: 28163 ... c Min unsat cost LB: 28191 ... c Min unsat cost LB: 28456 ... c Min unsat cost LB: 28653 ... c Min unsat cost LB: 28729 ... c Min unsat cost LB: 28963 ... c Min unsat cost LB: 28995 ... c Min unsat cost LB: 29023 ... c Min unsat cost LB: 29129 ... c Min unsat cost LB: 29136 ... c Min unsat cost LB: 29154 ... c Min unsat cost LB: 29253 ... c Min unsat cost LB: 29422 ... c Min unsat cost LB: 29443 ... c Min unsat cost LB: 29462 ... c Min unsat cost LB: 29468 ... c Min unsat cost LB: 29473 ... c Min unsat cost LB: 29474 ... c Min unsat cost LB: 29479 ... c Min unsat cost LB: 29480 ... c Min unsat cost LB: 29486 ... c Min unsat cost LB: 29488 ... c Min unsat cost LB: 29494 ... c Min unsat cost LB: 29502 ... c Min unsat cost LB: 29513 ... c Min unsat cost LB: 29521 ... c Min unsat cost LB: 29522 ... c Min unsat cost LB: 29535 ... c Min unsat cost LB: 29540 ... c Min unsat cost LB: 29541 ... c Min unsat cost LB: 29580 ... c Min unsat cost LB: 29800 ... c Min unsat cost LB: 30074 ... c Min unsat cost LB: 30081 ... c Min unsat cost LB: 30082 ... c Min unsat cost LB: 30085 ... c Min unsat cost LB: 30086 ... c Min unsat cost LB: 30087 ... c Min unsat cost LB: 30088 ... c Min unsat cost LB: 30098 ... c Min unsat cost LB: 30099 ... c Min unsat cost LB: 30100 ... c Min unsat cost LB: 30101 ... c Min unsat cost LB: 30106 ... c Min unsat cost LB: 30107 ... c Min unsat cost LB: 30111 ... c Min unsat cost LB: 30112 ... c Min unsat cost LB: 30113 ... c Min unsat cost LB: 30118 ... c Min unsat cost LB: 30121 ... c Min unsat cost LB: 30122 ... c Min unsat cost LB: 30126 ... c Min unsat cost LB: 30128 ... c Min unsat cost LB: 30226 ... c Min unsat cost LB: 30237 ... c Min unsat cost LB: 30361 ... c Min unsat cost LB: 30705 ... c Min unsat cost LB: 30714 ... c Min unsat cost LB: 30763 ... c Min unsat cost LB: 30790 ... c Min unsat cost LB: 30801 ... c Min unsat cost LB: 31433 ... c Min unsat cost LB: 31577 ... c Min unsat cost LB: 31589 ... c Min unsat cost LB: 31593 ... c Min unsat cost LB: 31598 ... c Min unsat cost LB: 31601 ... c Min unsat cost LB: 31602 ... c Min unsat cost LB: 31603 ... c Min unsat cost LB: 31604 ... c Min unsat cost LB: 31605 ... c Min unsat cost LB: 31630 ... c Min unsat cost LB: 31639 ... c Min unsat cost LB: 31656 ... c Min unsat cost LB: 31688 ... c Min unsat cost LB: 31710 ... c Min unsat cost LB: 31716 ... c Min unsat cost LB: 31758 ... c Min unsat cost LB: 31845 ... c Min unsat cost LB: 31846 ... c Min unsat cost LB: 31848 ... c Min unsat cost LB: 31870 ... c Min unsat cost LB: 31871 ... c Min unsat cost LB: 31872 ... c Min unsat cost LB: 31873 ... c Min unsat cost LB: 31874 ... c Min unsat cost LB: 31875 ... c Min unsat cost LB: 31876 ... c Min unsat cost LB: 31877 ... c Min unsat cost LB: 31879 ... c Min unsat cost LB: 31880 ... c Min unsat cost LB: 31902 ... c Min unsat cost LB: 31905 ... c Min unsat cost LB: 31914 ... c Min unsat cost LB: 31922 ... c Min unsat cost LB: 31924 ... c Min unsat cost LB: 31927 ... c Min unsat cost LB: 31928 ... c Min unsat cost LB: 31931 ... c Min unsat cost LB: 31933 ... c Min unsat cost LB: 32050 ... c Min unsat cost LB: 32070 ... c Min unsat cost LB: 32128 ... c Min unsat cost LB: 32187 ... c Min unsat cost LB: 32245 ... c Min unsat cost LB: 32274 ... c Min unsat cost LB: 32522 ... c Min unsat cost LB: 32803 ... c Min unsat cost LB: 32840 ... c Min unsat cost LB: 32869 ... c Min unsat cost LB: 33021 ... c Min unsat cost LB: 33090 ... c Min unsat cost LB: 33159 ... c Min unsat cost LB: 33209 ... c Min unsat cost LB: 33210 ... c Min unsat cost LB: 33211 ... c Min unsat cost LB: 33212 ... c Min unsat cost LB: 33213 ... c Min unsat cost LB: 33220 ... c Min unsat cost LB: 33221 ... c Min unsat cost LB: 33222 ... c Min unsat cost LB: 33223 ... c Min unsat cost LB: 33229 ... c Min unsat cost LB: 33230 ... c Min unsat cost LB: 33235 ... c Min unsat cost LB: 33245 ... c Min unsat cost LB: 33249 ... c Min unsat cost LB: 33256 ... c Min unsat cost LB: 33257 ... c Min unsat cost LB: 33259 ... c Min unsat cost LB: 33261 ... c Min unsat cost LB: 33265 ... c Min unsat cost LB: 33268 ... c Min unsat cost LB: 33270 ... c Min unsat cost LB: 33272 ... c Min unsat cost LB: 33273 ... c Min unsat cost LB: 33274 ... c Min unsat cost LB: 33275 ... c Min unsat cost LB: 33276 ... c Min unsat cost LB: 33277 ... c Min unsat cost LB: 33278 ... c Min unsat cost LB: 33279 ... c Min unsat cost LB: 33280 ... c Min unsat cost LB: 33281 ... c Min unsat cost LB: 33282 ... c Min unsat cost LB: 33283 ... c Min unsat cost LB: 33284 ... c Min unsat cost LB: 33285 ... c Min unsat cost LB: 33286 ... c Min unsat cost LB: 33288 ... c Min unsat cost LB: 33289 ... c Min unsat cost LB: 33290 ... c Min unsat cost LB: 33291 ... c Min unsat cost LB: 33292 ... c Min unsat cost LB: 33293 ... c Min unsat cost LB: 33294 ... c Min unsat cost LB: 33295 ... c Min unsat cost LB: 33297 ... c Min unsat cost LB: 33298 ... c Min unsat cost LB: 33299 ... c Min unsat cost LB: 33300 ... c Min unsat cost LB: 33302 ... c Min unsat cost LB: 33303 ... c Min unsat cost LB: 33304 ... c Min unsat cost LB: 33305 ... c Min unsat cost LB: 33306 ... c Min unsat cost LB: 33307 ... c Min unsat cost LB: 33308 ... c Min unsat cost LB: 33309 ... c Min unsat cost LB: 33312 ... c Min unsat cost LB: 33319 ... c Min unsat cost LB: 33323 ... c Min unsat cost LB: 33334 ... c Min unsat cost LB: 33336 ... c Min unsat cost LB: 33337 ... c Min unsat cost LB: 33339 ... c Min unsat cost LB: 33340 ... c Min unsat cost LB: 33348 ... c Min unsat cost LB: 33377 ... c Min unsat cost LB: 33557 ... c Min unsat cost LB: 33733 ... c Min unsat cost LB: 33827 ... c Min unsat cost LB: 33835 ... c Min unsat cost LB: 33899 ... c Min unsat cost LB: 34044 ... c Min unsat cost LB: 34082 ... c Min unsat cost LB: 34095 ... c Min unsat cost LB: 34102 ... c Min unsat cost LB: 34115 ... c Min unsat cost LB: 34123 ... c Min unsat cost LB: 34161 ... c Min unsat cost LB: 34173 ... c Min unsat cost LB: 34205 ... c Min unsat cost LB: 34219 ... c Min unsat cost LB: 34221 ... c Min unsat cost LB: 34428 ... c Min unsat cost LB: 34677 ... c Min unsat cost LB: 35322 ... c Min unsat cost LB: 35330 ... c Min unsat cost LB: 35336 ... c Min unsat cost LB: 35406 ... c Min unsat cost LB: 35458 ... c Min unsat cost LB: 35461 ... c Min unsat cost LB: 35607 ... c Min unsat cost LB: 35620 ... c Min unsat cost LB: 35624 ... c Min unsat cost LB: 35715 ... c Min unsat cost LB: 35723 ... c Min unsat cost LB: 35803 ... c Min unsat cost LB: 35805 ... c Min unsat cost LB: 35869 ... c Min unsat cost LB: 35878 ... c Min unsat cost LB: 35908 ... c Min unsat cost LB: 35936 ... c Min unsat cost LB: 35949 ... c Min unsat cost LB: 35981 ... c Min unsat cost LB: 35992 ... c Min unsat cost LB: 35994 ... c Min unsat cost LB: 36014 ... c Min unsat cost LB: 36305 ... c Min unsat cost LB: 36561 ... c Min unsat cost LB: 36819 ... c Min unsat cost LB: 36888 ... c Min unsat cost LB: 36938 ... c Min unsat cost LB: 36960 ... c Min unsat cost LB: 37038 ... c Min unsat cost LB: 37201 ... c Min unsat cost LB: 37222 ... c Min unsat cost LB: 37231 ... c Min unsat cost LB: 37245 ... c Min unsat cost LB: 37249 ... c Min unsat cost LB: 37255 ... c Min unsat cost LB: 37263 ... c Min unsat cost LB: 37264 ... c Min unsat cost LB: 37266 ... c Min unsat cost LB: 37296 ... c Min unsat cost LB: 37316 ... c Min unsat cost LB: 37366 ... c Min unsat cost LB: 37372 ... c Min unsat cost LB: 37382 ... c Min unsat cost LB: 37391 ... c Min unsat cost LB: 37396 ... c Min unsat cost LB: 37402 ... c Min unsat cost LB: 37404 ... c Min unsat cost LB: 37430 ... c Min unsat cost LB: 37434 ... c Min unsat cost LB: 37471 ... c Min unsat cost LB: 37540 ... c Min unsat cost LB: 37560 ... c Min unsat cost LB: 37806 ... c Min unsat cost LB: 37858 ... c Min unsat cost LB: 38133 ... c Min unsat cost LB: 38155 ... c Min unsat cost LB: 38342 ... c Min unsat cost LB: 38362 ... c Min unsat cost LB: 38442 ... c Min unsat cost LB: 38491 ... c Min unsat cost LB: 38661 ... c Min unsat cost LB: 39295 ... c Min unsat cost LB: 39299 ... c Min unsat cost LB: 39309 ... c Min unsat cost LB: 39320 ... c Min unsat cost LB: 39376 ... c Min unsat cost LB: 39400 ... c Min unsat cost LB: 39401 ... c Min unsat cost LB: 39406 ... c Min unsat cost LB: 39409 ... c Min unsat cost LB: 39434 ... c Min unsat cost LB: 39443 ... c Min unsat cost LB: 39460 ... c Min unsat cost LB: 39462 ... c Min unsat cost LB: 39465 ... c Min unsat cost LB: 39466 ... c Min unsat cost LB: 39471 ... c Min unsat cost LB: 39472 ... c Min unsat cost LB: 39473 ... c Min unsat cost LB: 39474 ... c Min unsat cost LB: 39477 ... c Min unsat cost LB: 39484 ... c Min unsat cost LB: 39492 ... c Min unsat cost LB: 39496 ... c Min unsat cost LB: 39502 ... c Min unsat cost LB: 39504 ... c Min unsat cost LB: 39505 ... c Min unsat cost LB: 39506 ... c Min unsat cost LB: 39508 ... c Min unsat cost LB: 39517 ... c Min unsat cost LB: 39519 ... c Min unsat cost LB: 39531 ... c Min unsat cost LB: 39541 ... c Min unsat cost LB: 39559 ... c Min unsat cost LB: 39587 ... c Min unsat cost LB: 39602 ... c Min unsat cost LB: 39607 ... c Min unsat cost LB: 39608 ... c Min unsat cost LB: 39609 ... c Min unsat cost LB: 40393 ... c Min unsat cost LB: 40546 ... c Min unsat cost LB: 40583 ... c Min unsat cost LB: 40627 ... c Min unsat cost LB: 40691 ... c Min unsat cost LB: 40744 ... c Min unsat cost LB: 40875 ... c Min unsat cost LB: 40928 ... c Min unsat cost LB: 41170 ... c Min unsat cost LB: 41293 ... c Min unsat cost LB: 41673 ... c Min unsat cost LB: 41778 ... c Min unsat cost LB: 41812 ... c Min unsat cost LB: 41856 ... c Min unsat cost LB: 41871 ... c Min unsat cost LB: 41920 ... c Min unsat cost LB: 41952 ... c Min unsat cost LB: 41973 ... c Min unsat cost LB: 42042 ... c Min unsat cost LB: 42104 ... c Min unsat cost LB: 42106 ... c Min unsat cost LB: 42123 ... c Min unsat cost LB: 42174 ... c Min unsat cost LB: 42181 ... c Min unsat cost LB: 42267 ... c Min unsat cost LB: 42269 ... c Min unsat cost LB: 42297 ... c Min unsat cost LB: 42310 ... c Min unsat cost LB: 42332 ... c Min unsat cost LB: 42366 ... c Min unsat cost LB: 42375 ... c Min unsat cost LB: 42377 ... c Min unsat cost LB: 42381 ... c Min unsat cost LB: 42383 ... c Min unsat cost LB: 42384 ... c Min unsat cost LB: 42387 ... c Min unsat cost LB: 42388 ... c Min unsat cost LB: 42390 ... c Min unsat cost LB: 42393 ... c Min unsat cost LB: 42397 ... c Min unsat cost LB: 42412 ... c Min unsat cost LB: 42419 ... c Min unsat cost LB: 42422 ... c Min unsat cost LB: 42425 ... c Min unsat cost LB: 42426 ... c Min unsat cost LB: 42428 ... c Min unsat cost LB: 42430 ... c Min unsat cost LB: 42431 ... c Min unsat cost LB: 42432 ... c Min unsat cost LB: 42433 ... c Min unsat cost LB: 42435 ... c Min unsat cost LB: 42437 ... c Min unsat cost LB: 42443 ... c Min unsat cost LB: 42503 ... c Min unsat cost LB: 42531 ... c Min unsat cost LB: 42574 ... c Min unsat cost LB: 42625 ... c Min unsat cost LB: 42641 ... c Min unsat cost LB: 42653 ... c Min unsat cost LB: 42697 ... c Min unsat cost LB: 42710 ... c Min unsat cost LB: 42729 ... c Min unsat cost LB: 42981 ... c Min unsat cost LB: 42983 ... c Min unsat cost LB: 43067 ... c Min unsat cost LB: 43072 ... c Min unsat cost LB: 43161 ... c Min unsat cost LB: 43174 ... c Min unsat cost LB: 43324 ... c Min unsat cost LB: 43329 ... c Min unsat cost LB: 43359 ... c Min unsat cost LB: 43387 ... c Min unsat cost LB: 43474 ... c Min unsat cost LB: 43478 ... c Min unsat cost LB: 43490 ... c Min unsat cost LB: 43501 ... c Min unsat cost LB: 43502 ... c Min unsat cost LB: 43523 ... c Min unsat cost LB: 43563 ... c Min unsat cost LB: 43567 ... c Min unsat cost LB: 43575 ... c Min unsat cost LB: 43582 ... c Min unsat cost LB: 43584 ... c Min unsat cost LB: 43594 ... c Min unsat cost LB: 43596 ... c Min unsat cost LB: 43598 ... c Min unsat cost LB: 43599 ... c Min unsat cost LB: 43601 ... c Min unsat cost LB: 43606 ... c Min unsat cost LB: 43611 ... c Min unsat cost LB: 43616 ... c Min unsat cost LB: 43622 ... c Min unsat cost LB: 43631 ... c Min unsat cost LB: 43635 ... c Min unsat cost LB: 43642 ... c Min unsat cost LB: 43655 ... c Min unsat cost LB: 43672 ... c Min unsat cost LB: 43688 ... c Min unsat cost LB: 43699 ... c Min unsat cost LB: 43700 ... c Min unsat cost LB: 43701 ... c Min unsat cost LB: 43703 ... c Min unsat cost LB: 43709 ... c Min unsat cost LB: 43721 ... c Min unsat cost LB: 43740 ... c Min unsat cost LB: 43754 ... c Min unsat cost LB: 43755 ... c Min unsat cost LB: 43784 ... c Min unsat cost LB: 43861 ... c Min unsat cost LB: 43867 ... c Min unsat cost LB: 43874 ... c Min unsat cost LB: 43918 ... c Min unsat cost LB: 43988 ... c Min unsat cost LB: 43993 ... c Min unsat cost LB: 44007 ... c Min unsat cost LB: 44024 ... c Min unsat cost LB: 44029 ... c Min unsat cost LB: 44071 ... c Min unsat cost LB: 44077 ... c Min unsat cost LB: 44089 ... c Min unsat cost LB: 44169 ... c Min unsat cost LB: 44478 ... c Min unsat cost LB: 44487 ... c Min unsat cost LB: 44496 ... c Min unsat cost LB: 44525 ... c Min unsat cost LB: 44526 ... c Min unsat cost LB: 44565 ... c Min unsat cost LB: 44612 ... c Min unsat cost LB: 44617 ... c Min unsat cost LB: 44618 ... c Min unsat cost LB: 44619 ... c Min unsat cost LB: 44620 ... c Min unsat cost LB: 44623 ... c Min unsat cost LB: 44625 ... c Min unsat cost LB: 44632 ... c Min unsat cost LB: 44634 ... c Min unsat cost LB: 44635 ... c Min unsat cost LB: 44640 ... c Min unsat cost LB: 44641 ... c Min unsat cost LB: 44644 ... c Min unsat cost LB: 44646 ... c Min unsat cost LB: 44647 ... c Min unsat cost LB: 44650 ... c Min unsat cost LB: 44653 ... c Min unsat cost LB: 44654 ... c Min unsat cost LB: 44656 ... c Min unsat cost LB: 44659 ... c Min unsat cost LB: 44668 ... c Min unsat cost LB: 44677 ... c Min unsat cost LB: 44682 ... c Min unsat cost LB: 44684 ... c Min unsat cost LB: 44689 ... c Min unsat cost LB: 44699 ... c Min unsat cost LB: 44702 ... c Min unsat cost LB: 44706 ... c Min unsat cost LB: 44709 ... c Min unsat cost LB: 44711 ... c Min unsat cost LB: 44716 ... c Min unsat cost LB: 44720 ... c Min unsat cost LB: 44723 ... c Min unsat cost LB: 44725 ... c Min unsat cost LB: 44727 ... c Min unsat cost LB: 44731 ... c Min unsat cost LB: 44763 ... c Min unsat cost LB: 44838 ... c Min unsat cost LB: 44877 ... c Min unsat cost LB: 45004 ... c Min unsat cost LB: 45048 ... c Min unsat cost LB: 45053 ... c Min unsat cost LB: 45066 ... c Min unsat cost LB: 45067 ... c Min unsat cost LB: 45078 ... c Min unsat cost LB: 45079 ... c Min unsat cost LB: 45085 ... c Min unsat cost LB: 45087 ... c Min unsat cost LB: 45089 ... c Min unsat cost LB: 45090 ... c Min unsat cost LB: 45092 ... c Min unsat cost LB: 45093 ... c Min unsat cost LB: 45096 ... c Min unsat cost LB: 45097 ... c Min unsat cost LB: 45101 ... c Min unsat cost LB: 45104 ... c Min unsat cost LB: 45106 ... c Min unsat cost LB: 45115 ... c Min unsat cost LB: 45116 ... c Min unsat cost LB: 45118 ... c Min unsat cost LB: 45120 ... c Min unsat cost LB: 45122 ... c Min unsat cost LB: 45125 ... c Min unsat cost LB: 45130 ... c Min unsat cost LB: 45133 ... c Min unsat cost LB: 45135 ... c Min unsat cost LB: 45137 ... c Min unsat cost LB: 45184 ... c Min unsat cost LB: 45186 ... c Min unsat cost LB: 45215 ... c Min unsat cost LB: 45218 ... c Min unsat cost LB: 45227 ... c Min unsat cost LB: 45230 ... c Min unsat cost LB: 45235 ... c Min unsat cost LB: 45237 ... c Min unsat cost LB: 45240 ... c Min unsat cost LB: 45241 ... c Min unsat cost LB: 45244 ... c Min unsat cost LB: 45245 ... c Min unsat cost LB: 45246 ... c Min unsat cost LB: 45247 ... c Min unsat cost LB: 45251 ... c Min unsat cost LB: 45252 ... c Min unsat cost LB: 45253 ... c Min unsat cost LB: 45254 ... c Min unsat cost LB: 45255 ... c Min unsat cost LB: 45261 ... c Min unsat cost LB: 45262 ... c Min unsat cost LB: 45263 ... c Min unsat cost LB: 45266 ... c Min unsat cost LB: 45279 ... c Min unsat cost LB: 45281 ... c Min unsat cost LB: 45282 ... c Min unsat cost LB: 45289 ... c Min unsat cost LB: 45300 ... c Min unsat cost LB: 45301 ... c Min unsat cost LB: 45303 ... c Min unsat cost LB: 45305 ... c Min unsat cost LB: 45307 ... c Min unsat cost LB: 45308 ... c Min unsat cost LB: 45309 ... c Min unsat cost LB: 45310 ... c Min unsat cost LB: 45311 ... c Min unsat cost LB: 45313 ... c Min unsat cost LB: 45314 ... c Min unsat cost LB: 45316 ... c Min unsat cost LB: 45317 ... c Min unsat cost LB: 45319 ... c Min unsat cost LB: 45320 ... c Min unsat cost LB: 45322 ... c Min unsat cost LB: 45323 ... c Min unsat cost LB: 45324 ... c Min unsat cost LB: 45326 ... c Min unsat cost LB: 45327 ... c Min unsat cost LB: 45328 ... c Min unsat cost LB: 45330 ... c Min unsat cost LB: 45332 ... c Min unsat cost LB: 45335 ... c Min unsat cost LB: 45336 ... c Min unsat cost LB: 45338 ... c Min unsat cost LB: 45339 ... c Min unsat cost LB: 45340 ... c Min unsat cost LB: 45342 ... c Min unsat cost LB: 45343 ... c Min unsat cost LB: 45344 ... c Min unsat cost LB: 45345 ... c Min unsat cost LB: 45349 ... c Min unsat cost LB: 45351 ... c Min unsat cost LB: 45352 ... c Min unsat cost LB: 45353 ... c Min unsat cost LB: 45354 ... c Min unsat cost LB: 45356 ... c Min unsat cost LB: 45357 ... c Min unsat cost LB: 45359 ... c Min unsat cost LB: 45360 ... c Min unsat cost LB: 45362 ... c Min unsat cost LB: 45363 ... c Min unsat cost LB: 45364 ... c Min unsat cost LB: 45365 ... c Min unsat cost LB: 45366 ... c Min unsat cost LB: 45367 ... c Min unsat cost LB: 45370 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 45374 ... c Min unsat cost LB: 45375 ... c Min unsat cost LB: 45376 ... c Min unsat cost LB: 45377 ... c Min unsat cost LB: 45379 ... c Min unsat cost LB: 45380 ... c Min unsat cost LB: 45381 ... c Min unsat cost LB: 45383 ... c Min unsat cost LB: 45385 ... c Min unsat cost LB: 45386 ... c Min unsat cost LB: 45387 ... c Min unsat cost LB: 45388 ... c Min unsat cost LB: 45389 ... c Min unsat cost LB: 45390 ... c Min unsat cost LB: 45391 ... c Min unsat cost LB: 45392 ... c Min unsat cost LB: 45393 ... c Min unsat cost LB: 45394 ... c Min unsat cost LB: 45395 ... c Min unsat cost LB: 45396 ... c Min unsat cost LB: 45397 ... c Min unsat cost LB: 45398 ... c Min unsat cost LB: 45399 ... c Min unsat cost LB: 45400 ... c Min unsat cost LB: 45401 ... c Min unsat cost LB: 45402 ... c Min unsat cost LB: 45403 ... c Min unsat cost LB: 45406 ... c Min unsat cost LB: 45409 ... c Min unsat cost LB: 45410 ... c Min unsat cost LB: 45412 ... c Min unsat cost LB: 45414 ... c Min unsat cost LB: 45416 ... c Min unsat cost LB: 45419 ... c Min unsat cost LB: 45421 ... c Min unsat cost LB: 45425 ... c Min unsat cost LB: 45427 ... c Min unsat cost LB: 45431 ... c Min unsat cost LB: 45436 ... c Min unsat cost LB: 45438 ... c Min unsat cost LB: 45442 ... c Min unsat cost LB: 45443 ... c Min unsat cost LB: 45444 ... c Min unsat cost LB: 45447 ... c Min unsat cost LB: 45453 ... c Min unsat cost LB: 45455 ... c Min unsat cost LB: 45462 ... c Min unsat cost LB: 45463 ... c Min unsat cost LB: 45464 ... c Min unsat cost LB: 45465 ... c Min unsat cost LB: 45483 ... c Min unsat cost LB: 45489 ... c Min unsat cost LB: 45490 ... c Min unsat cost LB: 45491 ... c Min unsat cost LB: 45493 ... c Min unsat cost LB: 45496 ... c Min unsat cost LB: 45497 ... c Min unsat cost LB: 45498 ... c Min unsat cost LB: 45500 ... c Min unsat cost LB: 45501 ... c Min unsat cost LB: 45502 ... c Min unsat cost LB: 45503 ... c Min unsat cost LB: 45505 ... c Min unsat cost LB: 45506 ... c Min unsat cost LB: 45508 ... c Min unsat cost LB: 45509 ... c Min unsat cost LB: 45510 ... c Min unsat cost LB: 45513 ... c Min unsat cost LB: 45517 ... c Min unsat cost LB: 45518 ... c Min unsat cost LB: 45519 ... c Min unsat cost LB: 45520 ... c Min unsat cost LB: 45521 ... c Min unsat cost LB: 45525 ... c Min unsat cost LB: 45527 ... c Min unsat cost LB: 45528 ... c Min unsat cost LB: 45529 ... c Min unsat cost LB: 45530 ... c Min unsat cost LB: 45531 ... c Min unsat cost LB: 45532 ... c Min unsat cost LB: 45533 ... c Min unsat cost LB: 45535 ... c Min unsat cost LB: 45536 ... c Min unsat cost LB: 45537 ... c Min unsat cost LB: 45539 ... c Min unsat cost LB: 45540 ... c Min unsat cost LB: 45541 ... c Min unsat cost LB: 45542 ... c Min unsat cost LB: 45544 ... c Min unsat cost LB: 45546 ... c Min unsat cost LB: 45547 ... c Min unsat cost LB: 45550 ... c Min unsat cost LB: 45552 ... c Min unsat cost LB: 45553 ... c Min unsat cost LB: 45554 ... c Min unsat cost LB: 45555 ... c Min unsat cost LB: 45556 ... c Min unsat cost LB: 45557 ... c Min unsat cost LB: 45558 ... c Min unsat cost LB: 45559 ... c Min unsat cost LB: 45561 ... c Min unsat cost LB: 45562 ... c Min unsat cost LB: 45563 ... c Min unsat cost LB: 45564 ... c Min unsat cost LB: 45565 ... c Min unsat cost LB: 45567 ... c Min unsat cost LB: 45568 ... c Min unsat cost LB: 45569 ... c Min unsat cost LB: 45570 ... c Min unsat cost LB: 45571 ... c Min unsat cost LB: 45572 ... c Min unsat cost LB: 45573 ... c Min unsat cost LB: 45574 ... c Min unsat cost LB: 45575 ... c Min unsat cost LB: 45576 ... c Min unsat cost LB: 45577 ... c Min unsat cost LB: 45578 ... c Min unsat cost LB: 45579 ... c Min unsat cost LB: 45580 ... c Min unsat cost LB: 45581 ... c Min unsat cost LB: 45582 ... c Min unsat cost LB: 45583 ... c Min unsat cost LB: 45584 ... c Min unsat cost LB: 45585 ... c Min unsat cost LB: 45586 ... c Min unsat cost LB: 45587 ... c Min unsat cost LB: 45588 ... c Min unsat cost LB: 45589 ... c Min unsat cost LB: 45590 ... c Min unsat cost LB: 45591 ... c Min unsat cost LB: 45593 ... c Min unsat cost LB: 45594 ... c Min unsat cost LB: 45595 ... c Min unsat cost LB: 45596 ... c Min unsat cost LB: 45597 ... c Min unsat cost LB: 45598 ... c Min unsat cost LB: 45599 ... c Min unsat cost LB: 45600 ... c Min unsat cost LB: 45601 ... c Min unsat cost LB: 45602 ... c Min unsat cost LB: 45603 ... c Min unsat cost LB: 45604 ... c Min unsat cost LB: 45605 ... c Min unsat cost LB: 45606 ... c Min unsat cost LB: 45607 ... c Min unsat cost LB: 45608 ... c Min unsat cost LB: 45609 ... c Min unsat cost LB: 45610 ... c Min unsat cost LB: 45611 ... c Min unsat cost LB: 45612 ... c Min unsat cost LB: 45613 ... c Min unsat cost LB: 45614 ... c Min unsat cost LB: 45615 ... c Min unsat cost LB: 45616 ... c Min unsat cost LB: 45617 ... c Min unsat cost LB: 45618 ... c Min unsat cost LB: 45619 ... c Min unsat cost LB: 45620 ... c Min unsat cost LB: 45621 ... c Min unsat cost LB: 45622 ... c Min unsat cost LB: 45623 ... c Min unsat cost LB: 45624 ... c Min unsat cost LB: 45625 ... c Min unsat cost LB: 45626 ... c Min unsat cost LB: 45627 ... c Min unsat cost LB: 45629 ... c Min unsat cost LB: 45630 ... c Min unsat cost LB: 45631 ... c Min unsat cost LB: 45632 ... c Min unsat cost LB: 45633 ... c Min unsat cost LB: 45634 ... c Min unsat cost LB: 45635 ... c Min unsat cost LB: 45636 ... c Min unsat cost LB: 45637 ... c Min unsat cost LB: 45638 ... c Min unsat cost LB: 45639 ... c Min unsat cost LB: 45640 ... c Min unsat cost LB: 45641 ... c Min unsat cost LB: 45642 ... c Min unsat cost LB: 45644 ... c Min unsat cost LB: 45645 ... c Min unsat cost LB: 45646 ... c Min unsat cost LB: 45649 ... c Min unsat cost LB: 45650 ... c Min unsat cost LB: 45651 ... c Min unsat cost LB: 45652 ... c Min unsat cost LB: 45653 ... c Min unsat cost LB: 45656 ... c Min unsat cost LB: 45657 ... c Min unsat cost LB: 45659 ... c Min unsat cost LB: 45660 ... c Min unsat cost LB: 45661 ... c Min unsat cost LB: 45665 ... c Min unsat cost LB: 45666 ... c Min unsat cost LB: 45669 ... c Min unsat cost LB: 45671 ... c Min unsat cost LB: 45675 ... c Min unsat cost LB: 45678 ... c Min unsat cost LB: 45679 ... c Min unsat cost LB: 45680 ... c Min unsat cost LB: 45681 ... c Min unsat cost LB: 45682 ... c Min unsat cost LB: 45683 ... c Min unsat cost LB: 45684 ... c Min unsat cost LB: 45685 ... c Min unsat cost LB: 45686 ... c Min unsat cost LB: 45687 ... c Min unsat cost LB: 45689 ... c Min unsat cost LB: 45690 ... c Min unsat cost LB: 45691 ... c Min unsat cost LB: 45693 ... c Min unsat cost LB: 45694 ... c Min unsat cost LB: 45695 ... c Min unsat cost LB: 45696 ... c Min unsat cost LB: 45697 ... c Min unsat cost LB: 45698 ... c Min unsat cost LB: 45699 ... c Min unsat cost LB: 45700 ... c Min unsat cost LB: 45701 ... c Min unsat cost LB: 45702 ... c Min unsat cost LB: 45703 ... c Min unsat cost LB: 45704 ... c Min unsat cost LB: 45705 ... c Min unsat cost LB: 45706 ... c Min unsat cost LB: 45707 ... c Min unsat cost LB: 45708 ... c Min unsat cost LB: 45709 ... c Min unsat cost LB: 45710 ... c Min unsat cost LB: 45711 ... c Min unsat cost LB: 45712 ... c Min unsat cost LB: 45713 ... c Min unsat cost LB: 45714 ... c Min unsat cost LB: 45715 ... c Min unsat cost LB: 45716 ... c Min unsat cost LB: 45717 ... c Min unsat cost LB: 45718 ... c Min unsat cost LB: 45719 ... c Min unsat cost LB: 45720 ... c Min unsat cost LB: 45721 ... c Min unsat cost LB: 45722 ... c Min unsat cost LB: 45723 ... c Min unsat cost LB: 45724 ... c Min unsat cost LB: 45725 ... c Min unsat cost LB: 45726 ... c Min unsat cost LB: 45727 ... c Min unsat cost LB: 45729 ... c Min unsat cost LB: 45731 ... c Min unsat cost LB: 45732 ... c Min unsat cost LB: 45733 ... c Min unsat cost LB: 45734 ... c Min unsat cost LB: 45735 ... c Min unsat cost LB: 45736 ... c Min unsat cost LB: 45737 ... c Min unsat cost LB: 45739 ... c Min unsat cost LB: 45740 ... c Min unsat cost LB: 45742 ... c Min unsat cost LB: 45743 ... c Min unsat cost LB: 45744 ... c Min unsat cost LB: 45745 ... c Min unsat cost LB: 45746 ... c Min unsat cost LB: 45747 ... c Min unsat cost LB: 45748 ... c Min unsat cost LB: 45749 ... c Min unsat cost LB: 45750 ... c Min unsat cost LB: 45751 ... c Min unsat cost LB: 45752 ... c Min unsat cost LB: 45753 ... c Min unsat cost LB: 45754 ... c Min unsat cost LB: 45755 ... c Min unsat cost LB: 45760 ... c Min unsat cost LB: 45761 ... c Min unsat cost LB: 45762 ... c Min unsat cost LB: 45763 ... c Min unsat cost LB: 45764 ... c Min unsat cost LB: 45765 ... c Min unsat cost LB: 45766 ... c Min unsat cost LB: 45767 ... c Min unsat cost LB: 45768 ... c Min unsat cost LB: 45769 ... c Min unsat cost LB: 45770 ... c Min unsat cost LB: 45771 ... c Min unsat cost LB: 45772 ... c Min unsat cost LB: 45773 ... c Min unsat cost LB: 45774 ... c Min unsat cost LB: 45775 ... c Min unsat cost LB: 45776 ... c Min unsat cost LB: 45777 ... c Min unsat cost LB: 45778 ... c Min unsat cost LB: 45779 ... c Min unsat cost LB: 45780 ... c Min unsat cost LB: 45781 ... c Min unsat cost LB: 45782 ... c Min unsat cost LB: 45783 ... c Min unsat cost LB: 45784 ... c Min unsat cost LB: 45785 ... c Min unsat cost LB: 45786 ... c Min unsat cost LB: 45787 ... c Min unsat cost LB: 45788 ... c Min unsat cost LB: 45789 ... c Min unsat cost LB: 45790 ... c Min unsat cost LB: 45791 ... c Min unsat cost LB: 45792 ... c Min unsat cost LB: 45793 ... c Min unsat cost LB: 45794 ... c Min unsat cost LB: 45795 ... c Min unsat cost LB: 45796 ... c Min unsat cost LB: 45797 ... c Min unsat cost LB: 45798 ... c Min unsat cost LB: 45799 ... c Min unsat cost LB: 45800 ... c Min unsat cost LB: 45801 ... c Min unsat cost LB: 45802 ... c Min unsat cost LB: 45803 ... c Min unsat cost LB: 45804 ... c Min unsat cost LB: 45805 ... c Min unsat cost LB: 45806 ... c Min unsat cost LB: 45807 ... c Min unsat cost LB: 45808 ... c Min unsat cost LB: 45809 ... c Min unsat cost LB: 45810 ... c Min unsat cost LB: 45811 ... c Min unsat cost LB: 45812 ... c Min unsat cost LB: 45813 ... c Min unsat cost LB: 45814 ... c Min unsat cost LB: 45815 ... c Min unsat cost LB: 45816 ... c Min unsat cost LB: 45817 ... c Min unsat cost LB: 45818 ... c Min unsat cost LB: 45819 ... c Min unsat cost LB: 45820 ... c Min unsat cost LB: 45821 ... c Min unsat cost LB: 45822 ... c Min unsat cost LB: 45823 ... c Min unsat cost LB: 45825 ... c Min unsat cost LB: 45826 ... c Min unsat cost LB: 45827 ... c Min unsat cost LB: 45828 ... c Min unsat cost LB: 45829 ... c Min unsat cost LB: 45830 ... c Min unsat cost LB: 45831 ... c Min unsat cost LB: 45832 ... c Min unsat cost LB: 45833 ... c Min unsat cost LB: 45834 ... c Min unsat cost LB: 45835 ... c Min unsat cost LB: 45836 ... c Min unsat cost LB: 45837 ... c Min unsat cost LB: 45838 ... c Min unsat cost LB: 45839 ... c Min unsat cost LB: 45840 ... c Min unsat cost LB: 45841 ... c Min unsat cost LB: 45842 ... c Min unsat cost LB: 45843 ... c Min unsat cost LB: 45844 ... c Min unsat cost LB: 45845 ... c Min unsat cost LB: 45846 ... c Min unsat cost LB: 45847 ... c Min unsat cost LB: 45848 ... c Min unsat cost LB: 45849 ... c Min unsat cost LB: 45850 ... c Min unsat cost LB: 45851 ... c Min unsat cKilled 1814.196u 5.541s 30:22.83 99.8% 0+0k 0+0io 0pf+0w