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-260-1_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-2.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-260-1_network-2.net.wcnf *** c c Min unsat cost LB: 102 ... c Min unsat cost LB: 1406 ... c Min unsat cost LB: 2786 ... c Min unsat cost LB: 4284 ... c Min unsat cost LB: 5024 ... c Min unsat cost LB: 5145 ... c Min unsat cost LB: 6134 ... c Min unsat cost LB: 7309 ... c Min unsat cost LB: 8574 ... c Min unsat cost LB: 10317 ... c Min unsat cost LB: 11462 ... c Min unsat cost LB: 11663 ... c Min unsat cost LB: 12096 ... c Min unsat cost LB: 13583 ... c Min unsat cost LB: 14088 ... c Min unsat cost LB: 14893 ... c Min unsat cost LB: 15202 ... c Min unsat cost LB: 15740 ... c Min unsat cost LB: 15961 ... c Min unsat cost LB: 16798 ... c Min unsat cost LB: 16903 ... c Min unsat cost LB: 16916 ... c Min unsat cost LB: 17189 ... c Min unsat cost LB: 17343 ... c Min unsat cost LB: 18312 ... c Min unsat cost LB: 18653 ... c Min unsat cost LB: 20350 ... c Min unsat cost LB: 20659 ... c Min unsat cost LB: 20976 ... c Min unsat cost LB: 20977 ... c Min unsat cost LB: 21514 ... c Min unsat cost LB: 22144 ... c Min unsat cost LB: 23657 ... c Min unsat cost LB: 25190 ... c Min unsat cost LB: 25918 ... c Min unsat cost LB: 27055 ... c Min unsat cost LB: 27882 ... c Min unsat cost LB: 27973 ... c Min unsat cost LB: 28525 ... c Min unsat cost LB: 29771 ... c Min unsat cost LB: 30901 ... c Min unsat cost LB: 33095 ... c Min unsat cost LB: 33164 ... c Min unsat cost LB: 34245 ... c Min unsat cost LB: 34282 ... c Min unsat cost LB: 34364 ... c Min unsat cost LB: 34443 ... c Min unsat cost LB: 36216 ... c Min unsat cost LB: 37150 ... c Min unsat cost LB: 37941 ... c Min unsat cost LB: 38687 ... c Min unsat cost LB: 38949 ... c Min unsat cost LB: 40026 ... c Min unsat cost LB: 41413 ... c Min unsat cost LB: 42087 ... c Min unsat cost LB: 42221 ... c Min unsat cost LB: 42580 ... c Min unsat cost LB: 43051 ... c Min unsat cost LB: 43660 ... c Min unsat cost LB: 43669 ... c Min unsat cost LB: 44112 ... c Min unsat cost LB: 44121 ... c Min unsat cost LB: 44132 ... c Min unsat cost LB: 44397 ... c Min unsat cost LB: 44403 ... c Min unsat cost LB: 44625 ... c Min unsat cost LB: 44848 ... c Min unsat cost LB: 45038 ... c Min unsat cost LB: 45350 ... c Min unsat cost LB: 45433 ... c Min unsat cost LB: 45663 ... c Min unsat cost LB: 46946 ... c Min unsat cost LB: 47850 ... c Min unsat cost LB: 47898 ... c Min unsat cost LB: 48115 ... c Min unsat cost LB: 48422 ... c Min unsat cost LB: 48712 ... c Min unsat cost LB: 49321 ... c Min unsat cost LB: 49328 ... c Min unsat cost LB: 49720 ... c Min unsat cost LB: 49865 ... c Min unsat cost LB: 49919 ... c Min unsat cost LB: 50062 ... c Min unsat cost LB: 50692 ... c Min unsat cost LB: 50694 ... c Min unsat cost LB: 51061 ... c Min unsat cost LB: 51224 ... c Min unsat cost LB: 51264 ... c Min unsat cost LB: 52636 ... c Min unsat cost LB: 52811 ... c Min unsat cost LB: 53274 ... c Min unsat cost LB: 53436 ... c Min unsat cost LB: 53618 ... c Min unsat cost LB: 53748 ... c Min unsat cost LB: 53832 ... c Min unsat cost LB: 53871 ... c Min unsat cost LB: 54505 ... c Min unsat cost LB: 54675 ... c Min unsat cost LB: 54895 ... c Min unsat cost LB: 54956 ... c Min unsat cost LB: 55331 ... c Min unsat cost LB: 56138 ... c Min unsat cost LB: 57326 ... c Min unsat cost LB: 57666 ... c Min unsat cost LB: 57821 ... c Min unsat cost LB: 58252 ... c Min unsat cost LB: 58616 ... c Min unsat cost LB: 58902 ... c Min unsat cost LB: 59034 ... c Min unsat cost LB: 59478 ... c Min unsat cost LB: 59586 ... c Min unsat cost LB: 60956 ... c Min unsat cost LB: 61071 ... c Min unsat cost LB: 61930 ... c Min unsat cost LB: 62350 ... c Min unsat cost LB: 62466 ... c Min unsat cost LB: 62712 ... c Min unsat cost LB: 62939 ... c Min unsat cost LB: 63195 ... c Min unsat cost LB: 63262 ... c Min unsat cost LB: 64042 ... c Min unsat cost LB: 64255 ... c Min unsat cost LB: 64406 ... c Min unsat cost LB: 64416 ... c Min unsat cost LB: 64697 ... c Min unsat cost LB: 64833 ... c Min unsat cost LB: 65629 ... c Min unsat cost LB: 65901 ... c Min unsat cost LB: 66219 ... c Min unsat cost LB: 66389 ... c Min unsat cost LB: 66647 ... c Min unsat cost LB: 67123 ... c Min unsat cost LB: 67146 ... c Min unsat cost LB: 68014 ... c Min unsat cost LB: 68182 ... c Min unsat cost LB: 68773 ... c Min unsat cost LB: 68829 ... c Min unsat cost LB: 69360 ... c Min unsat cost LB: 70364 ... c Min unsat cost LB: 70390 ... c Min unsat cost LB: 70724 ... c Min unsat cost LB: 71035 ... c Min unsat cost LB: 71293 ... c Min unsat cost LB: 71330 ... c Min unsat cost LB: 71800 ... c Min unsat cost LB: 72682 ... c Min unsat cost LB: 73082 ... c Min unsat cost LB: 73127 ... c Min unsat cost LB: 73130 ... c Min unsat cost LB: 73397 ... c Min unsat cost LB: 73446 ... c Min unsat cost LB: 73610 ... c Min unsat cost LB: 73774 ... c Min unsat cost LB: 74500 ... c Min unsat cost LB: 75130 ... c Min unsat cost LB: 75356 ... c Min unsat cost LB: 75406 ... c Min unsat cost LB: 76290 ... c Min unsat cost LB: 76349 ... c Min unsat cost LB: 76398 ... c Min unsat cost LB: 76635 ... c Min unsat cost LB: 76772 ... c Min unsat cost LB: 76915 ... c Min unsat cost LB: 77245 ... c Min unsat cost LB: 77757 ... c Min unsat cost LB: 78090 ... c Min unsat cost LB: 78605 ... c Min unsat cost LB: 78693 ... c Min unsat cost LB: 79216 ... c Min unsat cost LB: 79279 ... c Min unsat cost LB: 79557 ... c Min unsat cost LB: 79654 ... c Min unsat cost LB: 80436 ... c Min unsat cost LB: 80715 ... c Min unsat cost LB: 80769 ... c Min unsat cost LB: 80792 ... c Min unsat cost LB: 81244 ... c Min unsat cost LB: 81275 ... c Min unsat cost LB: 81371 ... c Min unsat cost LB: 81686 ... c Min unsat cost LB: 82126 ... c Min unsat cost LB: 82292 ... c Min unsat cost LB: 82390 ... c Min unsat cost LB: 82777 ... c Min unsat cost LB: 82856 ... c Min unsat cost LB: 83018 ... c Min unsat cost LB: 84264 ... c Min unsat cost LB: 84676 ... c Min unsat cost LB: 84762 ... c Min unsat cost LB: 85394 ... c Min unsat cost LB: 86055 ... c Min unsat cost LB: 86485 ... c Min unsat cost LB: 86925 ... c Min unsat cost LB: 86974 ... c Min unsat cost LB: 87286 ... c Min unsat cost LB: 87538 ... c Min unsat cost LB: 87548 ... c Min unsat cost LB: 87726 ... c Min unsat cost LB: 87767 ... c Min unsat cost LB: 87888 ... c Min unsat cost LB: 87892 ... c Min unsat cost LB: 88370 ... c Min unsat cost LB: 88409 ... c Min unsat cost LB: 88422 ... c Min unsat cost LB: 88588 ... c Min unsat cost LB: 88632 ... c Min unsat cost LB: 88913 ... c Min unsat cost LB: 89060 ... c Min unsat cost LB: 89068 ... c Min unsat cost LB: 89098 ... c Min unsat cost LB: 89188 ... c Min unsat cost LB: 89824 ... c Min unsat cost LB: 90232 ... c Min unsat cost LB: 90291 ... c Min unsat cost LB: 90561 ... c Min unsat cost LB: 90684 ... c Min unsat cost LB: 90730 ... c Min unsat cost LB: 91091 ... c Min unsat cost LB: 91451 ... c Min unsat cost LB: 91452 ... c Min unsat cost LB: 91583 ... c Min unsat cost LB: 92010 ... c Min unsat cost LB: 92085 ... c Min unsat cost LB: 92286 ... c Min unsat cost LB: 92295 ... c Min unsat cost LB: 92826 ... c Min unsat cost LB: 93720 ... c Min unsat cost LB: 94107 ... c Min unsat cost LB: 94193 ... c Min unsat cost LB: 94228 ... c Min unsat cost LB: 94512 ... c Min unsat cost LB: 94683 ... c Min unsat cost LB: 94881 ... c Min unsat cost LB: 95836 ... c Min unsat cost LB: 95841 ... c Min unsat cost LB: 96433 ... c Min unsat cost LB: 96623 ... c Min unsat cost LB: 97647 ... c Min unsat cost LB: 97782 ... c Min unsat cost LB: 97923 ... c Min unsat cost LB: 98054 ... c Min unsat cost LB: 98086 ... c Min unsat cost LB: 98208 ... c Min unsat cost LB: 98693 ... c Min unsat cost LB: 98774 ... c Min unsat cost LB: 99330 ... c Min unsat cost LB: 99549 ... c Min unsat cost LB: 99850 ... c Min unsat cost LB: 100470 ... c Min unsat cost LB: 100543 ... c Min unsat cost LB: 101381 ... c Min unsat cost LB: 102094 ... c Min unsat cost LB: 102104 ... c Min unsat cost LB: 102279 ... c Min unsat cost LB: 102309 ... c Min unsat cost LB: 102366 ... c Min unsat cost LB: 102610 ... c Min unsat cost LB: 102897 ... c Min unsat cost LB: 102972 ... c Min unsat cost LB: 102982 ... c Min unsat cost LB: 103203 ... c Min unsat cost LB: 103269 ... c Min unsat cost LB: 103654 ... c Min unsat cost LB: 104153 ... c Min unsat cost LB: 105142 ... c Min unsat cost LB: 105273 ... c Min unsat cost LB: 105587 ... c Min unsat cost LB: 105622 ... c Min unsat cost LB: 105660 ... c Min unsat cost LB: 105742 ... c Min unsat cost LB: 105907 ... c Min unsat cost LB: 106347 ... c Min unsat cost LB: 107173 ... c Min unsat cost LB: 107273 ... c Min unsat cost LB: 107701 ... c Min unsat cost LB: 108295 ... c Min unsat cost LB: 108480 ... c Min unsat cost LB: 109129 ... c Min unsat cost LB: 109387 ... c Min unsat cost LB: 109469 ... c Min unsat cost LB: 110267 ... c Min unsat cost LB: 110346 ... c Min unsat cost LB: 110419 ... c Min unsat cost LB: 111231 ... c Min unsat cost LB: 111668 ... c Min unsat cost LB: 112121 ... c Min unsat cost LB: 112144 ... c Min unsat cost LB: 113443 ... c Min unsat cost LB: 113681 ... c Min unsat cost LB: 114097 ... c Min unsat cost LB: 114217 ... c Min unsat cost LB: 114402 ... c Min unsat cost LB: 114870 ... c Min unsat cost LB: 115306 ... c Min unsat cost LB: 115387 ... c Min unsat cost LB: 115900 ... c Min unsat cost LB: 116066 ... c Min unsat cost LB: 116333 ... c Min unsat cost LB: 116356 ... c Min unsat cost LB: 116604 ... c Min unsat cost LB: 116790 ... c Min unsat cost LB: 116889 ... c Min unsat cost LB: 116913 ... c Min unsat cost LB: 117103 ... c Min unsat cost LB: 117140 ... c Min unsat cost LB: 117150 ... c Min unsat cost LB: 117616 ... c Min unsat cost LB: 117902 ... c Min unsat cost LB: 117952 ... c Min unsat cost LB: 118107 ... c Min unsat cost LB: 118363 ... c Min unsat cost LB: 118511 ... c Min unsat cost LB: 119041 ... c Min unsat cost LB: 119297 ... c Min unsat cost LB: 119682 ... c Min unsat cost LB: 120333 ... c Min unsat cost LB: 120457 ... c Min unsat cost LB: 121894 ... c Min unsat cost LB: 122083 ... c Min unsat cost LB: 122164 ... c Min unsat cost LB: 122219 ... c Min unsat cost LB: 122301 ... c Min unsat cost LB: 122352 ... c Min unsat cost LB: 122353 ... c Min unsat cost LB: 122369 ... c Min unsat cost LB: 122511 ... c Min unsat cost LB: 122529 ... c Min unsat cost LB: 122589 ... c Min unsat cost LB: 122643 ... c Min unsat cost LB: 122659 ... c Min unsat cost LB: 122689 ... c Min unsat cost LB: 122692 ... c Min unsat cost LB: 122741 ... c Min unsat cost LB: 122807 ... c Min unsat cost LB: 122937 ... c Min unsat cost LB: 123009 ... c Min unsat cost LB: 123770 ... c Min unsat cost LB: 123861 ... c Min unsat cost LB: 124009 ... c Min unsat cost LB: 124373 ... c Min unsat cost LB: 124919 ... c Min unsat cost LB: 124942 ... c Min unsat cost LB: 125132 ... c Min unsat cost LB: 125853 ... c Min unsat cost LB: 126113 ... c Min unsat cost LB: 127193 ... c Min unsat cost LB: 127207 ... c Min unsat cost LB: 127259 ... c Min unsat cost LB: 127281 ... c Min unsat cost LB: 127414 ... c Min unsat cost LB: 127697 ... c Min unsat cost LB: 127997 ... c Min unsat cost LB: 128298 ... c Min unsat cost LB: 128474 ... c Min unsat cost LB: 128994 ... c Min unsat cost LB: 129408 ... c Min unsat cost LB: 130101 ... c Min unsat cost LB: 130147 ... c Min unsat cost LB: 130216 ... c Min unsat cost LB: 130598 ... c Min unsat cost LB: 131098 ... c Min unsat cost LB: 131416 ... c Min unsat cost LB: 131440 ... c Min unsat cost LB: 132378 ... c Min unsat cost LB: 132409 ... c Min unsat cost LB: 132547 ... c Min unsat cost LB: 132846 ... c Min unsat cost LB: 133329 ... c Min unsat cost LB: 133349 ... c Min unsat cost LB: 133367 ... c Min unsat cost LB: 133372 ... c Min unsat cost LB: 134595 ... c Min unsat cost LB: 134612 ... c Min unsat cost LB: 134744 ... c Min unsat cost LB: 134957 ... c Min unsat cost LB: 135014 ... c Min unsat cost LB: 135238 ... c Min unsat cost LB: 136321 ... c Min unsat cost LB: 136428 ... c Min unsat cost LB: 136784 ... c Min unsat cost LB: 137001 ... c Min unsat cost LB: 138051 ... c Min unsat cost LB: 138103 ... c Min unsat cost LB: 138552 ... c Min unsat cost LB: 138794 ... c Min unsat cost LB: 139087 ... c Min unsat cost LB: 139242 ... c Min unsat cost LB: 139665 ... c Min unsat cost LB: 139670 ... c Min unsat cost LB: 139720 ... c Min unsat cost LB: 139792 ... c Min unsat cost LB: 141323 ... c Min unsat cost LB: 141446 ... c Min unsat cost LB: 141522 ... c Min unsat cost LB: 141703 ... c Min unsat cost LB: 141712 ... c Min unsat cost LB: 142138 ... c Min unsat cost LB: 143120 ... c Min unsat cost LB: 143793 ... c Min unsat cost LB: 143933 ... c Min unsat cost LB: 144040 ... c Min unsat cost LB: 144617 ... c Min unsat cost LB: 144717 ... c Min unsat cost LB: 144731 ... c Min unsat cost LB: 144758 ... c Min unsat cost LB: 144760 ... c Min unsat cost LB: 145019 ... c Min unsat cost LB: 145978 ... c Min unsat cost LB: 146232 ... c Min unsat cost LB: 146265 ... c Min unsat cost LB: 146332 ... c Min unsat cost LB: 146386 ... c Min unsat cost LB: 146396 ... c Min unsat cost LB: 146455 ... c Min unsat cost LB: 146562 ... c Min unsat cost LB: 146586 ... c Min unsat cost LB: 146849 ... c Min unsat cost LB: 147435 ... c Min unsat cost LB: 147509 ... c Min unsat cost LB: 148074 ... c Min unsat cost LB: 148355 ... c Min unsat cost LB: 148388 ... c Min unsat cost LB: 148565 ... c Min unsat cost LB: 148588 ... c Min unsat cost LB: 148685 ... c Min unsat cost LB: 148724 ... c Min unsat cost LB: 148728 ... c Min unsat cost LB: 148783 ... c Min unsat cost LB: 149815 ... c Min unsat cost LB: 150008 ... c Min unsat cost LB: 150172 ... c Min unsat cost LB: 150516 ... c Min unsat cost LB: 150543 ... c Min unsat cost LB: 150868 ... c Min unsat cost LB: 151121 ... c Min unsat cost LB: 151559 ... c Min unsat cost LB: 151783 ... c Min unsat cost LB: 151899 ... c Min unsat cost LB: 152776 ... c Min unsat cost LB: 152822 ... c Min unsat cost LB: 152999 ... c Min unsat cost LB: 153146 ... c Min unsat cost LB: 153164 ... c Min unsat cost LB: 153473 ... c Min unsat cost LB: 153925 ... c Min unsat cost LB: 154306 ... c Min unsat cost LB: 154421 ... c Min unsat cost LB: 154691 ... c Min unsat cost LB: 154721 ... c Min unsat cost LB: 154900 ... c Min unsat cost LB: 155570 ... c Min unsat cost LB: 155602 ... c Min unsat cost LB: 155678 ... c Min unsat cost LB: 155788 ... c Min unsat cost LB: 156064 ... c Min unsat cost LB: 156098 ... c Min unsat cost LB: 156184 ... c Min unsat cost LB: 156852 ... c Min unsat cost LB: 156935 ... c Min unsat cost LB: 157035 ... c Min unsat cost LB: 157325 ... c Min unsat cost LB: 157498 ... c Min unsat cost LB: 157565 ... c Min unsat cost LB: 157692 ... c Min unsat cost LB: 157936 ... c Min unsat cost LB: 158316 ... c Min unsat cost LB: 158319 ... c Min unsat cost LB: 158324 ... c Min unsat cost LB: 158361 ... c Min unsat cost LB: 158393 ... c Min unsat cost LB: 158401 ... c Min unsat cost LB: 158420 ... c Min unsat cost LB: 158948 ... c Min unsat cost LB: 158991 ... c Min unsat cost LB: 159164 ... c Min unsat cost LB: 159328 ... c Min unsat cost LB: 159575 ... c Min unsat cost LB: 159792 ... c Min unsat cost LB: 159831 ... c Min unsat cost LB: 160472 ... c Min unsat cost LB: 160677 ... c Min unsat cost LB: 160723 ... c Min unsat cost LB: 160857 ... c Min unsat cost LB: 160938 ... c Min unsat cost LB: 160951 ... c Min unsat cost LB: 162164 ... c Min unsat cost LB: 162296 ... c Min unsat cost LB: 162407 ... c Min unsat cost LB: 162448 ... c Min unsat cost LB: 162699 ... c Min unsat cost LB: 162700 ... c Min unsat cost LB: 162811 ... c Min unsat cost LB: 162943 ... c Min unsat cost LB: 163465 ... c Min unsat cost LB: 163518 ... c Min unsat cost LB: 163734 ... c Min unsat cost LB: 163997 ... c Min unsat cost LB: 164119 ... c Min unsat cost LB: 164446 ... c Min unsat cost LB: 165316 ... c Min unsat cost LB: 165553 ... c Min unsat cost LB: 166400 ... c Min unsat cost LB: 166853 ... c Min unsat cost LB: 166978 ... c Min unsat cost LB: 167127 ... c Min unsat cost LB: 167222 ... c Min unsat cost LB: 167327 ... c Min unsat cost LB: 167917 ... c Min unsat cost LB: 167942 ... c Min unsat cost LB: 168435 ... c Min unsat cost LB: 168613 ... c Min unsat cost LB: 168872 ... c Min unsat cost LB: 168988 ... c Min unsat cost LB: 169953 ... c Min unsat cost LB: 169984 ... c Min unsat cost LB: 170317 ... c Min unsat cost LB: 170749 ... c Min unsat cost LB: 171241 ... c Min unsat cost LB: 171275 ... c Min unsat cost LB: 171287 ... c Min unsat cost LB: 171312 ... c Min unsat cost LB: 171411 ... c Min unsat cost LB: 171450 ... c Min unsat cost LB: 171504 ... c Min unsat cost LB: 171547 ... c Min unsat cost LB: 171586 ... c Min unsat cost LB: 171624 ... c Min unsat cost LB: 171748 ... c Min unsat cost LB: 171788 ... c Min unsat cost LB: 171795 ... c Min unsat cost LB: 172220 ... c Min unsat cost LB: 172430 ... c Min unsat cost LB: 172541 ... c Min unsat cost LB: 172564 ... c Min unsat cost LB: 172977 ... c Min unsat cost LB: 173308 ... c Min unsat cost LB: 173465 ... c Min unsat cost LB: 173517 ... c Min unsat cost LB: 173670 ... c Min unsat cost LB: 173671 ... c Min unsat cost LB: 173915 ... c Min unsat cost LB: 173982 ... c Min unsat cost LB: 174068 ... c Min unsat cost LB: 174120 ... c Min unsat cost LB: 174205 ... c Min unsat cost LB: 174211 ... c Min unsat cost LB: 174437 ... c Min unsat cost LB: 174537 ... c Min unsat cost LB: 174538 ... c Min unsat cost LB: 174547 ... c Min unsat cost LB: 174551 ... c Min unsat cost LB: 175333 ... c Min unsat cost LB: 175337 ... c Min unsat cost LB: 175588 ... c Min unsat cost LB: 176522 ... c Min unsat cost LB: 177245 ... c Min unsat cost LB: 177657 ... c Min unsat cost LB: 178041 ... c Min unsat cost LB: 178154 ... c Min unsat cost LB: 178213 ... c Min unsat cost LB: 178706 ... c Min unsat cost LB: 178835 ... c Min unsat cost LB: 179111 ... c Min unsat cost LB: 179273 ... c Min unsat cost LB: 179607 ... c Min unsat cost LB: 180434 ... c Min unsat cost LB: 180467 ... c Min unsat cost LB: 180583 ... c Min unsat cost LB: 180743 ... c Min unsat cost LB: 180905 ... c Min unsat cost LB: 180964 ... c Min unsat cost LB: 181499 ... c Min unsat cost LB: 181639 ... c Min unsat cost LB: 181820 ... c Min unsat cost LB: 182027 ... c Min unsat cost LB: 182989 ... c Min unsat cost LB: 183015 ... c Min unsat cost LB: 183381 ... c Min unsat cost LB: 184147 ... c Min unsat cost LB: 184214 ... c Min unsat cost LB: 184423 ... c Min unsat cost LB: 184820 ... c Min unsat cost LB: 185739 ... c Min unsat cost LB: 186082 ... c Min unsat cost LB: 186196 ... c Min unsat cost LB: 186373 ... c Min unsat cost LB: 186386 ... c Min unsat cost LB: 186547 ... c Min unsat cost LB: 187903 ... c Min unsat cost LB: 187974 ... c Min unsat cost LB: 188614 ... c Min unsat cost LB: 188678 ... c Min unsat cost LB: 188729 ... c Min unsat cost LB: 188759 ... c Min unsat cost LB: 188959 ... c Min unsat cost LB: 189144 ... c Min unsat cost LB: 189224 ... c Min unsat cost LB: 189354 ... c Min unsat cost LB: 190051 ... c Min unsat cost LB: 191066 ... c Min unsat cost LB: 191134 ... c Min unsat cost LB: 191237 ... c Min unsat cost LB: 191326 ... c Min unsat cost LB: 191515 ... c Min unsat cost LB: 192563 ... c Min unsat cost LB: 192812 ... c Min unsat cost LB: 192913 ... c Min unsat cost LB: 193251 ... c Min unsat cost LB: 193283 ... c Min unsat cost LB: 193443 ... c Min unsat cost LB: 193451 ... c Min unsat cost LB: 193470 ... c Min unsat cost LB: 193473 ... c Min unsat cost LB: 193646 ... c Min unsat cost LB: 194024 ... c Min unsat cost LB: 194196 ... c Min unsat cost LB: 194279 ... c Min unsat cost LB: 194287 ... c Min unsat cost LB: 194290 ... c Min unsat cost LB: 194309 ... c Min unsat cost LB: 194313 ... c Min unsat cost LB: 194316 ... c Min unsat cost LB: 194321 ... c Min unsat cost LB: 194360 ... c Min unsat cost LB: 194364 ... c Min unsat cost LB: 195076 ... c Min unsat cost LB: 195085 ... c Min unsat cost LB: 195090 ... c Min unsat cost LB: 195460 ... c Min unsat cost LB: 195548 ... c Min unsat cost LB: 195930 ... c Min unsat cost LB: 196421 ... c Min unsat cost LB: 196611 ... c Min unsat cost LB: 196628 ... c Min unsat cost LB: 196750 ... c Min unsat cost LB: 196845 ... c Min unsat cost LB: 197158 ... c Min unsat cost LB: 197819 ... c Min unsat cost LB: 198012 ... c Min unsat cost LB: 198095 ... c Min unsat cost LB: 198392 ... c Min unsat cost LB: 198567 ... c Min unsat cost LB: 199430 ... c Min unsat cost LB: 199478 ... c Min unsat cost LB: 200282 ... c Min unsat cost LB: 200449 ... c Min unsat cost LB: 200508 ... c Min unsat cost LB: 200595 ... c Min unsat cost LB: 200687 ... c Min unsat cost LB: 200730 ... c Min unsat cost LB: 200831 ... c Min unsat cost LB: 202192 ... c Min unsat cost LB: 202377 ... c Min unsat cost LB: 202741 ... c Min unsat cost LB: 203077 ... c Min unsat cost LB: 203401 ... c Min unsat cost LB: 203490 ... c Min unsat cost LB: 203501 ... c Min unsat cost LB: 203559 ... c Min unsat cost LB: 203574 ... c Min unsat cost LB: 204608 ... c Min unsat cost LB: 204682 ... c Min unsat cost LB: 205186 ... c Min unsat cost LB: 205440 ... c Min unsat cost LB: 205706 ... c Min unsat cost LB: 205729 ... c Min unsat cost LB: 205875 ... c Min unsat cost LB: 207031 ... c Min unsat cost LB: 207075 ... c Min unsat cost LB: 207285 ... c Min unsat cost LB: 207303 ... c Min unsat cost LB: 207366 ... c Min unsat cost LB: 207379 ... c Min unsat cost LB: 207442 ... c Min unsat cost LB: 207589 ... c Min unsat cost LB: 207936 ... c Min unsat cost LB: 208382 ... c Min unsat cost LB: 208515 ... c Min unsat cost LB: 208645 ... c Min unsat cost LB: 209581 ... c Min unsat cost LB: 209876 ... c Min unsat cost LB: 209928 ... c Min unsat cost LB: 209939 ... c Min unsat cost LB: 209945 ... c Min unsat cost LB: 209981 ... c Min unsat cost LB: 210023 ... c Min unsat cost LB: 210598 ... c Min unsat cost LB: 211812 ... c Min unsat cost LB: 211865 ... c Min unsat cost LB: 212133 ... c Min unsat cost LB: 212379 ... c Min unsat cost LB: 213001 ... c Min unsat cost LB: 214191 ... c Min unsat cost LB: 214239 ... c Min unsat cost LB: 214391 ... c Min unsat cost LB: 214435 ... c Min unsat cost LB: 214436 ... c Min unsat cost LB: 214470 ... c Min unsat cost LB: 214489 ... c Min unsat cost LB: 214490 ... c Min unsat cost LB: 214492 ... c Min unsat cost LB: 214545 ... c Min unsat cost LB: 214568 ... c Min unsat cost LB: 214692 ... c Min unsat cost LB: 214707 ... c Min unsat cost LB: 214803 ... c Min unsat cost LB: 214813 ... c Min unsat cost LB: 215119 ... c Min unsat cost LB: 215223 ... c Min unsat cost LB: 215232 ... c Min unsat cost LB: 215233 ... c Min unsat cost LB: 215247 ... c Min unsat cost LB: 215264 ... c Min unsat cost LB: 215316 ... c Min unsat cost LB: 215803 ... c Min unsat cost LB: 215918 ... c Min unsat cost LB: 216521 ... c Min unsat cost LB: 216971 ... c Min unsat cost LB: 216988 ... c Min unsat cost LB: 217034 ... c Min unsat cost LB: 218102 ... c Min unsat cost LB: 218354 ... c Min unsat cost LB: 218461 ... c Min unsat cost LB: 218512 ... c Min unsat cost LB: 218532 ... c Min unsat cost LB: 218599 ... c Min unsat cost LB: 218612 ... c Min unsat cost LB: 218615 ... c Min unsat cost LB: 218648 ... c Min unsat cost LB: 218651 ... c Min unsat cost LB: 218655 ... c Min unsat cost LB: 218656 ... c Min unsat cost LB: 218661 ... c Min unsat cost LB: 218689 ... c Min unsat cost LB: 218719 ... c Min unsat cost LB: 218722 ... c Min unsat cost LB: 218812 ... c Min unsat cost LB: 218827 ... c Min unsat cost LB: 218838 ... c Min unsat cost LB: 218889 ... c Min unsat cost LB: 219405 ... c Min unsat cost LB: 219457 ... c Min unsat cost LB: 219574 ... c Min unsat cost LB: 219648 ... c Min unsat cost LB: 219654 ... c Min unsat cost LB: 219656 ... c Min unsat cost LB: 219658 ... c Min unsat cost LB: 219663 ... c Min unsat cost LB: 219664 ... c Min unsat cost LB: 219666 ... c Min unsat cost LB: 219680 ... c Min unsat cost LB: 219681 ... c Min unsat cost LB: 219682 ... c Min unsat cost LB: 219685 ... c Min unsat cost LB: 219687 ... c Min unsat cost LB: 219688 ... c Min unsat cost LB: 219689 ... c Min unsat cost LB: 219690 ... c Min unsat cost LB: 219717 ... c Min unsat cost LB: 219718 ... c Min unsat cost LB: 219725 ... c Min unsat cost LB: 219726 ... c Min unsat cost LB: 219763 ... c Min unsat cost LB: 219796 ... c Min unsat cost LB: 219812 ... c Min unsat cost LB: 219813 ... c Min unsat cost LB: 219816 ... c Min unsat cost LB: 219817 ... c Min unsat cost LB: 219818 ... c Min unsat cost LB: 219821 ... c Min unsat cost LB: 219824 ... c Min unsat cost LB: 219832 ... c Min unsat cost LB: 219835 ... c Min unsat cost LB: 219837 ... c Min unsat cost LB: 219838 ... c Min unsat cost LB: 219841 ... c Min unsat cost LB: 219842 ... c Min unsat cost LB: 219851 ... c Min unsat cost LB: 219865 ... c Min unsat cost LB: 219868 ... c Min unsat cost LB: 219869 ... c Min unsat cost LB: 219872 ... c Min unsat cost LB: 219927 ... c Min unsat cost LB: 219972 ... c Min unsat cost LB: 219977 ... c Min unsat cost LB: 219978 ... c Min unsat cost LB: 219979 ... c Min unsat cost LB: 219981 ... c Min unsat cost LB: 219982 ... c Min unsat cost LB: 219983 ... c Min unsat cost LB: 219984 ... c Min unsat cost LB: 219990 ... c Min unsat cost LB: 220002 ... c Min unsat cost LB: 220004 ... c Min unsat cost LB: 220007 ... c Min unsat cost LB: 220008 ... c Min unsat cost LB: 220010 ... c Min unsat cost LB: 220011 ... c Min unsat cost LB: 220012 ... c Min unsat cost LB: 220013 ... c Min unsat cost LB: 220014 ... c Min unsat cost LB: 220015 ... c Min unsat cost LB: 220016 ... c Min unsat cost LB: 220017 ... c Min unsat cost LB: 220018 ... c Min unsat cost LB: 220035 ... c Min unsat cost LB: 220036 ... c Min unsat cost LB: 220037 ... c Min unsat cost LB: 220038 ... c Min unsat cost LB: 220039 ... c Min unsat cost LB: 220148 ... c Min unsat cost LB: 220153 ... c Min unsat cost LB: 220178 ... c Min unsat cost LB: 220207 ... c Min unsat cost LB: 220211 ... c Min unsat cost LB: 220213 ... c Min unsat cost LB: 220220 ... c Min unsat cost LB: 220242 ... c Min unsat cost LB: 220269 ... c Min unsat cost LB: 220300 ... c Min unsat cost LB: 220308 ... c Min unsat cost LB: 220313 ... c Min unsat cost LB: 220315 ... c Min unsat cost LB: 220317 ... c Min unsat cost LB: 220318 ... c Min unsat cost LB: 220321 ... c Min unsat cost LB: 220325 ... c Min unsat cost LB: 220340 ... c Min unsat cost LB: 220345 ... c Min unsat cost LB: 220370 ... c Min unsat cost LB: 220378 ... c Min unsat cost LB: 220390 ... c Min unsat cost LB: 220392 ... c Min unsat cost LB: 220396 ... c Min unsat cost LB: 220398 ... c Min unsat cost LB: 220399 ... c Min unsat cost LB: 220401 ... c Min unsat cost LB: 220842 ... c Min unsat cost LB: 221275 ... c Min unsat cost LB: 221277 ... c Min unsat cost LB: 221279 ... c Min unsat cost LB: 221280 ... c Min unsat cost LB: 221286 ... c Min unsat cost LB: 221361 ... c Min unsat cost LB: 221379 ... c Min unsat cost LB: 221411 ... c Min unsat cost LB: 221412 ... c Min unsat cost LB: 221452 ... c Min unsat cost LB: 221453 ... c Min unsat cost LB: 221455 ... c Min unsat cost LB: 221473 ... c Min unsat cost LB: 221491 ... c Min unsat cost LB: 221517 ... c Min unsat cost LB: 221521 ... c Min unsat cost LB: 221526 ... c Min unsat cost LB: 221531 ... c Min unsat cost LB: 221536 ... c Min unsat cost LB: 221539 ... c Min unsat cost LB: 221554 ... c Min unsat cost LB: 221559 ... c Min unsat cost LB: 221563 ... c Min unsat cost LB: 221577 ... c Min unsat cost LB: 221581 ... c Min unsat cost LB: 221625 ... c Min unsat cost LB: 221630 ... c Min unsat cost LB: 221634 ... c Min unsat cost LB: 221640 ... c Min unsat cost LB: 221643 ... c Min unsat cost LB: 221644 ... c Min unsat cost LB: 221645 ... c Min unsat cost LB: 221647 ... c Min unsat cost LB: 221649 ... c Min unsat cost LB: 221652 ... c Min unsat cost LB: 221653 ... c Min unsat cost LB: 221657 ... c Min unsat cost LB: 221660 ... c Min unsat cost LB: 221662 ... c Min unsat cost LB: 221670 ... c Min unsat cost LB: 221672 ... c Min unsat cost LB: 221675 ... c Min unsat cost LB: 221676 ... c Min unsat cost LB: 221677 ... c Min unsat cost LB: 221678 ... c Min unsat cost LB: 221679 ... c Min unsat cost LB: 221680 ... c Min unsat cost LB: 221681 ... c Min unsat cost LB: 221683 ... c Min unsat cost LB: 221684 ... c Min unsat cost LB: 221686 ... c Min unsat cost LB: 221687 ... c Min unsat cost LB: 221690 ... c Min unsat cost LB: 221691 ... c Min unsat cost LB: 221693 ... c Min unsat cost LB: 221694 ... c Min unsat cost LB: 221695 ... c Min unsat cost LB: 221696 ... c Min unsat cost LB: 221697 ... c Min unsat cost LB: 221698 ... c Min unsat cost LB: 221699 ... c Min unsat cost LB: 221700 ... c Min unsat cost LB: 221701 ... c Min unsat cost LB: 221702 ... c Min unsat cost LB: 221703 ... c Min unsat cost LB: 221705 ... c Min unsat cost LB: 221706 ... c Min unsat cost LB: 221708 ... c Min unsat cost LB: 221709 ... c Min unsat cost LB: 221710 ... c Min unsat cost LB: 221711 ... c Min unsat cost LB: 222269 ... c Min unsat cost LB: 222348 ... c Min unsat cost LB: 223076 ... c Min unsat cost LB: 223837 ... c Min unsat cost LB: 223920 ... c Min unsat cost LB: 223921 ... c Min unsat cost LB: 223945 ... c Min unsat cost LB: 223973 ... c Min unsat cost LB: 223977 ... c Min unsat cost LB: 223983 ... c Min unsat cost LB: 223985 ... c Min unsat cost LB: 223988 ... c Min unsat cost LB: 224000 ... c Min unsat cost LB: 224004 ... c Min unsat cost LB: 224009 ... c Min unsat cost LB: 224014 ... c Min unsat cost LB: 224018 ... c Min unsat cost LB: 224020 ... c Min unsat cost LB: 224022 ... c Min unsat cost LB: 224024 ... c Min unsat cost LB: 225123 ... c Min unsat cost LB: 225192 ... c Min unsat cost LB: 225253 ... c Min unsat cost LB: 226107 ... c Min unsat cost LB: 226276 ... c Min unsat cost LB: 226370 ... c Min unsat cost LB: 226373 ... c Min unsat cost LB: 226374 ... c Min unsat cost LB: 226375 ... c Min unsat cost LB: 226383 ... c Min unsat cost LB: 226384 ... c Min unsat cost LB: 226385 ... c Min unsat cost LB: 226386 ... c Min unsat cost LB: 226387 ... c Min unsat cost LB: 226388 ... c Min unsat cost LB: 226389 ... c Min unsat cost LB: 226390 ... c Min unsat cost LB: 226391 ... c Min unsat cost LB: 226392 ... c Min unsat cost LB: 226393 ... c Min unsat cost LB: 226394 ... c Min unsat cost LB: 226395 ... c Min unsat cost LB: 226396 ... c Min unsat cost LB: 226397 ... c Min unsat cost LB: 226398 ... c Min unsat cost LB: 226399 ... c Min unsat cost LB: 226400 ... c Min unsat cost LB: 226401 ... c Min unsat cost LB: 226402 ... c Min unsat cost LB: 226404 ... c Min unsat cost LB: 226405 ... c Min unsat cost LB: 226410 ... c Min unsat cost LB: 226626 ... c Min unsat cost LB: 226627 ... c Min unsat cost LB: 226628 ... c Min unsat cost LB: 226653 ... c Min unsat cost LB: 226654 ... c Min unsat cost LB: 226655 ... c Min unsat cost LB: 226656 ... c Min unsat cost LB: 226657 ... c Min unsat cost LB: 226658 ... c Min unsat cost LB: 226659 ... c Min unsat cost LB: 226660 ... c Min unsat cost LB: 226661 ... c Min unsat cost LB: 226948 ... c Min unsat cost LB: 226970 ... c Min unsat cost LB: 226971 ... c Min unsat cost LB: 226972 ... c Min unsat cost LB: 227066 ... c Min unsat cost LB: 227067 ... c Min unsat cost LB: 227068 ... c Min unsat cost LB: 227069 ... c Min unsat cost LB: 227070 ... c Min unsat cost LB: 227071 ... c Min unsat cost LB: 227415 ... c Min unsat cost LB: 227457 ... c Min unsat cost LB: 227926 ... c Min unsat cost LB: 227956 ... c Min unsat cost LB: 228098 ... c Min unsat cost LB: 228459 ... c Min unsat cost LB: 228993 ... c Min unsat cost LB: 229078 ... c Min unsat cost LB: 229151 ... c Min unsat cost LB: 229165 ... c Min unsat cost LB: 229210 ... c Min unsat cost LB: 229376 ... c Min unsat cost LB: 229667 ... c Min unsat cost LB: 230184 ... c Min unsat cost LB: 230473 ... c Min unsat cost LB: 230775 ... c Min unsat cost LB: 231068 ... c Min unsat cost LB: 23126Killed 1817.807u 1.943s 30:21.92 99.8% 0+0k 0+0io 0pf+0w