Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-08-14 | SAT (TO) | 8272 | 2520.09 | 2492.43 |
Name | SumColoring/ SumColoring-dsjc-250-5_c18.xml |
MD5SUM | 6d15d8403aebe79e9693643b2fca1a5e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3754 |
Best CPU time to get the best result obtained on this benchmark | 2520.13 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 15668 |
Number of domains | 1 |
Minimum domain size | 250 |
Maximum domain size | 250 |
Distribution of domain sizes | [{"size":250,"count":250}] |
Minimum variable degree | 102 |
Maximum variable degree | 148 |
Distribution of variable degrees | [{"degree":102,"count":1},{"degree":110,"count":3},{"degree":111,"count":2},{"degree":112,"count":2},{"degree":113,"count":3},{"degree":114,"count":3},{"degree":115,"count":5},{"degree":116,"count":6},{"degree":117,"count":8},{"degree":118,"count":7},{"degree":119,"count":9},{"degree":120,"count":8},{"degree":121,"count":9},{"degree":122,"count":12},{"degree":123,"count":12},{"degree":124,"count":14},{"degree":125,"count":10},{"degree":126,"count":12},{"degree":127,"count":17},{"degree":128,"count":13},{"degree":129,"count":14},{"degree":130,"count":13},{"degree":131,"count":6},{"degree":132,"count":11},{"degree":133,"count":6},{"degree":134,"count":10},{"degree":135,"count":2},{"degree":136,"count":6},{"degree":137,"count":7},{"degree":138,"count":1},{"degree":139,"count":4},{"degree":140,"count":4},{"degree":141,"count":1},{"degree":142,"count":1},{"degree":143,"count":1},{"degree":144,"count":3},{"degree":145,"count":2},{"degree":146,"count":1},{"degree":148,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":15668}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 15668 |
Distribution of constraint types | [{"type":"intension","count":15668}] |
Optimization problem | YES |
Type of objective | min SUM |
0.68/0.56 c version: 2018-08-14 0.68/0.56 c seed: 1177690248 0.68/0.56 c timeout: 2520 0.68/0.56 c memlimit: 11000 0.68/0.57 c nbcore: 4 0.68/0.59 c Parsing instance... 7.45/2.90 c Parsing done, starting search... 8.22/3.11 o 32294 8.55/3.18 o 32169 8.55/3.18 o 32114 8.55/3.19 o 32072 8.55/3.19 o 32067 8.55/3.19 o 32066 8.55/3.19 o 32051 8.55/3.19 o 32034 8.55/3.19 o 32033 8.55/3.19 o 32020 8.55/3.19 o 32017 8.55/3.19 o 32016 8.55/3.19 o 32014 8.55/3.19 o 32013 8.55/3.19 o 32012 8.55/3.19 o 32006 8.55/3.20 o 32002 8.55/3.20 o 31998 8.82/3.20 o 31997 8.82/3.20 o 31996 8.82/3.20 o 31991 8.82/3.20 o 31989 8.82/3.20 o 31988 8.82/3.20 o 31985 8.82/3.20 o 31984 8.82/3.21 o 31920 8.82/3.21 o 31919 8.82/3.21 o 31847 8.82/3.21 o 31846 8.82/3.21 o 31827 8.82/3.21 o 31826 8.82/3.21 o 31825 8.82/3.21 o 31824 8.82/3.21 o 31823 8.82/3.22 o 31822 8.82/3.22 o 31816 8.82/3.22 o 31810 8.82/3.22 o 31809 8.82/3.22 o 31808 8.82/3.22 o 31802 8.82/3.22 o 31801 8.82/3.22 o 31800 8.82/3.22 o 31765 8.82/3.22 o 31747 8.82/3.23 o 31745 8.82/3.23 o 31730 8.82/3.23 o 31729 8.82/3.23 o 31728 8.82/3.23 o 31727 8.82/3.23 o 31720 8.82/3.23 o 31717 8.82/3.23 o 31716 8.82/3.24 o 31613 8.82/3.24 o 31610 8.82/3.24 o 31609 8.82/3.24 o 31484 8.82/3.24 o 31483 8.82/3.24 o 31482 8.82/3.25 o 31481 8.82/3.25 o 31480 8.82/3.25 o 31472 8.82/3.25 o 31471 8.82/3.25 o 31470 8.82/3.25 o 31397 8.82/3.25 o 31396 8.82/3.26 o 31395 8.82/3.26 o 31358 8.82/3.26 o 31357 8.82/3.26 o 31356 8.82/3.26 o 31328 8.82/3.26 o 31327 8.82/3.27 o 31285 8.82/3.27 o 31284 8.82/3.27 o 31281 8.82/3.27 o 31280 8.82/3.27 o 31188 8.82/3.27 o 31187 8.82/3.28 o 31169 8.82/3.28 o 31168 8.82/3.28 o 31165 8.82/3.28 o 31161 8.82/3.29 o 31160 8.82/3.29 o 31159 8.82/3.29 o 31158 9.14/3.30 o 31156 9.14/3.30 o 31154 9.14/3.30 o 31153 9.14/3.30 o 31151 9.14/3.30 o 31149 9.14/3.30 o 31147 9.14/3.31 o 31146 9.14/3.31 o 31145 9.14/3.31 o 31144 9.14/3.32 o 31143 9.14/3.32 o 31142 9.14/3.33 o 31138 9.14/3.33 o 31134 9.14/3.34 o 31133 9.14/3.34 o 31132 9.14/3.34 o 31129 9.14/3.34 o 31126 9.14/3.34 o 31120 9.14/3.34 o 31118 9.14/3.34 o 31115 9.14/3.34 o 31111 9.14/3.35 o 31084 9.14/3.36 o 31083 9.26/3.72 o 31082 9.26/3.72 o 31081 9.26/3.72 o 31080 9.26/3.74 o 31063 9.26/3.74 o 31061 9.26/3.74 o 31059 9.26/3.74 o 31045 9.26/3.74 o 31043 9.26/3.74 o 31041 9.26/3.74 o 31033 9.26/3.74 o 31029 9.26/3.74 o 30971 9.26/3.74 o 30969 9.26/3.74 o 30967 9.26/3.74 o 30961 9.26/3.74 o 30951 9.26/3.74 o 30947 9.57/3.80 o 30946 9.57/3.80 o 30945 9.57/3.80 o 30871 9.57/3.80 o 30870 9.57/3.81 o 30869 9.57/3.81 o 30867 9.57/3.81 o 30866 9.57/3.81 o 30865 9.57/3.81 o 30864 9.57/3.81 o 30863 9.57/3.81 o 30862 9.57/3.81 o 30846 9.57/3.81 o 30845 9.57/3.81 o 30844 9.57/3.81 o 30843 9.57/3.82 o 30842 9.57/3.82 o 30841 9.57/3.84 o 30840 9.57/3.86 o 30832 9.57/3.86 o 30831 9.57/3.86 o 30830 9.57/3.86 o 30829 9.57/3.86 o 30828 9.57/3.86 o 30810 9.57/3.86 o 30807 9.57/3.86 o 30803 9.57/3.86 o 30800 9.57/3.86 o 30798 9.57/3.86 o 30795 9.57/3.86 o 30794 9.57/3.86 o 30793 9.57/3.86 o 30792 9.57/3.87 o 30701 9.57/3.87 o 30700 9.57/3.87 o 30696 9.57/3.87 o 30695 9.57/3.87 o 30690 9.57/3.87 o 30689 9.57/3.87 o 30688 9.57/3.87 o 30687 9.57/3.87 o 30686 9.57/3.87 o 30685 9.57/3.87 o 30684 9.57/3.87 o 30683 9.57/3.87 o 30681 9.57/3.87 o 30680 9.57/3.88 o 30679 9.57/3.88 o 30678 9.57/3.88 o 30677 9.57/3.88 o 30676 9.57/3.88 o 30675 9.57/3.89 o 30674 9.57/3.89 o 30672 9.57/3.89 o 30671 9.81/3.90 o 30670 9.81/3.96 o 30669 9.81/3.96 o 30668 9.81/3.98 o 30667 9.81/3.98 o 30666 9.81/3.98 o 30664 9.81/3.98 o 30663 9.81/3.98 o 30662 9.81/3.98 o 30656 9.81/3.98 o 30653 9.81/3.98 o 30649 9.81/3.98 o 30645 9.81/3.99 o 30644 9.81/3.99 o 30643 9.81/3.99 o 30642 9.81/3.99 o 30641 9.81/3.99 o 30640 9.81/3.99 o 30639 9.81/3.99 o 30638 9.81/3.99 o 30636 9.81/3.99 o 30635 9.81/3.99 o 30634 9.81/3.99 o 30633 9.81/4.00 o 30631 9.81/4.00 o 30627 10.09/4.19 o 30626 10.19/4.20 o 30624 10.19/4.20 o 30623 10.19/4.21 o 30621 10.19/4.21 o 30620 10.19/4.23 o 30619 10.19/4.23 o 30618 10.19/4.23 o 30613 10.19/4.23 o 30612 10.19/4.23 o 30600 10.19/4.23 o 30599 10.19/4.23 o 30593 10.19/4.23 o 30592 10.19/4.23 o 30589 10.19/4.23 o 30588 10.19/4.23 o 30584 10.19/4.23 o 30583 10.19/4.23 o 30580 10.19/4.23 o 30579 10.19/4.23 o 30578 10.19/4.23 o 30575 10.19/4.23 o 30566 10.19/4.24 o 30565 10.19/4.24 o 30564 10.19/4.24 o 30563 10.19/4.24 o 30562 10.19/4.24 o 30561 10.19/4.24 o 30560 10.19/4.24 o 30556 10.19/4.24 o 30555 10.19/4.24 o 30554 10.19/4.24 o 30546 10.19/4.24 o 30545 10.19/4.25 o 30544 10.19/4.25 o 30543 10.19/4.25 o 30539 10.19/4.25 o 30537 10.19/4.25 o 30536 10.19/4.25 o 30534 10.19/4.25 o 30533 10.19/4.25 o 30532 10.19/4.26 o 30531 10.19/4.29 o 30530 10.19/4.29 o 30529 10.19/4.29 o 30525 10.31/4.34 o 30523 10.31/4.35 o 30522 10.31/4.36 o 30519 10.42/4.48 o 30518 10.42/4.48 o 30510 10.42/4.48 o 30508 10.42/4.48 o 30502 10.42/4.49 o 30500 10.42/4.49 o 30494 10.42/4.49 o 30490 10.42/4.49 o 30435 10.42/4.49 o 30428 10.54/4.51 o 30426 10.54/4.52 o 30425 10.54/4.52 o 30421 10.54/4.54 o 30419 10.54/4.54 o 30418 10.54/4.54 o 30416 10.54/4.56 o 30412 10.54/4.56 o 30410 10.54/4.56 o 30409 10.54/4.57 o 30408 10.64/4.65 o 30407 10.64/4.65 o 30406 10.64/4.65 o 30403 10.64/4.65 o 30402 10.64/4.66 o 30401 10.64/4.66 o 30398 10.64/4.66 o 30396 10.64/4.66 o 30395 10.64/4.66 o 30394 10.64/4.66 o 30393 10.64/4.66 o 30392 10.64/4.66 o 30390 10.64/4.66 o 30389 10.64/4.67 o 30384 10.64/4.67 o 30383 10.78/4.70 o 30318 10.78/4.70 o 30317 10.78/4.70 o 30309 10.78/4.70 o 30308 10.78/4.70 o 30300 10.78/4.70 o 30299 10.78/4.71 o 30292 10.78/4.71 o 30244 10.78/4.71 o 30235 10.78/4.71 o 30234 10.78/4.71 o 30231 10.78/4.71 o 30229 10.78/4.71 o 30228 10.78/4.71 o 30224 10.78/4.74 o 30222 10.78/4.74 o 30221 10.78/4.75 o 30218 10.78/4.76 o 30216 10.78/4.76 o 30215 10.95/4.81 o 30214 10.95/4.84 o 30213 11.09/4.93 o 30212 11.09/4.93 o 30210 11.25/5.03 o 30208 11.25/5.04 o 30207 11.25/5.05 o 30206 11.65/5.48 o 30205 11.65/5.48 o 30204 11.65/5.48 o 30203 11.65/5.48 o 30199 11.65/5.49 o 30154 11.65/5.49 o 30139 11.65/5.49 o 30134 11.65/5.49 o 30106 11.65/5.49 o 30104 11.79/5.50 o 30072 11.79/5.50 o 30070 11.79/5.50 o 30026 11.79/5.50 o 30021 11.79/5.50 o 30016 11.79/5.50 o 30014 11.79/5.50 o 30010 12.69/6.47 o 29986 12.69/6.47 o 29984 12.69/6.47 o 29938 12.69/6.47 o 29936 12.69/6.47 o 29915 12.69/6.47 o 29913 12.69/6.48 o 29907 12.69/6.48 o 29905 12.69/6.48 o 29876 12.69/6.48 o 29874 12.69/6.48 o 29846 12.69/6.48 o 29819 12.69/6.48 o 29818 12.69/6.48 o 29812 12.69/6.48 o 29810 12.69/6.49 o 29809 12.69/6.49 o 29807 12.69/6.49 o 29805 12.69/6.49 o 29803 12.69/6.49 o 29802 12.69/6.50 o 29801 12.69/6.50 o 29800 12.80/6.50 o 29799 12.80/6.50 o 29798 12.80/6.50 o 29797 12.80/6.51 o 29796 12.80/6.51 o 29793 12.90/6.61 o 29792 12.90/6.61 o 29791 12.90/6.65 o 29785 13.00/6.78 o 29784 13.00/6.78 o 29783 13.00/6.78 o 29782 13.00/6.78 o 29780 13.00/6.78 o 29778 13.00/6.78 o 29777 13.00/6.78 o 29776 13.00/6.79 o 29775 14.32/8.08 o 29770 14.32/8.08 o 29763 14.32/8.08 o 29760 14.32/8.08 o 29745 14.32/8.08 o 29739 14.32/8.08 o 29735 14.32/8.08 o 29734 14.32/8.08 o 29719 14.32/8.08 o 29713 14.32/8.09 o 29709 14.32/8.09 o 29708 14.32/8.09 o 29706 14.32/8.09 o 29704 14.32/8.09 o 29703 14.32/8.09 o 29702 14.32/8.09 o 29701 14.32/8.09 o 29697 14.32/8.09 o 29693 14.32/8.09 o 29692 14.32/8.09 o 29690 14.32/8.09 o 29689 14.32/8.09 o 29684 14.32/8.09 o 29683 14.32/8.09 o 29682 14.32/8.09 o 29680 14.32/8.09 o 29678 14.32/8.09 o 29677 14.32/8.09 o 29674 14.32/8.10 o 29645 14.32/8.10 o 29639 14.32/8.10 o 29593 14.32/8.10 o 29592 14.32/8.10 o 29591 14.32/8.10 o 29590 14.32/8.10 o 29582 14.32/8.10 o 29581 14.32/8.10 o 29570 14.32/8.10 o 29566 14.32/8.10 o 29560 14.32/8.10 o 29557 14.32/8.10 o 29555 14.32/8.10 o 29554 14.32/8.10 o 29535 14.32/8.10 o 29533 14.32/8.10 o 29523 14.32/8.10 o 29522 14.32/8.10 o 29514 14.32/8.11 o 29478 14.44/8.11 o 29438 14.44/8.11 o 29437 14.44/8.11 o 29434 14.44/8.11 o 29433 14.44/8.11 o 29429 14.44/8.12 o 29410 14.44/8.12 o 29406 14.44/8.12 o 29403 14.44/8.12 o 29402 14.44/8.12 o 29401 14.44/8.12 o 29399 14.44/8.12 o 29393 14.44/8.12 o 29392 14.44/8.12 o 29385 14.44/8.12 o 29384 14.44/8.12 o 29383 14.44/8.12 o 29382 14.44/8.12 o 29381 14.44/8.12 o 29379 14.44/8.13 o 29323 14.44/8.13 o 29322 14.44/8.13 o 29319 14.44/8.13 o 29315 14.44/8.13 o 29314 14.44/8.13 o 29313 14.44/8.13 o 29311 14.44/8.14 o 29308 14.44/8.14 o 29307 14.44/8.14 o 29304 14.44/8.14 o 29288 14.44/8.14 o 29287 14.44/8.14 o 29286 14.44/8.14 o 29284 14.44/8.16 o 29163 14.44/8.16 o 29162 14.44/8.17 o 29161 14.44/8.17 o 29159 14.44/8.17 o 29149 14.44/8.17 o 29148 14.44/8.17 o 29147 14.44/8.17 o 29145 14.44/8.17 o 29120 14.44/8.17 o 29119 14.44/8.17 o 29118 14.44/8.17 o 29116 14.44/8.17 o 29106 14.44/8.17 o 29105 14.44/8.17 o 29104 14.44/8.18 o 29103 14.44/8.19 o 29098 14.44/8.19 o 29097 14.44/8.19 o 29096 14.55/8.22 o 29022 14.55/8.22 o 29004 14.55/8.22 o 28999 14.55/8.22 o 28984 14.55/8.22 o 28983 14.55/8.23 o 28982 14.55/8.24 o 28981 14.55/8.24 o 28976 14.55/8.24 o 28975 14.55/8.24 o 28974 14.55/8.28 o 28973 14.55/8.28 o 28972 14.55/8.28 o 28971 14.65/8.35 o 28964 14.65/8.35 o 28936 14.65/8.35 o 28922 14.65/8.35 o 28906 14.65/8.35 o 28894 14.65/8.35 o 28890 14.65/8.36 o 28889 14.65/8.36 o 28888 14.65/8.38 o 28887 14.65/8.38 o 28886 14.65/8.39 o 28885 14.65/8.39 o 28882 14.65/8.39 o 28881 15.01/8.60 o 28720 15.01/8.60 o 28709 15.01/8.60 o 28706 15.01/8.60 o 28701 15.01/8.60 o 28699 15.01/8.60 o 28696 15.01/8.60 o 28692 15.01/8.60 o 28690 15.01/8.60 o 28686 15.01/8.60 o 28683 15.01/8.60 o 28681 15.01/8.60 o 28679 15.01/8.61 o 28677 15.01/8.68 o 28676 15.11/8.70 o 28674 15.11/8.71 o 28673 15.11/8.71 o 28671 15.11/8.71 o 28669 15.62/9.20 o 28667 15.62/9.20 o 28666 15.62/9.22 o 28665 15.62/9.23 o 28664 15.62/9.24 o 28663 15.72/9.32 o 28660 15.72/9.39 o 28659 15.72/9.39 o 28658 16.12/9.79 o 28587 16.12/9.79 o 28580 16.12/9.80 o 28573 16.22/9.80 o 28572 16.22/9.80 o 28569 16.22/9.80 o 28568 16.22/9.81 o 28566 16.22/9.81 o 28559 16.22/9.82 o 28558 16.32/9.99 o 28557 16.43/10.04 o 28556 16.43/10.04 o 28555 16.43/10.04 o 28551 16.43/10.04 o 28550 16.43/10.04 o 28549 16.43/10.04 o 28548 16.43/10.08 o 28546 16.43/10.08 o 28544 16.43/10.08 o 28543 16.43/10.08 o 28539 16.43/10.09 o 28537 16.92/10.56 o 28536 16.92/10.56 o 28535 17.02/10.69 o 28525 17.02/10.69 o 28518 17.02/10.69 o 28514 17.02/10.69 o 28512 17.02/10.69 o 28508 17.02/10.69 o 28486 17.02/10.69 o 28482 17.02/10.69 o 28481 17.02/10.69 o 28477 17.02/10.69 o 28475 17.02/10.69 o 28471 17.02/10.69 o 28467 17.02/10.69 o 28439 17.02/10.69 o 28433 17.02/10.69 o 28429 17.02/10.70 o 28410 17.02/10.70 o 28406 17.13/10.70 o 28404 17.13/10.70 o 28400 17.13/10.70 o 28342 17.13/10.70 o 28341 17.13/10.70 o 28336 17.13/10.70 o 28332 17.13/10.70 o 28330 17.13/10.70 o 28329 17.13/10.70 o 28325 17.13/10.70 o 28324 17.13/10.70 o 28320 17.13/10.71 o 28179 17.13/10.71 o 28170 17.13/10.71 o 28165 17.13/10.71 o 28162 17.13/10.71 o 28161 17.13/10.71 o 28122 17.13/10.71 o 28119 17.13/10.71 o 28116 17.13/10.71 o 28114 17.13/10.71 o 28113 17.13/10.71 o 28105 17.13/10.71 o 28104 17.13/10.71 o 28101 17.13/10.71 o 28099 17.13/10.71 o 28098 17.13/10.71 o 28097 17.13/10.72 o 28095 17.13/10.72 o 28094 17.13/10.72 o 28093 17.13/10.72 o 28088 17.13/10.73 o 28077 17.13/10.74 o 28053 17.13/10.74 o 28032 17.13/10.74 o 28027 17.13/10.74 o 28020 17.13/10.74 o 28019 17.13/10.74 o 28013 17.13/10.74 o 28008 17.13/10.74 o 27996 17.13/10.74 o 27968 17.13/10.74 o 27938 17.13/10.74 o 27929 17.13/10.74 o 27926 17.13/10.74 o 27925 17.13/10.74 o 27921 17.13/10.74 o 27914 17.13/10.74 o 27906 17.13/10.74 o 27905 17.13/10.74 o 27901 17.13/10.74 o 27897 17.13/10.75 o 27894 17.13/10.75 o 27893 17.13/10.75 o 27888 17.13/10.75 o 27883 17.13/10.76 o 27877 17.13/10.76 o 27876 17.13/10.76 o 27871 17.13/10.76 o 27867 17.13/10.76 o 27862 17.13/10.76 o 27861 17.13/10.76 o 27860 17.13/10.76 o 27859 17.13/10.76 o 27858 17.13/10.77 o 27855 17.13/10.77 o 27854 17.13/10.77 o 27853 17.13/10.77 o 27852 17.13/10.77 o 27849 17.13/10.77 o 27848 17.23/10.81 o 27847 17.23/10.81 o 27846 17.23/10.82 o 27844 17.23/10.82 o 27843 17.23/10.82 o 27839 17.23/10.82 o 27834 17.23/10.84 o 27739 17.23/10.84 o 27735 17.23/10.85 o 27731 17.23/10.86 o 27730 17.23/10.89 o 27729 17.34/10.90 o 27728 17.46/11.10 o 27727 17.57/11.14 o 27726 17.57/11.14 o 27725 17.67/11.24 o 27723 17.67/11.30 o 27722 17.67/11.30 o 27720 17.77/11.31 o 27717 17.77/11.31 o 27715 17.77/11.33 o 27714 17.77/11.33 o 27713 17.77/11.33 o 27712 17.77/11.33 o 27710 17.77/11.33 o 27709 18.60/12.14 o 27706 18.60/12.15 o 27705 18.60/12.19 o 27703 18.60/12.19 o 27702 18.69/12.22 o 27701 18.69/12.22 o 27700 18.79/12.36 o 27699 18.89/12.44 o 27698 18.89/12.46 o 27697 18.89/12.46 o 27695 19.69/13.20 o 27620 19.69/13.20 o 27575 19.69/13.20 o 27574 19.69/13.20 o 27567 19.69/13.20 o 27565 19.69/13.20 o 27563 19.69/13.29 o 27541 19.69/13.29 o 27539 19.69/13.29 o 27531 19.69/13.29 o 27528 19.69/13.29 o 27527 19.69/13.29 o 27526 19.69/13.29 o 27525 19.69/13.29 o 27524 19.69/13.29 o 27522 19.69/13.30 o 27517 19.69/13.30 o 27514 19.79/13.33 o 27512 19.79/13.34 o 27510 19.79/13.38 o 27506 19.96/13.47 o 27505 20.06/13.55 o 27504 20.06/13.55 o 27503 20.76/14.22 o 27501 20.76/14.22 o 27500 20.76/14.24 o 27496 20.76/14.25 o 27495 21.16/14.60 o 27494 21.16/14.60 o 27493 21.16/14.60 o 27487 21.16/14.60 o 27486 21.16/14.68 o 27483 21.26/14.71 o 27481 21.26/14.71 o 27480 21.26/14.72 o 27478 21.41/14.80 o 27477 21.62/15.06 o 27476 21.62/15.07 o 27475 21.62/15.08 o 27470 21.81/15.26 o 27409 21.81/15.26 o 27405 21.81/15.26 o 27378 21.81/15.26 o 27361 21.92/15.31 o 27360 21.92/15.34 o 27354 21.92/15.35 o 27351 21.92/15.36 o 27350 21.92/15.36 o 27349 21.92/15.38 o 27348 22.26/15.62 o 27347 22.56/15.90 o 27345 22.56/15.90 o 27344 22.56/15.90 o 27340 22.56/15.91 o 27339 22.56/15.91 o 27337 22.56/15.91 o 27336 22.56/15.91 o 27309 22.56/15.91 o 27307 22.56/15.91 o 27306 22.56/15.92 o 27289 22.56/15.92 o 27287 22.56/15.92 o 27286 22.56/15.92 o 27265 22.56/15.92 o 27264 22.56/15.92 o 27263 22.56/15.92 o 27262 22.56/15.92 o 27223 22.56/15.93 o 27221 22.56/15.93 o 27220 22.56/15.93 o 27206 22.56/15.93 o 27205 22.56/15.93 o 27204 22.56/15.93 o 27203 22.56/15.93 o 27202 22.56/15.93 o 27201 22.56/15.93 o 27199 22.56/15.93 o 27198 22.56/15.93 o 27194 22.56/15.94 o 27193 22.56/15.94 o 27185 22.56/15.94 o 27184 22.56/15.95 o 27182 22.56/15.95 o 27181 22.56/15.96 o 27179 22.56/15.96 o 27178 22.56/15.96 o 27176 27.56/20.90 o 27170 27.56/20.90 o 27168 27.56/20.90 o 27160 27.56/20.91 o 27153 27.56/20.91 o 27146 27.56/20.91 o 27143 27.56/20.91 o 27139 27.56/20.91 o 27123 27.56/20.91 o 27120 27.56/20.91 o 27116 27.56/20.91 o 27105 27.56/20.91 o 27102 27.56/20.91 o 27098 27.56/20.91 o 27097 27.56/20.91 o 27091 27.56/20.91 o 27090 27.56/20.91 o 27084 27.56/20.91 o 27083 27.56/20.91 o 27040 27.56/20.91 o 27039 27.56/20.92 o 27038 27.56/20.92 o 27035 27.56/20.92 o 27033 27.56/20.92 o 27030 27.56/20.92 o 27029 27.56/20.92 o 27019 27.56/20.92 o 27018 27.56/20.92 o 27015 27.56/20.92 o 27014 27.56/20.92 o 26992 27.56/20.92 o 26991 27.56/20.92 o 26990 27.56/20.93 o 26989 27.56/20.93 o 26985 27.56/20.93 o 26983 27.56/20.94 o 26981 27.56/20.95 o 26980 27.56/20.99 o 26979 27.68/21.02 o 26978 27.68/21.02 o 26977 27.78/21.13 o 26976 27.78/21.13 o 26975 27.78/21.17 o 26972 27.78/21.18 o 26971 27.87/21.27 o 26970 27.87/21.27 o 26969 27.96/21.38 o 26968 29.07/22.41 o 26967 29.07/22.41 o 26966 29.07/22.43 o 26964 29.07/22.43 o 26963 29.26/22.62 o 26962 29.36/22.72 o 26961 29.36/22.77 o 26960 29.36/22.77 o 26959 29.36/22.77 o 26958 29.36/22.77 o 26952 29.36/22.77 o 26951 29.36/22.79 o 26950 29.36/22.79 o 26938 29.36/22.79 o 26935 29.36/22.79 o 26934 29.36/22.79 o 26931 29.36/22.79 o 26929 29.36/22.80 o 26928 29.47/22.80 o 26927 29.47/22.80 o 26926 29.47/22.80 o 26920 29.47/22.82 o 26886 29.47/22.82 o 26882 29.47/22.82 o 26871 29.47/22.82 o 26868 29.47/22.82 o 26839 29.47/22.83 o 26834 29.47/22.83 o 26825 29.47/22.83 o 26824 29.47/22.84 o 26821 29.47/22.87 o 26817 29.57/22.90 o 26816 29.57/22.98 o 26814 29.57/22.98 o 26811 29.68/23.03 o 26810 29.68/23.03 o 26807 29.68/23.03 o 26805 30.17/23.51 o 26804 30.17/23.51 o 26802 30.44/23.73 o 26801 30.44/23.73 o 26800 31.24/24.58 o 26799 31.44/24.77 o 26798 31.44/24.77 o 26797 31.44/24.78 o 26795 31.54/24.86 o 26792 31.54/24.87 o 26791 31.54/24.87 o 26790 31.54/24.87 o 26789 31.75/25.01 o 26786 31.75/25.07 o 26782 31.75/25.07 o 26767 31.75/25.07 o 26755 31.75/25.08 o 26750 31.75/25.09 o 26749 31.75/25.09 o 26746 31.75/25.09 o 26745 31.94/25.21 o 26744 33.14/26.42 o 26737 33.14/26.42 o 26727 33.14/26.42 o 26723 33.14/26.42 o 26720 33.14/26.42 o 26691 33.14/26.42 o 26688 33.14/26.42 o 26683 33.14/26.42 o 26682 33.14/26.42 o 26681 33.14/26.42 o 26680 33.14/26.42 o 26674 33.14/26.42 o 26658 33.14/26.43 o 26653 33.14/26.43 o 26649 33.14/26.43 o 26640 33.14/26.43 o 26639 33.14/26.43 o 26637 33.14/26.43 o 26631 33.14/26.43 o 26630 33.14/26.43 o 26629 33.14/26.43 o 26626 33.14/26.43 o 26622 33.14/26.43 o 26613 33.14/26.46 o 26612 33.14/26.49 o 26611 33.14/26.49 o 26609 33.24/26.51 o 26607 33.24/26.51 o 26605 33.24/26.51 o 26603 33.24/26.52 o 26598 33.34/26.65 o 26596 33.34/26.65 o 26594 33.44/26.73 o 26593 33.54/26.80 o 26589 33.54/26.80 o 26587 33.64/26.97 o 26586 33.85/27.16 o 26585 33.94/27.25 o 26584 33.94/27.25 o 26583 34.14/27.47 o 26582 34.24/27.51 o 26581 34.34/27.66 o 26580 34.44/27.79 o 26550 34.44/27.79 o 26543 34.44/27.79 o 26542 34.44/27.79 o 26532 34.54/27.82 o 26531 34.54/27.82 o 26530 34.54/27.82 o 26527 34.54/27.82 o 26526 34.75/28.01 o 26524 34.75/28.01 o 26521 34.75/28.07 o 26520 34.75/28.07 o 26516 34.75/28.07 o 26514 34.85/28.12 o 26513 35.04/28.36 o 26512 35.04/28.36 o 26508 35.34/28.65 o 26505 35.34/28.66 o 26504 35.34/28.66 o 26503 35.65/28.91 o 26500 35.65/28.91 o 26499 35.65/28.91 o 26496 35.65/28.92 o 26493 35.65/28.92 o 26491 35.65/28.92 o 26488 35.65/28.92 o 26487 35.65/28.92 o 26484 35.65/28.92 o 26482 35.65/28.92 o 26479 35.65/28.92 o 26477 35.65/28.94 o 26476 35.65/28.97 o 26474 35.65/28.97 o 26473 36.66/29.92 o 26467 36.66/29.92 o 26466 36.66/29.92 o 26448 36.66/29.92 o 26442 36.66/29.92 o 26433 36.66/29.92 o 26429 36.66/29.92 o 26427 36.66/29.92 o 26425 36.66/29.92 o 26422 36.66/29.92 o 26420 36.66/29.92 o 26418 36.66/29.92 o 26417 36.87/30.14 o 26415 36.96/30.22 o 26414 36.96/30.23 o 26408 37.06/30.34 o 26405 37.06/30.34 o 26403 37.06/30.35 o 26401 37.06/30.35 o 26399 37.06/30.35 o 26397 37.06/30.35 o 26396 37.06/30.37 o 26395 37.06/30.37 o 26394 37.06/30.38 o 26392 37.16/30.42 o 26383 37.16/30.42 o 26373 37.16/30.42 o 26371 37.16/30.42 o 26369 37.16/30.42 o 26364 37.16/30.42 o 26360 37.16/30.42 o 26352 37.16/30.42 o 26350 37.16/30.43 o 26349 37.26/30.56 o 26345 37.36/30.61 o 26344 37.46/30.79 o 26339 37.56/30.81 o 26335 37.56/30.82 o 26334 38.36/31.66 o 26221 38.36/31.66 o 26220 38.36/31.66 o 26219 38.36/31.66 o 26215 38.36/31.67 o 26211 38.36/31.67 o 26204 38.36/31.67 o 26203 38.36/31.67 o 26200 38.36/31.67 o 26197 38.36/31.67 o 26196 38.36/31.67 o 26158 38.36/31.68 o 26149 38.36/31.68 o 26147 38.36/31.68 o 26140 38.36/31.68 o 26139 38.36/31.68 o 26138 38.36/31.68 o 26136 38.36/31.68 o 26135 38.36/31.68 o 26132 38.36/31.68 o 26129 38.46/31.78 o 26123 38.56/31.87 o 26117 38.66/31.95 o 26113 38.66/31.95 o 26110 39.16/32.43 o 26107 39.56/32.88 o 26105 39.56/32.89 o 26104 39.56/32.89 o 26101 39.56/32.89 o 26100 39.66/32.92 o 26098 39.66/32.92 o 26092 39.66/32.93 o 26090 39.66/32.95 o 26089 39.77/33.02 o 26072 39.77/33.02 o 26059 39.77/33.02 o 26001 39.77/33.02 o 26000 39.77/33.02 o 25999 39.77/33.02 o 25998 39.77/33.03 o 25997 39.77/33.03 o 25995 39.77/33.03 o 25994 39.77/33.03 o 25966 39.77/33.03 o 25963 39.77/33.03 o 25962 39.77/33.04 o 25955 39.77/33.04 o 25954 39.77/33.06 o 25953 39.87/33.19 o 25952 39.87/33.19 o 25951 39.87/33.19 o 25950 39.87/33.19 o 25948 39.96/33.21 o 25946 39.96/33.21 o 25945 39.96/33.22 o 25944 39.96/33.22 o 25943 39.96/33.23 o 25942 39.96/33.23 o 25941 40.87/34.13 o 25939 40.87/34.13 o 25938 40.87/34.13 o 25937 41.64/34.85 o 25894 41.64/34.85 o 25876 41.64/34.86 o 25875 41.64/34.86 o 25870 41.64/34.86 o 25869 41.74/35.00 o 25868 42.15/35.35 o 25864 42.15/35.35 o 25863 42.15/35.35 o 25862 42.25/35.42 o 25860 42.25/35.42 o 25859 42.25/35.42 o 25852 42.25/35.42 o 25848 42.25/35.42 o 25847 44.45/37.68 o 25819 44.45/37.68 o 25807 44.45/37.68 o 25803 44.45/37.68 o 25797 44.45/37.68 o 25746 44.45/37.68 o 25688 44.45/37.68 o 25684 44.45/37.69 o 25682 44.45/37.69 o 25678 44.45/37.69 o 25677 44.55/37.71 o 25676 44.86/38.03 o 25675 44.86/38.03 o 25659 44.86/38.03 o 25647 44.86/38.04 o 25645 44.96/38.13 o 25642 44.96/38.13 o 25640 44.96/38.13 o 25639 49.15/42.32 o 25622 49.15/42.32 o 25613 49.15/42.32 o 25608 49.15/42.32 o 25606 49.15/42.32 o 25592 49.15/42.33 o 25573 49.15/42.33 o 25539 49.15/42.33 o 25532 49.15/42.33 o 25526 49.15/42.33 o 25523 49.15/42.33 o 25510 49.15/42.33 o 25504 49.15/42.33 o 25498 49.15/42.33 o 25495 49.15/42.33 o 25492 49.15/42.33 o 25491 49.15/42.33 o 25488 49.15/42.33 o 25487 49.15/42.33 o 25485 49.15/42.34 o 25479 49.15/42.34 o 25474 49.15/42.35 o 25473 52.05/45.24 o 25468 52.05/45.24 o 25467 52.05/45.25 o 25465 52.05/45.25 o 25464 52.05/45.25 o 25462 52.05/45.25 o 25461 52.15/45.39 o 25460 52.15/45.39 o 25459 52.15/45.40 o 25457 52.15/45.40 o 25456 52.15/45.40 o 25454 52.15/45.40 o 25453 52.35/45.50 o 25451 52.35/45.50 o 25450 52.35/45.57 o 25449 52.65/45.82 o 25445 52.65/45.82 o 25444 52.65/45.82 o 25441 52.75/46.00 o 25440 52.86/46.06 o 25439 52.86/46.06 o 25436 53.96/47.13 o 25434 53.96/47.14 o 25430 53.96/47.14 o 25428 53.96/47.14 o 25424 54.15/47.35 o 25421 57.15/50.36 o 25378 57.15/50.36 o 25368 57.15/50.36 o 25364 57.15/50.36 o 25362 57.15/50.36 o 25358 57.15/50.36 o 25338 57.15/50.36 o 25332 57.15/50.36 o 25326 57.15/50.36 o 25322 57.15/50.36 o 25316 57.15/50.36 o 25312 57.15/50.36 o 25306 57.15/50.36 o 25302 57.15/50.36 o 25296 57.15/50.36 o 25292 57.15/50.36 o 25286 57.15/50.36 o 25282 57.15/50.37 o 25280 57.15/50.37 o 25277 57.25/50.42 o 25274 57.25/50.42 o 25272 57.25/50.42 o 25269 57.25/50.43 o 25268 57.25/50.43 o 25265 57.25/50.46 o 25263 57.25/50.46 o 25258 57.35/50.52 o 25255 59.25/52.47 o 25254 59.25/52.47 o 25251 59.25/52.47 o 25249 60.66/53.81 o 25248 60.96/54.12 o 25246 61.86/55.04 o 25193 61.86/55.04 o 25192 61.86/55.04 o 25177 61.86/55.04 o 25172 61.86/55.04 o 25168 61.86/55.04 o 25146 61.86/55.04 o 25143 61.86/55.04 o 25142 61.86/55.04 o 25138 61.86/55.04 o 25094 61.86/55.05 o 25089 61.86/55.05 o 25084 61.86/55.05 o 25079 61.86/55.05 o 25064 61.86/55.05 o 25060 61.86/55.05 o 25059 61.86/55.05 o 25055 61.86/55.05 o 25053 61.86/55.05 o 25049 61.86/55.05 o 25046 61.86/55.08 o 25044 62.36/55.55 o 25040 62.36/55.55 o 25037 62.36/55.56 o 25036 62.45/55.63 o 25034 62.45/55.65 o 25031 62.45/55.65 o 25027 63.45/56.67 o 25026 63.45/56.69 o 25025 63.76/56.95 o 25022 64.78/57.95 o 25018 64.89/58.02 o 25014 64.89/58.07 o 25012 66.08/59.24 o 24954 66.08/59.24 o 24951 66.08/59.24 o 24947 66.08/59.24 o 24944 66.08/59.24 o 24936 66.08/59.24 o 24935 66.08/59.24 o 24933 66.08/59.24 o 24929 66.08/59.24 o 24926 66.08/59.24 o 24919 66.08/59.24 o 24918 66.08/59.24 o 24917 66.08/59.24 o 24914 66.08/59.28 o 24910 66.08/59.28 o 24909 66.28/59.49 o 24907 66.28/59.49 o 24906 66.28/59.50 o 24904 66.38/59.58 o 24902 67.39/60.54 o 24824 67.39/60.54 o 24785 67.39/60.54 o 24779 67.39/60.55 o 24778 67.39/60.55 o 24775 67.39/60.56 o 24772 67.39/60.56 o 24769 67.39/60.56 o 24767 67.39/60.56 o 24766 67.49/60.61 o 24765 71.19/64.30 o 24763 71.19/64.32 o 24761 72.39/65.53 o 24759 72.39/65.53 o 24758 72.39/65.53 o 24676 72.39/65.53 o 24666 72.39/65.53 o 24665 72.39/65.54 o 24662 72.39/65.54 o 24661 72.39/65.54 o 24643 72.39/65.54 o 24642 72.39/65.54 o 24634 72.39/65.54 o 24633 72.39/65.54 o 24600 72.39/65.54 o 24599 72.39/65.54 o 24598 72.39/65.54 o 24590 72.39/65.54 o 24589 72.39/65.54 o 24586 72.39/65.54 o 24585 72.39/65.55 o 24580 72.39/65.55 o 24579 72.39/65.57 o 24577 72.39/65.57 o 24576 72.39/65.57 o 24574 72.39/65.58 o 24570 72.39/65.58 o 24565 72.49/65.62 o 24560 72.49/65.62 o 24555 72.49/65.63 o 24551 72.69/65.80 o 24547 72.69/65.80 o 24546 72.69/65.87 o 24544 73.19/66.30 o 24540 73.19/66.30 o 24539 73.19/66.30 o 24527 73.19/66.31 o 24523 73.19/66.31 o 24521 73.19/66.31 o 24519 73.19/66.31 o 24518 73.19/66.32 o 24504 73.19/66.32 o 24492 73.19/66.32 o 24408 73.19/66.32 o 24407 73.19/66.32 o 24347 73.19/66.32 o 24346 73.19/66.32 o 24345 73.19/66.32 o 24341 73.19/66.32 o 24340 73.19/66.32 o 24339 73.19/66.33 o 24337 73.19/66.33 o 24335 73.19/66.34 o 24334 73.19/66.36 o 24331 73.19/66.36 o 24330 73.39/66.55 o 24325 73.39/66.55 o 24321 73.39/66.56 o 24319 73.39/66.58 o 24314 73.39/66.58 o 24312 73.39/66.58 o 24310 73.39/66.59 o 24307 73.49/66.63 o 24305 73.49/66.63 o 24304 73.49/66.63 o 24300 73.49/66.63 o 24297 73.49/66.63 o 24296 73.49/66.68 o 24291 73.49/66.68 o 24290 73.59/66.79 o 24287 73.59/66.79 o 24285 73.59/66.79 o 24284 73.59/66.79 o 24283 73.59/66.79 o 24281 73.59/66.79 o 24280 73.59/66.80 o 24278 73.69/66.82 o 24263 73.69/66.82 o 24225 73.69/66.82 o 24122 73.69/66.83 o 24107 73.69/66.84 o 24105 73.69/66.85 o 24099 73.69/66.85 o 24098 73.69/66.85 o 24095 73.90/67.03 o 24093 74.29/67.45 o 24091 74.69/67.82 o 24089 75.19/68.34 o 24088 75.39/68.57 o 24087 75.59/68.77 o 24082 75.59/68.77 o 24080 75.59/68.77 o 24067 75.59/68.77 o 24063 75.59/68.77 o 24060 75.59/68.77 o 24053 75.59/68.77 o 24050 75.59/68.77 o 24045 75.59/68.77 o 24042 75.59/68.77 o 24041 75.59/68.77 o 24038 75.59/68.77 o 24037 75.69/68.85 o 24036 75.69/68.85 o 24030 75.69/68.85 o 24029 75.69/68.86 o 24024 75.69/68.86 o 24021 75.79/68.95 o 24020 75.79/68.95 o 24018 76.90/70.05 o 24016 76.90/70.05 o 24015 76.90/70.05 o 24013 76.90/70.06 o 24012 76.90/70.06 o 24011 76.90/70.06 o 24010 76.90/70.06 o 24009 76.90/70.06 o 24008 76.90/70.07 o 24006 76.90/70.09 o 24002 76.90/70.09 o 23998 76.90/70.09 o 23995 76.90/70.09 o 23962 76.90/70.09 o 23959 76.90/70.10 o 23955 76.90/70.10 o 23952 76.90/70.10 o 23951 77.00/70.11 o 23950 77.00/70.11 o 23949 77.00/70.19 o 23948 77.00/70.19 o 23945 77.00/70.19 o 23944 77.00/70.19 o 23943 77.00/70.19 o 23942 77.00/70.19 o 23941 79.49/72.66 o 23930 79.49/72.66 o 23923 79.49/72.66 o 23851 79.49/72.66 o 23844 79.49/72.66 o 23840 79.49/72.66 o 23833 79.49/72.66 o 23819 79.49/72.66 o 23806 79.49/72.66 o 23794 79.49/72.66 o 23787 79.49/72.66 o 23785 79.49/72.66 o 23782 79.49/72.67 o 23773 79.49/72.67 o 23765 79.49/72.67 o 23764 79.49/72.67 o 23763 79.49/72.67 o 23760 79.49/72.67 o 23756 79.49/72.69 o 23754 79.49/72.69 o 23750 79.49/72.69 o 23748 79.59/72.71 o 23747 79.59/72.72 o 23738 79.59/72.72 o 23733 79.59/72.74 o 23728 80.59/73.73 o 23727 80.79/73.99 o 23724 81.19/74.36 o 23722 81.29/74.44 o 23721 81.29/74.44 o 23719 81.29/74.44 o 23718 81.29/74.44 o 23716 81.29/74.44 o 23715 81.29/74.44 o 23712 81.29/74.44 o 23710 81.29/74.44 o 23708 81.29/74.44 o 23706 81.29/74.44 o 23700 81.29/74.44 o 23698 81.29/74.44 o 23697 81.29/74.44 o 23694 81.29/74.44 o 23691 81.29/74.44 o 23690 81.29/74.44 o 23688 81.29/74.44 o 23685 81.29/74.44 o 23684 81.29/74.44 o 23682 81.29/74.45 o 23638 81.29/74.45 o 23637 81.29/74.45 o 23635 81.29/74.45 o 23632 81.29/74.46 o 23623 81.29/74.46 o 23619 81.29/74.48 o 23616 81.69/74.87 o 23614 83.30/76.40 o 23606 83.30/76.40 o 23588 83.30/76.41 o 23561 83.30/76.41 o 23552 83.30/76.41 o 23542 83.30/76.41 o 23540 83.30/76.44 o 23533 83.30/76.44 o 23525 83.30/76.48 o 23523 83.30/76.48 o 23521 83.30/76.49 o 23519 83.60/76.76 o 23514 83.60/76.76 o 23512 83.70/76.81 o 23510 83.70/76.83 o 23509 83.70/76.83 o 23507 84.10/77.27 o 23504 84.10/77.28 o 23503 84.20/77.32 o 23501 84.20/77.33 o 23497 85.10/78.30 o 23487 85.10/78.30 o 23482 85.30/78.46 o 23477 85.30/78.46 o 23475 85.30/78.47 o 23471 85.30/78.47 o 23469 85.91/79.05 o 23467 85.91/79.10 o 23465 86.40/79.57 o 23463 86.40/79.57 o 23462 86.40/79.57 o 23460 86.60/79.78 o 23457 86.60/79.79 o 23456 86.60/79.79 o 23452 86.70/79.82 o 23434 86.70/79.82 o 23431 86.70/79.82 o 23421 86.70/79.83 o 23418 86.70/79.83 o 23323 86.70/79.84 o 23315 86.70/79.85 o 23311 86.70/79.86 o 23309 86.70/79.87 o 23298 86.70/79.88 o 23296 86.81/79.90 o 23295 86.81/79.91 o 23289 86.81/79.91 o 23284 86.92/80.03 o 23283 86.92/80.06 o 23279 87.02/80.13 o 23274 87.02/80.13 o 23273 87.02/80.15 o 23272 87.02/80.15 o 23267 87.02/80.16 o 23253 87.02/80.16 o 23231 87.02/80.16 o 23207 87.02/80.16 o 23203 87.02/80.16 o 23199 87.02/80.17 o 23198 87.02/80.17 o 23195 87.11/80.20 o 23194 87.11/80.20 o 23186 87.11/80.20 o 23185 87.11/80.21 o 23182 87.11/80.21 o 23178 87.11/80.21 o 23177 87.11/80.21 o 23175 87.11/80.22 o 23174 87.11/80.29 o 23172 87.11/80.29 o 23171 87.21/80.30 o 23169 87.21/80.30 o 23168 87.21/80.30 o 23167 87.21/80.34 o 23165 87.51/80.62 o 23161 87.51/80.62 o 23160 87.51/80.63 o 23157 87.51/80.63 o 23156 87.51/80.69 o 23155 87.51/80.69 o 23154 87.61/80.75 o 23151 87.61/80.75 o 23150 87.71/80.86 o 23128 87.71/80.86 o 23104 87.71/80.87 o 23088 87.71/80.87 o 23073 87.71/80.87 o 23064 87.71/80.87 o 23042 87.71/80.87 o 23039 87.71/80.87 o 23035 87.71/80.87 o 23034 87.71/80.87 o 23030 87.71/80.89 o 23025 87.81/80.93 o 23024 87.81/80.95 o 23023 87.81/80.95 o 23022 89.05/82.18 o 23021 89.05/82.18 o 23020 89.05/82.18 o 23017 89.05/82.18 o 23016 89.05/82.19 o 23013 89.05/82.19 o 23012 89.14/82.20 o 23008 89.14/82.20 o 23003 89.14/82.20 o 23002 89.14/82.20 o 23000 89.14/82.20 o 22999 89.14/82.21 o 22996 89.14/82.21 o 22994 89.14/82.21 o 22993 89.14/82.22 o 22989 89.14/82.22 o 22988 89.14/82.22 o 22985 89.14/82.23 o 22983 89.14/82.23 o 22977 89.14/82.23 o 22970 89.14/82.23 o 22967 89.14/82.24 o 22966 89.14/82.24 o 22962 89.14/82.24 o 22961 89.24/82.36 o 22960 89.24/82.39 o 22958 89.24/82.39 o 22957 111.65/104.71 o 22955 111.65/104.71 o 22948 111.65/104.71 o 22947 111.65/104.71 o 22946 111.65/104.71 o 22931 111.65/104.72 o 22930 111.65/104.72 o 22926 111.65/104.72 o 22925 111.65/104.72 o 22924 111.65/104.72 o 22923 111.85/104.91 o 22895 111.85/104.91 o 22894 111.85/104.91 o 22893 111.85/104.91 o 22892 111.85/104.91 o 22890 111.85/104.91 o 22889 111.85/104.91 o 22888 111.85/104.92 o 22879 111.85/104.92 o 22878 111.85/104.92 o 22877 111.85/104.92 o 22876 111.85/104.92 o 22855 111.85/104.92 o 22854 111.85/104.93 o 22851 111.85/104.93 o 22850 111.85/104.96 o 22846 111.85/104.96 o 22845 111.85/104.99 o 22843 111.85/104.99 o 22842 112.06/105.15 o 22839 112.06/105.15 o 22838 112.25/105.37 o 22836 112.25/105.37 o 22835 116.58/109.66 o 22834 117.09/110.11 o 22826 117.09/110.12 o 22823 117.68/110.75 o 22821 117.68/110.75 o 22820 118.58/111.61 o 22814 118.68/111.75 o 22813 119.28/112.33 o 22811 119.28/112.33 o 22809 119.48/112.60 o 22806 119.48/112.60 o 22764 119.48/112.60 o 22755 119.48/112.60 o 22752 119.48/112.60 o 22743 119.48/112.60 o 22740 119.48/112.60 o 22737 119.58/112.60 o 22720 119.58/112.60 o 22717 119.58/112.60 o 22716 119.58/112.60 o 22699 119.58/112.60 o 22684 119.58/112.60 o 22681 119.58/112.60 o 22678 119.58/112.60 o 22677 119.58/112.60 o 22674 119.58/112.60 o 22667 119.58/112.60 o 22664 119.58/112.60 o 22662 119.58/112.60 o 22656 119.58/112.60 o 22651 119.58/112.60 o 22648 119.58/112.61 o 22646 119.58/112.63 o 22645 119.58/112.64 o 22643 119.58/112.64 o 22642 119.58/112.64 o 22639 119.58/112.65 o 22637 119.68/112.74 o 22636 119.68/112.75 o 22634 119.68/112.75 o 22633 119.68/112.75 o 22631 128.29/121.30 o 22630 128.29/121.30 o 22629 128.29/121.30 o 22627 128.29/121.30 o 22626 128.29/121.31 o 22613 128.29/121.31 o 22612 128.29/121.32 o 22611 128.29/121.34 o 22608 128.29/121.34 o 22607 128.29/121.38 o 22605 128.29/121.38 o 22604 128.29/121.38 o 22602 128.59/121.60 o 22601 128.59/121.60 o 22600 128.59/121.61 o 22599 128.59/121.61 o 22597 128.59/121.61 o 22596 128.59/121.62 o 22593 128.59/121.62 o 22591 128.59/121.69 o 22589 128.59/121.69 o 22588 128.59/121.69 o 22586 128.59/121.69 o 22585 128.59/121.69 o 22584 128.69/121.70 o 22579 128.69/121.79 o 22578 131.59/124.61 o 22573 131.59/124.61 o 22572 131.59/124.61 o 22566 131.59/124.63 o 22564 131.59/124.63 o 22563 131.59/124.65 o 22558 131.59/124.67 o 22553 131.59/124.67 o 22550 131.59/124.67 o 22547 131.59/124.69 o 22546 132.00/125.05 o 22544 132.00/125.06 o 22543 132.10/125.19 o 22541 132.10/125.19 o 22537 132.10/125.19 o 22535 132.10/125.19 o 22534 132.10/125.19 o 22531 132.10/125.19 o 22529 132.10/125.19 o 22528 132.19/125.20 o 22527 132.19/125.20 o 22525 132.19/125.20 o 22524 132.19/125.21 o 22523 132.19/125.21 o 22522 132.19/125.21 o 22521 132.19/125.22 o 22520 132.19/125.22 o 22516 132.19/125.22 o 22515 132.19/125.22 o 22513 132.19/125.23 o 22511 132.19/125.23 o 22508 132.19/125.23 o 22506 132.19/125.24 o 22504 132.19/125.24 o 22499 132.19/125.24 o 22498 132.19/125.24 o 22496 132.19/125.25 o 22495 132.19/125.25 o 22493 132.19/125.25 o 22487 132.19/125.25 o 22486 132.39/125.49 o 22482 132.39/125.49 o 22481 132.49/125.50 o 22480 132.59/125.69 o 22478 132.59/125.69 o 22477 132.79/125.81 o 22476 132.79/125.81 o 22475 132.79/125.81 o 22474 132.89/125.92 o 22472 140.32/133.36 o 22471 140.72/133.77 o 22436 140.72/133.77 o 22430 140.72/133.77 o 22423 140.72/133.77 o 22417 140.72/133.77 o 22412 140.72/133.77 o 22406 140.72/133.77 o 22400 140.72/133.77 o 22398 140.72/133.77 o 22392 140.72/133.78 o 22378 140.72/133.78 o 22370 140.72/133.78 o 22353 140.72/133.78 o 22348 140.72/133.78 o 22340 140.72/133.79 o 22328 140.72/133.79 o 22326 140.72/133.79 o 22325 142.22/135.27 o 22323 142.22/135.28 o 22320 142.22/135.28 o 22316 142.22/135.28 o 22308 142.32/135.30 o 22307 142.32/135.31 o 22305 142.32/135.31 o 22301 142.32/135.31 o 22300 142.32/135.32 o 22298 142.32/135.36 o 22288 142.32/135.36 o 22283 142.32/135.37 o 22275 142.32/135.37 o 22265 142.32/135.38 o 22256 142.32/135.38 o 22254 142.32/135.38 o 22249 142.32/135.39 o 22244 142.32/135.40 o 22241 142.32/135.40 o 22239 142.42/135.43 o 22237 142.62/135.63 o 22235 142.62/135.63 o 22233 142.62/135.63 o 22231 142.62/135.64 o 22229 142.62/135.64 o 22227 142.62/135.64 o 22223 142.62/135.64 o 22219 142.72/135.71 o 22216 142.72/135.78 o 22212 143.03/136.01 o 22208 143.03/136.02 o 22206 143.03/136.02 o 22203 143.03/136.02 o 22199 143.03/136.03 o 22197 152.23/145.27 o 22182 152.23/145.27 o 22170 152.23/145.27 o 22168 152.23/145.27 o 22167 152.23/145.27 o 22155 152.23/145.28 o 22150 152.23/145.28 o 22144 152.23/145.28 o 22143 152.23/145.28 o 22140 152.23/145.28 o 22132 152.23/145.28 o 22121 152.23/145.28 o 22120 152.23/145.28 o 22118 152.23/145.28 o 22112 152.23/145.29 o 22109 152.23/145.29 o 22101 152.23/145.29 o 22100 152.23/145.29 o 22099 152.33/145.30 o 22096 152.33/145.31 o 22094 152.33/145.31 o 22092 152.33/145.32 o 22087 152.43/145.41 o 22085 152.43/145.41 o 22083 152.43/145.42 o 22079 152.43/145.42 o 22073 152.43/145.42 o 22072 153.14/146.16 o 22069 153.14/146.16 o 22068 153.53/146.60 o 22067 153.63/146.68 o 22066 153.63/146.68 o 22065 154.83/147.89 o 22060 154.83/147.89 o 22059 155.63/148.63 o 22058 155.63/148.63 o 22057 155.63/148.65 o 22056 155.63/148.65 o 22054 155.63/148.66 o 22052 155.63/148.66 o 22050 155.63/148.66 o 22049 155.63/148.69 o 22048 155.73/148.71 o 22043 156.43/149.41 o 22042 156.43/149.46 o 22041 156.43/149.46 o 22039 156.43/149.46 o 22034 156.63/149.64 o 22032 156.63/149.64 o 22028 156.63/149.64 o 22027 156.63/149.64 o 22026 156.63/149.65 o 22023 156.63/149.65 o 22021 156.63/149.65 o 22013 156.63/149.65 o 22012 156.63/149.66 o 22007 156.63/149.66 o 22003 156.63/149.66 o 21997 156.63/149.66 o 21995 156.63/149.66 o 21994 156.63/149.66 o 21991 156.63/149.66 o 21985 156.63/149.67 o 21984 156.63/149.68 o 21978 156.63/149.70 o 21972 156.73/149.70 o 21969 156.73/149.70 o 21966 156.73/149.71 o 21960 156.73/149.71 o 21959 156.73/149.71 o 21948 156.73/149.73 o 21946 156.73/149.73 o 21945 156.73/149.75 o 21944 156.73/149.75 o 21939 157.23/150.22 o 21938 157.23/150.22 o 21936 157.23/150.22 o 21935 157.23/150.22 o 21932 157.33/150.34 o 21930 157.33/150.34 o 21929 157.43/150.41 o 21920 158.04/151.05 o 21913 158.53/151.57 o 21911 158.53/151.58 o 21900 158.83/151.83 o 21898 158.83/151.88 o 21897 158.83/151.88 o 21889 159.23/152.25 o 21887 159.23/152.25 o 21880 159.23/152.25 o 21875 159.23/152.25 o 21874 159.23/152.25 o 21869 159.23/152.25 o 21856 159.23/152.25 o 21852 159.23/152.25 o 21841 159.23/152.25 o 21832 159.23/152.25 o 21827 159.23/152.26 o 21819 159.23/152.26 o 21814 159.23/152.26 o 21810 159.23/152.26 o 21805 159.23/152.26 o 21797 159.23/152.26 o 21792 159.23/152.26 o 21788 159.23/152.26 o 21783 159.33/152.36 o 21780 159.43/152.42 o 21773 168.66/161.62 o 21769 168.66/161.62 o 21767 169.36/162.38 o 21766 169.36/162.39 o 21762 169.46/162.40 o 21761 169.86/162.89 o 21759 169.96/162.90 o 21758 169.96/162.90 o 21756 169.96/162.94 o 21753 169.96/162.95 o 21752 169.96/162.99 o 21747 170.07/163.01 o 21746 172.47/165.46 o 21745 172.57/165.53 o 21741 172.57/165.54 o 21738 173.18/166.15 o 21737 173.18/166.15 o 21736 173.18/166.16 o 21734 173.18/166.16 o 21733 173.37/166.33 o 21730 173.37/166.33 o 21726 173.37/166.33 o 21723 173.37/166.34 o 21722 173.37/166.34 o 21721 173.37/166.34 o 21719 173.37/166.34 o 21716 173.37/166.34 o 21703 173.37/166.35 o 21684 173.37/166.39 o 21683 173.37/166.39 o 21681 173.47/166.40 o 21680 173.58/166.54 o 21679 173.68/166.65 o 21676 174.98/167.98 o 21673 174.98/167.98 o 21671 174.98/168.00 o 21670 174.98/168.00 o 21665 174.98/168.00 o 21664 174.98/168.00 o 21662 174.98/168.00 o 21661 175.38/168.30 o 21660 175.38/168.30 o 21659 175.38/168.30 o 21657 175.38/168.30 o 21656 175.58/168.53 o 21655 175.58/168.53 o 21654 175.58/168.53 o 21652 175.58/168.53 o 21651 175.58/168.54 o 21650 175.58/168.54 o 21649 175.58/168.55 o 21648 175.58/168.55 o 21647 176.28/169.23 o 21595 176.28/169.23 o 21581 176.28/169.23 o 21577 176.28/169.23 o 21572 176.28/169.23 o 21563 176.28/169.23 o 21559 176.28/169.24 o 21557 176.28/169.24 o 21553 176.28/169.24 o 21551 176.28/169.25 o 21397 176.28/169.26 o 21383 176.28/169.26 o 21381 176.28/169.27 o 21379 176.28/169.27 o 21378 176.28/169.27 o 21364 176.28/169.27 o 21358 176.28/169.27 o 21356 176.28/169.27 o 21354 176.28/169.27 o 21350 176.28/169.27 o 21343 176.28/169.28 o 21342 176.28/169.28 o 21336 176.28/169.28 o 21328 176.28/169.29 o 21326 176.28/169.29 o 21322 176.48/169.46 o 21276 176.48/169.46 o 21263 176.48/169.46 o 21244 176.48/169.46 o 21180 176.48/169.46 o 21170 176.48/169.46 o 21158 176.48/169.46 o 21156 176.48/169.46 o 21149 176.48/169.49 o 21148 176.48/169.49 o 21141 176.58/169.52 o 21139 176.68/169.62 o 21135 176.68/169.64 o 21133 177.58/170.54 o 21121 177.58/170.54 o 21118 177.58/170.58 o 21117 177.58/170.58 o 21114 177.68/170.65 o 21113 177.78/170.76 o 21109 177.78/170.78 o 21107 177.88/170.80 o 21104 177.88/170.80 o 21103 177.88/170.89 o 21102 177.88/170.89 o 21101 177.88/170.89 o 21100 177.88/170.89 o 21098 177.98/170.92 o 21097 178.08/171.09 o 21096 178.08/171.09 o 21093 178.08/171.09 o 21091 178.48/171.47 o 21087 178.48/171.47 o 21080 178.88/171.84 o 21079 178.88/171.84 o 21077 178.88/171.84 o 21076 178.88/171.84 o 21075 178.88/171.84 o 21074 178.88/171.84 o 21067 178.88/171.84 o 21061 179.09/172.06 o 21060 179.09/172.06 o 21059 179.09/172.06 o 21057 179.09/172.06 o 21052 179.09/172.10 o 21049 179.09/172.10 o 21042 179.09/172.10 o 21039 188.90/181.83 o 21035 188.90/181.83 o 21021 189.00/181.92 o 21019 189.00/181.92 o 21017 189.00/181.93 o 21007 189.00/181.99 o 21004 189.00/181.99 o 20994 190.00/182.93 o 20993 190.00/182.94 o 20983 190.11/183.09 o 20982 190.30/183.26 o 20974 190.90/183.88 o 20973 191.00/183.94 o 20961 191.40/184.39 o 20959 191.50/184.47 o 20949 192.00/184.91 o 20947 192.00/184.91 o 20938 192.00/184.91 o 20936 192.00/184.91 o 20933 192.00/184.91 o 20930 192.00/184.92 o 20922 192.00/184.94 o 20917 192.00/184.94 o 20914 192.21/185.13 o 20911 192.21/185.16 o 20893 192.30/185.23 o 20892 192.30/185.24 o 20885 193.30/186.21 o 20875 193.30/186.21 o 20873 193.30/186.21 o 20870 193.30/186.22 o 20868 193.30/186.22 o 20865 193.30/186.22 o 20863 193.30/186.22 o 20860 193.30/186.22 o 20857 193.30/186.22 o 20855 193.30/186.23 o 20852 193.30/186.24 o 20844 193.30/186.25 o 20843 193.30/186.25 o 20821 194.71/187.67 o 20808 194.71/187.68 o 20800 194.71/187.68 o 20797 194.71/187.69 o 20781 194.71/187.69 o 20771 194.71/187.69 o 20762 194.71/187.69 o 20753 194.71/187.69 o 20750 194.71/187.69 o 20749 194.71/187.69 o 20748 194.71/187.69 o 20747 194.71/187.69 o 20745 194.71/187.69 o 20744 194.71/187.70 o 20742 194.71/187.70 o 20741 194.81/187.70 o 20739 194.81/187.70 o 20738 195.91/188.82 o 20737 195.91/188.82 o 20731 195.91/188.83 o 20707 197.22/190.19 o 20664 197.22/190.19 o 20654 197.22/190.19 o 20652 197.22/190.19 o 20647 197.22/190.19 o 20639 197.22/190.19 o 20636 197.22/190.19 o 20631 197.22/190.19 o 20617 197.31/190.21 o 20613 197.31/190.21 o 20595 197.31/190.25 o 20588 197.31/190.25 o 20585 197.31/190.26 o 20582 197.31/190.27 o 20577 197.31/190.27 o 20574 197.31/190.28 o 20563 197.31/190.28 o 20560 197.31/190.29 o 20555 197.31/190.29 o 20551 197.51/190.43 o 20550 197.71/190.66 o 20545 197.81/190.73 o 20539 197.81/190.75 o 20531 197.91/190.83 o 20529 205.44/198.38 o 20528 205.44/198.38 o 20526 205.44/198.38 o 20523 205.44/198.39 o 20518 205.44/198.39 o 20515 205.54/198.40 o 20495 205.54/198.41 o 20490 205.54/198.41 o 20482 205.54/198.41 o 20479 205.54/198.41 o 20470 205.54/198.42 o 20469 205.54/198.42 o 20467 205.54/198.47 o 20465 205.54/198.48 o 20449 205.64/198.52 o 20443 205.64/198.54 o 20442 205.64/198.54 o 20441 205.64/198.55 o 20434 207.84/200.78 o 20428 207.84/200.79 o 20427 208.84/201.77 o 20426 209.15/202.09 o 20420 209.54/202.47 o 20399 209.54/202.48 o 20381 209.54/202.49 o 20371 209.54/202.49 o 20370 210.84/203.77 o 20364 210.84/203.77 o 20358 210.84/203.78 o 20337 210.84/203.78 o 20335 210.84/203.78 o 20319 210.84/203.79 o 20311 210.84/203.79 o 20302 210.94/203.80 o 20298 210.94/203.80 o 20292 210.94/203.80 o 20288 210.94/203.80 o 20287 212.15/205.08 o 20283 212.25/205.16 o 20280 212.34/205.30 o 20278 213.04/205.98 o 20276 213.04/205.98 o 20267 214.84/207.72 o 20265 214.84/207.72 o 20262 214.84/207.72 o 20247 214.84/207.72 o 20244 214.84/207.72 o 20239 214.84/207.72 o 20236 214.84/207.72 o 20234 214.84/207.72 o 20232 214.84/207.72 o 20224 214.84/207.72 o 20217 214.84/207.72 o 20215 214.84/207.72 o 20214 214.84/207.72 o 20206 214.84/207.72 o 20203 214.84/207.72 o 20201 214.84/207.72 o 20196 214.84/207.73 o 20190 214.84/207.74 o 20189 214.84/207.75 o 20186 214.84/207.75 o 20183 214.84/207.76 o 20181 214.84/207.76 o 20179 214.84/207.76 o 20177 214.84/207.77 o 20175 214.84/207.77 o 20174 216.25/209.18 o 20173 216.25/209.19 o 20171 216.25/209.19 o 20166 216.25/209.19 o 20164 216.25/209.19 o 20159 216.25/209.20 o 20156 216.34/209.20 o 20153 216.64/209.51 o 20142 216.64/209.55 o 20134 216.74/209.65 o 20133 217.15/210.02 o 20130 217.15/210.02 o 20127 217.15/210.04 o 20124 218.04/210.92 o 20122 218.04/210.92 o 20120 218.04/210.93 o 20118 218.04/210.94 o 20115 218.04/210.94 o 20114 218.04/210.94 o 20109 218.04/210.99 o 20108 218.04/210.99 o 20106 218.15/211.01 o 20105 218.15/211.01 o 20102 218.25/211.16 o 20098 218.25/211.16 o 20095 218.25/211.16 o 20092 218.25/211.16 o 20089 218.44/211.30 o 20088 218.44/211.30 o 20083 218.44/211.30 o 20080 218.44/211.30 o 20078 220.44/213.37 o 20073 220.44/213.39 o 20070 220.54/213.40 o 20058 222.74/215.66 o 20056 222.74/215.66 o 20055 224.74/217.60 o 20051 224.74/217.68 o 20044 226.85/219.72 o 20043 226.95/219.82 o 20039 226.95/219.86 o 20037 226.95/219.86 o 20036 227.05/219.91 o 20034 227.05/219.92 o 20031 227.05/219.92 o 20030 227.05/219.93 o 20027 227.15/220.07 o 20026 227.64/220.58 o 20008 227.64/220.58 o 20002 227.64/220.58 o 19965 227.64/220.58 o 19943 227.64/220.58 o 19942 227.64/220.58 o 19940 227.64/220.58 o 19936 227.64/220.58 o 19934 227.64/220.58 o 19933 227.64/220.58 o 19932 227.64/220.58 o 19931 227.64/220.58 o 19926 227.64/220.58 o 19911 227.64/220.58 o 19909 227.64/220.59 o 19896 227.64/220.59 o 19894 227.64/220.59 o 19893 227.64/220.59 o 19890 227.64/220.59 o 19888 227.74/220.60 o 19884 227.74/220.60 o 19882 227.74/220.60 o 19879 227.74/220.60 o 19878 227.74/220.60 o 19876 227.74/220.60 o 19873 227.74/220.60 o 19852 227.74/220.60 o 19849 227.74/220.66 o 19847 227.74/220.69 o 19845 230.47/223.31 o 19844 230.47/223.31 o 19843 230.47/223.31 o 19841 230.47/223.31 o 19835 230.47/223.32 o 19831 230.47/223.32 o 19830 230.47/223.32 o 19829 230.47/223.38 o 19828 230.47/223.38 o 19827 230.47/223.38 o 19825 230.57/223.42 o 19824 230.57/223.44 o 19823 230.57/223.44 o 19820 230.57/223.44 o 19819 231.97/224.87 o 19818 231.97/224.88 o 19777 231.97/224.88 o 19771 231.97/224.88 o 19768 231.97/224.88 o 19758 231.97/224.88 o 19737 231.97/224.88 o 19736 231.97/224.88 o 19722 231.97/224.88 o 19717 231.97/224.88 o 19716 231.97/224.88 o 19715 232.07/224.90 o 19713 232.07/224.92 o 19707 232.07/224.93 o 19705 232.07/224.97 o 19703 232.07/224.97 o 19701 232.07/224.97 o 19699 232.07/224.97 o 19697 232.07/224.99 o 19693 232.18/225.02 o 19691 232.18/225.02 o 19687 232.18/225.04 o 19685 232.18/225.04 o 19680 232.18/225.04 o 19673 232.18/225.04 o 19669 232.18/225.04 o 19666 232.18/225.04 o 19660 232.18/225.04 o 19645 232.18/225.04 o 19643 232.18/225.04 o 19639 232.18/225.04 o 19637 232.18/225.04 o 19636 232.18/225.04 o 19634 232.18/225.04 o 19618 232.18/225.04 o 19616 232.18/225.05 o 19614 232.18/225.06 o 19608 232.18/225.07 o 19606 232.18/225.07 o 19604 232.18/225.08 o 19602 232.18/225.08 o 19596 232.29/225.13 o 19533 232.29/225.13 o 19494 232.29/225.13 o 19469 232.29/225.14 o 19464 232.29/225.15 o 19462 232.29/225.15 o 19459 232.29/225.19 o 19454 232.29/225.19 o 19451 232.29/225.20 o 19449 232.38/225.21 o 19447 232.48/225.30 o 19444 232.48/225.30 o 19441 232.48/225.31 o 19414 232.48/225.31 o 19388 232.48/225.31 o 19363 232.48/225.31 o 19362 232.48/225.31 o 19354 232.48/225.32 o 19351 232.48/225.32 o 19350 232.48/225.32 o 19347 232.48/225.32 o 19345 232.48/225.32 o 19343 232.48/225.32 o 19341 232.48/225.33 o 19336 232.48/225.33 o 19333 232.48/225.33 o 19331 235.19/228.01 o 19329 235.19/228.01 o 19327 235.29/228.16 o 19325 235.29/228.17 o 19319 235.29/228.17 o 19316 235.78/228.63 o 19315 235.78/228.63 o 19314 236.08/228.97 o 19313 236.08/228.97 o 19310 236.29/229.18 o 19309 236.29/229.18 o 19304 236.29/229.18 o 19294 236.29/229.18 o 19288 236.29/229.19 o 19284 236.29/229.19 o 19283 236.29/229.19 o 19279 236.58/229.49 o 19278 236.68/229.56 o 19266 236.68/229.57 o 19265 236.68/229.58 o 19261 236.78/229.62 o 19239 236.78/229.62 o 19227 236.78/229.62 o 19208 236.78/229.63 o 19207 237.29/230.11 o 19206 237.29/230.11 o 19202 237.29/230.11 o 19201 237.29/230.11 o 19197 237.29/230.13 o 19196 237.29/230.13 o 19192 237.29/230.15 o 19188 237.29/230.15 o 19183 237.29/230.16 o 19182 237.29/230.16 o 19178 238.08/230.93 o 19163 238.08/230.93 o 19151 238.08/230.93 o 19129 238.08/230.93 o 19123 238.08/230.93 o 19113 238.08/230.97 o 19107 238.08/230.97 o 19103 238.19/231.05 o 19093 238.19/231.05 o 19089 238.19/231.07 o 19083 238.19/231.08 o 19077 238.19/231.08 o 19073 238.19/231.10 o 19070 238.19/231.10 o 19066 238.38/231.27 o 19065 238.38/231.28 o 19061 238.38/231.28 o 19057 238.58/231.41 o 19042 238.58/231.44 o 19038 238.58/231.47 o 19036 238.58/231.48 o 19027 238.68/231.51 o 19026 238.68/231.52 o 19022 238.78/231.61 o 19013 238.78/231.61 o 19000 238.78/231.61 o 18994 238.78/231.61 o 18990 238.78/231.62 o 18980 238.78/231.62 o 18976 238.78/231.62 o 18974 238.78/231.62 o 18965 238.78/231.63 o 18950 238.78/231.63 o 18935 238.78/231.63 o 18875 238.78/231.64 o 18868 238.78/231.64 o 18867 238.78/231.64 o 18863 238.78/231.65 o 18859 239.98/232.88 o 18855 239.98/232.88 o 18851 241.88/234.79 o 18850 241.98/234.85 o 18849 241.98/234.87 o 18848 241.98/234.87 o 18843 242.19/235.01 o 18841 242.58/235.41 o 18839 242.58/235.41 o 18830 242.58/235.41 o 18826 242.58/235.46 o 18819 242.58/235.47 o 18817 242.78/235.62 o 18816 242.78/235.64 o 18815 242.78/235.64 o 18806 242.78/235.65 o 18804 243.19/236.08 o 18802 243.19/236.08 o 18797 243.19/236.08 o 18794 243.29/236.18 o 18793 243.29/236.18 o 18789 243.29/236.18 o 18786 243.29/236.18 o 18785 243.29/236.18 o 18784 243.29/236.18 o 18781 243.29/236.19 o 18769 243.29/236.19 o 18766 243.48/236.37 o 18764 243.78/236.68 o 18760 243.78/236.68 o 18757 243.88/236.73 o 18750 243.88/236.73 o 18747 243.88/236.74 o 18745 244.08/236.91 o 18744 244.08/236.91 o 18740 244.08/236.91 o 18737 244.08/236.92 o 18735 244.08/236.92 o 18731 244.08/236.92 o 18728 244.08/236.92 o 18724 244.08/236.92 o 18721 244.08/236.93 o 18717 244.08/236.93 o 18714 244.08/236.94 o 18712 244.08/236.97 o 18710 244.48/237.38 o 18707 244.48/237.39 o 18706 244.48/237.39 o 18704 244.48/237.39 o 18703 244.48/237.39 o 18701 244.58/237.42 o 18700 244.58/237.43 o 18699 244.58/237.43 o 18698 244.58/237.43 o 18696 246.59/239.43 o 18691 246.59/239.43 o 18671 246.59/239.43 o 18660 246.59/239.43 o 18651 246.59/239.43 o 18640 246.59/239.43 o 18626 246.59/239.44 o 18625 246.59/239.44 o 18623 246.59/239.44 o 18617 246.59/239.44 o 18611 246.59/239.44 o 18610 246.59/239.44 o 18607 246.59/239.44 o 18604 246.59/239.45 o 18603 246.59/239.46 o 18601 246.59/239.46 o 18600 246.59/239.48 o 18599 246.59/239.48 o 18593 246.59/239.48 o 18592 246.59/239.48 o 18591 246.59/239.48 o 18588 246.79/239.62 o 18584 246.79/239.62 o 18582 246.79/239.62 o 18578 246.79/239.63 o 18577 246.79/239.63 o 18576 246.79/239.63 o 18574 246.79/239.63 o 18573 246.79/239.65 o 18571 246.79/239.65 o 18568 246.89/239.71 o 18567 246.89/239.72 o 18566 246.89/239.72 o 18565 246.89/239.72 o 18562 246.89/239.72 o 18553 246.89/239.72 o 18550 246.89/239.73 o 18549 246.89/239.73 o 18547 246.89/239.73 o 18546 246.89/239.73 o 18544 246.89/239.73 o 18542 246.89/239.73 o 18539 247.49/240.32 o 18534 247.49/240.32 o 18523 247.49/240.32 o 18519 247.49/240.32 o 18516 247.49/240.32 o 18512 247.49/240.32 o 18509 247.49/240.32 o 18508 247.49/240.32 o 18505 247.49/240.32 o 18502 247.49/240.32 o 18499 247.49/240.32 o 18493 247.49/240.32 o 18492 247.49/240.32 o 18489 247.49/240.32 o 18477 247.49/240.33 o 18471 247.49/240.34 o 18466 247.49/240.34 o 18451 247.49/240.34 o 18445 247.49/240.35 o 18441 247.49/240.35 o 18440 247.59/240.40 o 18434 247.59/240.40 o 18433 247.59/240.40 o 18432 247.59/240.40 o 18431 247.59/240.41 o 18430 247.59/240.41 o 18429 247.59/240.41 o 18428 247.59/240.41 o 18427 247.59/240.41 o 18426 247.69/240.53 o 18423 247.69/240.53 o 18422 247.69/240.53 o 18421 247.69/240.54 o 18413 247.69/240.54 o 18412 247.69/240.54 o 18411 247.69/240.57 o 18410 247.69/240.57 o 18409 247.69/240.57 o 18408 247.69/240.57 o 18406 247.69/240.57 o 18405 248.59/241.49 o 18404 248.99/241.81 o 18400 248.99/241.81 o 18399 251.43/244.27 o 18397 251.43/244.27 o 18396 251.53/244.31 o 18394 251.53/244.31 o 18393 251.53/244.31 o 18390 251.53/244.31 o 18389 251.53/244.37 o 18385 251.63/244.47 o 18379 251.63/244.47 o 18378 251.73/244.52 o 18370 251.73/244.52 o 18362 251.73/244.52 o 18354 251.73/244.53 o 18303 251.73/244.53 o 18293 251.73/244.54 o 18264 251.73/244.55 o 18253 251.73/244.55 o 18249 251.73/244.55 o 18248 251.73/244.55 o 18246 252.43/245.21 o 18244 252.43/245.21 o 18243 256.13/248.99 o 18240 256.13/248.99 o 18230 256.13/248.99 o 18227 256.13/249.00 o 18226 256.13/249.00 o 18208 256.13/249.00 o 18204 256.13/249.00 o 18203 256.13/249.00 o 18200 256.13/249.00 o 18199 256.13/249.00 o 18191 256.13/249.00 o 18185 256.13/249.00 o 18183 256.13/249.00 o 18178 256.24/249.01 o 18175 256.24/249.01 o 18173 256.24/249.01 o 18172 256.24/249.02 o 18170 256.24/249.02 o 18165 256.24/249.02 o 18159 256.24/249.02 o 18154 256.24/249.02 o 18149 256.24/249.02 o 18146 256.24/249.03 o 18141 256.24/249.04 o 18134 256.24/249.04 o 18130 256.24/249.04 o 18128 256.24/249.05 o 18126 256.24/249.05 o 18125 256.53/249.32 o 18119 256.53/249.32 o 18118 256.53/249.33 o 18117 256.73/249.58 o 18112 256.73/249.58 o 18111 256.73/249.58 o 18109 256.73/249.59 o 18103 256.83/249.60 o 18100 256.83/249.66 o 18097 256.83/249.67 o 18096 258.03/250.85 o 18092 258.03/250.85 o 18091 258.03/250.85 o 18090 258.03/250.85 o 18089 258.03/250.85 o 18086 258.03/250.85 o 18082 258.03/250.85 o 18081 258.03/250.85 o 18074 258.03/250.85 o 18072 258.03/250.85 o 18071 259.24/252.10 o 18070 259.24/252.10 o 18065 259.43/252.27 o 18064 259.53/252.38 o 18063 259.63/252.41 o 18060 259.63/252.41 o 18059 259.63/252.49 o 18057 259.63/252.49 o 18054 260.53/253.39 o 18023 260.53/253.39 o 18022 260.53/253.39 o 18011 260.53/253.39 o 18005 260.53/253.39 o 18004 260.53/253.39 o 18000 260.53/253.39 o 17999 260.53/253.39 o 17993 260.53/253.39 o 17989 260.53/253.39 o 17986 260.53/253.39 o 17984 260.53/253.39 o 17982 260.53/253.39 o 17981 260.63/253.47 o 17980 261.35/254.16 o 17979 261.35/254.17 o 17978 261.84/254.69 o 17974 261.84/254.69 o 17969 261.84/254.69 o 17961 261.84/254.69 o 17958 261.84/254.69 o 17957 261.84/254.69 o 17956 261.84/254.69 o 17949 261.84/254.69 o 17948 261.84/254.69 o 17947 261.84/254.70 o 17946 305.72/298.40 o 17945 305.72/298.40 o 17944 305.72/298.42 o 17942 305.72/298.42 o 17941 305.72/298.42 o 17940 305.82/298.53 o 17939 305.82/298.53 o 17938 305.82/298.53 o 17937 305.82/298.53 o 17935 305.82/298.53 o 17933 305.82/298.53 o 17931 305.82/298.54 o 17927 305.82/298.54 o 17925 305.82/298.54 o 17922 305.82/298.54 o 17921 305.82/298.54 o 17920 305.82/298.54 o 17919 305.82/298.54 o 17918 306.12/298.80 o 17917 306.12/298.80 o 17915 306.12/298.80 o 17914 306.51/299.22 o 17913 306.61/299.35 o 17911 308.92/301.63 o 17910 308.92/301.63 o 17908 308.92/301.63 o 17907 317.52/310.22 o 17906 317.52/310.22 o 17905 318.72/311.49 o 17902 318.72/311.49 o 17898 318.72/311.49 o 17897 318.72/311.49 o 17893 318.72/311.49 o 17892 318.72/311.49 o 17866 318.82/311.50 o 17862 318.82/311.50 o 17842 318.82/311.50 o 17838 318.82/311.52 o 17834 318.82/311.53 o 17830 318.82/311.53 o 17827 318.92/311.65 o 17821 318.92/311.67 o 17810 319.02/311.72 o 17809 319.02/311.75 o 17806 321.36/314.03 o 17774 321.36/314.04 o 17773 321.36/314.04 o 17770 321.36/314.04 o 17756 321.36/314.04 o 17746 321.36/314.04 o 17744 321.36/314.04 o 17742 321.36/314.05 o 17738 321.36/314.05 o 17737 321.36/314.05 o 17734 321.36/314.05 o 17718 321.46/314.11 o 17710 321.46/314.11 o 17707 343.89/336.56 o 17705 344.99/337.67 o 17704 344.99/337.69 o 17701 345.79/338.45 o 17695 345.79/338.45 o 17690 345.79/338.45 o 17683 346.19/338.83 o 17682 346.29/338.94 o 17681 346.29/338.95 o 17674 347.40/340.01 o 17672 348.09/340.76 o 17668 348.59/341.21 o 17663 348.59/341.21 o 17654 348.59/341.21 o 17646 348.59/341.22 o 17624 348.59/341.24 o 17618 348.59/341.25 o 17615 348.59/341.25 o 17614 348.59/341.25 o 17611 348.59/341.27 o 17609 348.59/341.27 o 17606 348.69/341.32 o 17601 348.69/341.32 o 17598 348.69/341.32 o 17590 348.69/341.32 o 17583 348.69/341.33 o 17576 348.69/341.33 o 17569 348.69/341.33 o 17565 348.69/341.33 o 17556 348.69/341.33 o 17549 348.69/341.33 o 17538 348.69/341.34 o 17523 348.79/341.41 o 17519 348.79/341.43 o 17517 348.89/341.50 o 17516 348.89/341.50 o 17509 349.09/341.75 o 17508 349.69/342.31 o 17505 350.69/343.34 o 17504 350.69/343.34 o 17503 350.69/343.36 o 17500 350.69/343.36 o 17499 351.19/343.81 o 17402 351.19/343.81 o 17387 351.19/343.81 o 17386 351.19/343.81 o 17383 351.19/343.81 o 17368 351.19/343.81 o 17364 351.19/343.84 o 17363 351.19/343.86 o 17360 351.19/343.86 o 17357 351.19/343.86 o 17355 351.19/343.86 o 17352 351.19/343.87 o 17349 351.19/343.87 o 17346 351.19/343.87 o 17343 351.19/343.87 o 17338 351.19/343.87 o 17335 351.19/343.87 o 17332 351.19/343.87 o 17331 351.41/344.05 o 17330 351.41/344.05 o 17327 351.41/344.05 o 17324 351.41/344.07 o 17322 351.41/344.07 o 17319 351.41/344.07 o 17316 351.60/344.23 o 17315 351.60/344.23 o 17312 352.51/345.11 o 17308 352.51/345.11 o 17303 352.51/345.11 o 17288 352.51/345.11 o 17281 352.51/345.13 o 17276 352.51/345.13 o 17273 352.51/345.13 o 17264 352.51/345.14 o 17260 352.51/345.16 o 17257 352.90/345.53 o 17252 355.20/347.89 o 17250 355.20/347.89 o 17247 355.30/348.00 o 17246 355.30/348.00 o 17243 355.41/348.02 o 17234 355.41/348.02 o 17231 355.41/348.09 o 17229 355.41/348.09 o 17227 355.41/348.10 o 17225 355.41/348.10 o 17223 355.51/348.11 o 17221 355.51/348.11 o 17220 355.51/348.11 o 17218 355.51/348.11 o 17215 355.51/348.11 o 17206 355.51/348.14 o 17204 355.51/348.14 o 17200 355.51/348.19 o 17197 379.95/372.58 o 17194 380.35/372.92 o 17189 380.35/372.94 o 17186 387.88/380.46 o 17183 387.88/380.46 o 17179 387.98/380.52 o 17176 387.98/380.54 o 17174 387.98/380.55 o 17166 387.98/380.55 o 17164 387.98/380.55 o 17161 394.39/386.98 o 17157 394.39/386.98 o 17156 394.89/387.43 o 17154 394.89/387.43 o 17149 394.89/387.43 o 17140 394.89/387.43 o 17139 395.50/388.02 o 17137 395.50/388.02 o 17136 396.29/388.80 o 17134 396.29/388.80 o 17133 396.29/388.80 o 17131 396.29/388.80 o 17130 396.29/388.82 o 17129 396.69/389.21 o 17128 396.79/389.37 o 17123 396.79/389.37 o 17120 396.79/389.37 o 17119 397.29/389.87 o 17117 423.16/415.62 o 17116 423.16/415.62 o 17113 423.16/415.62 o 17110 423.16/415.63 o 17102 423.16/415.63 o 17096 423.16/415.63 o 17093 423.16/415.63 o 17086 423.16/415.63 o 17082 423.16/415.63 o 17078 423.16/415.63 o 17077 423.16/415.63 o 17069 423.16/415.63 o 17066 423.16/415.63 o 17065 423.16/415.63 o 17064 423.16/415.64 o 17058 423.16/415.64 o 17055 423.16/415.64 o 17054 423.16/415.64 o 17052 423.16/415.64 o 17051 423.16/415.64 o 17043 423.16/415.64 o 17042 423.16/415.66 o 17040 423.26/415.70 o 17039 423.57/416.04 o 17037 423.57/416.04 o 17034 423.57/416.10 o 17029 423.57/416.11 o 17026 423.76/416.21 o 17024 424.67/417.19 o 17021 424.96/417.40 o 17018 424.96/417.43 o 17017 424.96/417.44 o 17005 424.96/417.48 o 17004 425.57/418.04 o 17002 427.36/419.82 o 16999 427.36/419.82 o 16997 427.46/419.93 o 16996 429.67/422.17 o 16994 429.67/422.17 o 16991 429.67/422.17 o 16989 430.37/422.86 o 16982 430.37/422.86 o 16980 430.57/423.07 o 16977 430.67/423.16 o 16974 431.47/423.98 o 16969 432.47/424.98 o 16965 432.47/424.98 o 16962 432.47/424.98 o 16959 432.47/424.98 o 16936 432.47/424.98 o 16931 432.47/424.98 o 16926 432.47/424.99 o 16921 432.47/425.00 o 16914 432.57/425.01 o 16891 432.57/425.01 o 16875 432.57/425.02 o 16869 432.57/425.02 o 16864 432.57/425.02 o 16851 432.57/425.03 o 16844 432.57/425.03 o 16831 432.68/425.12 o 16826 432.68/425.12 o 16823 432.68/425.13 o 16804 432.68/425.14 o 16790 432.68/425.18 o 16775 432.68/425.18 o 16765 432.68/425.18 o 16758 432.68/425.18 o 16755 432.77/425.21 o 16754 432.77/425.21 o 16752 432.77/425.21 o 16749 432.77/425.21 o 16747 432.77/425.21 o 16746 432.77/425.21 o 16743 432.77/425.23 o 16739 432.77/425.23 o 16735 432.77/425.23 o 16729 432.77/425.23 o 16728 432.77/425.23 o 16725 432.87/425.30 o 16718 432.87/425.30 o 16708 432.87/425.30 o 16705 432.87/425.30 o 16698 432.87/425.30 o 16694 432.87/425.30 o 16690 432.87/425.30 o 16668 432.87/425.31 o 16646 432.87/425.31 o 16643 432.87/425.31 o 16632 432.87/425.31 o 16628 432.87/425.31 o 16625 432.97/425.44 o 16623 433.17/425.61 o 16610 433.17/425.61 o 16607 433.17/425.67 o 16515 433.17/425.67 o 16508 433.17/425.67 o 16494 433.17/425.67 o 16485 433.17/425.68 o 16482 433.27/425.73 o 16469 433.27/425.73 o 16466 433.27/425.74 o 16456 433.27/425.74 o 16453 433.27/425.74 o 16450 433.47/425.90 o 16447 433.47/425.90 o 16443 433.47/425.90 o 16440 433.68/426.11 o 16437 433.68/426.11 o 16410 433.68/426.12 o 16407 433.68/426.13 o 16405 433.68/426.13 o 16404 433.68/426.13 o 16401 433.77/426.28 o 16392 433.77/426.29 o 16386 433.87/426.30 o 16380 433.87/426.35 o 16361 433.87/426.39 o 16335 433.97/426.42 o 16308 433.97/426.44 o 16293 433.97/426.45 o 16289 433.97/426.45 o 16265 434.07/426.54 o 16244 434.07/426.58 o 16238 434.27/426.73 o 16211 434.27/426.73 o 16185 434.27/426.73 o 16181 434.27/426.73 o 16169 434.27/426.73 o 16168 434.27/426.73 o 16164 434.27/426.73 o 16163 434.27/426.73 o 16162 434.27/426.73 o 16158 434.27/426.77 o 16147 434.27/426.77 o 16142 434.37/426.82 o 16134 434.37/426.82 o 16129 466.03/458.44 o 16126 466.03/458.44 o 16122 466.03/458.45 o 16119 466.03/458.45 o 16115 479.67/472.06 o 16113 479.67/472.06 o 16112 479.67/472.07 o 16108 483.16/475.51 o 16106 483.16/475.53 o 16103 483.16/475.53 o 16099 483.16/475.53 o 16096 484.89/477.22 o 16094 484.89/477.22 o 16090 487.49/479.82 o 16087 487.59/479.96 o 16083 487.59/479.96 o 16079 487.59/479.99 o 16076 487.70/480.05 o 16073 487.70/480.06 o 16067 487.70/480.07 o 16063 487.70/480.08 o 16061 487.70/480.08 o 16058 487.70/480.09 o 16055 487.70/480.09 o 16051 487.80/480.11 o 16040 487.80/480.11 o 16036 489.09/481.49 o 16014 489.09/481.50 o 15961 489.09/481.50 o 15960 489.09/481.50 o 15956 489.09/481.50 o 15951 489.09/481.50 o 15950 489.19/481.50 o 15938 489.19/481.50 o 15935 489.19/481.50 o 15934 489.19/481.50 o 15929 489.19/481.50 o 15923 489.19/481.50 o 15917 489.19/481.50 o 15916 489.19/481.57 o 15915 489.19/481.57 o 15914 489.19/481.57 o 15912 491.80/484.17 o 15909 491.99/484.33 o 15908 491.99/484.33 o 15905 491.99/484.34 o 15903 491.99/484.34 o 15897 491.99/484.36 o 15896 491.99/484.36 o 15895 491.99/484.37 o 15893 491.99/484.39 o 15892 491.99/484.39 o 15891 491.99/484.39 o 15889 491.99/484.39 o 15886 491.99/484.39 o 15878 491.99/484.39 o 15877 492.19/484.56 o 15874 492.19/484.56 o 15871 492.19/484.56 o 15867 493.89/486.25 o 15866 493.89/486.26 o 15861 493.89/486.26 o 15858 493.89/486.30 o 15854 493.99/486.39 o 15845 493.99/486.39 o 15844 494.09/486.40 o 15843 494.09/486.40 o 15842 494.09/486.40 o 15836 494.09/486.41 o 15835 494.09/486.41 o 15833 494.09/486.41 o 15832 494.09/486.41 o 15831 494.09/486.41 o 15830 494.09/486.41 o 15829 494.09/486.41 o 15826 494.09/486.41 o 15825 494.09/486.48 o 15816 494.09/486.48 o 15815 494.19/486.50 o 15813 494.19/486.50 o 15812 494.19/486.50 o 15810 494.19/486.50 o 15809 494.19/486.53 o 15808 494.19/486.53 o 15807 494.29/486.69 o 15802 494.29/486.69 o 15796 494.29/486.69 o 15795 494.70/487.10 o 15785 494.70/487.10 o 15784 494.70/487.10 o 15735 494.70/487.10 o 15707 494.70/487.10 o 15668 494.70/487.10 o 15624 494.80/487.11 o 15602 494.80/487.11 o 15598 494.80/487.11 o 15590 494.80/487.11 o 15588 494.80/487.11 o 15584 494.80/487.11 o 15571 494.80/487.11 o 15569 494.80/487.12 o 15439 494.80/487.12 o 15437 494.80/487.12 o 15430 494.80/487.12 o 15426 494.80/487.12 o 15411 494.80/487.12 o 15408 494.80/487.12 o 15406 494.80/487.13 o 15404 499.73/492.10 o 15401 499.73/492.10 o 15400 499.83/492.11 o 15394 499.83/492.11 o 15393 500.22/492.50 o 15392 500.22/492.50 o 15391 502.62/494.90 o 15386 502.62/494.90 o 15380 502.62/494.90 o 15374 502.62/494.90 o 15370 502.62/494.90 o 15361 502.62/494.90 o 15336 502.62/494.90 o 15330 502.62/494.90 o 15315 502.62/494.90 o 15312 502.62/494.90 o 15299 502.62/494.91 o 15281 502.62/494.91 o 15279 502.62/494.91 o 15273 502.62/494.91 o 15265 502.62/494.91 o 15258 502.62/494.96 o 15252 502.62/494.96 o 15249 502.73/495.05 o 15216 502.73/495.06 o 15170 502.73/495.06 o 15167 502.73/495.10 o 15157 502.73/495.10 o 15152 502.83/495.11 o 15135 502.83/495.15 o 15133 502.83/495.16 o 15131 502.92/495.20 o 15122 502.92/495.21 o 15120 502.92/495.21 o 15113 503.02/495.37 o 14944 503.02/495.37 o 14943 503.02/495.37 o 14930 503.02/495.37 o 14897 503.02/495.39 o 14894 503.02/495.39 o 14889 503.12/495.40 o 14887 503.12/495.40 o 14886 503.12/495.40 o 14871 503.12/495.42 o 14869 503.93/496.23 o 14865 504.03/496.39 o 14863 504.63/496.93 o 14862 504.73/497.03 o 14858 504.73/497.05 o 14855 504.73/497.07 o 14853 505.13/497.43 o 14848 505.13/497.43 o 14843 505.63/498.00 o 14842 505.63/498.00 o 14838 505.63/498.00 o 14835 505.74/498.03 o 14823 506.23/498.52 o 14809 506.23/498.52 o 14807 506.23/498.52 o 14797 506.23/498.52 o 14787 506.23/498.52 o 14780 506.23/498.53 o 14777 506.23/498.54 o 14775 506.23/498.54 o 14766 506.23/498.54 o 14763 506.93/499.23 o 14755 506.93/499.23 o 14752 506.93/499.23 o 14750 506.93/499.23 o 14749 506.93/499.23 o 14744 506.93/499.23 o 14742 507.03/499.32 o 14741 507.03/499.32 o 14733 507.03/499.32 o 14731 507.03/499.37 o 14729 507.03/499.37 o 14724 507.03/499.37 o 14720 507.03/499.37 o 14719 507.03/499.37 o 14717 507.03/499.39 o 14714 507.03/499.39 o 14711 507.03/499.39 o 14709 507.13/499.44 o 14679 507.13/499.44 o 14676 507.13/499.45 o 14669 507.13/499.45 o 14666 507.13/499.46 o 14659 507.13/499.46 o 14656 507.13/499.47 o 14655 507.13/499.49 o 14647 507.13/499.49 o 14644 507.13/499.49 o 14642 507.13/499.49 o 14639 507.23/499.51 o 14638 507.23/499.54 o 14636 507.23/499.54 o 14632 507.23/499.54 o 14630 507.23/499.54 o 14628 507.23/499.54 o 14626 507.23/499.54 o 14625 507.23/499.54 o 14623 507.23/499.54 o 14606 507.23/499.55 o 14604 507.23/499.55 o 14602 514.03/506.39 o 14600 514.03/506.39 o 14598 529.49/521.71 o 14587 529.49/521.71 o 14579 529.49/521.71 o 14570 529.49/521.71 o 14562 529.49/521.71 o 14561 529.49/521.71 o 14559 529.49/521.71 o 14549 529.49/521.71 o 14543 529.49/521.71 o 14541 529.49/521.72 o 14538 529.49/521.72 o 14536 529.49/521.78 o 14531 529.49/521.78 o 14529 529.49/521.78 o 14528 529.49/521.78 o 14525 529.49/521.78 o 14523 529.49/521.79 o 14521 529.59/521.82 o 14515 529.59/521.82 o 14514 529.59/521.82 o 14513 529.59/521.82 o 14512 529.59/521.82 o 14509 529.59/521.82 o 14505 529.59/521.83 o 14503 529.59/521.84 o 14498 529.59/521.84 o 14496 529.59/521.84 o 14493 529.59/521.85 o 14491 530.09/522.32 o 14489 530.09/522.37 o 14487 530.09/522.37 o 14484 530.09/522.37 o 14478 530.19/522.40 o 14476 533.29/525.54 o 14475 535.09/527.32 o 14470 535.09/527.32 o 14469 535.19/527.40 o 14461 535.19/527.40 o 14453 535.19/527.40 o 14450 535.59/527.81 o 14397 535.59/527.81 o 14387 535.59/527.81 o 14385 535.59/527.81 o 14381 535.59/527.81 o 14368 535.59/527.81 o 14367 535.59/527.81 o 14364 535.59/527.82 o 14363 535.59/527.88 o 14358 535.59/527.88 o 14357 535.69/527.95 o 14356 535.69/527.95 o 14349 535.69/527.96 o 14347 535.69/527.96 o 14346 535.69/527.96 o 14345 535.69/527.97 o 14342 535.69/527.97 o 14338 535.69/527.97 o 14336 535.69/527.98 o 14335 535.69/528.00 o 14331 535.69/528.00 o 14329 535.80/528.02 o 14327 535.80/528.03 o 14319 535.80/528.03 o 14317 535.90/528.16 o 14316 536.09/528.35 o 14315 536.59/528.86 o 14314 536.59/528.86 o 14301 536.59/528.86 o 14292 536.59/528.86 o 14289 536.69/528.91 o 14287 536.99/529.22 o 14274 536.99/529.24 o 14273 536.99/529.24 o 14268 536.99/529.24 o 14264 536.99/529.26 o 14262 537.29/529.52 o 14257 537.29/529.53 o 14252 537.29/529.53 o 14250 537.29/529.53 o 14246 537.29/529.54 o 14242 537.29/529.54 o 14230 537.29/529.54 o 14219 537.29/529.54 o 14213 537.29/529.54 o 14206 537.29/529.54 o 14201 537.29/529.54 o 14195 537.29/529.55 o 14191 537.29/529.55 o 14189 537.29/529.55 o 14154 537.29/529.55 o 14148 537.29/529.55 o 14146 537.29/529.56 o 14140 537.29/529.56 o 14138 537.90/530.16 o 14134 537.90/530.16 o 14133 537.90/530.18 o 14128 537.90/530.18 o 14127 538.09/530.37 o 14126 538.09/530.38 o 14117 538.09/530.38 o 14115 538.29/530.51 o 14113 538.29/530.51 o 14103 538.29/530.51 o 14101 538.29/530.52 o 14092 538.29/530.52 o 14090 538.29/530.53 o 14086 538.29/530.53 o 14084 538.29/530.58 o 14071 538.39/530.60 o 14069 538.39/530.66 o 14067 538.49/530.78 o 14066 538.59/530.80 o 14061 538.59/530.81 o 14050 538.59/530.82 o 14048 538.69/530.91 o 14047 538.80/531.07 o 14045 538.99/531.26 o 14002 538.99/531.27 o 13988 538.99/531.27 o 13983 538.99/531.28 o 13981 539.09/531.30 o 13978 539.09/531.30 o 13976 539.09/531.31 o 13973 539.09/531.31 o 13971 539.09/531.32 o 13969 539.09/531.33 o 13960 539.09/531.34 o 13958 539.19/531.44 o 13955 539.19/531.45 o 13953 539.19/531.49 o 13951 539.29/531.51 o 13949 539.29/531.52 o 13947 539.29/531.54 o 13944 539.29/531.54 o 13943 539.29/531.54 o 13939 539.29/531.54 o 13937 539.29/531.55 o 13936 539.29/531.55 o 13934 540.94/533.19 o 13932 540.94/533.19 o 13930 544.03/536.26 o 13926 551.64/543.83 o 13925 551.64/543.90 o 13922 551.64/543.90 o 13921 551.74/543.90 o 13920 551.74/543.90 o 13919 551.85/544.05 o 13906 551.85/544.06 o 13883 551.85/544.06 o 13882 551.85/544.08 o 13876 551.85/544.09 o 13875 551.95/544.13 o 13873 551.95/544.13 o 13871 551.95/544.15 o 13870 551.95/544.18 o 13862 551.95/544.18 o 13855 551.95/544.19 o 13844 552.24/544.45 o 13841 552.24/544.46 o 13830 552.34/544.51 o 13829 552.34/544.52 o 13828 552.85/545.09 o 13822 553.54/545.73 o 13820 553.54/545.73 o 13813 553.54/545.73 o 13807 553.54/545.79 o 13803 553.54/545.79 o 13801 553.64/545.81 o 13797 553.64/545.81 o 13796 553.64/545.81 o 13795 554.24/546.48 o 13789 554.74/546.92 o 13781 554.74/546.94 o 13778 554.85/547.03 o 13776 554.85/547.07 o 13753 554.85/547.07 o 13747 554.85/547.07 o 13746 567.98/560.14 o 13742 567.98/560.15 o 13737 567.98/560.15 o 13736 567.98/560.15 o 13735 567.98/560.15 o 13731 567.98/560.16 o 13729 567.98/560.16 o 13724 567.98/560.16 o 13722 567.98/560.16 o 13718 567.98/560.16 o 13715 567.98/560.17 o 13714 567.98/560.17 o 13713 567.98/560.18 o 13711 567.98/560.18 o 13697 567.98/560.18 o 13695 567.98/560.18 o 13692 567.98/560.18 o 13689 567.98/560.18 o 13684 567.98/560.19 o 13675 568.17/560.40 o 13672 568.17/560.40 o 13670 579.80/571.91 o 13663 579.80/571.91 o 13661 579.80/571.92 o 13660 579.80/571.92 o 13656 579.80/571.92 o 13654 579.80/571.93 o 13653 579.80/571.93 o 13652 579.80/571.93 o 13650 579.80/571.93 o 13618 579.80/571.94 o 13616 579.80/571.94 o 13613 579.80/571.94 o 13611 579.80/571.95 o 13590 579.80/571.95 o 13588 579.80/571.95 o 13573 579.80/571.95 o 13569 579.80/571.95 o 13567 582.12/574.29 o 13564 582.12/574.29 o 13561 582.12/574.29 o 13555 582.12/574.29 o 13553 582.22/574.31 o 13551 582.22/574.31 o 13549 582.22/574.31 o 13544 582.52/574.68 o 13540 582.62/574.70 o 13535 583.52/575.66 o 13531 583.52/575.66 o 13518 583.72/575.81 o 13515 583.72/575.81 o 13511 583.82/575.98 o 13509 583.82/575.98 o 13506 583.93/576.06 o 13503 586.03/578.15 o 13502 586.03/578.15 o 13499 586.03/578.17 o 13496 586.72/578.85 o 13494 586.82/578.95 o 13491 587.03/579.19 o 13490 587.32/579.49 o 13489 587.32/579.49 o 13486 587.72/579.89 o 13483 587.72/579.89 o 13482 587.72/579.89 o 13480 587.72/579.89 o 13476 587.72/579.89 o 13467 587.72/579.89 o 13465 587.93/580.02 o 13462 587.93/580.03 o 13448 590.03/582.14 o 13446 592.85/584.99 o 13332 592.85/584.99 o 13309 592.85/585.00 o 13276 592.96/585.01 o 13270 592.96/585.08 o 13263 593.06/585.16 o 13245 593.06/585.18 o 13243 593.15/585.20 o 13226 593.15/585.22 o 13224 593.15/585.28 o 13220 593.55/585.61 o 13218 593.96/586.09 o 13215 593.96/586.10 o 13214 593.96/586.10 o 13212 594.06/586.14 o 13207 594.06/586.16 o 13193 594.06/586.16 o 13190 594.06/586.16 o 13183 596.55/588.60 o 13181 596.55/588.61 o 13174 596.55/588.61 o 13158 597.85/589.93 o 13156 597.96/590.05 o 13155 599.25/591.31 o 13154 599.25/591.31 o 13153 599.25/591.35 o 13150 599.25/591.35 o 13147 599.25/591.35 o 13143 599.25/591.35 o 13139 599.25/591.35 o 13138 600.35/592.40 o 13133 600.35/592.40 o 13132 600.35/592.40 o 13129 600.35/592.41 o 13125 600.35/592.41 o 13123 600.35/592.41 o 13122 600.35/592.41 o 13112 600.35/592.42 o 13110 600.55/592.60 o 13107 601.15/593.22 o 13096 602.25/594.31 o 13095 602.25/594.31 o 13093 602.25/594.32 o 13091 602.25/594.32 o 13089 602.25/594.32 o 13087 602.35/594.40 o 13078 602.35/594.43 o 13076 609.18/601.25 o 13075 609.18/601.25 o 13070 609.18/601.27 o 13069 609.29/601.39 o 13062 609.49/601.58 o 13052 609.59/601.67 o 13042 609.69/601.70 o 13041 610.39/602.44 o 13038 610.39/602.44 o 13036 610.39/602.46 o 13035 610.39/602.47 o 13021 610.39/602.47 o 13019 610.39/602.49 o 13017 610.39/602.49 o 13016 610.89/602.91 o 13012 610.89/602.91 o 13009 610.89/602.97 o 13004 610.89/602.97 o 13001 610.89/602.98 o 12999 611.49/603.52 o 12994 611.49/603.52 o 12993 611.49/603.52 o 12991 611.69/603.70 o 12990 611.69/603.70 o 12976 611.69/603.72 o 12969 611.79/603.85 o 12961 611.89/603.96 o 12956 611.89/603.97 o 12954 611.89/603.97 o 12953 611.89/603.97 o 12952 611.89/603.97 o 12948 611.89/603.97 o 12947 612.48/604.55 o 12941 612.68/604.74 o 12939 612.78/604.85 o 12935 612.89/604.92 o 12934 614.90/606.98 o 12924 614.90/606.98 o 12921 614.90/606.99 o 12920 616.71/608.78 o 12891 616.71/608.78 o 12873 616.71/608.78 o 12872 616.71/608.78 o 12866 616.71/608.78 o 12862 616.71/608.79 o 12860 616.71/608.79 o 12856 616.81/608.82 o 12852 616.81/608.83 o 12850 616.81/608.83 o 12848 616.81/608.85 o 12847 616.81/608.85 o 12846 616.81/608.85 o 12842 616.81/608.85 o 12841 616.81/608.85 o 12840 616.81/608.85 o 12837 616.81/608.85 o 12830 616.91/608.94 o 12829 616.91/608.94 o 12828 617.12/609.16 o 12827 617.12/609.16 o 12819 617.12/609.17 o 12818 617.12/609.18 o 12817 619.71/611.70 o 12814 619.71/611.70 o 12811 619.71/611.70 o 12810 619.71/611.71 o 12808 619.71/611.71 o 12807 619.71/611.71 o 12796 619.71/611.71 o 12795 619.71/611.71 o 12793 619.71/611.71 o 12792 621.03/613.08 o 12791 621.22/613.24 o 12790 621.62/613.64 o 12786 623.52/615.56 o 12781 623.52/615.56 o 12777 623.52/615.57 o 12774 623.52/615.57 o 12770 623.52/615.57 o 12766 623.52/615.57 o 12763 623.52/615.58 o 12762 623.52/615.58 o 12757 623.52/615.58 o 12753 623.52/615.58 o 12750 623.52/615.58 o 12743 623.52/615.58 o 12741 623.52/615.59 o 12740 623.52/615.59 o 12739 623.52/615.59 o 12734 623.52/615.59 o 12731 623.52/615.59 o 12730 623.52/615.59 o 12725 623.52/615.59 o 12718 623.52/615.60 o 12696 625.24/617.26 o 12695 625.24/617.26 o 12689 625.24/617.26 o 12687 625.24/617.27 o 12680 625.24/617.29 o 12677 625.34/617.31 o 12667 625.34/617.32 o 12665 625.54/617.56 o 12661 626.54/618.56 o 12650 626.54/618.57 o 12639 627.24/619.23 o 12636 1123.20/1112.86 o 12632 1123.20/1112.87 o 12620 1123.30/1112.94 o 12619 1123.40/1113.06 o 12617 1123.40/1113.07 o 12608 1123.40/1113.08 o 12607 1123.40/1113.08 o 12606 1123.40/1113.10 o 12603 1123.40/1113.10 o 12599 1123.50/1113.11 o 12596 1123.50/1113.11 o 12584 1123.50/1113.13 o 12583 1123.50/1113.16 o 12582 1124.52/1114.17 o 12581 1124.52/1114.17 o 12579 1124.61/1114.21 o 12573 1124.61/1114.21 o 12571 1130.75/1120.34 o 12570 1154.82/1144.21 o 12564 1171.42/1160.79 o 12563 1223.57/1212.55 o 12562 1227.20/1216.15 o 12560 1227.50/1216.47 o 12558 1227.50/1216.49 o 12551 1227.60/1216.50 o 12549 1240.40/1229.27 o 12548 1251.07/1239.81 o 12545 1264.83/1253.49 o 12544 1264.83/1253.49 o 12542 1264.93/1253.50 o 12541 1264.93/1253.50 o 12537 1264.93/1253.50 o 12528 1264.93/1253.50 o 12524 1265.33/1253.99 o 12523 1265.44/1254.03 o 12519 1265.74/1254.32 o 12512 1265.74/1254.34 o 12506 1265.74/1254.35 o 12486 1265.74/1254.39 o 12473 1265.84/1254.40 o 12469 1266.24/1254.86 o 12468 1266.24/1254.87 o 12465 1266.24/1254.87 o 12464 1266.24/1254.87 o 12462 1266.24/1254.88 o 12460 1267.69/1256.23 o 12454 1267.89/1256.48 o 12453 1267.89/1256.48 o 12447 1277.18/1265.55 o 12446 1277.18/1265.55 o 12445 1277.38/1265.74 o 12439 1277.38/1265.76 o 12438 1277.48/1265.80 o 12436 1277.48/1265.80 o 12433 1277.48/1265.80 o 12432 1277.48/1265.80 o 12431 1277.60/1265.92 o 12429 1277.60/1265.93 o 12424 1282.77/1271.11 o 12415 1282.88/1271.11 o 12409 1282.88/1271.11 o 12401 1282.88/1271.12 o 12398 1282.88/1271.13 o 12390 1282.88/1271.13 o 12389 1282.97/1271.26 o 12387 1282.97/1271.26 o 12386 1282.97/1271.26 o 12376 1282.97/1271.26 o 12375 1283.07/1271.31 o 12363 1283.07/1271.31 o 12362 1283.39/1271.68 o 12360 1283.39/1271.68 o 12359 1283.39/1271.68 o 12357 1284.71/1272.98 o 12354 1284.71/1272.99 o 12344 1284.71/1273.00 o 12340 1310.44/1298.27 o 12337 1310.57/1298.38 o 12336 1314.60/1302.36 o 12335 1314.70/1302.42 o 12333 1315.42/1303.15 o 12332 1316.12/1303.88 o 12330 1316.43/1304.18 o 12326 1316.43/1304.19 o 12324 1316.52/1304.21 o 12323 1316.82/1304.54 o 12317 1317.23/1304.97 o 12302 1317.44/1305.17 o 12301 1317.44/1305.17 o 12294 1317.63/1305.40 o 12293 1318.55/1306.29 o 12289 1319.18/1306.85 o 12281 1319.18/1306.86 o 12277 1321.13/1308.75 o 12276 1322.97/1310.51 o 12267 1322.97/1310.52 o 12265 1322.97/1310.52 o 12263 1322.97/1310.52 o 12256 1322.97/1310.52 o 12250 1322.97/1310.52 o 12248 1322.97/1310.52 o 12242 1322.97/1310.53 o 12236 1322.97/1310.53 o 12234 1322.97/1310.53 o 12214 1322.97/1310.55 o 12211 1322.97/1310.55 o 12197 1323.20/1310.77 o 12193 1324.23/1311.71 o 12189 1324.33/1311.86 o 12184 1325.98/1313.42 o 12183 1325.98/1313.42 o 12179 1343.81/1330.91 o 12141 1343.81/1330.91 o 12138 1343.81/1330.91 o 12132 1343.81/1330.91 o 12116 1343.81/1330.91 o 12107 1343.81/1330.92 o 12100 1343.81/1330.97 o 12096 1343.92/1331.01 o 12094 1343.92/1331.01 o 12090 1344.11/1331.22 o 12089 1344.11/1331.29 o 12083 1346.86/1333.92 o 12082 1346.86/1333.94 o 12080 1349.38/1336.41 o 12077 1351.04/1338.10 o 12072 1351.45/1338.40 o 12069 1351.75/1338.72 o 12063 1351.97/1338.99 o 12057 1351.97/1339.00 o 12044 1354.12/1341.05 o 12029 1354.12/1341.05 o 12024 1354.12/1341.06 o 12019 1354.12/1341.06 o 12012 1354.12/1341.06 o 12007 1354.12/1341.06 o 12002 1354.12/1341.06 o 12000 1354.12/1341.06 o 11976 1354.12/1341.06 o 11971 1354.22/1341.12 o 11968 1354.22/1341.12 o 11963 1354.31/1341.29 o 11955 1354.31/1341.29 o 11949 1354.44/1341.30 o 11943 1354.44/1341.32 o 11940 1354.44/1341.34 o 11934 1354.44/1341.34 o 11929 1354.64/1341.51 o 11928 1355.66/1342.58 o 11923 1355.76/1342.65 o 11919 1355.86/1342.72 o 11913 1359.25/1346.05 o 11908 1359.25/1346.05 o 11902 1359.25/1346.05 o 11890 1359.44/1346.21 o 11886 1361.19/1347.97 o 11880 1361.41/1348.12 o 11878 1364.90/1351.58 o 11873 1364.90/1351.59 o 11869 1365.92/1352.52 o 11867 1365.92/1352.52 o 11861 1367.13/1353.70 o 11850 1367.13/1353.71 o 11849 1367.13/1353.71 o 11846 1367.13/1353.72 o 11843 1367.13/1353.73 o 11838 1367.23/1353.82 o 11830 1367.23/1353.83 o 11823 1367.23/1353.84 o 11818 1367.66/1354.27 o 11754 1367.66/1354.28 o 11733 1367.66/1354.28 o 11727 1367.66/1354.28 o 11716 1367.66/1354.28 o 11681 1367.66/1354.29 o 11659 1367.66/1354.30 o 11653 1367.76/1354.31 o 11647 1367.76/1354.31 o 11644 1367.76/1354.31 o 11642 1367.76/1354.31 o 11641 1367.76/1354.32 o 11636 1367.76/1354.33 o 11635 1367.76/1354.35 o 11630 1367.86/1354.40 o 11621 1367.86/1354.41 o 11616 1367.86/1354.46 o 11615 1367.96/1354.55 o 11610 1368.48/1355.01 o 11592 1368.48/1355.01 o 11505 1368.48/1355.01 o 11476 1368.48/1355.01 o 11433 1368.48/1355.01 o 11429 1368.48/1355.01 o 11428 1368.48/1355.01 o 11424 1368.48/1355.01 o 11403 1368.48/1355.02 o 11310 1368.48/1355.03 o 11258 1368.48/1355.03 o 11213 1368.48/1355.04 o 11207 1368.48/1355.06 o 11205 1368.48/1355.06 o 11204 1368.48/1355.06 o 11202 1368.48/1355.06 o 11197 1369.27/1355.85 o 11196 1369.27/1355.85 o 11190 1369.79/1356.31 o 11179 1369.79/1356.31 o 11173 1369.79/1356.31 o 11138 1369.79/1356.31 o 11132 1369.79/1356.31 o 11127 1369.79/1356.31 o 11121 1369.79/1356.31 o 11120 1369.79/1356.31 o 11119 1369.79/1356.31 o 11116 1369.79/1356.31 o 11109 1369.79/1356.32 o 11105 1369.79/1356.32 o 11094 1369.79/1356.32 o 11093 1369.79/1356.32 o 11091 1369.79/1356.32 o 11089 1369.79/1356.32 o 11082 1369.79/1356.34 o 11076 1369.79/1356.34 o 11073 1369.79/1356.35 o 11063 1374.41/1360.87 o 11058 1374.41/1360.87 o 11048 1374.41/1360.87 o 11042 1374.41/1360.87 o 11030 1374.41/1360.88 o 11005 1374.41/1360.88 o 10993 1374.51/1360.90 o 10987 1374.51/1360.91 o 10952 1374.91/1361.36 o 10942 1380.76/1367.07 o 10937 1380.76/1367.07 o 10904 1380.76/1367.07 o 10889 1380.76/1367.07 o 10888 1380.76/1367.07 o 10864 1380.76/1367.07 o 10852 1380.76/1367.07 o 10842 1380.76/1367.08 o 10836 1380.76/1367.09 o 10832 1380.76/1367.09 o 10829 1380.76/1367.10 o 10821 1380.76/1367.10 o 10815 1380.76/1367.10 o 10810 1381.15/1367.40 o 10804 1381.15/1367.41 o 10796 1382.39/1368.60 o 10794 1382.80/1369.03 o 10793 1382.80/1369.06 o 10772 1385.17/1371.39 o 10767 1385.17/1371.40 o 10762 1385.27/1371.40 o 10760 1394.47/1380.45 o 10755 1394.47/1380.45 o 10752 1394.47/1380.47 o 10751 1395.10/1381.02 o 10745 1395.10/1381.04 o 10740 1395.20/1381.13 o 10729 1395.20/1381.15 o 10728 1399.47/1385.38 o 10721 1400.00/1385.83 o 10717 1409.74/1395.33 o 10713 1409.74/1395.33 o 10712 1411.78/1397.33 o 10710 1413.19/1398.76 o 10705 1447.03/1432.07 o 10702 1447.62/1432.65 o 10695 1457.03/1441.92 o 10689 1457.24/1442.15 o 10687 1457.24/1442.16 o 10682 1457.33/1442.29 o 10677 1457.43/1442.31 o 10676 1457.43/1442.39 o 10667 1459.07/1444.00 o 10662 1459.40/1444.22 o 10661 1459.40/1444.25 o 10653 1459.40/1444.25 o 10648 1467.10/1451.76 o 10647 1467.20/1451.83 o 10645 1467.20/1451.83 o 10642 1467.20/1451.83 o 10635 1467.20/1451.87 o 10628 1467.20/1451.87 o 10623 1467.20/1451.87 o 10619 1467.20/1451.87 o 10615 1467.20/1451.88 o 10611 1467.20/1451.88 o 10610 1467.20/1451.88 o 10599 1467.20/1451.88 o 10588 1467.20/1451.88 o 10587 1467.20/1451.88 o 10584 1467.20/1451.88 o 10582 1467.20/1451.88 o 10577 1467.20/1451.88 o 10575 1467.20/1451.88 o 10568 1467.20/1451.88 o 10567 1467.20/1451.88 o 10561 1467.20/1451.88 o 10560 1467.20/1451.88 o 10548 1467.20/1451.88 o 10544 1467.20/1451.89 o 10541 1467.20/1451.89 o 10536 1467.30/1451.90 o 10531 1467.30/1451.96 o 10530 1467.30/1451.96 o 10525 1520.53/1504.35 o 10523 1558.32/1541.63 o 10521 1558.42/1541.71 o 10519 1562.65/1545.92 o 10517 1563.77/1547.01 o 10515 1563.77/1547.01 o 10513 1566.27/1549.57 o 10512 1566.67/1549.99 o 10509 1567.39/1550.67 o 10506 1567.39/1550.68 o 10493 1567.39/1550.68 o 10488 1567.59/1550.82 o 10486 1567.59/1550.82 o 10481 1568.01/1551.22 o 10478 1568.01/1551.22 o 10474 1568.01/1551.22 o 10472 1570.66/1553.85 o 10461 1570.76/1553.95 o 10459 1571.38/1554.51 o 10457 1571.38/1554.58 o 10455 1572.40/1555.52 o 10452 1572.91/1556.06 o 10446 1572.91/1556.08 o 10442 1573.22/1556.39 o 10438 1573.22/1556.39 o 10400 1573.22/1556.39 o 10397 1573.52/1556.63 o 10396 1573.52/1556.66 o 10393 1573.72/1556.87 o 10390 1573.72/1556.89 o 10380 1573.72/1556.89 o 10377 1574.05/1557.17 o 10375 1574.14/1557.20 o 10351 1574.14/1557.20 o 10348 1574.24/1557.31 o 10347 1574.24/1557.31 o 10344 1574.87/1557.90 o 10337 1574.87/1557.90 o 10334 1575.17/1558.28 o 10313 1575.17/1558.28 o 10277 1575.17/1558.28 o 10264 1575.17/1558.29 o 10242 1575.27/1558.30 o 10240 1575.27/1558.31 o 10227 1575.27/1558.31 o 10225 1575.27/1558.31 o 10220 1575.27/1558.32 o 10206 1575.27/1558.32 o 10193 1575.27/1558.33 o 10179 1575.27/1558.33 o 10155 1575.27/1558.35 o 10142 1575.37/1558.46 o 10139 1575.68/1558.74 o 10136 1575.88/1558.90 o 10132 1615.38/1597.90 o 10075 1615.38/1597.90 o 10074 1615.38/1597.90 o 10072 1615.38/1597.90 o 10071 1615.38/1597.90 o 10070 1615.38/1597.90 o 10057 1615.38/1597.90 o 10056 1615.38/1597.90 o 10054 1615.38/1597.90 o 10042 1615.38/1597.90 o 10039 1615.38/1597.90 o 10038 1615.38/1597.91 o 10021 1615.38/1597.91 o 10018 1615.38/1597.92 o 10017 1615.38/1597.95 o 10012 1615.38/1597.95 o 10011 1615.38/1597.97 o 10010 1615.38/1597.97 o 10009 1615.38/1597.98 o 10000 1615.38/1597.98 o 9997 1615.38/1597.98 o 9987 1615.38/1597.98 o 9984 1615.49/1598.03 o 9978 1615.79/1598.30 o 9977 1615.79/1598.30 o 9971 1615.79/1598.30 o 9970 1615.79/1598.35 o 9954 1615.79/1598.35 o 9953 1615.99/1598.52 o 9946 1615.99/1598.52 o 9945 1617.70/1600.26 o 9943 1617.70/1600.28 o 9936 1617.80/1600.37 o 9935 1617.90/1600.47 o 9932 1618.52/1601.07 o 9929 1618.52/1601.07 o 9928 1618.52/1601.08 o 9927 1618.62/1601.14 o 9923 1618.62/1601.14 o 9922 1618.62/1601.16 o 9921 1620.13/1602.61 o 9919 1620.96/1603.49 o 9918 1712.98/1694.54 o 9882 1712.98/1694.54 o 9874 1712.98/1694.54 o 9868 1712.98/1694.55 o 9864 1712.98/1694.55 o 9851 1712.98/1694.55 o 9847 1712.98/1694.56 o 9844 1712.98/1694.56 o 9839 1712.98/1694.58 o 9836 1712.98/1694.59 o 9834 1713.08/1694.61 o 9828 1713.08/1694.69 o 9824 1713.18/1694.71 o 9823 1713.18/1694.76 o 9820 1713.28/1694.87 o 9816 1713.38/1694.90 o 9814 1713.38/1694.90 o 9813 1713.38/1694.90 o 9812 1713.38/1694.91 o 9800 1713.38/1694.91 o 9799 1713.69/1695.29 o 9796 1713.79/1695.36 o 9791 1713.79/1695.36 o 9790 1713.79/1695.39 o 9788 1713.79/1695.39 o 9783 1716.71/1698.22 o 9778 1716.91/1698.40 o 9777 1716.91/1698.46 o 9776 1716.91/1698.48 o 9769 1717.71/1699.25 o 9763 1718.82/1700.33 o 9761 1718.82/1700.34 o 9754 1718.92/1700.42 o 9753 1719.02/1700.57 o 9741 1719.02/1700.58 o 9739 1719.14/1700.60 o 9736 1719.84/1701.34 o 9731 1719.84/1701.38 o 9730 1719.95/1701.41 o 9728 1719.95/1701.41 o 9726 1719.95/1701.41 o 9720 1719.95/1701.43 o 9717 1720.05/1701.53 o 9716 1720.25/1701.72 o 9712 1720.25/1701.75 o 9705 1720.25/1701.75 o 9699 1720.25/1701.76 o 9695 1720.45/1701.90 o 9693 1721.49/1702.95 o 9690 1721.49/1702.95 o 9686 1721.49/1702.95 o 9683 1721.49/1702.96 o 9670 1721.49/1702.98 o 9661 1721.49/1702.99 o 9647 1722.81/1704.25 o 9646 1740.44/1721.56 o 9644 1740.44/1721.56 o 9643 1740.44/1721.56 o 9642 1740.64/1721.79 o 9636 1740.64/1721.79 o 9634 1740.74/1721.80 o 9633 1740.74/1721.81 o 9631 1740.84/1721.97 o 9629 1750.04/1730.91 o 9568 1750.04/1730.91 o 9558 1750.04/1730.91 o 9556 1750.04/1730.91 o 9554 1750.04/1730.92 o 9544 1750.04/1730.92 o 9540 1750.04/1730.92 o 9538 1750.04/1730.92 o 9534 1750.04/1730.93 o 9533 1750.04/1730.93 o 9531 1750.04/1730.93 o 9528 1750.04/1730.93 o 9521 1750.04/1730.93 o 9517 1750.04/1730.97 o 9516 1750.15/1731.01 o 9500 1750.15/1731.01 o 9499 1750.15/1731.07 o 9496 1750.15/1731.07 o 9491 1750.15/1731.07 o 9489 1750.25/1731.19 o 9485 1750.25/1731.19 o 9483 1750.34/1731.21 o 9481 1750.34/1731.21 o 9479 1750.34/1731.25 o 9477 1750.64/1731.53 o 9475 1751.87/1732.72 o 9471 1751.97/1732.83 o 9461 1751.97/1732.84 o 9460 1752.28/1733.11 o 9459 1752.28/1733.14 o 9449 1752.28/1733.14 o 9448 1752.57/1733.49 o 9447 1752.57/1733.49 o 9446 1754.40/1735.23 o 9400 1754.40/1735.23 o 9399 1754.40/1735.23 o 9396 1754.40/1735.23 o 9395 1754.40/1735.23 o 9373 1754.40/1735.23 o 9372 1754.40/1735.23 o 9366 1754.40/1735.24 o 9353 1754.40/1735.24 o 9352 1754.40/1735.24 o 9346 1754.40/1735.24 o 9345 1754.40/1735.26 o 9327 1754.50/1735.36 o 9323 1757.46/1738.28 o 9319 1757.59/1738.30 o 9315 1757.59/1738.30 o 9311 1759.35/1739.93 o 9310 1759.35/1739.93 o 9298 1762.11/1742.66 o 9295 1762.11/1742.66 o 9290 1762.11/1742.66 o 9268 1762.11/1742.66 o 9258 1762.11/1742.68 o 9240 1762.11/1742.68 o 9230 1762.11/1742.69 o 9226 1762.23/1742.71 o 9225 1762.23/1742.71 o 9221 1762.23/1742.79 o 9220 1762.33/1742.80 o 9219 1762.33/1742.80 o 9215 1762.43/1742.98 o 9211 1762.54/1743.01 o 9210 1762.54/1743.01 o 9206 1762.73/1743.23 o 9205 1762.73/1743.23 o 9201 1763.56/1744.03 o 9198 1764.17/1744.63 o 9196 1764.79/1745.26 o 9192 1764.99/1745.40 o 9191 1764.99/1745.40 o 9182 1764.99/1745.40 o 9177 1768.18/1748.58 o 9171 1769.92/1750.23 o 9170 1769.92/1750.23 o 9166 1770.42/1750.77 o 9165 1770.42/1750.77 o 9157 1770.95/1751.21 o 9153 1770.95/1751.21 o 9151 1773.31/1753.55 o 9148 1773.31/1753.55 o 9145 1773.31/1753.55 o 9139 1773.31/1753.55 o 9138 1773.31/1753.55 o 9137 1773.31/1753.57 o 9134 1773.31/1753.57 o 9133 1773.31/1753.57 o 9132 1773.31/1753.58 o 9130 1773.31/1753.58 o 9128 1774.31/1754.53 o 9119 1774.31/1754.54 o 9109 1774.31/1754.55 o 9096 1774.31/1754.56 o 9087 1774.31/1754.56 o 9082 1774.31/1754.56 o 9080 1774.31/1754.58 o 9078 1774.31/1754.58 o 9076 1774.31/1754.58 o 9074 1774.84/1755.04 o 9066 1774.84/1755.04 o 9054 1774.84/1755.09 o 9050 1777.31/1757.48 o 9049 1779.13/1759.21 o 9045 1779.13/1759.22 o 9044 1779.13/1759.25 o 9033 1779.13/1759.25 o 9032 1779.23/1759.32 o 9026 1779.23/1759.32 o 9015 1779.23/1759.32 o 9014 1779.23/1759.32 o 9001 1779.23/1759.32 o 8998 1779.23/1759.32 o 8995 1779.23/1759.32 o 8993 1779.23/1759.32 o 8989 1779.23/1759.32 o 8981 1779.23/1759.32 o 8979 1779.23/1759.32 o 8974 1779.23/1759.32 o 8973 1779.23/1759.33 o 8972 1779.23/1759.33 o 8965 1779.23/1759.33 o 8960 1779.23/1759.34 o 8959 1779.23/1759.35 o 8952 1779.23/1759.35 o 8950 1779.23/1759.36 o 8944 1779.23/1759.36 o 8936 1779.23/1759.38 o 8928 1779.23/1759.39 o 8917 1779.35/1759.40 o 8913 1779.35/1759.41 o 8910 1779.35/1759.42 o 8904 1779.35/1759.43 o 8903 1779.35/1759.44 o 8901 1779.35/1759.44 o 8889 1779.35/1759.46 o 8884 1779.35/1759.48 o 8882 1779.35/1759.48 o 8880 1779.35/1759.48 o 8878 1779.55/1759.61 o 8874 1779.55/1759.61 o 8872 1779.75/1759.81 o 8871 1779.75/1759.81 o 8870 1779.75/1759.89 o 8862 1779.96/1760.08 o 8858 1780.27/1760.37 o 8853 1782.61/1762.61 o 8852 1782.61/1762.61 o 8851 1870.40/1849.53 o 8848 1870.40/1849.53 o 8845 1870.50/1849.63 o 8843 1874.63/1853.73 o 8840 1874.63/1853.73 o 8838 1875.04/1854.14 o 8835 1875.04/1854.14 o 8832 1875.04/1854.14 o 8830 1889.59/1868.51 o 8818 1889.59/1868.52 o 8815 1889.79/1868.70 o 8803 1889.79/1868.72 o 8798 1889.79/1868.72 o 8791 1893.04/1871.95 o 8787 1893.04/1871.95 o 8784 1893.04/1871.95 o 8780 1893.15/1872.06 o 8773 1893.15/1872.06 o 8771 1893.15/1872.06 o 8769 1893.15/1872.06 o 8767 1893.15/1872.06 o 8766 1893.15/1872.06 o 8750 1893.15/1872.06 o 8748 1893.15/1872.07 o 8744 1893.15/1872.07 o 8742 1893.15/1872.10 o 8740 1893.15/1872.10 o 8738 1893.15/1872.10 o 8716 1893.15/1872.10 o 8714 1893.34/1872.24 o 8710 1893.34/1872.24 o 8708 1893.34/1872.26 o 8706 1893.34/1872.27 o 8704 2038.50/2016.11 o 8703 2038.60/2016.11 o 8701 2038.60/2016.11 o 8699 2066.73/2044.04 o 8698 2066.73/2044.04 o 8696 2067.22/2044.52 o 8693 2067.22/2044.52 o 8685 2067.22/2044.52 o 8679 2070.29/2047.53 o 8678 2087.98/2064.74 o 8677 2087.98/2064.74 o 8675 2087.98/2064.74 o 8674 2087.98/2064.74 o 8672 2087.98/2064.74 o 8634 2087.98/2064.74 o 8633 2087.98/2064.74 o 8631 2087.98/2064.74 o 8624 2087.98/2064.74 o 8621 2087.98/2064.75 o 8613 2087.98/2064.75 o 8610 2087.98/2064.75 o 8593 2087.98/2064.76 o 8590 2087.98/2064.76 o 8589 2087.98/2064.77 o 8581 2087.98/2064.78 o 8579 2087.98/2064.79 o 8571 2088.08/2064.80 o 8567 2088.08/2064.81 o 8564 2088.08/2064.81 o 8557 2088.18/2064.90 o 8556 2088.18/2064.90 o 8548 2088.29/2065.01 o 8545 2088.29/2065.02 o 8538 2088.29/2065.08 o 8535 2088.29/2065.09 o 8531 2089.81/2066.51 o 8521 2089.81/2066.52 o 8517 2093.83/2070.52 o 8516 2093.93/2070.64 o 8515 2093.93/2070.64 o 8506 2093.93/2070.67 o 8505 2094.03/2070.75 o 8502 2094.03/2070.75 o 8499 2094.03/2070.75 o 8495 2094.03/2070.75 o 8491 2094.03/2070.75 o 8487 2094.03/2070.75 o 8483 2094.03/2070.75 o 8480 2094.03/2070.75 o 8476 2094.54/2071.24 o 8474 2094.54/2071.26 o 8471 2094.74/2071.47 o 8464 2094.84/2071.53 o 8462 2095.04/2071.70 o 8459 2112.34/2088.73 o 8458 2112.34/2088.73 o 8453 2112.34/2088.73 o 8437 2112.85/2089.20 o 8435 2112.85/2089.20 o 8429 2112.85/2089.20 o 8428 2145.74/2121.62 o 8422 2145.74/2121.62 o 8412 2145.74/2121.65 o 8409 2145.84/2121.78 o 8408 2145.84/2121.78 o 8406 2145.84/2121.79 o 8405 2145.84/2121.79 o 8400 2145.84/2121.79 o 8399 2147.35/2123.27 o 8396 2147.35/2123.29 o 8391 2147.45/2123.30 o 8388 2147.55/2123.43 o 8375 2147.55/2123.44 o 8373 2147.55/2123.47 o 8369 2147.55/2123.48 o 8366 2147.66/2123.56 o 8365 2147.66/2123.58 o 8364 2147.86/2123.76 o 8362 2147.86/2123.76 o 8359 2147.96/2123.87 o 8358 2150.40/2126.25 o 8356 2151.71/2127.52 o 8354 2151.71/2127.55 o 8353 2151.71/2127.55 o 8351 2151.71/2127.55 o 8350 2154.08/2129.87 o 8349 2154.08/2129.87 o 8347 2154.08/2129.87 o 8344 2154.08/2129.88 o 8341 2154.08/2129.88 o 8337 2154.08/2129.88 o 8335 2154.08/2129.89 o 8323 2154.08/2129.89 o 8320 2154.18/2129.91 o 8319 2154.18/2129.91 o 8318 2154.18/2129.91 o 8311 2154.18/2129.91 o 8308 2154.18/2129.91 o 8299 2154.18/2129.93 o 8291 2154.18/2129.93 o 8288 2154.31/2130.02 o 8286 2154.31/2130.03 o 8280 2154.31/2130.03 o 8277 2155.22/2130.99 o 8274 2155.22/2130.99 o 8272 2520.06/2492.40 s SATISFIABLE 2520.06/2492.40 v <instantiation> 2520.06/2492.40 v <list> 2520.06/2492.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] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249] 2520.06/2492.40 v </list> 2520.06/2492.40 v <values> 2520.06/2492.40 v 12 7 15 2 44 215 246 21 12 13 7 31 30 27 68 1 8 3 32 21 2 6 35 23 6 5 6 0 27 3 20 1 21 5 1 202 33 6 7 22 43 15 4 11 33 18 53 14 134 9 19 7 55 18 1 46 31 5 32 43 5 181 45 21 29 18 3 17 173 33 126 45 82 64 11 13 15 20 9 10 15 154 14 123 14 13 20 26 11 20 7 6 17 19 16 26 29 51 25 25 17 133 126 38 5 4 0 5 32 8 34 41 29 4 10 23 0 67 11 10 7 7 18 4 1 30 22 25 0 3 3 2 20 5 228 2 5 16 4 31 28 24 37 11 13 0 15 20 4 15 12 57 24 18 195 49 39 8 18 21 204 23 111 12 9 0 12 1 17 9 3 16 35 115 6 9 4 10 37 32 6 23 19 2 100 238 1 10 14 27 14 28 0 8 69 147 40 26 31 13 41 12 3 1 38 36 90 22 225 25 17 24 3 21 11 2 24 78 48 17 9 23 16 137 28 8 2 10 186 14 2 36 29 8 22 28 24 107 16 26 11 41 9 6 5 19 0 155 14 36 2520.06/2492.40 v </values> 2520.06/2492.40 v </instantiation>
OK 8272
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 (14028 MiB free) memory of node 1: 16384 MiB (9139 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308007-1534283195/watcher-4308007-1534283195 -o /tmp/evaluation-result-4308007-1534283195/solver-4308007-1534283195 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534270696-8642 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1177690248 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308007-1534283195.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=10023, runsolver pid=10020 [startup+0.100163 s]* /proc/loadavg: 1.44 1.37 1.39 3/219 10038 /proc/meminfo: memFree=23707568/32770624 swapFree=67108852/67108860 [pid=10023] ppid=10020 vsize=14082736 memory=30232 CPUtime=0.12 cores=0,2,4,6 /proc/10023/stat : 10023 (java) S 10020 10023 6996 0 -1 1077944320 6495 0 0 0 11 1 0 0 20 0 15 0 245882706 14420721664 7558 33554432000 4194304 4196468 140724911792544 140724911775088 140701079600887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 /proc/10023/statm: 3520684 7558 3149 1 0 3482761 0 [pid=10023/tid=10025] ppid=10020 vsize=14082736 memory=-8773748148830245505 CPUtime=0.08 cores=0,2,4,6 /proc/10023/task/10025/stat : 10025 (java) R 10020 10023 6996 0 -1 4202560 4502 0 0 0 8 0 0 0 20 0 15 0 245882706 14420721664 7558 33554432000 4194304 4196468 140724911792544 140701083801304 140701079622813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10026] ppid=10020 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10026/stat : 10026 (java) S 10020 10023 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 7558 33554432000 4194304 4196468 140724911792544 140701049313552 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10027] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10027/stat : 10027 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700674824592 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10028] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10028/stat : 10028 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700673772048 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10029] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10029/stat : 10029 (java) S 10020 10023 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700672719504 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10030] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10030/stat : 10030 (java) S 10020 10023 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245882708 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700554295792 140701079612034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10031] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10031/stat : 10031 (java) S 10020 10023 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245882709 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700553242016 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10032] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10032/stat : 10032 (java) S 10020 10023 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245882709 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700552189424 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10033] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10033/stat : 10033 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700551138000 140701079619483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10034] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10034/stat : 10034 (java) S 10020 10023 6996 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 245882711 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700550084592 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10035] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10035/stat : 10035 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700549032048 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10036] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0.01 cores=0,2,4,6 /proc/10023/task/10036/stat : 10036 (java) S 10020 10023 6996 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 15 0 245882711 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700547979504 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10037] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10037/stat : 10037 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700546927200 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10038] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10038/stat : 10038 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882712 14420721664 7558 33554432000 4194304 4196468 140724911792544 140700545874736 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 30232 KiB [startup+0.216267 s]* /proc/loadavg: 1.44 1.37 1.39 6/219 10038 /proc/meminfo: memFree=23691800/32770624 swapFree=67108852/67108860 [pid=10023] ppid=10020 vsize=14082736 memory=46824 CPUtime=0.32 cores=0,2,4,6 /proc/10023/stat : 10023 (java) S 10020 10023 6996 0 -1 1077944320 10279 0 0 0 30 2 0 0 20 0 15 0 245882706 14420721664 11706 33554432000 4194304 4196468 140724911792544 140724911775088 140701079600887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 /proc/10023/statm: 3520684 11706 3391 1 0 3482761 0 [pid=10023/tid=10025] ppid=10020 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/10023/task/10025/stat : 10025 (java) R 10020 10023 6996 0 -1 4202560 7851 0 0 0 19 1 0 0 20 0 15 0 245882706 14420721664 11706 33554432000 4194304 4196468 140724911792544 140701083819488 140701079612822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10026] ppid=10020 vsize=14082736 memory=345 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10026/stat : 10026 (java) S 10020 10023 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 11706 33554432000 4194304 4196468 140724911792544 140701049313552 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10027] ppid=10020 vsize=14082736 memory=139665095044439 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10027/stat : 10027 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700674824592 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10028] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10028/stat : 10028 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700673772048 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10029] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10029/stat : 10029 (java) S 10020 10023 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700672719504 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10030] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10030/stat : 10030 (java) S 10020 10023 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245882708 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700554295792 140701079612034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10031] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10031/stat : 10031 (java) S 10020 10023 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245882709 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700553242016 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10032] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10032/stat : 10032 (java) S 10020 10023 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245882709 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700552189424 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10033] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10033/stat : 10033 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700551138000 140701079619483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10034] ppid=10020 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/10023/task/10034/stat : 10034 (java) S 10020 10023 6996 0 -1 1077944384 573 0 0 0 2 0 0 0 20 0 15 0 245882711 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700550084592 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10035] ppid=10020 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/10023/task/10035/stat : 10035 (java) S 10020 10023 6996 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 245882711 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700549032048 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10036] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0.06 cores=0,2,4,6 /proc/10023/task/10036/stat : 10036 (java) R 10020 10023 6996 0 -1 4202560 403 0 0 0 6 0 0 0 20 0 15 0 245882711 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700547975872 140701058226129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10037] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10037/stat : 10037 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700546927200 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10038] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10038/stat : 10038 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882712 14420721664 11706 33554432000 4194304 4196468 140724911792544 140700545874736 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 46824 KiB [startup+0.31068 s]* /proc/loadavg: 1.44 1.37 1.39 3/219 10038 /proc/meminfo: memFree=23688760/32770624 swapFree=67108852/67108860 [pid=10023] ppid=10020 vsize=14082736 memory=49984 CPUtime=0.45 cores=0,2,4,6 /proc/10023/stat : 10023 (java) S 10020 10023 6996 0 -1 1077944320 10656 0 0 0 42 3 0 0 20 0 15 0 245882706 14420721664 12496 33554432000 4194304 4196468 140724911792544 140724911775088 140701079600887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 /proc/10023/statm: 3520684 12496 3394 1 0 3482761 0 [pid=10023/tid=10025] ppid=10020 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6 /proc/10023/task/10025/stat : 10025 (java) R 10020 10023 6996 0 -1 4202560 8176 0 0 0 28 2 0 0 20 0 15 0 245882706 14420721664 12496 33554432000 4194304 4196468 140724911792544 140701083783208 140701063681404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10026] ppid=10020 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10026/stat : 10026 (java) S 10020 10023 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 12496 33554432000 4194304 4196468 140724911792544 140701049313552 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10027] ppid=10020 vsize=14082736 memory=14834870868280984 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10027/stat : 10027 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700674824592 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10028] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10028/stat : 10028 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700673772048 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10029] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10029/stat : 10029 (java) S 10020 10023 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245882707 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700672719504 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10030] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10030/stat : 10030 (java) S 10020 10023 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245882708 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700554295792 140701079612034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10031] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10031/stat : 10031 (java) S 10020 10023 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245882709 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700553242016 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10032] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10032/stat : 10032 (java) S 10020 10023 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245882709 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700552189424 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10033] ppid=10020 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10033/stat : 10033 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700551138000 140701079619483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10034] ppid=10020 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/10023/task/10034/stat : 10034 (java) S 10020 10023 6996 0 -1 1077944384 589 0 0 0 3 0 0 0 20 0 15 0 245882711 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700550084592 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10035] ppid=10020 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/10023/task/10035/stat : 10035 (java) S 10020 10023 6996 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 245882711 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700549032048 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10036] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0.08 cores=0,2,4,6 /proc/10023/task/10036/stat : 10036 (java) S 10020 10023 6996 0 -1 1077944384 436 0 0 0 8 0 0 0 20 0 15 0 245882711 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700547979504 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10037] ppid=10020 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10037/stat : 10037 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700546927200 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10038] ppid=10020 vsize=14082736 memory=139665095034496 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10038/stat : 10038 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882712 14420721664 12496 33554432000 4194304 4196468 140724911792544 140700545874736 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 Current children cumulated CPU time: 0.45 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 49984 KiB [startup+0.700768 s] /proc/loadavg: 1.44 1.37 1.39 3/219 10038 /proc/meminfo: memFree=23664452/32770624 swapFree=67108852/67108860 [pid=10023] ppid=10020 vsize=14084804 memory=87884 CPUtime=0.99 cores=0,2,4,6 /proc/10023/stat : 10023 (java) S 10020 10023 6996 0 -1 1077944320 17398 0 0 0 94 5 0 0 20 0 15 0 245882706 14422839296 21971 33554432000 4194304 4196468 140724911792544 140724911775088 140701079600887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 /proc/10023/statm: 3521201 21971 3489 1 0 3483273 0 [pid=10023/tid=10025] ppid=10020 vsize=14084804 memory=3340 CPUtime=0.67 cores=0,2,4,6 /proc/10023/task/10025/stat : 10025 (java) R 10020 10023 6996 0 -1 4202560 14478 0 0 0 63 4 0 0 20 0 15 0 245882706 14422839296 21971 33554432000 4194304 4196468 140724911792544 140701083825104 140701059783676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10026] ppid=10020 vsize=14084804 memory=1172 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10026/stat : 10026 (java) S 10020 10023 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245882707 14422839296 21971 33554432000 4194304 4196468 140724911792544 140701049313552 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10027] ppid=10020 vsize=14084804 memory=37104 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10027/stat : 10027 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882707 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700674824592 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10028] ppid=10020 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10028/stat : 10028 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882707 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700673772048 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10029] ppid=10020 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10029/stat : 10029 (java) S 10020 10023 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245882707 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700672719504 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10030] ppid=10020 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10030/stat : 10030 (java) S 10020 10023 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245882708 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700554295792 140701079612034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10031] ppid=10020 vsize=14084804 memory=2248 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10031/stat : 10031 (java) S 10020 10023 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245882709 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700553242016 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10032] ppid=10020 vsize=14084804 memory=1568 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10032/stat : 10032 (java) S 10020 10023 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245882709 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700552189424 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10033] ppid=10020 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10033/stat : 10033 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700551138000 140701079619483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10034] ppid=10020 vsize=14084804 memory=7237400421040875609 CPUtime=0.06 cores=0,2,4,6 /proc/10023/task/10034/stat : 10034 (java) S 10020 10023 6996 0 -1 1077944384 722 0 0 0 6 0 0 0 20 0 15 0 245882711 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700550084592 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10035] ppid=10020 vsize=14084804 memory=7523071198212214892 CPUtime=0.08 cores=0,2,4,6 /proc/10023/task/10035/stat : 10035 (java) S 10020 10023 6996 0 -1 1077944384 254 0 0 0 8 0 0 0 20 0 15 0 245882711 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700549032048 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10036] ppid=10020 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6 /proc/10023/task/10036/stat : 10036 (java) S 10020 10023 6996 0 -1 1077944384 561 0 0 0 15 0 0 0 20 0 15 0 245882711 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700547979504 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10037] ppid=10020 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10037/stat : 10037 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700546927200 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10038] ppid=10020 vsize=14084804 memory=6424 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10038/stat : 10038 (java) S 10020 10023 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245882712 14422839296 21971 33554432000 4194304 4196468 140724911792544 140700545874736 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 87884 KiB [startup+1.50071 s] /proc/loadavg: 1.44 1.37 1.39 5/219 10038 /proc/meminfo: memFree=23616668/32770624 swapFree=67108852/67108860 [pid=10023] ppid=10020 vsize=14086852 memory=226576 CPUtime=3.49 cores=0,2,4,6 /proc/10023/stat : 10023 (java) S 10020 10023 6996 0 -1 1077944320 24678 0 0 0 340 9 0 0 20 0 15 0 245882706 14424936448 56644 33554432000 4194304 4196468 140724911792544 140724911775088 140701079600887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 /proc/10023/statm: 3521713 56644 3569 1 0 3483785 0 [pid=10023/tid=10025] ppid=10020 vsize=14086852 memory=190612 CPUtime=1.45 cores=0,2,4,6 /proc/10023/task/10025/stat : 10025 (java) R 10020 10023 6996 0 -1 4202560 17102 0 0 0 139 6 0 0 20 0 15 0 245882706 14424936448 56644 33554432000 4194304 4196468 140724911792544 140701083833072 140700717446414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10026] ppid=10020 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10026/stat : 10026 (java) S 10020 10023 6996 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 245882707 14424936448 56644 33554432000 4194304 4196468 140724911792544 140701049313552 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10027] ppid=10020 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10027/stat : 10027 (java) S 10020 10023 6996 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 245882707 14424936448 56644 33554432000 4194304 4196468 140724911792544 140700674824592 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10028] ppid=10020 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10028/stat : 10028 (java) S 10020 10023 6996 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 245882707 14424936448 56644 33554432000 4194304 4196468 140724911792544 140700673772048 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10029] ppid=10020 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10029/stat : 10029 (java) S 10020 10023 6996 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 245882707 14424936448 56644 33554432000 4194304 4196468 140724911792544 140700672719504 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10030] ppid=10020 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10030/stat : 10030 (java) S 10020 10023 6996 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 245882708 14424936448 56644 33554432000 4194304 4196468 140724911792544 140700554295792 140701079612034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 ################ # More data... # ################ /proc/10023/task/10025/stat : 10025 (java) R 10020 10023 6996 0 -1 4202560 86941 0 0 0 231329 43 0 0 20 0 15 0 245882706 14429130752 406485 33554432000 4194304 4196468 140724911792544 140701083839008 140700726729182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10026] ppid=10020 vsize=14090948 memory=1632608 CPUtime=6.42 cores=0,2,4,6 /proc/10023/task/10026/stat : 10026 (java) S 10020 10023 6996 0 -1 1077944384 21104 0 0 0 605 37 0 0 20 0 15 0 245882707 14429130752 406485 33554432000 4194304 4196468 140724911792544 140701049313552 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10027] ppid=10020 vsize=14090948 memory=1631580 CPUtime=6.41 cores=0,2,4,6 /proc/10023/task/10027/stat : 10027 (java) S 10020 10023 6996 0 -1 1077944384 21945 0 0 0 600 41 0 0 20 0 15 0 245882707 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700674824592 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10028] ppid=10020 vsize=14090948 memory=1627476 CPUtime=6.42 cores=0,2,4,6 /proc/10023/task/10028/stat : 10028 (java) S 10020 10023 6996 0 -1 1077944384 20652 0 0 0 604 38 0 0 20 0 15 0 245882707 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700673772048 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10029] ppid=10020 vsize=14090948 memory=1626452 CPUtime=6.44 cores=0,2,4,6 /proc/10023/task/10029/stat : 10029 (java) S 10020 10023 6996 0 -1 1077944384 21716 0 0 0 606 38 0 0 20 0 15 0 245882707 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700672719504 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10030] ppid=10020 vsize=14090948 memory=1625940 CPUtime=1.29 cores=0,2,4,6 /proc/10023/task/10030/stat : 10030 (java) S 10020 10023 6996 0 -1 1077944384 29914 0 0 0 107 22 0 0 20 0 15 0 245882708 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700554295792 140701079612034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10031] ppid=10020 vsize=14090948 memory=14892 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10031/stat : 10031 (java) S 10020 10023 6996 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245882709 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700553242080 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10032] ppid=10020 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10032/stat : 10032 (java) S 10020 10023 6996 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 245882709 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700552189440 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10033] ppid=10020 vsize=14090948 memory=1627476 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10033/stat : 10033 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700551138000 140701079619483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10034] ppid=10020 vsize=14090948 memory=1627476 CPUtime=2.88 cores=0,2,4,6 /proc/10023/task/10034/stat : 10034 (java) S 10020 10023 6996 0 -1 1077944384 13117 0 0 0 286 2 0 0 20 0 15 0 245882711 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700550084592 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10035] ppid=10020 vsize=14090948 memory=1626452 CPUtime=2.87 cores=0,2,4,6 /proc/10023/task/10035/stat : 10035 (java) S 10020 10023 6996 0 -1 1077944384 11673 0 0 0 285 2 0 0 20 0 15 0 245882711 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700549032048 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10036] ppid=10020 vsize=14090948 memory=1626964 CPUtime=1.02 cores=0,2,4,6 /proc/10023/task/10036/stat : 10036 (java) S 10020 10023 6996 0 -1 1077944384 15573 0 0 0 99 3 0 0 20 0 15 0 245882711 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700547979504 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10037] ppid=10020 vsize=14090948 memory=1626452 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10037/stat : 10037 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700546927200 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10038] ppid=10020 vsize=14090948 memory=1626452 CPUtime=0.98 cores=0,2,4,6 /proc/10023/task/10038/stat : 10038 (java) S 10020 10023 6996 0 -1 1077944384 1522 0 0 0 53 45 0 0 20 0 15 0 245882712 14429130752 406485 33554432000 4194304 4196468 140724911792544 140700545874736 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 Current children cumulated CPU time: 2348.54 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 1625940 KiB [startup+2382.3 s] /proc/loadavg: 1.44 1.57 1.53 3/220 10233 /proc/meminfo: memFree=21347944/32770624 swapFree=67108852/67108860 [pid=10023] ppid=10020 vsize=14090948 memory=1602852 CPUtime=2409.03 cores=0,2,4,6 /proc/10023/stat : 10023 (java) S 10020 10023 6996 0 -1 1077944320 247754 0 0 0 240645 258 0 0 20 0 15 0 245882706 14429130752 400713 33554432000 4194304 4196468 140724911792544 140724911775088 140701079600887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 /proc/10023/statm: 3522737 400713 3612 1 0 3484809 0 [pid=10023/tid=10025] ppid=10020 vsize=14090948 memory=1602852 CPUtime=2373.49 cores=0,2,4,6 /proc/10023/task/10025/stat : 10025 (java) R 10020 10023 6996 0 -1 4202560 87760 0 0 0 237306 43 0 0 20 0 15 0 245882706 14429130752 400713 33554432000 4194304 4196468 140724911792544 140701083838752 140700726831601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10026] ppid=10020 vsize=14090948 memory=1602852 CPUtime=6.58 cores=0,2,4,6 /proc/10023/task/10026/stat : 10026 (java) S 10020 10023 6996 0 -1 1077944384 21362 0 0 0 621 37 0 0 20 0 15 0 245882707 14429130752 400713 33554432000 4194304 4196468 140724911792544 140701049313552 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10027] ppid=10020 vsize=14090948 memory=1100 CPUtime=6.57 cores=0,2,4,6 /proc/10023/task/10027/stat : 10027 (java) S 10020 10023 6996 0 -1 1077944384 22100 0 0 0 616 41 0 0 20 0 15 0 245882707 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700674824592 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10028] ppid=10020 vsize=14090948 memory=2056 CPUtime=6.58 cores=0,2,4,6 /proc/10023/task/10028/stat : 10028 (java) S 10020 10023 6996 0 -1 1077944384 20979 0 0 0 620 38 0 0 20 0 15 0 245882707 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700673772048 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10029] ppid=10020 vsize=14090948 memory=1605420 CPUtime=6.61 cores=0,2,4,6 /proc/10023/task/10029/stat : 10029 (java) S 10020 10023 6996 0 -1 1077944384 21949 0 0 0 623 38 0 0 20 0 15 0 245882707 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700672719504 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10030] ppid=10020 vsize=14090948 memory=1605420 CPUtime=1.34 cores=0,2,4,6 /proc/10023/task/10030/stat : 10030 (java) S 10020 10023 6996 0 -1 1077944384 30265 0 0 0 112 22 0 0 20 0 15 0 245882708 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700554295792 140701079612034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10031] ppid=10020 vsize=14090948 memory=1606956 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10031/stat : 10031 (java) S 10020 10023 6996 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245882709 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700553242080 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10032] ppid=10020 vsize=14090948 memory=1610036 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10032/stat : 10032 (java) S 10020 10023 6996 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 245882709 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700552189440 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10033] ppid=10020 vsize=14090948 memory=3708 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10033/stat : 10033 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700551138000 140701079619483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10034] ppid=10020 vsize=14090948 memory=66904 CPUtime=2.88 cores=0,2,4,6 /proc/10023/task/10034/stat : 10034 (java) S 10020 10023 6996 0 -1 1077944384 13121 0 0 0 286 2 0 0 20 0 15 0 245882711 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700550084592 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10035] ppid=10020 vsize=14090948 memory=1603880 CPUtime=2.87 cores=0,2,4,6 /proc/10023/task/10035/stat : 10035 (java) S 10020 10023 6996 0 -1 1077944384 11677 0 0 0 285 2 0 0 20 0 15 0 245882711 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700549032048 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10036] ppid=10020 vsize=14090948 memory=1604392 CPUtime=1.02 cores=0,2,4,6 /proc/10023/task/10036/stat : 10036 (java) S 10020 10023 6996 0 -1 1077944384 15577 0 0 0 99 3 0 0 20 0 15 0 245882711 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700547979504 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10037] ppid=10020 vsize=14090948 memory=7084566170130997356 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10037/stat : 10037 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700546927200 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10038] ppid=10020 vsize=14090948 memory=6947198680720107840 CPUtime=1.01 cores=0,2,4,6 /proc/10023/task/10038/stat : 10038 (java) S 10020 10023 6996 0 -1 1077944384 1548 0 0 0 54 47 0 0 20 0 15 0 245882712 14429130752 400713 33554432000 4194304 4196468 140724911792544 140700545874736 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 Current children cumulated CPU time: 2409.03 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 1602852 KiB [startup+2442.3 s] /proc/loadavg: 1.38 1.52 1.51 3/220 10234 /proc/meminfo: memFree=21368900/32770624 swapFree=67108852/67108860 [pid=10023] ppid=10020 vsize=14090948 memory=1580796 CPUtime=2469.55 cores=0,2,4,6 /proc/10023/stat : 10023 (java) S 10020 10023 6996 0 -1 1077944320 249726 0 0 0 246693 262 0 0 20 0 15 0 245882706 14429130752 395199 33554432000 4194304 4196468 140724911792544 140724911775088 140701079600887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 /proc/10023/statm: 3522737 395199 3612 1 0 3484809 0 [pid=10023/tid=10025] ppid=10020 vsize=14090948 memory=1584384 CPUtime=2433.25 cores=0,2,4,6 /proc/10023/task/10025/stat : 10025 (java) R 10020 10023 6996 0 -1 4202560 88368 0 0 0 243282 43 0 0 20 0 15 0 245882706 14429130752 395199 33554432000 4194304 4196468 140724911792544 140701083838832 140700726729281 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10026] ppid=10020 vsize=14090948 memory=279329910133248 CPUtime=6.75 cores=0,2,4,6 /proc/10023/task/10026/stat : 10026 (java) S 10020 10023 6996 0 -1 1077944384 21723 0 0 0 637 38 0 0 20 0 15 0 245882707 14429130752 395199 33554432000 4194304 4196468 140724911792544 140701049313552 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10027] ppid=10020 vsize=14090948 memory=1583360 CPUtime=6.73 cores=0,2,4,6 /proc/10023/task/10027/stat : 10027 (java) S 10020 10023 6996 0 -1 1077944384 22354 0 0 0 631 42 0 0 20 0 15 0 245882707 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700674824592 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10028] ppid=10020 vsize=14090948 memory=1580796 CPUtime=6.75 cores=0,2,4,6 /proc/10023/task/10028/stat : 10028 (java) S 10020 10023 6996 0 -1 1077944384 21224 0 0 0 637 38 0 0 20 0 15 0 245882707 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700673772048 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10029] ppid=10020 vsize=14090948 memory=1581308 CPUtime=6.77 cores=0,2,4,6 /proc/10023/task/10029/stat : 10029 (java) S 10020 10023 6996 0 -1 1077944384 22061 0 0 0 639 38 0 0 20 0 15 0 245882707 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700672719504 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10030] ppid=10020 vsize=14090948 memory=14892 CPUtime=1.4 cores=0,2,4,6 /proc/10023/task/10030/stat : 10030 (java) S 10020 10023 6996 0 -1 1077944384 30618 0 0 0 117 23 0 0 20 0 15 0 245882708 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700554295792 140701079612034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10031] ppid=10020 vsize=14090948 memory=1586436 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10031/stat : 10031 (java) S 10020 10023 6996 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245882709 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700553242080 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10032] ppid=10020 vsize=14090948 memory=3708 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10032/stat : 10032 (java) S 10020 10023 6996 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 245882709 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700552189440 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10033] ppid=10020 vsize=14090948 memory=1582332 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10033/stat : 10033 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700551138000 140701079619483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10034] ppid=10020 vsize=14090948 memory=1583872 CPUtime=2.88 cores=0,2,4,6 /proc/10023/task/10034/stat : 10034 (java) S 10020 10023 6996 0 -1 1077944384 13125 0 0 0 286 2 0 0 20 0 15 0 245882711 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700550084592 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10035] ppid=10020 vsize=14090948 memory=1581308 CPUtime=2.87 cores=0,2,4,6 /proc/10023/task/10035/stat : 10035 (java) S 10020 10023 6996 0 -1 1077944384 11682 0 0 0 285 2 0 0 20 0 15 0 245882711 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700549032048 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10036] ppid=10020 vsize=14090948 memory=1581308 CPUtime=1.02 cores=0,2,4,6 /proc/10023/task/10036/stat : 10036 (java) S 10020 10023 6996 0 -1 1077944384 15581 0 0 0 99 3 0 0 20 0 15 0 245882711 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700547979504 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10037] ppid=10020 vsize=14090948 memory=1616 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10037/stat : 10037 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700546927200 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10038] ppid=10020 vsize=14090948 memory=11584 CPUtime=1.04 cores=0,2,4,6 /proc/10023/task/10038/stat : 10038 (java) S 10020 10023 6996 0 -1 1077944384 1574 0 0 0 56 48 0 0 20 0 15 0 245882712 14429130752 395199 33554432000 4194304 4196468 140724911792544 140700545874736 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 Current children cumulated CPU time: 2469.55 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 1580796 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2492.4 s] /proc/loadavg: 1.38 1.51 1.50 3/219 10236 /proc/meminfo: memFree=21385232/32770624 swapFree=67108852/67108860 [pid=10023] ppid=10020 vsize=14090948 memory=1564380 CPUtime=2520.06 cores=0,2,4,6 /proc/10023/stat : 10023 (java) S 10020 10023 6996 0 -1 1077944320 251891 0 0 0 251743 263 0 0 20 0 15 0 245882706 14429130752 391095 33554432000 4194304 4196468 140724911792544 140724911775088 140701079600887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 /proc/10023/statm: 3522737 391095 3612 1 0 3484809 0 [pid=10023/tid=10025] ppid=10020 vsize=14090948 memory=3200 CPUtime=2483.17 cores=0,2,4,6 /proc/10023/task/10025/stat : 10025 (java) R 10020 10023 6996 0 -1 4202560 89110 0 0 0 248274 43 0 0 20 0 15 0 245882706 14429130752 391095 33554432000 4194304 4196468 140724911792544 140701083838832 140700726729273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10026] ppid=10020 vsize=14090948 memory=1565404 CPUtime=6.88 cores=0,2,4,6 /proc/10023/task/10026/stat : 10026 (java) S 10020 10023 6996 0 -1 1077944384 22079 0 0 0 650 38 0 0 20 0 15 0 245882707 14429130752 391095 33554432000 4194304 4196468 140724911792544 140701049313552 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10027] ppid=10020 vsize=14090948 memory=6791534058613427641 CPUtime=6.86 cores=0,2,4,6 /proc/10023/task/10027/stat : 10027 (java) S 10020 10023 6996 0 -1 1077944384 22521 0 0 0 644 42 0 0 20 0 15 0 245882707 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700674824592 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10028] ppid=10020 vsize=14090948 memory=2196 CPUtime=6.88 cores=0,2,4,6 /proc/10023/task/10028/stat : 10028 (java) S 10020 10023 6996 0 -1 1077944384 21609 0 0 0 649 39 0 0 20 0 15 0 245882707 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700673772048 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10029] ppid=10020 vsize=14090948 memory=4256 CPUtime=6.9 cores=0,2,4,6 /proc/10023/task/10029/stat : 10029 (java) S 10020 10023 6996 0 -1 1077944384 22187 0 0 0 652 38 0 0 20 0 15 0 245882707 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700672719504 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10030] ppid=10020 vsize=14090948 memory=1920 CPUtime=1.43 cores=0,2,4,6 /proc/10023/task/10030/stat : 10030 (java) S 10020 10023 6996 0 -1 1077944384 30969 0 0 0 120 23 0 0 20 0 15 0 245882708 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700554295792 140701079612034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10031] ppid=10020 vsize=14090948 memory=7380 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10031/stat : 10031 (java) S 10020 10023 6996 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245882709 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700553242080 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10032] ppid=10020 vsize=14090948 memory=804 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10032/stat : 10032 (java) S 10020 10023 6996 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 245882709 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700552189440 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10033] ppid=10020 vsize=14090948 memory=1800 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10033/stat : 10033 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700551138000 140701079619483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10034] ppid=10020 vsize=14090948 memory=920 CPUtime=2.88 cores=0,2,4,6 /proc/10023/task/10034/stat : 10034 (java) S 10020 10023 6996 0 -1 1077944384 13129 0 0 0 286 2 0 0 20 0 15 0 245882711 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700550084592 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10035] ppid=10020 vsize=14090948 memory=3852 CPUtime=2.87 cores=0,2,4,6 /proc/10023/task/10035/stat : 10035 (java) S 10020 10023 6996 0 -1 1077944384 11686 0 0 0 285 2 0 0 20 0 15 0 245882711 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700549032048 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10036] ppid=10020 vsize=14090948 memory=2700 CPUtime=1.02 cores=0,2,4,6 /proc/10023/task/10036/stat : 10036 (java) S 10020 10023 6996 0 -1 1077944384 15585 0 0 0 99 3 0 0 20 0 15 0 245882711 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700547979504 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10037] ppid=10020 vsize=14090948 memory=2584 CPUtime=0 cores=0,2,4,6 /proc/10023/task/10037/stat : 10037 (java) S 10020 10023 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245882711 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700546927200 140701079611093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 [pid=10023/tid=10038] ppid=10020 vsize=14090948 memory=4096 CPUtime=1.06 cores=0,2,4,6 /proc/10023/task/10038/stat : 10038 (java) S 10020 10023 6996 0 -1 1077944384 1600 0 0 0 58 48 0 0 20 0 15 0 245882712 14429130752 391095 33554432000 4194304 4196468 140724911792544 140700545874736 140701079612034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 30306304 140724911801416 140724911801609 140724911801609 140724911804367 0 Current children cumulated CPU time: 2520.06 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 1564380 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2492.43 s] # the end of solver process 10023 was just reported to runsolver # cumulated CPU time of all completed processes: user=2517.45 s, system=2.64158 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2492.43 CPU time (s): 2520.09 CPU user time (s): 2517.45 CPU system time (s): 2.64158 CPU usage (%): 101.11 Max. virtual memory (cumulated for all children) (KiB): 14090948 Max. memory (cumulated for all children) (KiB): 2537408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2517.45 system time used= 2.64158 maximum resident set size= 2560344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 252406 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 87214 involuntary context switches= 4383 # summary of solver processes directly reported to runsolver: # pid: 10023 # total CPU time (s): 2520.09 # total CPU user time (s): 2517.45 # total CPU system time (s): 2.64158 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 19.9308 second user time and 18.6425 second system time The end
Begin job on node133 at 2018-08-14 23:46:35 IDJOB=4308007 IDBENCH=141218 IDSOLVER=2791 FILE ID=node133/4308007-1534283195 RUNJOBID= node133-1534270696-8642 PBS_JOBID= 21038124 Free space on /tmp= 39348 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-5_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-4308007-1534283195/watcher-4308007-1534283195 -o /tmp/evaluation-result-4308007-1534283195/solver-4308007-1534283195 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534270696-8642 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1177690248 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308007-1534283195.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6d15d8403aebe79e9693643b2fca1a5e RANDOM SEED=1177690248 node133.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.24 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.24 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.24 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.24 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: 23724488 kB MemAvailable: 31626780 kB Buffers: 139912 kB Cached: 7994448 kB SwapCached: 4 kB Active: 4508412 kB Inactive: 3958600 kB Active(anon): 283240 kB Inactive(anon): 101732 kB Active(file): 4225172 kB Inactive(file): 3856868 kB Unevictable: 7072 kB Mlocked: 7072 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 35828 kB Writeback: 0 kB AnonPages: 339392 kB Mapped: 68716 kB Shmem: 49816 kB Slab: 276800 kB SReclaimable: 248712 kB SUnreclaim: 28088 kB KernelStack: 3584 kB PageTables: 6896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1212708 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 264192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 39312 MiB End job on node133 at 2018-08-15 00:28:08