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-220-1_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-8.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-220-1_network-8.net.wcnf *** c c Min unsat cost LB: 584 ... c Min unsat cost LB: 789 ... c Min unsat cost LB: 2611 ... c Min unsat cost LB: 4479 ... c Min unsat cost LB: 5839 ... c Min unsat cost LB: 7020 ... c Min unsat cost LB: 7716 ... c Min unsat cost LB: 7807 ... c Min unsat cost LB: 8852 ... c Min unsat cost LB: 9766 ... c Min unsat cost LB: 11183 ... c Min unsat cost LB: 12307 ... c Min unsat cost LB: 14024 ... c Min unsat cost LB: 14675 ... c Min unsat cost LB: 16176 ... c Min unsat cost LB: 17228 ... c Min unsat cost LB: 17501 ... c Min unsat cost LB: 18838 ... c Min unsat cost LB: 19239 ... c Min unsat cost LB: 20398 ... c Min unsat cost LB: 20766 ... c Min unsat cost LB: 21301 ... c Min unsat cost LB: 22342 ... c Min unsat cost LB: 22955 ... c Min unsat cost LB: 24209 ... c Min unsat cost LB: 24896 ... c Min unsat cost LB: 25355 ... c Min unsat cost LB: 26164 ... c Min unsat cost LB: 26375 ... c Min unsat cost LB: 26464 ... c Min unsat cost LB: 27758 ... c Min unsat cost LB: 28384 ... c Min unsat cost LB: 28690 ... c Min unsat cost LB: 29624 ... c Min unsat cost LB: 31629 ... c Min unsat cost LB: 31680 ... c Min unsat cost LB: 31703 ... c Min unsat cost LB: 33804 ... c Min unsat cost LB: 34546 ... c Min unsat cost LB: 34871 ... c Min unsat cost LB: 36529 ... c Min unsat cost LB: 37367 ... c Min unsat cost LB: 37628 ... c Min unsat cost LB: 38805 ... c Min unsat cost LB: 38970 ... c Min unsat cost LB: 39607 ... c Min unsat cost LB: 40094 ... c Min unsat cost LB: 40293 ... c Min unsat cost LB: 40898 ... c Min unsat cost LB: 41429 ... c Min unsat cost LB: 42503 ... c Min unsat cost LB: 42563 ... c Min unsat cost LB: 42661 ... c Min unsat cost LB: 42920 ... c Min unsat cost LB: 44611 ... c Min unsat cost LB: 46128 ... c Min unsat cost LB: 46243 ... c Min unsat cost LB: 47416 ... c Min unsat cost LB: 47682 ... c Min unsat cost LB: 48498 ... c Min unsat cost LB: 48800 ... c Min unsat cost LB: 49205 ... c Min unsat cost LB: 49595 ... c Min unsat cost LB: 49814 ... c Min unsat cost LB: 50724 ... c Min unsat cost LB: 50940 ... c Min unsat cost LB: 50969 ... c Min unsat cost LB: 51754 ... c Min unsat cost LB: 52097 ... c Min unsat cost LB: 53187 ... c Min unsat cost LB: 53678 ... c Min unsat cost LB: 54257 ... c Min unsat cost LB: 54451 ... c Min unsat cost LB: 54565 ... c Min unsat cost LB: 54659 ... c Min unsat cost LB: 54663 ... c Min unsat cost LB: 54959 ... c Min unsat cost LB: 55066 ... c Min unsat cost LB: 55486 ... c Min unsat cost LB: 55911 ... c Min unsat cost LB: 56110 ... c Min unsat cost LB: 56211 ... c Min unsat cost LB: 56537 ... c Min unsat cost LB: 56586 ... c Min unsat cost LB: 56779 ... c Min unsat cost LB: 56839 ... c Min unsat cost LB: 57224 ... c Min unsat cost LB: 57235 ... c Min unsat cost LB: 57335 ... c Min unsat cost LB: 57805 ... c Min unsat cost LB: 57810 ... c Min unsat cost LB: 58598 ... c Min unsat cost LB: 58757 ... c Min unsat cost LB: 58951 ... c Min unsat cost LB: 59427 ... c Min unsat cost LB: 59593 ... c Min unsat cost LB: 59627 ... c Min unsat cost LB: 59924 ... c Min unsat cost LB: 60359 ... c Min unsat cost LB: 60435 ... c Min unsat cost LB: 60866 ... c Min unsat cost LB: 61273 ... c Min unsat cost LB: 61431 ... c Min unsat cost LB: 61599 ... c Min unsat cost LB: 61868 ... c Min unsat cost LB: 62170 ... c Min unsat cost LB: 62422 ... c Min unsat cost LB: 63393 ... c Min unsat cost LB: 63566 ... c Min unsat cost LB: 63769 ... c Min unsat cost LB: 63909 ... c Min unsat cost LB: 64389 ... c Min unsat cost LB: 64762 ... c Min unsat cost LB: 64866 ... c Min unsat cost LB: 65561 ... c Min unsat cost LB: 65895 ... c Min unsat cost LB: 66346 ... c Min unsat cost LB: 66719 ... c Min unsat cost LB: 67488 ... c Min unsat cost LB: 67851 ... c Min unsat cost LB: 67976 ... c Min unsat cost LB: 68533 ... c Min unsat cost LB: 68585 ... c Min unsat cost LB: 68705 ... c Min unsat cost LB: 69100 ... c Min unsat cost LB: 69146 ... c Min unsat cost LB: 69234 ... c Min unsat cost LB: 69334 ... c Min unsat cost LB: 69640 ... c Min unsat cost LB: 70097 ... c Min unsat cost LB: 70273 ... c Min unsat cost LB: 70306 ... c Min unsat cost LB: 70398 ... c Min unsat cost LB: 70470 ... c Min unsat cost LB: 70489 ... c Min unsat cost LB: 70526 ... c Min unsat cost LB: 70970 ... c Min unsat cost LB: 71315 ... c Min unsat cost LB: 71488 ... c Min unsat cost LB: 72130 ... c Min unsat cost LB: 72140 ... c Min unsat cost LB: 72913 ... c Min unsat cost LB: 72951 ... c Min unsat cost LB: 73083 ... c Min unsat cost LB: 73782 ... c Min unsat cost LB: 74354 ... c Min unsat cost LB: 74388 ... c Min unsat cost LB: 74656 ... c Min unsat cost LB: 75445 ... c Min unsat cost LB: 75447 ... c Min unsat cost LB: 75791 ... c Min unsat cost LB: 75794 ... c Min unsat cost LB: 75839 ... c Min unsat cost LB: 76378 ... c Min unsat cost LB: 76547 ... c Min unsat cost LB: 76587 ... c Min unsat cost LB: 77155 ... c Min unsat cost LB: 77489 ... c Min unsat cost LB: 77649 ... c Min unsat cost LB: 78777 ... c Min unsat cost LB: 78845 ... c Min unsat cost LB: 79038 ... c Min unsat cost LB: 79111 ... c Min unsat cost LB: 79161 ... c Min unsat cost LB: 79489 ... c Min unsat cost LB: 79941 ... c Min unsat cost LB: 79960 ... c Min unsat cost LB: 80205 ... c Min unsat cost LB: 81148 ... c Min unsat cost LB: 81217 ... c Min unsat cost LB: 81319 ... c Min unsat cost LB: 81475 ... c Min unsat cost LB: 81520 ... c Min unsat cost LB: 81700 ... c Min unsat cost LB: 81901 ... c Min unsat cost LB: 81904 ... c Min unsat cost LB: 81933 ... c Min unsat cost LB: 81993 ... c Min unsat cost LB: 82033 ... c Min unsat cost LB: 82166 ... c Min unsat cost LB: 82173 ... c Min unsat cost LB: 82485 ... c Min unsat cost LB: 82518 ... c Min unsat cost LB: 82520 ... c Min unsat cost LB: 82668 ... c Min unsat cost LB: 83440 ... c Min unsat cost LB: 83834 ... c Min unsat cost LB: 83919 ... c Min unsat cost LB: 83957 ... c Min unsat cost LB: 84036 ... c Min unsat cost LB: 84037 ... c Min unsat cost LB: 84071 ... c Min unsat cost LB: 84077 ... c Min unsat cost LB: 84307 ... c Min unsat cost LB: 84329 ... c Min unsat cost LB: 84491 ... c Min unsat cost LB: 84825 ... c Min unsat cost LB: 84859 ... c Min unsat cost LB: 84865 ... c Min unsat cost LB: 84866 ... c Min unsat cost LB: 85152 ... c Min unsat cost LB: 85483 ... c Min unsat cost LB: 85568 ... c Min unsat cost LB: 85822 ... c Min unsat cost LB: 86064 ... c Min unsat cost LB: 86110 ... c Min unsat cost LB: 86845 ... c Min unsat cost LB: 87370 ... c Min unsat cost LB: 87523 ... c Min unsat cost LB: 88056 ... c Min unsat cost LB: 88440 ... c Min unsat cost LB: 88798 ... c Min unsat cost LB: 89108 ... c Min unsat cost LB: 89242 ... c Min unsat cost LB: 89327 ... c Min unsat cost LB: 89928 ... c Min unsat cost LB: 89974 ... c Min unsat cost LB: 90077 ... c Min unsat cost LB: 90268 ... c Min unsat cost LB: 90938 ... c Min unsat cost LB: 91510 ... c Min unsat cost LB: 91755 ... c Min unsat cost LB: 91877 ... c Min unsat cost LB: 92727 ... c Min unsat cost LB: 92752 ... c Min unsat cost LB: 92804 ... c Min unsat cost LB: 93744 ... c Min unsat cost LB: 93919 ... c Min unsat cost LB: 93958 ... c Min unsat cost LB: 94625 ... c Min unsat cost LB: 94840 ... c Min unsat cost LB: 94909 ... c Min unsat cost LB: 94993 ... c Min unsat cost LB: 95473 ... c Min unsat cost LB: 95802 ... c Min unsat cost LB: 95856 ... c Min unsat cost LB: 95985 ... c Min unsat cost LB: 96085 ... c Min unsat cost LB: 96287 ... c Min unsat cost LB: 96373 ... c Min unsat cost LB: 96647 ... c Min unsat cost LB: 96703 ... c Min unsat cost LB: 96834 ... c Min unsat cost LB: 96860 ... c Min unsat cost LB: 96917 ... c Min unsat cost LB: 96949 ... c Min unsat cost LB: 97420 ... c Min unsat cost LB: 97443 ... c Min unsat cost LB: 97828 ... c Min unsat cost LB: 98351 ... c Min unsat cost LB: 98460 ... c Min unsat cost LB: 98716 ... c Min unsat cost LB: 99307 ... c Min unsat cost LB: 99596 ... c Min unsat cost LB: 99751 ... c Min unsat cost LB: 99796 ... c Min unsat cost LB: 100284 ... c Min unsat cost LB: 100428 ... c Min unsat cost LB: 100502 ... c Min unsat cost LB: 101167 ... c Min unsat cost LB: 101209 ... c Min unsat cost LB: 101504 ... c Min unsat cost LB: 101634 ... c Min unsat cost LB: 101847 ... c Min unsat cost LB: 101974 ... c Min unsat cost LB: 102148 ... c Min unsat cost LB: 102165 ... c Min unsat cost LB: 102919 ... c Min unsat cost LB: 102961 ... c Min unsat cost LB: 103379 ... c Min unsat cost LB: 103390 ... c Min unsat cost LB: 103482 ... c Min unsat cost LB: 103708 ... c Min unsat cost LB: 104083 ... c Min unsat cost LB: 104175 ... c Min unsat cost LB: 104382 ... c Min unsat cost LB: 104646 ... c Min unsat cost LB: 104746 ... c Min unsat cost LB: 104774 ... c Min unsat cost LB: 104902 ... c Min unsat cost LB: 105653 ... c Min unsat cost LB: 106052 ... c Min unsat cost LB: 106164 ... c Min unsat cost LB: 106207 ... c Min unsat cost LB: 106300 ... c Min unsat cost LB: 106346 ... c Min unsat cost LB: 106369 ... c Min unsat cost LB: 106466 ... c Min unsat cost LB: 106472 ... c Min unsat cost LB: 106709 ... c Min unsat cost LB: 106711 ... c Min unsat cost LB: 107717 ... c Min unsat cost LB: 107779 ... c Min unsat cost LB: 107799 ... c Min unsat cost LB: 108103 ... c Min unsat cost LB: 108111 ... c Min unsat cost LB: 108379 ... c Min unsat cost LB: 108619 ... c Min unsat cost LB: 108644 ... c Min unsat cost LB: 108669 ... c Min unsat cost LB: 108735 ... c Min unsat cost LB: 108808 ... c Min unsat cost LB: 108880 ... c Min unsat cost LB: 108912 ... c Min unsat cost LB: 108937 ... c Min unsat cost LB: 108938 ... c Min unsat cost LB: 108966 ... c Min unsat cost LB: 108968 ... c Min unsat cost LB: 108983 ... c Min unsat cost LB: 108995 ... c Min unsat cost LB: 108998 ... c Min unsat cost LB: 109024 ... c Min unsat cost LB: 109025 ... c Min unsat cost LB: 109100 ... c Min unsat cost LB: 109181 ... c Min unsat cost LB: 109352 ... c Min unsat cost LB: 109880 ... c Min unsat cost LB: 110364 ... c Min unsat cost LB: 110699 ... c Min unsat cost LB: 110791 ... c Min unsat cost LB: 110901 ... c Min unsat cost LB: 111712 ... c Min unsat cost LB: 111846 ... c Min unsat cost LB: 112593 ... c Min unsat cost LB: 112878 ... c Min unsat cost LB: 113454 ... c Min unsat cost LB: 113462 ... c Min unsat cost LB: 113695 ... c Min unsat cost LB: 113747 ... c Min unsat cost LB: 113933 ... c Min unsat cost LB: 114560 ... c Min unsat cost LB: 114993 ... c Min unsat cost LB: 115349 ... c Min unsat cost LB: 116158 ... c Min unsat cost LB: 116474 ... c Min unsat cost LB: 116549 ... c Min unsat cost LB: 117136 ... c Min unsat cost LB: 117231 ... c Min unsat cost LB: 117452 ... c Min unsat cost LB: 117547 ... c Min unsat cost LB: 117679 ... c Min unsat cost LB: 117882 ... c Min unsat cost LB: 118883 ... c Min unsat cost LB: 119176 ... c Min unsat cost LB: 119522 ... c Min unsat cost LB: 119755 ... c Min unsat cost LB: 120511 ... c Min unsat cost LB: 121199 ... c Min unsat cost LB: 121387 ... c Min unsat cost LB: 122400 ... c Min unsat cost LB: 123006 ... c Min unsat cost LB: 123025 ... c Min unsat cost LB: 123036 ... c Min unsat cost LB: 123184 ... c Min unsat cost LB: 124320 ... c Min unsat cost LB: 124389 ... c Min unsat cost LB: 124881 ... c Min unsat cost LB: 126027 ... c Min unsat cost LB: 126029 ... c Min unsat cost LB: 126127 ... c Min unsat cost LB: 126868 ... c Min unsat cost LB: 126935 ... c Min unsat cost LB: 127292 ... c Min unsat cost LB: 127402 ... c Min unsat cost LB: 127848 ... c Min unsat cost LB: 128124 ... c Min unsat cost LB: 128185 ... c Min unsat cost LB: 128852 ... c Min unsat cost LB: 128937 ... c Min unsat cost LB: 128976 ... c Min unsat cost LB: 129211 ... c Min unsat cost LB: 129302 ... c Min unsat cost LB: 129396 ... c Min unsat cost LB: 129739 ... c Min unsat cost LB: 129780 ... c Min unsat cost LB: 130042 ... c Min unsat cost LB: 130110 ... c Min unsat cost LB: 130693 ... c Min unsat cost LB: 130754 ... c Min unsat cost LB: 131280 ... c Min unsat cost LB: 131410 ... c Min unsat cost LB: 131734 ... c Min unsat cost LB: 131799 ... c Min unsat cost LB: 131863 ... c Min unsat cost LB: 132101 ... c Min unsat cost LB: 132102 ... c Min unsat cost LB: 133323 ... c Min unsat cost LB: 133344 ... c Min unsat cost LB: 133403 ... c Min unsat cost LB: 134374 ... c Min unsat cost LB: 134770 ... c Min unsat cost LB: 135095 ... c Min unsat cost LB: 135109 ... c Min unsat cost LB: 135563 ... c Min unsat cost LB: 136081 ... c Min unsat cost LB: 136589 ... c Min unsat cost LB: 137050 ... c Min unsat cost LB: 137060 ... c Min unsat cost LB: 137136 ... c Min unsat cost LB: 137225 ... c Min unsat cost LB: 137900 ... c Min unsat cost LB: 138191 ... c Min unsat cost LB: 138604 ... c Min unsat cost LB: 138608 ... c Min unsat cost LB: 138685 ... c Min unsat cost LB: 138869 ... c Min unsat cost LB: 139462 ... c Min unsat cost LB: 140031 ... c Min unsat cost LB: 140139 ... c Min unsat cost LB: 140632 ... c Min unsat cost LB: 140779 ... c Min unsat cost LB: 140977 ... c Min unsat cost LB: 141322 ... c Min unsat cost LB: 141440 ... c Min unsat cost LB: 141898 ... c Min unsat cost LB: 141914 ... c Min unsat cost LB: 141938 ... c Min unsat cost LB: 142045 ... c Min unsat cost LB: 142074 ... c Min unsat cost LB: 142084 ... c Min unsat cost LB: 142100 ... c Min unsat cost LB: 142116 ... c Min unsat cost LB: 142177 ... c Min unsat cost LB: 143391 ... c Min unsat cost LB: 143401 ... c Min unsat cost LB: 143524 ... c Min unsat cost LB: 143677 ... c Min unsat cost LB: 143952 ... c Min unsat cost LB: 143991 ... c Min unsat cost LB: 144017 ... c Min unsat cost LB: 144083 ... c Min unsat cost LB: 144280 ... c Min unsat cost LB: 145026 ... c Min unsat cost LB: 145028 ... c Min unsat cost LB: 145160 ... c Min unsat cost LB: 145280 ... c Min unsat cost LB: 145493 ... c Min unsat cost LB: 146060 ... c Min unsat cost LB: 146323 ... c Min unsat cost LB: 146481 ... c Min unsat cost LB: 146506 ... c Min unsat cost LB: 147433 ... c Min unsat cost LB: 147700 ... c Min unsat cost LB: 147704 ... c Min unsat cost LB: 147761 ... c Min unsat cost LB: 147977 ... c Min unsat cost LB: 148044 ... c Min unsat cost LB: 148199 ... c Min unsat cost LB: 148203 ... c Min unsat cost LB: 148206 ... c Min unsat cost LB: 149117 ... c Min unsat cost LB: 149119 ... c Min unsat cost LB: 149121 ... c Min unsat cost LB: 149122 ... c Min unsat cost LB: 149672 ... c Min unsat cost LB: 150225 ... c Min unsat cost LB: 150271 ... c Min unsat cost LB: 150277 ... c Min unsat cost LB: 150278 ... c Min unsat cost LB: 150299 ... c Min unsat cost LB: 150330 ... c Min unsat cost LB: 150362 ... c Min unsat cost LB: 150364 ... c Min unsat cost LB: 150368 ... c Min unsat cost LB: 151161 ... c Min unsat cost LB: 151336 ... c Min unsat cost LB: 151349 ... c Min unsat cost LB: 151351 ... c Min unsat cost LB: 151370 ... c Min unsat cost LB: 152032 ... c Min unsat cost LB: 152048 ... c Min unsat cost LB: 152049 ... c Min unsat cost LB: 152134 ... c Min unsat cost LB: 152148 ... c Min unsat cost LB: 152150 ... c Min unsat cost LB: 152167 ... c Min unsat cost LB: 152195 ... c Min unsat cost LB: 153377 ... c Min unsat cost LB: 153408 ... c Min unsat cost LB: 153547 ... c Min unsat cost LB: 153568 ... c Min unsat cost LB: 153573 ... c Min unsat cost LB: 153622 ... c Min unsat cost LB: 153623 ... c Min unsat cost LB: 153624 ... c Min unsat cost LB: 153625 ... c Min unsat cost LB: 153628 ... c Min unsat cost LB: 153639 ... c Min unsat cost LB: 153644 ... c Min unsat cost LB: 153645 ... c Min unsat cost LB: 154169 ... c Min unsat cost LB: 154171 ... c Min unsat cost LB: 154179 ... c Min unsat cost LB: 154185 ... c Min unsat cost LB: 154193 ... c Min unsat cost LB: 154788 ... c Min unsat cost LB: 154855 ... c Min unsat cost LB: 154922 ... c Min unsat cost LB: 154923 ... c Min unsat cost LB: 154924 ... c Min unsat cost LB: 154926 ... c Min unsat cost LB: 155032 ... c Min unsat cost LB: 155589 ... c Min unsat cost LB: 155891 ... c Min unsat cost LB: 155900 ... c Min unsat cost LB: 156390 ... c Min unsat cost LB: 156764 ... c Min unsat cost LB: 157603 ... c Min unsat cost LB: 157871 ... c Min unsat cost LB: 157987 ... c Min unsat cost LB: 158141 ... c Min unsat cost LB: 158150 ... c Min unsat cost LB: 158189 ... c Min unsat cost LB: 158253 ... c Min unsat cost LB: 158288 ... c Min unsat cost LB: 158316 ... c Min unsat cost LB: 158458 ... c Min unsat cost LB: 158499 ... c Min unsat cost LB: 158514 ... c Min unsat cost LB: 158631 ... c Min unsat cost LB: 158796 ... c Min unsat cost LB: 158841 ... c Min unsat cost LB: 158843 ... c Min unsat cost LB: 158848 ... c Min unsat cost LB: 159954 ... c Min unsat cost LB: 160056 ... c Min unsat cost LB: 160122 ... c Min unsat cost LB: 160453 ... c Min unsat cost LB: 160541 ... c Min unsat cost LB: 160672 ... c Min unsat cost LB: 161255 ... c Min unsat cost LB: 161312 ... c Min unsat cost LB: 161354 ... c Min unsat cost LB: 161617 ... c Min unsat cost LB: 162342 ... c Min unsat cost LB: 162420 ... c Min unsat cost LB: 162977 ... c Min unsat cost LB: 163678 ... c Min unsat cost LB: 163762 ... c Min unsat cost LB: 164475 ... c Min unsat cost LB: 164770 ... c Min unsat cost LB: 164781 ... c Min unsat cost LB: 164851 ... c Min unsat cost LB: 166099 ... c Min unsat cost LB: 166266 ... c Min unsat cost LB: 166595 ... c Min unsat cost LB: 166735 ... c Min unsat cost LB: 166747 ... c Min unsat cost LB: 166789 ... c Min unsat cost LB: 166841 ... c Min unsat cost LB: 166853 ... c Min unsat cost LB: 166871 ... c Min unsat cost LB: 166886 ... c Min unsat cost LB: 167379 ... c Min unsat cost LB: 167491 ... c Min unsat cost LB: 167666 ... c Min unsat cost LB: 167760 ... c Min unsat cost LB: 169307 ... c Min unsat cost LB: 169447 ... c Min unsat cost LB: 169697 ... c Min unsat cost LB: 169746 ... c Min unsat cost LB: 170114 ... c Min unsat cost LB: 170315 ... c Min unsat cost LB: 170489 ... c Min unsat cost LB: 171172 ... c Min unsat cost LB: 171624 ... c Min unsat cost LB: 171875 ... c Min unsat cost LB: 172077 ... c Min unsat cost LB: 172421 ... c Min unsat cost LB: 172508 ... c Min unsat cost LB: 173135 ... c Min unsat cost LB: 173572 ... c Min unsat cost LB: 173577 ... c Min unsat cost LB: 173852 ... c Min unsat cost LB: 173892 ... c Min unsat cost LB: 174205 ... c Min unsat cost LB: 174491 ... c Min unsat cost LB: 174635 ... c Min unsat cost LB: 174770 ... c Min unsat cost LB: 174781 ... c Min unsat cost LB: 174900 ... c Min unsat cost LB: 174955 ... c Min unsat cost LB: 175204 ... c Min unsat cost LB: 175355 ... c Min unsat cost LB: 175421 ... c Min unsat cost LB: 175690 ... c Min unsat cost LB: 176143 ... c Min unsat cost LB: 176467 ... c Min unsat cost LB: 176858 ... c Min unsat cost LB: 176970 ... c Min unsat cost LB: 177016 ... c Min unsat cost LB: 177128 ... c Min unsat cost LB: 177474 ... c Min unsat cost LB: 178745 ... c Min unsat cost LB: 178840 ... c Min unsat cost LB: 178881 ... c Min unsat cost LB: 179759 ... c Min unsat cost LB: 179793 ... c Min unsat cost LB: 179878 ... c Min unsat cost LB: 179923 ... c Min unsat cost LB: 179932 ... c Min unsat cost LB: 179944 ... c Min unsat cost LB: 180079 ... c Min unsat cost LB: 180171 ... c Min unsat cost LB: 180385 ... c Min unsat cost LB: 180398 ... c Min unsat cost LB: 180439 ... c Min unsat cost LB: 180464 ... c Min unsat cost LB: 180493 ... c Min unsat cost LB: 180742 ... c Min unsat cost LB: 180758 ... c Min unsat cost LB: 180771 ... c Min unsat cost LB: 180785 ... c Min unsat cost LB: 180790 ... c Min unsat cost LB: 181170 ... c Min unsat cost LB: 181193 ... c Min unsat cost LB: 181584 ... c Min unsat cost LB: 181836 ... c Min unsat cost LB: 182042 ... c Min unsat cost LB: 183004 ... c Min unsat cost LB: 183427 ... c Min unsat cost LB: 183548 ... c Min unsat cost LB: 183682 ... c Min unsat cost LB: 183789 ... c Min unsat cost LB: 183956 ... c Min unsat cost LB: 184078 ... c Min unsat cost LB: 184587 ... c Min unsat cost LB: 184694 ... c Min unsat cost LB: 184942 ... c Min unsat cost LB: 185264 ... c Min unsat cost LB: 186136 ... c Min unsat cost LB: 186139 ... c Min unsat cost LB: 186527 ... c Min unsat cost LB: 186750 ... c Min unsat cost LB: 186883 ... c Min unsat cost LB: 187229 ... c Min unsat cost LB: 187236 ... c Min unsat cost LB: 187741 ... c Min unsat cost LB: 187932 ... c Min unsat cost LB: 188418 ... c Min unsat cost LB: 188424 ... c Min unsat cost LB: 188899 ... c Min unsat cost LB: 188993 ... c Min unsat cost LB: 189125 ... c Min unsat cost LB: 189218 ... c Min unsat cost LB: 189378 ... c Min unsat cost LB: 189451 ... c Min unsat cost LB: 189495 ... c Min unsat cost LB: 190577 ... c Min unsat cost LB: 190683 ... c Min unsat cost LB: 190796 ... c Min unsat cost LB: 191021 ... c Min unsat cost LB: 191127 ... c Min unsat cost LB: 191240 ... c Min unsat cost LB: 191438 ... c Min unsat cost LB: 191451 ... c Min unsat cost LB: 191578 ... c Min unsat cost LB: 191733 ... c Min unsat cost LB: 191751 ... c Min unsat cost LB: 191780 ... c Min unsat cost LB: 191781 ... c Min unsat cost LB: 191822 ... c Min unsat cost LB: 191825 ... c Min unsat cost LB: 191827 ... c Min unsat cost LB: 191853 ... c Min unsat cost LB: 191892 ... c Min unsat cost LB: 191954 ... c Min unsat cost LB: 191963 ... c Min unsat cost LB: 191979 ... c Min unsat cost LB: 192340 ... c Min unsat cost LB: 192504 ... c Min unsat cost LB: 192598 ... c Min unsat cost LB: 192640 ... c Min unsat cost LB: 192688 ... c Min unsat cost LB: 192738 ... c Min unsat cost LB: 192775 ... c Min unsat cost LB: 192795 ... c Min unsat cost LB: 192808 ... c Min unsat cost LB: 192900 ... c Min unsat cost LB: 193004 ... c Min unsat cost LB: 193866 ... c Min unsat cost LB: 193973 ... c Min unsat cost LB: 195079 ... c Min unsat cost LB: 195084 ... c Min unsat cost LB: 195146 ... c Min unsat cost LB: 195149 ... c Min unsat cost LB: 195157 ... c Min unsat cost LB: 195172 ... c Min unsat cost LB: 195176 ... c Min unsat cost LB: 195191 ... c Min unsat cost LB: 195195 ... c Min unsat cost LB: 195269 ... c Min unsat cost LB: 195310 ... c Min unsat cost LB: 195828 ... c Min unsat cost LB: 195856 ... c Min unsat cost LB: 196101 ... c Min unsat cost LB: 196122 ... c Min unsat cost LB: 196152 ... c Min unsat cost LB: 196156 ... c Min unsat cost LB: 196161 ... c Min unsat cost LB: 196163 ... c Min unsat cost LB: 196165 ... c Min unsat cost LB: 196166 ... c Min unsat cost LB: 196168 ... c Min unsat cost LB: 196220 ... c Min unsat cost LB: 196234 ... c Min unsat cost LB: 196531 ... c Min unsat cost LB: 196595 ... c Min unsat cost LB: 196727 ... c Min unsat cost LB: 197125 ... c Min unsat cost LB: 197365 ... c Min unsat cost LB: 197470 ... c Min unsat cost LB: 197471 ... c Min unsat cost LB: 197544 ... c Min unsat cost LB: 197586 ... c Min unsat cost LB: 197614 ... c Min unsat cost LB: 197728 ... c Min unsat cost LB: 198178 ... c Min unsat cost LB: 198299 ... c Min unsat cost LB: 198889 ... c Min unsat cost LB: 198987 ... c Min unsat cost LB: 200007 ... c Min unsat cost LB: 200268 ... c Min unsat cost LB: 200274 ... c Min unsat cost LB: 201050 ... c Min unsat cost LB: 201061 ... c Min unsat cost LB: 201071 ... c Min unsat cost LB: 201072 ... c Min unsat cost LB: 201073 ... c Min unsat cost LB: 201087 ... c Min unsat cost LB: 201102 ... c Min unsat cost LB: 201113 ... c Min unsat cost LB: 201121 ... c Min unsat cost LB: 201122 ... c Min unsat cost LB: 201123 ... c Min unsat cost LB: 201125 ... c Min unsat cost LB: 201128 ... c Min unsat cost LB: 201135 ... c Min unsat cost LB: 201149 ... c Min unsat cost LB: 201150 ... c Min unsat cost LB: 201155 ... c Min unsat cost LB: 201204 ... c Min unsat cost LB: 201214 ... c Min unsat cost LB: 201215 ... c Min unsat cost LB: 201218 ... c Min unsat cost LB: 201982 ... c Min unsat cost LB: 202115 ... c Min unsat cost LB: 202538 ... c Min unsat cost LB: 202540 ... c Min unsat cost LB: 202541 ... c Min unsat cost LB: 202544 ... c Min unsat cost LB: 202545 ... c Min unsat cost LB: 202547 ... c Min unsat cost LB: 202620 ... c Min unsat cost LB: 202624 ... c Min unsat cost LB: 202627 ... c Min unsat cost LB: 202633 ... c Min unsat cost LB: 202634 ... o 202634 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 -179 180 -181 -182 183 -184 -185 -186 187 -188 189 -190 191 -192 -193 -194 -195 -196 197 -198 199 -200 -201 -202 203 -204 -205 206 207 -208 209 -210 -211 -212 213 -214 -215 216 -217 -218 219 -220 -221 222 223 -224 225 -226 -227 -228 229 -230 -231 -232 -233 234 -235 236 -237 -238 -239 240 241 -242 243 -244 -245 246 -247 -248 -249 -250 251 252 -253 -254 -255 256 -257 258 -259 -260 -261 -262 263 -264 265 -266 -267 -268 -269 270 -271 -272 273 -274 275 276 -277 -278 -279 280 281 -282 -283 -284 -285 286 -287 288 -289 -290 291 -292 -293 -294 295 -296 -297 -298 299 -300 301 -302 -303 304 305 -306 307 -308 -309 -310 -311 -312 313 314 -315 -316 317 -318 -319 320 -321 -322 -323 324 -325 -326 -327 -328 329 -330 -331 332 -333 334 -335 336 -337 -338 339 -340 -341 342 -343 344 -345 -346 -347 -348 349 350 -351 352 -353 -354 -355 356 -357 -358 359 -360 361 -362 -363 -364 365 -366 367 -368 -369 -370 -371 -372 373 374 -375 -376 -377 -378 -379 380 381 -382 -383 -384 -385 386 387 -388 -389 -390 391 -392 -393 -394 -395 -396 -397 398 -399 400 -401 402 -403 -404 405 -406 -407 408 -409 410 -411 -412 -413 414 -415 -416 417 -418 -419 420 -421 422 -423 -424 -425 -426 427 -428 -429 -430 -431 -432 433 -434 -435 436 -437 438 -439 -440 -441 -442 443 444 -445 -446 -447 448 -449 -450 -451 -452 453 -454 -455 456 457 -458 -459 460 -461 -462 463 -464 -465 466 -467 468 -469 470 -471 -472 -473 -474 -475 476 477 -478 -479 -480 481 -482 483 -484 -485 -486 487 -488 489 -490 491 -492 493 -494 -495 -496 497 -498 499 -500 -501 502 -503 -504 -505 -506 507 -508 509 -510 511 -512 -513 -514 515 -516 -517 -518 519 -520 521 -522 523 -524 -525 -526 -527 528 529 -530 -531 -532 533 -534 -535 536 -537 538 539 -540 -541 -542 543 -544 545 -546 -547 548 -549 -550 551 -552 -553 c CPU Time: 50.4903 50.545u 0.275s 0:50.92 99.7% 0+0k 0+0io 0pf+0w