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-300-1_network-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-4.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-300-1_network-4.net.wcnf *** c c Min unsat cost LB: 1111 ... c Min unsat cost LB: 2339 ... c Min unsat cost LB: 3065 ... c Min unsat cost LB: 4084 ... c Min unsat cost LB: 5095 ... c Min unsat cost LB: 5170 ... c Min unsat cost LB: 5665 ... c Min unsat cost LB: 7138 ... c Min unsat cost LB: 7625 ... c Min unsat cost LB: 8850 ... c Min unsat cost LB: 10383 ... c Min unsat cost LB: 12264 ... c Min unsat cost LB: 14150 ... c Min unsat cost LB: 16512 ... c Min unsat cost LB: 16728 ... c Min unsat cost LB: 17839 ... c Min unsat cost LB: 18632 ... c Min unsat cost LB: 20025 ... c Min unsat cost LB: 21356 ... c Min unsat cost LB: 22255 ... c Min unsat cost LB: 22847 ... c Min unsat cost LB: 23441 ... c Min unsat cost LB: 24553 ... c Min unsat cost LB: 25432 ... c Min unsat cost LB: 27248 ... c Min unsat cost LB: 28393 ... c Min unsat cost LB: 29249 ... c Min unsat cost LB: 29714 ... c Min unsat cost LB: 30846 ... c Min unsat cost LB: 31403 ... c Min unsat cost LB: 31737 ... c Min unsat cost LB: 32336 ... c Min unsat cost LB: 33071 ... c Min unsat cost LB: 33398 ... c Min unsat cost LB: 34242 ... c Min unsat cost LB: 34318 ... c Min unsat cost LB: 34570 ... c Min unsat cost LB: 34626 ... c Min unsat cost LB: 34958 ... c Min unsat cost LB: 35319 ... c Min unsat cost LB: 36555 ... c Min unsat cost LB: 38205 ... c Min unsat cost LB: 39764 ... c Min unsat cost LB: 40173 ... c Min unsat cost LB: 41912 ... c Min unsat cost LB: 42644 ... c Min unsat cost LB: 42942 ... c Min unsat cost LB: 43477 ... c Min unsat cost LB: 44944 ... c Min unsat cost LB: 46385 ... c Min unsat cost LB: 48055 ... c Min unsat cost LB: 48128 ... c Min unsat cost LB: 49360 ... c Min unsat cost LB: 51583 ... c Min unsat cost LB: 52149 ... c Min unsat cost LB: 52961 ... c Min unsat cost LB: 53121 ... c Min unsat cost LB: 53861 ... c Min unsat cost LB: 54364 ... c Min unsat cost LB: 55260 ... c Min unsat cost LB: 56127 ... c Min unsat cost LB: 56533 ... c Min unsat cost LB: 57520 ... c Min unsat cost LB: 57691 ... c Min unsat cost LB: 57998 ... c Min unsat cost LB: 59175 ... c Min unsat cost LB: 59640 ... c Min unsat cost LB: 60935 ... c Min unsat cost LB: 61506 ... c Min unsat cost LB: 61718 ... c Min unsat cost LB: 62114 ... c Min unsat cost LB: 62439 ... c Min unsat cost LB: 62954 ... c Min unsat cost LB: 63051 ... c Min unsat cost LB: 63318 ... c Min unsat cost LB: 64449 ... c Min unsat cost LB: 64525 ... c Min unsat cost LB: 64680 ... c Min unsat cost LB: 64906 ... c Min unsat cost LB: 65155 ... c Min unsat cost LB: 65374 ... c Min unsat cost LB: 65458 ... c Min unsat cost LB: 65631 ... c Min unsat cost LB: 65652 ... c Min unsat cost LB: 66047 ... c Min unsat cost LB: 66542 ... c Min unsat cost LB: 66816 ... c Min unsat cost LB: 66938 ... c Min unsat cost LB: 67576 ... c Min unsat cost LB: 67626 ... c Min unsat cost LB: 67822 ... c Min unsat cost LB: 67834 ... c Min unsat cost LB: 67918 ... c Min unsat cost LB: 68099 ... c Min unsat cost LB: 68193 ... c Min unsat cost LB: 68308 ... c Min unsat cost LB: 69127 ... c Min unsat cost LB: 69181 ... c Min unsat cost LB: 69633 ... c Min unsat cost LB: 70535 ... c Min unsat cost LB: 70721 ... c Min unsat cost LB: 70972 ... c Min unsat cost LB: 71683 ... c Min unsat cost LB: 72060 ... c Min unsat cost LB: 72253 ... c Min unsat cost LB: 73317 ... c Min unsat cost LB: 73449 ... c Min unsat cost LB: 73597 ... c Min unsat cost LB: 73795 ... c Min unsat cost LB: 73969 ... c Min unsat cost LB: 74721 ... c Min unsat cost LB: 74728 ... c Min unsat cost LB: 74961 ... c Min unsat cost LB: 74987 ... c Min unsat cost LB: 75046 ... c Min unsat cost LB: 75390 ... c Min unsat cost LB: 75469 ... c Min unsat cost LB: 76404 ... c Min unsat cost LB: 76640 ... c Min unsat cost LB: 76824 ... c Min unsat cost LB: 77836 ... c Min unsat cost LB: 77963 ... c Min unsat cost LB: 77978 ... c Min unsat cost LB: 78083 ... c Min unsat cost LB: 78223 ... c Min unsat cost LB: 78891 ... c Min unsat cost LB: 79148 ... c Min unsat cost LB: 79280 ... c Min unsat cost LB: 79385 ... c Min unsat cost LB: 79622 ... c Min unsat cost LB: 80007 ... c Min unsat cost LB: 80757 ... c Min unsat cost LB: 80847 ... c Min unsat cost LB: 81060 ... c Min unsat cost LB: 81125 ... c Min unsat cost LB: 82375 ... c Min unsat cost LB: 82415 ... c Min unsat cost LB: 83222 ... c Min unsat cost LB: 83344 ... c Min unsat cost LB: 83363 ... c Min unsat cost LB: 83601 ... c Min unsat cost LB: 83953 ... c Min unsat cost LB: 84079 ... c Min unsat cost LB: 84600 ... c Min unsat cost LB: 85550 ... c Min unsat cost LB: 86238 ... c Min unsat cost LB: 87517 ... c Min unsat cost LB: 87733 ... c Min unsat cost LB: 87836 ... c Min unsat cost LB: 87840 ... c Min unsat cost LB: 87898 ... c Min unsat cost LB: 89204 ... c Min unsat cost LB: 89837 ... c Min unsat cost LB: 89991 ... c Min unsat cost LB: 90084 ... c Min unsat cost LB: 90415 ... c Min unsat cost LB: 90553 ... c Min unsat cost LB: 91679 ... c Min unsat cost LB: 91708 ... c Min unsat cost LB: 92055 ... c Min unsat cost LB: 92070 ... c Min unsat cost LB: 92166 ... c Min unsat cost LB: 92845 ... c Min unsat cost LB: 92883 ... c Min unsat cost LB: 92908 ... c Min unsat cost LB: 93312 ... c Min unsat cost LB: 93537 ... c Min unsat cost LB: 93959 ... c Min unsat cost LB: 94399 ... c Min unsat cost LB: 94587 ... c Min unsat cost LB: 94612 ... c Min unsat cost LB: 95490 ... c Min unsat cost LB: 95817 ... c Min unsat cost LB: 95854 ... c Min unsat cost LB: 96219 ... c Min unsat cost LB: 96251 ... c Min unsat cost LB: 97140 ... c Min unsat cost LB: 97541 ... c Min unsat cost LB: 97943 ... c Min unsat cost LB: 98667 ... c Min unsat cost LB: 98777 ... c Min unsat cost LB: 98796 ... c Min unsat cost LB: 99957 ... c Min unsat cost LB: 100271 ... c Min unsat cost LB: 100794 ... c Min unsat cost LB: 101207 ... c Min unsat cost LB: 102726 ... c Min unsat cost LB: 102954 ... c Min unsat cost LB: 103555 ... c Min unsat cost LB: 103579 ... c Min unsat cost LB: 103955 ... c Min unsat cost LB: 104384 ... c Min unsat cost LB: 104465 ... c Min unsat cost LB: 104540 ... c Min unsat cost LB: 104887 ... c Min unsat cost LB: 104946 ... c Min unsat cost LB: 105457 ... c Min unsat cost LB: 106326 ... c Min unsat cost LB: 106430 ... c Min unsat cost LB: 106609 ... c Min unsat cost LB: 107445 ... c Min unsat cost LB: 107533 ... c Min unsat cost LB: 108023 ... c Min unsat cost LB: 108801 ... c Min unsat cost LB: 108889 ... c Min unsat cost LB: 109129 ... c Min unsat cost LB: 109642 ... c Min unsat cost LB: 109662 ... c Min unsat cost LB: 109937 ... c Min unsat cost LB: 110347 ... c Min unsat cost LB: 110371 ... c Min unsat cost LB: 110607 ... c Min unsat cost LB: 111062 ... c Min unsat cost LB: 111207 ... c Min unsat cost LB: 112019 ... c Min unsat cost LB: 112040 ... c Min unsat cost LB: 112145 ... c Min unsat cost LB: 112846 ... c Min unsat cost LB: 112951 ... c Min unsat cost LB: 113097 ... c Min unsat cost LB: 113559 ... c Min unsat cost LB: 113779 ... c Min unsat cost LB: 114164 ... c Min unsat cost LB: 114506 ... c Min unsat cost LB: 114520 ... c Min unsat cost LB: 115033 ... c Min unsat cost LB: 115460 ... c Min unsat cost LB: 115645 ... c Min unsat cost LB: 115664 ... c Min unsat cost LB: 115777 ... c Min unsat cost LB: 115781 ... c Min unsat cost LB: 116132 ... c Min unsat cost LB: 116633 ... c Min unsat cost LB: 117811 ... c Min unsat cost LB: 117838 ... c Min unsat cost LB: 117977 ... c Min unsat cost LB: 117981 ... c Min unsat cost LB: 118215 ... c Min unsat cost LB: 118356 ... c Min unsat cost LB: 118959 ... c Min unsat cost LB: 119133 ... c Min unsat cost LB: 119192 ... c Min unsat cost LB: 119221 ... c Min unsat cost LB: 119646 ... c Min unsat cost LB: 119955 ... c Min unsat cost LB: 121351 ... c Min unsat cost LB: 121369 ... c Min unsat cost LB: 121920 ... c Min unsat cost LB: 122047 ... c Min unsat cost LB: 122272 ... c Min unsat cost LB: 122681 ... c Min unsat cost LB: 123117 ... c Min unsat cost LB: 123169 ... c Min unsat cost LB: 123180 ... c Min unsat cost LB: 123191 ... c Min unsat cost LB: 123385 ... c Min unsat cost LB: 123564 ... c Min unsat cost LB: 124045 ... c Min unsat cost LB: 124769 ... c Min unsat cost LB: 125266 ... c Min unsat cost LB: 125399 ... c Min unsat cost LB: 126607 ... c Min unsat cost LB: 126638 ... c Min unsat cost LB: 126651 ... c Min unsat cost LB: 126748 ... c Min unsat cost LB: 127124 ... c Min unsat cost LB: 127414 ... c Min unsat cost LB: 127458 ... c Min unsat cost LB: 127786 ... c Min unsat cost LB: 128293 ... c Min unsat cost LB: 128323 ... c Min unsat cost LB: 128694 ... c Min unsat cost LB: 128745 ... c Min unsat cost LB: 128952 ... c Min unsat cost LB: 129040 ... c Min unsat cost LB: 129153 ... c Min unsat cost LB: 129351 ... c Min unsat cost LB: 129354 ... c Min unsat cost LB: 129382 ... c Min unsat cost LB: 130060 ... c Min unsat cost LB: 131321 ... c Min unsat cost LB: 131354 ... c Min unsat cost LB: 131726 ... c Min unsat cost LB: 131793 ... c Min unsat cost LB: 132144 ... c Min unsat cost LB: 132175 ... c Min unsat cost LB: 132730 ... c Min unsat cost LB: 133764 ... c Min unsat cost LB: 134723 ... c Min unsat cost LB: 135132 ... c Min unsat cost LB: 135202 ... c Min unsat cost LB: 135925 ... c Min unsat cost LB: 135939 ... c Min unsat cost LB: 136510 ... c Min unsat cost LB: 136909 ... c Min unsat cost LB: 136924 ... c Min unsat cost LB: 137505 ... c Min unsat cost LB: 137733 ... c Min unsat cost LB: 137803 ... c Min unsat cost LB: 138311 ... c Min unsat cost LB: 138331 ... c Min unsat cost LB: 138710 ... c Min unsat cost LB: 138852 ... c Min unsat cost LB: 139130 ... c Min unsat cost LB: 139166 ... c Min unsat cost LB: 139310 ... c Min unsat cost LB: 139789 ... c Min unsat cost LB: 139964 ... c Min unsat cost LB: 140099 ... c Min unsat cost LB: 140112 ... c Min unsat cost LB: 140307 ... c Min unsat cost LB: 140611 ... c Min unsat cost LB: 140638 ... c Min unsat cost LB: 140767 ... c Min unsat cost LB: 140867 ... c Min unsat cost LB: 141209 ... c Min unsat cost LB: 141555 ... c Min unsat cost LB: 141637 ... c Min unsat cost LB: 141812 ... c Min unsat cost LB: 141919 ... c Min unsat cost LB: 142683 ... c Min unsat cost LB: 142736 ... c Min unsat cost LB: 143310 ... c Min unsat cost LB: 143935 ... c Min unsat cost LB: 143976 ... c Min unsat cost LB: 144617 ... c Min unsat cost LB: 144701 ... c Min unsat cost LB: 144797 ... c Min unsat cost LB: 144870 ... c Min unsat cost LB: 145112 ... c Min unsat cost LB: 145700 ... c Min unsat cost LB: 145762 ... c Min unsat cost LB: 145771 ... c Min unsat cost LB: 146145 ... c Min unsat cost LB: 146300 ... c Min unsat cost LB: 146415 ... c Min unsat cost LB: 146603 ... c Min unsat cost LB: 146698 ... c Min unsat cost LB: 146854 ... c Min unsat cost LB: 147372 ... c Min unsat cost LB: 147650 ... c Min unsat cost LB: 147715 ... c Min unsat cost LB: 148138 ... c Min unsat cost LB: 148139 ... c Min unsat cost LB: 148157 ... c Min unsat cost LB: 148312 ... c Min unsat cost LB: 148918 ... c Min unsat cost LB: 149033 ... c Min unsat cost LB: 149504 ... c Min unsat cost LB: 149876 ... c Min unsat cost LB: 150052 ... c Min unsat cost LB: 150861 ... c Min unsat cost LB: 151581 ... c Min unsat cost LB: 151953 ... c Min unsat cost LB: 153030 ... c Min unsat cost LB: 153156 ... c Min unsat cost LB: 153385 ... c Min unsat cost LB: 153608 ... c Min unsat cost LB: 153694 ... c Min unsat cost LB: 153821 ... c Min unsat cost LB: 154149 ... c Min unsat cost LB: 154953 ... c Min unsat cost LB: 155043 ... c Min unsat cost LB: 155263 ... c Min unsat cost LB: 155295 ... c Min unsat cost LB: 155539 ... c Min unsat cost LB: 155953 ... c Min unsat cost LB: 155997 ... c Min unsat cost LB: 156054 ... c Min unsat cost LB: 156080 ... c Min unsat cost LB: 156107 ... c Min unsat cost LB: 156509 ... c Min unsat cost LB: 156693 ... c Min unsat cost LB: 156874 ... c Min unsat cost LB: 157069 ... c Min unsat cost LB: 157084 ... c Min unsat cost LB: 157133 ... c Min unsat cost LB: 157445 ... c Min unsat cost LB: 157554 ... c Min unsat cost LB: 158878 ... c Min unsat cost LB: 158987 ... c Min unsat cost LB: 159219 ... c Min unsat cost LB: 159394 ... c Min unsat cost LB: 159400 ... c Min unsat cost LB: 159419 ... c Min unsat cost LB: 159557 ... c Min unsat cost LB: 159692 ... c Min unsat cost LB: 159818 ... c Min unsat cost LB: 159834 ... c Min unsat cost LB: 159863 ... c Min unsat cost LB: 160103 ... c Min unsat cost LB: 160231 ... c Min unsat cost LB: 160298 ... c Min unsat cost LB: 160306 ... c Min unsat cost LB: 160568 ... c Min unsat cost LB: 160739 ... c Min unsat cost LB: 161898 ... c Min unsat cost LB: 162026 ... c Min unsat cost LB: 162233 ... c Min unsat cost LB: 163158 ... c Min unsat cost LB: 163200 ... c Min unsat cost LB: 163477 ... c Min unsat cost LB: 164806 ... c Min unsat cost LB: 164866 ... c Min unsat cost LB: 165138 ... c Min unsat cost LB: 165537 ... c Min unsat cost LB: 165961 ... c Min unsat cost LB: 166402 ... c Min unsat cost LB: 166803 ... c Min unsat cost LB: 167337 ... c Min unsat cost LB: 167858 ... c Min unsat cost LB: 167991 ... c Min unsat cost LB: 168178 ... c Min unsat cost LB: 168243 ... c Min unsat cost LB: 168873 ... c Min unsat cost LB: 169147 ... c Min unsat cost LB: 169551 ... c Min unsat cost LB: 169577 ... c Min unsat cost LB: 169880 ... c Min unsat cost LB: 170389 ... c Min unsat cost LB: 171037 ... c Min unsat cost LB: 171856 ... c Min unsat cost LB: 171882 ... c Min unsat cost LB: 172077 ... c Min unsat cost LB: 172210 ... c Min unsat cost LB: 172250 ... c Min unsat cost LB: 172328 ... c Min unsat cost LB: 172350 ... c Min unsat cost LB: 172591 ... c Min unsat cost LB: 172689 ... c Min unsat cost LB: 172847 ... c Min unsat cost LB: 172862 ... c Min unsat cost LB: 173162 ... c Min unsat cost LB: 173310 ... c Min unsat cost LB: 173370 ... c Min unsat cost LB: 173389 ... c Min unsat cost LB: 173540 ... c Min unsat cost LB: 173817 ... c Min unsat cost LB: 174043 ... c Min unsat cost LB: 174250 ... c Min unsat cost LB: 174284 ... c Min unsat cost LB: 174356 ... c Min unsat cost LB: 175720 ... c Min unsat cost LB: 175781 ... c Min unsat cost LB: 175871 ... c Min unsat cost LB: 176180 ... c Min unsat cost LB: 176504 ... c Min unsat cost LB: 176633 ... c Min unsat cost LB: 176705 ... c Min unsat cost LB: 176714 ... c Min unsat cost LB: 177671 ... c Min unsat cost LB: 178233 ... c Min unsat cost LB: 178308 ... c Min unsat cost LB: 178357 ... c Min unsat cost LB: 178387 ... c Min unsat cost LB: 178484 ... c Min unsat cost LB: 178491 ... c Min unsat cost LB: 178546 ... c Min unsat cost LB: 178598 ... c Min unsat cost LB: 178619 ... c Min unsat cost LB: 178626 ... c Min unsat cost LB: 178633 ... c Min unsat cost LB: 178648 ... c Min unsat cost LB: 178667 ... c Min unsat cost LB: 178671 ... c Min unsat cost LB: 179309 ... c Min unsat cost LB: 179674 ... c Min unsat cost LB: 179681 ... c Min unsat cost LB: 179885 ... c Min unsat cost LB: 179938 ... c Min unsat cost LB: 179998 ... c Min unsat cost LB: 180013 ... c Min unsat cost LB: 180046 ... c Min unsat cost LB: 180068 ... c Min unsat cost LB: 180097 ... c Min unsat cost LB: 180100 ... c Min unsat cost LB: 180104 ... c Min unsat cost LB: 180345 ... c Min unsat cost LB: 180506 ... c Min unsat cost LB: 181778 ... c Min unsat cost LB: 181943 ... c Min unsat cost LB: 181990 ... c Min unsat cost LB: 182041 ... c Min unsat cost LB: 182301 ... c Min unsat cost LB: 182624 ... c Min unsat cost LB: 182642 ... c Min unsat cost LB: 182835 ... c Min unsat cost LB: 183343 ... c Min unsat cost LB: 183689 ... c Min unsat cost LB: 183825 ... c Min unsat cost LB: 184660 ... c Min unsat cost LB: 184951 ... c Min unsat cost LB: 184991 ... c Min unsat cost LB: 185009 ... c Min unsat cost LB: 185067 ... c Min unsat cost LB: 185773 ... c Min unsat cost LB: 185794 ... c Min unsat cost LB: 186488 ... c Min unsat cost LB: 186637 ... c Min unsat cost LB: 187228 ... c Min unsat cost LB: 187408 ... c Min unsat cost LB: 187686 ... c Min unsat cost LB: 188193 ... c Min unsat cost LB: 188660 ... c Min unsat cost LB: 189718 ... c Min unsat cost LB: 189797 ... c Min unsat cost LB: 189996 ... c Min unsat cost LB: 190006 ... c Min unsat cost LB: 190222 ... c Min unsat cost LB: 190846 ... c Min unsat cost LB: 191010 ... c Min unsat cost LB: 191408 ... c Min unsat cost LB: 191880 ... c Min unsat cost LB: 191884 ... c Min unsat cost LB: 192112 ... c Min unsat cost LB: 192263 ... c Min unsat cost LB: 192474 ... c Min unsat cost LB: 192501 ... c Min unsat cost LB: 192611 ... c Min unsat cost LB: 192674 ... c Min unsat cost LB: 192781 ... c Min unsat cost LB: 192784 ... c Min unsat cost LB: 193149 ... c Min unsat cost LB: 193378 ... c Min unsat cost LB: 193388 ... c Min unsat cost LB: 193587 ... c Min unsat cost LB: 193673 ... c Min unsat cost LB: 194649 ... c Min unsat cost LB: 194674 ... c Min unsat cost LB: 195010 ... c Min unsat cost LB: 195522 ... c Min unsat cost LB: 195550 ... c Min unsat cost LB: 195724 ... c Min unsat cost LB: 195905 ... c Min unsat cost LB: 196050 ... c Min unsat cost LB: 196550 ... c Min unsat cost LB: 197438 ... c Min unsat cost LB: 197444 ... c Min unsat cost LB: 198198 ... c Min unsat cost LB: 198227 ... c Min unsat cost LB: 198763 ... c Min unsat cost LB: 198969 ... c Min unsat cost LB: 199037 ... c Min unsat cost LB: 199505 ... c Min unsat cost LB: 199642 ... c Min unsat cost LB: 200574 ... c Min unsat cost LB: 200634 ... c Min unsat cost LB: 200665 ... c Min unsat cost LB: 200860 ... c Min unsat cost LB: 201131 ... c Min unsat cost LB: 201448 ... c Min unsat cost LB: 201663 ... c Min unsat cost LB: 201904 ... c Min unsat cost LB: 202073 ... c Min unsat cost LB: 202259 ... c Min unsat cost LB: 202274 ... c Min unsat cost LB: 202333 ... c Min unsat cost LB: 202391 ... c Min unsat cost LB: 202420 ... c Min unsat cost LB: 202509 ... c Min unsat cost LB: 202787 ... c Min unsat cost LB: 203425 ... c Min unsat cost LB: 204099 ... c Min unsat cost LB: 204248 ... c Min unsat cost LB: 204323 ... c Min unsat cost LB: 204596 ... c Min unsat cost LB: 204814 ... c Min unsat cost LB: 205472 ... c Min unsat cost LB: 205661 ... c Min unsat cost LB: 205964 ... c Min unsat cost LB: 205991 ... c Min unsat cost LB: 206145 ... c Min unsat cost LB: 206297 ... c Min unsat cost LB: 206520 ... c Min unsat cost LB: 206584 ... c Min unsat cost LB: 206738 ... c Min unsat cost LB: 206890 ... c Min unsat cost LB: 206904 ... c Min unsat cost LB: 207125 ... c Min unsat cost LB: 207831 ... c Min unsat cost LB: 207894 ... c Min unsat cost LB: 208154 ... c Min unsat cost LB: 208421 ... c Min unsat cost LB: 208766 ... c Min unsat cost LB: 209096 ... c Min unsat cost LB: 209420 ... c Min unsat cost LB: 209645 ... c Min unsat cost LB: 209682 ... c Min unsat cost LB: 210425 ... c Min unsat cost LB: 210497 ... c Min unsat cost LB: 210514 ... c Min unsat cost LB: 210999 ... c Min unsat cost LB: 211495 ... c Min unsat cost LB: 211736 ... c Min unsat cost LB: 212643 ... c Min unsat cost LB: 212688 ... c Min unsat cost LB: 212739 ... c Min unsat cost LB: 212797 ... c Min unsat cost LB: 212812 ... c Min unsat cost LB: 212860 ... c Min unsat cost LB: 213521 ... c Min unsat cost LB: 214172 ... c Min unsat cost LB: 214263 ... c Min unsat cost LB: 214473 ... c Min unsat cost LB: 214828 ... c Min unsat cost LB: 215241 ... c Min unsat cost LB: 215386 ... c Min unsat cost LB: 215539 ... c Min unsat cost LB: 216573 ... c Min unsat cost LB: 216599 ... c Min unsat cost LB: 216817 ... c Min unsat cost LB: 216849 ... c Min unsat cost LB: 216864 ... c Min unsat cost LB: 216882 ... c Min unsat cost LB: 216942 ... c Min unsat cost LB: 217034 ... c Min unsat cost LB: 217190 ... c Min unsat cost LB: 217289 ... c Min unsat cost LB: 217329 ... c Min unsat cost LB: 217473 ... c Min unsat cost LB: 217508 ... c Min unsat cost LB: 218396 ... c Min unsat cost LB: 218460 ... c Min unsat cost LB: 219178 ... c Min unsat cost LB: 219558 ... c Min unsat cost LB: 219560 ... c Min unsat cost LB: 219668 ... c Min unsat cost LB: 219752 ... c Min unsat cost LB: 219785 ... c Min unsat cost LB: 220300 ... c Min unsat cost LB: 220382 ... c Min unsat cost LB: 220399 ... c Min unsat cost LB: 220417 ... c Min unsat cost LB: 220746 ... c Min unsat cost LB: 220818 ... c Min unsat cost LB: 220935 ... c Min unsat cost LB: 221073 ... c Min unsat cost LB: 221343 ... c Min unsat cost LB: 221550 ... c Min unsat cost LB: 221590 ... c Min unsat cost LB: 221759 ... c Min unsat cost LB: 221777 ... c Min unsat cost LB: 221791 ... c Min unsat cost LB: 222059 ... c Min unsat cost LB: 222081 ... c Min unsat cost LB: 222154 ... c Min unsat cost LB: 222189 ... c Min unsat cost LB: 222298 ... c Min unsat cost LB: 222465 ... c Min unsat cost LB: 222505 ... c Min unsat cost LB: 222519 ... c Min unsat cost LB: 222684 ... c Min unsat cost LB: 223495 ... c Min unsat cost LB: 223686 ... c Min unsat cost LB: 223715 ... c Min unsat cost LB: 223895 ... c Min unsat cost LB: 224354 ... c Min unsat cost LB: 225030 ... c Min unsat cost LB: 225466 ... c Min unsat cost LB: 225658 ... c Min unsat cost LB: 225852 ... c Min unsat cost LB: 225987 ... c Min unsat cost LB: 226130 ... c Min unsat cost LB: 226424 ... c Min unsat cost LB: 226496 ... c Min unsat cost LB: 226503 ... c Min unsat cost LB: 226504 ... c Min unsat cost LB: 226641 ... c Min unsat cost LB: 226678 ... c Min unsat cost LB: 227212 ... c Min unsat cost LB: 227265 ... c Min unsat cost LB: 227614 ... c Min unsat cost LB: 227705 ... c Min unsat cost LB: 227982 ... c Min unsat cost LB: 228092 ... c Min unsat cost LB: 228102 ... c Min unsat cost LB: 228114 ... c Min unsat cost LB: 228119 ... c Min unsat cost LB: 228963 ... c Min unsat cost LB: 229146 ... c Min unsat cost LB: 229222 ... c Min unsat cost LB: 229301 ... c Min unsat cost LB: 229456 ... c Min unsat cost LB: 229622 ... c Min unsat cost LB: 229774 ... c Min unsat cost LB: 229905 ... c Min unsat cost LB: 229922 ... c Min unsat cost LB: 230571 ... c Min unsat cost LB: 230651 ... c Min unsat cost LB: 230894 ... c Min unsat cost LB: 231330 ... c Min unsat cost LB: 231385 ... c Min unsat cost LB: 231432 ... c Min unsat cost LB: 231433 ... c Min unsat cost LB: 231449 ... c Min unsat cost LB: 232293 ... c Min unsat cost LB: 232348 ... c Min unsat cost LB: 232991 ... c Min unsat cost LB: 233000 ... c Min unsat cost LB: 233082 ... c Min unsat cost LB: 233646 ... c Min unsat cost LB: 233685 ... c Min unsat cost LB: 234057 ... c Min unsat cost LB: 234119 ... c Min unsat cost LB: 234249 ... c Min unsat cost LB: 234281 ... c Min unsat cost LB: 234806 ... c Min unsat cost LB: 235068 ... c Min unsat cost LB: 235080 ... c Min unsat cost LB: 235093 ... c Min unsat cost LB: 235150 ... c Min unsat cost LB: 235187 ... c Min unsat cost LB: 235198 ... c Min unsat cost LB: 235206 ... c Min unsat cost LB: 235322 ... c Min unsat cost LB: 235324 ... c Min unsat cost LB: 235797 ... c Min unsat cost LB: 236098 ... c Min unsat cost LB: 236242 ... c Min unsat cost LB: 236375 ... c Min unsat cost LB: 236699 ... c Min unsat cost LB: 236944 ... c Min unsat cost LB: 237342 ... c Min unsat cost LB: 237450 ... c Min unsat cost LB: 237927 ... c Min unsat cost LB: 239099 ... c Min unsat cost LB: 239126 ... c Min unsat cost LB: 239127 ... c Min unsat cost LB: 239140 ... c Min unsat cost LB: 239142 ... c Min unsat cost LB: 239143 ... c Min unsat cost LB: 239145 ... c Min unsat cost LB: 239159 ... c Min unsat cost LB: 239167 ... c Min unsat cost LB: 239169 ... c Min unsat cost LB: 239170 ... c Min unsat cost LB: 239185 ... c Min unsat cost LB: 239205 ... c Min unsat cost LB: 239207 ... c Min unsat cost LB: 239210 ... c Min unsat cost LB: 239261 ... c Min unsat cost LB: 239280 ... c Min unsat cost LB: 239392 ... c Min unsat cost LB: 239775 ... c Min unsat cost LB: 239953 ... c Min unsat cost LB: 240795 ... c Min unsat cost LB: 240986 ... c Min unsat cost LB: 241566 ... c Min unsat cost LB: 241587 ... c Min unsat cost LB: 241746 ... c Min unsat cost LB: 242596 ... c Min unsat cost LB: 242638 ... c Min unsat cost LB: 242660 ... c Min unsat cost LB: 242965 ... c Min unsat cost LB: 243124 ... c Min unsat cost LB: 243191 ... c Min unsat cost LB: 243578 ... c Min unsat cost LB: 244118 ... c Min unsat cost LB: 244654 ... c Min unsat cost LB: 244983 ... c Min unsat cost LB: 245326 ... c Min unsat cost LB: 245604 ... c Min unsat cost LB: 245645 ... c Min unsat cost LB: 245957 ... c Min unsat cost LB: 246223 ... c Min unsat cost LB: 246237 ... c Min unsat cost LB: 246311 ... c Min unsat cost LB: 246593 ... c Min unsat cost LB: 246783 ... c Min unsat cost LB: 246824 ... c Min unsat cost LB: 247038 ... c Min unsat cost LB: 247081 ... c Min unsat cost LB: 247100 ... c Min unsat cost LB: 247799 ... c Min unsat cost LB: 247883 ... c Min unsat cost LB: 248356 ... c Min unsat cost LB: 248413 ... c Min unsat cost LB: 248445 ... c Min unsat cost LB: 248525 ... c Min unsat cost LB: 248616 ... c Min unsat cost LB: 248862 ... c Min unsat cost LB: 249201 ... c Min unsat cost LB: 249233 ... c Min unsat cost LB: 249331 ... c Min unsat cost LB: 249433 ... c Min unsat cost LB: 249814 ... c Min unsat cost LB: 249857 ... c Min unsat cost LB: 249876 ... c Min unsat cost LB: 250090 ... c Min unsat cost LB: 250181 ... c Min unsat cost LB: 250340 ... c Min unsat cost LB: 250974 ... c Min unsat cost LB: 251079 ... c Min unsat cost LB: 251353 ... c Min unsat cost LB: 251404 ... c Min unsat cost LB: 251569 ... c Min unsat cost LB: 251624 ... c Min unsat cost LB: 251758 ... c Min unsat cost LB: 251883 ... c Min unsat cost LB: 252751 ... c Min unsat cost LB: 252771 ... c Min unsat cost LB: 252946 ... c Min unsat cost LB: 253247 ... c Min unsat cost LB: 253547 ... c Min unsat cost LB: 254966 ... c Min unsat cost LB: 255015 ... c Min unsat cost LB: 255099 ... c Min unsat cost LB: 255138 ... c Min unsat cost LB: 255192 ... c Min unsat cost LB: 256024 ... c Min unsat cost LB: 256082 ... c Min unsat cost LB: 256129 ... c Min unsat cost LB: 256799 ... c Min unsat cost LB: 256928 ... c Min unsat cost LB: 258065 ... c Min unsat cost LB: 258266 ... c Min unsat cost LB: 258338 ... c Min unsat cost LB: 258604 ... c Min unsat cost LB: 258779 ... c Min unsat cost LB: 258944 ... c Min unsat cost LB: 259365 ... c Min unsat cost LB: 259404 ... c Min unsat cost LB: 259445 ... c Min unsat cost LB: 259699 ... c Min unsat cost LB: 260603 ... c Min unsat cost LB: 260948 ... c Min unsat cost LB: 261481 ... c Min unsat cost LB: 261839 ... c Min unsat cost LB: 262581 ... c Min unsat cost LB: 263360 ... c Min unsat cost LB: 263414 ... c Min unsat cost LB: 263758 ... c Min unsat cost LB: 263809 ... c Min unsat cost LB: 263817 ... c Min unsat cost LB: 263902 ... c Min unsat cost LB: 264207 ... c Min unsat cost LB: 264237 ... c Min unsat cost LB: 264470 ... c Min unsat cost LB: 264562 ... c Min unsat cost LB: 265245 ... c Min unsat cost LB: 265401 ... c Min unsat cost LB: 265740 ... c Min unsat cost LB: 265888 ... c Min unsat cost LB: 265960 ... c Min unsat cost LB: 266308 ... c Min unsat cost LB: 266792 ... c Min unsat cost LB: 266802 ... c Min unsat cost LB: 266823 ... c Min unsat cost LB: 266847 ... c Min unsat cost LB: 266865 ... c Min unsat cost LB: 266898 ... c Min unsat cost LB: 266966 ... c Min unsat cost LB: 267017 ... c Min unsat cost LB: 267065 ... c Min unsat cost LB: 267383 ... c Min unsat cost LB: 267415 ... c Min unsat cost LB: 267642 ... c Min unsat cost LB: 267656 ... c Min unsat cost LB: 269017 ... c Min unsat cost LB: 269237 ... c Min unsat cost LB: 269256 ... c Min unsat cost LB: 269262 ... c Min unsat cost LB: 269362 ... c Min unsat cost LB: 269619 ... c Min unsat cost LB: 269638 ... c Min unsat cost LB: 269706 ... c Min unsat cost LB: 269759 ... c Min unsat cost LB: 270171 ... c Min unsat cost LB: 270217 ... c Min unsat cost LB: 270259 ... c Min unsat cost LB: 270291 ... c Min unsat cost LB: 270296 ... c Min unsat cost LB: 270318 ... c Min unsat cost LB: 270338 ... c Min unsat cost LB: 270363 ... c Min unsat cost LB: 270422 ... c Min unsat cost LB: 270471 ... c Min unsat cost LB: 271307 ... c Min unsat cost LB: 271388 ... c Min unsat cost LB: 271407 ... c Min unsat cost LB: 271670 ... c Min unsat cost LB: 271681 ... c Min unsat cost LB: 271809 ... c Min unsat cost LB: 271890 ... c Min unsat cost LB: 271891 ... c Min unsat cost LB: 271892 ... c Min unsat cost LB: 271899 ... c Min unsat cost LB: 271900 ... c Min unsat cost LB: 271907 ... c Min unsat cost LB: 271908 ... c Min unsat cost LB: 271909 ... c Min unsat cost LB: 271910 ... c Min unsat cost LB: 271916 ... c Min unsat cost LB: 271917 ... c Min unsat cost LB: 271918 ... c Min unsat cost LB: 271919 ... c Min unsat cost LB: 271920 ... c Min unsat cost LB: 271921 ... c Min unsat cost LB: 272085 ... c Min unsat cost LB: 272570 ... c Min unsat cost LB: 273334 ... c Min unsat cost LB: 273667 ... c Min unsat cost LB: 273755 ... c Min unsat cost LB: 273874 ... c Min unsat cost LB: 273917 ... c Min unsat cost LB: 274610 ... c Min unsat cost LB: 274935 ... c Min unsat cost LB: 274965 ... c Min unsat cost LB: 274995 ... c Min unsat cost LB: 275006 ... c Min unsat cost LB: 275056 ... c Min unsat cost LB: 275086 ... c Min unsat cost LB: 275151 ... c Min unsat cost LB: 275891 ... c Min unsat cost LB: 275971 ... c Min unsat cost LB: 276226 ... c Min unsat cost LB: 276619 ... c Min unsat cost LB: 276976 ... c Min unsat cost LB: 276977 ... c Min unsat cost LB: 276979 ... c Min unsat cost LB: 276993 ... c Min unsat cost LB: 276996 ... c Min unsat cost LB: 277003 ... c Min unsat cost LB: 277011 ... c Min unsat cost LB: 277334 ... c Min unsat cost LB: 277342 ... c Min unsat cost LB: 277350 ... c Min unsat cost LB: 277351 ... c Min unsat cost LB: 277362 ... c Min unsat cost LB: 277366 ... c Min unsat cost LB: 277371 ... c Min unsat cost LB: 277374 ... c Min unsat cost LB: 277377 ... c Min unsat cost LB: 277382 ... c Min unsat cost LB: 277385 ... c Min unsat cost LB: 277386 ... c Min unsat cost LB: 277395 ... c Min unsat cost LB: 277400 ... c Min unsat cost LB: 277403 ... c Min unsat cost LB: 277405 ... c Min unsat cost LB: 277406 ... c Min unsat cost LB: 277409 ... c Min unsat cost LB: 277410 ... c Min unsat cost LB: 277733 ... c Min unsat cost LB: 277813 ... c Min unsat cost LB: 277843 ... c Min unsat cost LB: 278648 ... c Min unsat cost LB: 278707 ... c Min unsat cost LB: 278726 ... c Min unsat cost LB: 278761 ... c Min unsat cost LB: 279183 ... c Min unsat cost LB: 279198 ... c Min unsat cost LB: 279199 ... c Min unsat cost LB: 279200 ... c Min unsat cost LB: 279201 ... c Min unsat cost LB: 279204 ... c Min unsat cost LB: 279205 ... c Min unsat cost LB: 279206 ... c Min unsat cost LB: 279207 ... c Min unsat cost LB: 279208 ... c Min unsat cost LB: 279209 ... c Min unsat cost LB: 279210 ... c Min unsat cost LB: 279211 ... c Min unsat cost LB: 279250 ... c Min unsat cost LB: 279251 ... c Min unsat cost LB: 279257 ... c Min unsat cost LB: 279258 ... c Min unsat cost LB: 279259 ... c Min unsat cost LB: 279260 ... c Min unsat cost LB: 279261 ... c Min unsat cost LB: 279262 ... c Min unsat cost LB: 279263 ... c Min unsat cost LB: 279264 ... c Min unsat cost LB: 279265 ... c Min unsat cost LB: 279645 ... c Min unsat cost LB: 280465 ... c Min unsat cost LB: 280466 ... c Min unsat cost LB: 280827 ... c Min unsat cost LB: 280879 ... c Min unsat cost LB: 280886 ... c Min unsat cost LB: 280887 ... c Min unsat cost LB: 280888 ... c Min unsat cost LB: 281019 ... c Min unsat cost LB: 281043 ... c Min unsat cost LB: 281068 ... c Min unsat cost LB: 281074 ... c Min unsat cost LB: 281075 ... c Min unsat cost LB: 281076 ... c Min unsat cost LB: 281077 ... c Min unsat cost LB: 281078 ... c Min unsat cost LB: 281079 ... c Min unsat cost LB: 281118 ... c Min unsat cost LB: 281119 ... c Min unsat cost LB: 281180 ... c Min unsat cost LB: 281198 ... c Min unsat cost LB: 281499 ... c Min unsat cost LB: 281500 ... c Min unsat cost LB: 281501 ... c Min unsat cost LB: 281502 ... c Min unsat cost LB: 281503 ... c Min unsat cost LB: 281518 ... c Min unsat cost LB: 281521 ... c Min unsat cost LB: 281522 ... c Min unsat cost LB: 281523 ... c Min unsat cost LB: 281524 ... c Min unsat cost LB: 281525 ... c Min unsat cost LB: 281526 ... c Min unsat cost LB: 281527 ... c Min unsat cost LB: 281528 ... c Min unsat cost LB: 281529 ... c Min unsat cost LB: 281530 ... c Min unsat cost LB: 281531 ... c Min unsat cost LB: 281593 ... c Min unsat cost LB: 281723 ... c Min unsat cost LB: 281728 ... c Min unsat cost LB: 281784 ... c Min unsat cost LB: 281790 ... c Min unsat cost LB: 282012 ... c Min unsat cost LB: 282027 ... c Min unsat cost LB: 282028 ... c Min unsat cost LB: 282030 ... c Min unsat cost LB: 282061 ... c Min unsat cost LB: 282113 ... c Min unsat cost LB: 282153 ... c Min unsat cost LB: 282158 ... c Min unsat cost LB: 282741 ... c Min unsat cost LB: 283065 ... c Min unsat cost LB: 283373 ... c Min unsat cost LB: 283374 ... c Min unsat cost LB: 283428 ... c Min unsat cost LB: 283450 ... c Min unsat cost LB: 283564 ... c Min unsat cost LB: 283830 ... c Min unsat cost LB: 283884 ... c Min unsat cost LB: 283885 ... c Min unsat cost LB: 283921 ... c Min unsat cost LB: 284048 ... c Min unsat cost LB: 284067 ... c Min unsat cost LB: 284079 ... c Min unsat cost LB: 284116 ... c Min unsat cost LB: 284117 ... c Min unsat cost LB: 284118 ... c Min unsat cost LB: 284119 ... c Min unsat cost LB: 284120 ... o 284120 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 554 -555 556 -557 558 -559 -560 561 -562 -563 -564 565 -566 -567 -568 -569 -570 571 -572 573 -574 -575 576 -577 -578 579 -580 -581 -582 583 -584 -585 586 -587 588 -589 590 -591 -592 -593 -594 595 -596 -597 598 -599 600 -601 -602 -603 604 -605 -606 607 608 -609 -610 611 -612 -613 614 -615 -616 -617 -618 619 -620 621 -622 623 -624 -625 -626 -627 628 629 -630 -631 632 -633 -634 -635 636 -637 -638 -639 640 -641 -642 -643 644 645 -646 -647 -648 -649 650 -651 -652 653 -654 -655 656 657 -658 -659 -660 661 -662 -663 -664 665 -666 -667 668 -669 -670 -671 -672 673 -674 675 -676 -677 -678 679 -680 -681 682 -683 684 -685 -686 -687 -688 689 -690 -691 -692 693 694 -695 696 -697 -698 699 -700 -701 -702 -703 704 -705 706 -707 -708 -709 710 -711 -712 -713 714 -715 716 717 -718 -719 -720 721 -722 -723 -724 -725 -726 727 728 -729 -730 -731 732 -733 734 -735 -736 -737 -738 739 -740 741 -742 -743 744 -745 -746 747 -748 -749 750 751 -752 -753 754 -755 -756 -757 c CPU Time: 92.5169 92.573u 0.799s 1:33.38 99.9% 0+0k 0+0io 0pf+0w