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) | 6060752 | 2520.1 | 2491.95 |
| Name | Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml |
| MD5SUM | 5aacc3d423af8ffef3990b4c8ed069d4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 31516 |
| Best CPU time to get the best result obtained on this benchmark | 654.472 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4749 |
| Number of constraints | 4410 |
| Number of domains | 11 |
| Minimum domain size | 2 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 280 |
| Distribution of constraint arities | [{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 4409 |
| Distribution of constraint types | [{"type":"intension","count":4409},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.66/0.55 c version: 2018-08-14 0.66/0.56 c seed: 1523608240 0.66/0.56 c timeout: 2520 0.66/0.56 c memlimit: 11000 0.66/0.56 c nbcore: 4 0.66/0.58 c Parsing instance... 11.08/6.14 c Parsing done, starting first complete search... 79.25/71.52 o 12307690 79.25/71.52 o 12306690 79.25/71.53 o 12306590 79.25/71.53 o 12306490 79.25/71.54 o 12306488 79.25/71.55 o 12306387 79.25/71.55 o 12305387 79.25/71.56 o 12304387 79.25/71.56 o 12304287 79.25/71.57 o 12303287 79.25/71.57 o 12302286 79.25/71.58 o 12102286 79.25/71.59 o 12102284 79.25/71.59 o 12101284 79.25/71.60 o 12101184 79.49/71.60 o 12101183 79.49/71.62 o 12101182 79.87/71.89 o 12082284 79.87/71.89 o 12081284 79.98/71.90 o 12081283 79.98/71.90 o 12081282 79.98/71.91 o 12081182 80.22/72.12 o 12081179 80.22/72.16 o 12081178 80.41/72.36 o 12080179 80.41/72.36 o 12080178 80.41/72.37 o 12080177 80.41/72.37 o 12080077 81.32/73.21 o 12061078 81.32/73.22 o 12060077 81.42/73.32 o 12058077 81.52/73.40 o 11859181 81.52/73.40 o 11859180 81.52/73.41 o 11859080 81.52/73.41 o 11859078 81.52/73.42 o 11858077 81.52/73.48 o 11857978 81.52/73.49 o 11857977 81.52/73.49 o 11857877 82.02/73.91 o 11857783 82.02/73.92 o 11857782 82.02/73.92 o 11857781 82.02/73.93 o 11857780 82.02/73.94 o 11857681 82.02/73.94 o 11857680 82.42/74.32 o 11857586 82.42/74.32 o 11857585 82.42/74.33 o 11857584 82.42/74.33 o 11857583 82.42/74.33 o 11857582 82.82/74.72 o 11857580 82.82/74.73 o 11857579 82.82/74.73 o 11857479 84.32/76.25 o 11857178 84.32/76.25 o 11856177 84.32/76.26 o 11856077 84.32/76.26 o 11856076 84.32/76.27 o 11855976 84.32/76.28 o 11855779 84.64/76.55 o 11855679 85.34/77.25 o 11838880 85.34/77.25 o 11837879 85.34/77.26 o 11837877 85.34/77.27 o 11837874 85.34/77.27 o 11837774 85.34/77.30 o 11837681 85.44/77.30 o 11837680 85.44/77.31 o 11837677 85.44/77.32 o 11837577 87.15/79.09 o 11837576 91.99/83.83 o 11837575 94.40/86.29 o 11837574 99.90/91.15 o 11837373 99.90/91.16 o 11837273 99.90/91.16 o 11837272 99.90/91.17 o 11836273 99.90/91.17 o 11836173 99.90/91.18 o 11836171 99.90/91.19 o 11835974 100.30/91.54 o 11835875 100.30/91.55 o 11835874 102.31/93.51 o 11835873 102.31/93.51 o 11835872 102.31/93.53 o 11835774 102.31/93.53 o 11835773 102.31/93.54 o 11835772 112.72/103.99 o 11835771 115.12/106.31 o 11835770 135.23/126.48 o 11639972 135.23/126.49 o 11639872 135.23/126.49 o 11639871 135.23/126.49 o 11639870 135.32/126.51 o 11639868 135.32/126.51 o 11639866 135.32/126.53 o 11639669 135.32/126.53 o 11638769 135.32/126.54 o 11637768 135.32/126.55 o 11637065 135.32/126.56 o 11636066 135.32/126.57 o 11635966 135.32/126.58 o 11635866 135.32/126.59 o 11635865 135.84/127.06 o 11635767 135.84/127.06 o 11635766 136.63/127.89 o 11635765 148.95/140.17 o 11634868 148.95/140.17 o 11634867 148.95/140.18 o 11634767 148.95/140.18 o 11634766 149.04/140.20 o 11432665 149.04/140.26 o 11432664 149.14/140.37 o 11432566 149.14/140.37 o 11432565 149.44/140.65 o 11432564 179.66/170.86 o 11432467 179.66/170.86 o 11432466 179.66/170.87 o 11432465 179.76/170.99 o 11432464 196.99/188.11 o 11432456 196.99/188.12 o 11432455 196.99/188.12 o 11432454 196.99/188.13 o 11432154 200.99/192.13 o 11432054 216.91/208.08 o 11233962 216.91/208.08 o 11233961 216.91/208.09 o 11233960 216.91/208.09 o 11233959 216.91/208.10 o 11232960 216.91/208.10 o 11232860 217.01/208.11 o 11232760 217.01/208.13 o 11232660 217.01/208.15 o 11232564 217.01/208.16 o 11232563 217.01/208.17 o 11232464 217.01/208.17 o 11232463 217.01/208.20 o 11232454 217.11/208.20 o 11232154 218.71/209.90 o 11232055 218.81/209.90 o 11232054 227.62/218.71 o 11231455 227.62/218.72 o 11231355 227.62/218.72 o 11231354 227.62/218.73 o 11231352 227.62/218.73 o 11231156 227.62/218.76 o 11231056 227.93/219.10 o 11230956 237.33/228.43 o 11230857 237.33/228.44 o 11230856 237.43/228.50 o 11230757 237.43/228.50 o 11230756 237.63/228.70 o 11230455 237.63/228.70 o 11230355 237.63/228.70 o 11230354 237.63/228.71 o 11230254 237.63/228.72 o 11230252 237.63/228.72 o 11230056 237.63/228.74 o 11229054 237.83/228.92 o 11228955 237.83/228.93 o 11228954 263.33/254.43 o 11035469 263.33/254.44 o 11035468 263.33/254.44 o 11035267 263.33/254.48 o 11035174 263.33/254.49 o 11035165 263.33/254.50 o 11034865 263.43/254.53 o 11034361 263.43/254.54 o 11033362 263.43/254.54 o 11033262 263.43/254.55 o 11033261 263.43/254.55 o 11033259 263.43/254.56 o 11033063 265.95/257.06 c First complete search done, starting ALNS search... 266.35/257.39 o 11033061 266.45/257.40 o 11033059 266.45/257.41 o 11032961 266.45/257.41 o 11032959 266.45/257.42 o 10833261 266.45/257.42 o 10833259 266.86/257.82 o 10833160 267.71/258.67 o 10833158 267.71/258.67 o 10833058 267.71/258.68 o 10833056 267.71/258.68 o 10832958 267.71/258.69 o 10832956 267.71/258.69 o 10832158 267.82/258.70 o 10832058 267.82/258.71 o 10831958 267.82/258.71 o 10831956 267.82/258.72 o 10831955 267.82/258.74 o 10831858 267.82/258.74 o 10831856 267.82/258.75 o 10831855 267.82/258.75 o 10831854 267.92/258.81 o 10831758 267.92/258.82 o 10831756 267.92/258.83 o 10831755 267.92/258.83 o 10831754 267.92/258.84 o 10831158 267.92/258.85 o 10831157 267.92/258.85 o 10831156 267.92/258.86 o 10831058 267.92/258.87 o 10831057 267.92/258.87 o 10831056 267.92/258.88 o 10831055 267.92/258.88 o 10831054 267.92/258.89 o 10830958 267.92/258.89 o 10830957 268.02/258.90 o 10830956 268.02/258.91 o 10830955 268.02/258.91 o 10830954 268.02/258.92 o 10830858 268.02/258.92 o 10830856 268.02/258.93 o 10830855 268.02/258.94 o 10830854 268.02/258.94 o 10830758 268.02/258.95 o 10830757 268.02/258.95 o 10830756 268.02/258.96 o 10830755 268.02/258.97 o 10830754 270.54/260.70 o 10830056 270.54/260.78 o 10828856 270.54/260.78 o 10827856 270.64/260.82 o 10826857 270.64/260.88 o 10825857 270.74/260.93 o 10824858 271.25/261.48 o 10824856 271.25/261.49 o 10824658 271.25/261.49 o 10824656 271.25/261.50 o 10824654 271.37/261.50 o 10823960 271.37/261.50 o 10823958 271.37/261.51 o 10823858 271.37/261.51 o 10823856 271.37/261.51 o 10823658 271.37/261.52 o 10823656 271.37/261.52 o 10823654 271.37/261.53 o 10823558 271.37/261.53 o 10823556 271.37/261.53 o 10823554 271.37/261.54 o 10822860 271.37/261.54 o 10822858 271.37/261.54 o 10822758 271.37/261.55 o 10822756 271.37/261.55 o 10822558 271.37/261.55 o 10822556 271.37/261.56 o 10822554 271.37/261.56 o 10822553 271.37/261.57 o 10821860 271.37/261.57 o 10821858 271.37/261.58 o 10821758 271.37/261.58 o 10821756 271.37/261.58 o 10821558 271.37/261.59 o 10821556 271.37/261.59 o 10821554 271.37/261.59 o 10821553 271.48/261.60 o 10820860 271.48/261.60 o 10820758 271.48/261.61 o 10820558 271.48/261.61 o 10820557 271.48/261.62 o 10820556 271.48/261.62 o 10820555 271.48/261.63 o 10820554 271.48/261.63 o 10820553 271.48/261.64 o 10819860 271.48/261.64 o 10819858 271.48/261.65 o 10819856 271.48/261.65 o 10819758 271.48/261.65 o 10819756 271.48/261.66 o 10819754 271.48/261.66 o 10819558 271.48/261.67 o 10819556 271.48/261.67 o 10819554 271.48/261.67 o 10819553 271.48/261.68 o 10819458 271.48/261.68 o 10819457 271.48/261.69 o 10819456 271.48/261.69 o 10819455 271.48/261.69 o 10819454 271.59/261.70 o 10819453 271.59/261.71 o 10819358 271.59/261.71 o 10819356 271.59/261.71 o 10819354 271.59/261.72 o 10819353 271.59/261.73 o 10818860 271.59/261.74 o 10818858 271.59/261.74 o 10818857 271.59/261.74 o 10818760 271.59/261.75 o 10818758 271.59/261.75 o 10818757 271.59/261.75 o 10818756 271.59/261.76 o 10818755 271.59/261.76 o 10818658 271.59/261.76 o 10818656 271.59/261.77 o 10818558 271.59/261.77 o 10818556 271.59/261.77 o 10818458 271.59/261.78 o 10818456 271.59/261.78 o 10818454 271.59/261.79 o 10818453 271.59/261.79 o 10818358 271.59/261.79 o 10818356 271.70/261.80 o 10818355 271.70/261.80 o 10818354 271.70/261.80 o 10818353 271.70/261.82 o 10818352 271.70/261.84 o 10818351 271.70/261.85 o 10626959 271.70/261.85 o 10626957 271.70/261.85 o 10626859 271.70/261.86 o 10626857 271.70/261.86 o 10626757 271.70/261.86 o 10626755 271.70/261.87 o 10625959 271.70/261.87 o 10625859 271.70/261.88 o 10625857 271.70/261.88 o 10625757 271.70/261.88 o 10625755 271.70/261.89 o 10625753 271.70/261.89 o 10624959 272.17/262.26 o 10624860 272.17/262.26 o 10624858 272.93/262.69 o 10624857 273.11/262.72 o 10624856 273.11/262.75 o 10624855 273.11/262.77 o 10624854 273.11/262.79 o 10624853 273.21/262.82 o 10624852 273.21/262.85 o 10624851 273.21/262.88 o 10624757 273.32/262.91 o 10624756 273.32/262.94 o 10624755 273.32/262.97 o 10624754 273.32/262.99 o 10624753 273.43/263.02 o 10624752 273.43/263.05 o 10624751 273.43/263.08 o 10624750 273.53/263.11 o 10624749 277.01/264.36 o 10624657 277.01/264.39 o 10624656 277.11/264.41 o 10624655 277.11/264.44 o 10624654 277.11/264.46 o 10624653 277.11/264.49 o 10624652 277.21/264.51 o 10624651 277.21/264.54 o 10624650 277.21/264.57 o 10624649 277.37/264.64 o 10624648 277.37/264.67 o 10624647 277.50/264.73 o 10624646 277.70/264.95 o 10624558 277.70/264.98 o 10624557 277.70/265.00 o 10624556 277.81/265.03 o 10624555 277.81/265.06 o 10624554 277.81/265.08 o 10624553 277.91/265.12 o 10624552 277.91/265.14 o 10624551 277.91/265.18 o 10624550 278.00/265.21 o 10624549 278.00/265.24 o 10624548 278.00/265.28 o 10624547 278.10/265.32 o 10624458 278.10/265.35 o 10624457 278.10/265.39 o 10624456 278.20/265.42 o 10624455 278.20/265.45 o 10624454 278.20/265.49 o 10624453 278.30/265.52 o 10624452 278.30/265.55 o 10624451 278.30/265.58 o 10624450 278.40/265.62 o 10624449 278.40/265.66 o 10624448 278.50/265.70 o 10624447 278.60/265.83 o 10624359 278.60/265.86 o 10624358 278.60/265.90 o 10624357 278.70/265.93 o 10624356 278.70/265.97 o 10624355 278.81/266.01 o 10624354 278.81/266.04 o 10624353 278.81/266.08 o 10624352 278.91/266.11 o 10624351 278.91/266.15 o 10624350 278.91/266.18 o 10624349 279.00/266.21 o 10624348 279.00/266.26 o 10624259 279.00/266.29 o 10624258 279.11/266.32 o 10624257 279.11/266.36 o 10624256 279.11/266.39 o 10624255 283.66/270.63 o 10624253 283.66/270.63 o 10624055 283.66/270.65 o 10624053 283.66/270.65 o 10624051 283.66/270.66 o 10624049 283.78/270.71 o 10623353 283.78/270.71 o 10623153 283.78/270.72 o 10623149 283.78/270.73 o 10623053 283.78/270.73 o 10623049 283.88/270.80 o 10623047 284.51/271.44 o 10623044 284.51/271.46 o 10623043 289.37/274.44 o 10622044 289.37/274.49 o 10622042 290.10/275.01 o 10621042 290.29/275.24 o 10620042 291.89/276.80 o 10619942 292.30/277.27 o 10619042 292.60/277.50 o 10618042 292.80/277.73 o 10617042 293.02/277.98 o 10616942 294.03/278.90 o 10616042 294.23/279.12 o 10615042 294.43/279.33 o 10614942 297.15/282.04 o 10614842 297.34/282.26 o 10614742 302.16/287.07 o 10614740 302.16/287.09 o 10614739 302.26/287.12 o 10614738 302.26/287.14 o 10614737 302.26/287.17 o 10614736 302.26/287.19 o 10614735 302.45/287.32 o 10614734 302.45/287.39 o 10614641 302.58/287.42 o 10614639 302.58/287.44 o 10614637 302.58/287.46 o 10614635 302.58/287.48 o 10614634 302.69/287.51 o 10614633 302.69/287.53 o 10614632 302.69/287.59 o 10614539 302.79/287.61 o 10614538 302.79/287.64 o 10614537 302.79/287.66 o 10614536 302.79/287.68 o 10614535 302.89/287.70 o 10614534 302.89/287.73 o 10614533 302.89/287.75 o 10614532 302.99/287.80 o 10614531 302.99/287.85 o 10614530 302.99/287.88 o 10614529 303.09/287.90 o 10614528 303.09/287.93 o 10614527 303.39/288.23 o 10614438 303.39/288.25 o 10614436 303.39/288.27 o 10614434 303.49/288.30 o 10614432 303.49/288.32 o 10614430 303.49/288.35 o 10614429 303.49/288.38 o 10614428 303.81/288.60 o 10614338 303.81/288.63 o 10614336 303.81/288.66 o 10614334 303.81/288.69 o 10614332 303.91/288.72 o 10614331 303.91/288.74 o 10614330 304.01/288.83 o 10614329 304.01/288.86 o 10614237 304.01/288.89 o 10614235 304.11/288.92 o 10614233 304.11/288.95 o 10614231 304.11/288.98 o 10614230 304.11/289.00 o 10614229 304.22/289.05 o 10614228 304.22/289.08 o 10614227 304.61/289.44 o 10614138 304.61/289.46 o 10614136 304.61/289.49 o 10614135 304.71/289.51 o 10614134 304.71/289.53 o 10614133 304.71/289.56 o 10614132 304.71/289.58 o 10614131 304.81/289.61 o 10614130 304.81/289.63 o 10614129 304.81/289.66 o 10614128 304.91/289.71 o 10614036 304.91/289.73 o 10614034 304.91/289.76 o 10614032 304.91/289.78 o 10614031 305.01/289.81 o 10614030 305.01/289.83 o 10614029 305.01/289.88 o 10614028 305.11/289.93 o 10614027 305.11/289.96 o 10614026 305.81/290.63 o 10613936 305.81/290.65 o 10613934 305.81/290.67 o 10613933 305.91/290.70 o 10613932 305.91/290.72 o 10613931 305.91/290.75 o 10613930 305.91/290.79 o 10613929 306.01/290.82 o 10613928 306.01/290.86 o 10613836 306.01/290.88 o 10613834 306.11/290.91 o 10613832 306.11/290.94 o 10613831 306.11/290.97 o 10613830 306.11/290.99 o 10613829 306.22/291.04 o 10613828 306.22/291.08 o 10613827 306.33/291.14 o 10613826 306.33/291.17 o 10613825 306.92/291.75 o 10613824 306.92/291.78 o 10613823 307.02/291.82 o 10613822 307.02/291.86 o 10613820 307.02/291.88 o 10613819 307.12/291.91 o 10613818 307.12/291.99 o 10613817 307.25/292.01 o 10613816 307.25/292.07 o 10613728 307.25/292.08 o 10613726 307.35/292.11 o 10613724 307.35/292.13 o 10613722 307.35/292.16 o 10613720 307.35/292.19 o 10613718 307.44/292.22 o 10613717 307.44/292.26 o 10613716 307.54/292.30 o 10613715 308.14/292.93 o 10613714 308.14/292.96 o 10613712 308.14/293.00 o 10613711 308.25/293.05 o 10613710 308.25/293.09 o 10613709 309.25/294.03 o 10613708 309.25/294.10 o 10613707 312.38/297.15 o 10613706 312.47/297.22 o 10613705 314.89/299.53 o 10613110 314.89/299.58 o 10613010 315.51/300.11 o 10613008 315.70/300.30 o 10612110 315.70/300.35 o 10612010 315.80/300.40 o 10612008 316.30/300.96 o 10611208 316.30/300.99 o 10611108 316.41/301.03 o 10611106 316.70/301.30 o 10611104 316.80/301.41 o 10611008 316.80/301.44 o 10611006 316.80/301.48 o 10611004 317.30/301.91 o 10610110 317.30/301.94 o 10610010 317.30/301.98 o 10610008 317.41/302.02 o 10609910 317.41/302.05 o 10609908 317.51/302.12 o 10609906 317.60/302.28 o 10609208 317.70/302.31 o 10609108 317.70/302.35 o 10609106 317.70/302.39 o 10609008 317.80/302.42 o 10609006 317.80/302.50 o 10609004 318.10/302.77 o 10608909 318.20/302.80 o 10608907 318.20/302.85 o 10608809 318.20/302.89 o 10608807 318.42/303.05 o 10608107 318.42/303.08 o 10608105 318.52/303.11 o 10608007 318.52/303.15 o 10608005 318.52/303.19 o 10607907 318.61/303.23 o 10607905 318.71/303.31 o 10607903 319.11/303.76 o 10607807 319.21/303.80 o 10607805 319.34/303.90 o 10607803 320.74/305.37 o 10607707 320.84/305.41 o 10607705 320.84/305.49 o 10607703 325.30/309.89 o 10607701 345.73/330.19 o 10606912 345.92/330.30 o 10606911 346.02/330.42 o 10606910 346.12/330.52 o 10606909 346.22/330.65 o 10606908 346.32/330.78 o 10606907 346.42/330.89 o 10606906 346.63/331.03 o 10606905 346.73/331.16 o 10606904 348.12/332.59 o 10606903 348.32/332.72 o 10606902 348.42/332.84 o 10606901 348.52/332.96 o 10606900 349.12/333.53 o 10606899 349.22/333.68 o 10606898 350.12/334.54 o 10605912 350.22/334.66 o 10605911 350.32/334.79 o 10605910 350.52/334.91 o 10605909 350.63/335.03 o 10605908 350.73/335.14 o 10605907 350.82/335.27 o 10605906 350.92/335.38 o 10605905 351.12/335.51 o 10605904 351.22/335.63 o 10605902 351.32/335.77 o 10605901 351.52/335.92 o 10605900 351.63/336.06 o 10605899 351.73/336.18 o 10605898 352.66/337.09 o 10605897 352.95/337.38 o 10604911 353.05/337.49 o 10604909 353.25/337.61 o 10604907 353.35/337.73 o 10604905 353.45/337.86 o 10604904 353.55/337.99 o 10604903 353.76/338.12 o 10604901 353.85/338.25 o 10604900 353.95/338.38 o 10604899 354.15/338.51 o 10604898 354.25/338.63 o 10604897 358.45/342.82 o 10604215 358.56/342.91 o 10604213 358.66/343.02 o 10604212 358.76/343.12 o 10604115 358.86/343.21 o 10604114 358.96/343.30 o 10604113 358.96/343.39 o 10604112 359.66/344.07 o 10604111 359.77/344.16 o 10604109 359.86/344.20 o 10604011 359.86/344.24 o 10604009 364.34/348.68 o 10603615 364.54/348.80 o 10603515 364.64/348.94 o 10603415 364.75/349.08 o 10603413 369.46/353.72 o 10603412 369.60/353.85 o 10603312 370.60/354.85 o 10603311 372.20/356.47 o 10603116 372.40/356.60 o 10603016 372.50/356.77 o 10602916 372.70/356.94 o 10602914 372.91/357.13 o 10602816 373.00/357.28 o 10602814 373.31/357.51 o 10602813 373.41/357.63 o 10602811 373.61/357.80 o 10602809 373.82/358.05 o 10602716 374.01/358.20 o 10602714 374.11/358.36 o 10602713 374.21/358.49 o 10602711 374.41/358.65 o 10602709 377.61/361.89 o 10602613 377.86/362.05 o 10602611 378.05/362.29 o 10602609 379.25/363.47 o 10585113 379.35/363.57 o 10585013 379.45/363.67 o 10584913 379.65/363.83 o 10584813 379.86/364.01 o 10584811 380.05/364.21 o 10584713 380.15/364.39 o 10584711 380.35/364.59 o 10584613 380.55/364.77 o 10584611 380.75/364.99 o 10584113 380.86/365.09 o 10584013 380.96/365.19 o 10583913 381.15/365.32 o 10583911 381.25/365.44 o 10583813 381.35/365.57 o 10583811 381.55/365.73 o 10583713 381.75/365.92 o 10583711 381.86/366.08 o 10583613 382.05/366.27 o 10583611 382.25/366.48 o 10583609 382.45/366.66 o 10583113 382.55/366.76 o 10583013 382.65/366.86 o 10582913 382.75/367.00 o 10582911 382.96/367.12 o 10582813 383.05/367.25 o 10582811 383.15/367.38 o 10582713 383.35/367.53 o 10582711 383.55/367.71 o 10582613 383.65/367.86 o 10582611 383.86/368.07 o 10582609 386.11/370.21 o 10582608 387.21/371.30 o 10582113 387.31/371.44 o 10582111 387.41/371.59 o 10582013 387.61/371.72 o 10582011 387.80/371.93 o 10582009 387.91/372.09 o 10581913 388.10/372.27 o 10581911 388.30/372.47 o 10581909 388.50/372.67 o 10581813 388.70/372.85 o 10581811 388.91/373.04 o 10581809 389.10/373.26 o 10581713 389.30/373.44 o 10581711 389.50/373.62 o 10581709 389.70/373.85 o 10581613 389.91/374.02 o 10581611 390.10/374.20 o 10581609 390.40/374.52 o 10581608 392.30/376.40 o 10581514 392.50/376.62 o 10581512 393.11/377.29 o 10581511 393.21/377.31 o 10581510 393.21/377.33 o 10581212 393.21/377.35 o 10581211 393.21/377.37 o 10581210 393.31/377.47 o 10580210 393.52/377.61 o 10580007 393.52/377.65 o 10580005 420.65/404.59 o 10579905 423.21/407.01 o 10578905 427.11/410.98 o 10578805 429.57/413.38 o 10578705 432.78/416.52 o 10578605 436.74/420.41 o 10578603 442.45/426.17 o 10383511 442.65/426.35 o 10383510 442.85/426.51 o 10383509 443.07/426.76 o 10383508 443.28/426.96 o 10383507 443.58/427.21 o 10383506 443.68/427.39 o 10383505 443.98/427.68 o 10383504 444.28/427.91 o 10383503 445.28/428.95 o 10383502 445.48/429.17 o 10383411 445.68/429.30 o 10383409 445.88/429.50 o 10383408 445.98/429.69 o 10383407 446.18/429.89 o 10383406 446.38/430.07 o 10383405 446.68/430.31 o 10383404 446.88/430.54 o 10383403 447.08/430.79 o 10383311 447.28/430.91 o 10383309 447.39/431.11 o 10383307 447.68/431.31 o 10383306 447.78/431.49 o 10383305 448.08/431.72 o 10383304 448.28/431.94 o 10383303 448.58/432.30 o 10383302 448.88/432.51 o 10383211 448.98/432.63 o 10383210 449.08/432.76 o 10383209 449.18/432.88 o 10383208 449.38/433.05 o 10383207 449.58/433.23 o 10383206 449.78/433.42 o 10383205 449.98/433.64 o 10383204 450.18/433.87 o 10383203 450.39/434.04 o 10383111 450.58/434.21 o 10383109 450.81/434.41 o 10383108 450.91/434.58 o 10383107 451.11/434.76 o 10383106 451.31/434.93 o 10383105 451.52/435.14 o 10383104 451.71/435.36 o 10383103 452.01/435.64 o 10383102 452.81/436.45 o 10383011 452.91/436.57 o 10383010 453.11/436.74 o 10383009 453.31/436.91 o 10383008 453.42/437.08 o 10383007 453.61/437.25 o 10383006 453.81/437.43 o 10383005 454.01/437.65 o 10383004 454.21/437.86 o 10383003 454.42/438.09 o 10383002 457.52/441.18 o 10383001 457.81/441.40 o 10383000 457.91/441.55 o 10382999 457.91/441.57 o 10382997 458.31/441.90 o 10382000 458.31/441.92 o 10381998 458.56/442.14 o 10381900 458.56/442.17 o 10381898 458.95/442.54 o 10381896 459.05/442.61 o 10381798 459.05/442.63 o 10381796 474.00/457.53 o 10381692 474.20/457.74 o 10381592 474.40/457.98 o 10381591 474.70/458.21 o 10381493 474.90/458.41 o 10381491 475.10/458.69 o 10381393 475.33/458.89 o 10381391 475.65/459.18 o 10381390 476.45/459.96 o 10381389 476.75/460.21 o 10381388 479.35/462.85 o 10381386 479.66/463.16 o 10381290 479.85/463.39 o 10381288 480.15/463.69 o 10381286 480.56/464.01 o 10381285 480.85/464.33 o 10381190 481.05/464.57 o 10381188 481.35/464.86 o 10381186 481.66/465.17 o 10381185 481.95/465.44 o 10380589 482.25/465.74 o 10380587 482.56/466.01 o 10380489 482.75/466.27 o 10380487 483.18/466.62 o 10380390 483.38/466.87 o 10380388 483.69/467.16 o 10380386 483.98/467.46 o 10380290 484.28/467.74 o 10380288 484.59/468.03 o 10380286 484.88/468.33 o 10380285 485.48/468.98 o 10379589 485.98/469.42 o 10379007 486.18/469.63 o 10378907 486.38/469.86 o 10378905 486.69/470.17 o 10378807 486.98/470.40 o 10378805 488.38/471.87 o 10378707 488.59/472.07 o 10378705 488.98/472.49 o 10378703 489.59/473.08 o 10378005 489.88/473.31 o 10377905 490.08/473.53 o 10377903 490.38/473.81 o 10377805 490.59/474.03 o 10377803 490.98/474.41 o 10377705 491.18/474.64 o 10377703 491.83/475.20 o 10377007 492.03/475.48 o 10377005 492.33/475.79 o 10377003 492.74/476.17 o 10376905 492.93/476.39 o 10376903 493.43/476.89 o 10376807 493.74/477.14 o 10376805 494.03/477.45 o 10376803 494.53/477.90 o 10376707 494.74/478.15 o 10376705 495.03/478.41 o 10376703 501.06/484.38 o 10376702 505.26/488.59 o 10376701 505.66/488.97 o 10376699 506.26/489.56 o 10376603 506.66/489.90 o 10376601 506.98/490.27 o 10371913 507.18/490.49 o 10371911 507.51/490.73 o 10371910 507.61/490.88 o 10371813 507.82/491.02 o 10371812 508.01/491.24 o 10371811 508.21/491.45 o 10371810 508.41/491.63 o 10371713 508.61/491.85 o 10371711 508.82/492.08 o 10371710 509.01/492.23 o 10371613 509.21/492.43 o 10371611 509.41/492.69 o 10371610 510.01/493.30 o 10370610 511.31/494.51 o 10370606 533.92/516.98 o 10369604 534.03/517.02 o 10369504 534.22/517.23 o 10350606 534.22/517.24 o 10350506 534.22/517.25 o 10349604 534.22/517.26 o 10349504 534.22/517.29 o 10349503 555.61/538.53 o 10349403 555.61/538.57 o 10349402 555.71/538.62 o 10348501 570.21/553.08 o 10348108 570.70/553.58 o 10348106 571.21/554.02 o 10348105 573.40/556.24 o 10348008 573.70/556.52 o 10348006 573.90/556.79 o 10348005 576.10/558.96 o 10348004 576.43/559.21 o 10348003 576.73/559.50 o 10347106 579.83/562.65 o 10194227 580.03/562.88 o 10193227 587.17/569.91 o 10193226 588.97/571.75 o 10193225 590.17/572.97 o 10193127 590.47/573.21 o 10193126 630.71/613.30 o 10192525 631.01/613.69 o 10192523 631.42/614.05 o 10192425 631.81/614.42 o 10192423 632.21/614.83 o 10192421 632.61/615.23 o 10192420 633.11/615.78 o 10192419 633.52/616.17 o 10192418 633.91/616.59 o 10192325 634.31/616.98 o 10192323 634.71/617.36 o 10192321 635.11/617.74 o 10192320 635.42/618.10 o 10192319 635.81/618.44 o 10192318 636.21/618.85 o 10192317 636.61/619.20 o 10192316 637.52/620.12 o 10192225 637.92/620.58 o 10192223 638.45/621.06 o 10192221 638.94/621.52 o 10192220 639.34/621.95 o 10192219 640.34/622.96 o 10192122 640.45/623.05 o 10192120 640.55/623.18 o 10192118 640.74/623.30 o 10192117 640.84/623.47 o 10192116 641.05/623.62 o 10192114 641.15/623.76 o 10192112 641.35/623.98 o 10192018 641.45/624.07 o 10192016 641.55/624.17 o 10192014 641.75/624.31 o 10192012 641.85/624.45 o 10192011 642.05/624.67 o 10192010 642.15/624.78 o 10192009 642.85/625.46 o 10191011 643.05/625.63 o 10191010 643.45/626.10 o 10191009 643.85/626.48 o 10191008 644.15/626.70 o 10191007 644.95/627.55 o 10190913 645.15/627.73 o 10190912 645.25/627.88 o 10190911 645.55/628.14 o 10190910 667.55/650.07 o 10190909 668.34/650.85 o 10187908 668.55/651.06 o 10187907 668.74/651.26 o 10187906 669.14/651.60 o 10186908 669.24/651.71 o 10186907 669.44/651.94 o 10185908 669.65/652.14 o 10185907 669.94/652.45 o 10185906 670.24/652.77 o 10184912 670.44/652.91 o 10184911 670.65/653.16 o 10184910 670.94/653.45 o 10184909 671.14/653.65 o 10184908 671.34/653.83 o 10184907 678.80/661.23 o 10184906 678.92/661.32 o 10184806 679.02/661.49 o 10184706 679.11/661.57 o 10184606 680.72/663.14 o 10164906 680.72/663.19 o 10164806 680.82/663.29 o 10164706 680.92/663.35 o 10164606 681.12/663.57 o 10163907 681.22/663.66 o 10163807 681.32/663.76 o 10163707 681.42/663.86 o 10163607 682.52/664.93 o 10163605 682.66/665.07 o 10163505 682.76/665.18 o 10162805 682.85/665.24 o 10162705 682.95/665.34 o 10162605 682.95/665.39 o 10162505 683.25/665.61 o 9982804 683.35/665.70 o 9982604 683.45/665.83 o 9982504 683.66/666.01 o 9962804 683.66/666.09 o 9962604 683.85/666.21 o 9962504 686.46/668.80 o 9962503 687.96/670.33 o 9962502 688.26/670.65 o 9962501 688.86/671.29 o 9962406 689.26/671.61 o 9962404 689.67/672.08 o 9962402 690.26/672.63 o 9962401 693.12/675.47 o 9961301 693.30/675.51 o 9961201 693.60/675.80 o 9961196 693.60/675.88 o 9961101 693.81/676.10 o 9961096 696.00/678.29 o 9960197 696.10/678.39 o 9960195 696.30/678.55 o 9960194 696.81/679.04 o 9960192 697.00/679.22 o 9960191 701.32/683.55 o 9960103 701.42/683.62 o 9960101 701.72/683.92 o 9960099 702.42/684.67 o 9960097 704.13/686.35 o 9960096 709.57/691.77 o 9960095 709.77/691.91 o 9960094 709.88/692.06 o 9960093 709.98/692.18 o 9960092 718.40/700.53 o 9760092 718.60/700.77 o 9760090 740.09/722.11 o 9759188 740.09/722.17 o 9759088 742.88/725.00 o 9759087 742.99/725.07 o 9759086 743.18/725.25 o 9758987 743.38/725.40 o 9758986 743.48/725.58 o 9758887 744.38/726.48 o 9758884 745.62/727.60 o 9757988 746.32/728.30 o 9757886 746.32/728.37 o 9757884 768.02/749.95 o 9757883 768.13/750.09 o 9757882 768.32/750.27 o 9757881 768.72/750.61 o 9757084 768.92/750.89 o 9756984 769.32/751.24 o 9756884 770.62/752.52 o 9756883 771.23/753.15 o 9756880 771.55/753.44 o 9756780 772.05/753.92 o 9756680 772.65/754.59 o 9756678 776.76/758.60 o 9756677 776.96/758.85 o 9756579 777.16/759.09 o 9756577 778.75/760.66 o 9756575 779.95/761.90 o 9756573 780.59/762.42 o 9756475 780.79/762.61 o 9756367 780.99/762.85 o 9755573 781.20/763.06 o 9755465 781.59/763.42 o 9755464 802.66/784.49 o 9755266 802.99/784.76 o 9755264 803.89/785.62 o 9755168 804.09/785.84 o 9754364 804.79/786.54 o 9754362 804.99/786.74 o 9754266 806.40/788.15 o 9556366 806.49/788.26 o 9555266 806.79/788.53 o 9554364 807.49/789.27 o 9554362 807.69/789.47 o 9554266 829.20/810.82 o 9554265 829.30/810.96 o 9553267 829.41/811.07 o 9553265 829.60/811.23 o 9553264 829.80/811.44 o 9553263 829.90/811.53 o 9553165 829.90/811.59 o 9553163 830.10/811.71 o 9553162 830.30/811.95 o 9356267 830.41/812.03 o 9356266 830.80/812.44 o 9352265 830.90/812.53 o 9352264 831.00/812.63 o 9352263 831.00/812.66 o 9352163 831.10/812.73 o 9352162 831.30/812.93 o 9352161 831.30/812.97 o 9352160 834.01/815.60 o 9351362 834.01/815.63 o 9351360 834.01/815.68 o 9351260 834.11/815.71 o 9351258 835.24/816.86 o 9351160 835.24/816.87 o 9351158 836.14/817.72 o 9351060 836.14/817.76 o 9351058 842.85/824.45 o 9331064 842.95/824.54 o 9331063 843.59/825.13 o 9331059 843.68/825.21 o 9331058 844.09/825.68 o 9331057 844.39/825.96 o 9330164 844.60/826.15 o 9330161 847.29/828.84 o 9330160 847.79/829.36 o 9330159 847.89/829.44 o 9330158 848.29/829.86 o 9330062 848.50/830.04 o 9330060 848.69/830.23 o 9330059 848.79/830.39 o 9330057 851.39/832.91 o 9329060 851.78/833.37 o 9328760 852.42/833.94 o 9328557 852.63/834.13 o 9328555 852.92/834.45 o 9328554 855.23/836.75 o 9328553 876.50/857.95 o 9328552 876.61/858.08 o 9328455 876.71/858.17 o 9328454 876.80/858.30 o 9328450 877.00/858.42 o 9328449 877.10/858.56 o 9328447 877.20/858.67 o 9328446 880.04/861.40 o 9327657 880.04/861.45 o 9327557 880.14/861.53 o 9327555 880.24/861.60 o 9327553 880.24/861.70 o 9327551 880.54/861.91 o 9327550 880.54/861.98 o 9327548 882.94/864.35 o 9327453 883.04/864.44 o 9327451 883.14/864.51 o 9327449 883.34/864.74 o 9327448 883.34/864.78 o 9327446 885.04/866.44 o 9326643 885.15/866.59 o 9325644 888.98/870.32 o 9324744 889.08/870.44 o 9324742 889.98/871.30 o 9324142 890.18/871.57 o 9324042 892.08/873.44 o 9324041 892.38/873.76 o 9324040 892.58/873.99 o 9323940 893.28/874.60 o 9323938 893.58/874.96 o 9323838 894.08/875.49 o 9323837 896.72/878.04 o 9323836 897.32/878.64 o 9323736 897.62/878.92 o 9323735 897.73/879.04 o 9303835 897.73/879.06 o 9303735 919.40/900.69 o 9303734 920.30/901.55 o 9302839 920.40/901.66 o 9302837 922.20/903.49 o 9301837 922.60/903.89 o 9301835 924.23/905.41 o 9301834 934.37/915.56 o 9102938 934.47/915.63 o 9101938 934.57/915.70 o 9101937 934.67/915.88 o 9101836 934.77/915.99 o 9101835 934.88/916.09 o 9100938 934.98/916.19 o 9100937 935.07/916.29 o 9100836 935.17/916.38 o 9100835 935.27/916.49 o 9100834 957.38/938.40 o 9100736 957.38/938.45 o 9100734 957.58/938.63 o 9080736 957.68/938.70 o 9080735 957.68/938.76 o 9079736 957.78/938.82 o 9079735 964.32/945.37 o 9079643 964.52/945.54 o 9079640 965.03/946.10 o 9079635 965.42/946.46 o 9078744 965.52/946.56 o 9078636 965.72/946.71 o 9078634 966.23/947.25 o 9078544 966.33/947.33 o 9078543 966.43/947.49 o 9078542 966.83/947.85 o 9078541 967.53/948.54 o 9078540 968.33/949.35 o 9078539 969.82/950.33 o 9078538 970.72/951.22 o 9078537 971.63/952.14 o 9078536 972.43/952.99 o 9078535 973.43/953.90 o 9078534 974.33/954.84 o 9078533 975.13/955.69 o 9078532 976.33/956.86 o 9078531 977.73/958.26 o 9078530 978.54/959.03 o 9078529 979.79/960.29 o 9078528 980.60/961.01 o 9078527 981.38/961.88 o 9078526 983.08/963.51 o 9078434 983.08/963.58 o 9078433 983.69/964.14 o 9078432 983.78/964.21 o 9078431 984.38/964.88 o 9078430 984.98/965.43 o 9078429 985.69/966.11 o 9078428 986.69/967.11 o 9078427 990.14/970.52 o 9077536 991.04/971.45 o 9077535 991.54/971.93 o 9077533 992.14/972.52 o 9077532 1000.20/980.53 o 9077437 1000.20/980.59 o 9077434 1000.81/981.15 o 9077432 1000.81/981.18 o 9077429 1001.00/981.30 o 9077428 1001.00/981.38 o 9077426 1001.72/982.10 o 9077326 1002.11/982.42 o 8877626 1002.21/982.56 o 8877526 1002.41/982.72 o 8877326 1005.21/985.57 o 8877229 1005.31/985.64 o 8877228 1005.41/985.72 o 8877227 1018.72/999.00 o 8876929 1019.62/999.86 o 8876926 1019.72/999.95 o 8876726 1022.73/1002.94 o 8876625 1030.89/1011.09 o 8876624 1051.11/1031.15 o 8876524 1051.46/1031.44 o 8875627 1051.56/1031.53 o 8875626 1052.07/1032.06 o 8875527 1052.36/1032.35 o 8875526 1052.66/1032.65 o 8675527 1052.96/1032.93 o 8675526 1053.07/1033.08 o 8675524 1053.36/1033.35 o 8675424 1054.66/1034.65 o 8675423 1054.76/1034.75 o 8675422 1055.46/1035.41 o 8655730 1055.56/1035.51 o 8655729 1056.17/1036.15 o 8655728 1056.26/1036.23 o 8655630 1056.36/1036.32 o 8655629 1056.96/1036.94 o 8655628 1057.17/1037.15 o 8655531 1057.26/1037.24 o 8655530 1057.36/1037.34 o 8655526 1057.46/1037.41 o 8655525 1057.56/1037.56 o 8655524 1057.66/1037.67 o 8655523 1057.76/1037.74 o 8655522 1057.96/1037.96 o 8655431 1058.07/1038.03 o 8655430 1058.17/1038.13 o 8655426 1058.17/1038.19 o 8655425 1058.36/1038.34 o 8655424 1058.46/1038.45 o 8655423 1058.56/1038.52 o 8655422 1058.86/1038.85 o 8455524 1058.96/1038.93 o 8455522 1059.07/1039.03 o 8455424 1059.07/1039.09 o 8455422 1059.36/1039.32 o 8257522 1059.46/1039.41 o 8256522 1059.66/1039.60 o 8256520 1059.76/1039.76 o 8256422 1060.02/1039.93 o 8256420 1060.23/1040.11 o 8255523 1060.32/1040.22 o 8255521 1060.42/1040.38 o 8255423 1060.52/1040.47 o 8255421 1060.82/1040.71 o 8255420 1061.02/1040.99 o 8255419 1061.72/1041.60 o 8255417 1062.62/1042.55 o 8255416 1062.82/1042.78 o 8255415 1082.89/1062.64 o 8255414 1083.30/1063.07 o 8254724 1083.40/1063.17 o 8254723 1083.49/1063.29 o 8254624 1083.69/1063.41 o 8254623 1083.79/1063.54 o 8254523 1083.89/1063.67 o 8254520 1084.09/1063.82 o 8254423 1084.19/1063.93 o 8254420 1084.30/1064.07 o 8254418 1084.49/1064.24 o 8254417 1084.69/1064.40 o 8254416 1084.79/1064.53 o 8254415 1084.99/1064.71 o 8254414 1085.89/1065.61 o 8253519 1086.09/1065.83 o 8253518 1086.30/1066.03 o 8253419 1086.56/1066.26 o 8253418 1086.85/1066.57 o 8253319 1087.05/1066.76 o 8253318 1087.36/1067.09 o 8253317 1088.75/1068.48 o 8253316 1088.95/1068.66 o 8253315 1089.36/1069.05 o 8252415 1089.55/1069.29 o 8252315 1089.85/1069.56 o 8252314 1090.05/1069.76 o 8252214 1090.85/1070.50 o 8252114 1092.95/1072.63 o 8250615 1093.05/1072.76 o 8250614 1093.15/1072.89 o 8250515 1094.85/1074.55 o 8250415 1096.71/1076.34 o 8250414 1097.01/1076.65 o 8250413 1097.61/1077.26 o 8250314 1100.53/1080.16 o 8250311 1104.61/1084.26 o 8051416 1105.12/1084.77 o 8050416 1105.81/1085.31 o 8050414 1108.52/1088.06 o 8050413 1109.21/1088.77 o 8050316 1109.71/1089.25 o 8050314 1110.31/1089.83 o 8050313 1111.21/1090.74 o 8050311 1111.71/1091.24 o 8050213 1112.21/1091.70 o 8050211 1118.97/1098.41 o 8032414 1119.17/1098.66 o 8031414 1119.47/1098.92 o 8031412 1119.77/1099.21 o 8031314 1119.97/1099.47 o 8031312 1120.27/1099.76 o 8030414 1120.58/1100.05 o 8030314 1120.87/1100.35 o 8030312 1121.17/1100.65 o 8030214 1121.47/1100.91 o 8030212 1123.30/1102.76 o 8030211 1137.67/1117.02 o 8029314 1137.86/1117.30 o 8029313 1138.16/1117.51 o 8029312 1140.80/1120.14 o 8029311 1140.89/1120.28 o 8029310 1143.19/1122.54 o 8029213 1143.29/1122.65 o 8029212 1143.49/1122.82 o 8029211 1143.80/1123.13 o 8029210 1143.89/1123.27 o 8029209 1146.40/1125.78 o 8028209 1146.90/1126.29 o 8027209 1148.60/1127.92 o 8026311 1148.90/1128.26 o 8026309 1170.81/1150.09 o 8026211 1171.20/1150.42 o 8026209 1174.31/1153.54 o 8025412 1174.61/1153.88 o 8025411 1174.92/1154.14 o 8025410 1175.11/1154.37 o 8025409 1175.51/1154.73 o 8025312 1175.82/1155.02 o 8025311 1176.01/1155.26 o 8025310 1176.21/1155.48 o 8025309 1179.35/1158.59 o 8024314 1179.45/1158.66 o 8024312 1180.05/1159.22 o 8024310 1180.35/1159.51 o 8024308 1185.86/1165.03 o 8023409 1186.05/1165.25 o 8023309 1186.25/1165.41 o 8023308 1191.69/1170.86 o 8023211 1192.29/1171.40 o 8023210 1192.90/1172.05 o 8023209 1193.29/1172.43 o 8023208 1194.60/1173.78 o 8022509 1194.91/1174.06 o 8022409 1199.45/1178.56 o 8022407 1201.15/1180.24 o 8021411 1201.15/1180.29 o 8021410 1202.06/1181.15 o 8021409 1207.89/1186.96 o 8021408 1208.19/1187.24 o 8021407 1241.95/1220.85 o 8020610 1242.15/1221.03 o 8020609 1242.65/1221.53 o 8020608 1242.84/1221.77 o 8020509 1243.04/1221.94 o 8020508 1245.95/1224.84 o 8020410 1246.35/1225.25 o 8020310 1246.85/1225.74 o 8020308 1247.36/1226.27 o 8020307 1247.86/1226.70 o 8020306 1251.58/1230.43 o 8019507 1251.88/1230.73 o 8019407 1257.11/1235.98 o 8019309 1257.42/1236.23 o 8019307 1257.72/1236.50 o 8019209 1257.92/1236.71 o 8019207 1266.14/1244.91 o 7819308 1266.25/1245.03 o 7819208 1266.54/1245.35 o 7817304 1266.74/1245.53 o 7817204 1267.25/1246.06 o 7817203 1270.64/1249.42 o 7816406 1271.04/1249.82 o 7816306 1271.44/1250.22 o 7815406 1271.84/1250.61 o 7815306 1272.35/1251.12 o 7815304 1272.84/1251.61 o 7815303 1273.35/1252.11 o 7815206 1273.75/1252.59 o 7815204 1274.25/1253.07 o 7815203 1278.88/1257.63 o 7815107 1279.30/1258.06 o 7815105 1309.19/1287.87 o 7815104 1309.59/1288.24 o 7815103 1329.95/1308.43 o 7814206 1330.15/1308.66 o 7814205 1330.35/1308.82 o 7814204 1330.45/1308.96 o 7814203 1330.66/1309.20 o 7814106 1330.85/1309.32 o 7814104 1330.95/1309.48 o 7814103 1332.15/1310.69 o 7813303 1332.35/1310.83 o 7813203 1332.75/1311.28 o 7813103 1333.25/1311.77 o 7813010 1333.56/1312.03 o 7813009 1333.75/1312.28 o 7813007 1334.05/1312.51 o 7813006 1334.45/1312.95 o 7813005 1334.75/1313.29 o 7812907 1335.25/1313.70 o 7812905 1335.56/1314.09 o 7812904 1336.87/1315.34 o 7812903 1337.47/1315.90 o 7812902 1338.17/1316.61 o 7812901 1341.69/1320.14 o 7811903 1341.78/1320.23 o 7811901 1345.43/1323.81 o 7811007 1345.43/1323.89 o 7811004 1345.65/1324.02 o 7810904 1345.77/1324.14 o 7810902 1345.86/1324.25 o 7810900 1358.49/1336.83 o 7810807 1358.59/1336.94 o 7810805 1358.70/1337.04 o 7810803 1358.89/1337.26 o 7810802 1374.74/1353.09 o 7810702 1376.56/1354.83 o 7810701 1407.83/1385.97 o 7810606 1408.23/1386.39 o 7809706 1408.73/1386.87 o 7809604 1409.13/1387.25 o 7808704 1410.43/1388.52 o 7808703 1412.87/1390.98 o 7808003 1413.27/1391.39 o 7807903 1413.77/1391.81 o 7807803 1414.17/1392.22 o 7807703 1425.81/1403.86 o 7628803 1425.91/1403.98 o 7628703 1426.12/1404.17 o 7627803 1426.21/1404.28 o 7627703 1426.41/1404.43 o 7608803 1426.51/1404.54 o 7608703 1426.61/1404.67 o 7607803 1426.71/1404.76 o 7607703 1427.81/1405.82 o 7588805 1428.12/1406.16 o 7588804 1428.51/1406.54 o 7588704 1428.91/1406.94 o 7588703 1429.31/1407.32 o 7588702 1429.61/1407.67 o 7588701 1444.86/1422.80 o 7588404 1445.26/1423.25 o 7588401 1446.87/1424.80 o 7588400 1447.18/1425.12 o 7588399 1449.37/1427.30 o 7588398 1457.31/1435.23 o 7587798 1457.61/1435.54 o 7587795 1457.91/1435.84 o 7587793 1458.61/1436.54 o 7587702 1458.74/1436.68 o 7587699 1458.94/1436.85 o 7587697 1460.84/1438.70 o 7587695 1469.77/1447.63 o 7587593 1469.97/1447.88 o 7587591 1470.37/1448.24 o 7587493 1470.47/1448.36 o 7587491 1471.28/1449.17 o 7587399 1471.47/1449.35 o 7587397 1471.77/1449.64 o 7587395 1476.88/1454.74 o 7587297 1477.58/1455.41 o 7587295 1477.88/1455.73 o 7586699 1479.81/1457.67 o 7586599 1480.41/1458.29 o 7586597 1480.61/1458.45 o 7586497 1480.81/1458.68 o 7586397 1481.01/1458.82 o 7586297 1481.22/1459.05 o 7586295 1486.01/1463.83 o 7586294 1486.71/1464.57 o 7586292 1507.61/1485.32 o 7584295 1508.51/1486.21 o 7584294 1516.85/1494.57 o 7386095 1517.26/1495.00 o 7384296 1526.10/1503.73 o 7383504 1526.10/1503.79 o 7383502 1526.30/1503.91 o 7383304 1526.41/1504.01 o 7383302 1526.51/1504.11 o 7383300 1526.60/1504.29 o 7383298 1527.70/1505.34 o 7383296 1527.90/1505.50 o 7382402 1527.90/1505.56 o 7382400 1528.00/1505.62 o 7382398 1528.10/1505.72 o 7382396 1528.30/1505.90 o 7382302 1528.30/1505.95 o 7382300 1528.41/1506.05 o 7382298 1528.51/1506.15 o 7382296 1528.90/1506.50 o 7362497 1528.90/1506.52 o 7362397 1567.00/1543.03 o 7362197 1574.82/1550.82 o 7345497 1575.13/1551.16 o 7345297 1579.25/1555.28 o 7344400 1579.35/1555.32 o 7344300 1579.35/1555.38 o 7343300 1579.45/1555.48 o 7343299 1579.65/1555.68 o 7343199 1579.75/1555.74 o 7343198 1580.75/1556.79 o 7342197 1581.06/1557.02 o 7342196 1581.45/1557.40 o 7342195 1583.66/1559.67 o 7342191 1584.66/1560.60 o 7341991 1615.08/1590.95 o 7341893 1615.48/1591.36 o 7341891 1615.88/1591.73 o 7341793 1616.19/1592.06 o 7341791 1616.78/1592.60 o 7340893 1616.98/1592.89 o 7340793 1617.68/1593.54 o 7340791 1649.62/1625.18 o 7340100 1650.11/1625.67 o 7339900 1650.62/1626.14 o 7339898 1651.11/1626.63 o 7339897 1651.62/1627.18 o 7339896 1652.11/1627.68 o 7339895 1652.71/1628.23 o 7339894 1656.41/1631.93 o 7140097 1656.74/1632.23 o 7139997 1657.04/1632.50 o 7139994 1657.55/1633.09 o 7139897 1657.84/1633.33 o 7139894 1661.86/1637.32 o 7137896 1662.26/1637.74 o 7137894 1683.86/1659.21 o 7137886 1689.28/1664.62 o 7136788 1689.48/1664.85 o 7136786 1689.79/1665.17 o 7136586 1696.31/1671.61 o 7136484 1698.31/1673.64 o 7136284 1700.11/1675.50 o 6977387 1702.85/1678.19 o 6957387 1703.54/1678.85 o 6957386 1704.54/1679.83 o 6956387 1704.64/1679.95 o 6956386 1705.64/1680.94 o 6956289 1705.85/1681.16 o 6956288 1706.04/1681.39 o 6956286 1706.64/1681.98 o 6956285 1706.85/1682.16 o 6956284 1707.05/1682.37 o 6937284 1707.15/1682.45 o 6936284 1708.15/1683.45 o 6936190 1708.25/1683.58 o 6936188 1708.45/1683.75 o 6936186 1708.65/1683.97 o 6936184 1716.49/1691.74 o 6936183 1716.59/1691.86 o 6936181 1723.83/1699.02 o 6936180 1724.32/1699.57 o 6936080 1736.86/1711.92 o 6916681 1737.66/1712.76 o 6916679 1738.16/1713.27 o 6915779 1738.46/1713.52 o 6915679 1740.66/1715.76 o 6896780 1740.86/1715.91 o 6896680 1740.97/1716.07 o 6896580 1741.16/1716.20 o 6896579 1741.26/1716.37 o 6895880 1741.36/1716.49 o 6895780 1741.46/1716.59 o 6895779 1741.66/1716.74 o 6895680 1741.76/1716.84 o 6895679 1745.60/1720.62 o 6894679 1746.20/1721.23 o 6894579 1748.90/1723.98 o 6894578 1749.20/1724.28 o 6894478 1764.17/1739.17 o 6892480 1764.36/1739.38 o 6892383 1764.47/1739.46 o 6892381 1764.57/1739.55 o 6892380 1764.67/1739.63 o 6892378 1769.57/1744.59 o 6892377 1770.08/1745.10 o 6892279 1770.39/1745.34 o 6892277 1770.90/1745.89 o 6891681 1771.10/1746.04 o 6891581 1771.30/1746.20 o 6891579 1771.50/1746.45 o 6891480 1771.70/1746.62 o 6891478 1771.90/1746.88 o 6891380 1772.21/1747.11 o 6891378 1772.40/1747.38 o 6891280 1772.60/1747.56 o 6891278 1772.90/1747.81 o 6891277 1777.60/1752.52 o 6891179 1781.53/1756.46 o 6891178 1786.24/1761.18 o 6874186 1786.53/1761.45 o 6874184 1786.83/1761.71 o 6873186 1787.03/1762.00 o 6873184 1787.24/1762.19 o 6873182 1787.63/1762.52 o 6872186 1787.93/1762.81 o 6872184 1788.03/1762.99 o 6872182 1788.57/1763.46 o 6871186 1788.87/1763.77 o 6871184 1789.07/1763.93 o 6871182 1789.37/1764.28 o 6871180 1789.57/1764.49 o 6871178 1792.37/1767.24 o 6871078 1795.87/1770.75 o 6871077 1798.11/1772.96 o 6870983 1798.21/1773.04 o 6870981 1798.81/1773.64 o 6870980 1801.22/1776.04 o 6870979 1802.61/1777.42 o 6870080 1802.71/1777.57 o 6869980 1802.91/1777.73 o 6869979 1807.46/1782.22 o 6869888 1807.96/1782.75 o 6869886 1808.46/1783.22 o 6869884 1808.96/1783.78 o 6869882 1809.56/1784.39 o 6869881 1810.16/1784.93 o 6869879 1814.30/1789.06 o 6869786 1814.59/1789.37 o 6869783 1814.90/1789.63 o 6869781 1815.19/1789.94 o 6869779 1815.80/1790.52 o 6869777 1840.80/1815.41 o 6869577 1884.40/1858.82 o 6868781 1884.80/1859.25 o 6868779 1885.43/1859.81 o 6868479 1885.74/1860.14 o 6868478 1886.03/1860.48 o 6867478 1886.43/1860.84 o 6867476 1886.83/1861.26 o 6866678 1887.23/1861.62 o 6866676 1887.74/1862.17 o 6866674 1888.13/1862.59 o 6866672 1890.14/1864.52 o 6866670 1897.37/1871.78 o 6865871 1897.87/1872.29 o 6865771 1901.37/1875.70 o 6865770 1904.20/1878.53 o 6865673 1904.30/1878.60 o 6865573 1904.50/1878.85 o 6865572 1979.56/1953.64 o 6865571 1979.86/1953.91 o 6865569 2042.22/2016.10 o 6864676 2042.81/2016.60 o 6864674 2043.32/2017.12 o 6864672 2046.01/2019.87 o 6864570 2046.32/2020.19 o 6864568 2046.81/2020.69 o 6864566 2049.04/2022.85 o 6863874 2049.44/2023.22 o 6863774 2049.84/2023.68 o 6863772 2050.54/2024.31 o 6863771 2050.94/2024.71 o 6863770 2051.35/2025.19 o 6863769 2051.84/2025.68 o 6863768 2074.42/2048.12 o 6863667 2074.81/2048.56 o 6863665 2076.42/2050.11 o 6863663 2100.41/2074.10 o 6863071 2100.90/2074.58 o 6863069 2101.30/2074.94 o 6862971 2101.60/2075.22 o 6862969 2103.90/2077.58 o 6862171 2104.30/2077.94 o 6862169 2104.70/2078.37 o 6862071 2105.10/2078.70 o 6862069 2105.51/2079.18 o 6861971 2105.90/2079.52 o 6861969 2107.13/2080.76 o 6861968 2107.54/2081.12 o 6861966 2112.23/2085.88 o 6861965 2112.54/2086.19 o 6861964 2117.07/2090.65 o 6861866 2117.67/2091.23 o 6861864 2134.35/2107.80 o 6748574 2134.95/2108.43 o 6747574 2135.56/2109.04 o 6746574 2136.66/2110.17 o 6728574 2137.35/2110.87 o 6727574 2138.06/2111.53 o 6726574 2140.66/2114.13 o 6713884 2147.60/2121.08 o 6713784 2149.29/2122.73 o 6713782 2150.99/2124.49 o 6713780 2151.49/2124.99 o 6713778 2152.23/2125.63 o 6713776 2152.83/2126.26 o 6713680 2153.43/2126.85 o 6713678 2153.93/2127.39 o 6713676 2156.23/2129.68 o 6712083 2156.83/2130.22 o 6711983 2157.33/2130.76 o 6711981 2158.03/2131.44 o 6711979 2158.53/2131.95 o 6711879 2159.03/2132.47 o 6711877 2159.83/2133.20 o 6711875 2160.53/2133.93 o 6711783 2167.26/2140.66 o 6711782 2207.34/2180.57 o 6710990 2231.42/2204.58 o 6710890 2240.37/2213.45 o 6710194 2240.67/2213.77 o 6710094 2241.27/2214.37 o 6710092 2242.01/2215.08 o 6710091 2244.30/2217.32 o 6710090 2247.20/2220.27 o 6709994 2247.50/2220.55 o 6709894 2247.70/2220.80 o 6709893 2248.11/2221.14 o 6709892 2248.40/2221.42 o 6709891 2248.80/2221.84 o 6709890 2252.93/2225.95 o 6709889 2289.29/2262.14 o 6709392 2289.98/2262.81 o 6709391 2290.98/2263.83 o 6709292 2291.69/2264.58 o 6709291 2293.89/2266.78 o 6709192 2294.69/2267.53 o 6709191 2342.07/2314.76 o 6707294 2342.40/2315.03 o 6707194 2342.59/2315.25 o 6707193 2342.99/2315.65 o 6707094 2343.29/2315.90 o 6707093 2344.09/2316.72 o 6707088 2344.29/2316.94 o 6707087 2344.69/2317.36 o 6706494 2345.09/2317.71 o 6706394 2345.40/2318.06 o 6706294 2345.69/2318.38 o 6706194 2346.09/2318.70 o 6706094 2346.29/2319.00 o 6706092 2346.69/2319.33 o 6706088 2347.09/2319.77 o 6706087 2347.50/2320.20 o 6705994 2347.89/2320.52 o 6705988 2348.19/2320.87 o 6705987 2363.96/2336.55 o 6692591 2365.06/2337.67 o 6691591 2365.57/2338.14 o 6691489 2366.06/2338.61 o 6691389 2370.80/2343.31 o 6690388 2375.71/2348.24 o 6690387 2376.11/2348.60 o 6690386 2377.11/2349.67 o 6690285 2377.52/2350.11 o 6690284 2378.01/2350.58 o 6672485 2378.55/2351.01 o 6672484 2378.84/2351.39 o 6670485 2379.24/2351.77 o 6670285 2379.65/2352.15 o 6670284 2380.55/2353.01 o 6670283 2380.85/2353.34 o 6670282 2383.56/2356.04 o 6670280 2383.75/2356.22 o 6669280 2383.85/2356.35 o 6668280 2384.95/2357.49 o 6668279 2394.48/2366.93 o 6668178 2394.88/2367.31 o 6667978 2396.52/2368.97 o 6667977 2398.42/2370.81 o 6667077 2398.92/2371.39 o 6666977 2399.82/2372.20 o 6666877 2411.26/2383.64 o 6666773 2441.38/2413.68 o 6666574 2441.92/2414.12 o 6666573 2442.41/2414.68 o 6665671 2443.02/2415.22 o 6665670 2443.62/2415.83 o 6665470 2444.12/2416.37 o 6665469 2444.42/2416.69 o 6665369 2445.83/2418.01 o 6665267 2446.32/2418.53 o 6665266 2446.83/2419.04 o 6665265 2457.98/2430.15 o 6665264 2459.50/2431.66 o 6665263 2460.39/2432.50 o 6665262 2460.90/2433.06 o 6665261 2461.49/2433.64 o 6665260 2463.00/2435.16 o 6465469 2463.59/2435.76 o 6465468 2464.19/2436.40 o 6465467 2464.80/2436.98 o 6465466 2465.40/2437.59 o 6465465 2466.01/2438.19 o 6465464 2466.70/2438.83 o 6465463 2467.30/2439.46 o 6465462 2468.01/2440.12 o 6465269 2468.54/2440.69 o 6465267 2469.14/2441.28 o 6465265 2469.74/2441.87 o 6465264 2470.34/2442.48 o 6465263 2470.95/2443.09 o 6465262 2472.24/2444.34 o 6465261 2473.24/2445.34 o 6465260 2477.14/2449.22 o 6465259 2478.58/2450.62 o 6465257 2482.09/2454.18 o 6465256 2483.78/2455.85 o 6465156 2484.68/2456.72 o 6464456 2485.48/2457.50 o 6464356 2486.32/2458.33 o 6464256 2487.03/2459.08 o 6464156 2488.03/2460.05 o 6464056 2488.92/2460.92 o 6464055 2491.52/2463.53 o 6464054 2494.32/2466.35 o 6285256 2494.42/2466.48 o 6285255 2494.52/2466.53 o 6284256 2494.62/2466.61 o 6284255 2494.92/2466.98 o 6284055 2495.16/2467.13 o 6265056 2495.16/2467.19 o 6264056 2495.25/2467.29 o 6264055 2495.65/2467.61 o 6264054 2505.29/2477.29 o 6086056 2505.49/2477.42 o 6085054 2505.59/2477.52 o 6065054 2506.20/2478.17 o 6065053 2507.00/2478.98 o 6064953 2507.80/2479.72 o 6064951 2508.21/2480.15 o 6064355 2508.40/2480.35 o 6064255 2508.60/2480.56 o 6064253 2508.90/2480.81 o 6064153 2509.11/2481.07 o 6064053 2509.30/2481.30 o 6063953 2509.80/2481.78 o 6063951 2510.30/2482.27 o 6063851 2511.21/2483.14 o 6062954 2511.30/2483.21 o 6062854 2514.33/2486.29 o 6060753 2514.53/2486.44 o 6060752 2520.03/2491.90 s SATISFIABLE 2520.03/2491.91 v <instantiation> 2520.03/2491.91 v <list> 2520.03/2491.91 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] 2520.03/2491.91 v </list> 2520.03/2491.91 v <values> 2520.03/2491.91 v 442 680 554 792 694 456 282 44 484 722 268 30 778 540 680 442 310 72 554 792 16 254 16 254 16 254 666 428 142 380 100 338 484 722 414 652 540 778 296 58 442 680 484 722 554 792 366 128 554 792 722 484 44 282 338 100 16 254 722 484 338 100 16 254 44 282 394 156 324 86 750 512 58 296 680 442 792 554 142 380 156 394 366 128 44 282 380 142 470 708 366 128 156 394 498 736 142 380 526 764 268 30 16 254 526 764 414 652 282 44 750 512 750 512 792 554 456 694 44 282 30 268 16 254 282 44 652 414 268 30 428 666 296 58 512 750 442 680 156 394 442 680 442 680 58 296 114 352 394 156 282 44 750 512 44 282 792 554 170 408 254 16 428 666 296 58 268 30 254 16 282 44 792 554 352 114 128 366 128 366 128 366 470 708 296 58 442 680 554 792 366 128 142 380 792 554 792 554 352 114 792 554 142 380 324 86 254 16 114 352 142 380 526 764 526 764 778 540 282 44 722 484 142 380 380 142 778 540 456 694 296 58 268 30 540 778 86 324 540 778 428 666 142 380 540 778 778 540 324 86 456 694 778 540 708 470 778 540 44 282 792 554 282 44 30 268 778 540 282 44 708 470 380 142 442 680 778 540 44 282 694 456 30 268 86 324 722 484 282 44 512 750 540 778 470 708 142 380 268 30 694 456 128 366 778 540 456 694 526 764 366 128 442 680 540 778 512 750 268 30 708 470 156 394 666 428 666 428 128 366 100 338 338 100 100 338 428 666 540 778 44 282 540 778 540 778 142 380 554 792 736 498 428 666 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 540 778 380 142 310 72 456 694 282 44 380 142 470 708 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 470 708 86 324 282 44 750 512 540 778 736 498 736 498 428 666 394 156 30 268 72 310 540 778 282 44 44 282 680 442 352 114 540 778 708 470 666 428 86 324 30 268 778 540 128 366 736 498 498 736 456 694 142 380 156 394 268 30 352 114 414 652 254 16 16 254 156 394 750 512 128 366 778 540 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 394 156 114 352 526 764 554 792 484 722 254 16 142 380 498 736 540 778 268 30 526 764 268 30 484 722 296 58 282 44 352 114 268 30 268 30 540 778 694 456 456 694 456 694 366 128 58 296 778 540 526 764 128 366 512 750 652 414 394 156 540 778 764 526 456 694 142 380 268 30 366 128 352 114 708 470 380 142 442 680 142 380 86 324 764 526 324 86 554 792 352 114 268 30 484 722 338 100 296 58 680 442 366 128 30 268 428 666 792 554 666 428 324 86 512 750 310 72 694 456 58 296 736 498 114 352 156 394 526 764 254 16 156 394 722 484 30 268 792 554 58 296 456 694 540 778 540 778 680 442 72 310 128 366 540 778 540 778 666 428 296 58 86 324 30 268 366 128 540 778 254 16 680 442 254 16 72 310 100 338 0 0 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 0 0 0 0 0 0 100000 100000 100000 100000 0 0 100000 100000 0 0 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 0 0 0 0 100000 100000 0 0 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 100000 100000 0 0 0 0 0 0 0 0 0 0 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 0 0 0 0 100000 100000 0 0 0 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 0 0 0 0 10000 10000 0 0 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 10000 10000 10000 10000 10000 10000 0 0 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 0 0 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 0 0 100 100 100 100 100 100 0 0 100 100 0 0 100 100 0 0 100 100 100 100 100 100 0 0 0 0 100 100 100 100 100 100 0 0 100 100 100 100 100 100 0 0 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 1000 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 1000 0 1000 1000 0 1000 0 1000 1000 1000 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 0 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 1000 1000 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 0 0 0 100 100 0 0 100 100 0 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 100 0 0 0 0 100 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 100 100 100 100 100 100 0 0 0 0 100 0 0 100 100 100 0 100 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 100 100 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 2 2 0 0 2 2 2 0 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 2 0 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 2 2 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 2 0 0 2 0 0 2 0 0 0 0 2 0 0 2 0 0 2 2 0 2 2 0 0 0 2 2 2 2 0 0 2 2 0 0 0 2 0 2 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 2 2 2 0 0 2 2 0 0 0 0 0 2 0 2 0 0 2 2 0 2 0 0 2 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 2 2 2 2 2 0 2 0 2 0 0 2 2 0 0 2 0 2 0 2 0 2 2 2 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 2 0 0 2 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 0 2 0 0 2 2 0 0 0 2 0 0 0 0 0 2 0 2 0 2 2 2 0 2 2 2 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 2 0 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 2 0 2 0 2 0 0 0 0 2 0 0 0 2 0 0 0 0 0 2 2 2 2 0 2 0 2 2 2 0 0 0 0 2 0 2 2 0 0 2 0 0 0 2 2 0 0 0 0 0 0 0 0 2 2 0 2 2 0 2 0 2 2 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 2 2 2 2 0 0 2 0 2 2 0 0 0 2 0 2 0 0 0 2 2 2 2 2 0 0 2 2 0 0 0 2 0 0 2 0 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 2 0 0 0 0 0 2 0 2 2 2 0 0 2 2 0 0 0 0 0 0 0 2 0 2 0 2 0 0 2 2 0 2 0 0 2 0 2 2 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 0 0 2 0 0 0 2 2 2 2 0 0 0 0 2 0 2 0 0 0 2 2 0 0 0 2 2 2 0 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 2 2 0 0 2 2 2 0 2 0 0 2 0 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 2520.03/2491.91 v </values> 2520.03/2491.91 v </instantiation>
OK 6060752
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 (11809 MiB free)
memory of node 1: 16384 MiB (9403 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308662-1534286920/watcher-4308662-1534286920 -o /tmp/evaluation-result-4308662-1534286920/solver-4308662-1534286920 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534271020-14112 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1523608240 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308662-1534286920.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16250, runsolver pid=16247
Current StackSize limit: 8192 KiB
[startup+0.110755 s]*
/proc/loadavg: 1.69 1.62 1.64 4/215 16265
/proc/meminfo: memFree=21700004/32770624 swapFree=67105356/67108860
[pid=16250] ppid=16247 vsize=14082736 memory=34344 CPUtime=0.13 cores=0,2,4,6
/proc/16250/stat : 16250 (java) S 16247 16250 12124 0 -1 1077944320 7013 0 0 0 11 2 0 0 20 0 15 0 246255200 14420721664 8586 33554432000 4194304 4196468 140725165464176 140725165446720 140318017617655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
/proc/16250/statm: 3520684 8586 3137 1 0 3482761 0
[pid=16250/tid=16252] ppid=16247 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/16250/task/16252/stat : 16252 (java) R 16247 16250 12124 0 -1 4202560 5069 0 0 0 8 1 0 0 20 0 15 0 246255201 14420721664 8586 33554432000 4194304 4196468 140725165464176 140318021824144 140318001698142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16253] ppid=16247 vsize=14082736 memory=5793855635149887929 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16253/stat : 16253 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317932686224 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16254] ppid=16247 vsize=14082736 memory=140384139994752 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16254/stat : 16254 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317931633424 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16255] ppid=16247 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16255/stat : 16255 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317930581136 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16256] ppid=16247 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16256/stat : 16256 (java) S 16247 16250 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317929528336 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16257] ppid=16247 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16257/stat : 16257 (java) S 16247 16250 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246255203 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317491181680 140318017628802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16258] ppid=16247 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16258/stat : 16258 (java) S 16247 16250 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246255203 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317490127648 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16259] ppid=16247 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16259/stat : 16259 (java) S 16247 16250 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246255204 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317489075312 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16260] ppid=16247 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16260/stat : 16260 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317488023632 140318017636251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16261] ppid=16247 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16261/stat : 16261 (java) S 16247 16250 12124 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317486971504 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16262] ppid=16247 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16262/stat : 16262 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317485918704 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16263] ppid=16247 vsize=14082736 memory=140384139994752 CPUtime=0.01 cores=0,2,4,6
/proc/16250/task/16263/stat : 16263 (java) R 16247 16250 12124 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 246255206 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317484866416 140318017639002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16264] ppid=16247 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16264/stat : 16264 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317483813856 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16265] ppid=16247 vsize=14082736 memory=140384139994752 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16265/stat : 16265 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 8586 33554432000 4194304 4196468 140725165464176 140317482760624 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34344 KiB
[startup+0.210275 s]*
/proc/loadavg: 1.69 1.62 1.64 5/215 16265
/proc/meminfo: memFree=21687848/32770624 swapFree=67105356/67108860
[pid=16250] ppid=16247 vsize=14082736 memory=47204 CPUtime=0.29 cores=0,2,4,6
/proc/16250/stat : 16250 (java) S 16247 16250 12124 0 -1 1077944320 9903 0 0 0 26 3 0 0 20 0 15 0 246255200 14420721664 11801 33554432000 4194304 4196468 140725165464176 140725165446720 140318017617655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
/proc/16250/statm: 3520684 11801 3329 1 0 3482761 0
[pid=16250/tid=16252] ppid=16247 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/16250/task/16252/stat : 16252 (java) R 16247 16250 12124 0 -1 4202560 7710 0 0 0 17 2 0 0 20 0 15 0 246255201 14420721664 11801 33554432000 4194304 4196468 140725165464176 140318021844592 140318002985807 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16253] ppid=16247 vsize=14082736 memory=4211974110344785290 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16253/stat : 16253 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317932686224 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16254] ppid=16247 vsize=14082736 memory=140384139994752 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16254/stat : 16254 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317931633424 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16255] ppid=16247 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16255/stat : 16255 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317930581136 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16256] ppid=16247 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16256/stat : 16256 (java) S 16247 16250 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317929528336 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16257] ppid=16247 vsize=14082736 memory=140384139994752 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16257/stat : 16257 (java) S 16247 16250 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246255203 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317491181680 140318017628802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16258] ppid=16247 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16258/stat : 16258 (java) S 16247 16250 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246255203 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317490127648 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16259] ppid=16247 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16259/stat : 16259 (java) S 16247 16250 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246255204 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317489075312 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16260] ppid=16247 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16260/stat : 16260 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317488023632 140318017636251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16261] ppid=16247 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16250/task/16261/stat : 16261 (java) R 16247 16250 12124 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 15 0 246255206 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317486971504 140318017628802 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16262] ppid=16247 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16250/task/16262/stat : 16262 (java) S 16247 16250 12124 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 246255206 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317485918704 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16263] ppid=16247 vsize=14082736 memory=140384139994752 CPUtime=0.05 cores=0,2,4,6
/proc/16250/task/16263/stat : 16263 (java) R 16247 16250 12124 0 -1 4202560 286 0 0 0 5 0 0 0 20 0 15 0 246255206 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317484866416 140318001236945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16264] ppid=16247 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16264/stat : 16264 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317483813856 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16265] ppid=16247 vsize=14082736 memory=140384139994752 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16265/stat : 16265 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 11801 33554432000 4194304 4196468 140725165464176 140317482760624 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47204 KiB
[startup+0.310373 s]*
/proc/loadavg: 1.69 1.62 1.64 4/215 16265
/proc/meminfo: memFree=21684176/32770624 swapFree=67105356/67108860
[pid=16250] ppid=16247 vsize=14082736 memory=50952 CPUtime=0.43 cores=0,2,4,6
/proc/16250/stat : 16250 (java) S 16247 16250 12124 0 -1 1077944320 10355 0 0 0 40 3 0 0 20 0 15 0 246255200 14420721664 12738 33554432000 4194304 4196468 140725165464176 140725165446720 140318017617655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
/proc/16250/statm: 3520684 12738 3365 1 0 3482761 0
[pid=16250/tid=16252] ppid=16247 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/16250/task/16252/stat : 16252 (java) R 16247 16250 12124 0 -1 4202560 8067 0 0 0 27 2 0 0 20 0 15 0 246255201 14420721664 12738 33554432000 4194304 4196468 140725165464176 140318021834880 140318000804485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16253] ppid=16247 vsize=14082736 memory=4211974110344785290 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16253/stat : 16253 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317932686224 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16254] ppid=16247 vsize=14082736 memory=140384139997096 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16254/stat : 16254 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317931633424 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16255] ppid=16247 vsize=14082736 memory=140384026089836 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16255/stat : 16255 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317930581136 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16256] ppid=16247 vsize=14082736 memory=140384026086863 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16256/stat : 16256 (java) S 16247 16250 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246255202 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317929528336 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16257] ppid=16247 vsize=14082736 memory=140384140006903 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16257/stat : 16257 (java) S 16247 16250 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246255203 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317491181680 140318017628802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16258] ppid=16247 vsize=14082736 memory=140384026096079 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16258/stat : 16258 (java) S 16247 16250 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246255203 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317490127648 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16259] ppid=16247 vsize=14082736 memory=280768052182928 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16259/stat : 16259 (java) S 16247 16250 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246255204 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317489075312 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16260] ppid=16247 vsize=14082736 memory=280768052180592 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16260/stat : 16260 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317488023632 140318017636251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16261] ppid=16247 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16250/task/16261/stat : 16261 (java) S 16247 16250 12124 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 246255206 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317486971504 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16262] ppid=16247 vsize=14082736 memory=2240 CPUtime=0.02 cores=0,2,4,6
/proc/16250/task/16262/stat : 16262 (java) S 16247 16250 12124 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 246255206 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317485918704 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16263] ppid=16247 vsize=14082736 memory=140384139994752 CPUtime=0.08 cores=0,2,4,6
/proc/16250/task/16263/stat : 16263 (java) S 16247 16250 12124 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 15 0 246255206 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317484866416 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16264] ppid=16247 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16264/stat : 16264 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317483813856 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16265] ppid=16247 vsize=14082736 memory=140384139994752 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16265/stat : 16265 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255206 14420721664 12738 33554432000 4194304 4196468 140725165464176 140317482760624 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50952 KiB
[startup+0.700708 s]
/proc/loadavg: 1.64 1.61 1.63 3/215 16265
/proc/meminfo: memFree=21662404/32770624 swapFree=67105356/67108860
[pid=16250] ppid=16247 vsize=14084804 memory=88636 CPUtime=0.98 cores=0,2,4,6
/proc/16250/stat : 16250 (java) S 16247 16250 12124 0 -1 1077944320 17046 0 0 0 93 5 0 0 20 0 15 0 246255200 14422839296 22159 33554432000 4194304 4196468 140725165464176 140725165446720 140318017617655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
/proc/16250/statm: 3521201 22159 3496 1 0 3483273 0
[pid=16250/tid=16252] ppid=16247 vsize=14084804 memory=1612 CPUtime=0.67 cores=0,2,4,6
/proc/16250/task/16252/stat : 16252 (java) R 16247 16250 12124 0 -1 4202560 14373 0 0 0 63 4 0 0 20 0 15 0 246255201 14422839296 22159 33554432000 4194304 4196468 140725165464176 140318021836880 140318001698142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16253] ppid=16247 vsize=14084804 memory=1812 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16253/stat : 16253 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317932686224 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16254] ppid=16247 vsize=14084804 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16254/stat : 16254 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317931633424 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16255] ppid=16247 vsize=14084804 memory=7235408084361307456 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16255/stat : 16255 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317930581136 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16256] ppid=16247 vsize=14084804 memory=7739276948478389351 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16256/stat : 16256 (java) S 16247 16250 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246255202 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317929528336 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16257] ppid=16247 vsize=14084804 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16257/stat : 16257 (java) S 16247 16250 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246255203 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317491181680 140318017628802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16258] ppid=16247 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16258/stat : 16258 (java) S 16247 16250 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246255203 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317490127648 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16259] ppid=16247 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16259/stat : 16259 (java) S 16247 16250 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246255204 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317489075312 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16260] ppid=16247 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16260/stat : 16260 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317488023632 140318017636251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16261] ppid=16247 vsize=14084804 memory=8815 CPUtime=0.08 cores=0,2,4,6
/proc/16250/task/16261/stat : 16261 (java) S 16247 16250 12124 0 -1 1077944384 557 0 0 0 8 0 0 0 20 0 15 0 246255206 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317486971504 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16262] ppid=16247 vsize=14084804 memory=6 CPUtime=0.06 cores=0,2,4,6
/proc/16250/task/16262/stat : 16262 (java) S 16247 16250 12124 0 -1 1077944384 369 0 0 0 6 0 0 0 20 0 15 0 246255206 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317485918704 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16263] ppid=16247 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/16250/task/16263/stat : 16263 (java) S 16247 16250 12124 0 -1 1077944384 366 0 0 0 15 0 0 0 20 0 15 0 246255206 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317484866416 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16264] ppid=16247 vsize=14084804 memory=280768052366832 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16264/stat : 16264 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317483813856 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16265] ppid=16247 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16265/stat : 16265 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255206 14422839296 22159 33554432000 4194304 4196468 140725165464176 140317482760624 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88636 KiB
[startup+1.50071 s]
/proc/loadavg: 1.64 1.61 1.63 5/215 16265
/proc/meminfo: memFree=21605612/32770624 swapFree=67105356/67108860
[pid=16250] ppid=16247 vsize=14086852 memory=205516 CPUtime=3.44 cores=0,2,4,6
/proc/16250/stat : 16250 (java) S 16247 16250 12124 0 -1 1077944320 26784 0 0 0 336 8 0 0 20 0 15 0 246255200 14424936448 51379 33554432000 4194304 4196468 140725165464176 140725165446720 140318017617655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
/proc/16250/statm: 3521713 51379 3546 1 0 3483785 0
[pid=16250/tid=16252] ppid=16247 vsize=14086852 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/16250/task/16252/stat : 16252 (java) R 16247 16250 12124 0 -1 4202560 16976 0 0 0 141 5 0 0 20 0 15 0 246255201 14424936448 51379 33554432000 4194304 4196468 140725165464176 140318021852888 140317609857339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16253] ppid=16247 vsize=14086852 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16253/stat : 16253 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14424936448 51379 33554432000 4194304 4196468 140725165464176 140317932686224 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16254] ppid=16247 vsize=14086852 memory=4946811242442234752 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16254/stat : 16254 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14424936448 51379 33554432000 4194304 4196468 140725165464176 140317931633424 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16255] ppid=16247 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16255/stat : 16255 (java) S 16247 16250 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246255202 14424936448 51379 33554432000 4194304 4196468 140725165464176 140317930581136 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16256] ppid=16247 vsize=14086852 memory=-6512873939411621763 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16256/stat : 16256 (java) S 16247 16250 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246255202 14424936448 51379 33554432000 4194304 4196468 140725165464176 140317929528336 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16257] ppid=16247 vsize=14086852 memory=-7161958542931350062 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16257/stat : 16257 (java) S 16247 16250 12124 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 246255203 14424936448 51379 33554432000 4194304 4196468 140725165464176 140317491181680 140318017628802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
################
# More data... #
################
/proc/16250/task/16252/stat : 16252 (java) R 16247 16250 12124 0 -1 4202560 274256 0 0 0 237544 93 0 0 20 0 15 0 246255201 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140318021854688 140317618102485 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16253] ppid=16247 vsize=14092996 memory=5024156 CPUtime=5.21 cores=0,2,4,6
/proc/16250/task/16253/stat : 16253 (java) S 16247 16250 12124 0 -1 1077944384 39118 0 0 0 468 53 0 0 20 0 15 0 246255202 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317932686224 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16254] ppid=16247 vsize=14092996 memory=5024156 CPUtime=5.2 cores=0,2,4,6
/proc/16250/task/16254/stat : 16254 (java) S 16247 16250 12124 0 -1 1077944384 34344 0 0 0 469 51 0 0 20 0 15 0 246255202 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317931633424 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16255] ppid=16247 vsize=14092996 memory=5024156 CPUtime=5.21 cores=0,2,4,6
/proc/16250/task/16255/stat : 16255 (java) S 16247 16250 12124 0 -1 1077944384 36637 0 0 0 469 52 0 0 20 0 15 0 246255202 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317930581136 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16256] ppid=16247 vsize=14092996 memory=5024156 CPUtime=5.21 cores=0,2,4,6
/proc/16250/task/16256/stat : 16256 (java) S 16247 16250 12124 0 -1 1077944384 34504 0 0 0 469 52 0 0 20 0 15 0 246255202 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317929528336 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16257] ppid=16247 vsize=14092996 memory=5024156 CPUtime=0.47 cores=0,2,4,6
/proc/16250/task/16257/stat : 16257 (java) S 16247 16250 12124 0 -1 1077944384 20072 0 0 0 42 5 0 0 20 0 15 0 246255203 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317491181680 140318017628802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16258] ppid=16247 vsize=14092996 memory=5024156 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16258/stat : 16258 (java) S 16247 16250 12124 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 246255203 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317490127712 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16259] ppid=16247 vsize=14092996 memory=5024156 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16259/stat : 16259 (java) S 16247 16250 12124 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 246255204 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317489075328 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16260] ppid=16247 vsize=14092996 memory=164 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16260/stat : 16260 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317488023632 140318017636251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16261] ppid=16247 vsize=14092996 memory=5024156 CPUtime=4.72 cores=0,2,4,6
/proc/16250/task/16261/stat : 16261 (java) S 16247 16250 12124 0 -1 1077944384 36505 0 0 0 469 3 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317486971504 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16262] ppid=16247 vsize=14092996 memory=5024156 CPUtime=4.49 cores=0,2,4,6
/proc/16250/task/16262/stat : 16262 (java) S 16247 16250 12124 0 -1 1077944384 37244 0 0 0 446 3 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317485918704 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16263] ppid=16247 vsize=14092996 memory=3812 CPUtime=1.69 cores=0,2,4,6
/proc/16250/task/16263/stat : 16263 (java) S 16247 16250 12124 0 -1 1077944384 48580 0 0 0 164 5 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317484866416 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16264] ppid=16247 vsize=14092996 memory=5024156 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16264/stat : 16264 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317483813856 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16265] ppid=16247 vsize=14092996 memory=4632 CPUtime=1.29 cores=0,2,4,6
/proc/16250/task/16265/stat : 16265 (java) S 16247 16250 12124 0 -1 1077944384 1821 0 0 0 68 61 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317482760624 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
Current children cumulated CPU time: 2409.96 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5024156 KiB
[startup+2442.3 s]
/proc/loadavg: 1.87 1.79 1.74 3/215 16443
/proc/meminfo: memFree=12925796/32770624 swapFree=67105356/67108860
[pid=16250] ppid=16247 vsize=14092996 memory=5024156 CPUtime=2470.24 cores=0,2,4,6
/proc/16250/stat : 16250 (java) S 16247 16250 12124 0 -1 1077944320 573935 0 0 0 246657 367 0 0 20 0 15 0 246255200 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140725165446720 140318017617655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
/proc/16250/statm: 3523249 1256039 3622 1 0 3485321 0
[pid=16250/tid=16252] ppid=16247 vsize=14092996 memory=66672 CPUtime=2436.28 cores=0,2,4,6
/proc/16250/task/16252/stat : 16252 (java) R 16247 16250 12124 0 -1 4202560 280492 0 0 0 243534 94 0 0 20 0 15 0 246255201 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140318021846288 140317612604478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16253] ppid=16247 vsize=14092996 memory=5024156 CPUtime=5.29 cores=0,2,4,6
/proc/16250/task/16253/stat : 16253 (java) S 16247 16250 12124 0 -1 1077944384 40844 0 0 0 476 53 0 0 20 0 15 0 246255202 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317932686224 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16254] ppid=16247 vsize=14092996 memory=5024156 CPUtime=5.29 cores=0,2,4,6
/proc/16250/task/16254/stat : 16254 (java) S 16247 16250 12124 0 -1 1077944384 34610 0 0 0 478 51 0 0 20 0 15 0 246255202 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317931633424 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16255] ppid=16247 vsize=14092996 memory=5024156 CPUtime=5.3 cores=0,2,4,6
/proc/16250/task/16255/stat : 16255 (java) S 16247 16250 12124 0 -1 1077944384 37079 0 0 0 477 53 0 0 20 0 15 0 246255202 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317930581136 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16256] ppid=16247 vsize=14092996 memory=5024156 CPUtime=5.29 cores=0,2,4,6
/proc/16250/task/16256/stat : 16256 (java) S 16247 16250 12124 0 -1 1077944384 34955 0 0 0 477 52 0 0 20 0 15 0 246255202 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317929528336 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16257] ppid=16247 vsize=14092996 memory=5024156 CPUtime=0.47 cores=0,2,4,6
/proc/16250/task/16257/stat : 16257 (java) S 16247 16250 12124 0 -1 1077944384 20325 0 0 0 42 5 0 0 20 0 15 0 246255203 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317491181680 140318017628802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16258] ppid=16247 vsize=14092996 memory=5024156 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16258/stat : 16258 (java) S 16247 16250 12124 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 246255203 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317490127712 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16259] ppid=16247 vsize=14092996 memory=5024156 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16259/stat : 16259 (java) S 16247 16250 12124 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 246255204 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317489075328 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16260] ppid=16247 vsize=14092996 memory=5024156 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16260/stat : 16260 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317488023632 140318017636251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16261] ppid=16247 vsize=14092996 memory=5024156 CPUtime=4.72 cores=0,2,4,6
/proc/16250/task/16261/stat : 16261 (java) S 16247 16250 12124 0 -1 1077944384 36508 0 0 0 469 3 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317486971504 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16262] ppid=16247 vsize=14092996 memory=5024156 CPUtime=4.49 cores=0,2,4,6
/proc/16250/task/16262/stat : 16262 (java) S 16247 16250 12124 0 -1 1077944384 37252 0 0 0 446 3 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317485918704 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16263] ppid=16247 vsize=14092996 memory=5024156 CPUtime=1.69 cores=0,2,4,6
/proc/16250/task/16263/stat : 16263 (java) S 16247 16250 12124 0 -1 1077944384 48584 0 0 0 164 5 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317484866416 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16264] ppid=16247 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16264/stat : 16264 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317483813856 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16265] ppid=16247 vsize=14092996 memory=66672 CPUtime=1.32 cores=0,2,4,6
/proc/16250/task/16265/stat : 16265 (java) S 16247 16250 12124 0 -1 1077944384 1852 0 0 0 70 62 0 0 20 0 15 0 246255206 14431227904 1256039 33554432000 4194304 4196468 140725165464176 140317482760624 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
Current children cumulated CPU time: 2470.24 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5024156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.9 s]
/proc/loadavg: 2.07 1.85 1.77 3/216 16452
/proc/meminfo: memFree=12574908/32770624 swapFree=67105356/67108860
[pid=16250] ppid=16247 vsize=14092996 memory=5025088 CPUtime=2520.03 cores=0,2,4,6
/proc/16250/stat : 16250 (java) S 16247 16250 12124 0 -1 1077944320 579600 0 0 0 251635 368 0 0 20 0 15 0 246255200 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140725165446720 140318017617655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
/proc/16250/statm: 3523249 1256272 3622 1 0 3485321 0
[pid=16250/tid=16252] ppid=16247 vsize=14092996 memory=5025088 CPUtime=2485.82 cores=0,2,4,6
/proc/16250/task/16252/stat : 16252 (java) R 16247 16250 12124 0 -1 4202560 285578 0 0 0 248487 95 0 0 20 0 15 0 246255201 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140318021846288 140317618102485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16253] ppid=16247 vsize=14092996 memory=5025088 CPUtime=5.35 cores=0,2,4,6
/proc/16250/task/16253/stat : 16253 (java) S 16247 16250 12124 0 -1 1077944384 41002 0 0 0 482 53 0 0 20 0 15 0 246255202 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317932686224 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16254] ppid=16247 vsize=14092996 memory=5025088 CPUtime=5.34 cores=0,2,4,6
/proc/16250/task/16254/stat : 16254 (java) S 16247 16250 12124 0 -1 1077944384 34735 0 0 0 483 51 0 0 20 0 15 0 246255202 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317931633424 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16255] ppid=16247 vsize=14092996 memory=5025088 CPUtime=5.36 cores=0,2,4,6
/proc/16250/task/16255/stat : 16255 (java) S 16247 16250 12124 0 -1 1077944384 37183 0 0 0 483 53 0 0 20 0 15 0 246255202 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317930581136 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16256] ppid=16247 vsize=14092996 memory=5024916 CPUtime=5.35 cores=0,2,4,6
/proc/16250/task/16256/stat : 16256 (java) S 16247 16250 12124 0 -1 1077944384 35069 0 0 0 483 52 0 0 20 0 15 0 246255202 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317929528336 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16257] ppid=16247 vsize=14092996 memory=3812 CPUtime=0.48 cores=0,2,4,6
/proc/16250/task/16257/stat : 16257 (java) S 16247 16250 12124 0 -1 1077944384 20366 0 0 0 43 5 0 0 20 0 15 0 246255203 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317491181680 140318017628802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16258] ppid=16247 vsize=14092996 memory=5025088 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16258/stat : 16258 (java) S 16247 16250 12124 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 246255203 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317490127712 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16259] ppid=16247 vsize=14092996 memory=5025088 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16259/stat : 16259 (java) S 16247 16250 12124 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 246255204 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317489075328 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16260] ppid=16247 vsize=14092996 memory=5025088 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16260/stat : 16260 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317488023632 140318017636251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16261] ppid=16247 vsize=14092996 memory=5024916 CPUtime=4.72 cores=0,2,4,6
/proc/16250/task/16261/stat : 16261 (java) S 16247 16250 12124 0 -1 1077944384 36511 0 0 0 469 3 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317486971504 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16262] ppid=16247 vsize=14092996 memory=5024916 CPUtime=4.49 cores=0,2,4,6
/proc/16250/task/16262/stat : 16262 (java) S 16247 16250 12124 0 -1 1077944384 37259 0 0 0 446 3 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317485918704 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16263] ppid=16247 vsize=14092996 memory=5025088 CPUtime=1.69 cores=0,2,4,6
/proc/16250/task/16263/stat : 16263 (java) S 16247 16250 12124 0 -1 1077944384 48588 0 0 0 164 5 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317484866416 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16264] ppid=16247 vsize=14092996 memory=5025088 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16264/stat : 16264 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317483813856 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16265] ppid=16247 vsize=14092996 memory=3812 CPUtime=1.35 cores=0,2,4,6
/proc/16250/task/16265/stat : 16265 (java) S 16247 16250 12124 0 -1 1077944384 1875 0 0 0 71 64 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317482760624 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5025088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.95 s]
# the end of solver process 16250 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.39 s, system=3.71494 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.9 s]
/proc/loadavg: 2.07 1.85 1.77 3/216 16452
/proc/meminfo: memFree=12574908/32770624 swapFree=67105356/67108860
[pid=16250] ppid=16247 vsize=14092996 memory=5025088 CPUtime=2520.03 cores=0,2,4,6
/proc/16250/stat : 16250 (java) S 16247 16250 12124 0 -1 1077944320 579600 0 0 0 251635 368 0 0 20 0 15 0 246255200 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140725165446720 140318017617655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
/proc/16250/statm: 3523249 1256272 3622 1 0 3485321 0
[pid=16250/tid=16252] ppid=16247 vsize=14092996 memory=5025088 CPUtime=2485.82 cores=0,2,4,6
/proc/16250/task/16252/stat : 16252 (java) R 16247 16250 12124 0 -1 4202560 285578 0 0 0 248487 95 0 0 20 0 15 0 246255201 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140318021846288 140317618102485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16253] ppid=16247 vsize=14092996 memory=5025088 CPUtime=5.35 cores=0,2,4,6
/proc/16250/task/16253/stat : 16253 (java) S 16247 16250 12124 0 -1 1077944384 41002 0 0 0 482 53 0 0 20 0 15 0 246255202 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317932686224 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16254] ppid=16247 vsize=14092996 memory=5025088 CPUtime=5.34 cores=0,2,4,6
/proc/16250/task/16254/stat : 16254 (java) S 16247 16250 12124 0 -1 1077944384 34735 0 0 0 483 51 0 0 20 0 15 0 246255202 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317931633424 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16255] ppid=16247 vsize=14092996 memory=5025088 CPUtime=5.36 cores=0,2,4,6
/proc/16250/task/16255/stat : 16255 (java) S 16247 16250 12124 0 -1 1077944384 37183 0 0 0 483 53 0 0 20 0 15 0 246255202 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317930581136 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16256] ppid=16247 vsize=14092996 memory=5024916 CPUtime=5.35 cores=0,2,4,6
/proc/16250/task/16256/stat : 16256 (java) S 16247 16250 12124 0 -1 1077944384 35069 0 0 0 483 52 0 0 20 0 15 0 246255202 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317929528336 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16257] ppid=16247 vsize=14092996 memory=3812 CPUtime=0.48 cores=0,2,4,6
/proc/16250/task/16257/stat : 16257 (java) S 16247 16250 12124 0 -1 1077944384 20366 0 0 0 43 5 0 0 20 0 15 0 246255203 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317491181680 140318017628802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16258] ppid=16247 vsize=14092996 memory=5025088 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16258/stat : 16258 (java) S 16247 16250 12124 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 246255203 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317490127712 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16259] ppid=16247 vsize=14092996 memory=5025088 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16259/stat : 16259 (java) S 16247 16250 12124 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 246255204 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317489075328 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16260] ppid=16247 vsize=14092996 memory=5025088 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16260/stat : 16260 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317488023632 140318017636251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16261] ppid=16247 vsize=14092996 memory=5024916 CPUtime=4.72 cores=0,2,4,6
/proc/16250/task/16261/stat : 16261 (java) S 16247 16250 12124 0 -1 1077944384 36511 0 0 0 469 3 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317486971504 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16262] ppid=16247 vsize=14092996 memory=5024916 CPUtime=4.49 cores=0,2,4,6
/proc/16250/task/16262/stat : 16262 (java) S 16247 16250 12124 0 -1 1077944384 37259 0 0 0 446 3 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317485918704 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16263] ppid=16247 vsize=14092996 memory=5025088 CPUtime=1.69 cores=0,2,4,6
/proc/16250/task/16263/stat : 16263 (java) S 16247 16250 12124 0 -1 1077944384 48588 0 0 0 164 5 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317484866416 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16264] ppid=16247 vsize=14092996 memory=5025088 CPUtime=0 cores=0,2,4,6
/proc/16250/task/16264/stat : 16264 (java) S 16247 16250 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317483813856 140318017627861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
[pid=16250/tid=16265] ppid=16247 vsize=14092996 memory=3812 CPUtime=1.35 cores=0,2,4,6
/proc/16250/task/16265/stat : 16265 (java) S 16247 16250 12124 0 -1 1077944384 1875 0 0 0 71 64 0 0 20 0 15 0 246255206 14431227904 1256272 33554432000 4194304 4196468 140725165464176 140317482760624 140318017628802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140725165466708 140725165466889 140725165466889 140725165469647 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5025088 KiB
Child status: 143
Real time (s): 2491.95
CPU time (s): 2520.1
CPU user time (s): 2516.39
CPU system time (s): 3.71494
CPU usage (%): 101.13
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5025692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.71494
maximum resident set size= 5025692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65108
involuntary context switches= 3112
# summary of solver processes directly reported to runsolver:
# pid: 16250
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.39
# total CPU system time (s): 3.71494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4592 second user time and 19.5342 second system time
The end
Begin job on node149 at 2018-08-15 00:48:40 IDJOB=4308662 IDBENCH=141202 IDSOLVER=2792 FILE ID=node149/4308662-1534286920 RUNJOBID= node149-1534271020-14112 PBS_JOBID= 21038116 Free space on /tmp= 41752 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-10-opt_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-4308662-1534286920/watcher-4308662-1534286920 -o /tmp/evaluation-result-4308662-1534286920/solver-4308662-1534286920 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534271020-14112 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1523608240 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308662-1534286920.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5aacc3d423af8ffef3990b4c8ed069d4 RANDOM SEED=1523608240 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 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: 21722288 kB MemAvailable: 31474224 kB Buffers: 178620 kB Cached: 9746780 kB SwapCached: 1704 kB Active: 4662072 kB Inactive: 5748380 kB Active(anon): 436024 kB Inactive(anon): 101548 kB Active(file): 4226048 kB Inactive(file): 5646832 kB Unevictable: 7608 kB Mlocked: 7608 kB SwapTotal: 67108860 kB SwapFree: 67105356 kB Dirty: 36280 kB Writeback: 0 kB AnonPages: 491256 kB Mapped: 67872 kB Shmem: 49568 kB Slab: 335868 kB SReclaimable: 307516 kB SUnreclaim: 28352 kB KernelStack: 3520 kB PageTables: 6488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1392200 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 346112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 41716 MiB End job on node149 at 2018-08-15 01:30:12