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-60-2_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_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-60-2_network-6.net.wcnf *** c c Min unsat cost LB: 1538 ... c Min unsat cost LB: 2247 ... c Min unsat cost LB: 3887 ... c Min unsat cost LB: 4973 ... c Min unsat cost LB: 6770 ... c Min unsat cost LB: 7334 ... c Min unsat cost LB: 8277 ... c Min unsat cost LB: 9641 ... c Min unsat cost LB: 9979 ... c Min unsat cost LB: 11406 ... c Min unsat cost LB: 11531 ... c Min unsat cost LB: 11647 ... c Min unsat cost LB: 11824 ... c Min unsat cost LB: 12557 ... c Min unsat cost LB: 12926 ... c Min unsat cost LB: 13608 ... c Min unsat cost LB: 14569 ... c Min unsat cost LB: 16336 ... c Min unsat cost LB: 16357 ... c Min unsat cost LB: 16579 ... c Min unsat cost LB: 17313 ... c Min unsat cost LB: 18338 ... c Min unsat cost LB: 18426 ... c Min unsat cost LB: 18463 ... c Min unsat cost LB: 19074 ... c Min unsat cost LB: 19284 ... c Min unsat cost LB: 19442 ... c Min unsat cost LB: 19466 ... c Min unsat cost LB: 19702 ... c Min unsat cost LB: 19842 ... c Min unsat cost LB: 19996 ... c Min unsat cost LB: 20498 ... c Min unsat cost LB: 21490 ... c Min unsat cost LB: 21628 ... c Min unsat cost LB: 21910 ... c Min unsat cost LB: 22180 ... c Min unsat cost LB: 22473 ... c Min unsat cost LB: 22627 ... c Min unsat cost LB: 23633 ... c Min unsat cost LB: 23939 ... c Min unsat cost LB: 24301 ... c Min unsat cost LB: 24875 ... c Min unsat cost LB: 24898 ... c Min unsat cost LB: 25013 ... c Min unsat cost LB: 25624 ... c Min unsat cost LB: 25975 ... c Min unsat cost LB: 26307 ... c Min unsat cost LB: 27089 ... c Min unsat cost LB: 27372 ... c Min unsat cost LB: 27756 ... c Min unsat cost LB: 27788 ... c Min unsat cost LB: 27845 ... c Min unsat cost LB: 27888 ... c Min unsat cost LB: 27982 ... c Min unsat cost LB: 27997 ... c Min unsat cost LB: 28722 ... c Min unsat cost LB: 28791 ... c Min unsat cost LB: 29126 ... c Min unsat cost LB: 29266 ... c Min unsat cost LB: 29375 ... c Min unsat cost LB: 29426 ... c Min unsat cost LB: 29485 ... c Min unsat cost LB: 30136 ... c Min unsat cost LB: 30241 ... c Min unsat cost LB: 30296 ... c Min unsat cost LB: 30303 ... c Min unsat cost LB: 30346 ... c Min unsat cost LB: 30537 ... c Min unsat cost LB: 30590 ... c Min unsat cost LB: 30695 ... c Min unsat cost LB: 30757 ... c Min unsat cost LB: 30860 ... c Min unsat cost LB: 31454 ... c Min unsat cost LB: 31483 ... c Min unsat cost LB: 31495 ... c Min unsat cost LB: 31511 ... c Min unsat cost LB: 31528 ... c Min unsat cost LB: 31536 ... c Min unsat cost LB: 31548 ... c Min unsat cost LB: 31575 ... c Min unsat cost LB: 31582 ... c Min unsat cost LB: 32814 ... c Min unsat cost LB: 32898 ... c Min unsat cost LB: 33271 ... c Min unsat cost LB: 33292 ... c Min unsat cost LB: 33379 ... c Min unsat cost LB: 33394 ... c Min unsat cost LB: 33445 ... c Min unsat cost LB: 33451 ... c Min unsat cost LB: 33453 ... c Min unsat cost LB: 33478 ... c Min unsat cost LB: 33490 ... c Min unsat cost LB: 33523 ... c Min unsat cost LB: 33529 ... c Min unsat cost LB: 33531 ... c Min unsat cost LB: 33537 ... c Min unsat cost LB: 33572 ... c Min unsat cost LB: 33638 ... c Min unsat cost LB: 33735 ... c Min unsat cost LB: 34745 ... c Min unsat cost LB: 34800 ... c Min unsat cost LB: 35134 ... c Min unsat cost LB: 35160 ... c Min unsat cost LB: 35166 ... c Min unsat cost LB: 35168 ... c Min unsat cost LB: 35169 ... c Min unsat cost LB: 35177 ... c Min unsat cost LB: 35203 ... c Min unsat cost LB: 35209 ... c Min unsat cost LB: 35235 ... c Min unsat cost LB: 35275 ... c Min unsat cost LB: 35466 ... c Min unsat cost LB: 35478 ... c Min unsat cost LB: 35487 ... c Min unsat cost LB: 35491 ... c Min unsat cost LB: 35593 ... c Min unsat cost LB: 35636 ... c Min unsat cost LB: 36280 ... c Min unsat cost LB: 36447 ... c Min unsat cost LB: 36508 ... c Min unsat cost LB: 36525 ... c Min unsat cost LB: 36542 ... c Min unsat cost LB: 36601 ... c Min unsat cost LB: 36659 ... c Min unsat cost LB: 36691 ... c Min unsat cost LB: 36724 ... c Min unsat cost LB: 37089 ... c Min unsat cost LB: 37101 ... c Min unsat cost LB: 37137 ... c Min unsat cost LB: 37142 ... c Min unsat cost LB: 37346 ... c Min unsat cost LB: 37349 ... c Min unsat cost LB: 37412 ... c Min unsat cost LB: 37415 ... c Min unsat cost LB: 37567 ... c Min unsat cost LB: 37783 ... c Min unsat cost LB: 37786 ... c Min unsat cost LB: 37789 ... c Min unsat cost LB: 37932 ... c Min unsat cost LB: 38111 ... c Min unsat cost LB: 38256 ... c Min unsat cost LB: 38399 ... c Min unsat cost LB: 38639 ... c Min unsat cost LB: 38822 ... c Min unsat cost LB: 39022 ... c Min unsat cost LB: 39086 ... c Min unsat cost LB: 39259 ... c Min unsat cost LB: 39275 ... c Min unsat cost LB: 39295 ... c Min unsat cost LB: 39311 ... c Min unsat cost LB: 39507 ... c Min unsat cost LB: 39595 ... c Min unsat cost LB: 39604 ... c Min unsat cost LB: 39667 ... c Min unsat cost LB: 39744 ... c Min unsat cost LB: 39796 ... c Min unsat cost LB: 39878 ... c Min unsat cost LB: 39892 ... c Min unsat cost LB: 39915 ... c Min unsat cost LB: 39944 ... c Min unsat cost LB: 40020 ... c Min unsat cost LB: 40041 ... c Min unsat cost LB: 40077 ... c Min unsat cost LB: 40189 ... c Min unsat cost LB: 40216 ... c Min unsat cost LB: 40235 ... c Min unsat cost LB: 40333 ... c Min unsat cost LB: 40423 ... c Min unsat cost LB: 40475 ... c Min unsat cost LB: 41028 ... c Min unsat cost LB: 41038 ... c Min unsat cost LB: 41091 ... c Min unsat cost LB: 41143 ... c Min unsat cost LB: 41172 ... c Min unsat cost LB: 41186 ... c Min unsat cost LB: 41196 ... c Min unsat cost LB: 41211 ... c Min unsat cost LB: 41225 ... c Min unsat cost LB: 41229 ... c Min unsat cost LB: 41240 ... c Min unsat cost LB: 41351 ... c Min unsat cost LB: 41381 ... c Min unsat cost LB: 41396 ... c Min unsat cost LB: 41403 ... c Min unsat cost LB: 41408 ... c Min unsat cost LB: 41414 ... c Min unsat cost LB: 41416 ... c Min unsat cost LB: 41427 ... c Min unsat cost LB: 41430 ... c Min unsat cost LB: 41435 ... c Min unsat cost LB: 41449 ... c Min unsat cost LB: 41462 ... c Min unsat cost LB: 41466 ... c Min unsat cost LB: 41514 ... c Min unsat cost LB: 41526 ... c Min unsat cost LB: 41539 ... c Min unsat cost LB: 41548 ... c Min unsat cost LB: 41575 ... c Min unsat cost LB: 41578 ... c Min unsat cost LB: 41583 ... c Min unsat cost LB: 41596 ... c Min unsat cost LB: 41598 ... c Min unsat cost LB: 41607 ... c Min unsat cost LB: 41624 ... c Min unsat cost LB: 41625 ... c Min unsat cost LB: 41635 ... c Min unsat cost LB: 41639 ... c Min unsat cost LB: 41654 ... c Min unsat cost LB: 41660 ... c Min unsat cost LB: 41670 ... c Min unsat cost LB: 41674 ... c Min unsat cost LB: 41679 ... c Min unsat cost LB: 41689 ... c Min unsat cost LB: 41698 ... c Min unsat cost LB: 41699 ... c Min unsat cost LB: 41701 ... c Min unsat cost LB: 41703 ... c Min unsat cost LB: 41711 ... c Min unsat cost LB: 41717 ... c Min unsat cost LB: 41719 ... c Min unsat cost LB: 41725 ... c Min unsat cost LB: 41729 ... c Min unsat cost LB: 41737 ... c Min unsat cost LB: 41773 ... c Min unsat cost LB: 41775 ... c Min unsat cost LB: 41786 ... c Min unsat cost LB: 41984 ... c Min unsat cost LB: 41993 ... c Min unsat cost LB: 42003 ... c Min unsat cost LB: 42004 ... c Min unsat cost LB: 42008 ... c Min unsat cost LB: 42037 ... c Min unsat cost LB: 42042 ... c Min unsat cost LB: 42046 ... c Min unsat cost LB: 42056 ... c Min unsat cost LB: 42072 ... c Min unsat cost LB: 42302 ... c Min unsat cost LB: 42352 ... c Min unsat cost LB: 42355 ... c Min unsat cost LB: 42363 ... c Min unsat cost LB: 42365 ... c Min unsat cost LB: 42371 ... c Min unsat cost LB: 42374 ... c Min unsat cost LB: 42381 ... c Min unsat cost LB: 42382 ... c Min unsat cost LB: 42383 ... c Min unsat cost LB: 42385 ... c Min unsat cost LB: 42387 ... c Min unsat cost LB: 42388 ... c Min unsat cost LB: 42396 ... c Min unsat cost LB: 42397 ... c Min unsat cost LB: 42398 ... c Min unsat cost LB: 42399 ... c Min unsat cost LB: 42401 ... c Min unsat cost LB: 42402 ... c Min unsat cost LB: 42405 ... c Min unsat cost LB: 42406 ... c Min unsat cost LB: 42409 ... c Min unsat cost LB: 42410 ... c Min unsat cost LB: 42411 ... c Min unsat cost LB: 42414 ... c Min unsat cost LB: 42415 ... c Min unsat cost LB: 42416 ... c Min unsat cost LB: 42417 ... c Min unsat cost LB: 42418 ... c Min unsat cost LB: 42423 ... c Min unsat cost LB: 42424 ... c Min unsat cost LB: 42429 ... c Min unsat cost LB: 42430 ... c Min unsat cost LB: 42431 ... c Min unsat cost LB: 42433 ... c Min unsat cost LB: 42434 ... c Min unsat cost LB: 42437 ... c Min unsat cost LB: 42439 ... c Min unsat cost LB: 42442 ... c Min unsat cost LB: 42444 ... c Min unsat cost LB: 42448 ... c Min unsat cost LB: 42449 ... c Min unsat cost LB: 42452 ... c Min unsat cost LB: 42454 ... c Min unsat cost LB: 42459 ... c Min unsat cost LB: 42460 ... c Min unsat cost LB: 42461 ... c Min unsat cost LB: 42465 ... c Min unsat cost LB: 42468 ... c Min unsat cost LB: 42469 ... c Min unsat cost LB: 42470 ... c Min unsat cost LB: 42471 ... c Min unsat cost LB: 42472 ... c Min unsat cost LB: 42473 ... c Min unsat cost LB: 42478 ... c Min unsat cost LB: 42481 ... c Min unsat cost LB: 42604 ... c Min unsat cost LB: 42606 ... c Min unsat cost LB: 42608 ... c Min unsat cost LB: 42611 ... c Min unsat cost LB: 42645 ... c Min unsat cost LB: 42649 ... c Min unsat cost LB: 42686 ... c Min unsat cost LB: 42687 ... c Min unsat cost LB: 42691 ... c Min unsat cost LB: 42695 ... c Min unsat cost LB: 42696 ... c Min unsat cost LB: 42698 ... c Min unsat cost LB: 42699 ... c Min unsat cost LB: 42700 ... c Min unsat cost LB: 42703 ... c Min unsat cost LB: 42706 ... c Min unsat cost LB: 42708 ... c Min unsat cost LB: 42712 ... c Min unsat cost LB: 42713 ... c Min unsat cost LB: 42714 ... c Min unsat cost LB: 42715 ... c Min unsat cost LB: 42716 ... c Min unsat cost LB: 42717 ... c Min unsat cost LB: 42718 ... c Min unsat cost LB: 42719 ... c Min unsat cost LB: 42721 ... c Min unsat cost LB: 42722 ... c Min unsat cost LB: 42723 ... c Min unsat cost LB: 42726 ... c Min unsat cost LB: 42728 ... c Min unsat cost LB: 42729 ... c Min unsat cost LB: 42732 ... c Min unsat cost LB: 42733 ... c Min unsat cost LB: 42734 ... c Min unsat cost LB: 42735 ... c Min unsat cost LB: 42736 ... c Min unsat cost LB: 42737 ... c Min unsat cost LB: 43031 ... c Min unsat cost LB: 43032 ... c Min unsat cost LB: 43033 ... c Min unsat cost LB: 43034 ... c Min unsat cost LB: 43035 ... c Min unsat cost LB: 43101 ... c Min unsat cost LB: 43192 ... c Min unsat cost LB: 43220 ... c Min unsat cost LB: 43314 ... c Min unsat cost LB: 43315 ... c Min unsat cost LB: 43354 ... c Min unsat cost LB: 43525 ... c Min unsat cost LB: 43597 ... c Min unsat cost LB: 43606 ... c Min unsat cost LB: 43971 ... c Min unsat cost LB: 43973 ... c Min unsat cost LB: 44064 ... c Min unsat cost LB: 44144 ... c Min unsat cost LB: 44221 ... c Min unsat cost LB: 44322 ... c Min unsat cost LB: 44380 ... c Min unsat cost LB: 44381 ... c Min unsat cost LB: 44383 ... c Min unsat cost LB: 44385 ... c Min unsat cost LB: 44386 ... c Min unsat cost LB: 44387 ... c Min unsat cost LB: 44407 ... c Min unsat cost LB: 44410 ... c Min unsat cost LB: 44411 ... c Min unsat cost LB: 44412 ... c Min unsat cost LB: 44413 ... c Min unsat cost LB: 44414 ... c Min unsat cost LB: 44415 ... c Min unsat cost LB: 44416 ... c Min unsat cost LB: 44420 ... c Min unsat cost LB: 44421 ... c Min unsat cost LB: 44422 ... c Min unsat cost LB: 44423 ... c Min unsat cost LB: 44430 ... c Min unsat cost LB: 44445 ... c Min unsat cost LB: 44447 ... c Min unsat cost LB: 44450 ... c Min unsat cost LB: 44457 ... c Min unsat cost LB: 44458 ... c Min unsat cost LB: 44459 ... c Min unsat cost LB: 44460 ... c Min unsat cost LB: 44464 ... c Min unsat cost LB: 44465 ... c Min unsat cost LB: 44470 ... c Min unsat cost LB: 44476 ... c Min unsat cost LB: 44477 ... c Min unsat cost LB: 44479 ... c Min unsat cost LB: 44480 ... c Min unsat cost LB: 44488 ... c Min unsat cost LB: 44489 ... c Min unsat cost LB: 44495 ... c Min unsat cost LB: 44496 ... c Min unsat cost LB: 44501 ... c Min unsat cost LB: 44503 ... c Min unsat cost LB: 44551 ... c Min unsat cost LB: 44552 ... c Min unsat cost LB: 44553 ... c Min unsat cost LB: 44564 ... c Min unsat cost LB: 44565 ... c Min unsat cost LB: 44568 ... c Min unsat cost LB: 44573 ... c Min unsat cost LB: 44574 ... c Min unsat cost LB: 44580 ... c Min unsat cost LB: 44604 ... c Min unsat cost LB: 44649 ... c Min unsat cost LB: 44697 ... c Min unsat cost LB: 44788 ... c Min unsat cost LB: 44790 ... c Min unsat cost LB: 44868 ... c Min unsat cost LB: 44870 ... c Min unsat cost LB: 44891 ... c Min unsat cost LB: 44926 ... c Min unsat cost LB: 44930 ... c Min unsat cost LB: 44931 ... c Min unsat cost LB: 44961 ... c Min unsat cost LB: 45085 ... c Min unsat cost LB: 45162 ... c Min unsat cost LB: 45180 ... c Min unsat cost LB: 45230 ... c Min unsat cost LB: 45285 ... c Min unsat cost LB: 45331 ... c Min unsat cost LB: 45340 ... c Min unsat cost LB: 45362 ... c Min unsat cost LB: 45366 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 45373 ... c Min unsat cost LB: 45374 ... c Min unsat cost LB: 45375 ... c Min unsat cost LB: 45376 ... c Min unsat cost LB: 45378 ... c Min unsat cost LB: 45379 ... c Min unsat cost LB: 45381 ... c Min unsat cost LB: 45382 ... c Min unsat cost LB: 45383 ... c Min unsat cost LB: 45384 ... c Min unsat cost LB: 45385 ... c Min unsat cost LB: 45386 ... c Min unsat cost LB: 45389 ... c Min unsat cost LB: 45436 ... c Min unsat cost LB: 45707 ... c Min unsat cost LB: 45740 ... c Min unsat cost LB: 45806 ... c Min unsat cost LB: 45815 ... c Min unsat cost LB: 45817 ... c Min unsat cost LB: 45821 ... c Min unsat cost LB: 45826 ... c Min unsat cost LB: 45829 ... c Min unsat cost LB: 45833 ... c Min unsat cost LB: 45841 ... c Min unsat cost LB: 45842 ... c Min unsat cost LB: 45843 ... c Min unsat cost LB: 45857 ... c Min unsat cost LB: 45861 ... c Min unsat cost LB: 45863 ... c Min unsat cost LB: 45876 ... c Min unsat cost LB: 45881 ... c Min unsat cost LB: 45992 ... c Min unsat cost LB: 46019 ... c Min unsat cost LB: 46110 ... c Min unsat cost LB: 46280 ... c Min unsat cost LB: 46365 ... c Min unsat cost LB: 46419 ... c Min unsat cost LB: 46721 ... c Min unsat cost LB: 46884 ... c Min unsat cost LB: 46923 ... c Min unsat cost LB: 46978 ... c Min unsat cost LB: 47065 ... c Min unsat cost LB: 47092 ... c Min unsat cost LB: 47108 ... c Min unsat cost LB: 47161 ... c Min unsat cost LB: 47164 ... c Min unsat cost LB: 47168 ... c Min unsat cost LB: 47201 ... c Min unsat cost LB: 47302 ... c Min unsat cost LB: 47312 ... c Min unsat cost LB: 47351 ... c Min unsat cost LB: 47384 ... c Min unsat cost LB: 47396 ... c Min unsat cost LB: 47608 ... c Min unsat cost LB: 47719 ... c Min unsat cost LB: 47730 ... c Min unsat cost LB: 47758 ... c Min unsat cost LB: 47772 ... c Min unsat cost LB: 47871 ... c Min unsat cost LB: 47976 ... c Min unsat cost LB: 48043 ... c Min unsat cost LB: 48336 ... c Min unsat cost LB: 48401 ... c Min unsat cost LB: 48441 ... c Min unsat cost LB: 48450 ... c Min unsat cost LB: 48457 ... c Min unsat cost LB: 48486 ... c Min unsat cost LB: 48488 ... c Min unsat cost LB: 48518 ... c Min unsat cost LB: 48537 ... c Min unsat cost LB: 48566 ... c Min unsat cost LB: 48574 ... c Min unsat cost LB: 48636 ... c Min unsat cost LB: 48638 ... c Min unsat cost LB: 48743 ... c Min unsat cost LB: 48760 ... c Min unsat cost LB: 48776 ... c Min unsat cost LB: 48784 ... c Min unsat cost LB: 48794 ... c Min unsat cost LB: 48814 ... c Min unsat cost LB: 48816 ... c Min unsat cost LB: 48817 ... c Min unsat cost LB: 48824 ... c Min unsat cost LB: 48826 ... c Min unsat cost LB: 48828 ... c Min unsat cost LB: 48834 ... c Min unsat cost LB: 48855 ... c Min unsat cost LB: 48856 ... c Min unsat cost LB: 48868 ... c Min unsat cost LB: 48870 ... c Min unsat cost LB: 48896 ... c Min unsat cost LB: 48909 ... c Min unsat cost LB: 48960 ... c Min unsat cost LB: 49091 ... c Min unsat cost LB: 49144 ... c Min unsat cost LB: 49173 ... c Min unsat cost LB: 49228 ... c Min unsat cost LB: 49601 ... c Min unsat cost LB: 49817 ... c Min unsat cost LB: 49937 ... c Min unsat cost LB: 50054 ... c Min unsat cost LB: 50297 ... c Min unsat cost LB: 50309 ... c Min unsat cost LB: 50326 ... c Min unsat cost LB: 50346 ... c Min unsat cost LB: 50362 ... c Min unsat cost LB: 50367 ... c Min unsat cost LB: 50427 ... c Min unsat cost LB: 50530 ... c Min unsat cost LB: 51029 ... c Min unsat cost LB: 51073 ... c Min unsat cost LB: 51115 ... c Min unsat cost LB: 51124 ... c Min unsat cost LB: 51187 ... c Min unsat cost LB: 51199 ... c Min unsat cost LB: 51215 ... c Min unsat cost LB: 51220 ... c Min unsat cost LB: 51235 ... c Min unsat cost LB: 51237 ... c Min unsat cost LB: 51257 ... c Min unsat cost LB: 51350 ... c Min unsat cost LB: 51621 ... c Min unsat cost LB: 51802 ... c Min unsat cost LB: 52069 ... c Min unsat cost LB: 52124 ... c Min unsat cost LB: 52177 ... c Min unsat cost LB: 52209 ... c Min unsat cost LB: 52268 ... c Min unsat cost LB: 52374 ... c Min unsat cost LB: 52383 ... c Min unsat cost LB: 53464 ... c Min unsat cost LB: 53530 ... c Min unsat cost LB: 53532 ... c Min unsat cost LB: 53541 ... c Min unsat cost LB: 54561 ... c Min unsat cost LB: 54590 ... c Min unsat cost LB: 55045 ... c Min unsat cost LB: 55071 ... c Min unsat cost LB: 55072 ... c Min unsat cost LB: 55079 ... c Min unsat cost LB: 55191 ... c Min unsat cost LB: 55206 ... c Min unsat cost LB: 55617 ... c Min unsat cost LB: 55620 ... c Min unsat cost LB: 55621 ... c Min unsat cost LB: 55639 ... c Min unsat cost LB: 55646 ... c Min unsat cost LB: 55730 ... c Min unsat cost LB: 55731 ... c Min unsat cost LB: 55745 ... c Min unsat cost LB: 55752 ... c Min unsat cost LB: 55756 ... c Min unsat cost LB: 55823 ... c Min unsat cost LB: 55824 ... c Min unsat cost LB: 55841 ... c Min unsat cost LB: 55848 ... c Min unsat cost LB: 55849 ... c Min unsat cost LB: 55850 ... c Min unsat cost LB: 55851 ... c Min unsat cost LB: 55858 ... c Min unsat cost LB: 55953 ... c Min unsat cost LB: 55961 ... c Min unsat cost LB: 55968 ... c Min unsat cost LB: 56130 ... c Min unsat cost LB: 56133 ... c Min unsat cost LB: 56139 ... c Min unsat cost LB: 56159 ... c Min unsat cost LB: 56196 ... c Min unsat cost LB: 56197 ... c Min unsat cost LB: 56198 ... c Min unsat cost LB: 56199 ... c Min unsat cost LB: 56200 ... c Min unsat cost LB: 56201 ... c Min unsat cost LB: 56202 ... c Min unsat cost LB: 56203 ... c Min unsat cost LB: 56204 ... c Min unsat cost LB: 56210 ... c Min unsat cost LB: 56213 ... c Min unsat cost LB: 56215 ... c Min unsat cost LB: 56233 ... c Min unsat cost LB: 56236 ... c Min unsat cost LB: 56239 ... c Min unsat cost LB: 56240 ... c Min unsat cost LB: 56242 ... c Min unsat cost LB: 56243 ... o 56243 s OPTIMUM FOUND v -1 2 -3 -4 5 -6 -7 -8 9 10 -11 -12 -13 14 -15 -16 17 -18 -19 20 -21 22 -23 -24 -25 -26 27 -28 -29 -30 31 -32 33 -34 -35 -36 -37 38 39 -40 -41 42 -43 -44 45 -46 -47 -48 49 -50 -51 52 53 -54 -55 56 -57 -58 59 -60 61 -62 -63 64 -65 66 -67 -68 69 -70 71 -72 -73 -74 -75 -76 77 -78 -79 80 -81 -82 -83 -84 85 -86 -87 88 -89 -90 -91 -92 93 -94 95 96 -97 -98 99 -100 -101 -102 103 104 -105 -106 -107 -108 -109 110 -111 -112 -113 114 -115 -116 -117 -118 119 -120 121 -122 -123 -124 125 -126 -127 -128 129 130 -131 -132 133 -134 -135 136 -137 138 -139 -140 -141 142 -143 144 -145 -146 -147 -148 149 -150 -151 152 -153 -154 -155 156 -157 -158 -159 160 161 -162 -163 -164 165 -166 167 -168 -169 -170 -171 172 -173 -174 175 -176 -177 178 c CPU Time: 608.445 608.568u 0.809s 21:19.95 47.6% 0+0k 0+0io 0pf+0w