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-140-1_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-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-140-1_network-2.net.wcnf *** c c Min unsat cost LB: 2408 ... c Min unsat cost LB: 4002 ... c Min unsat cost LB: 4618 ... c Min unsat cost LB: 6039 ... c Min unsat cost LB: 6193 ... c Min unsat cost LB: 6799 ... c Min unsat cost LB: 7841 ... c Min unsat cost LB: 8964 ... c Min unsat cost LB: 10469 ... c Min unsat cost LB: 10494 ... c Min unsat cost LB: 11190 ... c Min unsat cost LB: 12684 ... c Min unsat cost LB: 13636 ... c Min unsat cost LB: 13846 ... c Min unsat cost LB: 14044 ... c Min unsat cost LB: 14816 ... c Min unsat cost LB: 15263 ... c Min unsat cost LB: 15329 ... c Min unsat cost LB: 16547 ... c Min unsat cost LB: 16681 ... c Min unsat cost LB: 16775 ... c Min unsat cost LB: 16796 ... c Min unsat cost LB: 17223 ... c Min unsat cost LB: 17930 ... c Min unsat cost LB: 19128 ... c Min unsat cost LB: 20155 ... c Min unsat cost LB: 21365 ... c Min unsat cost LB: 22253 ... c Min unsat cost LB: 22819 ... c Min unsat cost LB: 22849 ... c Min unsat cost LB: 23703 ... c Min unsat cost LB: 24815 ... c Min unsat cost LB: 25511 ... c Min unsat cost LB: 26372 ... c Min unsat cost LB: 27812 ... c Min unsat cost LB: 28007 ... c Min unsat cost LB: 28264 ... c Min unsat cost LB: 28541 ... c Min unsat cost LB: 28835 ... c Min unsat cost LB: 29034 ... c Min unsat cost LB: 29215 ... c Min unsat cost LB: 29308 ... c Min unsat cost LB: 29355 ... c Min unsat cost LB: 29366 ... c Min unsat cost LB: 30448 ... c Min unsat cost LB: 30470 ... c Min unsat cost LB: 31194 ... c Min unsat cost LB: 31490 ... c Min unsat cost LB: 31531 ... c Min unsat cost LB: 31728 ... c Min unsat cost LB: 31793 ... c Min unsat cost LB: 32088 ... c Min unsat cost LB: 32271 ... c Min unsat cost LB: 32742 ... c Min unsat cost LB: 33200 ... c Min unsat cost LB: 34089 ... c Min unsat cost LB: 34289 ... c Min unsat cost LB: 35291 ... c Min unsat cost LB: 35551 ... c Min unsat cost LB: 35639 ... c Min unsat cost LB: 36314 ... c Min unsat cost LB: 37747 ... c Min unsat cost LB: 38120 ... c Min unsat cost LB: 38574 ... c Min unsat cost LB: 38723 ... c Min unsat cost LB: 38748 ... c Min unsat cost LB: 39350 ... c Min unsat cost LB: 40369 ... c Min unsat cost LB: 40466 ... c Min unsat cost LB: 40483 ... c Min unsat cost LB: 41036 ... c Min unsat cost LB: 41148 ... c Min unsat cost LB: 42042 ... c Min unsat cost LB: 42091 ... c Min unsat cost LB: 43077 ... c Min unsat cost LB: 43083 ... c Min unsat cost LB: 43341 ... c Min unsat cost LB: 43900 ... c Min unsat cost LB: 44348 ... c Min unsat cost LB: 45054 ... c Min unsat cost LB: 45119 ... c Min unsat cost LB: 45268 ... c Min unsat cost LB: 45668 ... c Min unsat cost LB: 45776 ... c Min unsat cost LB: 45906 ... c Min unsat cost LB: 46326 ... c Min unsat cost LB: 46473 ... c Min unsat cost LB: 46981 ... c Min unsat cost LB: 47723 ... c Min unsat cost LB: 47854 ... c Min unsat cost LB: 47950 ... c Min unsat cost LB: 47962 ... c Min unsat cost LB: 48057 ... c Min unsat cost LB: 48394 ... c Min unsat cost LB: 48546 ... c Min unsat cost LB: 48748 ... c Min unsat cost LB: 48772 ... c Min unsat cost LB: 49490 ... c Min unsat cost LB: 49976 ... c Min unsat cost LB: 50085 ... c Min unsat cost LB: 50166 ... c Min unsat cost LB: 50566 ... c Min unsat cost LB: 50634 ... c Min unsat cost LB: 50806 ... c Min unsat cost LB: 50845 ... c Min unsat cost LB: 50971 ... c Min unsat cost LB: 51198 ... c Min unsat cost LB: 51365 ... c Min unsat cost LB: 51428 ... c Min unsat cost LB: 51430 ... c Min unsat cost LB: 51473 ... c Min unsat cost LB: 51818 ... c Min unsat cost LB: 51952 ... c Min unsat cost LB: 52293 ... c Min unsat cost LB: 52299 ... c Min unsat cost LB: 52453 ... c Min unsat cost LB: 52547 ... c Min unsat cost LB: 52572 ... c Min unsat cost LB: 53432 ... c Min unsat cost LB: 53835 ... c Min unsat cost LB: 54109 ... c Min unsat cost LB: 54271 ... c Min unsat cost LB: 54504 ... c Min unsat cost LB: 54770 ... c Min unsat cost LB: 54934 ... c Min unsat cost LB: 54957 ... c Min unsat cost LB: 56235 ... c Min unsat cost LB: 56679 ... c Min unsat cost LB: 56795 ... c Min unsat cost LB: 56801 ... c Min unsat cost LB: 57070 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57813 ... c Min unsat cost LB: 57837 ... c Min unsat cost LB: 58250 ... c Min unsat cost LB: 58324 ... c Min unsat cost LB: 59149 ... c Min unsat cost LB: 59463 ... c Min unsat cost LB: 59899 ... c Min unsat cost LB: 59951 ... c Min unsat cost LB: 60452 ... c Min unsat cost LB: 61233 ... c Min unsat cost LB: 61269 ... c Min unsat cost LB: 61287 ... c Min unsat cost LB: 61427 ... c Min unsat cost LB: 61898 ... c Min unsat cost LB: 61997 ... c Min unsat cost LB: 62381 ... c Min unsat cost LB: 62704 ... c Min unsat cost LB: 63715 ... c Min unsat cost LB: 63791 ... c Min unsat cost LB: 64207 ... c Min unsat cost LB: 64481 ... c Min unsat cost LB: 65363 ... c Min unsat cost LB: 65549 ... c Min unsat cost LB: 65663 ... c Min unsat cost LB: 66231 ... c Min unsat cost LB: 66485 ... c Min unsat cost LB: 66509 ... c Min unsat cost LB: 66599 ... c Min unsat cost LB: 66685 ... c Min unsat cost LB: 66917 ... c Min unsat cost LB: 66946 ... c Min unsat cost LB: 67540 ... c Min unsat cost LB: 67718 ... c Min unsat cost LB: 68374 ... c Min unsat cost LB: 68561 ... c Min unsat cost LB: 68671 ... c Min unsat cost LB: 68733 ... c Min unsat cost LB: 68840 ... c Min unsat cost LB: 68943 ... c Min unsat cost LB: 68990 ... c Min unsat cost LB: 69063 ... c Min unsat cost LB: 69087 ... c Min unsat cost LB: 69155 ... c Min unsat cost LB: 69290 ... c Min unsat cost LB: 70492 ... c Min unsat cost LB: 70591 ... c Min unsat cost LB: 71146 ... c Min unsat cost LB: 71182 ... c Min unsat cost LB: 71245 ... c Min unsat cost LB: 72063 ... c Min unsat cost LB: 72466 ... c Min unsat cost LB: 72786 ... c Min unsat cost LB: 73104 ... c Min unsat cost LB: 73291 ... c Min unsat cost LB: 73293 ... c Min unsat cost LB: 73458 ... c Min unsat cost LB: 73565 ... c Min unsat cost LB: 74024 ... c Min unsat cost LB: 74235 ... c Min unsat cost LB: 74290 ... c Min unsat cost LB: 74539 ... c Min unsat cost LB: 74670 ... c Min unsat cost LB: 74828 ... c Min unsat cost LB: 75143 ... c Min unsat cost LB: 75700 ... c Min unsat cost LB: 75855 ... c Min unsat cost LB: 76291 ... c Min unsat cost LB: 76446 ... c Min unsat cost LB: 76679 ... c Min unsat cost LB: 76781 ... c Min unsat cost LB: 77223 ... c Min unsat cost LB: 77325 ... c Min unsat cost LB: 77335 ... c Min unsat cost LB: 77437 ... c Min unsat cost LB: 77442 ... c Min unsat cost LB: 77533 ... c Min unsat cost LB: 77567 ... c Min unsat cost LB: 77806 ... c Min unsat cost LB: 77836 ... c Min unsat cost LB: 78057 ... c Min unsat cost LB: 78061 ... c Min unsat cost LB: 78149 ... c Min unsat cost LB: 78173 ... c Min unsat cost LB: 78276 ... c Min unsat cost LB: 78287 ... c Min unsat cost LB: 78304 ... c Min unsat cost LB: 78339 ... c Min unsat cost LB: 78382 ... c Min unsat cost LB: 78485 ... c Min unsat cost LB: 78833 ... c Min unsat cost LB: 79306 ... c Min unsat cost LB: 79342 ... c Min unsat cost LB: 79592 ... c Min unsat cost LB: 79620 ... c Min unsat cost LB: 79623 ... c Min unsat cost LB: 80242 ... c Min unsat cost LB: 80740 ... c Min unsat cost LB: 80900 ... c Min unsat cost LB: 81186 ... c Min unsat cost LB: 81390 ... c Min unsat cost LB: 81503 ... c Min unsat cost LB: 81563 ... c Min unsat cost LB: 81889 ... c Min unsat cost LB: 82650 ... c Min unsat cost LB: 82738 ... c Min unsat cost LB: 82740 ... c Min unsat cost LB: 82759 ... c Min unsat cost LB: 83171 ... c Min unsat cost LB: 83595 ... c Min unsat cost LB: 83911 ... c Min unsat cost LB: 84446 ... c Min unsat cost LB: 84471 ... c Min unsat cost LB: 84602 ... c Min unsat cost LB: 85236 ... c Min unsat cost LB: 85507 ... c Min unsat cost LB: 85982 ... c Min unsat cost LB: 86165 ... c Min unsat cost LB: 86170 ... c Min unsat cost LB: 86217 ... c Min unsat cost LB: 86514 ... c Min unsat cost LB: 87329 ... c Min unsat cost LB: 87865 ... c Min unsat cost LB: 88594 ... c Min unsat cost LB: 88921 ... c Min unsat cost LB: 89242 ... c Min unsat cost LB: 89764 ... c Min unsat cost LB: 89838 ... c Min unsat cost LB: 89875 ... c Min unsat cost LB: 89913 ... c Min unsat cost LB: 90254 ... c Min unsat cost LB: 90303 ... c Min unsat cost LB: 90554 ... c Min unsat cost LB: 90557 ... c Min unsat cost LB: 90652 ... c Min unsat cost LB: 91573 ... c Min unsat cost LB: 92075 ... c Min unsat cost LB: 92104 ... c Min unsat cost LB: 92345 ... c Min unsat cost LB: 92770 ... c Min unsat cost LB: 93169 ... c Min unsat cost LB: 93237 ... c Min unsat cost LB: 94243 ... c Min unsat cost LB: 94551 ... c Min unsat cost LB: 95129 ... c Min unsat cost LB: 95560 ... c Min unsat cost LB: 95676 ... c Min unsat cost LB: 95719 ... c Min unsat cost LB: 95773 ... c Min unsat cost LB: 95868 ... c Min unsat cost LB: 96255 ... c Min unsat cost LB: 96258 ... c Min unsat cost LB: 96271 ... c Min unsat cost LB: 96446 ... c Min unsat cost LB: 96497 ... c Min unsat cost LB: 96520 ... c Min unsat cost LB: 96540 ... c Min unsat cost LB: 96551 ... c Min unsat cost LB: 96666 ... c Min unsat cost LB: 96703 ... c Min unsat cost LB: 96806 ... c Min unsat cost LB: 96874 ... c Min unsat cost LB: 97833 ... c Min unsat cost LB: 97885 ... c Min unsat cost LB: 97891 ... c Min unsat cost LB: 98024 ... c Min unsat cost LB: 98037 ... c Min unsat cost LB: 98085 ... c Min unsat cost LB: 98525 ... c Min unsat cost LB: 99330 ... c Min unsat cost LB: 99488 ... c Min unsat cost LB: 99619 ... c Min unsat cost LB: 99694 ... c Min unsat cost LB: 100970 ... c Min unsat cost LB: 100974 ... c Min unsat cost LB: 101092 ... c Min unsat cost LB: 101275 ... c Min unsat cost LB: 101884 ... c Min unsat cost LB: 102033 ... c Min unsat cost LB: 102190 ... c Min unsat cost LB: 102599 ... c Min unsat cost LB: 103313 ... c Min unsat cost LB: 104005 ... c Min unsat cost LB: 104201 ... c Min unsat cost LB: 104284 ... c Min unsat cost LB: 104576 ... c Min unsat cost LB: 104670 ... c Min unsat cost LB: 105254 ... c Min unsat cost LB: 105416 ... c Min unsat cost LB: 105460 ... c Min unsat cost LB: 105503 ... c Min unsat cost LB: 105620 ... c Min unsat cost LB: 105680 ... c Min unsat cost LB: 105682 ... c Min unsat cost LB: 105704 ... c Min unsat cost LB: 105715 ... c Min unsat cost LB: 105774 ... c Min unsat cost LB: 105814 ... c Min unsat cost LB: 105825 ... c Min unsat cost LB: 105854 ... c Min unsat cost LB: 105870 ... c Min unsat cost LB: 106091 ... c Min unsat cost LB: 106097 ... c Min unsat cost LB: 106266 ... c Min unsat cost LB: 106514 ... c Min unsat cost LB: 106967 ... c Min unsat cost LB: 107056 ... c Min unsat cost LB: 107164 ... c Min unsat cost LB: 107343 ... c Min unsat cost LB: 107425 ... c Min unsat cost LB: 107884 ... c Min unsat cost LB: 108419 ... c Min unsat cost LB: 108539 ... c Min unsat cost LB: 108639 ... c Min unsat cost LB: 108713 ... c Min unsat cost LB: 109299 ... c Min unsat cost LB: 109479 ... c Min unsat cost LB: 109651 ... c Min unsat cost LB: 110245 ... c Min unsat cost LB: 110262 ... c Min unsat cost LB: 110316 ... c Min unsat cost LB: 110331 ... c Min unsat cost LB: 110338 ... c Min unsat cost LB: 110340 ... c Min unsat cost LB: 110343 ... c Min unsat cost LB: 110351 ... c Min unsat cost LB: 110354 ... c Min unsat cost LB: 110394 ... c Min unsat cost LB: 110411 ... c Min unsat cost LB: 110867 ... c Min unsat cost LB: 110904 ... c Min unsat cost LB: 110936 ... c Min unsat cost LB: 111117 ... c Min unsat cost LB: 111292 ... c Min unsat cost LB: 111677 ... c Min unsat cost LB: 111708 ... c Min unsat cost LB: 111725 ... c Min unsat cost LB: 111726 ... c Min unsat cost LB: 111928 ... c Min unsat cost LB: 112501 ... c Min unsat cost LB: 112764 ... c Min unsat cost LB: 113640 ... c Min unsat cost LB: 113838 ... c Min unsat cost LB: 113882 ... c Min unsat cost LB: 114404 ... c Min unsat cost LB: 114676 ... c Min unsat cost LB: 115293 ... c Min unsat cost LB: 115301 ... c Min unsat cost LB: 115355 ... c Min unsat cost LB: 116193 ... c Min unsat cost LB: 116199 ... c Min unsat cost LB: 116470 ... c Min unsat cost LB: 116583 ... c Min unsat cost LB: 117116 ... c Min unsat cost LB: 117397 ... c Min unsat cost LB: 117995 ... c Min unsat cost LB: 118216 ... c Min unsat cost LB: 118320 ... c Min unsat cost LB: 118501 ... c Min unsat cost LB: 118560 ... c Min unsat cost LB: 118750 ... c Min unsat cost LB: 119038 ... c Min unsat cost LB: 119434 ... c Min unsat cost LB: 119666 ... c Min unsat cost LB: 119948 ... c Min unsat cost LB: 120029 ... c Min unsat cost LB: 120162 ... c Min unsat cost LB: 120468 ... c Min unsat cost LB: 120534 ... c Min unsat cost LB: 120886 ... c Min unsat cost LB: 121077 ... c Min unsat cost LB: 121210 ... c Min unsat cost LB: 121257 ... c Min unsat cost LB: 121263 ... c Min unsat cost LB: 121895 ... c Min unsat cost LB: 122012 ... c Min unsat cost LB: 122140 ... c Min unsat cost LB: 122332 ... c Min unsat cost LB: 123144 ... c Min unsat cost LB: 123424 ... c Min unsat cost LB: 123448 ... c Min unsat cost LB: 123467 ... c Min unsat cost LB: 123506 ... c Min unsat cost LB: 123543 ... c Min unsat cost LB: 123549 ... c Min unsat cost LB: 123551 ... c Min unsat cost LB: 123614 ... c Min unsat cost LB: 123630 ... c Min unsat cost LB: 123795 ... c Min unsat cost LB: 124001 ... c Min unsat cost LB: 124213 ... c Min unsat cost LB: 124951 ... c Min unsat cost LB: 124972 ... c Min unsat cost LB: 125027 ... c Min unsat cost LB: 125256 ... c Min unsat cost LB: 125767 ... c Min unsat cost LB: 126014 ... c Min unsat cost LB: 126028 ... c Min unsat cost LB: 126224 ... c Min unsat cost LB: 126618 ... c Min unsat cost LB: 126991 ... c Min unsat cost LB: 127270 ... c Min unsat cost LB: 127454 ... c Min unsat cost LB: 127784 ... c Min unsat cost LB: 127923 ... c Min unsat cost LB: 127973 ... c Min unsat cost LB: 128008 ... c Min unsat cost LB: 128166 ... c Min unsat cost LB: 128373 ... c Min unsat cost LB: 128648 ... c Min unsat cost LB: 128659 ... c Min unsat cost LB: 128731 ... c Min unsat cost LB: 128898 ... c Min unsat cost LB: 129424 ... c Min unsat cost LB: 129568 ... c Min unsat cost LB: 129691 ... c Min unsat cost LB: 129711 ... c Min unsat cost LB: 129734 ... c Min unsat cost LB: 129736 ... c Min unsat cost LB: 130605 ... c Min unsat cost LB: 130684 ... c Min unsat cost LB: 132144 ... c Min unsat cost LB: 132202 ... c Min unsat cost LB: 132349 ... c Min unsat cost LB: 132706 ... c Min unsat cost LB: 132727 ... c Min unsat cost LB: 132789 ... c Min unsat cost LB: 132793 ... c Min unsat cost LB: 132805 ... c Min unsat cost LB: 132806 ... c Min unsat cost LB: 133668 ... c Min unsat cost LB: 133927 ... c Min unsat cost LB: 134015 ... c Min unsat cost LB: 134018 ... c Min unsat cost LB: 134085 ... c Min unsat cost LB: 134090 ... c Min unsat cost LB: 134167 ... c Min unsat cost LB: 134175 ... c Min unsat cost LB: 134734 ... c Min unsat cost LB: 134835 ... c Min unsat cost LB: 135011 ... c Min unsat cost LB: 135124 ... c Min unsat cost LB: 135144 ... c Min unsat cost LB: 135147 ... c Min unsat cost LB: 135150 ... c Min unsat cost LB: 135156 ... c Min unsat cost LB: 135169 ... c Min unsat cost LB: 135210 ... c Min unsat cost LB: 135212 ... c Min unsat cost LB: 135317 ... c Min unsat cost LB: 135327 ... c Min unsat cost LB: 135330 ... c Min unsat cost LB: 135338 ... c Min unsat cost LB: 135346 ... c Min unsat cost LB: 135352 ... c Min unsat cost LB: 135363 ... c Min unsat cost LB: 135380 ... c Min unsat cost LB: 135382 ... c Min unsat cost LB: 135383 ... c Min unsat cost LB: 135385 ... c Min unsat cost LB: 135451 ... c Min unsat cost LB: 135501 ... c Min unsat cost LB: 135552 ... c Min unsat cost LB: 135611 ... c Min unsat cost LB: 135613 ... c Min unsat cost LB: 135614 ... c Min unsat cost LB: 135617 ... c Min unsat cost LB: 135618 ... c Min unsat cost LB: 135619 ... c Min unsat cost LB: 135625 ... c Min unsat cost LB: 135626 ... c Min unsat cost LB: 135628 ... c Min unsat cost LB: 135629 ... c Min unsat cost LB: 135632 ... c Min unsat cost LB: 135637 ... c Min unsat cost LB: 135643 ... c Min unsat cost LB: 135645 ... c Min unsat cost LB: 135648 ... c Min unsat cost LB: 135649 ... c Min unsat cost LB: 135650 ... c Min unsat cost LB: 135651 ... c Min unsat cost LB: 135653 ... c Min unsat cost LB: 135654 ... c Min unsat cost LB: 135655 ... c Min unsat cost LB: 135656 ... c Min unsat cost LB: 135657 ... c Min unsat cost LB: 135658 ... c Min unsat cost LB: 135659 ... c Min unsat cost LB: 135660 ... c Min unsat cost LB: 135661 ... c Min unsat cost LB: 135662 ... c Min unsat cost LB: 135663 ... c Min unsat cost LB: 135664 ... c Min unsat cost LB: 135665 ... c Min unsat cost LB: 135666 ... c Min unsat cost LB: 135667 ... c Min unsat cost LB: 135668 ... c Min unsat cost LB: 135669 ... c Min unsat cost LB: 135670 ... c Min unsat cost LB: 135672 ... c Min unsat cost LB: 135673 ... c Min unsat cost LB: 135674 ... c Min unsat cost LB: 135675 ... c Min unsat cost LB: 135676 ... c Min unsat cost LB: 135677 ... c Min unsat cost LB: 135678 ... c Min unsat cost LB: 135679 ... c Min unsat cost LB: 135680 ... o 135680 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 c CPU Time: 58.8231 58.887u 0.271s 0:59.17 99.9% 0+0k 0+0io 0pf+0w