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-100-2_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-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-100-2_network-3.net.wcnf *** c c Min unsat cost LB: 812 ... c Min unsat cost LB: 973 ... c Min unsat cost LB: 1780 ... c Min unsat cost LB: 2289 ... c Min unsat cost LB: 3785 ... c Min unsat cost LB: 3848 ... c Min unsat cost LB: 4338 ... c Min unsat cost LB: 6530 ... c Min unsat cost LB: 7789 ... c Min unsat cost LB: 8747 ... c Min unsat cost LB: 9693 ... c Min unsat cost LB: 11041 ... c Min unsat cost LB: 11249 ... c Min unsat cost LB: 12752 ... c Min unsat cost LB: 13632 ... c Min unsat cost LB: 14048 ... c Min unsat cost LB: 15289 ... c Min unsat cost LB: 15360 ... c Min unsat cost LB: 16125 ... c Min unsat cost LB: 16194 ... c Min unsat cost LB: 16875 ... c Min unsat cost LB: 17996 ... c Min unsat cost LB: 18168 ... c Min unsat cost LB: 18301 ... c Min unsat cost LB: 19313 ... c Min unsat cost LB: 19575 ... c Min unsat cost LB: 20658 ... c Min unsat cost LB: 20874 ... c Min unsat cost LB: 21103 ... c Min unsat cost LB: 21378 ... c Min unsat cost LB: 21657 ... c Min unsat cost LB: 21757 ... c Min unsat cost LB: 21883 ... c Min unsat cost LB: 22199 ... c Min unsat cost LB: 22461 ... c Min unsat cost LB: 22462 ... c Min unsat cost LB: 22527 ... c Min unsat cost LB: 22603 ... c Min unsat cost LB: 22661 ... c Min unsat cost LB: 22940 ... c Min unsat cost LB: 23263 ... c Min unsat cost LB: 23540 ... c Min unsat cost LB: 23888 ... c Min unsat cost LB: 23958 ... c Min unsat cost LB: 24129 ... c Min unsat cost LB: 24554 ... c Min unsat cost LB: 24568 ... c Min unsat cost LB: 24750 ... c Min unsat cost LB: 25356 ... c Min unsat cost LB: 25846 ... c Min unsat cost LB: 26065 ... c Min unsat cost LB: 27183 ... c Min unsat cost LB: 27407 ... c Min unsat cost LB: 27493 ... c Min unsat cost LB: 27777 ... c Min unsat cost LB: 28207 ... c Min unsat cost LB: 28497 ... c Min unsat cost LB: 28565 ... c Min unsat cost LB: 29135 ... c Min unsat cost LB: 29259 ... c Min unsat cost LB: 29310 ... c Min unsat cost LB: 29484 ... c Min unsat cost LB: 29560 ... c Min unsat cost LB: 29578 ... c Min unsat cost LB: 29808 ... c Min unsat cost LB: 29928 ... c Min unsat cost LB: 29932 ... c Min unsat cost LB: 29958 ... c Min unsat cost LB: 29983 ... c Min unsat cost LB: 30468 ... c Min unsat cost LB: 30486 ... c Min unsat cost LB: 31322 ... c Min unsat cost LB: 31649 ... c Min unsat cost LB: 31668 ... c Min unsat cost LB: 31937 ... c Min unsat cost LB: 32873 ... c Min unsat cost LB: 32958 ... c Min unsat cost LB: 32989 ... c Min unsat cost LB: 33452 ... c Min unsat cost LB: 33993 ... c Min unsat cost LB: 34159 ... c Min unsat cost LB: 34240 ... c Min unsat cost LB: 34317 ... c Min unsat cost LB: 34325 ... c Min unsat cost LB: 34547 ... c Min unsat cost LB: 34565 ... c Min unsat cost LB: 34573 ... c Min unsat cost LB: 34598 ... c Min unsat cost LB: 34616 ... c Min unsat cost LB: 35523 ... c Min unsat cost LB: 36095 ... c Min unsat cost LB: 36152 ... c Min unsat cost LB: 36222 ... c Min unsat cost LB: 36297 ... c Min unsat cost LB: 36320 ... c Min unsat cost LB: 36375 ... c Min unsat cost LB: 36914 ... c Min unsat cost LB: 37409 ... c Min unsat cost LB: 38027 ... c Min unsat cost LB: 38625 ... c Min unsat cost LB: 38627 ... c Min unsat cost LB: 39130 ... c Min unsat cost LB: 39143 ... c Min unsat cost LB: 39193 ... c Min unsat cost LB: 39263 ... c Min unsat cost LB: 39301 ... c Min unsat cost LB: 39521 ... c Min unsat cost LB: 40251 ... c Min unsat cost LB: 40551 ... c Min unsat cost LB: 40656 ... c Min unsat cost LB: 40689 ... c Min unsat cost LB: 40755 ... c Min unsat cost LB: 40933 ... c Min unsat cost LB: 41100 ... c Min unsat cost LB: 41119 ... c Min unsat cost LB: 41294 ... c Min unsat cost LB: 41509 ... c Min unsat cost LB: 41792 ... c Min unsat cost LB: 42978 ... c Min unsat cost LB: 42997 ... c Min unsat cost LB: 43009 ... c Min unsat cost LB: 43019 ... c Min unsat cost LB: 43124 ... c Min unsat cost LB: 43255 ... c Min unsat cost LB: 43285 ... c Min unsat cost LB: 43390 ... c Min unsat cost LB: 43408 ... c Min unsat cost LB: 43494 ... c Min unsat cost LB: 43755 ... c Min unsat cost LB: 43862 ... c Min unsat cost LB: 43963 ... c Min unsat cost LB: 44047 ... c Min unsat cost LB: 44324 ... c Min unsat cost LB: 44432 ... c Min unsat cost LB: 44546 ... c Min unsat cost LB: 44748 ... c Min unsat cost LB: 44762 ... c Min unsat cost LB: 44802 ... c Min unsat cost LB: 44936 ... c Min unsat cost LB: 44975 ... c Min unsat cost LB: 45085 ... c Min unsat cost LB: 45099 ... c Min unsat cost LB: 45671 ... c Min unsat cost LB: 45693 ... c Min unsat cost LB: 45714 ... c Min unsat cost LB: 45750 ... c Min unsat cost LB: 45761 ... c Min unsat cost LB: 46007 ... c Min unsat cost LB: 46383 ... c Min unsat cost LB: 46491 ... c Min unsat cost LB: 46623 ... c Min unsat cost LB: 46757 ... c Min unsat cost LB: 46874 ... c Min unsat cost LB: 46889 ... c Min unsat cost LB: 47325 ... c Min unsat cost LB: 47381 ... c Min unsat cost LB: 47390 ... c Min unsat cost LB: 47596 ... c Min unsat cost LB: 47704 ... c Min unsat cost LB: 47794 ... c Min unsat cost LB: 47906 ... c Min unsat cost LB: 48077 ... c Min unsat cost LB: 48121 ... c Min unsat cost LB: 48259 ... c Min unsat cost LB: 48410 ... c Min unsat cost LB: 48463 ... c Min unsat cost LB: 48564 ... c Min unsat cost LB: 48689 ... c Min unsat cost LB: 48854 ... c Min unsat cost LB: 48892 ... c Min unsat cost LB: 48962 ... c Min unsat cost LB: 49090 ... c Min unsat cost LB: 49166 ... c Min unsat cost LB: 49253 ... c Min unsat cost LB: 49330 ... c Min unsat cost LB: 49406 ... c Min unsat cost LB: 49468 ... c Min unsat cost LB: 49521 ... c Min unsat cost LB: 49561 ... c Min unsat cost LB: 49611 ... c Min unsat cost LB: 49658 ... c Min unsat cost LB: 49716 ... c Min unsat cost LB: 49925 ... c Min unsat cost LB: 49981 ... c Min unsat cost LB: 50053 ... c Min unsat cost LB: 50055 ... c Min unsat cost LB: 50061 ... c Min unsat cost LB: 50076 ... c Min unsat cost LB: 50106 ... c Min unsat cost LB: 50114 ... c Min unsat cost LB: 50134 ... c Min unsat cost LB: 50150 ... c Min unsat cost LB: 50269 ... c Min unsat cost LB: 50306 ... c Min unsat cost LB: 50318 ... c Min unsat cost LB: 50319 ... c Min unsat cost LB: 50415 ... c Min unsat cost LB: 50450 ... c Min unsat cost LB: 50549 ... c Min unsat cost LB: 50581 ... c Min unsat cost LB: 50592 ... c Min unsat cost LB: 50637 ... c Min unsat cost LB: 50711 ... c Min unsat cost LB: 50733 ... c Min unsat cost LB: 50750 ... c Min unsat cost LB: 50808 ... c Min unsat cost LB: 50962 ... c Min unsat cost LB: 50973 ... c Min unsat cost LB: 50983 ... c Min unsat cost LB: 50988 ... c Min unsat cost LB: 51000 ... c Min unsat cost LB: 51028 ... c Min unsat cost LB: 51037 ... c Min unsat cost LB: 51038 ... c Min unsat cost LB: 51054 ... c Min unsat cost LB: 51062 ... c Min unsat cost LB: 51077 ... c Min unsat cost LB: 51089 ... c Min unsat cost LB: 51119 ... c Min unsat cost LB: 51139 ... c Min unsat cost LB: 51155 ... c Min unsat cost LB: 51158 ... c Min unsat cost LB: 51163 ... c Min unsat cost LB: 51178 ... c Min unsat cost LB: 51193 ... c Min unsat cost LB: 51210 ... c Min unsat cost LB: 51309 ... c Min unsat cost LB: 51326 ... c Min unsat cost LB: 51331 ... c Min unsat cost LB: 51342 ... c Min unsat cost LB: 51384 ... c Min unsat cost LB: 51429 ... c Min unsat cost LB: 51434 ... c Min unsat cost LB: 51464 ... c Min unsat cost LB: 51495 ... c Min unsat cost LB: 51571 ... c Min unsat cost LB: 51580 ... c Min unsat cost LB: 51590 ... c Min unsat cost LB: 51614 ... c Min unsat cost LB: 51615 ... c Min unsat cost LB: 51626 ... c Min unsat cost LB: 51654 ... c Min unsat cost LB: 51665 ... c Min unsat cost LB: 51689 ... c Min unsat cost LB: 51714 ... c Min unsat cost LB: 51725 ... c Min unsat cost LB: 51769 ... c Min unsat cost LB: 51780 ... c Min unsat cost LB: 51791 ... c Min unsat cost LB: 51802 ... c Min unsat cost LB: 51819 ... c Min unsat cost LB: 51847 ... c Min unsat cost LB: 51866 ... c Min unsat cost LB: 51877 ... c Min unsat cost LB: 51879 ... c Min unsat cost LB: 51882 ... c Min unsat cost LB: 51890 ... c Min unsat cost LB: 51892 ... c Min unsat cost LB: 51895 ... c Min unsat cost LB: 51898 ... c Min unsat cost LB: 51905 ... c Min unsat cost LB: 51910 ... c Min unsat cost LB: 51918 ... c Min unsat cost LB: 51940 ... c Min unsat cost LB: 51941 ... c Min unsat cost LB: 51943 ... c Min unsat cost LB: 52063 ... c Min unsat cost LB: 52156 ... c Min unsat cost LB: 52167 ... c Min unsat cost LB: 52175 ... c Min unsat cost LB: 52189 ... c Min unsat cost LB: 52198 ... c Min unsat cost LB: 52203 ... c Min unsat cost LB: 52218 ... c Min unsat cost LB: 52248 ... c Min unsat cost LB: 52249 ... c Min unsat cost LB: 52254 ... c Min unsat cost LB: 52263 ... c Min unsat cost LB: 52308 ... c Min unsat cost LB: 52309 ... c Min unsat cost LB: 52312 ... c Min unsat cost LB: 52324 ... c Min unsat cost LB: 52336 ... c Min unsat cost LB: 52339 ... c Min unsat cost LB: 52385 ... c Min unsat cost LB: 52397 ... c Min unsat cost LB: 52402 ... c Min unsat cost LB: 52418 ... c Min unsat cost LB: 52423 ... c Min unsat cost LB: 52428 ... c Min unsat cost LB: 52430 ... c Min unsat cost LB: 52498 ... c Min unsat cost LB: 52573 ... c Min unsat cost LB: 52634 ... c Min unsat cost LB: 52659 ... c Min unsat cost LB: 52661 ... c Min unsat cost LB: 52663 ... c Min unsat cost LB: 52682 ... c Min unsat cost LB: 52685 ... c Min unsat cost LB: 52686 ... c Min unsat cost LB: 52698 ... c Min unsat cost LB: 52722 ... c Min unsat cost LB: 52733 ... c Min unsat cost LB: 52755 ... c Min unsat cost LB: 52763 ... c Min unsat cost LB: 52779 ... c Min unsat cost LB: 52782 ... c Min unsat cost LB: 52826 ... c Min unsat cost LB: 52829 ... c Min unsat cost LB: 52880 ... c Min unsat cost LB: 52891 ... c Min unsat cost LB: 52896 ... c Min unsat cost LB: 52903 ... c Min unsat cost LB: 52917 ... c Min unsat cost LB: 52931 ... c Min unsat cost LB: 53630 ... c Min unsat cost LB: 53700 ... c Min unsat cost LB: 53705 ... c Min unsat cost LB: 53716 ... c Min unsat cost LB: 53757 ... c Min unsat cost LB: 53941 ... c Min unsat cost LB: 53950 ... c Min unsat cost LB: 53982 ... c Min unsat cost LB: 54181 ... c Min unsat cost LB: 54386 ... c Min unsat cost LB: 54465 ... c Min unsat cost LB: 54467 ... c Min unsat cost LB: 54647 ... c Min unsat cost LB: 55028 ... c Min unsat cost LB: 55072 ... c Min unsat cost LB: 55328 ... c Min unsat cost LB: 55337 ... c Min unsat cost LB: 55339 ... c Min unsat cost LB: 55341 ... c Min unsat cost LB: 55491 ... c Min unsat cost LB: 55688 ... c Min unsat cost LB: 55870 ... c Min unsat cost LB: 55952 ... c Min unsat cost LB: 56044 ... c Min unsat cost LB: 56056 ... c Min unsat cost LB: 56133 ... c Min unsat cost LB: 56206 ... c Min unsat cost LB: 56238 ... c Min unsat cost LB: 56258 ... c Min unsat cost LB: 56263 ... c Min unsat cost LB: 56275 ... c Min unsat cost LB: 56305 ... c Min unsat cost LB: 56442 ... c Min unsat cost LB: 56515 ... c Min unsat cost LB: 56529 ... c Min unsat cost LB: 56541 ... c Min unsat cost LB: 56556 ... c Min unsat cost LB: 56583 ... c Min unsat cost LB: 56595 ... c Min unsat cost LB: 56618 ... c Min unsat cost LB: 56621 ... c Min unsat cost LB: 56808 ... c Min unsat cost LB: 56848 ... c Min unsat cost LB: 56857 ... c Min unsat cost LB: 56859 ... c Min unsat cost LB: 56934 ... c Min unsat cost LB: 57016 ... c Min unsat cost LB: 57025 ... c Min unsat cost LB: 57035 ... c Min unsat cost LB: 57049 ... c Min unsat cost LB: 57140 ... c Min unsat cost LB: 57198 ... c Min unsat cost LB: 57213 ... c Min unsat cost LB: 57216 ... c Min unsat cost LB: 57230 ... c Min unsat cost LB: 57242 ... c Min unsat cost LB: 57265 ... c Min unsat cost LB: 57282 ... c Min unsat cost LB: 57327 ... c Min unsat cost LB: 57439 ... c Min unsat cost LB: 57457 ... c Min unsat cost LB: 57461 ... c Min unsat cost LB: 57464 ... c Min unsat cost LB: 57479 ... c Min unsat cost LB: 57504 ... c Min unsat cost LB: 57515 ... c Min unsat cost LB: 57524 ... c Min unsat cost LB: 57532 ... c Min unsat cost LB: 57533 ... c Min unsat cost LB: 57546 ... c Min unsat cost LB: 57558 ... c Min unsat cost LB: 57616 ... c Min unsat cost LB: 57620 ... c Min unsat cost LB: 57650 ... c Min unsat cost LB: 57681 ... c Min unsat cost LB: 57685 ... c Min unsat cost LB: 57692 ... c Min unsat cost LB: 57701 ... c Min unsat cost LB: 57710 ... c Min unsat cost LB: 57733 ... c Min unsat cost LB: 57788 ... c Min unsat cost LB: 57822 ... c Min unsat cost LB: 57825 ... c Min unsat cost LB: 57834 ... c Min unsat cost LB: 57842 ... c Min unsat cost LB: 57847 ... c Min unsat cost LB: 57857 ... c Min unsat cost LB: 57861 ... c Min unsat cost LB: 57878 ... c Min unsat cost LB: 57906 ... c Min unsat cost LB: 57931 ... c Min unsat cost LB: 58170 ... c Min unsat cost LB: 58177 ... c Min unsat cost LB: 58298 ... c Min unsat cost LB: 58492 ... c Min unsat cost LB: 59232 ... c Min unsat cost LB: 59240 ... c Min unsat cost LB: 59253 ... c Min unsat cost LB: 59295 ... c Min unsat cost LB: 59353 ... c Min unsat cost LB: 59355 ... c Min unsat cost LB: 59364 ... c Min unsat cost LB: 59451 ... c Min unsat cost LB: 59741 ... c Min unsat cost LB: 59761 ... c Min unsat cost LB: 59836 ... c Min unsat cost LB: 59893 ... c Min unsat cost LB: 59907 ... c Min unsat cost LB: 59967 ... c Min unsat cost LB: 60001 ... c Min unsat cost LB: 60305 ... c Min unsat cost LB: 60332 ... c Min unsat cost LB: 60379 ... c Min unsat cost LB: 60426 ... c Min unsat cost LB: 60526 ... c Min unsat cost LB: 60536 ... c Min unsat cost LB: 60553 ... c Min unsat cost LB: 60700 ... c Min unsat cost LB: 60762 ... c Min unsat cost LB: 60767 ... c Min unsat cost LB: 61023 ... c Min unsat cost LB: 61025 ... c Min unsat cost LB: 61099 ... c Min unsat cost LB: 61112 ... c Min unsat cost LB: 61114 ... c Min unsat cost LB: 61116 ... c Min unsat cost LB: 61119 ... c Min unsat cost LB: 61124 ... c Min unsat cost LB: 61127 ... c Min unsat cost LB: 61128 ... c Min unsat cost LB: 61138 ... c Min unsat cost LB: 61271 ... c Min unsat cost LB: 61344 ... c Min unsat cost LB: 61372 ... c Min unsat cost LB: 61396 ... c Min unsat cost LB: 61422 ... c Min unsat cost LB: 61425 ... c Min unsat cost LB: 61471 ... c Min unsat cost LB: 61662 ... c Min unsat cost LB: 61705 ... c Min unsat cost LB: 61799 ... c Min unsat cost LB: 61864 ... c Min unsat cost LB: 61935 ... c Min unsat cost LB: 62021 ... c Min unsat cost LB: 62110 ... c Min unsat cost LB: 62142 ... c Min unsat cost LB: 62165 ... c Min unsat cost LB: 62167 ... c Min unsat cost LB: 62179 ... c Min unsat cost LB: 62199 ... c Min unsat cost LB: 62201 ... c Min unsat cost LB: 62203 ... c Min unsat cost LB: 62213 ... c Min unsat cost LB: 62226 ... c Min unsat cost LB: 62228 ... c Min unsat cost LB: 62229 ... c Min unsat cost LB: 62231 ... c Min unsat cost LB: 62232 ... c Min unsat cost LB: 62242 ... c Min unsat cost LB: 62252 ... c Min unsat cost LB: 62256 ... c Min unsat cost LB: 62259 ... c Min unsat cost LB: 62264 ... c Min unsat cost LB: 62270 ... c Min unsat cost LB: 62302 ... c Min unsat cost LB: 62342 ... c Min unsat cost LB: 62351 ... c Min unsat cost LB: 62364 ... c Min unsat cost LB: 62424 ... c Min unsat cost LB: 62462 ... c Min unsat cost LB: 62470 ... c Min unsat cost LB: 62483 ... c Min unsat cost LB: 62485 ... c Min unsat cost LB: 62486 ... c Min unsat cost LB: 62487 ... c Min unsat cost LB: 62488 ... c Min unsat cost LB: 62489 ... c Min unsat cost LB: 62497 ... c Min unsat cost LB: 62606 ... c Min unsat cost LB: 62633 ... c Min unsat cost LB: 62647 ... c Min unsat cost LB: 62736 ... c Min unsat cost LB: 62779 ... c Min unsat cost LB: 62780 ... c Min unsat cost LB: 62792 ... c Min unsat cost LB: 62805 ... c Min unsat cost LB: 62849 ... c Min unsat cost LB: 63086 ... c Min unsat cost LB: 63242 ... c Min unsat cost LB: 63300 ... c Min unsat cost LB: 63301 ... c Min unsat cost LB: 63303 ... c Min unsat cost LB: 63305 ... c Min unsat cost LB: 63306 ... c Min unsat cost LB: 63307 ... c Min unsat cost LB: 63309 ... c Min unsat cost LB: 63310 ... c Min unsat cost LB: 63312 ... c Min unsat cost LB: 63313 ... c Min unsat cost LB: 63314 ... c Min unsat cost LB: 63315 ... c Min unsat cost LB: 63316 ... c Min unsat cost LB: 63318 ... c Min unsat cost LB: 63319 ... c Min unsat cost LB: 63320 ... c Min unsat cost LB: 63321 ... c Min unsat cost LB: 63322 ... c Min unsat cost LB: 63323 ... c Min unsat cost LB: 63324 ... c Min unsat cost LB: 63333 ... c Min unsat cost LB: 63359 ... c Min unsat cost LB: 63394 ... c Min unsat cost LB: 63408 ... c Min unsat cost LB: 63416 ... c Min unsat cost LB: 63422 ... c Min unsat cost LB: 63572 ... c Min unsat cost LB: 63904 ... c Min unsat cost LB: 63912 ... c Min unsat cost LB: 64013 ... c Min unsat cost LB: 64014 ... c Min unsat cost LB: 64015 ... c Min unsat cost LB: 64016 ... c Min unsat cost LB: 64017 ... c Min unsat cost LB: 64019 ... c Min unsat cost LB: 64021 ... c Min unsat cost LB: 64022 ... c Min unsat cost LB: 64023 ... c Min unsat cost LB: 64120 ... c Min unsat cost LB: 64128 ... c Min unsat cost LB: 64155 ... c Min unsat cost LB: 64540 ... c Min unsat cost LB: 64545 ... c Min unsat cost LB: 64555 ... c Min unsat cost LB: 64794 ... c Min unsat cost LB: 64873 ... c Min unsat cost LB: 65031 ... c Min unsat cost LB: 65045 ... c Min unsat cost LB: 65306 ... c Min unsat cost LB: 65426 ... c Min unsat cost LB: 65427 ... c Min unsat cost LB: 65428 ... c Min unsat cost LB: 65429 ... c Min unsat cost LB: 65430 ... c Min unsat cost LB: 65431 ... c Min unsat cost LB: 65454 ... c Min unsat cost LB: 65458 ... c Min unsat cost LB: 65460 ... c Min unsat cost LB: 65461 ... c Min unsat cost LB: 65462 ... c Min unsat cost LB: 65466 ... c Min unsat cost LB: 65477 ... c Min unsat cost LB: 65480 ... c Min unsat cost LB: 65488 ... c Min unsat cost LB: 65489 ... c Min unsat cost LB: 65490 ... c Min unsat cost LB: 65491 ... c Min unsat cost LB: 65557 ... c Min unsat cost LB: 65580 ... c Min unsat cost LB: 65582 ... c Min unsat cost LB: 65583 ... c Min unsat cost LB: 65590 ... c Min unsat cost LB: 65605 ... c Min unsat cost LB: 65606 ... c Min unsat cost LB: 65607 ... c Min unsat cost LB: 65608 ... c Min unsat cost LB: 65622 ... c Min unsat cost LB: 65623 ... c Min unsat cost LB: 65624 ... c Min unsat cost LB: 65625 ... c Min unsat cost LB: 65626 ... c Min unsat cost LB: 65627 ... c Min unsat cost LB: 65628 ... c Min unsat cost LB: 65629 ... c Min unsat cost LB: 65630 ... c Min unsat cost LB: 65631 ... c Min unsat cost LB: 65632 ... c Min unsat cost LB: 65633 ... c Min unsat cost LB: 65634 ... c Min unsat cost LB: 65635 ... c Min unsat cost LB: 65636 ... c Min unsat cost LB: 65637 ... c Min unsat cost LB: 65639 ... c Min unsat cost LB: 65640 ... c Min unsat cost LB: 65642 ... c Min unsat cost LB: 65643 ... c Min unsat cost LB: 65648 ... c Min unsat cost LB: 65649 ... c Min unsat cost LB: 65653 ... c Min unsat cost LB: 65654 ... c Min unsat cost LB: 65655 ... c Min unsat cost LB: 65659 ... c Min unsat cost LB: 65660 ... c Min unsat cost LB: 65661 ... c Min unsat cost LB: 65662 ... c Min unsat cost LB: 65984 ... c Min unsat cost LB: 65985 ... c Min unsat cost LB: 65989 ... c Min unsat cost LB: 66003 ... c Min unsat cost LB: 66009 ... c Min unsat cost LB: 66074 ... c Min unsat cost LB: 66090 ... c Min unsat cost LB: 66098 ... c Min unsat cost LB: 66107 ... c Min unsat cost LB: 66108 ... c Min unsat cost LB: 66109 ... c Min unsat cost LB: 66161 ... c Min unsat cost LB: 66175 ... c Min unsat cost LB: 66176 ... c Min unsat cost LB: 66177 ... c Min unsat cost LB: 66178 ... c Min unsat cost LB: 66179 ... c Min unsat cost LB: 66180 ... c Min unsat cost LB: 66181 ... c Min unsat cost LB: 66182 ... c Min unsat cost LB: 66183 ... c Min unsat cost LB: 66184 ... c Min unsat cost LB: 66185 ... c Min unsat cost LB: 66186 ... c Min unsat cost LB: 66187 ... c Min unsat cost LB: 66188 ... c Min unsat cost LB: 66191 ... c Min unsat cost LB: 66192 ... c Min unsat cost LB: 66193 ... c Min unsat cost LB: 66194 ... c Min unsat cost LB: 66195 ... c Min unsat cost LB: 66198 ... c Min unsat cost LB: 66199 ... c Min unsat cost LB: 66204 ... c Min unsat cost LB: 66205 ... c Min unsat cost LB: 66206 ... c Min unsat cost LB: 66208 ... c Min unsat cost LB: 66209 ... c Min unsat cost LB: 66210 ... c Min unsat cost LB: 66211 ... c Min unsat cost LB: 66234 ... c Min unsat cost LB: 66235 ... c Min unsat cost LB: 66248 ... c Min unsat cost LB: 66251 ... c Min unsat cost LB: 66252 ... c Min unsat cost LB: 66366 ... c Min unsat cost LB: 66367 ... c Min unsat cost LB: 66368 ... c Min unsat cost LB: 66369 ... c Min unsat cost LB: 66370 ... c Min unsat cost LB: 66378 ... c Min unsat cost LB: 66402 ... c Min unsat cost LB: 66406 ... c Min unsat cost LB: 66408 ... c Min unsat cost LB: 66409 ... c Min unsat cost LB: 66411 ... c Min unsat cost LB: 66413 ... c Min unsat cost LB: 66448 ... c Min unsat cost LB: 66449 ... c Min unsat cost LB: 66450 ... c Min unsat cost LB: 66451 ... c Min unsat cost LB: 66453 ... c Min unsat cost LB: 66456 ... c Min unsat cost LB: 66462 ... c Min unsat cost LB: 66468 ... c Min unsat cost LB: 66469 ... c Min unsat cost LB: 66865 ... c Min unsat cost LB: 66866 ... c Min unsat cost LB: 66867 ... c Min unsat cost LB: 66869 ... c Min unsat cost LB: 66870 ... c Min unsat cost LB: 66871 ... c Min unsat cost LB: 66873 ... c Min unsat cost LB: 66874 ... c Min unsat cost LB: 66875 ... c Min unsat cost LB: 66877 ... c Min unsat cost LB: 66879 ... c Min unsat cost LB: 66880 ... c Min unsat cost LB: 66882 ... c Min unsat cost LB: 66883 ... c Min unsat cost LB: 66884 ... c Min unsat cost LB: 66886 ... c Min unsat cost LB: 66889 ... c Min unsat cost LB: 66896 ... c Min unsat cost LB: 66897 ... c Min unsat cost LB: 66901 ... c Min unsat cost LB: 66902 ... c Min unsat cost LB: 66943 ... c Min unsat cost LB: 66944 ... c Min unsat cost LB: 66945 ... c Min unsat cost LB: 66946 ... c Min unsat cost LB: 66947 ... c Min unsat cost LB: 66950 ... c Min unsat cost LB: 66951 ... c Min unsat cost LB: 66952 ... c Min unsat cost LB: 66953 ... c Min unsat cost LB: 66954 ... c Min unsat cost LB: 66955 ... c Min unsat cost LB: 66956 ... c Min unsat cost LB: 66957 ... c Min unsat cost LB: 66958 ... c Min unsat cost LB: 66959 ... c Min unsat cost LB: 66960 ... c Min unsat cost LB: 66961 ... c Min unsat cost LB: 66963 ... c Min unsat cost LB: 66964 ... c Min unsat cost LB: 67020 ... c Min unsat cost LB: 67021 ... c Min unsat cost LB: 67022 ... c Min unsat cost LB: 67023 ... c Min unsat cost LB: 67029 ... c Min unsat cost LB: 67030 ... c Min unsat cost LB: 67198 ... c Min unsat cost LB: 67203 ... c Min unsat cost LB: 67259 ... c Min unsat cost LB: 67260 ... c Min unsat cost LB: 67261 ... c Min unsat cost LB: 67262 ... c Min unsat cost LB: 67263 ... c Min unsat cost LB: 67265 ... c Min unsat cost LB: 67266 ... c Min unsat cost LB: 67269 ... c Min unsat cost LB: 67270 ... c Min unsat cost LB: 67271 ... c Min unsat cost LB: 67272 ... c Min unsat cost LB: 67278 ... c Min unsat cost LB: 67279 ... c Min unsat cost LB: 67281 ... c Min unsat cost LB: 67289 ... c Min unsat cost LB: 67290 ... c Min unsat cost LB: 67292 ... c Min unsat cost LB: 67294 ... c Min unsat cost LB: 67295 ... c Min unsat cost LB: 67297 ... c Min unsat cost LB: 67301 ... c Min unsat cost LB: 67302 ... c Min unsat cost LB: 67303 ... c Min unsat cost LB: 67305 ... c Min unsat cost LB: 67306 ... c Min unsat cost LB: 67309 ... c Min unsat cost LB: 67315 ... c Min unsat cost LB: 67316 ... c Min unsat cost LB: 67317 ... c Min unsat cost LB: 67318 ... c Min unsat cost LB: 67319 ... c Min unsat cost LB: 67320 ... c Min unsat cost LB: 67321 ... c Min unsat cost LB: 67322 ... c Min unsat cost LB: 67562 ... c Min unsat cost LB: 67563 ... c Min unsat cost LB: 67564 ... c Min unsat cost LB: 67566 ... c Min unsat cost LB: 67567 ... c Min unsat cost LB: 67568 ... c Min unsat cost LB: 67571 ... c Min unsat cost LB: 67572 ... c Min unsat cost LB: 67573 ... c Min unsat cost LB: 67574 ... c Min unsat cost LB: 67575 ... c Min unsat cost LB: 67576 ... c Min unsat cost LB: 67579 ... c Min unsat cost LB: 67586 ... c Min unsat cost LB: 67587 ... c Min unsat cost LB: 67588 ... c Min unsat cost LB: 67589 ... c Min unsat cost LB: 67590 ... c Min unsat cost LB: 67592 ... c Min unsat cost LB: 67593 ... c Min unsat cost LB: 67594 ... c Min unsat cost LB: 67599 ... c Min unsat cost LB: 67600 ... c Min unsat cost LB: 67601 ... c Min unsat cost LB: 67602 ... c Min unsat cost LB: 67603 ... c Min unsat cost LB: 67604 ... c Min unsat cost LB: 67605 ... c Min unsat cost LB: 67607 ... c Min unsat cost LB: 67608 ... c Min unsat cost LB: 67609 ... c Min unsat cost LB: 67610 ... c Min unsat cost LB: 67611 ... c Min unsat cost LB: 67613 ... c Min unsat cost LB: 67614 ... c Min unsat cost LB: 67615 ... c Min unsat cost LB: 67616 ... c Min unsat cost LB: 67617 ... c Min unsat cost LB: 67618 ... c Min unsat cost LB: 67619 ... c Min unsat cost LB: 67620 ... c Min unsat cost LB: 67621 ... c Min unsat cost LB: 67622 ... c Min unsat cost LB: 67623 ... c Min unsat cost LB: 67624 ... c Min unsat cost LB: 67625 ... c Min unsat cost LB: 67626 ... c Min unsat cost LB: 67627 ... c Min unsat cost LB: 67628 ... c Min unsat cost LB: 67629 ... c Min unsat cost LB: 67630 ... c Min unsat cost LB: 67631 ... c Min unsat cost LB: 67632 ... c Min unsat cost LB: 67633 ... c Min unsat cost LB: 67634 ... c Min unsat cost LB: 67635 ... c Min unsat cost LB: 67636 ... c Min unsat cost LB: 67641 ... c Min unsat cost LB: 67642 ... c Min unsat cost LB: 67643 ... c Min unsat cost LB: 67644 ... c Min unsat cost LB: 67645 ... c Min unsat cost LB: 67646 ... c Min unsat cost LB: 67647 ... c Min unsat cost LB: 67648 ... c Min unsat cost LB: 67824 ... c Min unsat cost LB: 67866 ... c Min unsat cost LB: 67954 ... c Min unsat cost LB: 68020 ... c Min unsat cost LB: 68026 ... c Min unsat cost LB: 68079 ... c Min unsat cost LB: 68174 ... c Min unsat cost LB: 68216 ... c Min unsat cost LB: 68279 ... c Min unsat cost LB: 68304 ... c Min unsat cost LB: 68370 ... c Min unsat cost LB: 68376 ... c Min unsat cost LB: 68411 ... c Min unsat cost LB: 68412 ... c Min unsat cost LB: 68435 ... c Min unsat cost LB: 68646 ... c Min unsat cost LB: 68650 ... c Min unsat cost LB: 68652 ... c Min unsat cost LB: 68654 ... c Min unsat cost LB: 68655 ... c Min unsat cost LB: 68657 ... c Min unsat cost LB: 68659 ... c Min unsat cost LB: 68664 ... c Min unsat cost LB: 68665 ... c Min unsat cost LB: 68666 ... c Min unsat cost LB: 68667 ... c Min unsat cost LB: 68668 ... c Min unsat cost LB: 68669 ... c Min unsat cost LB: 68670 ... c Min unsat cost LB: 68671 ... c Min unsat cost LB: 68672 ... c Min unsat cost LB: 68784 ... c Min unsat cost LB: 68785 ... c Min unsat cost LB: 68786 ... c Min unsat cost LB: 68787 ... c Min unsat cost LB: 68788 ... c Min unsat cost LB: 68789 ... c Min unsat cost LB: 68790 ... c Min unsat cost LB: 68791 ... c Min unsat cost LB: 68792 ... c Min unsat cost LB: 68793 ... c Min unsat cost LB: 68794 ... c Min unsat cost LB: 68795 ... c Min unsat cost LB: 68796 ... c Min unsat cost LB: 68798 ... c Min unsat cost LB: 68799 ... c Min unsat cost LB: 68800 ... c Min unsat cost LB: 68801 ... c Min unsat cost LB: 68802 ... c Min unsat cost LB: 68804 ... c Min unsat cost LB: 68805 ... c Min unsat cost LB: 68806 ... c Min unsat cost LB: 68807 ... c Min unsat cost LB: 68808 ... c Min unsat cost LB: 68813 ... c Min unsat cost LB: 68814 ... c Min unsat cost LB: 68815 ... c Min unsat cost LB: 68816 ... c Min unsat cost LB: 68817 ... c Min unsat cost LB: 68818 ... c Min unsat cost LB: 68819 ... c Min unsat cost LB: 68820 ... c Min unsat cost LB: 68821 ... c Min unsat cost LB: 68822 ... c Min unsat cost LB: 68823 ... c Min unsat cost LB: 68824 ... c Min unsat cost LB: 68825 ... c Min unsat cost LB: 68826 ... c Min unsat cost LB: 68827 ... c Min unsat cost LB: 68828 ... c Min unsat cost LB: 68829 ... c Min unsat cost LB: 68830 ... c Min unsat cost LB: 68831 ... c Min unsat cost LB: 68832 ... c Min unsat cost LB: 68833 ... c Min unsat cost LB: 68834 ... c Min unsat cost LB: 68835 ... c Min unsat cost LB: 68836 ... c Min unsat cost LB: 68837 ... c Min unsat cost LB: 68838 ... c Min unsat cost LB: 68839 ... c Min unsat cost LB: 68840 ... c Min unsat cost LB: 68841 ... c Min unsat cost LB: 68842 ... c Min unsat cost LB: 68843 ... c Min unsat cost LB: 68844 ... c Min unsat cost LB: 68845 ... c Min unsat cost LB: 68846 ... c Min unsat cost LB: 68847 ... c Min unsat cost LB: 68848 ... c Min unsat cost LB: 68849 ... c Min unsat cost LB: 68850 ... c Min unsat cost LB: 68851 ... c Min unsat cost LB: 68852 ... c Min unsat cost LB: 68853 ... c Min unsat cost LB: 68854 ... c Min unsat cost LB: 68855 ... c Min unsat cost LB: 68856 ... c Min unsat cost LB: 68857 ... c Min unsat cost LB: 68858 ... c Min unsat cost LB: 68859 ... c Min unsat cost LB: 68860 ... c Min unsat cost LB: 68861 ... c Min unsat cost LB: 68862 ... c Min unsat cost LB: 68863 ... c Min unsat cost LB: 68864 ... c Min unsat cost LB: 68865 ... c Min unsat cost LB: 68866 ... c Min unsat cost LB: 68867 ... c Min unsat cost LB: 68868 ... c Min unsat cost LB: 68899 ... c Min unsat cost LB: 68924 ... c Min unsat cost LB: 69296 ... c Min unsat cost LB: 69302 ... c Min unsat cost LB: 69432 ... c Min unsat cost LB: 69779 ... c Min unsat cost LB: 69809 ... c Min unsat cost LB: 69817 ... c Min unsat cost LB: 69836 ... c Min unsat cost LB: 69848 ... c Min unsat cost LB: 69880 ... c Min unsat cost LB: 69989 ... c Min unsat cost LB: 69997 ... c Min unsat cost LB: 70181 ... c Min unsat cost LB: 70237 ... c Min unsat cost LB: 70240 ... c Min unsat cost LB: 70241 ... c Min unsat cost LB: 70264 ... c Min unsat cost LB: 70411 ... c Min unsat cost LB: 70414 ... c Min unsat cost LB: 70427 ... c Min unsat cost LB: 70441 ... c Min unsat cost LB: 70544 ... c Min unsat cost LB: 70545 ... c Min unsat cost LB: 70568 ... c Min unsat cost LB: 70600 ... c Min unsat cost LB: 70609 ... c Min unsat cost LB: 70610 ... c Min unsat cost LB: 70637 ... c Min unsat cost LB: 70769 ... c Min unsat cost LB: 70880 ... c Min unsat cost LB: 71236 ... c Min unsat cost LB: 71294 ... c Min unsat cost LB: 71295 ... c Min unsat cost LB: 71533 ... c Min unsat cost LB: 71569 ... c Min unsat cost LB: 71582 ... c Min unsat cost LB: 71625 ... c Min unsat cost LB: 71649 ... c Min unsat cost LB: 71652 ... c Min unsat cost LB: 72059 ... c Min unsat cost LB: 72136 ... c Min unsat cost LB: 72190 ... c Min unsat cost LB: 72251 ... c Min unsat cost LB: 72366 ... c Min unsat cost LB: 72367 ... c Min unsat cost LB: 72467 ... c Min unsat cost LB: 72654 ... c Min unsat cost LB: 72676 ... c Min unsat cost LB: 72932 ... c Min unsat cost LB: 72951 ... c Min unsat cost LB: 72968 ... c Min unsat cost LB: 73028 ... c Min unsat cost LB: 73040 ... c Min unsat cost LB: 73071 ... c Min unsat cost LB: 73109 ... c Min unsat cost LB: 73294 ... c Min unsat cost LB: 73306 ... c Min unsat cost LB: 73403 ... c Min unsat cost LB: 73428 ... c Min unsat cost LB: 73485 ... c Min unsat cost LB: 73513 ... c Min unsat cost LB: 73662 ... c Min unsat cost LB: 73663 ... c Min unsat cost LB: 73665 ... c Min unsat cost LB: 73672 ... c Min unsat cost LB: 73676 ... c Min unsat cost LB: 73681 ... c Min unsat cost LB: 73692 ... c Min unsat cost LB: 73726 ... c Min unsat cost LB: 73735 ... c Min unsat cost LB: 73750 ... c Min unsat cost LB: 73798 ... c Min unsat cost LB: 73990 ... c Min unsat cost LB: 73996 ... c Min unsat cost LB: 74029 ... c Min unsat cost LB: 74066 ... c Min unsat cost LB: 74126 ... c Min unsat cost LB: 74238 ... c Min unsat cost LB: 74268 ... c Min unsat cost LB: 74270 ... c Min unsat cost LB: 74409 ... c Min unsat cost LB: 74429 ... c Min unsat cost LB: 74472 ... c Min unsat cost LB: 74606 ... c Min unsat cost LB: 74643 ... c Min unsat cost LB: 74668 ... c Min unsat cost LB: 74743 ... c Min unsat cost LB: 74749 ... c Min unsat cost LB: 74763 ... c Min unsat cost LB: 74786 ... c Min unsat cost LB: 74797 ... c Min unsat cKilled 1813.135u 6.596s 30:21.58 99.8% 0+0k 0+0io 0pf+0w