Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-08-14 | SAT (TO) | 2755 | 252.07 | 244.427 |
Name | SumColoring/ SumColoring-myciel7_c18.xml |
MD5SUM | e6a47a1c7f616b6a479cb76d144f475c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 234 |
Best CPU time to get the best result obtained on this benchmark | 252.072 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 191 |
Number of constraints | 2360 |
Number of domains | 1 |
Minimum domain size | 191 |
Maximum domain size | 191 |
Distribution of domain sizes | [{"size":191,"count":191}] |
Minimum variable degree | 8 |
Maximum variable degree | 96 |
Distribution of variable degrees | [{"degree":8,"count":5},{"degree":9,"count":5},{"degree":10,"count":6},{"degree":11,"count":5},{"degree":12,"count":10},{"degree":13,"count":10},{"degree":14,"count":6},{"degree":15,"count":12},{"degree":16,"count":6},{"degree":17,"count":6},{"degree":18,"count":5},{"degree":19,"count":10},{"degree":20,"count":5},{"degree":21,"count":10},{"degree":22,"count":5},{"degree":23,"count":6},{"degree":24,"count":1},{"degree":25,"count":7},{"degree":26,"count":8},{"degree":27,"count":7},{"degree":29,"count":6},{"degree":33,"count":5},{"degree":34,"count":5},{"degree":35,"count":5},{"degree":37,"count":5},{"degree":41,"count":5},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":45,"count":1},{"degree":46,"count":1},{"degree":47,"count":1},{"degree":48,"count":1},{"degree":49,"count":9},{"degree":65,"count":5},{"degree":81,"count":1},{"degree":89,"count":1},{"degree":93,"count":1},{"degree":95,"count":1},{"degree":96,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2360}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2360 |
Distribution of constraint types | [{"type":"intension","count":2360}] |
Optimization problem | YES |
Type of objective | min SUM |
0.68/0.56 c version: 2018-08-14 0.68/0.56 c seed: 1267158049 0.68/0.56 c timeout: 252 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 4 0.68/0.58 c Parsing instance... 3.32/1.50 c Parsing done, starting search... 3.32/1.59 o 17879 3.61/1.62 o 17832 3.61/1.62 o 17780 3.61/1.62 o 17715 3.61/1.62 o 17700 3.61/1.62 o 17695 3.61/1.62 o 17694 3.61/1.62 o 17692 3.61/1.62 o 17683 3.61/1.63 o 17682 3.61/1.63 o 17681 3.61/1.63 o 17666 3.61/1.63 o 17611 3.61/1.63 o 17565 3.61/1.63 o 17556 3.61/1.63 o 17541 3.61/1.63 o 17534 3.61/1.66 o 17533 3.61/1.66 o 17529 3.61/1.66 o 17528 3.61/1.66 o 17461 3.61/1.66 o 17447 3.61/1.66 o 17408 3.61/1.66 o 17400 3.61/1.66 o 17396 3.61/1.66 o 17395 3.61/1.66 o 17394 3.61/1.66 o 17386 3.61/1.66 o 17373 3.61/1.66 o 17369 3.61/1.66 o 17366 3.61/1.66 o 17363 3.61/1.66 o 17362 3.61/1.66 o 17357 3.61/1.66 o 17356 3.61/1.66 o 17355 3.61/1.66 o 17335 3.61/1.66 o 17334 3.61/1.66 o 17333 3.61/1.66 o 17323 3.61/1.66 o 17321 3.61/1.67 o 17271 3.61/1.67 o 17269 3.61/1.67 o 17242 3.61/1.67 o 17217 3.61/1.67 o 17211 3.61/1.67 o 17207 3.61/1.67 o 17205 3.61/1.68 o 17202 3.61/1.68 o 17194 3.61/1.68 o 17190 3.61/1.68 o 17187 3.61/1.68 o 17018 3.61/1.68 o 17014 3.61/1.68 o 16913 3.61/1.69 o 16876 3.61/1.69 o 16875 3.61/1.69 o 16872 3.61/1.69 o 16818 3.61/1.70 o 16749 3.95/1.70 o 16703 3.95/1.70 o 16695 3.95/1.70 o 16689 3.95/1.70 o 16687 3.95/1.70 o 16685 3.95/1.71 o 16678 3.95/1.71 o 16662 3.95/1.71 o 16660 3.95/1.71 o 16654 3.95/1.71 o 16653 3.95/1.71 o 16650 3.95/1.72 o 16648 3.95/1.72 o 16646 3.95/1.72 o 16645 3.95/1.72 o 16644 3.95/1.72 o 16643 3.95/1.73 o 16539 3.95/1.73 o 16538 3.95/1.73 o 16470 3.95/1.73 o 16464 3.95/1.74 o 16463 3.95/1.75 o 16462 3.95/1.75 o 16461 3.95/1.76 o 16460 3.95/1.76 o 16431 3.95/1.76 o 16419 3.95/1.76 o 16416 3.95/1.76 o 16413 3.95/1.76 o 16412 3.95/1.76 o 16411 3.95/1.77 o 16397 3.95/1.77 o 16373 3.95/1.77 o 16363 3.95/1.77 o 16359 3.95/1.77 o 16353 3.95/1.77 o 16350 3.95/1.77 o 16347 3.95/1.77 o 16346 3.95/1.77 o 16343 3.95/1.77 o 16342 3.95/1.77 o 16341 3.95/1.77 o 16340 3.95/1.78 o 16339 3.95/1.78 o 16338 3.95/1.78 o 16337 3.95/1.79 o 16336 3.95/1.79 o 16335 4.26/1.80 o 16321 4.26/1.80 o 16319 4.26/1.80 o 16311 4.26/1.81 o 16310 4.26/1.81 o 16304 4.26/1.81 o 16299 4.26/1.81 o 16298 4.26/1.81 o 16297 4.26/1.81 o 16296 4.26/1.81 o 16295 4.26/1.82 o 16294 4.26/1.82 o 16293 4.26/1.82 o 16292 4.26/1.82 o 16291 4.26/1.83 o 16290 4.26/1.83 o 16289 4.26/1.84 o 16240 4.26/1.84 o 16234 4.26/1.84 o 16226 4.26/1.84 o 16210 4.26/1.84 o 16197 4.26/1.84 o 16180 4.26/1.84 o 16175 4.26/1.84 o 16170 4.26/1.84 o 16167 4.26/1.84 o 16166 4.26/1.84 o 16165 4.26/1.85 o 16164 4.26/1.85 o 16163 4.26/1.85 o 16162 4.26/1.85 o 16161 4.26/1.86 o 16094 4.26/1.86 o 16092 4.26/1.86 o 16063 4.26/1.86 o 16053 4.26/1.86 o 16052 4.26/1.87 o 16051 4.26/1.87 o 16050 4.26/1.88 o 16049 4.26/1.88 o 16048 4.26/1.89 o 16047 4.26/1.89 o 16046 4.57/1.93 o 16044 4.57/1.94 o 16033 4.57/1.94 o 16030 4.57/1.94 o 16029 4.57/1.94 o 16028 4.57/1.95 o 16027 4.57/1.96 o 16026 4.57/1.98 o 16025 4.57/1.98 o 16024 4.57/1.98 o 16022 4.57/2.00 o 16021 4.57/2.00 o 16020 4.90/2.08 o 16019 5.09/2.13 o 16018 5.09/2.13 o 16017 5.23/2.22 o 16016 5.23/2.25 o 16015 5.23/2.25 o 16013 5.23/2.26 o 16003 5.23/2.26 o 15996 5.23/2.26 o 15990 5.23/2.26 o 15988 5.23/2.26 o 15987 5.23/2.26 o 15985 5.23/2.26 o 15981 5.23/2.26 o 15903 5.23/2.26 o 15902 5.23/2.26 o 15899 5.23/2.28 o 15898 5.23/2.28 o 15897 5.23/2.30 o 15895 5.38/2.30 o 15894 5.38/2.35 o 15893 5.38/2.35 o 15892 5.38/2.39 o 15891 5.51/2.45 o 15887 5.51/2.45 o 15882 5.51/2.45 o 15880 5.51/2.45 o 15877 5.51/2.45 o 15874 5.51/2.45 o 15846 5.51/2.45 o 15814 5.51/2.45 o 15806 5.51/2.45 o 15795 5.51/2.49 o 15794 5.51/2.50 o 15793 5.61/2.52 o 15792 5.61/2.52 o 15791 5.61/2.52 o 15790 5.61/2.52 o 15789 5.61/2.58 o 15788 5.75/2.61 o 15758 5.75/2.61 o 15757 5.75/2.61 o 15737 5.75/2.61 o 15736 5.75/2.61 o 15732 5.75/2.61 o 15731 5.75/2.61 o 15730 5.75/2.61 o 15729 5.75/2.61 o 15728 5.75/2.61 o 15727 5.75/2.61 o 15726 5.75/2.61 o 15725 5.75/2.62 o 15724 5.75/2.62 o 15723 5.75/2.63 o 15721 5.75/2.63 o 15720 5.75/2.63 o 15719 5.75/2.63 o 15716 5.75/2.63 o 15715 5.75/2.63 o 15714 5.75/2.63 o 15713 5.75/2.63 o 15712 5.75/2.63 o 15711 5.75/2.64 o 15656 5.75/2.64 o 15655 5.75/2.64 o 15654 5.75/2.64 o 15652 5.75/2.65 o 15650 5.75/2.65 o 15649 6.21/3.01 o 15642 6.21/3.01 o 15639 6.21/3.01 o 15634 6.21/3.01 o 15631 6.21/3.01 o 15618 6.21/3.01 o 15617 6.21/3.01 o 15547 6.21/3.02 o 15540 6.21/3.02 o 15539 6.21/3.02 o 15535 6.21/3.02 o 15534 6.21/3.02 o 15532 6.21/3.02 o 15530 6.21/3.02 o 15529 6.21/3.03 o 15528 6.50/3.33 o 15527 6.50/3.33 o 15526 6.84/3.64 o 15525 6.84/3.64 o 15522 6.84/3.66 o 15521 7.14/3.91 o 15519 7.14/3.91 o 15483 7.14/3.91 o 15475 7.14/3.91 o 15471 7.14/3.91 o 15461 7.14/3.91 o 15455 7.14/3.91 o 15453 7.14/3.91 o 15442 7.14/3.91 o 15435 7.14/3.91 o 15416 7.14/3.92 o 15334 7.14/3.92 o 15324 7.14/3.92 o 15321 7.14/3.92 o 15273 7.14/3.93 o 15266 7.14/3.93 o 15264 7.14/3.93 o 15260 7.14/3.93 o 15259 7.14/3.93 o 15255 7.14/3.94 o 15254 7.14/3.94 o 15253 7.14/3.95 o 15251 7.14/3.95 o 15250 7.26/4.03 o 15246 7.26/4.03 o 15245 7.26/4.05 o 15244 7.26/4.05 o 15243 7.26/4.06 o 15195 7.26/4.06 o 15156 7.26/4.06 o 15097 7.26/4.09 o 15096 7.26/4.10 o 15094 7.26/4.10 o 15093 7.26/4.10 o 15092 7.26/4.11 o 15091 7.37/4.16 o 15082 7.37/4.16 o 15079 7.37/4.16 o 15076 7.37/4.16 o 15073 7.37/4.16 o 15071 7.37/4.16 o 15069 7.37/4.17 o 15068 7.37/4.17 o 15067 7.37/4.17 o 15066 7.37/4.18 o 15065 7.37/4.18 o 15064 7.37/4.18 o 15063 7.37/4.18 o 15062 7.37/4.19 o 15061 7.48/4.21 o 15059 7.48/4.21 o 15058 7.48/4.22 o 15056 7.60/4.31 o 15047 7.60/4.31 o 15035 7.60/4.31 o 15034 7.60/4.33 o 15032 7.60/4.33 o 15031 7.60/4.33 o 15030 7.60/4.38 o 15029 7.89/4.50 o 15028 7.89/4.51 o 15027 7.99/4.64 o 15018 7.99/4.64 o 15008 7.99/4.64 o 15004 7.99/4.64 o 15003 7.99/4.64 o 14997 7.99/4.64 o 14996 7.99/4.64 o 14995 7.99/4.64 o 14994 7.99/4.65 o 14993 7.99/4.65 o 14992 7.99/4.65 o 14991 7.99/4.66 o 14990 8.09/4.72 o 14989 8.09/4.72 o 14988 8.09/4.73 o 14987 8.09/4.74 o 14986 8.09/4.77 o 14985 8.49/5.10 o 14984 8.49/5.10 o 14983 8.49/5.10 o 14982 8.49/5.10 o 14981 8.49/5.10 o 14980 8.49/5.10 o 14979 8.49/5.10 o 14978 8.49/5.10 o 14977 8.49/5.10 o 14976 8.49/5.10 o 14974 8.49/5.10 o 14973 8.49/5.10 o 14972 8.49/5.10 o 14971 8.62/5.15 o 14970 8.62/5.15 o 14969 8.62/5.15 o 14968 8.62/5.15 o 14967 8.62/5.15 o 14966 8.62/5.16 o 14965 8.62/5.16 o 14964 8.62/5.16 o 14963 8.62/5.16 o 14962 8.62/5.17 o 14961 8.62/5.18 o 14960 8.62/5.18 o 14959 8.62/5.18 o 14957 8.62/5.18 o 14956 8.62/5.18 o 14955 8.72/5.22 o 14954 8.72/5.22 o 14953 8.72/5.22 o 14952 8.72/5.22 o 14951 8.72/5.22 o 14950 8.72/5.23 o 14931 8.72/5.23 o 14930 8.72/5.23 o 14896 8.72/5.23 o 14895 8.72/5.24 o 14875 8.72/5.24 o 14874 8.72/5.24 o 14873 8.72/5.24 o 14870 8.72/5.24 o 14869 8.72/5.24 o 14868 8.72/5.24 o 14832 8.72/5.24 o 14831 8.72/5.24 o 14830 8.72/5.24 o 14829 8.72/5.24 o 14828 8.72/5.24 o 14827 8.72/5.24 o 14826 8.72/5.25 o 14825 8.72/5.25 o 14824 8.72/5.25 o 14823 8.72/5.25 o 14822 8.72/5.25 o 14821 8.72/5.25 o 14820 8.72/5.26 o 14819 8.72/5.26 o 14818 8.72/5.26 o 14817 8.72/5.28 o 14816 9.03/5.50 o 14815 9.03/5.50 o 14813 9.03/5.50 o 14795 9.03/5.51 o 14793 9.03/5.51 o 14780 9.03/5.51 o 14779 9.03/5.51 o 14778 9.03/5.51 o 14777 9.03/5.51 o 14692 9.03/5.51 o 14691 9.03/5.51 o 14690 9.03/5.51 o 14689 9.03/5.51 o 14684 9.03/5.51 o 14678 9.03/5.51 o 14674 9.03/5.52 o 14673 9.03/5.54 o 14672 9.03/5.54 o 14671 9.03/5.54 o 14670 9.03/5.56 o 14669 9.44/5.98 o 14668 9.44/5.99 o 14667 10.04/6.51 o 14666 10.04/6.51 o 14665 10.04/6.51 o 14664 10.04/6.51 o 14663 10.04/6.51 o 14662 10.04/6.51 o 14661 10.04/6.51 o 14660 10.04/6.51 o 14655 10.04/6.51 o 14629 10.04/6.51 o 14628 10.04/6.51 o 14623 10.04/6.51 o 14606 10.04/6.51 o 14581 10.04/6.51 o 14580 10.04/6.51 o 14579 10.04/6.51 o 14578 10.04/6.51 o 14577 10.04/6.51 o 14576 10.04/6.51 o 14575 10.04/6.51 o 14574 10.04/6.51 o 14573 10.04/6.51 o 14571 10.04/6.52 o 14567 10.04/6.54 o 14566 10.04/6.56 o 14562 10.04/6.56 o 14541 10.04/6.56 o 14535 10.04/6.56 o 14527 10.04/6.56 o 14523 10.04/6.56 o 14517 10.04/6.57 o 14516 10.04/6.57 o 14515 10.04/6.57 o 14514 10.04/6.57 o 14513 10.04/6.57 o 14512 10.04/6.58 o 14510 10.04/6.58 o 14509 10.04/6.58 o 14508 10.04/6.59 o 14506 10.17/6.63 o 14504 10.17/6.63 o 14503 10.27/6.79 o 14421 10.27/6.79 o 14415 10.27/6.79 o 14407 10.97/7.45 o 14406 14.55/10.85 o 14405 15.06/11.38 o 14403 15.06/11.38 o 14399 15.06/11.38 o 14398 15.06/11.38 o 14394 15.06/11.38 o 14393 15.06/11.39 o 14387 15.06/11.39 o 14386 15.06/11.39 o 14385 15.06/11.39 o 14384 15.06/11.39 o 14383 15.06/11.39 o 14382 15.06/11.39 o 14381 15.06/11.39 o 14380 15.06/11.39 o 14379 15.16/11.40 o 14378 15.16/11.40 o 14376 15.16/11.40 o 14374 15.16/11.40 o 14345 15.16/11.40 o 14292 15.16/11.41 o 14275 15.16/11.41 o 14273 15.16/11.41 o 14271 15.16/11.42 o 14270 15.16/11.42 o 14269 15.16/11.43 o 14268 15.26/11.57 o 14267 15.26/11.57 o 14266 15.36/11.61 o 14265 15.36/11.61 o 14264 15.36/11.61 o 14263 15.36/11.64 o 14262 15.57/11.85 o 14259 15.57/11.85 o 14258 15.67/11.92 o 14257 15.67/11.92 o 14256 15.67/11.93 o 14255 15.67/11.93 o 14254 15.88/12.16 o 14253 15.97/12.26 o 14252 15.97/12.26 o 14251 16.07/12.30 o 14250 16.07/12.38 o 14249 16.07/12.38 o 14248 16.07/12.38 o 14247 16.07/12.38 o 14246 16.17/12.42 o 14245 16.67/13.01 o 14244 16.67/13.01 o 14243 16.78/13.01 o 14242 16.78/13.01 o 14218 16.78/13.02 o 14217 16.78/13.02 o 14216 16.78/13.02 o 14199 16.78/13.02 o 14198 16.78/13.02 o 14194 16.78/13.02 o 14193 16.78/13.02 o 14192 16.78/13.02 o 14191 16.78/13.02 o 14190 16.78/13.03 o 14189 16.78/13.04 o 14187 16.78/13.04 o 14186 16.78/13.04 o 14185 16.78/13.04 o 14184 16.78/13.04 o 14183 16.78/13.04 o 14182 16.78/13.04 o 14181 16.78/13.04 o 14180 16.78/13.04 o 14179 16.78/13.04 o 14178 16.78/13.04 o 14177 16.78/13.04 o 14176 16.78/13.04 o 14175 16.78/13.04 o 14174 16.78/13.05 o 14173 16.78/13.05 o 14172 16.78/13.05 o 14171 16.78/13.05 o 14170 16.78/13.05 o 14169 16.78/13.06 o 14168 18.10/14.30 o 14166 18.10/14.30 o 14164 18.10/14.30 o 14163 18.10/14.30 o 14162 18.10/14.30 o 14161 18.10/14.30 o 14160 18.10/14.30 o 14159 18.10/14.30 o 14158 18.10/14.30 o 14157 18.10/14.30 o 14156 18.10/14.30 o 14155 18.10/14.30 o 14154 18.10/14.30 o 14153 18.10/14.30 o 14152 18.10/14.30 o 14151 18.10/14.30 o 14150 18.10/14.30 o 14149 18.10/14.30 o 14148 18.10/14.30 o 14147 18.10/14.31 o 14146 18.10/14.31 o 14144 18.10/14.31 o 14143 18.10/14.31 o 14142 18.10/14.31 o 14141 18.10/14.31 o 14140 18.10/14.32 o 14139 18.10/14.34 o 14138 18.10/14.35 o 14137 18.10/14.35 o 14136 18.10/14.35 o 14135 18.10/14.35 o 14134 18.10/14.35 o 14133 18.10/14.39 o 14130 18.10/14.39 o 14129 18.10/14.39 o 14126 18.10/14.39 o 14125 18.10/14.39 o 14118 18.10/14.39 o 14117 18.10/14.39 o 14113 18.10/14.39 o 14112 18.10/14.39 o 14111 18.10/14.39 o 14103 18.10/14.39 o 14102 18.10/14.40 o 14100 18.10/14.40 o 14099 18.10/14.40 o 14098 18.10/14.40 o 14097 18.21/14.40 o 14096 18.21/14.41 o 14094 18.21/14.41 o 14093 18.21/14.41 o 14092 18.21/14.43 o 14091 18.21/14.43 o 14090 18.21/14.44 o 14089 18.21/14.44 o 14088 18.21/14.46 o 14087 18.21/14.49 o 14086 18.41/14.69 o 14085 18.51/14.75 o 14064 18.51/14.75 o 14060 18.51/14.75 o 14059 18.51/14.78 o 14058 18.51/14.78 o 14057 18.51/14.79 o 14056 18.51/14.79 o 14055 18.61/14.82 o 14054 18.61/14.90 o 14053 18.71/14.97 o 14052 18.92/15.14 o 14051 18.92/15.16 o 14050 19.02/15.27 o 14049 19.12/15.32 o 14048 19.22/15.43 o 14047 19.32/15.57 o 14046 19.32/15.57 o 14045 19.32/15.57 o 14044 19.42/15.60 o 14043 19.42/15.60 o 14042 19.42/15.60 o 14041 19.42/15.60 o 14040 19.42/15.60 o 14039 19.42/15.60 o 14038 19.42/15.60 o 14037 19.42/15.60 o 14036 19.42/15.60 o 14020 19.42/15.60 o 14019 19.42/15.60 o 14018 19.42/15.61 o 14017 19.42/15.61 o 14016 19.42/15.61 o 14014 19.42/15.61 o 14013 19.42/15.61 o 14012 19.42/15.61 o 14011 19.42/15.62 o 14004 19.42/15.62 o 14003 19.42/15.62 o 14002 19.42/15.62 o 14000 19.42/15.62 o 13999 19.42/15.62 o 13998 19.42/15.62 o 13874 19.42/15.62 o 13873 19.42/15.62 o 13872 19.42/15.62 o 13871 19.42/15.62 o 13870 19.42/15.62 o 13866 19.42/15.62 o 13865 19.42/15.62 o 13864 19.42/15.62 o 13863 19.42/15.63 o 13862 19.42/15.63 o 13861 19.42/15.67 o 13860 19.53/15.71 o 13859 19.53/15.71 o 13858 19.53/15.71 o 13857 19.53/15.71 o 13853 19.53/15.71 o 13852 19.53/15.71 o 13850 19.53/15.71 o 13849 19.53/15.71 o 13848 19.53/15.72 o 13847 19.53/15.73 o 13845 19.53/15.73 o 13844 19.53/15.75 o 13843 19.53/15.75 o 13842 19.63/15.82 o 13841 19.63/15.82 o 13840 19.63/15.82 o 13839 19.63/15.82 o 13838 19.63/15.83 o 13837 19.63/15.88 o 13836 19.73/15.92 o 13822 19.73/15.92 o 13821 19.73/15.93 o 13809 19.73/15.93 o 13808 19.73/15.93 o 13807 19.73/15.93 o 13805 19.73/15.93 o 13804 19.73/15.93 o 13754 19.73/15.93 o 13753 19.73/15.94 o 13747 19.73/15.94 o 13746 19.73/15.94 o 13743 19.73/15.94 o 13742 19.73/15.94 o 13741 19.73/15.94 o 13740 19.73/16.00 o 13738 19.73/16.00 o 13737 19.73/16.00 o 13736 19.84/16.03 o 13735 19.84/16.04 o 13734 19.84/16.04 o 13733 19.84/16.04 o 13732 19.84/16.04 o 13731 19.84/16.09 o 13730 19.94/16.12 o 13729 19.94/16.15 o 13718 19.94/16.15 o 13589 19.94/16.15 o 13578 19.94/16.16 o 13575 19.94/16.17 o 13574 19.94/16.17 o 13573 20.03/16.21 o 13572 20.03/16.21 o 13571 20.03/16.23 o 13570 20.03/16.25 o 13569 20.03/16.26 o 13568 20.03/16.29 o 13567 20.03/16.29 o 13566 20.13/16.34 o 13565 20.13/16.37 o 13564 20.43/16.64 o 13561 20.43/16.64 o 13560 20.43/16.65 o 13559 20.74/16.90 o 13558 20.74/16.90 o 13557 20.74/16.90 o 13556 20.74/16.90 o 13555 20.84/17.08 o 13546 20.84/17.08 o 13545 20.84/17.08 o 13534 20.84/17.08 o 13531 20.84/17.08 o 13527 20.84/17.08 o 13509 20.84/17.08 o 13471 20.84/17.08 o 13470 20.84/17.08 o 13466 20.84/17.08 o 13465 20.84/17.08 o 13464 20.84/17.08 o 13461 20.84/17.08 o 13459 20.84/17.08 o 13458 20.84/17.08 o 13454 20.84/17.08 o 13451 20.84/17.08 o 13450 20.84/17.08 o 13447 20.84/17.08 o 13446 20.94/17.14 o 13445 21.03/17.23 o 13444 21.03/17.24 o 13442 21.03/17.24 o 13441 21.03/17.25 o 13440 21.03/17.25 o 13439 21.03/17.25 o 13438 21.03/17.25 o 13436 21.03/17.25 o 13435 21.03/17.25 o 13434 21.03/17.28 o 13433 21.13/17.34 o 13432 21.13/17.35 o 13431 21.13/17.35 o 13430 21.13/17.35 o 13429 21.13/17.39 o 13428 21.23/17.43 o 13427 21.23/17.43 o 13426 22.04/18.20 o 13425 22.04/18.21 o 13424 22.04/18.21 o 13423 22.04/18.21 o 13422 22.04/18.21 o 13421 22.04/18.21 o 13420 22.04/18.21 o 13419 22.04/18.21 o 13418 22.04/18.22 o 13417 22.04/18.22 o 13389 22.04/18.22 o 13388 22.04/18.23 o 13382 22.04/18.23 o 13381 22.04/18.23 o 13369 22.04/18.23 o 13368 22.04/18.23 o 13367 22.04/18.23 o 13366 22.04/18.23 o 13363 22.04/18.23 o 13362 22.04/18.24 o 13361 22.04/18.24 o 13360 22.04/18.24 o 13359 22.04/18.24 o 13358 22.04/18.25 o 13357 22.04/18.25 o 13356 22.04/18.25 o 13355 22.04/18.25 o 13354 22.04/18.25 o 13352 22.04/18.25 o 13351 22.04/18.25 o 13350 22.04/18.27 o 13349 22.04/18.27 o 13348 22.04/18.28 o 13347 22.04/18.28 o 13346 22.04/18.28 o 13345 22.15/18.33 o 13344 22.15/18.33 o 13343 23.77/19.99 o 13340 23.77/19.99 o 13339 23.77/19.99 o 13338 23.77/19.99 o 13335 23.77/19.99 o 13334 23.77/19.99 o 13321 23.77/19.99 o 13320 23.77/19.99 o 13318 23.77/19.99 o 13317 23.77/19.99 o 13316 23.77/19.99 o 13313 23.77/19.99 o 13312 23.77/19.99 o 13311 23.77/20.00 o 13309 23.77/20.00 o 13308 23.77/20.00 o 13307 23.88/20.01 o 13306 23.88/20.01 o 13305 23.88/20.01 o 13304 23.88/20.02 o 13303 23.88/20.02 o 13302 23.88/20.02 o 13301 23.88/20.02 o 13300 23.88/20.03 o 13299 23.88/20.03 o 13298 23.88/20.06 o 13297 23.88/20.06 o 13296 23.88/20.06 o 13295 23.88/20.06 o 13294 23.88/20.06 o 13293 24.38/20.50 o 13292 24.38/20.51 o 13291 24.68/20.80 o 13286 24.68/20.80 o 13285 24.68/20.80 o 13283 24.68/20.80 o 13282 24.68/20.80 o 13281 24.68/20.81 o 13280 24.68/20.81 o 13279 24.68/20.81 o 13278 24.68/20.81 o 13277 24.68/20.81 o 13275 24.68/20.81 o 13274 24.68/20.81 o 13273 24.68/20.81 o 13271 24.68/20.81 o 13270 24.68/20.82 o 13269 24.68/20.82 o 13268 24.68/20.83 o 13253 24.68/20.83 o 13251 24.68/20.83 o 13242 24.68/20.83 o 13238 24.68/20.83 o 13215 24.68/20.83 o 13203 24.68/20.83 o 13162 24.68/20.84 o 13160 24.68/20.84 o 13156 24.68/20.84 o 13154 24.68/20.84 o 13153 24.68/20.84 o 13149 24.68/20.84 o 13141 24.68/20.84 o 13140 24.68/20.85 o 13139 25.90/22.10 o 13138 25.90/22.10 o 13137 25.90/22.10 o 13134 26.70/22.88 o 13133 28.92/25.02 o 13132 28.92/25.02 o 13130 28.92/25.02 o 13129 28.92/25.02 o 13128 28.92/25.02 o 13127 28.92/25.02 o 13126 28.92/25.02 o 13125 28.92/25.02 o 13122 28.92/25.02 o 13120 28.92/25.02 o 13119 28.92/25.02 o 13117 28.92/25.02 o 13116 28.92/25.02 o 13089 28.92/25.02 o 13088 28.92/25.02 o 13086 28.92/25.02 o 13085 28.92/25.02 o 13084 28.92/25.02 o 13081 28.92/25.02 o 13080 28.92/25.06 o 13073 28.92/25.06 o 13072 28.92/25.06 o 13068 28.92/25.06 o 13067 28.92/25.06 o 13064 28.92/25.06 o 13063 28.92/25.06 o 13062 28.92/25.06 o 13053 28.92/25.06 o 13052 28.92/25.06 o 13051 28.92/25.06 o 13030 28.92/25.06 o 13029 28.92/25.06 o 13028 28.92/25.06 o 13025 28.92/25.06 o 13024 28.92/25.06 o 13023 28.92/25.07 o 13010 28.92/25.07 o 13009 28.92/25.07 o 13008 28.92/25.07 o 12998 28.92/25.07 o 12992 28.92/25.07 o 12990 28.92/25.07 o 12989 28.92/25.07 o 12988 28.92/25.07 o 12987 28.92/25.07 o 12986 28.92/25.07 o 12985 28.92/25.07 o 12984 29.03/25.11 o 12983 29.03/25.12 o 12982 29.03/25.13 o 12979 29.03/25.15 o 12978 29.03/25.16 o 12977 29.03/25.18 o 12976 29.12/25.20 o 12974 29.12/25.20 o 12972 29.22/25.30 o 12971 29.22/25.33 o 12970 29.22/25.33 o 12969 29.22/25.34 o 12968 29.22/25.35 o 12967 29.42/25.52 o 12965 29.52/25.64 o 12964 29.52/25.66 o 12963 29.52/25.66 o 12962 29.63/25.72 o 12961 29.84/25.93 o 12959 29.84/25.93 o 12958 29.84/25.93 o 12956 29.84/25.93 o 12952 29.84/25.94 o 12950 29.84/25.94 o 12949 29.84/25.94 o 12948 29.84/25.94 o 12947 29.84/26.00 o 12946 29.94/26.05 o 12945 29.94/26.06 o 12943 29.94/26.06 o 12942 29.94/26.06 o 12941 30.14/26.24 o 12940 30.14/26.24 o 12939 30.24/26.39 o 12938 30.24/26.39 o 12937 30.34/26.41 o 12936 30.34/26.42 o 12935 30.34/26.47 o 12927 30.34/26.47 o 12926 30.34/26.47 o 12925 30.34/26.47 o 12924 30.34/26.48 o 12919 30.34/26.48 o 12918 30.34/26.48 o 12917 30.34/26.48 o 12914 30.34/26.48 o 12913 30.34/26.48 o 12912 30.34/26.48 o 12901 30.34/26.48 o 12900 30.34/26.48 o 12899 30.34/26.48 o 12894 30.34/26.48 o 12893 30.34/26.48 o 12892 30.34/26.49 o 12891 30.34/26.49 o 12890 30.34/26.49 o 12889 30.34/26.49 o 12888 30.34/26.49 o 12887 30.34/26.49 o 12885 30.34/26.49 o 12884 30.34/26.49 o 12883 30.44/26.50 o 12881 30.44/26.50 o 12880 30.44/26.50 o 12879 30.44/26.57 o 12878 30.44/26.57 o 12877 30.44/26.57 o 12876 30.44/26.57 o 12875 30.44/26.57 o 12873 30.44/26.57 o 12872 30.44/26.58 o 12861 30.44/26.58 o 12860 30.44/26.58 o 12858 30.44/26.58 o 12857 30.44/26.58 o 12845 30.44/26.58 o 12844 30.44/26.58 o 12841 30.44/26.58 o 12840 30.44/26.59 o 12816 30.44/26.59 o 12790 30.44/26.59 o 12789 30.44/26.59 o 12787 30.44/26.59 o 12782 30.44/26.59 o 12780 30.44/26.59 o 12779 30.44/26.59 o 12778 30.44/26.59 o 12777 30.44/26.59 o 12776 30.44/26.59 o 12775 30.44/26.59 o 12774 30.54/26.61 o 12773 30.54/26.61 o 12772 30.54/26.61 o 12771 30.54/26.67 o 12770 30.54/26.67 o 12769 30.54/26.67 o 12768 30.54/26.67 o 12767 30.54/26.68 o 12766 30.54/26.69 o 12765 30.75/26.87 o 12661 30.75/26.87 o 12660 30.75/26.87 o 12659 30.75/26.87 o 12658 30.75/26.87 o 12657 30.75/26.87 o 12656 30.75/26.87 o 12655 30.75/26.87 o 12654 30.75/26.87 o 12653 30.75/26.87 o 12652 30.75/26.87 o 12651 30.75/26.87 o 12650 30.75/26.87 o 12649 30.75/26.87 o 12648 30.75/26.87 o 12647 30.75/26.87 o 12637 30.75/26.87 o 12636 30.75/26.87 o 12635 30.75/26.87 o 12634 30.75/26.87 o 12633 30.75/26.87 o 12632 30.75/26.88 o 12631 30.75/26.88 o 12629 30.75/26.88 o 12628 30.75/26.88 o 12627 30.75/26.88 o 12626 30.75/26.88 o 12625 30.75/26.88 o 12624 30.75/26.88 o 12623 30.75/26.88 o 12622 30.75/26.88 o 12621 30.75/26.88 o 12620 30.75/26.88 o 12619 30.75/26.88 o 12618 30.75/26.88 o 12617 30.85/26.92 o 12616 30.85/26.92 o 12615 30.85/26.93 o 12614 30.85/26.99 o 12613 30.85/26.99 o 12612 30.85/26.99 o 12611 30.96/27.10 o 12610 30.96/27.10 o 12609 30.96/27.11 o 12608 30.96/27.11 o 12607 30.96/27.11 o 12606 31.15/27.29 o 12605 31.26/27.35 o 12604 31.46/27.60 o 12603 31.46/27.60 o 12602 31.46/27.60 o 12601 31.46/27.60 o 12599 31.46/27.60 o 12598 31.46/27.60 o 12597 31.46/27.60 o 12596 31.46/27.60 o 12577 31.46/27.60 o 12576 31.46/27.60 o 12575 31.46/27.60 o 12574 31.56/27.60 o 12571 31.56/27.60 o 12570 31.56/27.60 o 12569 31.56/27.60 o 12568 31.56/27.60 o 12567 31.56/27.60 o 12566 31.56/27.60 o 12565 31.56/27.60 o 12564 31.56/27.60 o 12563 31.56/27.60 o 12562 31.56/27.60 o 12561 31.56/27.60 o 12560 31.56/27.60 o 12549 31.56/27.60 o 12548 31.56/27.60 o 12547 31.56/27.60 o 12546 31.56/27.60 o 12545 31.56/27.60 o 12544 31.56/27.60 o 12543 31.56/27.60 o 12542 31.56/27.60 o 12541 31.56/27.60 o 12540 31.56/27.60 o 12539 31.56/27.60 o 12538 31.56/27.60 o 12537 31.56/27.60 o 12536 31.56/27.63 o 12535 31.56/27.63 o 12534 31.56/27.63 o 12533 31.56/27.64 o 12532 31.56/27.64 o 12531 31.68/27.73 o 12530 31.68/27.73 o 12529 31.68/27.76 o 12528 31.68/27.76 o 12527 31.68/27.76 o 12526 34.24/30.27 o 12482 34.24/30.27 o 12481 34.24/30.27 o 12480 34.24/30.27 o 12478 34.24/30.27 o 12477 34.24/30.27 o 12476 34.24/30.27 o 12475 34.24/30.27 o 12474 34.24/30.27 o 12473 34.24/30.27 o 12472 34.24/30.27 o 12471 34.24/30.28 o 12470 34.24/30.28 o 12469 34.24/30.29 o 12467 34.24/30.29 o 12465 34.34/30.31 o 12464 34.34/30.32 o 12463 34.34/30.32 o 12462 35.65/31.61 o 12461 35.65/31.61 o 12460 36.06/32.04 o 12459 36.35/32.35 o 12458 36.76/32.74 o 12457 36.76/32.75 o 12456 36.96/32.90 o 12454 36.96/32.90 o 12425 36.96/32.90 o 12405 36.96/32.90 o 12354 36.96/32.90 o 12338 36.96/32.90 o 12336 36.96/32.90 o 12330 36.96/32.90 o 12326 36.96/32.90 o 12319 36.96/32.90 o 12318 36.96/32.91 o 12317 39.49/35.50 o 12316 39.49/35.50 o 12315 39.49/35.50 o 12314 39.49/35.50 o 12313 39.49/35.50 o 12312 39.49/35.50 o 12311 39.49/35.50 o 12310 39.49/35.50 o 12308 39.59/35.50 o 12307 39.59/35.50 o 12306 39.59/35.50 o 12305 39.59/35.50 o 12304 39.59/35.50 o 12303 39.59/35.50 o 12302 39.59/35.50 o 12301 39.59/35.50 o 12300 39.59/35.50 o 12299 39.59/35.50 o 12298 39.59/35.50 o 12297 39.59/35.50 o 12275 39.59/35.50 o 12274 39.59/35.50 o 12273 39.59/35.50 o 12272 39.59/35.51 o 12251 39.59/35.51 o 12249 39.59/35.51 o 12248 39.59/35.51 o 12239 39.59/35.51 o 12238 39.59/35.51 o 12237 39.59/35.51 o 12236 39.59/35.51 o 12235 39.59/35.51 o 12234 39.69/35.64 o 12233 39.69/35.64 o 12232 39.69/35.64 o 12231 39.69/35.64 o 12230 39.69/35.64 o 12229 39.79/35.78 o 12228 39.99/35.90 o 12224 39.99/35.90 o 12222 39.99/35.90 o 12221 39.99/35.91 o 12218 39.99/35.91 o 12217 39.99/35.91 o 12216 39.99/35.91 o 12215 39.99/35.91 o 12214 39.99/35.91 o 12213 39.99/35.91 o 12212 39.99/35.92 o 12211 39.99/35.92 o 12210 39.99/35.92 o 12209 39.99/35.92 o 12208 40.11/36.06 o 12204 40.11/36.06 o 12203 40.11/36.06 o 12202 40.11/36.06 o 12201 40.11/36.06 o 12200 40.11/36.06 o 12199 40.11/36.06 o 12198 40.11/36.06 o 12197 40.11/36.06 o 12169 40.11/36.06 o 12168 40.11/36.06 o 12167 40.11/36.06 o 12166 40.11/36.06 o 12163 40.11/36.06 o 12162 40.11/36.06 o 12161 40.11/36.06 o 12160 40.11/36.07 o 12159 40.11/36.07 o 12158 40.11/36.07 o 12157 40.11/36.07 o 12156 40.11/36.07 o 12155 40.11/36.07 o 12154 40.11/36.07 o 12153 40.11/36.07 o 12150 40.11/36.07 o 12149 40.11/36.07 o 12148 40.11/36.07 o 12147 40.11/36.07 o 12142 40.11/36.07 o 12141 40.11/36.07 o 12140 40.11/36.07 o 12139 40.11/36.07 o 12138 40.11/36.10 o 12137 40.11/36.10 o 12136 40.40/36.35 o 12135 40.70/36.62 o 12116 40.70/36.62 o 12115 40.70/36.62 o 12114 40.70/36.62 o 12113 40.70/36.62 o 12112 40.70/36.62 o 12026 40.70/36.62 o 12025 40.70/36.62 o 12024 40.70/36.62 o 12023 40.70/36.62 o 12022 40.70/36.62 o 12021 40.70/36.62 o 12020 40.70/36.63 o 12019 40.70/36.63 o 12018 40.70/36.63 o 12017 40.70/36.63 o 12016 40.70/36.64 o 12015 40.70/36.65 o 12014 40.81/36.75 o 12013 40.81/36.75 o 12012 40.81/36.76 o 12011 40.91/36.82 o 12010 41.01/36.95 o 12009 41.01/36.98 o 12008 41.01/36.99 o 12007 41.23/37.19 o 12006 41.23/37.19 o 12005 41.23/37.19 o 12004 41.23/37.19 o 12003 41.23/37.19 o 12002 41.23/37.19 o 12001 41.23/37.19 o 12000 41.23/37.19 o 11999 41.23/37.19 o 11998 41.23/37.19 o 11997 41.23/37.19 o 11996 41.23/37.19 o 11995 42.03/37.91 o 11994 42.53/38.50 o 11993 42.63/38.51 o 11992 42.63/38.52 o 11989 42.63/38.52 o 11987 42.93/38.83 o 11986 42.93/38.83 o 11985 42.93/38.83 o 11984 42.93/38.83 o 11983 42.93/38.83 o 11982 42.93/38.83 o 11981 42.93/38.83 o 11980 42.93/38.83 o 11979 42.93/38.83 o 11978 42.93/38.83 o 11930 42.93/38.83 o 11922 42.93/38.83 o 11921 42.93/38.83 o 11920 42.93/38.83 o 11919 42.93/38.83 o 11915 42.93/38.83 o 11914 42.93/38.84 o 11913 42.93/38.84 o 11910 42.93/38.84 o 11909 42.93/38.84 o 11908 42.93/38.84 o 11907 42.93/38.84 o 11906 42.93/38.84 o 11905 42.93/38.84 o 11904 42.93/38.84 o 11903 42.93/38.84 o 11883 42.93/38.84 o 11882 42.93/38.84 o 11881 42.93/38.84 o 11880 42.93/38.84 o 11879 42.93/38.84 o 11878 42.93/38.84 o 11877 42.93/38.84 o 11876 42.93/38.84 o 11875 42.93/38.85 o 11874 42.93/38.85 o 11873 42.93/38.85 o 11872 42.93/38.85 o 11870 42.93/38.85 o 11869 42.93/38.85 o 11868 42.93/38.85 o 11867 42.93/38.85 o 11866 42.93/38.86 o 11865 43.04/38.99 o 11864 44.66/40.53 o 11860 44.66/40.53 o 11859 44.66/40.53 o 11856 44.66/40.53 o 11855 44.66/40.53 o 11854 44.66/40.53 o 11853 44.66/40.53 o 11842 44.66/40.53 o 11841 44.66/40.53 o 11840 44.66/40.53 o 11839 44.66/40.53 o 11833 44.66/40.53 o 11831 44.66/40.53 o 11830 44.66/40.53 o 11829 44.66/40.53 o 11828 44.66/40.53 o 11827 44.66/40.53 o 11826 44.66/40.53 o 11825 44.66/40.53 o 11824 44.66/40.53 o 11823 44.66/40.53 o 11822 44.66/40.53 o 11821 44.66/40.53 o 11813 44.66/40.53 o 11812 44.66/40.53 o 11811 44.66/40.53 o 11810 44.66/40.53 o 11809 44.66/40.53 o 11808 44.66/40.53 o 11807 44.66/40.53 o 11806 44.66/40.53 o 11805 44.66/40.53 o 11802 44.66/40.54 o 11801 44.66/40.54 o 11800 44.66/40.54 o 11799 44.66/40.54 o 11795 44.66/40.54 o 11794 44.66/40.54 o 11793 44.66/40.54 o 11792 44.66/40.54 o 11791 44.66/40.54 o 11788 44.66/40.54 o 11787 44.66/40.54 o 11785 44.66/40.54 o 11784 44.66/40.54 o 11783 44.66/40.54 o 11782 44.66/40.54 o 11781 44.66/40.54 o 11780 44.66/40.54 o 11777 44.66/40.54 o 11776 44.66/40.54 o 11774 44.66/40.54 o 11773 44.66/40.54 o 11771 44.66/40.54 o 11770 44.66/40.54 o 11769 44.66/40.54 o 11768 44.66/40.55 o 11764 44.66/40.55 o 11763 44.66/40.59 o 11762 44.66/40.59 o 11759 44.66/40.60 o 11758 44.76/40.60 o 11757 45.18/41.09 o 11756 45.18/41.09 o 11755 45.18/41.10 o 11754 45.18/41.10 o 11753 45.37/41.21 o 11751 45.37/41.21 o 11746 45.37/41.22 o 11735 45.37/41.22 o 11727 45.37/41.22 o 11721 45.37/41.22 o 11715 45.37/41.22 o 11714 45.37/41.22 o 11713 45.37/41.22 o 11707 45.37/41.22 o 11701 45.37/41.22 o 11675 45.37/41.22 o 11669 45.37/41.22 o 11665 45.37/41.22 o 11656 45.37/41.23 o 11655 45.47/41.31 o 11654 45.47/41.31 o 11653 45.47/41.33 o 11652 45.47/41.34 o 11651 45.47/41.34 o 11650 45.47/41.36 o 11649 45.57/41.43 o 11648 45.57/41.44 o 11647 45.57/41.44 o 11646 45.68/41.57 o 11645 45.88/41.77 o 11644 45.88/41.77 o 11643 45.88/41.78 o 11642 45.88/41.78 o 11641 46.49/42.39 o 11608 46.49/42.39 o 11607 46.49/42.39 o 11601 46.49/42.39 o 11600 46.49/42.39 o 11599 46.49/42.39 o 11598 46.49/42.39 o 11597 46.49/42.39 o 11581 46.49/42.39 o 11580 46.49/42.39 o 11579 46.49/42.39 o 11578 46.49/42.39 o 11577 46.49/42.39 o 11576 46.49/42.39 o 11575 46.49/42.39 o 11574 46.49/42.39 o 11573 46.49/42.39 o 11572 46.49/42.39 o 11532 46.49/42.39 o 11531 46.49/42.39 o 11530 46.49/42.39 o 11509 46.49/42.39 o 11508 46.49/42.39 o 11507 46.49/42.39 o 11506 46.49/42.39 o 11505 46.49/42.39 o 11504 46.49/42.39 o 11503 46.49/42.39 o 11498 46.49/42.39 o 11497 46.49/42.39 o 11496 46.49/42.39 o 11495 46.49/42.39 o 11494 46.49/42.39 o 11493 46.49/42.40 o 11486 46.49/42.40 o 11485 46.49/42.40 o 11484 46.49/42.40 o 11483 46.59/42.40 o 11476 46.59/42.40 o 11475 46.59/42.40 o 11474 46.59/42.40 o 11473 46.59/42.40 o 11471 46.59/42.40 o 11470 46.59/42.40 o 11469 46.59/42.40 o 11468 46.59/42.40 o 11467 46.59/42.40 o 11466 46.59/42.40 o 11465 46.59/42.40 o 11464 46.59/42.41 o 11459 46.59/42.41 o 11440 46.59/42.41 o 11439 46.59/42.41 o 11435 46.59/42.41 o 11434 46.59/42.41 o 11423 46.59/42.41 o 11422 46.59/42.41 o 11421 46.59/42.41 o 11420 46.59/42.41 o 11419 46.59/42.41 o 11418 46.59/42.41 o 11417 46.59/42.41 o 11416 46.59/42.41 o 11415 46.59/42.41 o 11414 46.59/42.41 o 11413 46.59/42.41 o 11376 46.59/42.41 o 11375 46.59/42.42 o 11374 46.59/42.42 o 11373 46.59/42.42 o 11372 46.59/42.42 o 11371 46.59/42.42 o 11370 46.59/42.42 o 11369 46.59/42.45 o 11368 46.59/42.47 o 11367 46.70/42.51 o 11366 46.80/42.65 o 11365 46.80/42.65 o 11364 46.80/42.65 o 11363 46.80/42.65 o 11362 46.80/42.65 o 11361 46.80/42.65 o 11347 46.80/42.65 o 11346 46.80/42.65 o 11345 46.80/42.65 o 11344 46.80/42.65 o 11343 46.80/42.65 o 11342 46.80/42.65 o 11341 46.80/42.65 o 11340 46.80/42.65 o 11339 46.80/42.65 o 11338 46.80/42.65 o 11337 46.80/42.65 o 11336 46.80/42.65 o 11335 46.80/42.66 o 11334 46.80/42.66 o 11333 46.80/42.67 o 11332 46.90/42.70 o 11331 46.90/42.70 o 11330 46.90/42.70 o 11329 46.90/42.73 o 11328 46.90/42.75 o 11327 46.90/42.77 o 11326 46.90/42.80 o 11325 47.01/42.82 o 11324 47.01/42.85 o 11323 47.11/42.91 o 11322 47.11/42.98 o 11318 47.11/42.98 o 11317 47.11/42.98 o 11310 47.11/42.98 o 11309 47.11/42.98 o 11306 47.11/42.98 o 11305 47.11/42.98 o 11298 47.11/42.98 o 11297 47.11/42.98 o 11295 47.11/42.98 o 11294 47.11/42.98 o 11293 47.11/42.98 o 11292 47.11/42.98 o 11291 47.11/42.99 o 11290 47.22/43.01 o 11289 47.22/43.01 o 11288 47.22/43.01 o 11287 47.32/43.19 o 11286 47.41/43.22 o 11210 47.41/43.23 o 11204 47.41/43.23 o 11183 47.41/43.23 o 11181 47.41/43.23 o 11180 47.91/43.71 o 11179 47.91/43.73 o 11178 48.73/44.56 o 11177 49.25/45.05 o 11176 49.25/45.06 o 11175 49.25/45.06 o 11174 49.25/45.06 o 11173 49.25/45.07 o 11172 49.35/45.13 o 11156 49.35/45.13 o 11154 49.35/45.13 o 11125 49.35/45.13 o 11121 49.35/45.13 o 11119 49.35/45.13 o 11118 49.35/45.13 o 11117 49.35/45.13 o 11116 49.35/45.13 o 11115 49.35/45.13 o 11114 49.35/45.13 o 11113 49.35/45.13 o 11112 49.35/45.14 o 11111 49.35/45.14 o 11110 49.35/45.14 o 11105 49.35/45.14 o 11104 49.35/45.14 o 11103 49.35/45.14 o 11102 49.35/45.14 o 11097 49.35/45.14 o 11096 49.35/45.14 o 11095 49.35/45.14 o 11094 49.35/45.14 o 11069 49.35/45.14 o 11068 49.35/45.14 o 11067 49.35/45.14 o 11066 49.35/45.14 o 11054 49.35/45.14 o 11053 49.35/45.14 o 11052 49.35/45.14 o 11051 49.35/45.15 o 11050 49.35/45.15 o 11049 49.35/45.15 o 11048 49.35/45.15 o 11047 49.35/45.15 o 11032 49.35/45.15 o 11031 49.35/45.15 o 11030 49.35/45.15 o 11029 49.35/45.15 o 11028 49.35/45.15 o 11027 49.35/45.15 o 11025 49.35/45.15 o 11024 49.35/45.15 o 11023 49.35/45.15 o 11022 49.35/45.15 o 11021 49.35/45.18 o 11020 49.35/45.18 o 11019 49.35/45.19 o 11018 49.35/45.19 o 11017 49.44/45.25 o 11016 49.44/45.26 o 11015 49.44/45.26 o 11014 49.44/45.26 o 11013 49.54/45.34 o 10989 49.54/45.34 o 10988 49.54/45.34 o 10987 49.54/45.34 o 10986 49.54/45.34 o 10985 49.54/45.34 o 10984 49.54/45.34 o 10983 49.54/45.36 o 10982 49.54/45.36 o 10981 49.54/45.37 o 10980 49.54/45.38 o 10979 49.65/45.41 o 10978 49.65/45.42 o 10977 49.65/45.42 o 10976 49.65/45.43 o 10975 49.65/45.49 o 10974 49.75/45.51 o 10973 49.85/45.64 o 10972 49.85/45.64 o 10971 49.85/45.65 o 10970 49.95/45.74 o 10954 49.95/45.74 o 10953 49.95/45.74 o 10952 49.95/45.74 o 10951 49.95/45.74 o 10949 49.95/45.74 o 10948 49.95/45.74 o 10947 49.95/45.74 o 10946 49.95/45.75 o 10945 49.95/45.75 o 10932 49.95/45.75 o 10931 49.95/45.75 o 10930 49.95/45.75 o 10929 49.95/45.75 o 10928 49.95/45.75 o 10876 49.95/45.75 o 10875 49.95/45.75 o 10874 49.95/45.75 o 10873 49.95/45.75 o 10872 49.95/45.75 o 10854 49.95/45.75 o 10853 49.95/45.75 o 10852 49.95/45.75 o 10851 49.95/45.75 o 10850 49.95/45.76 o 10838 49.95/45.76 o 10837 49.95/45.76 o 10836 49.95/45.76 o 10835 49.95/45.76 o 10834 49.95/45.76 o 10833 49.95/45.77 o 10832 49.95/45.77 o 10831 49.95/45.77 o 10830 49.95/45.77 o 10829 49.95/45.77 o 10828 49.95/45.78 o 10827 50.06/45.80 o 10826 50.06/45.80 o 10825 50.06/45.83 o 10824 50.06/45.86 o 10822 50.06/45.86 o 10821 50.06/45.86 o 10820 50.06/45.86 o 10819 50.06/45.87 o 10752 50.06/45.87 o 10751 50.06/45.87 o 10750 50.06/45.87 o 10749 50.06/45.87 o 10735 50.06/45.87 o 10734 50.06/45.87 o 10733 50.06/45.87 o 10732 50.06/45.88 o 10731 50.06/45.89 o 10730 50.16/45.95 o 10729 50.16/45.96 o 10728 50.16/45.96 o 10727 50.27/46.02 o 10726 50.27/46.02 o 10725 50.38/46.13 o 10687 50.38/46.13 o 10686 50.38/46.13 o 10685 50.38/46.13 o 10684 50.38/46.13 o 10683 50.38/46.13 o 10681 50.38/46.13 o 10680 50.38/46.13 o 10679 50.38/46.13 o 10678 50.38/46.13 o 10677 50.38/46.13 o 10676 50.38/46.13 o 10675 50.38/46.13 o 10674 50.38/46.13 o 10673 50.38/46.13 o 10672 50.38/46.13 o 10649 50.38/46.13 o 10648 50.38/46.13 o 10647 50.38/46.13 o 10646 50.38/46.14 o 10645 50.38/46.14 o 10637 50.38/46.14 o 10636 50.38/46.14 o 10635 50.38/46.14 o 10634 50.38/46.14 o 10633 50.38/46.14 o 10632 50.38/46.14 o 10627 50.38/46.14 o 10626 50.38/46.14 o 10625 50.38/46.14 o 10624 50.38/46.14 o 10623 50.38/46.15 o 10622 50.38/46.15 o 10621 50.38/46.16 o 10620 50.38/46.17 o 10619 50.38/46.19 o 10618 50.38/46.19 o 10617 50.47/46.20 o 10616 50.47/46.21 o 10615 50.47/46.22 o 10614 50.47/46.24 o 10613 50.47/46.29 o 10612 50.47/46.29 o 10611 50.47/46.29 o 10610 50.47/46.29 o 10609 50.47/46.29 o 10608 50.47/46.29 o 10604 50.47/46.29 o 10603 50.47/46.29 o 10602 50.47/46.29 o 10601 50.47/46.29 o 10582 50.47/46.29 o 10581 50.47/46.29 o 10580 50.47/46.29 o 10572 50.47/46.29 o 10571 50.47/46.29 o 10569 50.47/46.29 o 10568 50.47/46.29 o 10565 50.47/46.29 o 10564 50.47/46.29 o 10562 50.47/46.29 o 10561 50.47/46.29 o 10560 50.47/46.29 o 10559 50.47/46.29 o 10558 50.47/46.29 o 10557 50.47/46.29 o 10556 50.47/46.29 o 10555 50.47/46.29 o 10554 50.47/46.29 o 10553 50.47/46.29 o 10552 50.47/46.29 o 10551 50.57/46.30 o 10550 50.57/46.30 o 10547 50.57/46.30 o 10545 50.57/46.31 o 10542 50.57/46.32 o 10541 50.57/46.32 o 10538 50.57/46.33 o 10535 50.57/46.34 o 10505 50.57/46.34 o 10492 50.57/46.34 o 10480 50.57/46.34 o 10475 50.57/46.34 o 10474 50.57/46.34 o 10472 50.57/46.34 o 10467 50.57/46.35 o 10466 50.57/46.35 o 10463 50.57/46.35 o 10462 50.57/46.36 o 10461 50.57/46.36 o 10460 50.57/46.38 o 10459 50.57/46.38 o 10458 50.57/46.39 o 10456 50.57/46.39 o 10455 50.67/46.49 o 10397 50.67/46.49 o 10396 50.67/46.49 o 10395 50.67/46.49 o 10389 50.67/46.49 o 10388 50.67/46.49 o 10387 50.67/46.49 o 10385 50.67/46.49 o 10384 50.67/46.49 o 10383 50.67/46.49 o 10382 50.67/46.49 o 10381 50.67/46.49 o 10380 50.67/46.49 o 10379 50.67/46.49 o 10378 50.67/46.49 o 10375 50.67/46.49 o 10374 50.67/46.49 o 10373 50.77/46.50 o 10368 50.77/46.50 o 10367 50.77/46.50 o 10366 50.77/46.50 o 10355 50.77/46.50 o 10354 50.77/46.50 o 10353 50.77/46.51 o 10352 50.77/46.51 o 10347 50.77/46.51 o 10346 50.77/46.51 o 10345 50.77/46.51 o 10337 50.77/46.51 o 10336 50.77/46.51 o 10335 50.77/46.51 o 10334 50.77/46.51 o 10333 50.77/46.51 o 10332 50.77/46.51 o 10331 50.77/46.51 o 10330 50.77/46.51 o 10329 50.77/46.53 o 10328 50.87/46.63 o 10327 50.87/46.64 o 10326 50.87/46.64 o 10325 50.87/46.67 o 10324 50.97/46.74 o 10304 50.97/46.74 o 10182 50.97/46.74 o 10181 50.97/46.74 o 10178 50.97/46.74 o 10177 50.97/46.74 o 10176 50.97/46.74 o 10174 50.97/46.78 o 10172 51.07/46.85 o 10170 51.07/46.86 o 10169 51.17/46.91 o 10168 51.39/47.16 o 10167 51.78/47.60 o 10166 51.78/47.60 o 10165 51.99/47.74 o 10124 51.99/47.74 o 10123 51.99/47.74 o 10112 51.99/47.74 o 10111 51.99/47.74 o 10095 51.99/47.74 o 10094 51.99/47.74 o 10093 51.99/47.74 o 10092 51.99/47.74 o 10091 51.99/47.74 o 10090 51.99/47.75 o 10089 51.99/47.75 o 10084 51.99/47.75 o 10083 51.99/47.75 o 10082 51.99/47.76 o 10081 51.99/47.76 o 10077 51.99/47.76 o 10076 51.99/47.76 o 10075 51.99/47.76 o 10074 51.99/47.76 o 10072 51.99/47.76 o 10071 51.99/47.76 o 10070 51.99/47.76 o 10069 51.99/47.77 o 10068 51.99/47.77 o 10067 51.99/47.79 o 10066 52.08/47.80 o 10065 52.08/47.87 o 10054 52.08/47.87 o 10053 52.08/47.88 o 10033 52.08/47.88 o 10031 52.08/47.88 o 10030 52.08/47.89 o 10029 52.08/47.89 o 9987 52.08/47.89 o 9986 52.08/47.89 o 9985 52.08/47.89 o 9912 52.08/47.89 o 9911 52.08/47.89 o 9910 52.18/47.90 o 9908 52.18/47.90 o 9907 52.18/47.90 o 9906 52.18/47.90 o 9905 52.18/47.91 o 9904 52.18/47.91 o 9903 52.18/47.92 o 9902 52.18/47.92 o 9901 52.18/47.92 o 9900 53.20/49.00 o 9892 53.20/49.00 o 9882 53.20/49.00 o 9826 53.20/49.00 o 9814 53.20/49.00 o 9813 53.20/49.00 o 9808 53.20/49.00 o 9792 53.20/49.00 o 9790 53.20/49.00 o 9771 53.20/49.00 o 9763 53.20/49.00 o 9762 53.31/49.01 o 9761 53.31/49.01 o 9760 53.31/49.03 o 9759 53.31/49.03 o 9758 53.31/49.03 o 9739 53.31/49.04 o 9738 53.31/49.04 o 9736 53.31/49.04 o 9735 53.31/49.04 o 9734 53.31/49.04 o 9728 53.31/49.04 o 9727 53.31/49.05 o 9726 53.31/49.06 o 9725 54.21/49.91 o 9724 54.93/50.68 o 9721 54.93/50.68 o 9667 54.93/50.68 o 9645 54.93/50.68 o 9642 54.93/50.68 o 9640 55.03/50.73 o 9639 55.13/50.80 o 9638 55.13/50.80 o 9636 55.13/50.80 o 9635 55.13/50.80 o 9634 55.13/50.80 o 9633 55.13/50.81 o 9632 55.23/51.00 o 9631 55.44/51.12 o 9630 55.73/51.48 o 9629 55.73/51.49 o 9583 55.73/51.49 o 9573 55.73/51.49 o 9568 55.84/51.50 o 9567 55.84/51.50 o 9564 55.84/51.51 o 9563 55.84/51.51 o 9539 55.84/51.51 o 9524 55.84/51.52 o 9518 55.84/51.55 o 9413 55.84/51.56 o 9400 55.84/51.56 o 9399 55.84/51.56 o 9398 55.84/51.56 o 9397 55.84/51.56 o 9396 55.84/51.56 o 9395 55.84/51.57 o 9394 55.84/51.57 o 9393 55.84/51.57 o 9392 55.84/51.57 o 9373 55.84/51.57 o 9372 55.84/51.58 o 9371 55.84/51.58 o 9369 55.84/51.60 o 9364 55.95/51.63 o 9360 56.05/51.71 o 9310 56.05/51.71 o 9307 56.05/51.72 o 9272 56.05/51.72 o 9268 56.05/51.72 o 9266 56.05/51.72 o 9265 56.05/51.77 o 9264 56.05/51.77 o 9263 56.05/51.77 o 9262 56.05/51.79 o 9261 56.15/51.83 o 9260 56.15/51.89 o 9259 56.15/51.89 o 9258 56.15/51.89 o 9257 56.25/51.92 o 9256 56.25/51.98 o 9254 56.25/51.98 o 9248 56.25/51.99 o 9245 56.36/52.02 o 9244 56.36/52.02 o 9243 56.36/52.03 o 9242 56.36/52.06 o 9240 56.36/52.09 o 9239 56.36/52.10 o 9237 56.47/52.11 o 9236 56.47/52.12 o 9235 56.47/52.14 o 9234 56.56/52.24 o 9221 56.56/52.24 o 9219 56.56/52.25 o 9212 56.56/52.25 o 9210 56.56/52.25 o 9208 56.56/52.25 o 9207 56.56/52.26 o 9206 56.56/52.27 o 9205 56.66/52.38 o 9204 56.66/52.38 o 9203 56.76/52.40 o 9202 56.76/52.46 o 9201 56.86/52.51 o 9180 56.86/52.51 o 9177 56.86/52.51 o 9176 56.86/52.51 o 9163 56.86/52.52 o 9162 56.86/52.52 o 9147 56.86/52.52 o 9146 56.86/52.52 o 9141 56.86/52.52 o 9140 56.86/52.52 o 9136 56.86/52.52 o 9135 56.86/52.53 o 9129 56.86/52.53 o 9128 56.86/52.56 o 9098 56.86/52.56 o 9096 56.86/52.56 o 9069 56.86/52.56 o 9066 56.86/52.56 o 9059 56.86/52.56 o 9052 56.86/52.56 o 9051 56.86/52.57 o 9049 56.86/52.57 o 9048 56.86/52.59 o 9047 56.86/52.60 o 9046 56.97/52.61 o 9045 56.97/52.63 o 9044 56.97/52.67 o 9043 57.07/52.71 o 9042 57.07/52.72 o 9041 57.17/52.82 o 9040 57.27/52.93 o 9006 57.27/52.93 o 9005 57.27/52.93 o 8989 57.27/52.93 o 8988 57.27/52.93 o 8970 57.27/52.93 o 8968 57.27/52.93 o 8962 57.27/52.93 o 8961 57.27/52.93 o 8960 57.27/52.93 o 8959 57.27/52.93 o 8958 57.27/52.94 o 8922 57.27/52.94 o 8921 57.27/52.94 o 8920 57.27/52.94 o 8919 57.27/52.94 o 8913 57.27/52.94 o 8912 57.27/52.94 o 8911 57.27/52.94 o 8910 57.27/52.95 o 8909 57.27/52.95 o 8908 57.27/52.95 o 8907 57.27/52.95 o 8906 57.27/52.95 o 8894 57.27/52.95 o 8893 57.27/52.95 o 8892 57.27/52.96 o 8891 57.27/52.96 o 8890 57.27/52.96 o 8889 57.27/52.96 o 8888 57.27/52.96 o 8887 57.27/52.96 o 8886 57.27/52.96 o 8884 57.27/52.97 o 8883 57.27/52.97 o 8882 57.27/52.97 o 8881 57.27/52.98 o 8880 57.27/52.99 o 8879 57.27/52.99 o 8878 57.27/52.99 o 8877 57.38/53.05 o 8876 57.38/53.06 o 8875 57.38/53.06 o 8874 57.38/53.06 o 8873 57.38/53.07 o 8872 57.58/53.22 o 8871 57.58/53.26 o 8870 57.58/53.30 o 8865 57.58/53.30 o 8864 57.58/53.30 o 8860 57.58/53.30 o 8859 57.58/53.30 o 8858 57.58/53.30 o 8803 57.58/53.30 o 8802 57.68/53.30 o 8775 57.68/53.30 o 8774 57.68/53.30 o 8771 57.68/53.30 o 8768 57.68/53.30 o 8764 57.68/53.30 o 8763 57.68/53.30 o 8762 57.68/53.30 o 8758 57.68/53.30 o 8757 57.68/53.30 o 8756 57.68/53.30 o 8755 57.68/53.31 o 8754 57.68/53.32 o 8753 57.68/53.34 o 8752 57.68/53.35 o 8751 57.78/53.44 o 8750 57.78/53.45 o 8749 57.78/53.45 o 8748 57.78/53.46 o 8747 57.78/53.46 o 8746 57.78/53.47 o 8745 57.89/53.60 o 8704 57.89/53.60 o 8703 57.98/53.60 o 8702 57.98/53.60 o 8701 57.98/53.60 o 8693 57.98/53.60 o 8692 57.98/53.60 o 8691 57.98/53.60 o 8690 57.98/53.60 o 8689 57.98/53.60 o 8688 57.98/53.60 o 8687 57.98/53.60 o 8686 57.98/53.60 o 8685 57.98/53.61 o 8684 57.98/53.63 o 8683 57.98/53.63 o 8682 58.08/53.73 o 8681 58.08/53.73 o 8680 58.19/53.80 o 8679 58.19/53.85 o 8678 58.19/53.86 o 8677 58.19/53.89 o 8676 58.29/53.90 o 8675 58.29/53.93 o 8674 58.40/54.10 o 8673 58.40/54.10 o 8672 58.40/54.10 o 8671 58.40/54.10 o 8665 58.40/54.11 o 8664 58.50/54.11 o 8663 58.50/54.11 o 8658 58.50/54.11 o 8657 58.50/54.11 o 8656 58.50/54.12 o 8655 58.50/54.12 o 8654 58.50/54.12 o 8653 58.50/54.12 o 8652 58.50/54.12 o 8645 58.50/54.12 o 8644 58.50/54.13 o 8608 58.50/54.13 o 8607 58.50/54.13 o 8605 58.50/54.13 o 8604 58.50/54.14 o 8603 58.50/54.14 o 8602 58.50/54.14 o 8601 58.59/54.24 o 8600 58.69/54.36 o 8599 58.69/54.37 o 8598 58.90/54.56 o 8597 59.00/54.61 o 8596 59.00/54.61 o 8592 59.00/54.61 o 8591 59.00/54.61 o 8590 59.00/54.62 o 8589 59.00/54.62 o 8587 59.00/54.62 o 8586 59.00/54.62 o 8585 59.00/54.62 o 8584 59.00/54.63 o 8583 59.00/54.64 o 8582 59.00/54.64 o 8581 59.00/54.65 o 8564 59.00/54.65 o 8563 59.00/54.65 o 8562 59.00/54.66 o 8556 59.00/54.66 o 8555 59.00/54.67 o 8554 59.00/54.67 o 8549 59.00/54.67 o 8548 59.00/54.67 o 8547 59.00/54.68 o 8546 59.12/54.71 o 8545 59.12/54.71 o 8544 59.12/54.73 o 8543 59.12/54.74 o 8542 59.12/54.77 o 8541 59.22/54.81 o 8540 59.22/54.81 o 8539 59.22/54.81 o 8538 59.43/55.02 o 8537 60.03/55.68 o 8488 60.03/55.68 o 8436 60.03/55.68 o 8376 60.03/55.68 o 8375 60.03/55.68 o 8374 60.03/55.68 o 8373 60.03/55.69 o 8372 60.15/55.77 o 8371 60.15/55.77 o 8370 60.15/55.78 o 8369 60.25/55.82 o 8368 60.25/55.82 o 8367 60.25/55.83 o 8366 60.25/55.90 o 8365 60.46/56.04 o 8364 60.46/56.09 o 8363 60.65/56.23 o 8362 60.65/56.24 o 8361 60.65/56.24 o 8360 60.95/56.50 o 8359 61.05/56.68 o 8358 61.47/57.08 o 8348 61.47/57.08 o 8347 61.47/57.08 o 8346 61.47/57.08 o 8345 61.47/57.08 o 8344 61.47/57.08 o 8325 61.47/57.08 o 8324 61.47/57.08 o 8323 61.47/57.08 o 8322 61.47/57.08 o 8321 61.47/57.08 o 8320 61.47/57.08 o 8319 61.47/57.08 o 8318 61.47/57.08 o 8317 61.47/57.08 o 8316 61.47/57.08 o 8315 61.47/57.08 o 8314 61.47/57.08 o 8313 61.47/57.09 o 8309 61.47/57.09 o 8304 61.47/57.09 o 8303 61.47/57.09 o 8302 61.47/57.09 o 8301 61.47/57.10 o 8300 61.47/57.10 o 8299 61.47/57.10 o 8298 61.57/57.12 o 8279 61.57/57.12 o 8278 61.57/57.13 o 8277 61.57/57.13 o 8276 61.57/57.13 o 8272 61.57/57.13 o 8271 61.57/57.14 o 8270 61.57/57.14 o 8269 61.57/57.15 o 8268 61.77/57.34 o 8267 61.77/57.35 o 8266 61.97/57.57 o 8265 61.97/57.57 o 8264 62.49/58.01 o 8250 62.49/58.01 o 8245 62.49/58.01 o 8244 62.49/58.01 o 8243 62.49/58.01 o 8235 62.49/58.01 o 8234 62.49/58.01 o 8233 62.49/58.01 o 8231 62.49/58.01 o 8230 62.49/58.01 o 8229 62.49/58.01 o 8228 62.49/58.01 o 8227 62.49/58.01 o 8225 62.49/58.01 o 8224 62.49/58.01 o 8223 62.49/58.02 o 8221 62.49/58.02 o 8220 62.49/58.02 o 8219 62.49/58.02 o 8218 62.49/58.02 o 8217 62.49/58.02 o 8216 62.49/58.03 o 8215 62.49/58.03 o 8214 62.49/58.03 o 8204 62.49/58.03 o 8203 62.49/58.04 o 8202 62.49/58.04 o 8201 62.49/58.04 o 8200 62.49/58.04 o 8194 62.49/58.04 o 8193 62.49/58.04 o 8192 62.49/58.04 o 8191 62.49/58.05 o 8190 62.49/58.06 o 8189 62.49/58.06 o 8188 62.49/58.07 o 8187 62.49/58.07 o 8186 62.49/58.07 o 8185 62.49/58.07 o 8184 62.49/58.07 o 8183 63.71/59.24 o 8182 65.13/60.60 o 8178 65.13/60.60 o 8177 65.13/60.60 o 8175 65.13/60.60 o 8171 65.13/60.60 o 8169 65.13/60.60 o 8167 65.13/60.60 o 8166 65.13/60.60 o 8165 65.13/60.60 o 8164 65.13/60.60 o 8163 65.13/60.60 o 8162 65.13/60.60 o 8161 65.13/60.60 o 8157 65.13/60.60 o 8156 65.13/60.60 o 8154 65.13/60.60 o 8153 65.13/60.60 o 8152 65.13/60.60 o 8151 65.13/60.60 o 8150 65.13/60.60 o 8149 65.13/60.61 o 8148 65.13/60.61 o 8147 65.13/60.61 o 8146 65.13/60.61 o 8145 65.13/60.61 o 8144 65.13/60.61 o 8143 65.13/60.61 o 8142 65.13/60.61 o 8141 65.13/60.61 o 8136 65.13/60.61 o 8135 65.13/60.61 o 8134 65.13/60.61 o 8133 65.13/60.61 o 8132 65.13/60.62 o 8131 65.13/60.62 o 8127 65.13/60.62 o 8125 65.13/60.62 o 8121 65.13/60.63 o 8120 65.13/60.63 o 8119 65.13/60.65 o 8118 65.13/60.66 o 8117 65.23/60.70 o 8116 65.23/60.70 o 8115 65.23/60.71 o 8114 65.23/60.71 o 8113 65.23/60.72 o 8112 65.23/60.72 o 8111 66.75/62.29 o 8110 66.75/62.29 o 8105 66.75/62.29 o 8104 66.75/62.29 o 8103 66.75/62.29 o 8077 66.75/62.29 o 8076 66.75/62.29 o 8075 66.75/62.29 o 8074 66.75/62.29 o 8073 66.75/62.29 o 8072 66.75/62.29 o 8046 66.75/62.29 o 8045 66.75/62.30 o 8044 66.75/62.30 o 8043 66.85/62.30 o 8041 66.85/62.30 o 8040 66.85/62.30 o 8039 66.85/62.30 o 8038 66.85/62.30 o 8037 66.85/62.31 o 8036 66.85/62.31 o 8035 66.85/62.31 o 8034 66.85/62.32 o 8033 66.85/62.32 o 8032 66.96/62.42 o 8031 67.36/62.86 o 8030 67.36/62.86 o 8029 67.36/62.87 o 8028 67.46/62.96 o 8027 68.17/63.62 o 8019 68.17/63.62 o 8018 68.17/63.62 o 7979 68.17/63.62 o 7978 68.17/63.62 o 7972 68.17/63.62 o 7971 68.17/63.62 o 7970 68.17/63.62 o 7969 68.17/63.63 o 7953 68.17/63.63 o 7952 68.17/63.63 o 7951 68.17/63.63 o 7950 68.17/63.63 o 7945 68.17/63.63 o 7944 68.17/63.63 o 7943 68.17/63.63 o 7942 68.17/63.63 o 7940 68.17/63.63 o 7939 68.17/63.63 o 7938 68.17/63.63 o 7937 68.17/63.63 o 7935 68.17/63.64 o 7934 68.17/63.64 o 7933 68.17/63.64 o 7932 68.17/63.64 o 7931 68.17/63.64 o 7930 68.17/63.64 o 7929 68.17/63.64 o 7928 68.17/63.65 o 7927 68.17/63.66 o 7926 68.17/63.66 o 7925 68.17/63.66 o 7924 68.17/63.66 o 7922 68.17/63.67 o 7921 68.17/63.67 o 7918 68.17/63.67 o 7917 68.17/63.69 o 7916 68.17/63.69 o 7915 68.27/63.74 o 7914 68.27/63.74 o 7911 68.27/63.74 o 7910 68.27/63.74 o 7909 68.27/63.75 o 7906 68.27/63.76 o 7905 68.27/63.76 o 7904 68.37/63.82 o 7903 68.37/63.86 o 7902 68.37/63.86 o 7901 68.37/63.86 o 7900 68.37/63.86 o 7899 68.48/63.93 o 7876 68.48/63.93 o 7875 68.48/63.94 o 7874 68.48/63.94 o 7873 68.48/63.94 o 7867 68.48/63.94 o 7866 68.48/63.94 o 7865 68.48/63.94 o 7864 68.48/63.94 o 7861 68.48/63.94 o 7860 68.48/63.94 o 7859 68.48/63.95 o 7858 68.48/63.95 o 7774 68.48/63.95 o 7773 68.48/63.95 o 7772 68.48/63.95 o 7771 68.48/63.95 o 7770 68.48/63.95 o 7769 68.48/63.95 o 7768 68.48/63.95 o 7767 68.48/63.95 o 7766 68.48/63.95 o 7765 68.48/63.96 o 7764 68.48/63.96 o 7763 68.48/63.96 o 7762 68.48/63.99 o 7728 68.48/64.00 o 7725 68.48/64.00 o 7722 68.48/64.00 o 7721 68.60/64.01 o 7716 68.60/64.01 o 7715 68.60/64.01 o 7708 68.60/64.01 o 7707 68.60/64.02 o 7706 68.60/64.02 o 7705 68.60/64.03 o 7704 68.60/64.04 o 7702 68.60/64.04 o 7701 68.60/64.04 o 7700 68.60/64.04 o 7699 68.70/64.15 o 7698 68.80/64.22 o 7697 68.80/64.22 o 7696 68.80/64.23 o 7606 68.80/64.23 o 7605 68.80/64.23 o 7590 68.80/64.23 o 7589 68.80/64.24 o 7588 68.80/64.26 o 7585 68.80/64.26 o 7584 68.80/64.26 o 7583 68.90/64.35 o 7582 68.90/64.39 o 7581 69.00/64.42 o 7580 69.00/64.46 o 7579 69.00/64.46 o 7578 71.66/67.03 o 7577 72.45/67.88 o 7571 72.45/67.89 o 7570 72.45/67.89 o 7565 72.45/67.89 o 7564 72.45/67.89 o 7563 72.45/67.89 o 7562 72.56/67.90 o 7561 72.56/67.92 o 7551 72.56/67.92 o 7550 72.56/67.92 o 7549 72.56/67.93 o 7542 72.56/67.93 o 7541 72.56/67.93 o 7540 72.56/67.93 o 7539 72.56/67.93 o 7538 72.56/67.93 o 7533 72.56/67.93 o 7532 72.56/67.93 o 7531 73.78/69.18 o 7515 73.78/69.18 o 7514 73.78/69.18 o 7513 73.78/69.18 o 7498 73.78/69.18 o 7497 73.78/69.18 o 7496 73.78/69.19 o 7495 73.78/69.19 o 7494 73.78/69.19 o 7493 73.78/69.19 o 7486 73.78/69.19 o 7485 73.78/69.19 o 7461 73.78/69.19 o 7460 73.78/69.19 o 7459 73.78/69.19 o 7458 73.87/69.20 o 7457 73.87/69.20 o 7456 73.87/69.21 o 7455 73.87/69.21 o 7454 73.87/69.21 o 7453 73.87/69.21 o 7452 74.08/69.46 o 7451 74.08/69.47 o 7450 74.28/69.65 o 7449 74.28/69.69 o 7448 74.70/70.08 o 7447 74.70/70.08 o 7446 74.99/70.30 o 7445 74.99/70.30 o 7444 74.99/70.30 o 7443 74.99/70.30 o 7442 74.99/70.30 o 7441 74.99/70.30 o 7440 74.99/70.31 o 7439 74.99/70.31 o 7438 74.99/70.38 o 7437 74.99/70.39 o 7436 74.99/70.39 o 7435 74.99/70.39 o 7434 74.99/70.39 o 7433 75.10/70.46 o 7432 75.20/70.50 o 7431 75.20/70.50 o 7430 75.20/70.51 o 7429 75.20/70.52 o 7424 75.20/70.52 o 7423 75.20/70.52 o 7422 75.20/70.52 o 7421 75.20/70.53 o 7416 75.20/70.53 o 7415 75.20/70.53 o 7414 75.20/70.53 o 7413 75.20/70.54 o 7412 75.20/70.54 o 7411 75.20/70.54 o 7410 75.20/70.54 o 7409 75.20/70.54 o 7408 75.20/70.55 o 7407 75.20/70.55 o 7406 75.20/70.55 o 7405 75.20/70.55 o 7401 75.20/70.55 o 7400 75.20/70.55 o 7399 75.20/70.56 o 7397 75.20/70.56 o 7396 75.20/70.56 o 7395 75.20/70.57 o 7394 75.30/70.69 o 7274 75.30/70.69 o 7233 75.30/70.69 o 7219 75.30/70.69 o 7218 75.40/70.71 o 7217 75.50/70.84 o 7216 75.60/71.00 o 7215 75.72/71.01 o 7214 75.72/71.08 o 7213 76.01/71.32 o 7212 76.11/71.48 o 7211 76.21/71.55 o 7210 76.42/71.76 o 7207 76.42/71.76 o 7200 76.42/71.76 o 7199 76.42/71.76 o 7197 76.42/71.76 o 7196 76.42/71.76 o 7183 76.42/71.76 o 7174 76.42/71.76 o 7171 76.42/71.76 o 7169 76.42/71.76 o 7168 76.42/71.76 o 7167 76.42/71.78 o 7165 76.42/71.78 o 7135 76.42/71.78 o 7127 76.42/71.79 o 7126 76.52/71.82 o 7125 76.52/71.85 o 7124 76.52/71.89 o 7123 76.52/71.89 o 7122 76.74/72.02 o 7120 76.74/72.03 o 7119 76.74/72.03 o 7118 76.74/72.05 o 7117 76.85/72.12 o 7116 76.85/72.17 o 7115 77.34/72.69 o 7114 77.34/72.69 o 7113 77.45/72.71 o 7112 77.45/72.71 o 7111 77.45/72.80 o 7104 77.45/72.80 o 7100 77.55/72.80 o 7099 77.55/72.80 o 7093 77.55/72.81 o 7092 77.55/72.81 o 7084 77.55/72.81 o 7083 77.55/72.82 o 7075 77.55/72.82 o 7074 77.55/72.82 o 7073 77.55/72.82 o 7072 77.55/72.83 o 7071 77.55/72.84 o 7070 77.55/72.84 o 7069 77.55/72.84 o 7068 77.55/72.84 o 7067 77.65/72.98 o 7066 77.65/72.99 o 7065 77.65/72.99 o 7064 77.65/72.99 o 7063 77.65/72.99 o 7062 77.65/72.99 o 7061 77.65/72.99 o 7060 77.65/72.99 o 7059 77.65/72.99 o 7058 77.65/73.00 o 7057 77.65/73.00 o 7056 77.75/73.01 o 7055 77.75/73.01 o 7054 77.75/73.02 o 7053 77.75/73.02 o 7052 77.75/73.02 o 7051 77.75/73.03 o 7050 77.75/73.03 o 7049 77.75/73.05 o 7048 77.75/73.05 o 7047 77.75/73.09 o 7046 77.75/73.09 o 7045 77.75/73.09 o 7044 77.86/73.17 o 7043 77.86/73.17 o 7042 77.86/73.18 o 7032 77.86/73.18 o 7031 77.86/73.19 o 7030 77.86/73.19 o 7029 77.86/73.19 o 7028 77.95/73.20 o 7027 77.95/73.20 o 7026 77.95/73.22 o 7025 77.95/73.22 o 7024 77.95/73.23 o 7021 77.95/73.23 o 7020 77.95/73.24 o 7018 77.95/73.24 o 7017 77.95/73.26 o 7015 77.95/73.26 o 7014 77.95/73.26 o 7013 78.05/73.31 o 7012 78.05/73.34 o 7011 78.05/73.34 o 7010 78.05/73.35 o 7009 78.05/73.35 o 7008 78.05/73.35 o 7007 78.05/73.36 o 7006 78.05/73.37 o 7005 78.05/73.38 o 7004 78.05/73.38 o 7003 78.05/73.39 o 7002 78.05/73.39 o 7001 78.05/73.39 o 7000 78.05/73.39 o 6999 78.16/73.41 o 6961 78.16/73.41 o 6946 78.16/73.41 o 6942 78.16/73.41 o 6931 78.16/73.41 o 6930 78.16/73.41 o 6929 78.16/73.42 o 6928 78.16/73.42 o 6927 78.16/73.43 o 6925 78.16/73.43 o 6924 78.16/73.47 o 6881 78.16/73.47 o 6880 78.16/73.48 o 6878 78.16/73.48 o 6877 78.16/73.48 o 6876 78.16/73.48 o 6800 78.16/73.48 o 6799 78.16/73.48 o 6798 78.16/73.48 o 6797 78.16/73.48 o 6793 78.16/73.48 o 6792 78.16/73.48 o 6791 78.26/73.51 o 6790 78.26/73.52 o 6789 78.26/73.52 o 6788 78.26/73.52 o 6787 78.26/73.52 o 6786 78.26/73.52 o 6785 78.26/73.53 o 6784 78.26/73.53 o 6783 78.26/73.59 o 6779 78.26/73.59 o 6778 78.36/73.65 o 6657 78.36/73.66 o 6656 78.36/73.66 o 6648 78.36/73.67 o 6647 78.36/73.67 o 6624 78.36/73.67 o 6623 78.36/73.67 o 6614 78.36/73.68 o 6613 78.36/73.68 o 6607 78.36/73.69 o 6606 78.56/73.83 o 6605 78.56/73.83 o 6604 78.56/73.83 o 6601 78.56/73.83 o 6600 78.56/73.86 o 6520 78.56/73.86 o 6519 78.56/73.86 o 6518 78.56/73.86 o 6501 78.56/73.86 o 6500 78.56/73.87 o 6499 78.56/73.87 o 6498 78.56/73.87 o 6497 78.56/73.87 o 6484 78.56/73.87 o 6483 78.56/73.88 o 6482 78.56/73.88 o 6477 78.56/73.88 o 6476 78.56/73.88 o 6475 78.56/73.88 o 6466 78.56/73.88 o 6465 78.56/73.88 o 6464 78.56/73.89 o 6463 78.56/73.89 o 6462 78.56/73.89 o 6460 78.56/73.89 o 6459 78.56/73.89 o 6458 78.56/73.89 o 6457 78.56/73.89 o 6456 78.56/73.89 o 6455 78.56/73.89 o 6453 78.56/73.89 o 6452 78.56/73.89 o 6451 78.67/73.90 o 6450 78.67/73.93 o 6449 78.67/73.99 o 6447 78.67/73.99 o 6446 78.67/73.99 o 6445 78.67/73.99 o 6444 78.79/74.10 o 6443 78.89/74.15 o 6442 78.98/74.21 o 6441 78.98/74.22 o 6440 78.98/74.26 o 6439 79.09/74.32 o 6438 79.09/74.32 o 6330 79.09/74.32 o 6329 79.09/74.33 o 6284 79.09/74.33 o 6283 79.09/74.33 o 6282 79.09/74.33 o 6281 79.09/74.39 o 6280 79.19/74.43 o 6263 79.19/74.43 o 6262 79.19/74.44 o 6258 79.19/74.44 o 6257 79.19/74.45 o 6255 79.19/74.45 o 6254 79.19/74.46 o 6253 79.19/74.46 o 6252 79.19/74.47 o 6251 79.40/74.60 o 6249 79.40/74.61 o 6248 80.11/75.30 o 6165 80.11/75.30 o 6164 80.11/75.30 o 6149 80.11/75.30 o 6148 80.11/75.30 o 6136 80.11/75.30 o 6135 80.11/75.31 o 6120 80.11/75.31 o 6119 80.11/75.31 o 6094 80.11/75.31 o 6093 80.11/75.31 o 6092 80.11/75.31 o 6091 80.11/75.32 o 6090 80.11/75.33 o 6089 80.22/75.40 o 6088 80.22/75.42 o 6087 80.63/75.88 o 6086 80.63/75.88 o 6084 80.63/75.88 o 6083 80.63/75.88 o 6082 80.63/75.89 o 6081 80.63/75.89 o 6080 80.63/75.90 o 6079 81.66/76.89 o 6078 81.66/76.89 o 6077 81.76/76.92 o 6076 81.76/76.92 o 6075 81.76/76.99 o 6071 81.76/76.99 o 6070 81.76/76.99 o 6068 81.76/76.99 o 6066 81.76/76.99 o 6065 81.76/76.99 o 6064 81.76/76.99 o 6063 81.76/77.00 o 6061 81.76/77.00 o 6060 81.76/77.00 o 6057 81.76/77.00 o 6056 81.76/77.00 o 6055 81.87/77.04 o 6054 81.87/77.04 o 6053 81.98/77.11 o 6051 81.98/77.11 o 6050 81.98/77.11 o 6049 85.94/81.05 o 6030 85.94/81.05 o 6029 85.94/81.06 o 6028 85.94/81.06 o 6027 85.94/81.06 o 6026 85.94/81.06 o 6025 85.94/81.06 o 6024 85.94/81.08 o 6022 85.94/81.08 o 6021 85.94/81.08 o 6011 85.94/81.09 o 6010 85.94/81.09 o 6008 85.94/81.09 o 6007 85.94/81.10 o 5991 85.94/81.10 o 5990 85.94/81.10 o 5978 85.94/81.10 o 5977 86.04/81.12 o 5954 86.04/81.12 o 5953 86.04/81.13 o 5941 86.04/81.13 o 5940 86.04/81.14 o 5937 86.04/81.14 o 5936 86.04/81.14 o 5925 86.04/81.14 o 5924 86.04/81.15 o 5921 86.04/81.15 o 5920 86.04/81.18 o 5919 86.04/81.18 o 5918 86.14/81.24 o 5912 86.14/81.24 o 5911 86.14/81.26 o 5910 86.14/81.29 o 5909 86.14/81.29 o 5908 86.14/81.30 o 5907 86.24/81.33 o 5906 86.24/81.33 o 5905 86.24/81.33 o 5904 86.24/81.34 o 5902 86.24/81.34 o 5901 86.24/81.34 o 5900 86.24/81.39 o 5877 86.24/81.39 o 5876 86.24/81.39 o 5875 86.34/81.40 o 5871 86.34/81.40 o 5870 86.34/81.40 o 5869 86.34/81.41 o 5868 86.34/81.41 o 5867 86.34/81.41 o 5864 86.34/81.41 o 5863 86.34/81.42 o 5862 86.34/81.42 o 5853 86.34/81.42 o 5852 86.34/81.43 o 5851 86.34/81.43 o 5850 86.34/81.43 o 5847 86.34/81.43 o 5846 86.34/81.44 o 5845 86.34/81.44 o 5842 86.34/81.44 o 5841 86.34/81.44 o 5840 86.34/81.45 o 5839 86.34/81.45 o 5838 86.34/81.46 o 5837 86.34/81.46 o 5836 86.34/81.46 o 5835 86.34/81.47 o 5834 86.34/81.47 o 5833 86.34/81.47 o 5832 86.34/81.47 o 5831 87.16/82.21 o 5830 87.16/82.22 o 5829 87.16/82.22 o 5828 92.74/87.77 o 5741 92.74/87.77 o 5740 92.74/87.77 o 5739 92.74/87.77 o 5738 92.74/87.77 o 5737 92.74/87.77 o 5736 92.74/87.77 o 5735 92.74/87.77 o 5734 92.74/87.77 o 5732 92.74/87.77 o 5731 92.74/87.78 o 5730 92.74/87.78 o 5725 92.74/87.78 o 5724 92.74/87.78 o 5723 92.74/87.78 o 5722 92.74/87.78 o 5719 92.74/87.78 o 5718 92.74/87.78 o 5717 92.74/87.78 o 5716 92.84/87.80 o 5715 92.84/87.81 o 5714 95.79/90.79 o 5568 95.79/90.79 o 5567 95.79/90.79 o 5566 95.79/90.79 o 5565 95.79/90.79 o 5564 95.79/90.79 o 5563 95.79/90.79 o 5562 95.89/90.80 o 5561 95.89/90.80 o 5560 95.89/90.81 o 5559 95.89/90.82 o 5558 95.89/90.82 o 5557 95.89/90.82 o 5556 95.89/90.82 o 5555 95.89/90.82 o 5554 95.89/90.82 o 5553 95.89/90.82 o 5552 95.89/90.82 o 5551 95.89/90.85 o 5550 96.41/91.37 o 5518 96.41/91.37 o 5516 96.41/91.37 o 5511 96.41/91.37 o 5503 96.41/91.38 o 5502 96.41/91.38 o 5483 96.41/91.38 o 5482 96.41/91.39 o 5474 96.41/91.39 o 5473 96.41/91.40 o 5472 96.51/91.40 o 5467 96.51/91.40 o 5466 96.51/91.40 o 5465 96.51/91.40 o 5464 96.51/91.42 o 5463 96.61/91.60 o 5462 96.71/91.60 o 5461 96.71/91.61 o 5460 96.71/91.64 o 5459 97.32/92.22 o 5458 99.35/94.26 o 5457 99.35/94.26 o 5456 99.35/94.26 o 5455 99.35/94.26 o 5449 99.35/94.26 o 5448 99.35/94.26 o 5447 99.35/94.26 o 5446 99.35/94.28 o 5445 99.35/94.29 o 5444 99.45/94.30 o 5443 99.45/94.32 o 5442 99.66/94.53 o 5441 99.66/94.53 o 5440 99.66/94.53 o 5439 99.66/94.53 o 5437 99.66/94.53 o 5436 99.66/94.53 o 5435 99.66/94.55 o 5434 100.08/94.91 o 5433 100.59/95.49 o 5431 100.59/95.49 o 5430 100.59/95.49 o 5429 100.79/95.64 o 5428 102.22/97.07 o 5427 102.22/97.07 o 5426 102.22/97.07 o 5408 102.22/97.07 o 5402 102.22/97.07 o 5399 102.22/97.07 o 5397 102.22/97.07 o 5395 102.22/97.07 o 5394 102.22/97.08 o 5393 102.22/97.08 o 5392 102.22/97.08 o 5389 102.22/97.08 o 5387 102.22/97.08 o 5386 102.22/97.08 o 5385 102.22/97.08 o 5384 102.22/97.08 o 5383 102.22/97.09 o 5382 102.22/97.09 o 5381 102.22/97.09 o 5380 102.32/97.13 o 5376 102.32/97.13 o 5374 102.32/97.13 o 5373 102.32/97.14 o 5372 102.32/97.14 o 5371 102.42/97.28 o 5370 104.25/99.04 o 5369 104.25/99.05 o 5368 104.25/99.09 o 5367 104.25/99.09 o 5366 104.25/99.09 o 5365 104.25/99.09 o 5364 104.35/99.12 o 5363 104.55/99.38 o 5362 106.98/101.73 o 5355 106.98/101.73 o 5354 106.98/101.73 o 5352 106.98/101.73 o 5351 106.98/101.73 o 5346 106.98/101.73 o 5345 106.98/101.73 o 5344 106.98/101.73 o 5343 106.98/101.73 o 5337 106.98/101.73 o 5336 106.98/101.73 o 5335 106.98/101.73 o 5334 106.98/101.73 o 5324 106.98/101.73 o 5323 106.98/101.73 o 5322 106.98/101.73 o 5321 106.98/101.74 o 5297 106.98/101.74 o 5296 106.98/101.74 o 5295 106.98/101.74 o 5294 106.98/101.74 o 5290 106.98/101.74 o 5289 106.98/101.74 o 5288 106.98/101.74 o 5287 106.98/101.74 o 5286 106.98/101.74 o 5285 106.98/101.74 o 5284 106.98/101.74 o 5283 106.98/101.74 o 5282 106.98/101.74 o 5281 106.98/101.74 o 5270 106.98/101.74 o 5269 106.98/101.74 o 5268 106.98/101.74 o 5267 106.98/101.75 o 5266 106.98/101.75 o 5261 106.98/101.75 o 5260 106.98/101.75 o 5259 106.98/101.75 o 5258 106.98/101.75 o 5256 106.98/101.75 o 5255 106.98/101.75 o 5254 106.98/101.75 o 5253 106.98/101.76 o 5247 106.98/101.76 o 5246 106.98/101.76 o 5245 106.98/101.76 o 5244 106.98/101.77 o 5225 106.98/101.77 o 5224 106.98/101.77 o 5223 107.39/102.12 o 5222 107.39/102.12 o 5221 108.10/102.83 o 5220 108.91/103.64 o 5219 109.32/104.03 o 5218 109.32/104.04 o 5217 109.32/104.04 o 5216 109.32/104.04 o 5215 109.32/104.04 o 5214 109.32/104.04 o 5213 109.32/104.04 o 5212 109.43/104.13 o 5211 109.43/104.13 o 5210 109.52/104.23 o 5209 109.72/104.46 o 5208 109.72/104.49 o 5207 109.93/104.61 o 5206 109.93/104.68 o 5205 110.13/104.88 o 5204 110.13/104.88 o 5203 110.13/104.88 o 5202 110.23/104.98 o 5201 110.34/105.08 o 5200 110.63/105.37 o 5195 110.63/105.37 o 5194 110.63/105.37 o 5188 110.63/105.37 o 5187 110.63/105.37 o 5179 110.63/105.37 o 5178 110.63/105.37 o 5174 110.63/105.37 o 5173 110.63/105.37 o 5168 110.63/105.38 o 5167 110.63/105.38 o 5166 110.63/105.38 o 5162 110.74/105.40 o 5137 110.74/105.41 o 5127 110.74/105.42 o 5125 110.74/105.44 o 5124 110.74/105.44 o 5123 112.56/107.22 o 5105 112.56/107.22 o 5078 112.56/107.22 o 5062 112.56/107.22 o 5057 112.56/107.22 o 5050 112.56/107.23 o 5044 112.56/107.24 o 5043 112.56/107.25 o 5035 112.56/107.25 o 5034 112.56/107.25 o 5023 112.56/107.26 o 5022 112.56/107.26 o 5012 112.56/107.26 o 5011 112.56/107.27 o 4996 112.56/107.27 o 4995 112.67/107.30 o 4994 112.67/107.30 o 4993 112.67/107.30 o 4992 112.67/107.30 o 4991 112.67/107.30 o 4990 112.67/107.32 o 4989 112.67/107.33 o 4988 112.67/107.34 o 4987 112.67/107.34 o 4986 112.67/107.34 o 4985 113.08/107.79 o 4984 113.18/107.80 o 4983 113.51/108.17 o 4982 113.51/108.17 o 4981 114.11/108.77 o 4954 114.11/108.77 o 4952 114.11/108.77 o 4950 114.11/108.80 o 4943 114.21/108.80 o 4939 114.21/108.81 o 4938 114.21/108.83 o 4936 114.21/108.83 o 4935 114.21/108.83 o 4933 114.21/108.83 o 4932 114.21/108.84 o 4930 114.21/108.84 o 4929 114.21/108.86 o 4928 114.21/108.86 o 4927 114.21/108.87 o 4926 114.21/108.90 o 4925 114.21/108.90 o 4924 114.31/108.91 o 4923 114.31/108.94 o 4922 114.31/108.94 o 4921 114.31/108.98 o 4917 114.31/108.98 o 4916 114.31/108.98 o 4915 114.42/109.02 o 4914 114.42/109.02 o 4913 114.42/109.03 o 4912 114.42/109.05 o 4911 114.42/109.05 o 4910 118.27/112.81 o 4909 118.27/112.81 o 4908 118.27/112.81 o 4907 118.27/112.81 o 4906 118.27/112.83 o 4905 118.77/113.39 o 4904 118.88/113.47 o 4903 118.98/113.57 o 4902 119.49/114.06 o 4834 119.49/114.06 o 4833 119.49/114.06 o 4832 119.49/114.06 o 4831 119.49/114.07 o 4830 119.49/114.07 o 4829 119.49/114.08 o 4828 119.49/114.10 o 4827 119.68/114.22 o 4826 119.68/114.23 o 4825 119.68/114.28 o 4824 119.68/114.28 o 4823 119.79/114.37 o 4822 119.79/114.37 o 4821 119.79/114.37 o 4820 120.80/115.33 o 4818 121.11/115.64 o 4817 122.94/117.46 o 4812 122.94/117.46 o 4751 122.94/117.46 o 4734 122.94/117.46 o 4733 122.94/117.46 o 4732 122.94/117.46 o 4731 122.94/117.47 o 4726 122.94/117.47 o 4725 122.94/117.48 o 4697 122.94/117.48 o 4696 122.94/117.49 o 4694 122.94/117.49 o 4693 122.94/117.49 o 4692 122.94/117.50 o 4691 122.94/117.50 o 4690 122.94/117.50 o 4689 123.14/117.65 o 4688 123.24/117.76 o 4664 123.24/117.76 o 4663 123.24/117.76 o 4662 123.24/117.76 o 4661 123.24/117.76 o 4660 123.24/117.76 o 4659 123.24/117.76 o 4658 123.24/117.77 o 4569 123.24/117.77 o 4568 123.24/117.77 o 4567 123.24/117.77 o 4566 123.24/117.77 o 4565 123.24/117.77 o 4564 123.24/117.77 o 4563 123.24/117.77 o 4562 123.24/117.77 o 4561 123.24/117.78 o 4547 123.24/117.78 o 4546 123.24/117.78 o 4545 123.24/117.78 o 4544 123.24/117.78 o 4543 123.24/117.78 o 4542 123.24/117.78 o 4541 123.24/117.78 o 4540 123.24/117.78 o 4539 123.24/117.78 o 4538 123.24/117.78 o 4537 123.24/117.78 o 4536 123.24/117.79 o 4535 123.34/117.80 o 4534 123.34/117.85 o 4533 123.44/117.97 o 4532 123.44/117.97 o 4531 123.44/117.98 o 4530 123.56/118.03 o 4529 123.56/118.03 o 4528 123.66/118.12 o 4527 123.95/118.42 o 4526 123.95/118.42 o 4525 123.95/118.42 o 4524 124.26/118.72 o 4523 124.36/118.81 o 4522 124.46/118.98 o 4521 124.46/118.99 o 4520 125.48/119.90 o 4519 125.48/119.90 o 4518 125.48/119.90 o 4517 125.48/119.91 o 4516 125.48/119.91 o 4515 125.48/119.91 o 4514 125.59/120.03 o 4513 125.59/120.04 o 4512 125.59/120.04 o 4511 126.70/121.19 o 4510 126.70/121.19 o 4509 126.70/121.19 o 4508 126.70/121.19 o 4507 126.70/121.19 o 4501 126.70/121.19 o 4500 126.70/121.19 o 4499 126.79/121.20 o 4498 126.79/121.20 o 4497 126.79/121.20 o 4496 126.79/121.20 o 4495 126.79/121.20 o 4494 126.79/121.20 o 4493 126.79/121.20 o 4492 126.79/121.20 o 4491 126.79/121.20 o 4490 126.79/121.20 o 4489 126.79/121.20 o 4462 126.79/121.20 o 4461 126.79/121.20 o 4460 126.79/121.21 o 4459 126.79/121.21 o 4450 126.79/121.21 o 4449 126.79/121.22 o 4439 126.79/121.22 o 4438 126.79/121.22 o 4430 126.79/121.22 o 4429 126.79/121.23 o 4417 126.79/121.23 o 4416 126.79/121.24 o 4415 126.79/121.24 o 4414 126.79/121.24 o 4413 126.79/121.24 o 4412 126.79/121.24 o 4411 126.79/121.24 o 4410 126.79/121.24 o 4409 126.79/121.25 o 4408 126.79/121.26 o 4407 126.79/121.26 o 4406 126.79/121.26 o 4405 126.79/121.27 o 4404 126.79/121.27 o 4403 126.79/121.27 o 4402 126.79/121.27 o 4401 126.79/121.28 o 4400 126.79/121.28 o 4399 126.79/121.28 o 4398 127.10/121.58 o 4397 127.51/121.96 o 4396 130.16/124.51 o 4395 130.16/124.51 o 4394 130.16/124.51 o 4393 130.16/124.51 o 4392 130.16/124.51 o 4389 130.16/124.51 o 4388 130.16/124.52 o 4387 130.16/124.52 o 4386 130.16/124.52 o 4385 130.16/124.52 o 4384 130.16/124.52 o 4383 130.16/124.52 o 4382 130.16/124.52 o 4381 130.16/124.52 o 4380 130.16/124.52 o 4379 130.16/124.52 o 4378 130.16/124.52 o 4377 130.16/124.52 o 4376 130.16/124.52 o 4375 130.16/124.52 o 4374 130.16/124.53 o 4373 130.16/124.53 o 4372 130.16/124.54 o 4371 130.16/124.54 o 4370 130.56/124.90 o 4369 130.56/124.90 o 4368 130.56/124.90 o 4367 132.89/127.23 o 4366 133.19/127.56 o 4362 133.19/127.56 o 4359 133.19/127.56 o 4350 133.19/127.56 o 4348 133.19/127.56 o 4342 133.19/127.56 o 4336 133.19/127.56 o 4333 133.19/127.56 o 4331 133.19/127.56 o 4330 133.19/127.57 o 4329 133.19/127.57 o 4328 133.19/127.57 o 4239 133.19/127.57 o 4238 133.19/127.58 o 4225 133.19/127.58 o 4224 133.19/127.58 o 4223 133.19/127.58 o 4209 133.19/127.59 o 4208 133.19/127.59 o 4204 133.19/127.59 o 4203 133.29/127.60 o 4202 133.29/127.60 o 4201 133.29/127.63 o 4200 133.29/127.63 o 4199 133.29/127.64 o 4197 133.29/127.64 o 4196 133.29/127.65 o 4195 133.39/127.71 o 4194 133.50/127.85 o 4193 133.50/127.85 o 4192 133.70/128.07 o 4189 133.70/128.07 o 4188 133.70/128.08 o 4179 133.70/128.08 o 4178 133.70/128.08 o 4175 133.70/128.08 o 4174 133.70/128.09 o 4173 133.70/128.09 o 4172 133.70/128.09 o 4171 133.81/128.17 o 4170 133.81/128.17 o 4169 133.81/128.18 o 4168 133.81/128.18 o 4167 133.90/128.21 o 4166 133.90/128.21 o 4165 134.72/129.07 o 4144 134.82/129.12 o 4130 134.82/129.12 o 4117 134.82/129.14 o 4030 134.82/129.15 o 4024 134.82/129.16 o 4016 134.82/129.16 o 4010 134.82/129.18 o 4009 134.82/129.19 o 4008 135.02/129.36 o 4007 135.02/129.36 o 4005 135.02/129.36 o 4003 135.22/129.52 o 4002 135.22/129.52 o 4001 135.22/129.59 o 3999 135.32/129.67 o 3998 135.32/129.67 o 3997 137.86/132.13 o 3989 137.86/132.13 o 3983 137.86/132.13 o 3982 137.86/132.13 o 3981 137.86/132.13 o 3980 137.86/132.13 o 3928 137.86/132.13 o 3927 137.86/132.14 o 3926 137.86/132.14 o 3925 137.86/132.14 o 3912 137.86/132.14 o 3911 137.86/132.14 o 3910 137.86/132.14 o 3909 137.86/132.15 o 3908 137.86/132.15 o 3907 137.86/132.15 o 3906 137.86/132.15 o 3905 137.86/132.18 o 3903 137.86/132.18 o 3899 137.86/132.18 o 3898 137.86/132.18 o 3897 137.86/132.19 o 3896 138.05/132.35 o 3895 138.05/132.35 o 3894 138.05/132.35 o 3893 138.05/132.39 o 3892 138.05/132.39 o 3891 138.16/132.40 o 3887 138.16/132.40 o 3886 138.36/132.61 o 3884 138.36/132.61 o 3883 138.36/132.61 o 3882 138.36/132.61 o 3881 138.36/132.61 o 3880 138.36/132.61 o 3879 138.36/132.61 o 3878 138.36/132.61 o 3877 138.36/132.62 o 3851 138.36/132.62 o 3850 138.36/132.62 o 3849 138.36/132.62 o 3848 138.36/132.62 o 3843 138.36/132.62 o 3842 138.36/132.63 o 3841 138.36/132.63 o 3840 138.36/132.64 o 3839 138.36/132.64 o 3838 138.36/132.65 o 3837 138.36/132.70 o 3836 138.36/132.70 o 3835 138.36/132.70 o 3834 138.46/132.70 o 3833 138.46/132.75 o 3832 138.46/132.75 o 3830 138.56/132.89 o 3829 140.08/134.31 o 3828 140.08/134.31 o 3827 140.08/134.31 o 3826 140.08/134.31 o 3824 140.08/134.31 o 3823 140.08/134.32 o 3820 140.08/134.32 o 3819 140.08/134.32 o 3818 140.08/134.32 o 3736 140.08/134.32 o 3735 140.08/134.33 o 3729 140.08/134.33 o 3728 140.08/134.33 o 3727 140.08/134.35 o 3726 140.08/134.35 o 3725 140.08/134.35 o 3724 140.08/134.36 o 3723 140.08/134.36 o 3722 140.08/134.36 o 3719 140.08/134.36 o 3718 140.08/134.36 o 3717 140.08/134.37 o 3716 140.08/134.39 o 3715 140.19/134.41 o 3714 140.19/134.41 o 3713 140.19/134.41 o 3712 140.19/134.41 o 3711 140.19/134.42 o 3710 140.19/134.42 o 3709 140.19/134.43 o 3708 140.19/134.46 o 3707 140.19/134.46 o 3706 140.19/134.46 o 3705 140.19/134.47 o 3704 140.19/134.47 o 3703 140.19/134.47 o 3702 140.19/134.47 o 3701 140.19/134.47 o 3700 140.19/134.47 o 3699 140.19/134.48 o 3698 140.19/134.48 o 3697 142.85/137.02 o 3696 142.85/137.02 o 3694 142.85/137.02 o 3692 142.85/137.03 o 3691 143.04/137.24 o 3690 143.04/137.24 o 3689 143.04/137.24 o 3688 143.04/137.24 o 3687 143.04/137.26 o 3686 143.04/137.26 o 3685 143.04/137.27 o 3684 143.04/137.29 o 3683 143.14/137.30 o 3681 143.14/137.30 o 3680 143.14/137.30 o 3676 143.14/137.34 o 3675 143.14/137.39 o 3674 143.14/137.39 o 3673 143.14/137.39 o 3672 143.14/137.39 o 3671 143.14/137.39 o 3670 143.14/137.39 o 3669 143.14/137.40 o 3668 143.24/137.46 o 3667 143.24/137.46 o 3666 143.35/137.51 o 3665 143.45/137.60 o 3663 143.45/137.60 o 3662 143.45/137.69 o 3661 143.96/138.11 o 3660 143.96/138.11 o 3659 143.96/138.11 o 3658 143.96/138.11 o 3657 143.96/138.11 o 3652 143.96/138.11 o 3651 143.96/138.11 o 3650 143.96/138.11 o 3642 143.96/138.11 o 3641 143.96/138.11 o 3639 143.96/138.11 o 3638 143.96/138.11 o 3637 143.96/138.12 o 3636 143.96/138.12 o 3625 143.96/138.12 o 3624 143.96/138.12 o 3623 143.96/138.12 o 3622 143.96/138.12 o 3585 143.96/138.12 o 3584 143.96/138.12 o 3583 143.96/138.12 o 3582 143.96/138.12 o 3578 143.96/138.12 o 3577 143.96/138.12 o 3576 143.96/138.12 o 3575 143.96/138.12 o 3574 143.96/138.12 o 3573 143.96/138.14 o 3567 143.96/138.14 o 3566 143.96/138.15 o 3565 143.96/138.15 o 3564 143.96/138.15 o 3562 143.96/138.15 o 3561 143.96/138.15 o 3560 143.96/138.15 o 3553 143.96/138.15 o 3552 143.96/138.16 o 3551 143.96/138.16 o 3550 143.96/138.16 o 3549 143.96/138.17 o 3548 143.96/138.17 o 3547 143.96/138.17 o 3546 143.96/138.17 o 3545 143.96/138.17 o 3544 143.96/138.17 o 3543 143.96/138.19 o 3542 144.06/138.20 o 3541 144.06/138.20 o 3540 144.06/138.23 o 3539 144.06/138.23 o 3538 144.06/138.24 o 3537 144.26/138.47 o 3536 144.26/138.47 o 3535 144.26/138.47 o 3534 144.26/138.47 o 3533 144.26/138.47 o 3532 144.26/138.47 o 3531 144.26/138.47 o 3524 144.26/138.47 o 3523 144.26/138.48 o 3522 144.26/138.49 o 3521 144.47/138.61 o 3486 144.47/138.61 o 3485 144.47/138.61 o 3484 144.47/138.65 o 3483 144.47/138.65 o 3482 144.47/138.65 o 3481 144.47/138.66 o 3480 144.47/138.66 o 3479 144.47/138.66 o 3478 144.47/138.66 o 3477 144.47/138.66 o 3467 144.47/138.66 o 3466 144.47/138.66 o 3465 144.47/138.66 o 3464 144.47/138.66 o 3463 144.47/138.66 o 3462 144.47/138.66 o 3461 144.47/138.66 o 3460 144.47/138.67 o 3459 144.47/138.67 o 3450 144.47/138.67 o 3449 144.47/138.67 o 3448 144.47/138.67 o 3447 144.47/138.68 o 3446 144.47/138.68 o 3445 144.47/138.68 o 3444 144.47/138.69 o 3443 144.47/138.69 o 3442 144.47/138.69 o 3441 144.47/138.69 o 3440 144.47/138.69 o 3439 144.57/138.76 o 3437 144.57/138.76 o 3436 144.57/138.76 o 3435 144.57/138.76 o 3434 144.57/138.78 o 3433 144.57/138.78 o 3432 144.68/138.84 o 3431 144.68/138.88 o 3430 144.78/138.91 o 3429 144.78/138.91 o 3428 144.78/138.91 o 3427 144.78/138.91 o 3426 144.78/138.97 o 3425 144.78/138.97 o 3424 145.00/139.14 o 3423 145.49/139.67 o 3422 150.00/144.06 o 3412 150.00/144.06 o 3411 150.00/144.06 o 3407 150.00/144.06 o 3406 150.00/144.06 o 3405 150.00/144.06 o 3402 150.00/144.06 o 3401 150.00/144.06 o 3400 150.00/144.07 o 3399 150.00/144.07 o 3384 150.00/144.07 o 3383 150.00/144.07 o 3382 150.00/144.07 o 3381 150.00/144.07 o 3376 150.00/144.07 o 3375 150.00/144.07 o 3374 150.00/144.07 o 3373 150.00/144.07 o 3372 150.00/144.07 o 3367 150.00/144.07 o 3366 150.00/144.07 o 3365 150.00/144.07 o 3364 150.00/144.09 o 3363 150.00/144.09 o 3362 150.00/144.09 o 3361 150.00/144.09 o 3360 150.10/144.13 o 3359 150.10/144.13 o 3358 150.10/144.14 o 3357 150.10/144.14 o 3356 150.10/144.14 o 3355 150.10/144.14 o 3354 150.19/144.29 o 3353 150.19/144.29 o 3352 150.19/144.29 o 3351 150.19/144.29 o 3350 150.29/144.33 o 3349 150.29/144.33 o 3348 150.29/144.33 o 3347 150.49/144.51 o 3346 150.49/144.51 o 3345 150.60/144.69 o 3344 150.70/144.70 o 3343 150.80/144.89 o 3342 150.90/144.90 o 3341 150.90/144.90 o 3340 150.90/144.91 o 3339 150.90/144.98 o 3338 150.90/144.98 o 3337 150.90/144.98 o 3336 150.90/144.99 o 3333 150.90/144.99 o 3332 150.90/144.99 o 3331 150.90/144.99 o 3330 150.90/144.99 o 3329 150.90/144.99 o 3328 150.90/144.99 o 3327 151.01/145.03 o 3326 151.01/145.03 o 3325 151.01/145.06 o 3291 151.01/145.06 o 3290 151.01/145.06 o 3285 151.01/145.06 o 3283 151.01/145.06 o 3282 151.01/145.06 o 3281 151.01/145.07 o 3279 151.01/145.07 o 3278 151.01/145.07 o 3277 151.01/145.07 o 3276 151.01/145.07 o 3275 151.01/145.07 o 3274 151.01/145.07 o 3273 151.01/145.07 o 3271 151.01/145.07 o 3270 151.01/145.07 o 3269 151.01/145.07 o 3268 151.01/145.07 o 3267 151.01/145.08 o 3266 151.01/145.08 o 3257 151.01/145.09 o 3250 151.01/145.09 o 3249 151.01/145.10 o 3248 151.01/145.11 o 3247 151.01/145.11 o 3246 151.11/145.11 o 3244 151.11/145.11 o 3243 151.11/145.12 o 3242 151.11/145.12 o 3241 151.11/145.13 o 3240 151.11/145.13 o 3239 151.11/145.15 o 3238 151.11/145.15 o 3237 151.11/145.15 o 3236 151.11/145.18 o 3235 151.11/145.18 o 3234 151.21/145.28 o 3233 151.21/145.29 o 3232 151.31/145.32 o 3231 151.31/145.32 o 3230 151.31/145.35 o 3229 151.31/145.35 o 3228 154.58/148.57 o 3227 168.01/161.78 o 3226 168.01/161.78 o 3225 168.11/161.83 o 3224 168.11/161.83 o 3223 169.12/162.85 o 3222 169.93/163.69 o 3221 170.03/163.72 o 3220 170.03/163.74 o 3219 171.75/165.46 o 3218 171.85/165.56 o 3216 171.85/165.56 o 3215 171.85/165.56 o 3214 171.85/165.59 o 3213 171.96/165.62 o 3212 172.06/165.79 o 3211 172.27/165.90 o 3210 172.27/165.90 o 3209 172.27/165.91 o 3208 172.78/166.40 o 3207 172.98/166.63 o 3206 172.98/166.63 o 3205 172.98/166.69 o 3204 173.08/166.72 o 3203 173.18/166.81 o 3202 173.18/166.81 o 3201 173.18/166.82 o 3200 173.18/166.86 o 3199 173.39/167.08 o 3198 173.39/167.08 o 3197 173.39/167.08 o 3196 173.39/167.08 o 3194 173.39/167.08 o 3192 173.39/167.09 o 3191 173.39/167.09 o 3190 173.39/167.09 o 3187 187.30/180.75 o 3178 187.30/180.75 o 3176 187.30/180.75 o 3174 187.30/180.75 o 3172 187.30/180.75 o 3114 187.30/180.75 o 3102 187.30/180.77 o 3101 187.30/180.77 o 3089 187.61/181.02 o 3088 188.01/181.47 o 3087 189.02/182.42 o 3086 189.23/182.63 o 3085 189.23/182.63 o 3084 193.71/187.01 o 3083 193.71/187.01 o 3082 193.71/187.01 o 3081 193.71/187.01 o 3044 193.71/187.01 o 3043 193.71/187.02 o 3031 193.71/187.02 o 3030 193.71/187.02 o 3028 193.71/187.02 o 3027 193.71/187.02 o 3025 193.71/187.02 o 3024 193.71/187.02 o 3023 193.71/187.02 o 3022 193.71/187.04 o 2997 193.71/187.05 o 2996 193.71/187.06 o 2979 193.71/187.07 o 2977 193.71/187.07 o 2975 193.71/187.08 o 2971 193.71/187.09 o 2969 193.81/187.13 o 2966 193.81/187.13 o 2965 193.81/187.19 o 2963 193.91/187.25 o 2959 193.91/187.29 o 2958 194.42/187.77 o 2957 194.42/187.77 o 2956 194.52/187.87 o 2955 194.52/187.87 o 2953 194.62/187.92 o 2952 194.83/188.16 o 2946 194.83/188.16 o 2891 194.83/188.16 o 2879 194.83/188.16 o 2852 194.83/188.16 o 2828 194.83/188.16 o 2826 194.83/188.16 o 2811 194.83/188.16 o 2801 194.83/188.16 o 2800 194.83/188.16 o 2799 194.83/188.16 o 2798 194.83/188.17 o 2797 194.83/188.17 o 2796 194.83/188.17 o 2795 194.92/188.20 o 2794 194.92/188.20 o 2793 194.92/188.20 o 2792 194.92/188.21 o 2791 194.92/188.21 o 2790 194.92/188.29 o 2789 194.92/188.29 o 2788 194.92/188.29 o 2787 194.92/188.29 o 2786 195.63/188.96 o 2785 195.63/188.96 o 2784 195.74/189.11 o 2783 195.84/189.11 o 2782 195.84/189.11 o 2781 195.84/189.11 o 2780 195.84/189.17 o 2776 195.84/189.17 o 2775 195.84/189.17 o 2774 195.95/189.22 o 2773 195.95/189.22 o 2772 195.95/189.22 o 2771 196.56/189.80 o 2770 198.10/191.35 o 2769 198.10/191.39 o 2768 199.04/192.22 o 2767 199.54/192.79 o 2766 199.54/192.79 o 2765 199.64/192.82 o 2764 199.64/192.85 o 2763 199.64/192.85 o 2762 199.64/192.85 o 2761 199.64/192.85 o 2760 199.74/192.91 o 2759 199.74/192.91 o 2758 199.74/192.92 o 2757 199.86/193.10 o 2756 207.18/200.28 o 2755 252.04/244.40 s SATISFIABLE 252.04/244.40 v <instantiation> 252.04/244.40 v <list> 252.04/244.40 v c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] 252.04/244.40 v </list> 252.04/244.40 v <values> 252.04/244.40 v 12 5 2 144 5 2 45 2 10 0 4 6 1 2 3 0 2 1 23 1 0 8 94 0 5 3 49 0 0 3 3 148 0 5 0 1 8 1 0 0 1 3 1 0 3 156 2 4 1 2 8 4 0 1 2 1 0 52 1 1 1 1 0 0 1 1 1 0 1 62 0 3 71 1 0 0 0 52 1 0 3 0 1 1 1 0 0 0 0 0 0 1 4 27 6 2 178 92 183 5 0 7 131 144 0 103 2 1 2 1 0 0 1 2 1 0 5 68 0 3 50 111 0 0 0 35 72 0 19 0 1 3 1 0 0 0 0 0 0 3 163 27 0 1 49 3 0 0 1 2 1 0 5 0 1 1 105 0 0 1 2 1 0 1 5 0 0 3 1 0 0 0 3 1 0 3 0 0 1 1 0 0 0 0 0 0 1 5 2 54 4 252.04/244.40 v </values> 252.04/244.40 v </instantiation>
OK 2755
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13115 MiB free) memory of node 1: 16384 MiB (10726 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310121-1534329999/watcher-4310121-1534329999 -o /tmp/evaluation-result-4310121-1534329999/solver-4310121-1534329999 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21541 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1267158049 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310121-1534329999.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=22541, runsolver pid=22538 [startup+0.100062 s]* /proc/loadavg: 1.72 1.71 1.46 4/215 22556 /proc/meminfo: memFree=24388516/32770624 swapFree=67108524/67108860 [pid=22541] ppid=22538 vsize=14082736 memory=30964 CPUtime=0.12 cores=0,2,4,6 /proc/22541/stat : 22541 (java) S 22538 22541 21510 0 -1 1077944320 6639 0 0 0 11 1 0 0 20 0 15 0 250563125 14420721664 7741 33554432000 4194304 4196468 140737140051120 140737140033664 140193769922295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 /proc/22541/statm: 3520684 7741 3156 1 0 3482761 0 [pid=22541/tid=22543] ppid=22538 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6 /proc/22541/task/22543/stat : 22543 (java) R 22538 22541 21510 0 -1 4202560 4683 0 0 0 8 1 0 0 20 0 15 0 250563125 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193774143136 140193754002782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22544] ppid=22538 vsize=14082736 memory=5793855330413664697 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22544/stat : 22544 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193707522576 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22545] ppid=22538 vsize=14082736 memory=140079403771520 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22545/stat : 22545 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193706470032 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22546] ppid=22538 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22546/stat : 22546 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193363925264 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22547] ppid=22538 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22547/stat : 22547 (java) S 22538 22541 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193362872720 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22548] ppid=22538 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22548/stat : 22548 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563128 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193311996656 140193769933442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22549] ppid=22538 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22549/stat : 22549 (java) S 22538 22541 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250563128 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193310942880 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22550] ppid=22538 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22550/stat : 22550 (java) S 22538 22541 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250563128 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193309889776 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22551] ppid=22538 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22551/stat : 22551 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193308838352 140193769940891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22552] ppid=22538 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22552/stat : 22552 (java) S 22538 22541 21510 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193307785456 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22553] ppid=22538 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22553/stat : 22553 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193306732912 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22554] ppid=22538 vsize=14082736 memory=140079403771520 CPUtime=0.01 cores=0,2,4,6 /proc/22541/task/22554/stat : 22554 (java) R 22538 22541 21510 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 250563131 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193305679856 140193769934230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22555] ppid=22538 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22555/stat : 22555 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193304627552 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22556] ppid=22538 vsize=14082736 memory=140079403771520 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22556/stat : 22556 (java) S 22538 22541 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 7741 33554432000 4194304 4196468 140737140051120 140193235463216 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 30964 KiB [startup+0.215786 s]* /proc/loadavg: 1.72 1.71 1.46 6/215 22556 /proc/meminfo: memFree=24373260/32770624 swapFree=67108524/67108860 [pid=22541] ppid=22538 vsize=14082736 memory=47048 CPUtime=0.32 cores=0,2,4,6 /proc/22541/stat : 22541 (java) S 22538 22541 21510 0 -1 1077944320 10401 0 0 0 30 2 0 0 20 0 15 0 250563125 14420721664 11762 33554432000 4194304 4196468 140737140051120 140737140033664 140193769922295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 /proc/22541/statm: 3520684 11762 3369 1 0 3482761 0 [pid=22541/tid=22543] ppid=22538 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6 /proc/22541/task/22543/stat : 22543 (java) R 22538 22541 21510 0 -1 4202560 8093 0 0 0 19 1 0 0 20 0 15 0 250563125 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193774140896 140193762159422 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22544] ppid=22538 vsize=14082736 memory=4211973805608562058 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22544/stat : 22544 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193707522576 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22545] ppid=22538 vsize=14082736 memory=140079403771520 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22545/stat : 22545 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193706470032 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22546] ppid=22538 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22546/stat : 22546 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193363925264 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22547] ppid=22538 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22547/stat : 22547 (java) S 22538 22541 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193362872720 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22548] ppid=22538 vsize=14082736 memory=140079403771520 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22548/stat : 22548 (java) S 22538 22541 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250563128 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193311996656 140193769933442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22549] ppid=22538 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22549/stat : 22549 (java) S 22538 22541 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250563128 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193310942880 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22550] ppid=22538 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22550/stat : 22550 (java) S 22538 22541 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250563128 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193309889776 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22551] ppid=22538 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22551/stat : 22551 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193308838352 140193769940891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22552] ppid=22538 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/22541/task/22552/stat : 22552 (java) S 22538 22541 21510 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 250563131 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193307785456 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22553] ppid=22538 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/22541/task/22553/stat : 22553 (java) S 22538 22541 21510 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 250563131 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193306732912 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22554] ppid=22538 vsize=14082736 memory=140079403771520 CPUtime=0.06 cores=0,2,4,6 /proc/22541/task/22554/stat : 22554 (java) R 22538 22541 21510 0 -1 4202560 318 0 0 0 6 0 0 0 20 0 15 0 250563131 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193305679856 140193749058233 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22555] ppid=22538 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22555/stat : 22555 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193304627552 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22556] ppid=22538 vsize=14082736 memory=140079403771520 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22556/stat : 22556 (java) S 22538 22541 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 11762 33554432000 4194304 4196468 140737140051120 140193235463216 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 47048 KiB [startup+0.310521 s]* /proc/loadavg: 1.72 1.71 1.46 4/215 22556 /proc/meminfo: memFree=24369848/32770624 swapFree=67108524/67108860 [pid=22541] ppid=22538 vsize=14082736 memory=50504 CPUtime=0.44 cores=0,2,4,6 /proc/22541/stat : 22541 (java) S 22538 22541 21510 0 -1 1077944320 10788 0 0 0 42 2 0 0 20 0 15 0 250563125 14420721664 12626 33554432000 4194304 4196468 140737140051120 140737140033664 140193769922295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 /proc/22541/statm: 3520684 12626 3384 1 0 3482761 0 [pid=22541/tid=22543] ppid=22538 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6 /proc/22541/task/22543/stat : 22543 (java) R 22538 22541 21510 0 -1 4202560 8441 0 0 0 28 1 0 0 20 0 15 0 250563125 14420721664 12626 33554432000 4194304 4196468 140737140051120 140193774111568 140193751485855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22544] ppid=22538 vsize=14082736 memory=4211973805608562058 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22544/stat : 22544 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193707522576 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22545] ppid=22538 vsize=14082736 memory=140079403773885 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22545/stat : 22545 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193706470032 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22546] ppid=22538 vsize=14082736 memory=140079284747743 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22546/stat : 22546 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193363925264 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22547] ppid=22538 vsize=14082736 memory=140079284735439 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22547/stat : 22547 (java) S 22538 22541 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250563126 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193362872720 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22548] ppid=22538 vsize=14082736 memory=140079403793056 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22548/stat : 22548 (java) S 22538 22541 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250563128 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193311996656 140193769933442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22549] ppid=22538 vsize=14082736 memory=140079284744623 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22549/stat : 22549 (java) S 22538 22541 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250563128 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193310942880 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22550] ppid=22538 vsize=14082736 memory=280158569480080 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22550/stat : 22550 (java) S 22538 22541 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250563128 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193309889776 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22551] ppid=22538 vsize=14082736 memory=280158569477776 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22551/stat : 22551 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193308838352 140193769940891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22552] ppid=22538 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/22541/task/22552/stat : 22552 (java) S 22538 22541 21510 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 250563131 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193307785456 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22553] ppid=22538 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/22541/task/22553/stat : 22553 (java) S 22538 22541 21510 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 250563131 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193306732912 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22554] ppid=22538 vsize=14082736 memory=140079403771520 CPUtime=0.08 cores=0,2,4,6 /proc/22541/task/22554/stat : 22554 (java) S 22538 22541 21510 0 -1 1077944384 336 0 0 0 8 0 0 0 20 0 15 0 250563131 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193305679856 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22555] ppid=22538 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22555/stat : 22555 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193304627552 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22556] ppid=22538 vsize=14082736 memory=140079403771520 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22556/stat : 22556 (java) S 22538 22541 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250563131 14420721664 12678 33554432000 4194304 4196468 140737140051120 140193235463216 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 50504 KiB [startup+0.700797 s] /proc/loadavg: 1.72 1.71 1.46 3/215 22556 /proc/meminfo: memFree=24345416/32770624 swapFree=67108524/67108860 [pid=22541] ppid=22538 vsize=14084804 memory=88860 CPUtime=0.99 cores=0,2,4,6 /proc/22541/stat : 22541 (java) S 22538 22541 21510 0 -1 1077944320 17621 0 0 0 94 5 0 0 20 0 15 0 250563125 14422839296 22215 33554432000 4194304 4196468 140737140051120 140737140033664 140193769922295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 /proc/22541/statm: 3521201 22215 3499 1 0 3483273 0 [pid=22541/tid=22543] ppid=22538 vsize=14084804 memory=1120 CPUtime=0.68 cores=0,2,4,6 /proc/22541/task/22543/stat : 22543 (java) R 22538 22541 21510 0 -1 4202560 14892 0 0 0 64 4 0 0 20 0 15 0 250563125 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193774128144 140193754002782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22544] ppid=22538 vsize=14084804 memory=6068 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22544/stat : 22544 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193707522576 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22545] ppid=22538 vsize=14084804 memory=1724 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22545/stat : 22545 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193706470032 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22546] ppid=22538 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22546/stat : 22546 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193363925264 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22547] ppid=22538 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22547/stat : 22547 (java) S 22538 22541 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250563126 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193362872720 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22548] ppid=22538 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22548/stat : 22548 (java) S 22538 22541 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250563128 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193311996656 140193769933442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22549] ppid=22538 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22549/stat : 22549 (java) S 22538 22541 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250563128 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193310942880 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22550] ppid=22538 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22550/stat : 22550 (java) S 22538 22541 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250563128 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193309889776 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22551] ppid=22538 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22551/stat : 22551 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193308838352 140193769940891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22552] ppid=22538 vsize=14084804 memory=226 CPUtime=0.06 cores=0,2,4,6 /proc/22541/task/22552/stat : 22552 (java) S 22538 22541 21510 0 -1 1077944384 509 0 0 0 6 0 0 0 20 0 15 0 250563131 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193307785456 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22553] ppid=22538 vsize=14084804 memory=7 CPUtime=0.09 cores=0,2,4,6 /proc/22541/task/22553/stat : 22553 (java) S 22538 22541 21510 0 -1 1077944384 415 0 0 0 9 0 0 0 20 0 15 0 250563131 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193306732912 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22554] ppid=22538 vsize=14084804 memory=710 CPUtime=0.15 cores=0,2,4,6 /proc/22541/task/22554/stat : 22554 (java) S 22538 22541 21510 0 -1 1077944384 422 0 0 0 15 0 0 0 20 0 15 0 250563131 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193305679856 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22555] ppid=22538 vsize=14084804 memory=280158569663984 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22555/stat : 22555 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193304627552 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22556] ppid=22538 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22556/stat : 22556 (java) S 22538 22541 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250563131 14422839296 22215 33554432000 4194304 4196468 140737140051120 140193235463216 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 88860 KiB [startup+1.50086 s] /proc/loadavg: 1.72 1.71 1.46 4/215 22556 /proc/meminfo: memFree=24307384/32770624 swapFree=67108524/67108860 [pid=22541] ppid=22538 vsize=14088900 memory=208412 CPUtime=3.32 cores=0,2,4,6 /proc/22541/stat : 22541 (java) S 22538 22541 21510 0 -1 1077944320 28034 0 0 0 324 8 0 0 20 0 15 0 250563125 14427033600 52103 33554432000 4194304 4196468 140737140051120 140737140033664 140193769922295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 /proc/22541/statm: 3522225 52103 3549 1 0 3484297 0 [pid=22541/tid=22543] ppid=22538 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6 /proc/22541/task/22543/stat : 22543 (java) R 22538 22541 21510 0 -1 4202560 19868 0 0 0 141 6 0 0 20 0 15 0 250563125 14427033600 52103 33554432000 4194304 4196468 140737140051120 140193774152744 140193755602417 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22544] ppid=22538 vsize=14088900 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22544/stat : 22544 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14427033600 52103 33554432000 4194304 4196468 140737140051120 140193707522576 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22545] ppid=22538 vsize=14088900 memory=-6439125508584727651 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22545/stat : 22545 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14427033600 52103 33554432000 4194304 4196468 140737140051120 140193706470032 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22546] ppid=22538 vsize=14088900 memory=-7521683558872601134 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22546/stat : 22546 (java) S 22538 22541 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250563126 14427033600 52103 33554432000 4194304 4196468 140737140051120 140193363925264 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22547] ppid=22538 vsize=14088900 memory=4946247201533565824 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22547/stat : 22547 (java) S 22538 22541 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250563126 14427033600 52103 33554432000 4194304 4196468 140737140051120 140193362872720 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22548] ppid=22538 vsize=14088900 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22548/stat : 22548 (java) S 22538 22541 21510 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 250563128 14427033600 52103 33554432000 4194304 4196468 140737140051120 140193311996656 140193769933442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 ################ # More data... # ################ /proc/22541/task/22543/stat : 22543 (java) R 22538 22541 21510 0 -1 4202560 25105 0 0 0 10140 10 0 0 20 0 15 0 250563125 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193774160480 140193394951835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22544] ppid=22538 vsize=14090948 memory=56 CPUtime=0.5 cores=0,2,4,6 /proc/22541/task/22544/stat : 22544 (java) S 22538 22541 21510 0 -1 1077944384 1262 0 0 0 47 3 0 0 20 0 15 0 250563126 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193707522576 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22545] ppid=22538 vsize=14090948 memory=56 CPUtime=0.51 cores=0,2,4,6 /proc/22541/task/22545/stat : 22545 (java) S 22538 22541 21510 0 -1 1077944384 2272 0 0 0 47 4 0 0 20 0 15 0 250563126 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193706470032 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22546] ppid=22538 vsize=14090948 memory=164 CPUtime=0.5 cores=0,2,4,6 /proc/22541/task/22546/stat : 22546 (java) S 22538 22541 21510 0 -1 1077944384 1381 0 0 0 46 4 0 0 20 0 15 0 250563126 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193363925264 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22547] ppid=22538 vsize=14090948 memory=280155348789708 CPUtime=0.5 cores=0,2,4,6 /proc/22541/task/22547/stat : 22547 (java) S 22538 22541 21510 0 -1 1077944384 4100 0 0 0 46 4 0 0 20 0 15 0 250563126 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193362872720 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22548] ppid=22538 vsize=14090948 memory=3546496311634871156 CPUtime=0.18 cores=0,2,4,6 /proc/22541/task/22548/stat : 22548 (java) S 22538 22541 21510 0 -1 1077944384 1511 0 0 0 15 3 0 0 20 0 15 0 250563128 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193311996656 140193769933442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22549] ppid=22538 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22549/stat : 22549 (java) S 22538 22541 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250563128 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193310942880 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22550] ppid=22538 vsize=14090948 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22550/stat : 22550 (java) S 22538 22541 21510 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250563128 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193309889776 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22551] ppid=22538 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22551/stat : 22551 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193308838352 140193769940891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22552] ppid=22538 vsize=14090948 memory=644 CPUtime=1.44 cores=0,2,4,6 /proc/22541/task/22552/stat : 22552 (java) S 22538 22541 21510 0 -1 1077944384 6924 0 0 0 144 0 0 0 20 0 15 0 250563131 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193307785456 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22553] ppid=22538 vsize=14090948 memory=1932 CPUtime=1.47 cores=0,2,4,6 /proc/22541/task/22553/stat : 22553 (java) S 22538 22541 21510 0 -1 1077944384 8246 0 0 0 146 1 0 0 20 0 15 0 250563131 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193306732912 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22554] ppid=22538 vsize=14090948 memory=7288 CPUtime=0.83 cores=0,2,4,6 /proc/22541/task/22554/stat : 22554 (java) S 22538 22541 21510 0 -1 1077944384 10278 0 0 0 82 1 0 0 20 0 15 0 250563131 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193305679856 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22555] ppid=22538 vsize=14090948 memory=205232 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22555/stat : 22555 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193304627552 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22556] ppid=22538 vsize=14090948 memory=202068 CPUtime=0.04 cores=0,2,4,6 /proc/22541/task/22556/stat : 22556 (java) S 22538 22541 21510 0 -1 1077944384 643 0 0 0 2 2 0 0 20 0 15 0 250563131 14429130752 52332 33554432000 4194304 4196468 140737140051120 140193235463216 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 Current children cumulated CPU time: 107.59 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 209328 KiB [startup+162.301 s] /proc/loadavg: 1.33 1.62 1.48 3/215 22558 /proc/meminfo: memFree=23770976/32770624 swapFree=67108524/67108860 [pid=22541] ppid=22538 vsize=14090948 memory=240732 CPUtime=168.62 cores=0,2,4,6 /proc/22541/stat : 22541 (java) S 22538 22541 21510 0 -1 1077944320 67781 0 0 0 16815 47 0 0 20 0 15 0 250563125 14429130752 60183 33554432000 4194304 4196468 140737140051120 140737140033664 140193769922295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 /proc/22541/statm: 3522737 60183 3582 1 0 3484809 0 [pid=22541/tid=22543] ppid=22538 vsize=14090948 memory=241252 CPUtime=161.01 cores=0,2,4,6 /proc/22541/task/22543/stat : 22543 (java) R 22538 22541 21510 0 -1 4202560 26325 0 0 0 16091 10 0 0 20 0 15 0 250563125 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193774160448 140193394952217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22544] ppid=22538 vsize=14090948 memory=240224 CPUtime=0.83 cores=0,2,4,6 /proc/22541/task/22544/stat : 22544 (java) S 22538 22541 21510 0 -1 1077944384 2087 0 0 0 78 5 0 0 20 0 15 0 250563126 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193707522576 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22545] ppid=22538 vsize=14090948 memory=241252 CPUtime=0.85 cores=0,2,4,6 /proc/22541/task/22545/stat : 22545 (java) S 22538 22541 21510 0 -1 1077944384 2491 0 0 0 79 6 0 0 20 0 15 0 250563126 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193706470032 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22546] ppid=22538 vsize=14090948 memory=240224 CPUtime=0.84 cores=0,2,4,6 /proc/22541/task/22546/stat : 22546 (java) S 22538 22541 21510 0 -1 1077944384 1814 0 0 0 77 7 0 0 20 0 15 0 250563126 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193363925264 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22547] ppid=22538 vsize=14090948 memory=241248 CPUtime=0.85 cores=0,2,4,6 /proc/22541/task/22547/stat : 22547 (java) S 22538 22541 21510 0 -1 1077944384 4624 0 0 0 78 7 0 0 20 0 15 0 250563126 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193362872720 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22548] ppid=22538 vsize=14090948 memory=164 CPUtime=0.3 cores=0,2,4,6 /proc/22541/task/22548/stat : 22548 (java) S 22538 22541 21510 0 -1 1077944384 1772 0 0 0 25 5 0 0 20 0 15 0 250563128 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193311996656 140193769933442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22549] ppid=22538 vsize=14090948 memory=33 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22549/stat : 22549 (java) S 22538 22541 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250563128 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193310942880 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22550] ppid=22538 vsize=14090948 memory=1724 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22550/stat : 22550 (java) S 22538 22541 21510 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250563128 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193309889776 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22551] ppid=22538 vsize=14090948 memory=4004 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22551/stat : 22551 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193308838352 140193769940891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22552] ppid=22538 vsize=14090948 memory=239712 CPUtime=1.45 cores=0,2,4,6 /proc/22541/task/22552/stat : 22552 (java) S 22538 22541 21510 0 -1 1077944384 7326 0 0 0 145 0 0 0 20 0 15 0 250563131 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193307785456 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22553] ppid=22538 vsize=14090948 memory=240224 CPUtime=1.48 cores=0,2,4,6 /proc/22541/task/22553/stat : 22553 (java) S 22538 22541 21510 0 -1 1077944384 8602 0 0 0 147 1 0 0 20 0 15 0 250563131 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193306732912 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22554] ppid=22538 vsize=14090948 memory=241248 CPUtime=0.83 cores=0,2,4,6 /proc/22541/task/22554/stat : 22554 (java) S 22538 22541 21510 0 -1 1077944384 10658 0 0 0 82 1 0 0 20 0 15 0 250563131 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193305679856 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22555] ppid=22538 vsize=14090948 memory=241248 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22555/stat : 22555 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193304627552 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22556] ppid=22538 vsize=14090948 memory=241248 CPUtime=0.07 cores=0,2,4,6 /proc/22541/task/22556/stat : 22556 (java) S 22538 22541 21510 0 -1 1077944384 664 0 0 0 4 3 0 0 20 0 15 0 250563131 14429130752 60183 33554432000 4194304 4196468 140737140051120 140193235463216 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 Current children cumulated CPU time: 168.62 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 240732 KiB [startup+222.301 s] /proc/loadavg: 1.38 1.58 1.47 3/215 22566 /proc/meminfo: memFree=23737360/32770624 swapFree=67108524/67108860 [pid=22541] ppid=22538 vsize=14090948 memory=271508 CPUtime=229.71 cores=0,2,4,6 /proc/22541/stat : 22541 (java) S 22538 22541 21510 0 -1 1077944320 74572 0 0 0 22915 56 0 0 20 0 15 0 250563125 14429130752 67877 33554432000 4194304 4196468 140737140051120 140737140033664 140193769922295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 /proc/22541/statm: 3522737 67877 3582 1 0 3484809 0 [pid=22541/tid=22543] ppid=22538 vsize=14090948 memory=276576 CPUtime=220.51 cores=0,2,4,6 /proc/22541/task/22543/stat : 22543 (java) R 22538 22541 21510 0 -1 4202560 28976 0 0 0 22040 11 0 0 20 0 15 0 250563125 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193774160416 140193394952231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22544] ppid=22538 vsize=14090948 memory=248656 CPUtime=1.2 cores=0,2,4,6 /proc/22541/task/22544/stat : 22544 (java) S 22538 22541 21510 0 -1 1077944384 3426 0 0 0 113 7 0 0 20 0 15 0 250563126 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193707522576 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22545] ppid=22538 vsize=14090948 memory=277864 CPUtime=1.22 cores=0,2,4,6 /proc/22541/task/22545/stat : 22545 (java) S 22538 22541 21510 0 -1 1077944384 3092 0 0 0 114 8 0 0 20 0 15 0 250563126 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193706470032 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22546] ppid=22538 vsize=14090948 memory=1828 CPUtime=1.21 cores=0,2,4,6 /proc/22541/task/22546/stat : 22546 (java) S 22538 22541 21510 0 -1 1077944384 2438 0 0 0 112 9 0 0 20 0 15 0 250563126 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193363925264 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22547] ppid=22538 vsize=14090948 memory=274012 CPUtime=1.21 cores=0,2,4,6 /proc/22541/task/22547/stat : 22547 (java) S 22538 22541 21510 0 -1 1077944384 4717 0 0 0 112 9 0 0 20 0 15 0 250563126 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193362872720 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22548] ppid=22538 vsize=14090948 memory=272024 CPUtime=0.41 cores=0,2,4,6 /proc/22541/task/22548/stat : 22548 (java) S 22538 22541 21510 0 -1 1077944384 2055 0 0 0 35 6 0 0 20 0 15 0 250563128 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193311996656 140193769933442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22549] ppid=22538 vsize=14090948 memory=271508 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22549/stat : 22549 (java) S 22538 22541 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250563128 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193310942880 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22550] ppid=22538 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22550/stat : 22550 (java) S 22538 22541 21510 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250563128 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193309889776 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22551] ppid=22538 vsize=14090948 memory=275036 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22551/stat : 22551 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193308838352 140193769940891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22552] ppid=22538 vsize=14090948 memory=275036 CPUtime=1.45 cores=0,2,4,6 /proc/22541/task/22552/stat : 22552 (java) S 22538 22541 21510 0 -1 1077944384 7329 0 0 0 145 0 0 0 20 0 15 0 250563131 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193307785456 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22553] ppid=22538 vsize=14090948 memory=3712 CPUtime=1.48 cores=0,2,4,6 /proc/22541/task/22553/stat : 22553 (java) S 22538 22541 21510 0 -1 1077944384 8604 0 0 0 147 1 0 0 20 0 15 0 250563131 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193306732912 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22554] ppid=22538 vsize=14090948 memory=68172 CPUtime=0.83 cores=0,2,4,6 /proc/22541/task/22554/stat : 22554 (java) S 22538 22541 21510 0 -1 1077944384 11832 0 0 0 82 1 0 0 20 0 15 0 250563131 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193305679856 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22555] ppid=22538 vsize=14090948 memory=1064 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22555/stat : 22555 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193304627552 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22556] ppid=22538 vsize=14090948 memory=2072 CPUtime=0.1 cores=0,2,4,6 /proc/22541/task/22556/stat : 22556 (java) S 22538 22541 21510 0 -1 1077944384 685 0 0 0 5 5 0 0 20 0 15 0 250563131 14429130752 67877 33554432000 4194304 4196468 140737140051120 140193235463216 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 Current children cumulated CPU time: 229.71 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 271508 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+244.401 s] /proc/loadavg: 1.42 1.58 1.47 3/215 22644 /proc/meminfo: memFree=24331232/32770624 swapFree=67108524/67108860 [pid=22541] ppid=22538 vsize=14090948 memory=273796 CPUtime=252.04 cores=0,2,4,6 /proc/22541/stat : 22541 (java) S 22538 22541 21510 0 -1 1077944320 75615 0 0 0 25144 60 0 0 20 0 15 0 250563125 14429130752 68449 33554432000 4194304 4196468 140737140051120 140737140033664 140193769922295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 /proc/22541/statm: 3522737 68449 3582 1 0 3484809 0 [pid=22541/tid=22543] ppid=22538 vsize=14090948 memory=273796 CPUtime=242.28 cores=0,2,4,6 /proc/22541/task/22543/stat : 22543 (java) R 22538 22541 21510 0 -1 4202560 29082 0 0 0 24216 12 0 0 20 0 15 0 250563125 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193774160448 140193395307423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22544] ppid=22538 vsize=14090948 memory=273796 CPUtime=1.32 cores=0,2,4,6 /proc/22541/task/22544/stat : 22544 (java) S 22538 22541 21510 0 -1 1077944384 3428 0 0 0 125 7 0 0 20 0 15 0 250563126 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193707522576 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22545] ppid=22538 vsize=14090948 memory=6791534058613427641 CPUtime=1.33 cores=0,2,4,6 /proc/22541/task/22545/stat : 22545 (java) S 22538 22541 21510 0 -1 1077944384 3094 0 0 0 125 8 0 0 20 0 15 0 250563126 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193706470032 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22546] ppid=22538 vsize=14090948 memory=804 CPUtime=1.33 cores=0,2,4,6 /proc/22541/task/22546/stat : 22546 (java) S 22538 22541 21510 0 -1 1077944384 2444 0 0 0 124 9 0 0 20 0 15 0 250563126 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193363925264 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22547] ppid=22538 vsize=14090948 memory=4104 CPUtime=1.33 cores=0,2,4,6 /proc/22541/task/22547/stat : 22547 (java) S 22538 22541 21510 0 -1 1077944384 4721 0 0 0 124 9 0 0 20 0 15 0 250563126 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193362872720 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22548] ppid=22538 vsize=14090948 memory=1696 CPUtime=0.45 cores=0,2,4,6 /proc/22541/task/22548/stat : 22548 (java) S 22538 22541 21510 0 -1 1077944384 2057 0 0 0 39 6 0 0 20 0 15 0 250563128 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193311996656 140193769933442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22549] ppid=22538 vsize=14090948 memory=920 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22549/stat : 22549 (java) S 22538 22541 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250563128 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193310942880 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22550] ppid=22538 vsize=14090948 memory=3848 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22550/stat : 22550 (java) S 22538 22541 21510 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250563128 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193309889776 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22551] ppid=22538 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22551/stat : 22551 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193308838352 140193769940891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22552] ppid=22538 vsize=14090948 memory=1088 CPUtime=1.45 cores=0,2,4,6 /proc/22541/task/22552/stat : 22552 (java) S 22538 22541 21510 0 -1 1077944384 7329 0 0 0 145 0 0 0 20 0 15 0 250563131 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193307785456 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22553] ppid=22538 vsize=14090948 memory=271748 CPUtime=1.48 cores=0,2,4,6 /proc/22541/task/22553/stat : 22553 (java) S 22538 22541 21510 0 -1 1077944384 8604 0 0 0 147 1 0 0 20 0 15 0 250563131 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193306732912 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22554] ppid=22538 vsize=14090948 memory=271748 CPUtime=0.83 cores=0,2,4,6 /proc/22541/task/22554/stat : 22554 (java) S 22538 22541 21510 0 -1 1077944384 12751 0 0 0 82 1 0 0 20 0 15 0 250563131 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193305679856 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22555] ppid=22538 vsize=14090948 memory=1168 CPUtime=0 cores=0,2,4,6 /proc/22541/task/22555/stat : 22555 (java) S 22538 22541 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250563131 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193304627552 140193769932501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 [pid=22541/tid=22556] ppid=22538 vsize=14090948 memory=2132 CPUtime=0.11 cores=0,2,4,6 /proc/22541/task/22556/stat : 22556 (java) S 22538 22541 21510 0 -1 1077944384 687 0 0 0 6 5 0 0 20 0 15 0 250563131 14429130752 68449 33554432000 4194304 4196468 140737140051120 140193235463216 140193769933442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 38277120 140737140053070 140737140053262 140737140053262 140737140056015 0 Current children cumulated CPU time: 252.04 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 273796 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+244.427 s] # the end of solver process 22541 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.454 s, system=0.616309 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 244.427 CPU time (s): 252.07 CPU user time (s): 251.454 CPU system time (s): 0.616309 CPU usage (%): 103.127 Max. virtual memory (cumulated for all children) (KiB): 14090948 Max. memory (cumulated for all children) (KiB): 282228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.454 system time used= 0.616309 maximum resident set size= 284448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76280 page faults= 0 swaps= 0 block input operations= 0 block output operations= 416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18984 involuntary context switches= 667 # summary of solver processes directly reported to runsolver: # pid: 22541 # total CPU time (s): 252.07 # total CPU user time (s): 251.454 # total CPU system time (s): 0.616309 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.21037 second user time and 2.77423 second system time The end
Begin job on node107 at 2018-08-15 12:46:39 IDJOB=4310121 IDBENCH=141213 IDSOLVER=2795 FILE ID=node107/4310121-1534329999 RUNJOBID= node107-1534328516-21541 PBS_JOBID= 21038151 Free space on /tmp= 42256 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/SumColoring/SumColoring-myciel7_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310121-1534329999/watcher-4310121-1534329999 -o /tmp/evaluation-result-4310121-1534329999/solver-4310121-1534329999 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21541 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1267158049 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310121-1534329999.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e6a47a1c7f616b6a479cb76d144f475c RANDOM SEED=1267158049 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24415900 kB MemAvailable: 31649292 kB Buffers: 211100 kB Cached: 7250596 kB SwapCached: 20 kB Active: 4243392 kB Inactive: 3523048 kB Active(anon): 253764 kB Inactive(anon): 111372 kB Active(file): 3989628 kB Inactive(file): 3411676 kB Unevictable: 6980 kB Mlocked: 6980 kB SwapTotal: 67108860 kB SwapFree: 67108524 kB Dirty: 35824 kB Writeback: 0 kB AnonPages: 465100 kB Mapped: 68468 kB Shmem: 57824 kB Slab: 289040 kB SReclaimable: 260548 kB SUnreclaim: 28492 kB KernelStack: 3792 kB PageTables: 6100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1464964 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 331776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 42220 MiB End job on node107 at 2018-08-15 12:50:44