Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-08-14 | SAT (TO) | 278945308 | 252.147 | 209.652 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-04-0300_c18.xml |
| MD5SUM | d2f9cd7b3c3026f57264f10c0685d9a6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 27270670 |
| Best CPU time to get the best result obtained on this benchmark | 252.074 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5284 |
| Number of constraints | 3360 |
| Number of domains | 68 |
| Minimum domain size | 1 |
| Maximum domain size | 135 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":1859},{"size":11,"count":1561},{"size":12,"count":1},{"size":25,"count":10},{"size":29,"count":10},{"size":31,"count":42},{"size":33,"count":12},{"size":36,"count":26},{"size":39,"count":45},{"size":41,"count":7},{"size":45,"count":9},{"size":50,"count":6},{"size":51,"count":9},{"size":53,"count":7},{"size":57,"count":23},{"size":58,"count":6},{"size":61,"count":6},{"size":62,"count":10},{"size":67,"count":13},{"size":73,"count":1},{"size":74,"count":2},{"size":75,"count":8},{"size":77,"count":3},{"size":79,"count":9},{"size":81,"count":11},{"size":83,"count":7},{"size":84,"count":1},{"size":85,"count":1},{"size":87,"count":11},{"size":89,"count":6},{"size":93,"count":4},{"size":95,"count":35},{"size":97,"count":5},{"size":100,"count":29},{"size":102,"count":51},{"size":104,"count":11},{"size":105,"count":5},{"size":107,"count":8},{"size":109,"count":6},{"size":110,"count":32},{"size":117,"count":53},{"size":118,"count":63},{"size":122,"count":30},{"size":127,"count":118},{"size":130,"count":112},{"size":132,"count":30},{"size":135,"count":968}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1562 |
| Distribution of variable degrees | [{"degree":2,"count":4684},{"degree":3,"count":6},{"degree":4,"count":6},{"degree":5,"count":11},{"degree":6,"count":24},{"degree":7,"count":24},{"degree":8,"count":40},{"degree":9,"count":42},{"degree":10,"count":48},{"degree":11,"count":68},{"degree":12,"count":79},{"degree":13,"count":128},{"degree":14,"count":97},{"degree":15,"count":11},{"degree":16,"count":8},{"degree":17,"count":6},{"degree":18,"count":1},{"degree":1562,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":238},{"arity":3,"count":1561},{"arity":6,"count":1561}] |
| Number of extensional constraints | 1561 |
| Number of intensional constraints | 1799 |
| Distribution of constraint types | [{"type":"extension","count":1561},{"type":"intension","count":1799}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.64/0.57 c version: 2018-08-14 0.64/0.57 c seed: 1926824313 0.64/0.57 c timeout: 252 0.64/0.57 c memlimit: 11000 0.64/0.57 c nbcore: 4 0.64/0.60 c Parsing instance... 36.70/22.88 c Parsing done, starting first complete search... 38.51/23.45 o 284426787 38.51/23.46 o 284426786 38.51/23.47 o 284426785 38.51/23.47 o 284426782 38.51/23.48 o 284426781 38.51/23.49 o 284426778 38.51/23.50 o 284411163 38.83/23.51 o 284395544 38.83/23.52 o 284395543 38.83/23.52 o 284395542 38.83/23.53 o 284379918 38.83/23.54 o 284379913 38.83/23.55 o 284379912 38.83/23.56 o 284379910 38.83/23.57 o 284364299 38.83/23.58 o 284364298 38.83/23.58 o 284364290 38.83/23.59 o 284364289 39.14/23.60 o 284348679 39.14/23.61 o 284348676 39.14/23.61 o 284348670 39.14/23.62 o 284333060 39.14/23.63 o 284333056 39.14/23.64 o 284333052 39.14/23.65 o 284333049 39.14/23.66 o 284333048 39.14/23.66 o 284333047 39.14/23.67 o 284333039 39.14/23.68 o 284333035 39.14/23.69 o 284317422 39.14/23.70 o 284317419 39.45/23.70 o 284317418 39.45/23.71 o 284317415 39.45/23.72 o 284317409 39.45/23.73 o 284301796 39.45/23.74 o 284286184 39.45/23.74 o 284286183 39.45/23.75 o 284286176 39.45/23.76 o 284270558 39.45/23.77 o 284270557 39.45/23.78 o 284270556 39.45/23.79 o 284254946 39.45/23.80 o 284254943 39.75/23.80 o 284254942 39.75/23.81 o 284239332 39.75/23.82 o 284239331 39.75/23.83 o 284208111 39.75/23.84 o 284208110 39.75/23.86 o 284208109 39.75/23.88 o 284192512 39.75/23.88 o 284192511 39.75/23.89 o 284192505 39.75/23.89 o 284192504 40.05/23.90 o 284192502 40.05/23.91 o 284192501 40.05/23.92 o 284192500 40.05/23.93 o 284176901 40.05/23.93 o 284176900 40.05/23.94 o 284176899 40.05/23.94 o 284176898 40.05/23.94 o 284176896 40.05/23.95 o 284176890 40.05/23.99 o 284176889 40.05/24.00 o 284176888 40.38/24.02 o 284161288 40.38/24.03 o 284161284 40.38/24.04 o 284161280 40.38/24.05 o 284161278 40.38/24.07 o 284145670 40.38/24.08 o 284145669 40.38/24.10 o 284130062 40.67/24.11 o 284130060 40.67/24.13 o 284114451 40.67/24.14 o 284098841 40.67/24.15 o 284098840 40.67/24.17 o 284098837 40.67/24.19 o 284098836 40.94/24.20 o 284098835 40.94/24.22 o 284083217 40.94/24.23 o 284083215 40.94/24.25 o 284083214 40.94/24.27 o 284067606 40.94/24.28 o 284067601 40.94/24.28 o 284067596 40.94/24.28 o 284067595 40.94/24.29 o 284067594 41.24/24.30 o 284051984 41.24/24.31 o 284051983 41.24/24.32 o 284051978 41.24/24.35 o 284051977 41.24/24.35 o 284051973 41.24/24.36 o 284051971 41.24/24.39 o 284051970 41.54/24.40 o 284051965 41.71/24.57 o 284036382 41.71/24.57 o 284036381 41.71/24.57 o 284036380 41.71/24.58 o 284036379 41.71/24.58 o 284036376 41.71/24.59 o 284036375 41.71/24.60 o 284036372 41.85/24.60 o 284036361 41.85/24.61 o 284036359 41.85/24.65 o 284036358 41.85/24.66 o 284036357 41.85/24.66 o 284036356 41.85/24.67 o 284036353 41.85/24.68 o 284036351 41.85/24.69 o 284036349 41.95/24.73 o 284036348 41.95/24.73 o 284036346 42.07/24.83 o 284036342 42.07/24.83 o 284036341 42.07/24.84 o 284020724 42.07/24.86 o 284005113 42.07/24.87 o 284005111 42.07/24.89 o 283989510 42.17/24.90 o 283989508 42.17/24.92 o 283973892 42.17/24.92 o 283973890 42.17/24.92 o 283973881 42.17/24.95 o 283973880 42.17/24.99 o 283973879 42.17/25.00 o 283973876 42.17/25.00 o 283973875 42.33/25.01 o 283973874 42.33/25.01 o 283973873 42.33/25.05 o 283958279 42.33/25.06 o 283958273 42.33/25.06 o 283958268 42.33/25.07 o 283958266 42.33/25.08 o 283958265 42.33/25.08 o 283958260 42.33/25.09 o 283958259 42.47/25.12 o 283942682 42.47/25.13 o 283942674 42.47/25.13 o 283942671 42.47/25.14 o 283942670 42.47/25.14 o 283942668 42.47/25.15 o 283942648 42.47/25.16 o 283942647 42.55/25.20 o 283911446 42.55/25.21 o 283911444 42.55/25.21 o 283911443 42.55/25.22 o 283911438 42.55/25.23 o 283911437 42.55/25.24 o 283911420 42.55/25.25 o 283911419 42.55/25.25 o 283911416 42.55/25.27 o 283911414 42.65/25.32 o 283895826 42.65/25.32 o 283895825 42.65/25.32 o 283895818 42.65/25.33 o 283895816 42.65/25.34 o 283895811 42.65/25.35 o 283895810 42.65/25.35 o 283895805 42.65/25.36 o 283895802 42.65/25.37 o 283895801 42.76/25.43 o 283880189 42.76/25.43 o 283880188 42.76/25.46 o 283880187 42.76/25.47 o 283880186 42.76/25.47 o 283880185 42.76/25.48 o 283880184 42.76/25.49 o 283880182 42.87/25.57 o 283864635 42.87/25.58 o 283864634 42.87/25.58 o 283864633 42.87/25.58 o 283864626 42.87/25.59 o 283864625 42.87/25.59 o 283864622 42.87/25.59 o 283864621 42.87/25.60 o 283864615 42.97/25.60 o 283864610 42.97/25.60 o 283864609 42.97/25.61 o 283864608 42.97/25.61 o 283864607 42.97/25.61 o 283864602 42.97/25.62 o 283864601 42.97/25.62 o 283864596 42.97/25.63 o 283864594 42.97/25.64 o 283864591 42.97/25.64 o 283864589 42.97/25.65 o 283864579 42.97/25.65 o 283864578 42.97/25.66 o 283864576 42.97/25.67 o 283864575 42.97/25.67 o 283864573 42.97/25.68 o 283864570 43.07/25.70 o 283864569 43.07/25.75 o 283864568 43.19/25.81 o 283848983 43.19/25.82 o 283848980 43.19/25.83 o 283848979 43.19/25.83 o 283848974 43.19/25.84 o 283848971 43.19/25.85 o 283848968 43.19/25.85 o 283848958 43.54/26.12 o 283848955 43.54/26.12 o 283848954 43.54/26.18 o 283848953 43.63/26.25 o 283833346 43.63/26.26 o 283833343 43.63/26.27 o 283833342 43.63/26.28 o 283833337 43.63/26.29 o 283833317 43.63/26.29 o 283833316 43.73/26.31 o 283833313 43.73/26.36 o 283833312 43.89/26.40 o 283833311 44.19/26.70 o 283833310 44.19/26.76 o 283802092 44.19/26.77 o 283802087 44.30/26.80 o 283786510 44.30/26.80 o 283786506 44.30/26.81 o 283786501 44.30/26.82 o 283786492 44.30/26.82 o 283786489 44.30/26.83 o 283786488 44.30/26.84 o 283786483 44.30/26.85 o 283786482 44.30/26.85 o 283786480 44.30/26.86 o 283786479 44.30/26.86 o 283786478 44.30/26.87 o 283786477 44.30/26.89 o 283786476 44.40/26.96 o 283770866 44.40/26.97 o 283770865 44.40/26.97 o 283770863 44.40/26.98 o 283770860 44.40/26.98 o 283770859 44.40/26.98 o 283770858 44.40/27.00 o 283770857 44.61/27.15 o 283770853 44.61/27.18 o 283770852 44.61/27.18 o 283770851 44.61/27.19 o 283770850 44.70/27.24 o 283770848 44.70/27.24 o 283770839 44.70/27.26 o 283770838 44.70/27.26 o 283770837 44.70/27.27 o 283770836 44.70/27.28 o 283770835 44.70/27.29 o 283770827 44.80/27.32 o 283755250 44.80/27.33 o 283755249 44.80/27.33 o 283755248 44.80/27.33 o 283755247 44.80/27.34 o 283755245 44.80/27.34 o 283755240 44.80/27.35 o 283755239 44.80/27.36 o 283755236 44.80/27.37 o 283755235 44.80/27.38 o 283755233 44.80/27.39 o 283755230 44.91/27.40 o 283755229 44.91/27.41 o 283739621 44.91/27.42 o 283739617 44.91/27.43 o 283739614 44.91/27.45 o 283739612 44.91/27.46 o 283739604 44.91/27.47 o 283739601 44.91/27.48 o 283739600 45.01/27.51 o 283724014 45.01/27.53 o 283724012 45.01/27.53 o 283724011 45.01/27.54 o 283724008 45.01/27.55 o 283724002 45.01/27.56 o 283723997 45.01/27.57 o 283723994 45.01/27.59 o 283723993 45.21/27.76 o 283708475 45.21/27.76 o 283708466 45.21/27.76 o 283708464 45.21/27.77 o 283708463 45.21/27.77 o 283708458 45.21/27.77 o 283708457 45.21/27.78 o 283708453 45.21/27.78 o 283708451 45.21/27.79 o 283708445 45.21/27.79 o 283708442 45.21/27.80 o 283708439 45.31/27.80 o 283708438 45.31/27.81 o 283708436 45.31/27.82 o 283708430 45.31/27.82 o 283708422 45.31/27.84 o 283708418 45.31/27.84 o 283708417 45.31/27.85 o 283708414 45.31/27.85 o 283708411 45.31/27.86 o 283708408 45.31/27.87 o 283708407 45.31/27.88 o 283708404 45.31/27.89 o 283708402 45.31/27.89 o 283708401 45.41/27.91 o 283708398 45.41/27.93 o 283708396 45.41/27.98 o 283708393 45.52/28.01 o 283708392 45.52/28.01 o 283708390 45.52/28.09 o 283708389 45.71/28.21 o 283692845 45.71/28.21 o 283692836 45.71/28.21 o 283692818 45.71/28.22 o 283692813 45.71/28.22 o 283692811 45.71/28.23 o 283692806 45.71/28.24 o 283692805 45.71/28.24 o 283692804 45.71/28.25 o 283692799 45.71/28.26 o 283692796 45.71/28.28 o 283692795 45.71/28.28 o 283692793 45.71/28.29 o 283692791 45.71/28.29 o 283692781 45.82/28.30 o 283692780 45.82/28.30 o 283692779 45.82/28.31 o 283692776 45.82/28.31 o 283692775 45.82/28.32 o 283692772 45.82/28.34 o 283677185 45.82/28.35 o 283677167 45.82/28.36 o 283677164 45.82/28.36 o 283677162 45.92/28.40 o 283677161 45.92/28.40 o 283677159 45.92/28.47 o 283677158 45.92/28.48 o 283677156 45.92/28.49 o 283677155 46.02/28.51 o 283677154 46.02/28.51 o 283677153 46.02/28.51 o 283677152 46.12/28.66 o 283661600 46.12/28.66 o 283661591 46.12/28.66 o 283661587 46.12/28.67 o 283661585 46.12/28.67 o 283661584 46.12/28.68 o 283661581 46.12/28.69 o 283661579 46.22/28.70 o 283661571 46.22/28.71 o 283661556 46.22/28.72 o 283661555 46.22/28.72 o 283661553 46.22/28.73 o 283661552 46.22/28.73 o 283661551 46.22/28.74 o 283661550 46.22/28.76 o 283661547 46.32/28.82 o 283661546 46.32/28.87 o 283661543 46.32/28.89 o 283661542 46.32/28.90 o 283661541 46.42/28.90 o 283661540 46.42/28.96 o 283661539 46.53/29.05 o 283645968 46.53/29.05 o 283645959 46.53/29.06 o 283645957 46.53/29.06 o 283645949 46.53/29.09 o 283645946 46.53/29.09 o 283645945 46.53/29.10 o 283645942 46.63/29.11 o 283645939 46.63/29.12 o 283645938 46.63/29.15 o 283645937 46.63/29.16 o 283645935 46.72/29.24 o 283645932 46.72/29.25 o 283645931 46.72/29.25 o 283645930 46.72/29.26 o 283645929 46.92/29.44 o 283645928 46.92/29.45 o 283645926 47.02/29.56 o 283630372 47.02/29.56 o 283630354 47.02/29.56 o 283630353 47.02/29.57 o 283630347 47.02/29.57 o 283630346 47.02/29.57 o 283630345 47.02/29.58 o 283630343 47.02/29.59 o 283630342 47.02/29.59 o 283630337 47.12/29.60 o 283630332 47.12/29.61 o 283630323 47.12/29.64 o 283630321 47.12/29.66 o 283630320 47.12/29.67 o 283599093 47.43/29.94 o 283567909 47.43/29.94 o 283567891 47.43/29.95 o 283552281 47.43/29.95 o 283552279 47.43/29.97 o 283552276 47.43/29.97 o 283552267 47.43/29.98 o 283552264 47.43/29.99 o 283552258 47.43/29.99 o 283552257 47.54/30.01 o 283552256 47.54/30.04 o 283552255 47.54/30.04 o 283552253 47.64/30.15 o 283552249 47.64/30.15 o 283552247 47.73/30.25 o 283552245 47.73/30.25 o 283552244 47.93/30.48 o 283552243 47.93/30.49 o 283552242 47.93/30.49 o 283552240 48.03/30.58 o 283552239 48.03/30.59 o 283552238 48.13/30.66 o 283552237 48.13/30.69 o 283536673 48.23/30.70 o 283536670 48.23/30.70 o 283536664 48.23/30.72 o 283536661 48.23/30.76 o 283536659 48.23/30.76 o 283536657 48.23/30.77 o 283536654 48.23/30.78 o 283536648 48.23/30.78 o 283536647 48.23/30.79 o 283536644 48.33/30.80 o 283536643 48.33/30.82 o 283536640 48.33/30.87 o 283536637 48.33/30.87 o 283536636 48.33/30.89 o 283536635 48.33/30.90 o 283536629 48.43/30.90 o 283536628 48.43/30.91 o 283536627 48.43/30.99 o 283536623 48.43/31.00 o 283536621 48.43/31.01 o 283536620 48.64/31.17 o 283521053 48.64/31.17 o 283521051 48.64/31.18 o 283521042 48.64/31.19 o 283521037 48.73/31.20 o 283521032 48.73/31.22 o 283521028 48.73/31.22 o 283521027 48.73/31.23 o 283521026 48.73/31.24 o 283521018 49.03/31.51 o 283521017 49.03/31.55 o 283521014 49.03/31.57 o 283521013 49.13/31.61 o 283521012 49.13/31.61 o 283521011 49.13/31.63 o 283521010 49.23/31.72 o 283521004 49.23/31.73 o 283521001 49.23/31.75 o 283521000 49.33/31.81 o 283505422 49.33/31.81 o 283505420 49.33/31.81 o 283505412 49.33/31.83 o 283505403 49.33/31.84 o 283505400 49.33/31.85 o 283505399 49.33/31.86 o 283505391 49.33/31.87 o 283505390 49.73/32.21 o 283489830 49.73/32.21 o 283489812 49.73/32.22 o 283489810 49.73/32.22 o 283489809 49.73/32.23 o 283489800 49.73/32.24 o 283489797 49.73/32.26 o 283489794 49.73/32.27 o 283489789 49.73/32.28 o 283489788 49.83/32.33 o 283474218 49.83/32.33 o 283474204 49.83/32.33 o 283474203 49.83/32.34 o 283474197 49.83/32.35 o 283474196 49.83/32.35 o 283474189 49.83/32.36 o 283474188 49.83/32.36 o 283474184 49.83/32.37 o 283474180 49.83/32.38 o 283474179 49.83/32.39 o 283474178 49.83/32.39 o 283474177 49.93/32.40 o 283474176 49.93/32.41 o 283474175 49.93/32.42 o 283458566 49.93/32.43 o 283458565 49.93/32.43 o 283458563 49.93/32.44 o 283458554 49.93/32.46 o 283458553 49.93/32.47 o 283458551 50.03/32.59 o 283458546 50.13/32.60 o 283458545 50.13/32.60 o 283458543 50.13/32.61 o 283458542 50.13/32.65 o 283458541 50.13/32.65 o 283458539 50.74/33.23 o 283458538 50.74/33.24 o 283458537 51.46/33.95 o 283458534 51.46/33.96 o 283458533 51.57/34.04 o 283458531 51.57/34.05 o 283458530 52.26/34.74 o 283458529 52.46/34.90 o 283458525 52.46/34.90 o 283458523 52.46/34.91 o 283458522 52.46/34.97 o 283458521 52.46/34.98 o 283458520 52.46/34.99 o 283458519 52.57/35.02 o 283458518 52.57/35.03 o 283458516 52.57/35.03 o 283458515 52.57/35.04 o 283458512 52.57/35.07 o 283458511 52.76/35.24 o 283458510 52.76/35.26 o 283458509 52.76/35.27 o 283458508 59.40/37.99 o 283442912 59.40/37.99 o 283442909 59.40/38.00 o 283442907 59.52/38.01 o 283442906 59.52/38.02 o 283442905 59.52/38.04 o 283442904 59.71/38.22 o 283442903 59.91/38.44 o 283442898 59.91/38.45 o 283442897 59.91/38.46 o 283442896 59.91/38.47 o 283442894 66.86/45.36 c First complete search done, starting ALNS search... 67.72/45.94 o 283427292 67.72/45.97 o 283427285 67.72/45.98 o 283411675 68.02/46.03 o 283411671 68.02/46.05 o 283396061 68.02/46.09 o 283396060 70.56/47.95 o 283396057 71.16/48.50 o 283396050 71.27/48.50 o 283396044 71.27/48.50 o 283396043 71.27/48.51 o 283396041 71.27/48.51 o 283396040 71.27/48.51 o 283380437 71.27/48.52 o 283380430 71.27/48.52 o 283380424 71.27/48.52 o 283380423 71.27/48.52 o 283380422 71.27/48.53 o 283364812 71.27/48.53 o 283364811 71.27/48.53 o 283364806 71.27/48.54 o 283364805 71.27/48.54 o 283364799 71.27/48.54 o 283364798 71.27/48.55 o 283349189 71.27/48.55 o 283349183 71.27/48.55 o 283349182 71.27/48.56 o 283333579 71.27/48.56 o 283333572 71.27/48.57 o 283333566 71.27/48.57 o 283333565 71.27/48.57 o 283317967 71.27/48.57 o 283317966 71.27/48.58 o 283317961 71.27/48.58 o 283317960 71.27/48.59 o 283302350 71.27/48.59 o 283302344 71.27/48.59 o 283302343 71.27/48.59 o 283286734 71.27/48.60 o 283286733 71.37/48.60 o 283271117 71.37/48.60 o 283271116 71.37/48.61 o 283271111 71.37/48.61 o 283271110 71.37/48.62 o 283271104 71.37/48.62 o 283271103 71.37/48.62 o 283255507 71.37/48.63 o 283255501 71.37/48.63 o 283239894 71.37/48.63 o 283239891 71.37/48.63 o 283224274 71.37/48.64 o 283224268 71.37/48.64 o 283224267 71.37/48.64 o 283224261 71.37/48.64 o 283224260 71.37/48.65 o 283224255 71.37/48.65 o 283224249 71.37/48.66 o 283208635 71.37/48.66 o 283208629 71.37/48.66 o 283208628 71.37/48.67 o 283208622 71.37/48.68 o 283208621 71.37/48.69 o 283193008 71.37/48.69 o 283193002 71.37/48.69 o 283193001 71.50/48.70 o 283177441 71.50/48.70 o 283161821 71.50/48.71 o 283161815 71.50/48.71 o 283161814 71.50/48.72 o 283161807 71.50/48.72 o 283161801 71.50/48.72 o 283161800 71.50/48.73 o 283146189 71.50/48.73 o 283146182 71.50/48.73 o 283146181 71.50/48.73 o 283146176 71.50/48.74 o 283146175 71.50/48.75 o 283130569 71.50/48.75 o 283130562 71.50/48.75 o 283130556 71.50/48.75 o 283130555 71.50/48.76 o 283114952 71.50/48.76 o 283114951 71.50/48.76 o 283114946 71.50/48.77 o 283114945 71.50/48.77 o 283114939 71.50/48.77 o 283114938 71.50/48.78 o 283114935 71.50/48.79 o 283099324 71.50/48.79 o 283099318 71.50/48.79 o 283099317 71.61/48.81 o 283099312 71.61/48.82 o 283099311 71.61/48.83 o 283083715 71.61/48.83 o 283083709 71.61/48.83 o 283083708 71.61/48.84 o 283083707 71.61/48.84 o 283083702 71.61/48.84 o 283083701 71.61/48.85 o 283083700 71.61/48.86 o 283068097 71.61/48.86 o 283068091 71.61/48.87 o 283068090 71.61/48.87 o 283068086 71.61/48.87 o 283068085 71.61/48.89 o 283052481 71.61/48.89 o 283052480 71.61/48.89 o 283052475 71.61/48.89 o 283052474 71.71/48.90 o 283036878 71.71/48.90 o 283036871 71.71/48.91 o 283036865 71.71/48.91 o 283036864 71.71/48.91 o 283036863 71.71/48.92 o 283021258 71.71/48.93 o 283021252 71.71/48.93 o 283021251 71.71/48.93 o 283021250 71.71/48.94 o 283021246 71.71/48.95 o 283005648 71.71/48.95 o 283005641 71.71/48.95 o 283005635 71.71/48.95 o 283005634 71.71/48.96 o 282990038 71.71/48.96 o 282990037 71.71/48.97 o 282990032 71.71/48.97 o 282990031 71.71/48.97 o 282990030 71.71/48.98 o 282990025 71.71/48.98 o 282990024 71.71/48.98 o 282990021 72.87/49.86 o 282990020 72.87/49.86 o 282974411 72.87/49.87 o 282974410 72.87/49.87 o 282958801 72.87/49.87 o 282958800 72.87/49.88 o 282958793 72.87/49.88 o 282958792 72.87/49.88 o 282943183 72.87/49.88 o 282943182 72.87/49.89 o 282943181 72.87/49.89 o 282927571 72.87/49.89 o 282927570 72.97/49.90 o 282911960 72.97/49.90 o 282911959 72.97/49.90 o 282911958 72.97/49.91 o 282911957 73.48/50.45 o 282896352 73.48/50.46 o 282896347 73.48/50.46 o 282896346 73.48/50.46 o 282896342 73.48/50.46 o 282896337 73.48/50.47 o 282880732 73.48/50.47 o 282880727 73.48/50.48 o 282880723 73.48/50.48 o 282865121 73.48/50.48 o 282865113 73.48/50.49 o 282865111 73.48/50.49 o 282849501 73.48/50.49 o 282849493 73.59/50.50 o 282833905 74.53/51.46 o 282833903 74.53/51.47 o 282833897 74.53/51.47 o 282833888 74.53/51.48 o 282833887 74.53/51.49 o 282833886 74.53/51.49 o 282833885 74.63/51.50 o 282833884 74.63/51.51 o 282818289 74.63/51.51 o 282818287 74.63/51.52 o 282818280 74.63/51.52 o 282818271 74.63/51.53 o 282818270 74.63/51.53 o 282818269 74.63/51.54 o 282818268 74.63/51.55 o 282818267 74.63/51.56 o 282818266 74.63/51.56 o 282818265 74.63/51.57 o 282818262 74.63/51.58 o 282818261 74.63/51.59 o 282818260 74.63/51.60 o 282818259 74.74/51.61 o 282818258 74.74/51.62 o 282818257 74.74/51.63 o 282818256 74.74/51.64 o 282818255 74.74/51.65 o 282818254 74.74/51.66 o 282818253 74.74/51.66 o 282818252 74.74/51.67 o 282818251 74.74/51.68 o 282818250 74.74/51.69 o 282818249 74.84/51.71 o 282818248 74.84/51.72 o 282818247 74.84/51.72 o 282818246 74.84/51.73 o 282818245 74.84/51.74 o 282818244 74.84/51.74 o 282818243 74.84/51.75 o 282818242 74.84/51.76 o 282818241 74.84/51.77 o 282818240 74.84/51.78 o 282818239 74.84/51.79 o 282818238 74.84/51.80 o 282818237 74.94/51.80 o 282818236 74.94/51.81 o 282818235 74.94/51.82 o 282818234 74.94/51.83 o 282818233 75.78/52.64 o 282802620 75.78/52.64 o 282802616 75.78/52.65 o 282787014 75.78/52.65 o 282787007 75.78/52.65 o 282787003 75.78/52.65 o 282786999 75.78/52.66 o 282786997 75.78/52.66 o 282786993 75.78/52.66 o 282771397 75.78/52.67 o 282771393 75.78/52.67 o 282771391 75.78/52.67 o 282771387 75.78/52.68 o 282771383 75.78/52.68 o 282771380 75.78/52.68 o 282755784 75.78/52.69 o 282755778 75.78/52.69 o 282755774 75.78/52.69 o 282755770 75.89/52.70 o 282755768 75.89/52.70 o 282755765 75.89/52.70 o 282755761 75.89/52.70 o 282755757 75.89/52.71 o 282740168 75.89/52.71 o 282740164 75.89/52.71 o 282740161 75.89/52.71 o 282740157 75.89/52.72 o 282740153 75.89/52.72 o 282740151 75.89/52.72 o 282740147 75.89/52.72 o 282724555 75.89/52.73 o 282724551 75.89/52.73 o 282724548 75.89/52.73 o 282724544 75.89/52.73 o 282724542 75.89/52.74 o 282724538 75.89/52.74 o 282724534 75.89/52.74 o 282708947 75.89/52.75 o 282708941 75.89/52.75 o 282708937 75.89/52.75 o 282708933 75.89/52.76 o 282708929 75.89/52.76 o 282693324 75.89/52.76 o 282693320 75.89/52.77 o 282693316 75.89/52.77 o 282693313 75.89/52.77 o 282677718 75.89/52.78 o 282677714 75.89/52.78 o 282677711 75.89/52.78 o 282677707 75.89/52.78 o 282677703 75.89/52.79 o 282677701 75.89/52.79 o 282677697 75.89/52.79 o 282662121 75.89/52.80 o 282662117 75.99/52.80 o 282662113 75.99/52.80 o 282646508 75.99/52.81 o 282646504 75.99/52.81 o 282646500 85.34/55.32 o 282630902 87.00/56.88 o 282630761 87.00/56.89 o 282630755 87.11/56.90 o 282630754 87.11/56.90 o 282630747 87.11/56.91 o 282630746 87.22/57.09 o 282630743 87.22/57.09 o 282630742 87.32/57.12 o 282615152 87.32/57.13 o 282615144 87.32/57.14 o 282615143 87.32/57.15 o 282615138 87.32/57.16 o 282615137 87.32/57.17 o 282615136 87.32/57.18 o 282615135 87.42/57.25 o 282599549 87.42/57.26 o 282599547 87.42/57.27 o 282599546 87.42/57.29 o 282583944 87.52/57.30 o 282583943 87.52/57.31 o 282583938 87.52/57.32 o 282583937 87.52/57.34 o 282583936 87.52/57.35 o 282583935 87.52/57.35 o 282583934 87.52/57.36 o 282583933 87.52/57.37 o 282583932 87.52/57.39 o 282583930 87.62/57.40 o 282583929 87.62/57.41 o 282583928 87.62/57.41 o 282583927 87.62/57.44 o 282568339 87.62/57.45 o 282568338 87.62/57.46 o 282568337 87.62/57.46 o 282568336 87.62/57.47 o 282568334 87.62/57.48 o 282568333 87.72/57.50 o 282568318 87.72/57.51 o 282568317 87.72/57.52 o 282568316 87.72/57.53 o 282568315 87.72/57.54 o 282568313 87.72/57.55 o 282568312 87.72/57.56 o 282568311 87.72/57.56 o 282568310 87.72/57.57 o 282568309 87.72/57.58 o 282568307 87.72/57.59 o 282568306 87.82/57.60 o 282552705 87.82/57.62 o 282552704 87.82/57.63 o 282552703 87.82/57.63 o 282552702 87.82/57.66 o 282552701 87.82/57.66 o 282552700 87.92/57.70 o 282552694 87.92/57.71 o 282552692 87.92/57.72 o 282552691 88.02/57.80 o 282537103 88.02/57.81 o 282537102 88.02/57.82 o 282537101 88.02/57.82 o 282537100 88.02/57.83 o 282537081 88.02/57.85 o 282537080 88.02/57.85 o 282537079 88.02/57.86 o 282537078 88.02/57.89 o 282521472 88.12/57.90 o 282521471 88.12/57.91 o 282521470 88.12/57.92 o 282521469 88.12/57.97 o 282521468 88.12/57.97 o 282521467 88.12/57.98 o 282521466 88.23/58.01 o 282521465 88.23/58.01 o 282521464 88.64/58.48 o 282209155 88.64/58.49 o 282193538 89.37/59.18 o 282177935 89.37/59.18 o 282177929 89.37/59.19 o 282162316 89.47/59.20 o 282162310 89.47/59.20 o 282162308 89.47/59.21 o 282162307 89.47/59.22 o 282162306 89.47/59.23 o 282162305 89.47/59.23 o 282162304 89.47/59.24 o 282146703 89.47/59.24 o 282146702 89.87/59.61 o 282131121 89.87/59.63 o 282131110 89.87/59.67 o 282131108 89.87/59.69 o 282131094 89.87/59.70 o 282131090 89.97/59.71 o 282131088 89.97/59.72 o 282131083 89.97/59.72 o 282131081 89.97/59.73 o 282131079 89.97/59.74 o 282131077 89.97/59.75 o 282115500 89.97/59.76 o 282115496 89.97/59.77 o 282115489 89.97/59.78 o 282115485 89.97/59.79 o 282099888 89.97/59.79 o 282099884 90.07/59.81 o 282084272 90.07/59.82 o 282084268 90.07/59.82 o 282084261 90.07/59.83 o 282084257 90.07/59.84 o 282084255 90.07/59.87 o 282084253 90.07/59.88 o 282068652 90.07/59.89 o 282068648 90.07/59.89 o 282068641 90.17/59.90 o 282068637 90.17/59.91 o 282068633 90.17/59.92 o 282068629 90.17/59.93 o 282068627 90.17/59.95 o 282068625 90.17/59.95 o 282068623 90.17/59.98 o 282037434 90.17/59.98 o 282037430 90.17/59.99 o 282037429 90.17/60.00 o 282037425 90.17/60.00 o 282037423 90.29/60.01 o 282037419 90.29/60.03 o 282021824 90.29/60.03 o 282021820 90.29/60.04 o 282021813 90.29/60.04 o 282021809 90.29/60.06 o 282021807 90.29/60.06 o 282021803 90.29/60.07 o 282021801 90.29/60.09 o 282021799 90.29/60.10 o 282021795 90.29/60.10 o 282021791 90.39/60.12 o 282021789 90.39/60.13 o 282006204 90.39/60.14 o 282006200 90.39/60.14 o 282006198 91.73/61.39 o 282006092 91.84/61.40 o 282006091 91.84/61.41 o 282006087 91.84/61.42 o 282006086 91.84/61.44 o 282006084 91.84/61.45 o 282006083 91.84/61.46 o 282006082 91.84/61.48 o 282006081 91.84/61.49 o 282006080 91.94/61.50 o 282006078 91.94/61.51 o 282006077 91.94/61.52 o 282006076 91.94/61.53 o 282006075 91.94/61.55 o 282006074 91.94/61.58 o 282006069 91.94/61.59 o 282006066 92.04/61.60 o 282006065 92.04/61.61 o 282006064 92.04/61.63 o 282006063 92.04/61.64 o 282006061 92.04/61.66 o 282006060 92.04/61.67 o 282006059 92.04/61.68 o 282006058 92.04/61.70 o 282006055 92.14/61.71 o 282006054 92.14/61.72 o 282006053 92.14/61.73 o 282006052 92.14/61.74 o 282006051 93.65/62.57 o 281990505 93.75/62.60 o 281990501 93.75/62.62 o 281990499 93.75/62.64 o 281990495 93.75/62.66 o 281990493 93.75/62.68 o 281990492 93.85/62.70 o 281990490 93.85/62.73 o 281990489 93.85/62.77 o 281990486 93.85/62.79 o 281990484 93.95/62.81 o 281990482 93.95/62.83 o 281990480 93.95/62.85 o 281990479 93.95/62.85 o 281990477 93.95/62.89 o 281990474 94.05/62.90 o 281990471 94.05/62.94 o 281990470 94.05/63.00 o 281990469 94.16/63.05 o 281974867 94.16/63.07 o 281974866 94.16/63.08 o 281974863 94.16/63.08 o 281974862 94.16/63.10 o 281974860 94.26/63.11 o 281974859 94.26/63.14 o 281974858 94.26/63.14 o 281974857 94.26/63.15 o 281974854 94.26/63.16 o 281974853 94.35/63.20 o 281974852 94.35/63.21 o 281974851 94.35/63.27 o 281974850 94.35/63.28 o 281974849 94.35/63.29 o 281974848 94.45/63.30 o 281974846 94.45/63.32 o 281974845 94.45/63.33 o 281974843 94.45/63.33 o 281974842 94.45/63.38 o 281959284 94.55/63.40 o 281959280 94.55/63.42 o 281959278 94.55/63.45 o 281959277 94.55/63.46 o 281959274 94.55/63.47 o 281959272 94.65/63.51 o 281959271 94.65/63.53 o 281959269 94.65/63.53 o 281959265 94.75/63.61 o 281959264 94.75/63.61 o 281959262 94.75/63.63 o 281943666 94.75/63.64 o 281943662 94.75/63.65 o 281943659 94.75/63.66 o 281943657 94.75/63.67 o 281943656 94.75/63.67 o 281943653 94.86/63.70 o 281943651 94.86/63.73 o 281943649 94.86/63.74 o 281943647 94.86/63.77 o 281943644 94.86/63.79 o 281943641 94.96/63.80 o 281943638 94.96/63.84 o 281943637 94.96/63.87 o 281943636 94.96/63.88 o 281943634 95.06/63.90 o 281943633 95.06/63.91 o 281943632 95.06/63.92 o 281943629 95.06/63.93 o 281943628 95.06/63.94 o 281943627 95.06/63.95 o 281943625 95.06/63.97 o 281943621 95.06/64.00 o 281943619 95.47/64.39 o 281928042 95.57/64.40 o 281928041 95.57/64.42 o 281928033 95.57/64.44 o 281928032 95.57/64.45 o 281928031 95.57/64.49 o 281928024 95.67/64.50 o 281928023 97.76/66.32 o 281928008 97.76/66.33 o 281928007 97.76/66.34 o 281928001 97.76/66.35 o 281928000 97.76/66.36 o 281927998 97.76/66.36 o 281927997 97.76/66.36 o 281927996 97.76/66.37 o 281927995 97.86/66.49 o 281927992 97.86/66.49 o 281927991 97.96/66.50 o 281927990 98.16/66.77 o 281912400 98.16/66.77 o 281912399 98.16/66.77 o 281912398 98.16/66.78 o 281912396 98.16/66.79 o 281912395 98.16/66.79 o 281912394 98.26/66.80 o 281912393 98.26/66.81 o 281912392 98.26/66.81 o 281912389 98.26/66.82 o 281912388 98.26/66.83 o 281912387 98.26/66.88 o 281912386 98.26/66.89 o 281912380 98.36/66.90 o 281912376 98.36/66.90 o 281912375 98.36/66.92 o 281896782 98.36/66.92 o 281896781 98.36/66.92 o 281896776 98.36/66.93 o 281896775 98.36/66.94 o 281896772 98.36/66.94 o 281896771 98.36/66.97 o 281896770 98.47/67.01 o 281896769 98.47/67.02 o 281896768 98.47/67.03 o 281896765 98.47/67.03 o 281896764 98.47/67.04 o 281896763 98.47/67.05 o 281896762 98.47/67.05 o 281896760 98.47/67.05 o 281896759 98.47/67.07 o 281896758 98.57/67.16 o 281896757 98.57/67.17 o 281896756 98.57/67.17 o 281896755 98.57/67.17 o 281896754 98.57/67.18 o 281896753 98.66/67.23 o 281881165 98.66/67.23 o 281881164 98.66/67.24 o 281881163 98.66/67.24 o 281881161 98.66/67.25 o 281881160 98.66/67.25 o 281881159 98.66/67.25 o 281881158 98.66/67.26 o 281881155 98.66/67.26 o 281881154 98.66/67.27 o 281881153 98.66/67.28 o 281881152 98.76/67.31 o 281881149 98.76/67.32 o 281881148 98.76/67.32 o 281881147 98.76/67.32 o 281881143 98.76/67.32 o 281881142 98.76/67.34 o 281881141 98.76/67.35 o 281865545 98.76/67.35 o 281865544 98.76/67.35 o 281865543 98.76/67.35 o 281865539 98.76/67.35 o 281865538 98.76/67.36 o 281865537 98.76/67.36 o 281865536 98.76/67.36 o 281865535 98.76/67.36 o 281865534 98.76/67.36 o 281865533 98.76/67.36 o 281865532 98.76/67.37 o 281865531 98.76/67.37 o 281865530 98.76/67.37 o 281865529 98.86/67.40 o 281865527 98.86/67.40 o 281865526 98.86/67.40 o 281865525 98.86/67.42 o 281865524 98.86/67.49 o 281849936 98.86/67.50 o 281849935 98.96/67.51 o 281849930 98.96/67.51 o 281849929 98.96/67.52 o 281849926 98.96/67.53 o 281849925 98.96/67.54 o 281849924 105.28/73.62 o 281521939 105.28/73.64 o 281521933 105.28/73.68 o 281506329 105.38/73.70 o 281506323 105.38/73.73 o 281490725 105.38/73.75 o 281490719 105.38/73.79 o 281475127 105.48/73.81 o 281475121 105.48/73.86 o 281475119 105.58/73.91 o 281475118 105.58/73.93 o 281475112 105.58/73.95 o 281475110 105.58/73.97 o 281459514 105.58/73.99 o 281459508 105.68/74.02 o 281459506 105.68/74.05 o 281459502 105.68/74.07 o 281459500 107.29/75.69 o 281428262 107.78/75.83 o 281428254 107.78/75.86 o 281428248 108.05/76.02 o 281428243 108.16/76.13 o 281428240 108.25/76.20 o 281428239 108.25/76.28 o 281397022 108.35/76.31 o 281397014 108.35/76.36 o 281397009 108.45/76.43 o 281397006 108.45/76.48 o 281397005 108.55/76.57 o 281397004 108.65/76.65 o 281397001 108.75/76.70 o 281397000 108.75/76.76 o 281396999 108.85/76.82 o 281396998 109.84/77.72 o 281396964 109.84/77.73 o 281396963 109.84/77.76 o 281381354 109.84/77.76 o 281381353 109.94/77.81 o 281381348 109.94/77.84 o 281381347 110.04/77.92 o 281381346 110.04/77.95 o 281350125 110.04/77.98 o 281350119 111.55/79.44 o 281350116 111.55/79.45 o 281350115 111.55/79.46 o 281350114 111.55/79.48 o 281350113 111.65/79.51 o 281350112 111.65/79.53 o 281350111 111.65/79.57 o 281334501 111.65/79.59 o 281334500 111.75/79.60 o 281334499 111.75/79.65 o 281318889 111.75/79.66 o 281318888 111.75/79.67 o 281318887 111.85/79.71 o 281303278 111.85/79.71 o 281303277 111.85/79.71 o 281303276 111.85/79.72 o 281303275 111.85/79.76 o 281287665 111.85/79.77 o 281287664 111.95/79.82 o 281272053 111.95/79.82 o 281272052 111.95/79.86 o 281272051 112.05/79.96 o 281256443 112.05/79.98 o 281256442 112.16/80.02 o 281256441 112.16/80.04 o 281256435 112.16/80.06 o 281256434 112.16/80.09 o 281256433 112.26/80.14 o 281240832 112.26/80.15 o 281240831 112.26/80.18 o 281240830 112.35/80.20 o 281240828 112.35/80.20 o 281240827 112.35/80.22 o 281240826 112.35/80.23 o 281240824 112.35/80.25 o 281240823 112.35/80.26 o 281240822 112.55/80.40 o 281240821 112.55/80.45 o 281240820 112.55/80.48 o 281225213 112.55/80.49 o 281225212 112.65/80.51 o 281225211 112.65/80.53 o 281225210 113.57/81.49 o 281225208 113.67/81.52 o 281209597 113.67/81.55 o 281193987 113.67/81.57 o 281178376 113.77/81.60 o 281178370 113.77/81.65 o 281162763 113.77/81.68 o 281147152 113.87/81.70 o 281147146 114.97/82.82 o 281147145 115.07/82.93 o 281147144 118.63/86.40 o 281147137 118.63/86.45 o 281147131 118.73/86.52 o 281147129 118.73/86.56 o 281147116 118.73/86.58 o 281147110 118.83/86.61 o 281147108 118.94/86.77 o 281147107 119.04/86.81 o 281147105 120.02/87.11 o 281147101 120.02/87.14 o 281147099 120.11/87.27 o 281147098 120.21/87.37 o 281131541 120.21/87.39 o 281131530 120.31/87.42 o 281131526 120.31/87.46 o 281131524 120.31/87.49 o 281131520 120.41/87.51 o 281131518 120.41/87.53 o 281131517 120.41/87.56 o 281131515 120.41/87.57 o 281131511 120.51/87.61 o 281131509 120.61/87.71 o 281131508 121.71/88.88 o 281131506 121.81/88.97 o 281131503 121.92/89.04 o 281131502 121.92/89.07 o 281131498 122.11/89.22 o 281131497 122.11/89.24 o 281131493 122.21/89.32 o 281131492 122.31/89.41 o 281131491 124.83/91.90 o 281115913 124.94/92.03 o 281115910 124.94/92.10 o 281115903 125.14/92.21 o 281100295 125.14/92.25 o 281100292 125.64/92.74 o 281100291 125.64/92.76 o 281100290 125.64/92.79 o 281084678 125.74/92.81 o 281084677 125.74/92.83 o 281084675 125.74/92.86 o 281084674 125.74/92.89 o 281069062 125.84/92.90 o 281069061 125.84/92.93 o 281069057 125.84/92.96 o 281069056 125.84/92.99 o 281053444 125.94/93.01 o 281053443 125.94/93.04 o 281053441 125.94/93.06 o 281053440 125.94/93.08 o 281053435 125.94/93.10 o 281053434 126.05/93.12 o 281053433 126.05/93.14 o 281037825 126.05/93.16 o 281037824 126.05/93.18 o 281037817 126.14/93.20 o 281037816 126.14/93.22 o 281037815 126.14/93.27 o 281022207 126.14/93.29 o 281022206 126.24/93.32 o 281022202 126.24/93.33 o 281022201 126.24/93.37 o 281006586 126.24/93.39 o 281006585 126.34/93.45 o 280990973 126.34/93.47 o 280990972 126.44/93.50 o 280990970 126.44/93.52 o 280990969 126.44/93.53 o 280990964 126.44/93.55 o 280990963 126.44/93.57 o 280990962 126.44/93.59 o 280975359 126.54/93.61 o 280975358 126.54/93.62 o 280975354 126.54/93.64 o 280975353 126.54/93.67 o 280975346 126.54/93.69 o 280975345 126.64/93.72 o 280975344 126.64/93.74 o 280975343 126.74/93.81 o 280959728 126.74/93.83 o 280959727 126.74/93.85 o 280959726 126.74/93.88 o 280959725 126.84/93.93 o 280959724 126.84/93.95 o 280959723 126.84/93.99 o 280944115 126.94/94.01 o 280944114 126.94/94.02 o 280944113 126.94/94.04 o 280944110 126.94/94.08 o 280944109 126.94/94.10 o 280944108 127.04/94.12 o 280944107 131.45/98.53 o 280928512 131.45/98.54 o 280928511 131.45/98.59 o 280928500 131.55/98.67 o 280912883 131.65/98.79 o 280897272 131.75/98.82 o 280897271 131.85/98.91 o 280897267 131.85/98.93 o 280881663 131.85/98.99 o 280881662 131.96/99.02 o 280881649 132.06/99.11 o 280866045 132.06/99.19 o 280866030 132.15/99.20 o 280866029 132.15/99.23 o 280866017 132.15/99.26 o 280850413 132.15/99.29 o 280850412 132.25/99.33 o 280850408 132.25/99.35 o 280834804 132.35/99.42 o 280834797 132.45/99.51 o 280819189 132.55/99.62 o 280819179 132.55/99.69 o 280803575 132.75/99.83 o 280803564 132.75/99.84 o 280803563 133.15/100.22 o 280787977 133.15/100.22 o 280787976 133.15/100.24 o 280787974 133.15/100.26 o 280787969 133.15/100.26 o 280772360 133.15/100.27 o 280772347 133.15/100.29 o 280756738 133.25/100.33 o 280756737 133.25/100.37 o 280756731 133.25/100.37 o 280756730 133.25/100.37 o 280741122 133.25/100.37 o 280741121 134.79/101.20 o 280725516 134.79/101.23 o 280725515 134.79/101.27 o 280725514 134.79/101.29 o 280725513 134.89/101.32 o 280725511 134.89/101.33 o 280725510 134.89/101.34 o 280709902 134.89/101.34 o 280709901 134.99/101.47 o 280709900 135.09/101.50 o 280709899 135.19/101.68 o 280709891 135.29/101.70 o 280709890 142.72/109.17 o 280709889 142.81/109.22 o 280709888 142.81/109.27 o 280694277 142.91/109.34 o 280678662 142.91/109.37 o 280678661 143.01/109.41 o 280663050 143.11/109.50 o 280663046 143.11/109.54 o 280663045 146.88/112.70 o 280647436 147.03/112.73 o 280647435 147.03/112.79 o 280647430 147.13/112.80 o 280631819 147.13/112.83 o 280631818 147.23/112.92 o 280631817 147.23/112.97 o 280631812 147.23/112.98 o 280631811 147.34/113.01 o 280616201 147.34/113.07 o 280616200 147.44/113.16 o 280616199 147.53/113.24 o 280616198 148.03/113.78 o 280553847 148.13/113.86 o 280522615 148.23/113.95 o 280522614 148.23/113.99 o 280522613 148.34/114.04 o 280507000 148.44/114.12 o 280475768 148.44/114.19 o 280475767 149.35/115.06 o 280475760 149.35/115.07 o 280475759 149.45/115.11 o 280444529 149.45/115.13 o 280444528 149.45/115.15 o 280444527 149.54/115.24 o 280428907 149.54/115.26 o 280428906 150.24/115.91 o 280428904 150.24/115.94 o 280428903 150.24/115.96 o 280428901 150.24/115.99 o 280428898 150.35/116.09 o 280428895 150.45/116.12 o 280428894 150.45/116.16 o 280428891 150.45/116.17 o 280428890 150.54/116.20 o 280428889 153.16/118.88 o 280428887 153.27/118.92 o 280428886 153.27/118.96 o 280428885 153.38/119.05 o 280413288 153.38/119.08 o 280413287 153.48/119.12 o 280413286 153.48/119.17 o 280413279 153.48/119.19 o 280413278 153.57/119.22 o 280413277 154.17/119.81 o 280413273 154.17/119.83 o 280413272 154.27/119.96 o 280397668 154.27/119.98 o 280397667 154.27/120.00 o 280397665 154.38/120.01 o 280397664 154.38/120.04 o 280397656 154.38/120.07 o 280397655 154.48/120.14 o 280382063 154.48/120.16 o 280382060 154.48/120.18 o 280382059 157.53/123.15 o 280382058 157.53/123.17 o 280382057 157.53/123.19 o 280382056 157.62/123.25 o 280382054 157.72/123.30 o 280382053 157.72/123.36 o 280382052 157.72/123.39 o 280382051 157.82/123.47 o 280382050 157.82/123.49 o 280382049 161.48/126.13 o 280366440 161.48/126.19 o 280366438 161.57/126.27 o 280350833 161.57/126.27 o 280350830 161.67/126.30 o 280335222 161.67/126.33 o 280335219 161.67/126.37 o 280335217 161.77/126.46 o 280335215 161.77/126.47 o 280319605 161.87/126.50 o 280319603 161.97/126.69 o 280319602 163.27/127.97 o 280319600 166.20/130.89 o 280319599 166.30/130.91 o 280319598 166.30/130.91 o 280319595 166.30/130.93 o 280319594 166.30/131.00 o 280319593 166.41/131.01 o 280319592 166.41/131.06 o 280319591 166.41/131.08 o 280319590 166.51/131.17 o 280319589 170.13/134.74 o 280304029 170.23/134.81 o 280304026 170.33/134.92 o 280304024 170.44/135.02 o 280304023 173.73/137.57 o 280304009 173.73/137.58 o 280304003 173.73/137.59 o 280304002 173.83/137.61 o 280304001 173.83/137.62 o 280304000 173.83/137.63 o 280303994 173.83/137.65 o 280303993 173.83/137.66 o 280303992 173.83/137.68 o 280303991 173.93/137.78 o 280303990 174.23/138.01 o 280303988 174.23/138.03 o 280303987 174.23/138.04 o 280303986 174.23/138.09 o 280303985 174.33/138.15 o 280303984 174.42/138.21 o 280303983 174.42/138.25 o 280303982 174.52/138.31 o 280288400 174.52/138.33 o 280288394 174.52/138.36 o 280288393 174.62/138.40 o 280288392 174.62/138.42 o 280288391 174.62/138.45 o 280288385 174.62/138.47 o 280288384 174.62/138.50 o 280288383 174.72/138.53 o 280288382 174.82/138.64 o 280288381 174.82/138.68 o 280288380 174.92/138.73 o 280288379 174.92/138.78 o 280288378 175.92/139.80 o 280288371 178.67/142.40 o 280288356 178.67/142.44 o 280288354 178.67/142.48 o 280288352 178.77/142.52 o 280288351 178.77/142.54 o 280288349 178.77/142.58 o 280288348 178.87/142.66 o 280272743 178.87/142.69 o 280272741 178.97/142.71 o 280272739 178.97/142.74 o 280272738 178.97/142.75 o 280272736 179.07/142.81 o 280257133 179.07/142.81 o 280257131 179.07/142.81 o 280257129 179.07/142.82 o 280257128 179.07/142.85 o 280257126 179.07/142.87 o 280257125 179.17/142.96 o 280241521 179.17/142.96 o 280241519 179.17/142.98 o 280241517 179.17/142.98 o 280241516 179.17/142.99 o 280241514 179.38/143.16 o 280225924 179.38/143.19 o 280225922 179.47/143.21 o 280225921 179.47/143.23 o 280225919 179.47/143.25 o 280225918 179.57/143.34 o 280225909 179.57/143.35 o 280225907 179.57/143.37 o 280225906 179.57/143.37 o 280225904 179.67/143.48 o 280225903 179.77/143.53 o 280225902 179.87/143.62 o 280225900 179.87/143.67 o 280225899 179.97/143.70 o 280225898 179.97/143.74 o 280225897 179.97/143.76 o 280225896 179.97/143.78 o 280225895 180.79/144.50 o 280210317 180.79/144.51 o 280210308 180.79/144.54 o 280210305 180.89/144.60 o 280210304 180.89/144.69 o 280210303 181.09/144.88 o 280210302 181.19/144.94 o 280210301 181.19/144.99 o 280210300 181.30/145.04 o 280210298 181.30/145.08 o 280210297 181.40/145.17 o 280210296 181.40/145.19 o 280210295 181.49/145.22 o 280210294 181.49/145.25 o 280210293 181.49/145.28 o 280210291 181.59/145.30 o 280210290 183.19/146.92 o 280194681 183.19/147.00 o 280194679 183.30/147.08 o 280194678 183.40/147.16 o 280179068 183.49/147.22 o 280179066 184.54/148.23 o 280163469 184.54/148.23 o 280163463 184.64/148.30 o 280163462 184.64/148.38 o 280163457 184.74/148.44 o 280163456 184.84/148.54 o 280147854 184.84/148.54 o 280147848 185.87/148.82 o 280147847 185.98/148.91 o 280147835 185.98/148.92 o 280147827 186.98/149.92 o 280100996 186.98/149.95 o 280100995 187.19/150.16 o 280085385 187.38/150.34 o 280085384 187.78/150.70 o 280069774 189.19/152.18 o 280069773 189.38/152.34 o 280054156 189.48/152.45 o 280054155 190.29/153.29 o 280038554 190.39/153.34 o 280038553 190.49/153.44 o 280038551 190.59/153.57 o 280038550 190.69/153.65 o 280038542 190.79/153.76 o 280038541 190.89/153.81 o 280038540 190.99/153.93 o 280038539 191.29/154.25 o 280038531 191.29/154.29 o 280038530 191.39/154.33 o 280038529 191.39/154.37 o 280038528 191.49/154.40 o 280038527 191.49/154.46 o 280038526 191.59/154.53 o 280022919 191.59/154.57 o 280022917 196.66/158.83 o 280022916 196.66/158.88 o 280022897 196.76/158.91 o 280022896 196.76/158.94 o 280022895 197.06/159.29 o 280022885 197.16/159.32 o 280022884 197.16/159.39 o 280022883 197.46/159.63 o 280022882 198.57/160.74 o 280007271 200.08/162.29 o 279991644 200.18/162.38 o 279991643 200.28/162.47 o 279991642 200.38/162.56 o 279976036 200.48/162.60 o 279976035 200.48/162.67 o 279976034 200.58/162.75 o 279976033 200.68/162.83 o 279976032 200.78/162.91 o 279976031 200.78/162.98 o 279960424 200.88/163.04 o 279960423 200.88/163.10 o 279960422 201.38/163.54 o 279897952 201.38/163.56 o 279882339 201.38/163.58 o 279882336 201.48/163.65 o 279882335 201.58/163.73 o 279866729 201.58/163.77 o 279866726 201.78/163.90 o 279866725 201.78/164.00 o 279835487 201.89/164.09 o 279819872 201.99/164.18 o 279819869 202.08/164.26 o 279819868 202.28/164.44 o 279819864 202.38/164.51 o 279819863 202.38/164.59 o 279819860 202.58/164.70 o 279804255 202.58/164.74 o 279804254 202.68/164.80 o 279804252 202.68/164.83 o 279804251 202.88/165.03 o 279804238 202.88/165.05 o 279804237 203.58/165.73 o 279804236 203.68/165.83 o 279804233 203.78/165.99 o 279804230 203.99/166.16 o 279804228 204.18/166.34 o 279804227 204.28/166.43 o 279804226 204.48/166.63 o 279804225 204.68/166.81 o 279804222 204.78/166.94 o 279804220 207.05/168.26 o 279788616 207.15/168.30 o 279757384 207.25/168.42 o 279757383 207.35/168.52 o 279757382 207.65/168.81 o 279757377 208.45/169.60 o 279726156 208.45/169.68 o 279726152 208.65/169.80 o 279726151 208.75/169.93 o 279726148 208.86/170.07 o 279726147 209.05/170.20 o 279726146 210.25/171.41 o 279710545 210.35/171.56 o 279710544 210.75/171.95 o 279710543 213.88/174.92 o 279710529 214.09/175.13 o 279710516 214.09/175.19 o 279710515 214.18/175.27 o 279694911 214.28/175.39 o 279694906 214.38/175.40 o 279694905 214.48/175.50 o 279679302 214.58/175.62 o 279679301 214.68/175.73 o 279679297 217.95/178.11 o 279679288 218.04/178.24 o 279679286 218.14/178.31 o 279679285 218.24/178.42 o 279663686 218.24/178.50 o 279663678 218.34/178.51 o 279663677 218.44/178.60 o 279663676 218.85/179.08 o 279648073 218.95/179.11 o 279648072 219.04/179.24 o 279648069 219.14/179.35 o 279648068 219.34/179.55 o 279648061 219.44/179.65 o 279632451 219.85/180.05 o 279616859 219.85/180.09 o 279616858 220.04/180.21 o 279616853 220.04/180.30 o 279616849 220.34/180.54 o 279616843 220.65/180.89 o 279585682 220.75/180.91 o 279585679 220.86/181.04 o 279585678 220.96/181.12 o 279585676 220.96/181.20 o 279585674 221.05/181.27 o 279585671 221.15/181.35 o 279585670 221.25/181.45 o 279570077 221.35/181.51 o 279570075 221.35/181.57 o 279570072 221.45/181.67 o 279570070 221.55/181.70 o 279570068 221.55/181.74 o 279570065 221.65/181.80 o 279570064 221.65/181.89 o 279570063 221.75/181.95 o 279570059 221.75/182.00 o 279570058 221.86/182.03 o 279570056 221.86/182.08 o 279570055 221.96/182.18 o 279554450 222.05/182.22 o 279554449 222.05/182.24 o 279554447 222.15/182.34 o 279554442 222.15/182.37 o 279554439 222.25/182.40 o 279554438 223.45/183.61 o 279554437 223.55/183.70 o 279538825 223.55/183.77 o 279538824 223.96/184.13 o 279523213 223.96/184.19 o 279523212 225.05/185.26 o 279523209 225.15/185.32 o 279523208 225.15/185.35 o 279523207 225.35/185.55 o 279523206 225.45/185.64 o 279523205 225.45/185.66 o 279523204 225.45/185.67 o 279523203 225.55/185.78 o 279507617 225.65/185.85 o 279507606 225.75/185.91 o 279507603 225.75/185.97 o 279507602 225.75/186.00 o 279507595 226.82/186.36 o 279507594 228.01/187.31 o 279491994 228.01/187.35 o 279491990 228.11/187.43 o 279491989 228.11/187.49 o 279491988 228.21/187.57 o 279491986 228.31/187.62 o 279491982 228.31/187.66 o 279491981 228.41/187.70 o 279491980 229.04/188.37 o 279491969 229.14/188.44 o 279491968 229.44/188.79 o 279476363 229.54/188.83 o 279476359 229.54/188.88 o 279476358 229.74/189.06 o 279476352 229.74/189.10 o 279476351 229.94/189.23 o 279460753 229.94/189.24 o 279460749 229.94/189.26 o 279460748 230.04/189.33 o 279460742 230.04/189.35 o 279460741 230.34/189.64 o 279445132 230.34/189.66 o 279445131 231.17/190.41 o 279445128 231.17/190.44 o 279445127 231.17/190.49 o 279445126 231.27/190.53 o 279445125 231.57/190.82 o 279429515 231.57/190.89 o 279429514 231.67/190.93 o 279429513 231.88/191.19 o 279429512 232.17/191.40 o 279429511 232.17/191.48 o 279429510 232.78/192.02 o 279335765 232.78/192.05 o 279320145 232.88/192.12 o 279320143 232.88/192.17 o 279320141 232.97/192.21 o 279320139 232.97/192.24 o 279320138 233.07/192.30 o 279320136 233.07/192.37 o 279304530 233.17/192.42 o 279304527 233.17/192.48 o 279304525 233.27/192.53 o 279304524 233.27/192.58 o 279304521 233.37/192.68 o 279304519 233.48/192.75 o 279304517 233.58/192.81 o 279304516 233.58/192.84 o 279304513 233.68/192.92 o 279304511 233.68/193.00 o 279304498 233.78/193.04 o 279304494 233.78/193.10 o 279304491 233.88/193.17 o 279304490 233.98/193.24 o 279288881 233.98/193.28 o 279288877 234.08/193.33 o 279288874 234.08/193.38 o 279288873 234.18/193.47 o 279273325 235.18/194.41 o 279273319 235.18/194.41 o 279273318 235.48/194.74 o 279273317 235.48/194.78 o 279273316 235.68/194.99 o 279273315 235.79/195.03 o 279242103 235.79/195.05 o 279242096 238.06/196.40 o 279226514 238.06/196.45 o 279226510 238.06/196.49 o 279226503 238.16/196.55 o 279226502 238.36/196.74 o 279226499 238.46/196.84 o 279226498 238.46/196.90 o 279226495 238.56/196.95 o 279226492 238.56/196.97 o 279226491 238.67/197.05 o 279226488 238.77/197.19 o 279226485 239.36/197.75 o 279101555 239.36/197.79 o 279070300 239.56/197.99 o 279054661 239.68/198.08 o 279054660 239.78/198.19 o 279039063 239.87/198.23 o 279023423 239.97/198.32 o 279023422 240.97/199.36 o 279007813 241.07/199.42 o 279007812 241.17/199.50 o 279007811 241.27/199.62 o 278992194 242.78/201.14 o 278960974 242.87/201.22 o 278960971 242.87/201.27 o 278960967 243.07/201.44 o 278945351 243.17/201.55 o 278945347 243.37/201.79 o 278945346 243.47/201.87 o 278945342 246.47/204.84 o 278945339 246.78/205.16 o 278945338 250.68/208.20 o 278945335 250.78/208.30 o 278945334 250.78/208.33 o 278945333 250.88/208.41 o 278945331 250.88/208.44 o 278945330 250.88/208.47 o 278945329 251.08/208.60 o 278945327 251.08/208.64 o 278945326 251.18/208.76 o 278945325 251.28/208.87 o 278945322 251.38/208.95 o 278945321 251.49/209.04 o 278945320 251.49/209.10 o 278945316 251.59/209.13 o 278945315 251.59/209.16 o 278945314 251.68/209.25 o 278945311 251.68/209.28 o 278945310 251.78/209.37 o 278945309 251.88/209.49 o 278945308 252.08/209.60 s SATISFIABLE 252.08/209.61 v <instantiation> 252.08/209.61 v <list> 252.08/209.61 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] 252.08/209.61 v </list> 252.08/209.61 v <values> 252.08/209.61 v 2612 2544 2340 2476 2452 2456 2560 2524 2604 2452 2472 2492 2524 2520 2476 2520 2500 2520 2428 2520 2512 2456 2476 2408 2484 2568 2436 2412 2476 2656 2548 2564 2500 2524 2524 2408 2600 2516 2628 2476 2516 2484 2544 2552 2520 2476 2584 2524 2412 2564 2532 2572 2568 2480 2552 2524 2508 2516 2556 2572 2516 2472 2388 2532 2528 2520 2572 2572 2532 2432 2608 2412 2380 2480 2408 2560 2528 2616 2552 2412 2624 2420 2544 2564 2496 2600 2536 2496 2524 2380 2520 2624 2268 2524 2568 2528 2440 2556 2472 2528 2572 2200 2560 2460 2484 2452 2568 2624 2504 2572 2368 2548 2620 2588 2588 2588 2532 2620 2444 2620 2568 2588 2636 2568 2564 2572 2520 2564 2580 2504 2556 2452 2500 2456 2480 2480 2556 2592 2596 2564 2424 2540 2580 2492 2544 2476 2624 2592 2516 2308 2520 2532 2556 2596 2440 2676 2564 2584 2456 2512 2484 2512 2484 2540 2408 2568 2440 2656 2496 2488 2524 2536 2532 2536 2616 2520 2556 2552 2528 2484 2444 2544 2560 2564 2540 2564 2524 2640 2584 2532 2468 2564 2560 2564 2540 2680 2604 2460 2480 2512 2532 2496 2528 2584 2528 2532 2520 2444 2452 2436 2580 2472 2480 2368 2488 2528 2568 2516 2516 2544 2544 2436 2552 2520 2492 2524 2368 2492 2480 2628 2596 2584 2552 2628 2564 2584 2436 2580 2512 2512 2572 2656 2568 2484 2500 2560 2464 2480 2580 2500 2524 2500 2592 2524 2664 2476 2572 2452 2496 2508 2536 2496 2528 2412 2524 2492 2604 2564 2612 2368 2240 2504 2668 2628 2528 2532 2504 2516 2540 2616 2536 2532 2536 2484 2496 2576 2516 2416 2604 2560 2372 2480 2412 2476 2400 2472 2576 2432 2540 2476 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 11 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 0 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 10 10 10 10 10 10 10 10 0 8 10 10 6 10 0 10 0 8 10 6 10 10 9 3 10 10 1 10 10 10 9 10 10 10 10 10 10 10 7 10 10 10 10 10 10 10 10 10 10 10 10 8 10 0 10 10 8 10 10 5 10 10 4 10 10 10 10 8 7 1 10 10 10 10 10 10 10 10 10 10 10 10 10 6 10 10 10 10 10 8 1 0 1 10 10 8 0 10 2 10 6 10 0 10 0 10 9 7 9 0 10 10 10 10 5 7 10 10 10 10 10 10 10 8 10 1 0 10 10 10 10 0 0 8 8 6 10 8 10 9 3 10 10 3 9 10 10 10 10 10 6 10 10 10 10 4 10 0 4 9 8 10 10 10 0 10 10 10 10 6 10 10 2 10 10 10 8 10 10 10 10 10 10 10 8 1 10 0 8 10 10 10 10 2 10 10 0 10 10 7 10 0 9 10 1 10 6 10 9 10 10 10 10 4 10 10 10 10 10 2 0 10 10 10 8 1 10 10 7 10 10 1 10 10 10 10 5 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 1 10 10 9 10 4 10 10 10 0 10 10 0 0 10 10 10 6 10 10 10 10 10 10 10 10 10 10 10 8 10 10 10 10 3 10 10 10 10 1 10 8 10 6 6 10 10 10 10 0 0 10 10 0 9 10 10 10 10 0 10 9 1 1 10 3 10 10 9 10 10 10 9 10 10 10 10 10 8 1 10 10 0 10 3 10 10 6 10 10 10 10 4 5 3 10 10 10 10 10 10 10 4 0 0 10 10 7 8 10 10 10 8 10 10 10 1 0 10 10 7 10 0 10 10 1 10 10 0 10 10 10 10 6 2 0 1 10 7 0 10 3 0 6 10 10 10 0 0 4 10 10 7 8 6 1 10 3 0 10 10 0 10 9 10 0 6 10 0 0 10 10 10 10 3 10 0 10 5 0 10 8 5 4 1 10 10 8 0 10 4 10 2 5 7 4 0 10 9 6 0 10 10 0 1 10 0 0 8 10 6 0 10 2 1 7 10 0 1 10 0 0 10 10 0 9 7 10 10 10 0 0 0 1 10 10 10 0 0 0 10 3 1 10 0 10 0 5 10 0 10 10 0 10 0 10 10 10 0 10 0 0 10 0 1 1 10 0 10 7 7 7 10 10 10 10 10 0 10 0 10 10 10 10 10 1 10 10 10 0 0 1 0 10 10 10 10 1 0 10 3 5 10 0 0 0 3 0 0 10 0 10 0 10 0 10 7 0 1 10 10 10 0 6 10 10 10 10 10 5 6 10 0 1 10 1 1 10 10 9 10 5 2 2 0 0 2 5 10 10 0 0 0 10 0 0 10 0 0 0 0 0 9 10 0 0 0 1 10 10 9 0 0 10 10 5 10 10 0 1 9 0 10 10 0 10 10 0 7 7 0 10 10 10 0 0 0 10 10 10 0 10 0 10 4 10 0 10 0 8 10 10 10 1 7 10 10 10 10 0 9 0 10 10 0 0 1 0 10 3 10 7 0 10 10 10 4 10 10 9 0 10 7 6 0 10 10 9 0 10 10 10 10 10 10 0 10 9 10 7 2 10 0 6 10 1 10 10 7 0 0 10 10 10 8 0 0 10 7 6 0 4 10 2 1 5 0 1 1 10 7 8 6 10 10 10 6 5 10 10 10 4 10 10 9 0 8 0 10 9 10 0 10 10 10 0 0 10 1 1 10 10 8 10 5 0 1 0 10 10 10 1 5 10 10 0 10 1 0 10 10 6 10 10 10 8 0 4 10 4 10 1 9 10 10 10 9 0 10 0 0 0 10 8 1 6 10 10 1 9 10 0 0 10 5 10 0 0 10 0 0 10 10 0 10 0 10 10 0 0 10 0 0 9 1 10 1 10 10 0 7 0 10 10 0 10 0 1 1 10 3 6 0 7 8 7 10 10 10 0 1 0 1 8 10 0 10 10 7 0 0 8 10 4 10 10 10 10 0 0 10 0 10 10 0 0 4 10 10 10 7 10 10 10 5 0 10 6 8 8 8 10 10 10 7 10 0 0 10 10 10 10 10 10 3 10 10 10 9 10 10 10 1 9 10 10 5 10 10 0 10 10 10 10 10 10 10 6 10 9 1 9 10 10 10 10 8 0 0 0 10 3 10 10 10 0 0 1 10 10 10 10 10 10 3 10 9 0 0 0 4 1 10 10 5 0 10 10 0 10 0 0 7 0 7 3 6 9 10 10 10 10 10 0 1 2 0 10 0 10 10 0 0 1 0 10 10 0 10 10 1 10 0 1 0 4 0 10 0 1 0 0 9 10 3 10 10 5 0 8 3 1 0 10 10 10 10 8 10 0 9 10 6 1 0 1 10 10 1 0 8 10 0 0 8 10 10 10 0 0 7 10 3 10 1 10 10 1 6 10 10 10 10 9 0 0 8 1 6 2 10 1 10 9 6 0 1 10 0 2 10 10 10 10 1 10 6 0 10 10 10 8 0 10 4 10 5 6 0 10 10 10 5 1 4 5 0 9 2 10 10 1 0 0 6 0 9 10 10 10 0 0 10 10 0 10 10 0 10 9 10 6 10 10 0 0 0 3 10 4 0 0 6 10 1 10 10 10 0 7 1 10 0 10 10 7 10 10 5 0 1 10 0 0 1 0 10 10 1 10 3 10 7 10 10 10 10 10 0 7 0 10 10 0 10 10 10 10 10 10 0 10 8 10 10 0 10 1 1 10 1 0 10 10 1 10 10 10 10 10 9 10 10 0 6 3 10 1 0 0 1 10 0 0 1 10 10 10 0 10 6 4 6 10 5 10 1 10 10 10 0 7 0 1 6 10 2 0 10 7 10 1 10 10 5 1 10 10 10 0 0 10 0 3 10 0 10 0 3 6 5 3 10 2 7 5 10 10 0 0 9 10 2 10 0 10 1 8 1 10 8 10 10 10 0 10 10 10 1 10 10 10 10 8 0 1 9 10 0 0 10 9 0 0 1 10 10 10 10 10 0 1 10 1 10 10 1 10 0 10 10 0 0 10 10 10 10 10 10 9 0 4 10 10 10 10 10 7 10 0 0 0 1 9 9 0 4 10 0 10 10 7 10 10 10 8 8 10 0 10 10 0 10 0 0 10 10 10 10 0 10 0 10 10 8 1 3 3 10 8 10 0 10 4 0 10 10 10 10 0 1 1 0 1 10 10 10 1 10 10 9 9 10 10 10 9 10 10 9 10 8 10 10 10 9 7 10 0 10 9 10 9 10 10 1 0 4 10 0 0 0 10 10 10 10 0 8 10 0 10 10 0 0 10 1 8 10 1 0 7 0 10 10 10 7 10 0 10 10 10 10 10 10 7 8 1 10 10 10 10 10 10 10 10 1 10 10 3 3 10 0 10 3 10 10 4 1 10 9 1 10 10 10 10 1 10 0 10 10 10 10 0 10 10 7 1 10 3 0 6 10 1 4 10 10 9 1 10 0 0 1 10 10 1 0 10 10 136 92 132 56 4 16 116 0 4 52 32 4 44 12 24 28 20 12 0 32 24 20 28 112 316 212 72 184 284 100 116 28 148 232 168 84 24 8 0 20 40 44 8 4 68 20 8 64 148 72 136 168 8 48 112 132 152 112 68 52 48 48 36 56 84 4 24 60 8 36 60 76 84 44 28 64 64 136 44 40 92 88 76 60 0 48 64 20 32 12 80 64 44 8 12 80 20 120 64 72 120 236 124 20 20 40 64 24 40 104 80 148 116 0 4 84 52 52 40 64 100 60 52 56 152 92 120 104 32 88 16 60 68 36 40 8 52 44 4 20 8 12 48 4 64 12 8 44 20 0 68 16 32 0 4 0 44 120 60 96 152 44 48 144 36 56 92 104 116 188 60 4 4 108 108 48 68 76 20 32 136 40 148 24 16 4 76 4 28 44 52 16 0 4 20 0 20 8 84 8 136 96 156 92 76 104 136 52 112 12 4 88 52 76 96 120 20 36 244 28 60 56 60 0 16 8 12 44 68 168 104 180 108 136 140 68 172 24 96 52 24 40 104 96 32 20 128 192 164 124 208 176 220 88 8 8 32 44 60 0 12 12 60 8 16 32 12 4 88 148 56 20 4 4 12 68 36 88 112 40 4 16 108 144 112 32 188 124 148 52 40 92 88 80 68 16 20 8 136 248 68 180 200 92 8 20 16 16 48 16 28 56 108 24 24 80 48 36 60 24 4 60 88 72 80 96 80 96 56 68 44 40 72 88 20 112 20 8 4 76 100 44 68 36 44 88 72 220 0 4 212 188 76 108 116 84 88 4 168 28 80 12 32 40 16 32 36 104 120 24 4 24 20 72 16 36 0 52 8 24 20 40 76 108 96 100 184 0 64 152 44 84 24 36 12 60 12 104 36 0 60 44 20 40 92 32 48 20 28 16 20 32 36 88 32 132 104 40 4 28 44 128 32 68 28 12 12 0 60 0 136 16 64 36 132 128 0 4 4 12 32 0 72 0 44 16 36 32 8 108 148 16 20 36 60 4 48 16 136 40 104 0 80 12 16 12 52 144 28 32 20 20 0 52 4 40 36 64 32 104 60 112 32 152 104 4 112 132 160 96 84 64 0 4 0 0 44 120 0 4 28 36 148 36 92 108 16 48 64 60 20 48 80 36 48 0 92 164 0 88 8 80 4 116 92 72 52 56 60 72 84 72 12 32 28 44 44 72 8 136 20 100 116 24 48 92 12 48 80 76 28 44 16 8 84 20 8 44 72 160 32 48 152 12 8 12 44 36 40 32 20 32 48 44 8 16 24 4 76 20 20 68 12 100 12 72 52 108 148 100 92 204 64 92 132 132 184 156 120 92 24 28 104 4 96 52 8 56 80 116 28 36 36 100 16 4 40 68 40 44 8 152 16 16 52 204 8 0 84 36 76 32 0 24 48 4 52 84 56 8 96 40 160 8 28 56 32 56 24 64 36 36 8 28 96 140 8 56 80 68 180 96 40 44 16 152 96 88 96 128 28 72 4 92 112 212 32 268 48 116 104 172 152 164 12 208 72 188 184 160 64 12 224 152 152 36 84 92 20 4 20 48 84 80 132 92 72 32 136 156 160 164 108 88 180 8 24 32 288 76 16 76 176 52 76 16 80 36 108 24 20 36 24 80 24 148 152 84 148 108 24 216 120 60 168 52 136 20 164 64 52 208 76 8 56 60 64 12 16 8 36 40 52 48 0 56 12 0 24 4 12 0 12 44 228 24 32 84 32 44 92 24 56 60 72 20 24 28 0 4 0 12 96 80 64 44 100 4 28 40 112 240 184 80 124 60 0 16 64 8 16 40 4 4 28 140 60 252 144 212 352 288 316 144 248 4 64 44 32 28 40 44 12 96 52 84 28 36 52 72 8 20 92 40 52 88 40 40 36 48 28 8 40 44 80 28 56 32 52 112 152 12 8 60 48 72 24 152 68 112 156 56 104 0 104 8 88 32 8 44 24 32 28 164 84 36 44 0 72 20 140 364 212 4 4 120 8 16 72 72 20 56 64 32 76 140 56 76 0 4 76 132 4 28 8 44 92 256 4 184 84 60 56 144 212 116 8 36 20 44 24 28 72 164 120 8 40 40 160 224 196 196 0 68 96 168 44 44 8 24 48 20 116 28 0 0 48 24 88 60 100 4 32 20 92 84 4 8 16 28 88 52 48 96 40 124 8 76 144 56 184 124 184 52 224 100 108 180 60 88 104 4 16 88 92 44 40 0 200 60 8 32 68 64 156 12 4 108 268 164 56 48 48 36 48 100 32 156 0 116 120 196 0 40 12 28 24 48 68 200 156 20 8 4 44 4 12 20 8 4 36 56 4 144 40 164 48 12 8 8 36 24 40 12 32 60 28 28 4 112 60 116 140 212 40 20 80 12 52 12 28 36 56 12 24 24 8 68 44 52 28 136 60 4 84 24 0 20 92 124 16 40 32 36 12 12 64 104 60 72 48 36 84 68 352 64 88 52 12 52 92 20 24 104 44 40 28 52 92 60 96 48 68 128 76 28 60 52 36 88 64 40 212 104 48 44 40 12 24 16 24 76 16 88 32 4 24 40 36 40 216 84 256 56 64 124 4 76 4 8 4 48 28 24 36 32 16 256 272 44 8 4 44 96 56 92 8 120 40 60 4 72 4 52 28 44 36 20 132 92 136 24 40 96 96 4 72 84 36 132 24 60 80 184 112 76 72 40 24 72 32 4 20 24 4 36 36 12 12 8 68 28 24 32 4 24 4 36 76 144 28 52 68 84 8 60 24 16 4 24 88 80 88 108 16 84 16 64 152 48 96 60 88 8 96 28 76 284 56 88 88 48 0 12 76 48 8 32 16 60 56 32 24 72 20 4 8 60 24 248 4 12 140 24 36 20 72 36 24 4 64 4 8 12 4 0 48 128 56 48 100 16 20 88 36 72 8 20 48 92 72 32 16 24 20 20 36 0 4 196 64 0 12 24 36 64 8 64 28 44 44 40 56 72 68 108 268 228 20 20 4 84 52 40 56 28 4 76 24 84 16 32 28 16 44 196 20 56 116 8 44 108 20 68 28 68 8 4 12 0 36 140 68 76 108 0 72 124 20 76 36 16 12 136 4 8 76 48 24 12 4 4 48 0 132 44 8 4 12 4 44 0 12 0 16 12 112 96 4 108 32 0 116 28 24 12 108 108 52 16 144 60 12 0 20 80 12 28 12 12 36 4 200 156 136 236 12 116 16 0 4 52 8 0 44 104 16 88 52 60 60 52 60 4 172 4 32 28 48 20 72 16 4 4 60 4 44 244 44 68 80 20 0 60 96 4 64 0 80 20 212 28 68 100 56 56 0 88 48 24 72 44 40 96 8 208 104 92 64 56 8 100 204 96 56 156 4 16 0 164 132 104 32 16 4 12 40 84 4 16 12 8 36 68 12 0 8 52 128 40 44 76 52 20 12 16 104 12 84 0 40 44 24 16 88 0 204 60 372 72 300 88 44 108 20 60 104 0 44 176 104 252.08/209.61 v </values> 252.08/209.61 v </instantiation>
OK 278945308
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 (9689 MiB free)
memory of node 1: 16384 MiB (12495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310569-1534330563/watcher-4310569-1534330563 -o /tmp/evaluation-result-4310569-1534330563/solver-4310569-1534330563 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21607 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1926824313 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310569-1534330563.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22696, runsolver pid=22693
[startup+0.100063 s]*
/proc/loadavg: 1.57 1.55 1.55 3/215 22711
/proc/meminfo: memFree=22704768/32770624 swapFree=67108688/67108860
[pid=22696] ppid=22693 vsize=14082736 memory=29036 CPUtime=0.08 cores=0,2,4,6
/proc/22696/stat : 22696 (java) S 22693 22696 21576 0 -1 1077944320 6176 0 0 0 7 1 0 0 20 0 15 0 250619274 14420721664 7259 33554432000 4194304 4196468 140736292220432 140736292202976 140038471597815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
/proc/22696/statm: 3520684 7259 3116 1 0 3482761 0
[pid=22696/tid=22698] ppid=22693 vsize=14082736 memory=-6966717417093883519 CPUtime=0.06 cores=0,2,4,6
/proc/22696/task/22698/stat : 22698 (java) R 22693 22696 21576 0 -1 4202560 4262 0 0 0 6 0 0 0 20 0 15 0 250619274 14420721664 7259 33554432000 4194304 4196468 140736292220432 140038475823504 140038455641445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22699] ppid=22693 vsize=14082736 memory=5793854982837594553 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22699/stat : 22699 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 7259 33554432000 4194304 4196468 140736292220432 140038424218768 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22700] ppid=22693 vsize=14082736 memory=139731827701376 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22700/stat : 22700 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 7259 33554432000 4194304 4196468 140736292220432 140038423165968 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22701] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22701/stat : 22701 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 7259 33554432000 4194304 4196468 140736292220432 140038422113168 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22702] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22702/stat : 22702 (java) S 22693 22696 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 7259 33554432000 4194304 4196468 140736292220432 140038421060368 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22703] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22703/stat : 22703 (java) S 22693 22696 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250619276 14420721664 7259 33554432000 4194304 4196468 140736292220432 140037811333488 140038471608962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22704] ppid=22693 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22704/stat : 22704 (java) S 22693 22696 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250619277 14420721664 7259 33554432000 4194304 4196468 140736292220432 140037810279456 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22705] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22705/stat : 22705 (java) S 22693 22696 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250619277 14420721664 7259 33554432000 4194304 4196468 140736292220432 140037809226608 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22706] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22706/stat : 22706 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 7259 33554432000 4194304 4196468 140736292220432 140037808174928 140038471616411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22707] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22707/stat : 22707 (java) S 22693 22696 21576 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 7259 33554432000 4194304 4196468 140736292220432 140037807123312 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22708] ppid=22693 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22708/stat : 22708 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 7259 33554432000 4194304 4196468 140736292220432 140037806070512 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22709] ppid=22693 vsize=14082736 memory=139731827701376 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22709/stat : 22709 (java) S 22693 22696 21576 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 7259 33554432000 4194304 4196468 140736292220432 140037805017712 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22710] ppid=22693 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22710/stat : 22710 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 7259 33554432000 4194304 4196468 140736292220432 140037803965152 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22711] ppid=22693 vsize=14082736 memory=139731827701376 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22711/stat : 22711 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619282 14420721664 7259 33554432000 4194304 4196468 140736292220432 140037802912432 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 29036 KiB
[startup+0.210783 s]*
/proc/loadavg: 1.57 1.55 1.55 4/215 22711
/proc/meminfo: memFree=22682004/32770624 swapFree=67108688/67108860
[pid=22696] ppid=22693 vsize=14082736 memory=44232 CPUtime=0.24 cores=0,2,4,6
/proc/22696/stat : 22696 (java) S 22693 22696 21576 0 -1 1077944320 10158 0 0 0 22 2 0 0 20 0 15 0 250619274 14420721664 11058 33554432000 4194304 4196468 140736292220432 140736292202976 140038471597815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
/proc/22696/statm: 3520684 11058 3280 1 0 3482761 0
[pid=22696/tid=22698] ppid=22693 vsize=14082736 memory=6735269665583770266 CPUtime=0.17 cores=0,2,4,6
/proc/22696/task/22698/stat : 22698 (java) R 22693 22696 21576 0 -1 4202560 8021 0 0 0 16 1 0 0 20 0 15 0 250619274 14420721664 11058 33554432000 4194304 4196468 140736292220432 140038475822784 140038463834942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22699] ppid=22693 vsize=14082736 memory=4211973458032491914 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22699/stat : 22699 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 11058 33554432000 4194304 4196468 140736292220432 140038424218768 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22700] ppid=22693 vsize=14082736 memory=139731827701376 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22700/stat : 22700 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 11058 33554432000 4194304 4196468 140736292220432 140038423165968 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22701] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22701/stat : 22701 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 11058 33554432000 4194304 4196468 140736292220432 140038422113168 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22702] ppid=22693 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22702/stat : 22702 (java) S 22693 22696 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 11058 33554432000 4194304 4196468 140736292220432 140038421060368 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22703] ppid=22693 vsize=14082736 memory=139731827701376 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22703/stat : 22703 (java) S 22693 22696 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250619276 14420721664 11058 33554432000 4194304 4196468 140736292220432 140037811333488 140038471608962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22704] ppid=22693 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22704/stat : 22704 (java) S 22693 22696 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250619277 14420721664 11058 33554432000 4194304 4196468 140736292220432 140037810279456 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22705] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22705/stat : 22705 (java) S 22693 22696 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250619277 14420721664 11058 33554432000 4194304 4196468 140736292220432 140037809226608 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22706] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22706/stat : 22706 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 11058 33554432000 4194304 4196468 140736292220432 140037808174928 140038471616411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22707] ppid=22693 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22707/stat : 22707 (java) S 22693 22696 21576 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 11058 33554432000 4194304 4196468 140736292220432 140037807123312 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22708] ppid=22693 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22696/task/22708/stat : 22708 (java) S 22693 22696 21576 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 250619280 14420721664 11058 33554432000 4194304 4196468 140736292220432 140037806070512 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22709] ppid=22693 vsize=14082736 memory=139731827701376 CPUtime=0.04 cores=0,2,4,6
/proc/22696/task/22709/stat : 22709 (java) R 22693 22696 21576 0 -1 4202560 270 0 0 0 4 0 0 0 20 0 15 0 250619280 14420721664 11058 33554432000 4194304 4196468 140736292220432 140037805017712 140038450552543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22710] ppid=22693 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22710/stat : 22710 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 11058 33554432000 4194304 4196468 140736292220432 140037803965152 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22711] ppid=22693 vsize=14082736 memory=139731827701376 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22711/stat : 22711 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619282 14420721664 11058 33554432000 4194304 4196468 140736292220432 140037802912432 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 44232 KiB
[startup+0.310408 s]*
/proc/loadavg: 1.57 1.55 1.55 5/215 22711
/proc/meminfo: memFree=22675924/32770624 swapFree=67108688/67108860
[pid=22696] ppid=22693 vsize=14082736 memory=50116 CPUtime=0.41 cores=0,2,4,6
/proc/22696/stat : 22696 (java) S 22693 22696 21576 0 -1 1077944320 10692 0 0 0 39 2 0 0 20 0 15 0 250619274 14420721664 12529 33554432000 4194304 4196468 140736292220432 140736292202976 140038471597815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
/proc/22696/statm: 3520684 12529 3379 1 0 3482761 0
[pid=22696/tid=22698] ppid=22693 vsize=14082736 memory=6735269665583770266 CPUtime=0.27 cores=0,2,4,6
/proc/22696/task/22698/stat : 22698 (java) R 22693 22696 21576 0 -1 4202560 8390 0 0 0 26 1 0 0 20 0 15 0 250619274 14420721664 12529 33554432000 4194304 4196468 140736292220432 140038475806544 140038456763470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22699] ppid=22693 vsize=14082736 memory=4211973458032491914 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22699/stat : 22699 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 12529 33554432000 4194304 4196468 140736292220432 140038424218768 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22700] ppid=22693 vsize=14082736 memory=279463555623296 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22700/stat : 22700 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 12529 33554432000 4194304 4196468 140736292220432 140038423165968 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22701] ppid=22693 vsize=14082736 memory=279463455871488 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22701/stat : 22701 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 12529 33554432000 4194304 4196468 140736292220432 140038422113168 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22702] ppid=22693 vsize=14082736 memory=139731727921935 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22702/stat : 22702 (java) S 22693 22696 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250619275 14420721664 12529 33554432000 4194304 4196468 140736292220432 140038421060368 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22703] ppid=22693 vsize=14082736 memory=279463555630208 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22703/stat : 22703 (java) S 22693 22696 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250619276 14420721664 12529 33554432000 4194304 4196468 140736292220432 140037811333488 140038471608962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22704] ppid=22693 vsize=14082736 memory=139731727926543 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22704/stat : 22704 (java) S 22693 22696 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250619277 14420721664 12529 33554432000 4194304 4196468 140736292220432 140037810279456 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22705] ppid=22693 vsize=14082736 memory=139731727950455 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22705/stat : 22705 (java) S 22693 22696 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250619277 14420721664 12529 33554432000 4194304 4196468 140736292220432 140037809226608 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22706] ppid=22693 vsize=14082736 memory=139731727952760 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22706/stat : 22706 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 12529 33554432000 4194304 4196468 140736292220432 140037808174928 140038471616411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22707] ppid=22693 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22696/task/22707/stat : 22707 (java) S 22693 22696 21576 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 15 0 250619280 14420721664 12529 33554432000 4194304 4196468 140736292220432 140037807123312 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22708] ppid=22693 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22696/task/22708/stat : 22708 (java) S 22693 22696 21576 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 250619280 14420721664 12529 33554432000 4194304 4196468 140736292220432 140037806070512 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22709] ppid=22693 vsize=14082736 memory=139731827701376 CPUtime=0.07 cores=0,2,4,6
/proc/22696/task/22709/stat : 22709 (java) S 22693 22696 21576 0 -1 1077944384 299 0 0 0 7 0 0 0 20 0 15 0 250619280 14420721664 12529 33554432000 4194304 4196468 140736292220432 140037805017712 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22710] ppid=22693 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22710/stat : 22710 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14420721664 12529 33554432000 4194304 4196468 140736292220432 140037803965152 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22711] ppid=22693 vsize=14082736 memory=139731827730412 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22711/stat : 22711 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619282 14420721664 12529 33554432000 4194304 4196468 140736292220432 140037802912432 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50116 KiB
[startup+0.700726 s]
/proc/loadavg: 1.57 1.55 1.55 3/215 22711
/proc/meminfo: memFree=22660484/32770624 swapFree=67108688/67108860
[pid=22696] ppid=22693 vsize=14084804 memory=86724 CPUtime=0.96 cores=0,2,4,6
/proc/22696/stat : 22696 (java) S 22693 22696 21576 0 -1 1077944320 17523 0 0 0 93 3 0 0 20 0 15 0 250619274 14422839296 21681 33554432000 4194304 4196468 140736292220432 140736292202976 140038471597815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
/proc/22696/statm: 3521201 21681 3504 1 0 3483273 0
[pid=22696/tid=22698] ppid=22693 vsize=14084804 memory=56 CPUtime=0.65 cores=0,2,4,6
/proc/22696/task/22698/stat : 22698 (java) R 22693 22696 21576 0 -1 4202560 14791 0 0 0 62 3 0 0 20 0 15 0 250619274 14422839296 21681 33554432000 4194304 4196468 140736292220432 140038475803664 140038471619741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22699] ppid=22693 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22699/stat : 22699 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14422839296 21681 33554432000 4194304 4196468 140736292220432 140038424218768 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22700] ppid=22693 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22700/stat : 22700 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14422839296 21681 33554432000 4194304 4196468 140736292220432 140038423165968 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22701] ppid=22693 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22701/stat : 22701 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619275 14422839296 21681 33554432000 4194304 4196468 140736292220432 140038422113168 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22702] ppid=22693 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22702/stat : 22702 (java) S 22693 22696 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250619275 14422839296 21681 33554432000 4194304 4196468 140736292220432 140038421060368 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22703] ppid=22693 vsize=14084804 memory=748 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22703/stat : 22703 (java) S 22693 22696 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250619276 14422839296 21681 33554432000 4194304 4196468 140736292220432 140037811333488 140038471608962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22704] ppid=22693 vsize=14084804 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22704/stat : 22704 (java) S 22693 22696 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250619277 14422839296 21681 33554432000 4194304 4196468 140736292220432 140037810279456 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22705] ppid=22693 vsize=14084804 memory=6608 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22705/stat : 22705 (java) S 22693 22696 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250619277 14422839296 21681 33554432000 4194304 4196468 140736292220432 140037809226608 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22706] ppid=22693 vsize=14084804 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22706/stat : 22706 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14422839296 21681 33554432000 4194304 4196468 140736292220432 140037808174928 140038471616411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22707] ppid=22693 vsize=14084804 memory=4452 CPUtime=0.08 cores=0,2,4,6
/proc/22696/task/22707/stat : 22707 (java) S 22693 22696 21576 0 -1 1077944384 675 0 0 0 8 0 0 0 20 0 15 0 250619280 14422839296 21681 33554432000 4194304 4196468 140736292220432 140037807123312 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22708] ppid=22693 vsize=14084804 memory=3732 CPUtime=0.07 cores=0,2,4,6
/proc/22696/task/22708/stat : 22708 (java) S 22693 22696 21576 0 -1 1077944384 267 0 0 0 7 0 0 0 20 0 15 0 250619280 14422839296 21681 33554432000 4194304 4196468 140736292220432 140037806070512 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22709] ppid=22693 vsize=14084804 memory=12668 CPUtime=0.15 cores=0,2,4,6
/proc/22696/task/22709/stat : 22709 (java) S 22693 22696 21576 0 -1 1077944384 409 0 0 0 15 0 0 0 20 0 15 0 250619280 14422839296 21681 33554432000 4194304 4196468 140736292220432 140037805017712 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22710] ppid=22693 vsize=14084804 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22710/stat : 22710 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14422839296 21681 33554432000 4194304 4196468 140736292220432 140037803965152 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22711] ppid=22693 vsize=14084804 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22711/stat : 22711 (java) S 22693 22696 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250619282 14422839296 21681 33554432000 4194304 4196468 140736292220432 140037802912432 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86724 KiB
[startup+1.50075 s]
/proc/loadavg: 1.57 1.55 1.55 4/215 22711
/proc/meminfo: memFree=22363560/32770624 swapFree=67108688/67108860
[pid=22696] ppid=22693 vsize=14086852 memory=452604 CPUtime=3.13 cores=0,2,4,6
/proc/22696/stat : 22696 (java) S 22693 22696 21576 0 -1 1077944320 20093 0 0 0 271 42 0 0 20 0 15 0 250619274 14424936448 113151 33554432000 4194304 4196468 140736292220432 140736292202976 140038471597815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
/proc/22696/statm: 3521713 113151 3560 1 0 3483785 0
[pid=22696/tid=22698] ppid=22693 vsize=14086852 memory=3868 CPUtime=1.3 cores=0,2,4,6
/proc/22696/task/22698/stat : 22698 (java) R 22693 22696 21576 0 -1 4202560 15323 0 0 0 122 8 0 0 20 0 15 0 250619274 14424936448 113151 33554432000 4194304 4196468 140736292220432 140038475831296 140038099839468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22699] ppid=22693 vsize=14086852 memory=68384 CPUtime=0.11 cores=0,2,4,6
/proc/22696/task/22699/stat : 22699 (java) S 22693 22696 21576 0 -1 1077944384 155 0 0 0 5 6 0 0 20 0 15 0 250619275 14424936448 113151 33554432000 4194304 4196468 140736292220432 140038424218768 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22700] ppid=22693 vsize=14086852 memory=1224 CPUtime=0.14 cores=0,2,4,6
/proc/22696/task/22700/stat : 22700 (java) S 22693 22696 21576 0 -1 1077944384 202 0 0 0 6 8 0 0 20 0 15 0 250619275 14424936448 113151 33554432000 4194304 4196468 140736292220432 140038423165968 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22701] ppid=22693 vsize=14086852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/22696/task/22701/stat : 22701 (java) S 22693 22696 21576 0 -1 1077944384 210 0 0 0 6 7 0 0 20 0 15 0 250619275 14424936448 113151 33554432000 4194304 4196468 140736292220432 140038422113168 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22702] ppid=22693 vsize=14086852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/22696/task/22702/stat : 22702 (java) S 22693 22696 21576 0 -1 1077944384 124 0 0 0 5 8 0 0 20 0 15 0 250619275 14424936448 113151 33554432000 4194304 4196468 140736292220432 140038421060368 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22703] ppid=22693 vsize=14086852 memory=7524201483445757529 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22703/stat : 22703 (java) S 22693 22696 21576 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 250619276 14424936448 113151 33554432000 4194304 4196468 140736292220432 140037811333488 140038471608962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
################
# More data... #
################
/proc/22696/task/22698/stat : 22698 (java) R 22693 22696 21576 0 -1 4202560 38751 0 0 0 4599 41 0 0 20 0 15 0 250619274 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140038475831328 140038109921968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22699] ppid=22693 vsize=14092996 memory=4810244 CPUtime=4.36 cores=0,2,4,6
/proc/22696/task/22699/stat : 22699 (java) S 22693 22696 21576 0 -1 1077944384 5042 0 0 0 368 68 0 0 20 0 15 0 250619275 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140038424218768 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22700] ppid=22693 vsize=14092996 memory=4838472 CPUtime=4.41 cores=0,2,4,6
/proc/22696/task/22700/stat : 22700 (java) S 22693 22696 21576 0 -1 1077944384 4045 0 0 0 371 70 0 0 20 0 15 0 250619275 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140038423165968 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22701] ppid=22693 vsize=14092996 memory=0 CPUtime=4.4 cores=0,2,4,6
/proc/22696/task/22701/stat : 22701 (java) S 22693 22696 21576 0 -1 1077944384 3095 0 0 0 373 67 0 0 20 0 15 0 250619275 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140038422113168 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22702] ppid=22693 vsize=14092996 memory=0 CPUtime=4.41 cores=0,2,4,6
/proc/22696/task/22702/stat : 22702 (java) S 22693 22696 21576 0 -1 1077944384 3645 0 0 0 370 71 0 0 20 0 15 0 250619275 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140038421060368 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22703] ppid=22693 vsize=14092996 memory=4808740 CPUtime=0.18 cores=0,2,4,6
/proc/22696/task/22703/stat : 22703 (java) S 22693 22696 21576 0 -1 1077944384 9039 0 0 0 18 0 0 0 20 0 15 0 250619276 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140037811333488 140038471608962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22704] ppid=22693 vsize=14092996 memory=4808412 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22704/stat : 22704 (java) S 22693 22696 21576 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250619277 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140037810279520 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22705] ppid=22693 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22705/stat : 22705 (java) S 22693 22696 21576 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 250619277 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140037809226624 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22706] ppid=22693 vsize=14092996 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22706/stat : 22706 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140037808174928 140038471616411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22707] ppid=22693 vsize=14092996 memory=68384 CPUtime=4.26 cores=0,2,4,6
/proc/22696/task/22707/stat : 22707 (java) S 22693 22696 21576 0 -1 1077944384 9111 0 0 0 424 2 0 0 20 0 15 0 250619280 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140037807123312 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22708] ppid=22693 vsize=14092996 memory=1224 CPUtime=4.24 cores=0,2,4,6
/proc/22696/task/22708/stat : 22708 (java) S 22693 22696 21576 0 -1 1077944384 9056 0 0 0 422 2 0 0 20 0 15 0 250619280 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140037806070512 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22709] ppid=22693 vsize=14092996 memory=279463455822648 CPUtime=1.45 cores=0,2,4,6
/proc/22696/task/22709/stat : 22709 (java) S 22693 22696 21576 0 -1 1077944384 7476 0 0 0 143 2 0 0 20 0 15 0 250619280 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140037805017712 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22710] ppid=22693 vsize=14092996 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22710/stat : 22710 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140037803965152 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22711] ppid=22693 vsize=14092996 memory=-8614213584521512614 CPUtime=0.01 cores=0,2,4,6
/proc/22696/task/22711/stat : 22711 (java) S 22693 22696 21576 0 -1 1077944384 1098 0 0 0 1 0 0 0 20 0 15 0 250619282 14431227904 1209618 33554432000 4194304 4196468 140736292220432 140037802912432 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
Current children cumulated CPU time: 74.24 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4838472 KiB
[startup+102.301 s]
/proc/loadavg: 1.78 1.65 1.59 3/215 22712
/proc/meminfo: memFree=16818908/32770624 swapFree=67108688/67108860
[pid=22696] ppid=22693 vsize=14092996 memory=5592324 CPUtime=135.89 cores=0,2,4,6
/proc/22696/stat : 22696 (java) S 22693 22696 21576 0 -1 1077944320 114821 0 0 0 13184 405 0 0 20 0 15 0 250619274 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140736292202976 140038471597815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
/proc/22696/statm: 3523249 1398081 3622 1 0 3485321 0
[pid=22696/tid=22698] ppid=22693 vsize=14092996 memory=0 CPUtime=94.31 cores=0,2,4,6
/proc/22696/task/22698/stat : 22698 (java) R 22693 22696 21576 0 -1 4202560 43517 0 0 0 9388 43 0 0 20 0 15 0 250619274 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140038475835328 140038106559054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22699] ppid=22693 vsize=14092996 memory=164 CPUtime=7.42 cores=0,2,4,6
/proc/22696/task/22699/stat : 22699 (java) S 22693 22696 21576 0 -1 1077944384 8115 0 0 0 658 84 0 0 20 0 15 0 250619275 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140038424218768 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22700] ppid=22693 vsize=14092996 memory=5587720 CPUtime=7.47 cores=0,2,4,6
/proc/22696/task/22700/stat : 22700 (java) S 22693 22696 21576 0 -1 1077944384 6761 0 0 0 661 86 0 0 20 0 15 0 250619275 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140038423165968 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22701] ppid=22693 vsize=14092996 memory=5587716 CPUtime=7.47 cores=0,2,4,6
/proc/22696/task/22701/stat : 22701 (java) S 22693 22696 21576 0 -1 1077944384 4691 0 0 0 663 84 0 0 20 0 15 0 250619275 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140038422113168 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22702] ppid=22693 vsize=14092996 memory=5590704 CPUtime=7.47 cores=0,2,4,6
/proc/22696/task/22702/stat : 22702 (java) S 22693 22696 21576 0 -1 1077944384 5624 0 0 0 655 92 0 0 20 0 15 0 250619275 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140038421060368 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22703] ppid=22693 vsize=14092996 memory=5590524 CPUtime=0.38 cores=0,2,4,6
/proc/22696/task/22703/stat : 22703 (java) S 22693 22696 21576 0 -1 1077944384 11839 0 0 0 37 1 0 0 20 0 15 0 250619276 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140037811333488 140038471608962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22704] ppid=22693 vsize=14092996 memory=5592324 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22704/stat : 22704 (java) S 22693 22696 21576 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250619277 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140037810279520 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22705] ppid=22693 vsize=14092996 memory=5590704 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22705/stat : 22705 (java) S 22693 22696 21576 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 250619277 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140037809226624 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22706] ppid=22693 vsize=14092996 memory=5590524 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22706/stat : 22706 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140037808174928 140038471616411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22707] ppid=22693 vsize=14092996 memory=5590504 CPUtime=4.79 cores=0,2,4,6
/proc/22696/task/22707/stat : 22707 (java) S 22693 22696 21576 0 -1 1077944384 10183 0 0 0 477 2 0 0 20 0 15 0 250619280 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140037807123312 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22708] ppid=22693 vsize=14092996 memory=868 CPUtime=4.8 cores=0,2,4,6
/proc/22696/task/22708/stat : 22708 (java) S 22693 22696 21576 0 -1 1077944384 10116 0 0 0 478 2 0 0 20 0 15 0 250619280 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140037806070512 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22709] ppid=22693 vsize=14092996 memory=3868 CPUtime=1.63 cores=0,2,4,6
/proc/22696/task/22709/stat : 22709 (java) S 22693 22696 21576 0 -1 1077944384 11286 0 0 0 160 3 0 0 20 0 15 0 250619280 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140037805017712 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22710] ppid=22693 vsize=14092996 memory=68384 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22710/stat : 22710 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140037803965152 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22711] ppid=22693 vsize=14092996 memory=1224 CPUtime=0.05 cores=0,2,4,6
/proc/22696/task/22711/stat : 22711 (java) S 22693 22696 21576 0 -1 1077944384 1226 0 0 0 2 3 0 0 20 0 15 0 250619282 14431227904 1398081 33554432000 4194304 4196468 140736292220432 140037802912432 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
Current children cumulated CPU time: 135.89 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5592324 KiB
[startup+162.301 s]
/proc/loadavg: 1.61 1.62 1.58 3/215 22714
/proc/meminfo: memFree=16797908/32770624 swapFree=67108688/67108860
[pid=22696] ppid=22693 vsize=14092996 memory=5597652 CPUtime=200.18 cores=0,2,4,6
/proc/22696/stat : 22696 (java) S 22693 22696 21576 0 -1 1077944320 127408 0 0 0 19610 408 0 0 20 0 15 0 250619274 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140736292202976 140038471597815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
/proc/22696/statm: 3523249 1399413 3622 1 0 3485321 0
[pid=22696/tid=22698] ppid=22693 vsize=14092996 memory=5597652 CPUtime=152.96 cores=0,2,4,6
/proc/22696/task/22698/stat : 22698 (java) R 22693 22696 21576 0 -1 4202560 48391 0 0 0 15252 44 0 0 20 0 15 0 250619274 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140038475832176 140038108800592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22699] ppid=22693 vsize=14092996 memory=5597652 CPUtime=8.74 cores=0,2,4,6
/proc/22696/task/22699/stat : 22699 (java) S 22693 22696 21576 0 -1 1077944384 9359 0 0 0 790 84 0 0 20 0 15 0 250619275 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140038424218768 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22700] ppid=22693 vsize=14092996 memory=5597652 CPUtime=8.79 cores=0,2,4,6
/proc/22696/task/22700/stat : 22700 (java) S 22693 22696 21576 0 -1 1077944384 6989 0 0 0 793 86 0 0 20 0 15 0 250619275 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140038423165968 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22701] ppid=22693 vsize=14092996 memory=0 CPUtime=8.79 cores=0,2,4,6
/proc/22696/task/22701/stat : 22701 (java) S 22693 22696 21576 0 -1 1077944384 6663 0 0 0 795 84 0 0 20 0 15 0 250619275 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140038422113168 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22702] ppid=22693 vsize=14092996 memory=5597652 CPUtime=8.79 cores=0,2,4,6
/proc/22696/task/22702/stat : 22702 (java) S 22693 22696 21576 0 -1 1077944384 6602 0 0 0 787 92 0 0 20 0 15 0 250619275 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140038421060368 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22703] ppid=22693 vsize=14092996 memory=5597652 CPUtime=0.38 cores=0,2,4,6
/proc/22696/task/22703/stat : 22703 (java) S 22693 22696 21576 0 -1 1077944384 11866 0 0 0 37 1 0 0 20 0 15 0 250619276 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140037811333488 140038471608962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22704] ppid=22693 vsize=14092996 memory=5597652 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22704/stat : 22704 (java) S 22693 22696 21576 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250619277 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140037810279520 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22705] ppid=22693 vsize=14092996 memory=5597652 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22705/stat : 22705 (java) S 22693 22696 21576 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 250619277 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140037809226624 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22706] ppid=22693 vsize=14092996 memory=5597652 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22706/stat : 22706 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140037808174928 140038471616411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22707] ppid=22693 vsize=14092996 memory=5597652 CPUtime=4.91 cores=0,2,4,6
/proc/22696/task/22707/stat : 22707 (java) S 22693 22696 21576 0 -1 1077944384 11255 0 0 0 489 2 0 0 20 0 15 0 250619280 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140037807123312 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22708] ppid=22693 vsize=14092996 memory=0 CPUtime=4.92 cores=0,2,4,6
/proc/22696/task/22708/stat : 22708 (java) S 22693 22696 21576 0 -1 1077944384 11390 0 0 0 490 2 0 0 20 0 15 0 250619280 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140037806070512 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22709] ppid=22693 vsize=14092996 memory=6791534058613427641 CPUtime=1.67 cores=0,2,4,6
/proc/22696/task/22709/stat : 22709 (java) S 22693 22696 21576 0 -1 1077944384 12178 0 0 0 164 3 0 0 20 0 15 0 250619280 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140037805017712 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22710] ppid=22693 vsize=14092996 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22710/stat : 22710 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140037803965152 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22711] ppid=22693 vsize=14092996 memory=2688 CPUtime=0.08 cores=0,2,4,6
/proc/22696/task/22711/stat : 22711 (java) S 22693 22696 21576 0 -1 1077944384 1252 0 0 0 4 4 0 0 20 0 15 0 250619282 14431227904 1399413 33554432000 4194304 4196468 140736292220432 140037802912432 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
Current children cumulated CPU time: 200.18 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5597652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+209.601 s]
/proc/loadavg: 1.52 1.60 1.58 3/215 22715
/proc/meminfo: memFree=16783536/32770624 swapFree=67108688/67108860
[pid=22696] ppid=22693 vsize=14092996 memory=5601444 CPUtime=252.08 cores=0,2,4,6
/proc/22696/stat : 22696 (java) S 22693 22696 21576 0 -1 1077944320 145462 0 0 0 24798 410 0 0 20 0 15 0 250619274 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140736292202976 140038471597815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
/proc/22696/statm: 3523249 1400361 3623 1 0 3485321 0
[pid=22696/tid=22698] ppid=22693 vsize=14092996 memory=5601444 CPUtime=198.81 cores=0,2,4,6
/proc/22696/task/22698/stat : 22698 (java) R 22693 22696 21576 0 -1 4202560 53194 0 0 0 19837 44 0 0 20 0 15 0 250619274 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140038475826784 140038109921583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22699] ppid=22693 vsize=14092996 memory=5601444 CPUtime=10.18 cores=0,2,4,6
/proc/22696/task/22699/stat : 22699 (java) S 22693 22696 21576 0 -1 1077944384 11399 0 0 0 933 85 0 0 20 0 15 0 250619275 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140038424218768 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22700] ppid=22693 vsize=14092996 memory=6628 CPUtime=10.23 cores=0,2,4,6
/proc/22696/task/22700/stat : 22700 (java) S 22693 22696 21576 0 -1 1077944384 7632 0 0 0 937 86 0 0 20 0 15 0 250619275 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140038423165968 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22701] ppid=22693 vsize=14092996 memory=8836 CPUtime=10.21 cores=0,2,4,6
/proc/22696/task/22701/stat : 22701 (java) S 22693 22696 21576 0 -1 1077944384 7812 0 0 0 937 84 0 0 20 0 15 0 250619275 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140038422113168 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22702] ppid=22693 vsize=14092996 memory=6791534058613427641 CPUtime=10.23 cores=0,2,4,6
/proc/22696/task/22702/stat : 22702 (java) S 22693 22696 21576 0 -1 1077944384 9300 0 0 0 930 93 0 0 20 0 15 0 250619275 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140038421060368 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22703] ppid=22693 vsize=14092996 memory=3868 CPUtime=0.39 cores=0,2,4,6
/proc/22696/task/22703/stat : 22703 (java) S 22693 22696 21576 0 -1 1077944384 12095 0 0 0 38 1 0 0 20 0 15 0 250619276 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140037811333488 140038471608962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22704] ppid=22693 vsize=14092996 memory=68384 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22704/stat : 22704 (java) S 22693 22696 21576 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250619277 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140037810279520 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22705] ppid=22693 vsize=14092996 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22705/stat : 22705 (java) S 22693 22696 21576 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 250619277 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140037809226624 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22706] ppid=22693 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22706/stat : 22706 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140037808174928 140038471616411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22707] ppid=22693 vsize=14092996 memory=496 CPUtime=5 cores=0,2,4,6
/proc/22696/task/22707/stat : 22707 (java) S 22693 22696 21576 0 -1 1077944384 12520 0 0 0 498 2 0 0 20 0 15 0 250619280 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140037807123312 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22708] ppid=22693 vsize=14092996 memory=924 CPUtime=5.15 cores=0,2,4,6
/proc/22696/task/22708/stat : 22708 (java) S 22693 22696 21576 0 -1 1077944384 14943 0 0 0 512 3 0 0 20 0 15 0 250619280 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140037806070512 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22709] ppid=22693 vsize=14092996 memory=1168 CPUtime=1.68 cores=0,2,4,6
/proc/22696/task/22709/stat : 22709 (java) S 22693 22696 21576 0 -1 1077944384 13848 0 0 0 165 3 0 0 20 0 15 0 250619280 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140037805017712 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22710] ppid=22693 vsize=14092996 memory=279463456813664 CPUtime=0 cores=0,2,4,6
/proc/22696/task/22710/stat : 22710 (java) S 22693 22696 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250619280 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140037803965152 140038471608021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
[pid=22696/tid=22711] ppid=22693 vsize=14092996 memory=8292088564187963537 CPUtime=0.11 cores=0,2,4,6
/proc/22696/task/22711/stat : 22711 (java) S 22693 22696 21576 0 -1 1077944384 1256 0 0 0 6 5 0 0 20 0 15 0 250619282 14431227904 1400361 33554432000 4194304 4196468 140736292220432 140037802912432 140038471608962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7069696 140736292222042 140736292222222 140736292222222 140736292224975 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5601444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+209.652 s]
# the end of solver process 22696 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.012 s, system=4.13446 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 209.652
CPU time (s): 252.147
CPU user time (s): 248.012
CPU system time (s): 4.13446
CPU usage (%): 120.269
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5676740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.012
system time used= 4.13446
maximum resident set size= 5676740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11686
involuntary context switches= 689
# summary of solver processes directly reported to runsolver:
# pid: 22696
# total CPU time (s): 252.147
# total CPU user time (s): 248.012
# total CPU system time (s): 4.13446
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39464 second user time and 2.01626 second system time
The end
Begin job on node106 at 2018-08-15 12:56:04 IDJOB=4310569 IDBENCH=141261 IDSOLVER=2796 FILE ID=node106/4310569-1534330563 RUNJOBID= node106-1534329093-21607 PBS_JOBID= 21038157 Free space on /tmp= 42308 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310569-1534330563/watcher-4310569-1534330563 -o /tmp/evaluation-result-4310569-1534330563/solver-4310569-1534330563 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21607 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1926824313 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310569-1534330563.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6 RANDOM SEED=1926824313 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 22717084 kB MemAvailable: 31669820 kB Buffers: 202268 kB Cached: 8965356 kB SwapCached: 0 kB Active: 4929516 kB Inactive: 4521580 kB Active(anon): 230152 kB Inactive(anon): 113648 kB Active(file): 4699364 kB Inactive(file): 4407932 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 177124 kB Writeback: 0 kB AnonPages: 255104 kB Mapped: 68752 kB Shmem: 57824 kB Slab: 302484 kB SReclaimable: 273900 kB SUnreclaim: 28584 kB KernelStack: 3568 kB PageTables: 5824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1338156 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 42272 MiB End job on node106 at 2018-08-15 12:59:34