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-200-1_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-6.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-200-1_network-6.net.wcnf *** c c Min unsat cost LB: 211 ... c Min unsat cost LB: 248 ... c Min unsat cost LB: 343 ... c Min unsat cost LB: 1199 ... c Min unsat cost LB: 2489 ... c Min unsat cost LB: 3365 ... c Min unsat cost LB: 4045 ... c Min unsat cost LB: 6098 ... c Min unsat cost LB: 7683 ... c Min unsat cost LB: 8754 ... c Min unsat cost LB: 9082 ... c Min unsat cost LB: 9277 ... c Min unsat cost LB: 10655 ... c Min unsat cost LB: 13010 ... c Min unsat cost LB: 13429 ... c Min unsat cost LB: 14143 ... c Min unsat cost LB: 15263 ... c Min unsat cost LB: 15321 ... c Min unsat cost LB: 15336 ... c Min unsat cost LB: 15503 ... c Min unsat cost LB: 15566 ... c Min unsat cost LB: 16053 ... c Min unsat cost LB: 17510 ... c Min unsat cost LB: 17894 ... c Min unsat cost LB: 17990 ... c Min unsat cost LB: 19213 ... c Min unsat cost LB: 20015 ... c Min unsat cost LB: 20125 ... c Min unsat cost LB: 20192 ... c Min unsat cost LB: 20444 ... c Min unsat cost LB: 20781 ... c Min unsat cost LB: 22088 ... c Min unsat cost LB: 23720 ... c Min unsat cost LB: 23986 ... c Min unsat cost LB: 24024 ... c Min unsat cost LB: 24146 ... c Min unsat cost LB: 25146 ... c Min unsat cost LB: 25847 ... c Min unsat cost LB: 25851 ... c Min unsat cost LB: 26533 ... c Min unsat cost LB: 26658 ... c Min unsat cost LB: 27085 ... c Min unsat cost LB: 27337 ... c Min unsat cost LB: 27461 ... c Min unsat cost LB: 27561 ... c Min unsat cost LB: 27818 ... c Min unsat cost LB: 28005 ... c Min unsat cost LB: 28060 ... c Min unsat cost LB: 28312 ... c Min unsat cost LB: 28831 ... c Min unsat cost LB: 28882 ... c Min unsat cost LB: 30080 ... c Min unsat cost LB: 30588 ... c Min unsat cost LB: 31044 ... c Min unsat cost LB: 31192 ... c Min unsat cost LB: 31478 ... c Min unsat cost LB: 31861 ... c Min unsat cost LB: 32008 ... c Min unsat cost LB: 32419 ... c Min unsat cost LB: 32946 ... c Min unsat cost LB: 33037 ... c Min unsat cost LB: 33412 ... c Min unsat cost LB: 33841 ... c Min unsat cost LB: 33909 ... c Min unsat cost LB: 34088 ... c Min unsat cost LB: 34665 ... c Min unsat cost LB: 34679 ... c Min unsat cost LB: 35173 ... c Min unsat cost LB: 35466 ... c Min unsat cost LB: 35654 ... c Min unsat cost LB: 36250 ... c Min unsat cost LB: 36500 ... c Min unsat cost LB: 36901 ... c Min unsat cost LB: 37016 ... c Min unsat cost LB: 37047 ... c Min unsat cost LB: 37883 ... c Min unsat cost LB: 37961 ... c Min unsat cost LB: 38008 ... c Min unsat cost LB: 38378 ... c Min unsat cost LB: 38558 ... c Min unsat cost LB: 38925 ... c Min unsat cost LB: 39056 ... c Min unsat cost LB: 39061 ... c Min unsat cost LB: 39112 ... c Min unsat cost LB: 39833 ... c Min unsat cost LB: 40098 ... c Min unsat cost LB: 40250 ... c Min unsat cost LB: 40755 ... c Min unsat cost LB: 41280 ... c Min unsat cost LB: 41914 ... c Min unsat cost LB: 42417 ... c Min unsat cost LB: 42485 ... c Min unsat cost LB: 42989 ... c Min unsat cost LB: 43441 ... c Min unsat cost LB: 43542 ... c Min unsat cost LB: 43890 ... c Min unsat cost LB: 44155 ... c Min unsat cost LB: 44206 ... c Min unsat cost LB: 44769 ... c Min unsat cost LB: 44894 ... c Min unsat cost LB: 44964 ... c Min unsat cost LB: 45193 ... c Min unsat cost LB: 45234 ... c Min unsat cost LB: 45239 ... c Min unsat cost LB: 45322 ... c Min unsat cost LB: 45380 ... c Min unsat cost LB: 45429 ... c Min unsat cost LB: 45956 ... c Min unsat cost LB: 46189 ... c Min unsat cost LB: 46240 ... c Min unsat cost LB: 46331 ... c Min unsat cost LB: 47401 ... c Min unsat cost LB: 47736 ... c Min unsat cost LB: 47837 ... c Min unsat cost LB: 47962 ... c Min unsat cost LB: 48093 ... c Min unsat cost LB: 48161 ... c Min unsat cost LB: 48301 ... c Min unsat cost LB: 48328 ... c Min unsat cost LB: 48334 ... c Min unsat cost LB: 48831 ... c Min unsat cost LB: 48849 ... c Min unsat cost LB: 48920 ... c Min unsat cost LB: 48940 ... c Min unsat cost LB: 49384 ... c Min unsat cost LB: 50067 ... c Min unsat cost LB: 50699 ... c Min unsat cost LB: 50937 ... c Min unsat cost LB: 51653 ... c Min unsat cost LB: 51685 ... c Min unsat cost LB: 52735 ... c Min unsat cost LB: 52833 ... c Min unsat cost LB: 52862 ... c Min unsat cost LB: 53017 ... c Min unsat cost LB: 53696 ... c Min unsat cost LB: 53732 ... c Min unsat cost LB: 53745 ... c Min unsat cost LB: 53754 ... c Min unsat cost LB: 53805 ... c Min unsat cost LB: 53837 ... c Min unsat cost LB: 53886 ... c Min unsat cost LB: 53904 ... c Min unsat cost LB: 54003 ... c Min unsat cost LB: 54212 ... c Min unsat cost LB: 54391 ... c Min unsat cost LB: 55250 ... c Min unsat cost LB: 55428 ... c Min unsat cost LB: 55888 ... c Min unsat cost LB: 56066 ... c Min unsat cost LB: 56275 ... c Min unsat cost LB: 57411 ... c Min unsat cost LB: 57494 ... c Min unsat cost LB: 57866 ... c Min unsat cost LB: 57871 ... c Min unsat cost LB: 57876 ... c Min unsat cost LB: 57908 ... c Min unsat cost LB: 57936 ... c Min unsat cost LB: 58129 ... c Min unsat cost LB: 58439 ... c Min unsat cost LB: 58674 ... c Min unsat cost LB: 58853 ... c Min unsat cost LB: 59008 ... c Min unsat cost LB: 59452 ... c Min unsat cost LB: 59714 ... c Min unsat cost LB: 60608 ... c Min unsat cost LB: 60658 ... c Min unsat cost LB: 61094 ... c Min unsat cost LB: 61537 ... c Min unsat cost LB: 61916 ... c Min unsat cost LB: 62277 ... c Min unsat cost LB: 62492 ... c Min unsat cost LB: 62756 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 63379 ... c Min unsat cost LB: 63945 ... c Min unsat cost LB: 63979 ... c Min unsat cost LB: 64099 ... c Min unsat cost LB: 64359 ... c Min unsat cost LB: 64723 ... c Min unsat cost LB: 65320 ... c Min unsat cost LB: 65606 ... c Min unsat cost LB: 65805 ... c Min unsat cost LB: 65903 ... c Min unsat cost LB: 65971 ... c Min unsat cost LB: 66118 ... c Min unsat cost LB: 66153 ... c Min unsat cost LB: 66158 ... c Min unsat cost LB: 66186 ... c Min unsat cost LB: 66211 ... c Min unsat cost LB: 66293 ... c Min unsat cost LB: 66418 ... c Min unsat cost LB: 67320 ... c Min unsat cost LB: 67388 ... c Min unsat cost LB: 67393 ... c Min unsat cost LB: 67433 ... c Min unsat cost LB: 67638 ... c Min unsat cost LB: 67710 ... c Min unsat cost LB: 67818 ... c Min unsat cost LB: 68038 ... c Min unsat cost LB: 68233 ... c Min unsat cost LB: 68590 ... c Min unsat cost LB: 68982 ... c Min unsat cost LB: 69253 ... c Min unsat cost LB: 69348 ... c Min unsat cost LB: 69427 ... c Min unsat cost LB: 69446 ... c Min unsat cost LB: 69514 ... c Min unsat cost LB: 69574 ... c Min unsat cost LB: 69593 ... c Min unsat cost LB: 69642 ... c Min unsat cost LB: 69660 ... c Min unsat cost LB: 69661 ... c Min unsat cost LB: 69770 ... c Min unsat cost LB: 70084 ... c Min unsat cost LB: 70222 ... c Min unsat cost LB: 70531 ... c Min unsat cost LB: 70757 ... c Min unsat cost LB: 71551 ... c Min unsat cost LB: 71756 ... c Min unsat cost LB: 72378 ... c Min unsat cost LB: 72634 ... c Min unsat cost LB: 72865 ... c Min unsat cost LB: 72896 ... c Min unsat cost LB: 73119 ... c Min unsat cost LB: 73126 ... c Min unsat cost LB: 73425 ... c Min unsat cost LB: 73450 ... c Min unsat cost LB: 73468 ... c Min unsat cost LB: 74152 ... c Min unsat cost LB: 74472 ... c Min unsat cost LB: 74540 ... c Min unsat cost LB: 74763 ... c Min unsat cost LB: 75706 ... c Min unsat cost LB: 75992 ... c Min unsat cost LB: 76089 ... c Min unsat cost LB: 76986 ... c Min unsat cost LB: 77022 ... c Min unsat cost LB: 77067 ... c Min unsat cost LB: 77102 ... c Min unsat cost LB: 77303 ... c Min unsat cost LB: 77336 ... c Min unsat cost LB: 77364 ... c Min unsat cost LB: 77379 ... c Min unsat cost LB: 77407 ... c Min unsat cost LB: 77436 ... c Min unsat cost LB: 77441 ... c Min unsat cost LB: 77461 ... c Min unsat cost LB: 77479 ... c Min unsat cost LB: 77487 ... c Min unsat cost LB: 77552 ... c Min unsat cost LB: 78363 ... c Min unsat cost LB: 78571 ... c Min unsat cost LB: 78577 ... c Min unsat cost LB: 78587 ... c Min unsat cost LB: 78615 ... c Min unsat cost LB: 78778 ... c Min unsat cost LB: 78786 ... c Min unsat cost LB: 79683 ... c Min unsat cost LB: 79711 ... c Min unsat cost LB: 79839 ... c Min unsat cost LB: 79879 ... c Min unsat cost LB: 80858 ... c Min unsat cost LB: 80865 ... c Min unsat cost LB: 80873 ... c Min unsat cost LB: 80928 ... c Min unsat cost LB: 81930 ... c Min unsat cost LB: 82047 ... c Min unsat cost LB: 82551 ... c Min unsat cost LB: 83443 ... c Min unsat cost LB: 83697 ... c Min unsat cost LB: 83698 ... c Min unsat cost LB: 83701 ... c Min unsat cost LB: 83720 ... c Min unsat cost LB: 83758 ... c Min unsat cost LB: 83849 ... c Min unsat cost LB: 83858 ... c Min unsat cost LB: 83864 ... c Min unsat cost LB: 83934 ... c Min unsat cost LB: 84063 ... c Min unsat cost LB: 84070 ... c Min unsat cost LB: 84091 ... c Min unsat cost LB: 84142 ... c Min unsat cost LB: 84147 ... c Min unsat cost LB: 84150 ... c Min unsat cost LB: 84152 ... c Min unsat cost LB: 84153 ... c Min unsat cost LB: 84155 ... c Min unsat cost LB: 84158 ... c Min unsat cost LB: 84161 ... c Min unsat cost LB: 84204 ... c Min unsat cost LB: 84213 ... c Min unsat cost LB: 84214 ... c Min unsat cost LB: 84226 ... c Min unsat cost LB: 84227 ... c Min unsat cost LB: 84228 ... c Min unsat cost LB: 84230 ... c Min unsat cost LB: 84233 ... c Min unsat cost LB: 84235 ... c Min unsat cost LB: 84242 ... c Min unsat cost LB: 84244 ... c Min unsat cost LB: 84249 ... c Min unsat cost LB: 84253 ... c Min unsat cost LB: 84259 ... c Min unsat cost LB: 84267 ... c Min unsat cost LB: 84270 ... c Min unsat cost LB: 84272 ... c Min unsat cost LB: 84273 ... c Min unsat cost LB: 84274 ... c Min unsat cost LB: 84277 ... c Min unsat cost LB: 84278 ... c Min unsat cost LB: 84296 ... c Min unsat cost LB: 84305 ... c Min unsat cost LB: 84314 ... c Min unsat cost LB: 84315 ... c Min unsat cost LB: 84322 ... c Min unsat cost LB: 84327 ... c Min unsat cost LB: 84332 ... c Min unsat cost LB: 84346 ... c Min unsat cost LB: 84347 ... c Min unsat cost LB: 84348 ... c Min unsat cost LB: 84351 ... c Min unsat cost LB: 84359 ... c Min unsat cost LB: 84360 ... c Min unsat cost LB: 84361 ... c Min unsat cost LB: 84362 ... c Min unsat cost LB: 84364 ... c Min unsat cost LB: 84366 ... c Min unsat cost LB: 84386 ... c Min unsat cost LB: 84419 ... c Min unsat cost LB: 84422 ... c Min unsat cost LB: 84427 ... c Min unsat cost LB: 84429 ... c Min unsat cost LB: 84430 ... c Min unsat cost LB: 84431 ... c Min unsat cost LB: 84432 ... c Min unsat cost LB: 84433 ... c Min unsat cost LB: 84467 ... c Min unsat cost LB: 84472 ... c Min unsat cost LB: 84473 ... c Min unsat cost LB: 84474 ... c Min unsat cost LB: 84477 ... c Min unsat cost LB: 84478 ... c Min unsat cost LB: 84479 ... c Min unsat cost LB: 84480 ... c Min unsat cost LB: 84481 ... c Min unsat cost LB: 84482 ... c Min unsat cost LB: 84483 ... c Min unsat cost LB: 84486 ... c Min unsat cost LB: 84487 ... c Min unsat cost LB: 84488 ... c Min unsat cost LB: 84489 ... c Min unsat cost LB: 84490 ... c Min unsat cost LB: 84491 ... c Min unsat cost LB: 84492 ... c Min unsat cost LB: 84493 ... c Min unsat cost LB: 84494 ... c Min unsat cost LB: 84495 ... c Min unsat cost LB: 84496 ... c Min unsat cost LB: 84497 ... c Min unsat cost LB: 85201 ... c Min unsat cost LB: 85311 ... c Min unsat cost LB: 85662 ... c Min unsat cost LB: 85715 ... c Min unsat cost LB: 85889 ... c Min unsat cost LB: 85900 ... c Min unsat cost LB: 85953 ... c Min unsat cost LB: 86245 ... c Min unsat cost LB: 87184 ... c Min unsat cost LB: 87194 ... c Min unsat cost LB: 87197 ... c Min unsat cost LB: 87202 ... c Min unsat cost LB: 87205 ... c Min unsat cost LB: 87206 ... c Min unsat cost LB: 87207 ... c Min unsat cost LB: 87216 ... c Min unsat cost LB: 87217 ... c Min unsat cost LB: 87236 ... c Min unsat cost LB: 87239 ... c Min unsat cost LB: 87240 ... c Min unsat cost LB: 87244 ... c Min unsat cost LB: 87249 ... c Min unsat cost LB: 87250 ... c Min unsat cost LB: 87251 ... c Min unsat cost LB: 87252 ... c Min unsat cost LB: 87260 ... c Min unsat cost LB: 87261 ... c Min unsat cost LB: 87263 ... c Min unsat cost LB: 87266 ... c Min unsat cost LB: 87274 ... c Min unsat cost LB: 87280 ... c Min unsat cost LB: 87282 ... c Min unsat cost LB: 87285 ... c Min unsat cost LB: 87286 ... c Min unsat cost LB: 87288 ... c Min unsat cost LB: 87289 ... c Min unsat cost LB: 87290 ... c Min unsat cost LB: 87292 ... c Min unsat cost LB: 87294 ... c Min unsat cost LB: 87297 ... c Min unsat cost LB: 87298 ... c Min unsat cost LB: 87299 ... c Min unsat cost LB: 87300 ... c Min unsat cost LB: 87301 ... c Min unsat cost LB: 87302 ... c Min unsat cost LB: 87303 ... c Min unsat cost LB: 87304 ... c Min unsat cost LB: 87305 ... c Min unsat cost LB: 87306 ... c Min unsat cost LB: 87307 ... c Min unsat cost LB: 87308 ... c Min unsat cost LB: 87309 ... c Min unsat cost LB: 87310 ... c Min unsat cost LB: 87311 ... c Min unsat cost LB: 87312 ... c Min unsat cost LB: 87313 ... c Min unsat cost LB: 87314 ... c Min unsat cost LB: 87319 ... c Min unsat cost LB: 87321 ... c Min unsat cost LB: 87322 ... c Min unsat cost LB: 87323 ... c Min unsat cost LB: 87324 ... c Min unsat cost LB: 87325 ... c Min unsat cost LB: 87327 ... c Min unsat cost LB: 87328 ... c Min unsat cost LB: 87329 ... c Min unsat cost LB: 87330 ... c Min unsat cost LB: 87337 ... c Min unsat cost LB: 87338 ... c Min unsat cost LB: 87347 ... c Min unsat cost LB: 87352 ... c Min unsat cost LB: 87354 ... c Min unsat cost LB: 87357 ... c Min unsat cost LB: 87358 ... c Min unsat cost LB: 87363 ... c Min unsat cost LB: 87366 ... c Min unsat cost LB: 87369 ... c Min unsat cost LB: 87370 ... c Min unsat cost LB: 87371 ... c Min unsat cost LB: 87372 ... c Min unsat cost LB: 87373 ... c Min unsat cost LB: 87374 ... c Min unsat cost LB: 87376 ... c Min unsat cost LB: 87377 ... c Min unsat cost LB: 87380 ... c Min unsat cost LB: 87384 ... c Min unsat cost LB: 87386 ... c Min unsat cost LB: 87387 ... c Min unsat cost LB: 87388 ... c Min unsat cost LB: 87389 ... c Min unsat cost LB: 87390 ... c Min unsat cost LB: 87396 ... c Min unsat cost LB: 87397 ... c Min unsat cost LB: 87398 ... c Min unsat cost LB: 87399 ... c Min unsat cost LB: 87401 ... c Min unsat cost LB: 87402 ... c Min unsat cost LB: 87403 ... c Min unsat cost LB: 87404 ... c Min unsat cost LB: 87405 ... c Min unsat cost LB: 87406 ... c Min unsat cost LB: 87407 ... c Min unsat cost LB: 87410 ... c Min unsat cost LB: 87413 ... c Min unsat cost LB: 87414 ... c Min unsat cost LB: 87415 ... c Min unsat cost LB: 87416 ... c Min unsat cost LB: 87417 ... c Min unsat cost LB: 87418 ... c Min unsat cost LB: 87419 ... c Min unsat cost LB: 87420 ... c Min unsat cost LB: 87421 ... c Min unsat cost LB: 87422 ... c Min unsat cost LB: 87423 ... c Min unsat cost LB: 87424 ... c Min unsat cost LB: 87425 ... c Min unsat cost LB: 87427 ... c Min unsat cost LB: 87428 ... c Min unsat cost LB: 87429 ... c Min unsat cost LB: 87430 ... c Min unsat cost LB: 87431 ... c Min unsat cost LB: 87432 ... c Min unsat cost LB: 87433 ... c Min unsat cost LB: 87434 ... c Min unsat cost LB: 87435 ... c Min unsat cost LB: 87436 ... c Min unsat cost LB: 87437 ... c Min unsat cost LB: 87438 ... c Min unsat cost LB: 87439 ... c Min unsat cost LB: 87440 ... c Min unsat cost LB: 87441 ... c Min unsat cost LB: 87442 ... c Min unsat cost LB: 87443 ... c Min unsat cost LB: 87444 ... c Min unsat cost LB: 87445 ... c Min unsat cost LB: 87446 ... c Min unsat cost LB: 87447 ... c Min unsat cost LB: 87448 ... c Min unsat cost LB: 87449 ... c Min unsat cost LB: 87450 ... c Min unsat cost LB: 87451 ... c Min unsat cost LB: 87452 ... c Min unsat cost LB: 87455 ... c Min unsat cost LB: 87456 ... c Min unsat cost LB: 87457 ... c Min unsat cost LB: 87459 ... c Min unsat cost LB: 87460 ... c Min unsat cost LB: 87461 ... c Min unsat cost LB: 87463 ... c Min unsat cost LB: 87464 ... c Min unsat cost LB: 87465 ... c Min unsat cost LB: 87466 ... c Min unsat cost LB: 87467 ... c Min unsat cost LB: 87468 ... c Min unsat cost LB: 87469 ... c Min unsat cost LB: 87470 ... c Min unsat cost LB: 87471 ... c Min unsat cost LB: 87472 ... c Min unsat cost LB: 87473 ... c Min unsat cost LB: 87477 ... c Min unsat cost LB: 87478 ... c Min unsat cost LB: 87480 ... c Min unsat cost LB: 87481 ... c Min unsat cost LB: 87484 ... c Min unsat cost LB: 87488 ... c Min unsat cost LB: 87491 ... c Min unsat cost LB: 87492 ... c Min unsat cost LB: 87493 ... c Min unsat cost LB: 87495 ... c Min unsat cost LB: 87496 ... c Min unsat cost LB: 87497 ... c Min unsat cost LB: 87498 ... c Min unsat cost LB: 87499 ... c Min unsat cost LB: 87500 ... c Min unsat cost LB: 87503 ... c Min unsat cost LB: 87504 ... c Min unsat cost LB: 87505 ... c Min unsat cost LB: 87506 ... c Min unsat cost LB: 87507 ... c Min unsat cost LB: 87509 ... c Min unsat cost LB: 87510 ... c Min unsat cost LB: 87511 ... c Min unsat cost LB: 87512 ... c Min unsat cost LB: 87513 ... c Min unsat cost LB: 87514 ... c Min unsat cost LB: 87515 ... c Min unsat cost LB: 87516 ... c Min unsat cost LB: 87517 ... c Min unsat cost LB: 88189 ... c Min unsat cost LB: 88827 ... c Min unsat cost LB: 89352 ... c Min unsat cost LB: 89415 ... c Min unsat cost LB: 89416 ... c Min unsat cost LB: 89417 ... c Min unsat cost LB: 89418 ... c Min unsat cost LB: 89419 ... c Min unsat cost LB: 89420 ... c Min unsat cost LB: 89421 ... c Min unsat cost LB: 89422 ... c Min unsat cost LB: 89423 ... c Min unsat cost LB: 89536 ... c Min unsat cost LB: 89639 ... c Min unsat cost LB: 89640 ... c Min unsat cost LB: 89641 ... c Min unsat cost LB: 89642 ... c Min unsat cost LB: 89720 ... c Min unsat cost LB: 89951 ... c Min unsat cost LB: 90931 ... c Min unsat cost LB: 90976 ... c Min unsat cost LB: 91055 ... c Min unsat cost LB: 91186 ... c Min unsat cost LB: 91189 ... c Min unsat cost LB: 91190 ... c Min unsat cost LB: 91268 ... c Min unsat cost LB: 91331 ... c Min unsat cost LB: 91376 ... c Min unsat cost LB: 91377 ... c Min unsat cost LB: 91417 ... c Min unsat cost LB: 91474 ... c Min unsat cost LB: 91475 ... c Min unsat cost LB: 91482 ... c Min unsat cost LB: 91486 ... c Min unsat cost LB: 91487 ... c Min unsat cost LB: 91488 ... c Min unsat cost LB: 91490 ... c Min unsat cost LB: 91502 ... c Min unsat cost LB: 91990 ... c Min unsat cost LB: 92042 ... c Min unsat cost LB: 92083 ... c Min unsat cost LB: 92165 ... c Min unsat cost LB: 92512 ... c Min unsat cost LB: 93286 ... c Min unsat cost LB: 93287 ... c Min unsat cost LB: 93288 ... c Min unsat cost LB: 93289 ... c Min unsat cost LB: 93290 ... c Min unsat cost LB: 93291 ... c Min unsat cost LB: 93292 ... c Min unsat cost LB: 93293 ... c Min unsat cost LB: 93294 ... c Min unsat cost LB: 93295 ... c Min unsat cost LB: 93296 ... c Min unsat cost LB: 93297 ... c Min unsat cost LB: 93303 ... c Min unsat cost LB: 93305 ... c Min unsat cost LB: 93306 ... c Min unsat cost LB: 93307 ... c Min unsat cost LB: 93308 ... c Min unsat cost LB: 93309 ... c Min unsat cost LB: 93310 ... c Min unsat cost LB: 93311 ... c Min unsat cost LB: 93312 ... c Min unsat cost LB: 93391 ... c Min unsat cost LB: 93755 ... c Min unsat cost LB: 93766 ... c Min unsat cost LB: 94113 ... c Min unsat cost LB: 94629 ... c Min unsat cost LB: 94750 ... c Min unsat cost LB: 94773 ... c Min unsat cost LB: 95941 ... c Min unsat cost LB: 96289 ... c Min unsat cost LB: 96302 ... c Min unsat cost LB: 96330 ... c Min unsat cost LB: 96365 ... c Min unsat cost LB: 96418 ... c Min unsat cost LB: 97224 ... c Min unsat cost LB: 97252 ... c Min unsat cost LB: 97302 ... c Min unsat cost LB: 97304 ... c Min unsat cost LB: 97564 ... c Min unsat cost LB: 97903 ... c Min unsat cost LB: 98003 ... c Min unsat cost LB: 98906 ... c Min unsat cost LB: 98942 ... c Min unsat cost LB: 98989 ... c Min unsat cost LB: 98990 ... c Min unsat cost LB: 99010 ... c Min unsat cost LB: 99278 ... c Min unsat cost LB: 99292 ... c Min unsat cost LB: 99304 ... c Min unsat cost LB: 99306 ... c Min unsat cost LB: 99342 ... c Min unsat cost LB: 99356 ... c Min unsat cost LB: 99357 ... c Min unsat cost LB: 99375 ... c Min unsat cost LB: 99387 ... c Min unsat cost LB: 99389 ... c Min unsat cost LB: 99390 ... c Min unsat cost LB: 99391 ... c Min unsat cost LB: 99397 ... c Min unsat cost LB: 99398 ... c Min unsat cost LB: 99399 ... c Min unsat cost LB: 99400 ... c Min unsat cost LB: 99408 ... c Min unsat cost LB: 99409 ... c Min unsat cost LB: 99425 ... c Min unsat cost LB: 99431 ... c Min unsat cost LB: 99432 ... c Min unsat cost LB: 99437 ... c Min unsat cost LB: 99589 ... c Min unsat cost LB: 99695 ... c Min unsat cost LB: 101252 ... c Min unsat cost LB: 101288 ... c Min unsat cost LB: 101357 ... c Min unsat cost LB: 101410 ... c Min unsat cost LB: 101607 ... c Min unsat cost LB: 101667 ... c Min unsat cost LB: 101679 ... c Min unsat cost LB: 102219 ... c Min unsat cost LB: 102286 ... c Min unsat cost LB: 102600 ... c Min unsat cost LB: 103103 ... c Min unsat cost LB: 103721 ... c Min unsat cost LB: 104214 ... c Min unsat cost LB: 104330 ... c Min unsat cost LB: 104650 ... c Min unsat cost LB: 105097 ... c Min unsat cost LB: 105150 ... c Min unsat cost LB: 106005 ... c Min unsat cost LB: 106366 ... c Min unsat cost LB: 106879 ... c Min unsat cost LB: 107254 ... c Min unsat cost LB: 107481 ... c Min unsat cost LB: 107578 ... c Min unsat cost LB: 107979 ... c Min unsat cost LB: 107995 ... c Min unsat cost LB: 108148 ... c Min unsat cost LB: 108990 ... c Min unsat cost LB: 109733 ... c Min unsat cost LB: 109867 ... c Min unsat cost LB: 109937 ... c Min unsat cost LB: 110052 ... c Min unsat cost LB: 110865 ... c Min unsat cost LB: 111250 ... c Min unsat cost LB: 111291 ... c Min unsat cost LB: 111888 ... c Min unsat cost LB: 112332 ... c Min unsat cost LB: 112415 ... c Min unsat cost LB: 112582 ... c Min unsat cost LB: 112584 ... c Min unsat cost LB: 112775 ... c Min unsat cost LB: 113387 ... c Min unsat cost LB: 113579 ... c Min unsat cost LB: 113754 ... c Min unsat cost LB: 113956 ... c Min unsat cost LB: 114025 ... c Min unsat cost LB: 114131 ... c Min unsat cost LB: 114397 ... c Min unsat cost LB: 114630 ... c Min unsat cost LB: 115135 ... c Min unsat cost LB: 115262 ... c Min unsat cost LB: 115453 ... c Min unsat cost LB: 115745 ... c Min unsat cost LB: 116129 ... c Min unsat cost LB: 116136 ... c Min unsat cost LB: 116554 ... c Min unsat cost LB: 117045 ... c Min unsat cost LB: 117427 ... c Min unsat cost LB: 117699 ... c Min unsat cost LB: 118812 ... c Min unsat cost LB: 118947 ... c Min unsat cost LB: 119291 ... c Min unsat cost LB: 119468 ... c Min unsat cost LB: 119552 ... c Min unsat cost LB: 120800 ... c Min unsat cost LB: 120909 ... c Min unsat cost LB: 121206 ... c Min unsat cost LB: 121734 ... c Min unsat cost LB: 121834 ... c Min unsat cost LB: 121859 ... c Min unsat cost LB: 121860 ... c Min unsat cost LB: 121861 ... c Min unsat cost LB: 121862 ... c Min unsat cost LB: 121863 ... c Min unsat cost LB: 121864 ... c Min unsat cost LB: 121866 ... c Min unsat cost LB: 121868 ... c Min unsat cost LB: 121872 ... c Min unsat cost LB: 121873 ... c Min unsat cost LB: 121874 ... c Min unsat cost LB: 121875 ... c Min unsat cost LB: 121876 ... c Min unsat cost LB: 121877 ... c Min unsat cost LB: 121879 ... c Min unsat cost LB: 121880 ... c Min unsat cost LB: 121881 ... c Min unsat cost LB: 121884 ... c Min unsat cost LB: 121888 ... c Min unsat cost LB: 121889 ... c Min unsat cost LB: 121890 ... c Min unsat cost LB: 121891 ... c Min unsat cost LB: 121892 ... c Min unsat cost LB: 121893 ... c Min unsat cost LB: 121894 ... c Min unsat cost LB: 121895 ... c Min unsat cost LB: 121896 ... c Min unsat cost LB: 121897 ... c Min unsat cost LB: 121900 ... c Min unsat cost LB: 121902 ... c Min unsat cost LB: 121903 ... c Min unsat cost LB: 121908 ... c Min unsat cost LB: 121909 ... c Min unsat cost LB: 121910 ... c Min unsat cost LB: 121917 ... c Min unsat cost LB: 121921 ... c Min unsat cost LB: 121922 ... c Min unsat cost LB: 121924 ... c Min unsat cost LB: 121925 ... c Min unsat cost LB: 121926 ... c Min unsat cost LB: 121927 ... c Min unsat cost LB: 121928 ... c Min unsat cost LB: 121929 ... c Min unsat cost LB: 121930 ... c Min unsat cost LB: 121931 ... c Min unsat cost LB: 121932 ... c Min unsat cost LB: 121933 ... c Min unsat cost LB: 121934 ... c Min unsat cost LB: 121935 ... c Min unsat cost LB: 121936 ... c Min unsat cost LB: 121937 ... c Min unsat cost LB: 121938 ... c Min unsat cost LB: 121939 ... c Min unsat cost LB: 121940 ... c Min unsat cost LB: 121941 ... c Min unsat cost LB: 121942 ... c Min unsat cost LB: 121943 ... c Min unsat cost LB: 121944 ... c Min unsat cost LB: 122310 ... c Min unsat cost LB: 122535 ... c Min unsat cost LB: 123041 ... c Min unsat cost LB: 123164 ... c Min unsat cost LB: 123758 ... c Min unsat cost LB: 124201 ... c Min unsat cost LB: 124276 ... c Min unsat cost LB: 124727 ... c Min unsat cost LB: 125197 ... c Min unsat cost LB: 125471 ... c Min unsat cost LB: 125979 ... c Min unsat cost LB: 126404 ... c Min unsat cost LB: 126593 ... c Min unsat cost LB: 126872 ... c Min unsat cost LB: 127102 ... c Min unsat cost LB: 127243 ... c Min unsat cost LB: 127434 ... c Min unsat cost LB: 127911 ... c Min unsat cost LB: 128551 ... c Min unsat cost LB: 128596 ... c Min unsat cost LB: 128906 ... c Min unsat cost LB: 129943 ... c Min unsat cost LB: 130089 ... c Min unsat cost LB: 130096 ... c Min unsat cost LB: 130283 ... c Min unsat cost LB: 130321 ... c Min unsat cost LB: 130406 ... c Min unsat cost LB: 130429 ... c Min unsat cost LB: 130721 ... c Min unsat cost LB: 131302 ... c Min unsat cost LB: 131396 ... c Min unsat cost LB: 131506 ... c Min unsat cost LB: 131741 ... c Min unsat cost LB: 131793 ... c Min unsat cost LB: 131934 ... c Min unsat cost LB: 131978 ... c Min unsat cost LB: 132360 ... c Min unsat cost LB: 132410 ... c Min unsat cost LB: 133221 ... c Min unsat cost LB: 133251 ... c Min unsat cost LB: 133365 ... c Min unsat cost LB: 133369 ... c Min unsat cost LB: 133968 ... c Min unsat cost LB: 134035 ... c Min unsat cost LB: 134313 ... c Min unsat cost LB: 134419 ... c Min unsat cost LB: 134576 ... c Min unsat cost LB: 135783 ... c Min unsat cost LB: 136319 ... c Min unsat cost LB: 136390 ... c Min unsat cost LB: 136535 ... c Min unsat cost LB: 136543 ... c Min unsat cost LB: 136674 ... c Min unsat cost LB: 136718 ... c Min unsat cost LB: 136725 ... c Min unsat cost LB: 136730 ... c Min unsat cost LB: 136785 ... c Min unsat cost LB: 136864 ... c Min unsat cost LB: 136907 ... c Min unsat cost LB: 137462 ... c Min unsat cost LB: 137516 ... c Min unsat cost LB: 137523 ... c Min unsat cost LB: 137997 ... c Min unsat cost LB: 138030 ... c Min unsat cost LB: 138116 ... c Min unsat cost LB: 139299 ... c Min unsat cost LB: 139344 ... c Min unsat cost LB: 139420 ... c Min unsat cost LB: 139499 ... c Min unsat cost LB: 139700 ... c Min unsat cost LB: 139731 ... c Min unsat cost LB: 140827 ... c Min unsat cost LB: 141000 ... c Min unsat cost LB: 141006 ... c Min unsat cost LB: 141022 ... c Min unsat cost LB: 141161 ... c Min unsat cost LB: 141173 ... c Min unsat cost LB: 141430 ... c Min unsat cost LB: 141514 ... c Min unsat cost LB: 141526 ... c Min unsat cost LB: 141556 ... c Min unsat cost LB: 141651 ... c Min unsat cost LB: 142061 ... c Min unsat cost LB: 142600 ... c Min unsat cost LB: 143092 ... c Min unsat cost LB: 143527 ... c Min unsat cost LB: 143571 ... c Min unsat cost LB: 144096 ... c Min unsat cost LB: 144357 ... c Min unsat cost LB: 144463 ... c Min unsat cost LB: 144572 ... c Min unsat cost LB: 145115 ... c Min unsat cost LB: 145176 ... c Min unsat cost LB: 145230 ... c Min unsat cost LB: 145251 ... c Min unsat cost LB: 145777 ... c Min unsat cost LB: 146288 ... c Min unsat cost LB: 146301 ... c Min unsat cost LB: 146925 ... c Min unsat cost LB: 146972 ... c Min unsat cost LB: 147365 ... c Min unsat cost LB: 147716 ... c Min unsat cost LB: 147789 ... c Min unsat cost LB: 148241 ... c Min unsat cost LB: 148645 ... c Min unsat cost LB: 148850 ... c Min unsat cost LB: 149881 ... c Min unsat cost LB: 150486 ... c Min unsat cost LB: 150570 ... c Min unsat cost LB: 150942 ... c Min unsat cost LB: 150976 ... c Min unsat cost LB: 151056 ... c Min unsat cost LB: 151276 ... c Min unsat cost LB: 151533 ... c Min unsat cost LB: 151633 ... c Min unsat cost LB: 152664 ... c Min unsat cost LB: 152808 ... c Min unsat cost LB: 152811 ... c Min unsat cost LB: 153284 ... c Min unsat cost LB: 153287 ... c Min unsat cost LB: 153544 ... c Min unsat cost LB: 153555 ... c Min unsat cost LB: 153624 ... c Min unsat cost LB: 153658 ... c Min unsat cost LB: 153758 ... c Min unsat cost LB: 153768 ... c Min unsat cost LB: 153778 ... c Min unsat cost LB: 153884 ... c Min unsat cost LB: 154111 ... c Min unsat cost LB: 154598 ... c Min unsat cost LB: 154802 ... c Min unsat cost LB: 155824 ... c Min unsat cost LB: 155962 ... c Min unsat cost LB: 156130 ... c Min unsat cost LB: 156255 ... c Min unsat cost LB: 156568 ... c Min unsat cost LB: 156681 ... c Min unsat cost LB: 156963 ... c Min unsat cost LB: 156994 ... c Min unsat cost LB: 157637 ... c Min unsat cost LB: 157638 ... c Min unsat cost LB: 157859 ... c Min unsat cost LB: 157924 ... c Min unsat cost LB: 158230 ... c Min unsat cost LB: 158301 ... c Min unsat cost LB: 158818 ... c Min unsat cost LB: 160126 ... c Min unsat cost LB: 160261 ... c Min unsat cost LB: 160465 ... c Min unsat cost LB: 160486 ... c Min unsat cost LB: 160514 ... c Min unsat cost LB: 161793 ... c Min unsat cost LB: 161799 ... c Min unsat cost LB: 161942 ... c Min unsat cost LB: 162131 ... c Min unsat cost LB: 162532 ... c Min unsat cost LB: 162876 ... c Min unsat cost LB: 162882 ... c Min unsat cost LB: 163008 ... c Min unsat cost LB: 163114 ... c Min unsat cost LB: 163148 ... c Min unsat cost LB: 163245 ... c Min unsat cost LB: 163389 ... c Min unsat cost LB: 163504 ... c Min unsat cost LB: 163992 ... c Min unsat cost LB: 164263 ... c Min unsat cost LB: 164277 ... c Min unsat cost LB: 164312 ... c Min unsat cost LB: 164326 ... c Min unsat cost LB: 164425 ... c Min unsat cost LB: 164577 ... c Min unsat cost LB: 164714 ... c Min unsat cost LB: 165093 ... c Min unsat cost LB: 165754 ... c Min unsat cost LB: 166076 ... c Min unsat cost LB: 166093 ... c Min unsat cost LB: 166369 ... c Min unsat cost LB: 166384 ... c Min unsat cost LB: 166413 ... c Min unsat cost LB: 166568 ... c Min unsat cost LB: 166648 ... c Min unsat cost LB: 166649 ... c Min unsat cost LB: 166707 ... c Min unsat cost LB: 166731 ... c Min unsat cost LB: 167353 ... c Min unsat cost LB: 167664 ... c Min unsat cost LB: 168487 ... c Min unsat cost LB: 168502 ... c Min unsat cost LB: 168542 ... c Min unsat cost LB: 168623 ... c Min unsat cost LB: 168668 ... c Min unsat cost LB: 168877 ... c Min unsat cost LB: 169226 ... c Min unsat cost LB: 169231 ... c Min unsat cost LB: 169249 ... c Min unsat cost LB: 169252 ... c Min unsat cost LB: 169259 ... c Min unsat cost LB: 169588 ... c Min unsat cost LB: 169961 ... c Min unsat cost LB: 170155 ... c Min unsat cost LB: 170671 ... c Min unsat cost LB: 170690 ... c Min unsat cost LB: 170867 ... c Min unsat cost LB: 170907 ... c Min unsat cost LB: 171037 ... c Min unsat cost LB: 171044 ... c Min unsat cost LB: 171045 ... c Min unsat cost LB: 171046 ... c Min unsat cost LB: 171120 ... c Min unsat cost LB: 171205 ... c Min unsat cost LB: 171212 ... c Min unsat cost LB: 171213 ... c Min unsat cost LB: 172458 ... c Min unsat cost LB: 172692 ... c Min unsat cost LB: 172887 ... c Min unsat cost LB: 172926 ... c Min unsat cost LB: 173048 ... c Min unsat cost LB: 173100 ... c Min unsat cost LB: 173127 ... c Min unsat cost LB: 173148 ... c Min unsat cost LB: 173349 ... c Min unsat cost LB: 173468 ... c Min unsat cost LB: 173688 ... c Min unsat cost LB: 173797 ... c Min unsat cost LB: 173799 ... c Min unsat cost LB: 174212 ... c Min unsat cost LB: 174385 ... c Min unsat coKilled 1815.541u 4.200s 30:20.31 99.9% 0+0k 0+0io 0pf+0w