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-160-1_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-6.net.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-6.net.wcnf *** c c Min unsat cost LB: 752 ... c Min unsat cost LB: 2462 ... c Min unsat cost LB: 3464 ... c Min unsat cost LB: 4798 ... c Min unsat cost LB: 5758 ... c Min unsat cost LB: 6836 ... c Min unsat cost LB: 7200 ... c Min unsat cost LB: 8379 ... c Min unsat cost LB: 8849 ... c Min unsat cost LB: 10235 ... c Min unsat cost LB: 11286 ... c Min unsat cost LB: 11345 ... c Min unsat cost LB: 11547 ... c Min unsat cost LB: 12168 ... c Min unsat cost LB: 12798 ... c Min unsat cost LB: 13549 ... c Min unsat cost LB: 14043 ... c Min unsat cost LB: 15721 ... c Min unsat cost LB: 16142 ... c Min unsat cost LB: 16252 ... c Min unsat cost LB: 16708 ... c Min unsat cost LB: 18064 ... c Min unsat cost LB: 18717 ... c Min unsat cost LB: 19728 ... c Min unsat cost LB: 21059 ... c Min unsat cost LB: 21345 ... c Min unsat cost LB: 22304 ... c Min unsat cost LB: 22388 ... c Min unsat cost LB: 25310 ... c Min unsat cost LB: 26804 ... c Min unsat cost LB: 27690 ... c Min unsat cost LB: 28375 ... c Min unsat cost LB: 28655 ... c Min unsat cost LB: 28882 ... c Min unsat cost LB: 29346 ... c Min unsat cost LB: 29595 ... c Min unsat cost LB: 29879 ... c Min unsat cost LB: 30121 ... c Min unsat cost LB: 30497 ... c Min unsat cost LB: 30935 ... c Min unsat cost LB: 31152 ... c Min unsat cost LB: 31538 ... c Min unsat cost LB: 32461 ... c Min unsat cost LB: 32685 ... c Min unsat cost LB: 33378 ... c Min unsat cost LB: 33432 ... c Min unsat cost LB: 33959 ... c Min unsat cost LB: 35260 ... c Min unsat cost LB: 35570 ... c Min unsat cost LB: 35986 ... c Min unsat cost LB: 36197 ... c Min unsat cost LB: 36473 ... c Min unsat cost LB: 36531 ... c Min unsat cost LB: 36843 ... c Min unsat cost LB: 37675 ... c Min unsat cost LB: 38020 ... c Min unsat cost LB: 38586 ... c Min unsat cost LB: 39087 ... c Min unsat cost LB: 39710 ... c Min unsat cost LB: 40940 ... c Min unsat cost LB: 41175 ... c Min unsat cost LB: 41291 ... c Min unsat cost LB: 41307 ... c Min unsat cost LB: 41552 ... c Min unsat cost LB: 42210 ... c Min unsat cost LB: 42297 ... c Min unsat cost LB: 42561 ... c Min unsat cost LB: 42852 ... c Min unsat cost LB: 43380 ... c Min unsat cost LB: 43616 ... c Min unsat cost LB: 43843 ... c Min unsat cost LB: 43975 ... c Min unsat cost LB: 44568 ... c Min unsat cost LB: 45005 ... c Min unsat cost LB: 45108 ... c Min unsat cost LB: 46026 ... c Min unsat cost LB: 46166 ... c Min unsat cost LB: 46168 ... c Min unsat cost LB: 46354 ... c Min unsat cost LB: 47542 ... c Min unsat cost LB: 47757 ... c Min unsat cost LB: 47979 ... c Min unsat cost LB: 48162 ... c Min unsat cost LB: 48530 ... c Min unsat cost LB: 48533 ... c Min unsat cost LB: 48899 ... c Min unsat cost LB: 49876 ... c Min unsat cost LB: 49995 ... c Min unsat cost LB: 50127 ... c Min unsat cost LB: 50177 ... c Min unsat cost LB: 50625 ... c Min unsat cost LB: 50846 ... c Min unsat cost LB: 50945 ... c Min unsat cost LB: 52190 ... c Min unsat cost LB: 52412 ... c Min unsat cost LB: 52604 ... c Min unsat cost LB: 53585 ... c Min unsat cost LB: 53587 ... c Min unsat cost LB: 53823 ... c Min unsat cost LB: 53877 ... c Min unsat cost LB: 53908 ... c Min unsat cost LB: 54054 ... c Min unsat cost LB: 54059 ... c Min unsat cost LB: 54073 ... c Min unsat cost LB: 54131 ... c Min unsat cost LB: 54288 ... c Min unsat cost LB: 54412 ... c Min unsat cost LB: 54489 ... c Min unsat cost LB: 54865 ... c Min unsat cost LB: 54975 ... c Min unsat cost LB: 55624 ... c Min unsat cost LB: 55713 ... c Min unsat cost LB: 56169 ... c Min unsat cost LB: 56859 ... c Min unsat cost LB: 56880 ... c Min unsat cost LB: 57364 ... c Min unsat cost LB: 57452 ... c Min unsat cost LB: 57585 ... c Min unsat cost LB: 57987 ... c Min unsat cost LB: 58112 ... c Min unsat cost LB: 58156 ... c Min unsat cost LB: 58534 ... c Min unsat cost LB: 58831 ... c Min unsat cost LB: 58974 ... c Min unsat cost LB: 59101 ... c Min unsat cost LB: 59290 ... c Min unsat cost LB: 59562 ... c Min unsat cost LB: 59931 ... c Min unsat cost LB: 60196 ... c Min unsat cost LB: 60764 ... c Min unsat cost LB: 60998 ... c Min unsat cost LB: 61140 ... c Min unsat cost LB: 61551 ... c Min unsat cost LB: 61576 ... c Min unsat cost LB: 62180 ... c Min unsat cost LB: 62391 ... c Min unsat cost LB: 62588 ... c Min unsat cost LB: 62788 ... c Min unsat cost LB: 63600 ... c Min unsat cost LB: 63636 ... c Min unsat cost LB: 63711 ... c Min unsat cost LB: 63843 ... c Min unsat cost LB: 64384 ... c Min unsat cost LB: 64750 ... c Min unsat cost LB: 65866 ... c Min unsat cost LB: 66021 ... c Min unsat cost LB: 67020 ... c Min unsat cost LB: 67070 ... c Min unsat cost LB: 67076 ... c Min unsat cost LB: 67137 ... c Min unsat cost LB: 67497 ... c Min unsat cost LB: 67679 ... c Min unsat cost LB: 67694 ... c Min unsat cost LB: 67829 ... c Min unsat cost LB: 68254 ... c Min unsat cost LB: 68939 ... c Min unsat cost LB: 69647 ... c Min unsat cost LB: 69653 ... c Min unsat cost LB: 69714 ... c Min unsat cost LB: 70059 ... c Min unsat cost LB: 70084 ... c Min unsat cost LB: 70300 ... c Min unsat cost LB: 70492 ... c Min unsat cost LB: 70921 ... c Min unsat cost LB: 71103 ... c Min unsat cost LB: 71441 ... c Min unsat cost LB: 71817 ... c Min unsat cost LB: 72015 ... c Min unsat cost LB: 72389 ... c Min unsat cost LB: 72652 ... c Min unsat cost LB: 72692 ... c Min unsat cost LB: 72814 ... c Min unsat cost LB: 72918 ... c Min unsat cost LB: 73195 ... c Min unsat cost LB: 73235 ... c Min unsat cost LB: 73958 ... c Min unsat cost LB: 74020 ... c Min unsat cost LB: 74114 ... c Min unsat cost LB: 74685 ... c Min unsat cost LB: 74690 ... c Min unsat cost LB: 74820 ... c Min unsat cost LB: 74916 ... c Min unsat cost LB: 75173 ... c Min unsat cost LB: 75490 ... c Min unsat cost LB: 76113 ... c Min unsat cost LB: 76235 ... c Min unsat cost LB: 77191 ... c Min unsat cost LB: 77337 ... c Min unsat cost LB: 77533 ... c Min unsat cost LB: 77684 ... c Min unsat cost LB: 77742 ... c Min unsat cost LB: 78267 ... c Min unsat cost LB: 78689 ... c Min unsat cost LB: 78859 ... c Min unsat cost LB: 78985 ... c Min unsat cost LB: 79795 ... c Min unsat cost LB: 79804 ... c Min unsat cost LB: 80168 ... c Min unsat cost LB: 80567 ... c Min unsat cost LB: 80669 ... c Min unsat cost LB: 80851 ... c Min unsat cost LB: 81425 ... c Min unsat cost LB: 81497 ... c Min unsat cost LB: 82489 ... c Min unsat cost LB: 82620 ... c Min unsat cost LB: 82644 ... c Min unsat cost LB: 82919 ... c Min unsat cost LB: 82921 ... c Min unsat cost LB: 83435 ... c Min unsat cost LB: 83525 ... c Min unsat cost LB: 83556 ... c Min unsat cost LB: 83869 ... c Min unsat cost LB: 84000 ... c Min unsat cost LB: 84696 ... c Min unsat cost LB: 84927 ... c Min unsat cost LB: 85905 ... c Min unsat cost LB: 86008 ... c Min unsat cost LB: 86154 ... c Min unsat cost LB: 86658 ... c Min unsat cost LB: 86863 ... c Min unsat cost LB: 86914 ... c Min unsat cost LB: 86935 ... c Min unsat cost LB: 86942 ... c Min unsat cost LB: 86945 ... c Min unsat cost LB: 86980 ... c Min unsat cost LB: 87191 ... c Min unsat cost LB: 87261 ... c Min unsat cost LB: 87267 ... c Min unsat cost LB: 87323 ... c Min unsat cost LB: 88400 ... c Min unsat cost LB: 88465 ... c Min unsat cost LB: 88508 ... c Min unsat cost LB: 88573 ... c Min unsat cost LB: 88578 ... c Min unsat cost LB: 88751 ... c Min unsat cost LB: 88776 ... c Min unsat cost LB: 88825 ... c Min unsat cost LB: 88845 ... c Min unsat cost LB: 89915 ... c Min unsat cost LB: 89985 ... c Min unsat cost LB: 91284 ... c Min unsat cost LB: 91356 ... c Min unsat cost LB: 91695 ... c Min unsat cost LB: 91981 ... c Min unsat cost LB: 92025 ... c Min unsat cost LB: 92114 ... c Min unsat cost LB: 92233 ... c Min unsat cost LB: 92575 ... c Min unsat cost LB: 93221 ... c Min unsat cost LB: 93261 ... c Min unsat cost LB: 93464 ... c Min unsat cost LB: 94861 ... c Min unsat cost LB: 95115 ... c Min unsat cost LB: 95140 ... c Min unsat cost LB: 95394 ... c Min unsat cost LB: 95422 ... c Min unsat cost LB: 95619 ... c Min unsat cost LB: 95927 ... c Min unsat cost LB: 96038 ... c Min unsat cost LB: 96695 ... c Min unsat cost LB: 96884 ... c Min unsat cost LB: 97348 ... c Min unsat cost LB: 97352 ... c Min unsat cost LB: 97599 ... c Min unsat cost LB: 97628 ... c Min unsat cost LB: 97633 ... c Min unsat cost LB: 97815 ... c Min unsat cost LB: 98718 ... c Min unsat cost LB: 98879 ... c Min unsat cost LB: 99026 ... c Min unsat cost LB: 99133 ... c Min unsat cost LB: 99143 ... c Min unsat cost LB: 99346 ... c Min unsat cost LB: 100175 ... c Min unsat cost LB: 100186 ... c Min unsat cost LB: 100584 ... c Min unsat cost LB: 100668 ... c Min unsat cost LB: 100967 ... c Min unsat cost LB: 100999 ... c Min unsat cost LB: 101136 ... c Min unsat cost LB: 101410 ... c Min unsat cost LB: 101964 ... c Min unsat cost LB: 102170 ... c Min unsat cost LB: 102538 ... c Min unsat cost LB: 102551 ... c Min unsat cost LB: 102571 ... c Min unsat cost LB: 104070 ... c Min unsat cost LB: 104168 ... c Min unsat cost LB: 104240 ... c Min unsat cost LB: 104506 ... c Min unsat cost LB: 105061 ... c Min unsat cost LB: 105339 ... c Min unsat cost LB: 105489 ... c Min unsat cost LB: 105566 ... c Min unsat cost LB: 105919 ... c Min unsat cost LB: 106116 ... c Min unsat cost LB: 106278 ... c Min unsat cost LB: 106560 ... c Min unsat cost LB: 106602 ... c Min unsat cost LB: 106774 ... c Min unsat cost LB: 106923 ... c Min unsat cost LB: 107265 ... c Min unsat cost LB: 107551 ... c Min unsat cost LB: 107622 ... c Min unsat cost LB: 108152 ... c Min unsat cost LB: 108718 ... c Min unsat cost LB: 108759 ... c Min unsat cost LB: 108769 ... c Min unsat cost LB: 108901 ... c Min unsat cost LB: 109476 ... c Min unsat cost LB: 109762 ... c Min unsat cost LB: 109846 ... c Min unsat cost LB: 110106 ... c Min unsat cost LB: 110791 ... c Min unsat cost LB: 111297 ... c Min unsat cost LB: 111469 ... c Min unsat cost LB: 111546 ... c Min unsat cost LB: 111858 ... c Min unsat cost LB: 112127 ... c Min unsat cost LB: 112231 ... c Min unsat cost LB: 112335 ... c Min unsat cost LB: 112461 ... c Min unsat cost LB: 112554 ... c Min unsat cost LB: 112606 ... c Min unsat cost LB: 112612 ... c Min unsat cost LB: 113350 ... c Min unsat cost LB: 113438 ... c Min unsat cost LB: 113484 ... c Min unsat cost LB: 114463 ... c Min unsat cost LB: 114466 ... c Min unsat cost LB: 114855 ... c Min unsat cost LB: 115090 ... c Min unsat cost LB: 115109 ... c Min unsat cost LB: 115121 ... c Min unsat cost LB: 115169 ... c Min unsat cost LB: 115173 ... c Min unsat cost LB: 115175 ... c Min unsat cost LB: 115215 ... c Min unsat cost LB: 115243 ... c Min unsat cost LB: 115283 ... c Min unsat cost LB: 115319 ... c Min unsat cost LB: 115331 ... c Min unsat cost LB: 115389 ... c Min unsat cost LB: 115393 ... c Min unsat cost LB: 115423 ... c Min unsat cost LB: 115471 ... c Min unsat cost LB: 115475 ... c Min unsat cost LB: 115477 ... c Min unsat cost LB: 115481 ... c Min unsat cost LB: 115737 ... c Min unsat cost LB: 115740 ... c Min unsat cost LB: 116495 ... c Min unsat cost LB: 116527 ... c Min unsat cost LB: 116531 ... c Min unsat cost LB: 116667 ... c Min unsat cost LB: 116673 ... c Min unsat cost LB: 116679 ... c Min unsat cost LB: 116680 ... c Min unsat cost LB: 116696 ... c Min unsat cost LB: 116697 ... c Min unsat cost LB: 116715 ... c Min unsat cost LB: 116716 ... c Min unsat cost LB: 116717 ... c Min unsat cost LB: 116719 ... c Min unsat cost LB: 116950 ... c Min unsat cost LB: 116998 ... c Min unsat cost LB: 117072 ... c Min unsat cost LB: 117074 ... c Min unsat cost LB: 117078 ... c Min unsat cost LB: 117167 ... c Min unsat cost LB: 117178 ... c Min unsat cost LB: 117251 ... c Min unsat cost LB: 117278 ... c Min unsat cost LB: 117280 ... c Min unsat cost LB: 117281 ... c Min unsat cost LB: 117282 ... c Min unsat cost LB: 117287 ... c Min unsat cost LB: 117292 ... c Min unsat cost LB: 117297 ... c Min unsat cost LB: 117298 ... c Min unsat cost LB: 117300 ... c Min unsat cost LB: 117332 ... c Min unsat cost LB: 117334 ... c Min unsat cost LB: 117337 ... c Min unsat cost LB: 117341 ... c Min unsat cost LB: 117343 ... c Min unsat cost LB: 117345 ... c Min unsat cost LB: 117346 ... c Min unsat cost LB: 117348 ... c Min unsat cost LB: 117349 ... c Min unsat cost LB: 117386 ... c Min unsat cost LB: 117389 ... c Min unsat cost LB: 117404 ... c Min unsat cost LB: 117407 ... c Min unsat cost LB: 117632 ... c Min unsat cost LB: 117641 ... c Min unsat cost LB: 117705 ... c Min unsat cost LB: 117710 ... c Min unsat cost LB: 118292 ... c Min unsat cost LB: 118688 ... c Min unsat cost LB: 118779 ... c Min unsat cost LB: 118843 ... c Min unsat cost LB: 119040 ... c Min unsat cost LB: 119364 ... c Min unsat cost LB: 119436 ... c Min unsat cost LB: 119724 ... c Min unsat cost LB: 120775 ... c Min unsat cost LB: 120922 ... c Min unsat cost LB: 121882 ... c Min unsat cost LB: 122185 ... c Min unsat cost LB: 122221 ... c Min unsat cost LB: 122257 ... c Min unsat cost LB: 122409 ... c Min unsat cost LB: 123758 ... c Min unsat cost LB: 123880 ... c Min unsat cost LB: 124326 ... c Min unsat cost LB: 124893 ... c Min unsat cost LB: 125178 ... c Min unsat cost LB: 125205 ... c Min unsat cost LB: 125368 ... c Min unsat cost LB: 126521 ... c Min unsat cost LB: 126675 ... c Min unsat cost LB: 127053 ... c Min unsat cost LB: 127097 ... c Min unsat cost LB: 127182 ... c Min unsat cost LB: 127521 ... c Min unsat cost LB: 127547 ... c Min unsat cost LB: 127700 ... c Min unsat cost LB: 127798 ... c Min unsat cost LB: 127801 ... c Min unsat cost LB: 127883 ... c Min unsat cost LB: 128821 ... c Min unsat cost LB: 128857 ... c Min unsat cost LB: 129674 ... c Min unsat cost LB: 129693 ... c Min unsat cost LB: 129966 ... c Min unsat cost LB: 130010 ... c Min unsat cost LB: 130603 ... c Min unsat cost LB: 131434 ... c Min unsat cost LB: 131485 ... c Min unsat cost LB: 131611 ... c Min unsat cost LB: 131665 ... c Min unsat cost LB: 131785 ... c Min unsat cost LB: 132080 ... c Min unsat cost LB: 132093 ... c Min unsat cost LB: 132116 ... c Min unsat cost LB: 132986 ... c Min unsat cost LB: 133115 ... c Min unsat cost LB: 133145 ... c Min unsat cost LB: 133547 ... c Min unsat cost LB: 133567 ... c Min unsat cost LB: 134527 ... c Min unsat cost LB: 135119 ... c Min unsat cost LB: 135163 ... c Min unsat cost LB: 135260 ... c Min unsat cost LB: 135763 ... c Min unsat cost LB: 136263 ... c Min unsat cost LB: 136289 ... c Min unsat cost LB: 136455 ... c Min unsat cost LB: 137171 ... c Min unsat cost LB: 137192 ... c Min unsat cost LB: 137715 ... c Min unsat cost LB: 138671 ... c Min unsat cost LB: 138674 ... c Min unsat cost LB: 138859 ... c Min unsat cost LB: 138886 ... c Min unsat cost LB: 139336 ... c Min unsat cost LB: 139945 ... c Min unsat cost LB: 140769 ... c Min unsat cost LB: 141085 ... c Min unsat cost LB: 141135 ... c Min unsat cost LB: 141167 ... c Min unsat cost LB: 141253 ... c Min unsat cost LB: 141254 ... c Min unsat cost LB: 141280 ... c Min unsat cost LB: 141282 ... c Min unsat cost LB: 141312 ... c Min unsat cost LB: 141362 ... c Min unsat cost LB: 141389 ... c Min unsat cost LB: 141412 ... c Min unsat cost LB: 141422 ... c Min unsat cost LB: 141462 ... c Min unsat cost LB: 141867 ... c Min unsat cost LB: 141931 ... c Min unsat cost LB: 141933 ... c Min unsat cost LB: 141963 ... c Min unsat cost LB: 141965 ... c Min unsat cost LB: 142005 ... c Min unsat cost LB: 142015 ... c Min unsat cost LB: 142194 ... c Min unsat cost LB: 142195 ... c Min unsat cost LB: 142220 ... c Min unsat cost LB: 142222 ... c Min unsat cost LB: 142235 ... c Min unsat cost LB: 142646 ... c Min unsat cost LB: 142723 ... c Min unsat cost LB: 142918 ... c Min unsat cost LB: 143385 ... c Min unsat cost LB: 144039 ... c Min unsat cost LB: 144133 ... c Min unsat cost LB: 144272 ... c Min unsat cost LB: 144588 ... c Min unsat cost LB: 144907 ... c Min unsat cost LB: 145046 ... c Min unsat cost LB: 145140 ... c Min unsat cost LB: 145176 ... c Min unsat cost LB: 145185 ... c Min unsat cost LB: 145408 ... c Min unsat cost LB: 145591 ... c Min unsat cost LB: 145688 ... c Min unsat cost LB: 146167 ... c Min unsat cost LB: 146445 ... c Min unsat cost LB: 146769 ... c Min unsat cost LB: 146946 ... c Min unsat cost LB: 147467 ... c Min unsat cost LB: 147653 ... c Min unsat cost LB: 147905 ... c Min unsat cost LB: 148039 ... c Min unsat cost LB: 148211 ... c Min unsat cost LB: 148758 ... c Min unsat cost LB: 148811 ... c Min unsat cost LB: 148942 ... c Min unsat cost LB: 148944 ... c Min unsat cost LB: 148945 ... c Min unsat cost LB: 148953 ... c Min unsat cost LB: 148955 ... c Min unsat cost LB: 148969 ... c Min unsat cost LB: 148985 ... c Min unsat cost LB: 148986 ... c Min unsat cost LB: 148987 ... c Min unsat cost LB: 148988 ... c Min unsat cost LB: 148989 ... c Min unsat cost LB: 148991 ... c Min unsat cost LB: 148993 ... c Min unsat cost LB: 148995 ... c Min unsat cost LB: 148997 ... c Min unsat cost LB: 148999 ... o 148999 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 c CPU Time: 26.3 26.337u 0.064s 0:26.46 99.7% 0+0k 0+0io 0pf+0w