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-07-02 | SAT (TO) | 231924910 | 2400.14 | 2295.16 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml |
| MD5SUM | 970c879d9e656f0525c6818b69538b39 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 162507055 |
| Best CPU time to get the best result obtained on this benchmark | 68.4417 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4976 |
| Number of constraints | 3812 |
| Number of domains | 49 |
| Minimum domain size | 1 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1426 |
| Distribution of variable degrees | [{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}] |
| Number of extensional constraints | 1425 |
| Number of intensional constraints | 2387 |
| Distribution of constraint types | [{"type":"extension","count":1425},{"type":"intension","count":2387}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.68/0.55 c version: 2018-07-02 0.68/0.55 c seed: 329463485 0.68/0.55 c timeout: 2400 0.68/0.55 c memlimit: 11000 0.68/0.55 c nbcore: 4 0.68/0.57 c Parsing instance... 30.84/18.72 c Parsing done, starting first complete search... 38.21/23.19 o 241094176 38.33/23.20 o 241079925 38.33/23.22 o 241079916 38.33/23.23 o 241065656 38.33/23.25 o 241065648 38.33/23.28 o 241051396 38.61/23.30 o 241037146 38.61/23.33 o 241022906 38.61/23.34 o 241022896 38.61/23.36 o 241022886 38.61/23.37 o 241008636 38.61/23.38 o 241008626 38.61/23.39 o 240994366 38.83/23.41 o 240980106 38.83/23.43 o 240965846 38.83/23.44 o 240965836 38.83/23.46 o 240951586 38.83/23.49 o 240951585 38.83/23.50 o 240951576 39.05/23.51 o 240937316 39.05/23.56 o 240923102 39.05/23.56 o 240923094 39.05/23.57 o 240923084 39.05/23.58 o 240923076 39.05/23.59 o 240923066 39.19/23.62 o 240908836 39.19/23.63 o 240908826 39.19/23.64 o 240908816 39.19/23.65 o 240908806 39.19/23.68 o 240894564 39.19/23.69 o 240894556 39.30/23.70 o 240894546 39.30/23.79 o 240894537 39.40/23.84 o 240880306 39.40/23.85 o 240880296 39.40/23.86 o 240880287 39.40/23.87 o 240880277 39.50/23.91 o 240866055 39.50/23.92 o 240866047 39.50/23.93 o 240866037 39.50/23.94 o 240866027 39.50/23.95 o 240866017 39.71/24.19 o 240851795 39.80/24.20 o 240851787 39.80/24.21 o 240851777 39.80/24.23 o 240851775 39.80/24.24 o 240851767 40.00/24.45 o 240837562 40.00/24.46 o 240837554 40.00/24.47 o 240837545 40.00/24.48 o 240837535 40.00/24.49 o 240837525 40.11/24.54 o 240837517 41.32/25.76 o 240823322 41.32/25.76 o 240823313 41.32/25.77 o 240823303 41.32/25.78 o 240823294 41.32/25.79 o 240823285 41.32/25.80 o 240823275 41.42/25.81 o 240823265 41.42/25.82 o 240823257 53.41/37.72 o 240809042 53.41/37.74 o 240794782 53.41/37.76 o 240794772 53.81/38.15 o 240794764 55.61/39.91 o 240794754 57.30/41.66 o 240794751 57.30/41.67 o 240794745 57.30/41.68 o 240794737 98.93/82.83 c First complete search done, starting ALNS search... 101.09/84.53 o 240794734 102.40/85.72 o 240780487 102.40/85.73 o 240780477 102.40/85.74 o 240766227 102.40/85.75 o 240766222 102.40/85.76 o 240766221 102.40/85.77 o 240766212 102.40/85.78 o 240751962 102.40/85.79 o 240737712 102.54/85.80 o 240737702 102.54/85.81 o 240737692 102.54/85.82 o 240723442 102.54/85.83 o 240709192 102.54/85.84 o 240709191 102.54/85.85 o 240694941 102.54/85.86 o 240694932 102.54/85.88 o 240694931 102.54/85.88 o 240694922 102.54/85.89 o 240680681 102.64/85.90 o 240680672 102.64/85.93 o 240666431 102.64/85.94 o 240666422 102.64/85.95 o 240666421 102.64/85.96 o 240666412 102.64/85.97 o 240652171 102.64/85.98 o 240652162 102.64/86.00 o 240652152 102.64/86.00 o 240637902 102.75/86.02 o 240637901 102.75/86.02 o 240637892 102.75/86.03 o 240623651 102.75/86.04 o 240623642 102.75/86.06 o 240623641 102.75/86.07 o 240609391 102.75/86.08 o 240609382 102.75/86.10 o 240609381 102.85/86.11 o 240609372 102.85/86.13 o 240609371 102.85/86.14 o 240609362 102.85/86.15 o 240595121 102.85/86.15 o 240595112 102.85/86.17 o 240595111 102.85/86.18 o 240595102 102.85/86.19 o 240580861 102.85/86.19 o 240580852 102.95/86.21 o 240580851 102.95/86.21 o 240580842 102.95/86.23 o 240580841 102.95/86.24 o 240566610 102.95/86.25 o 240566600 102.95/86.26 o 240566591 102.95/86.27 o 240566590 102.95/86.28 o 240566581 102.95/86.29 o 240552350 103.07/86.30 o 240552341 103.07/86.31 o 240552340 103.07/86.32 o 240552331 103.07/86.33 o 240552330 103.07/86.34 o 240552321 103.07/86.35 o 240552318 103.07/86.36 o 240538097 103.07/86.37 o 240538088 103.07/86.38 o 240538087 103.07/86.39 o 240538078 103.64/86.71 o 240409749 103.64/86.71 o 240395489 103.64/86.72 o 240381248 103.64/86.72 o 240381240 103.64/86.72 o 240381229 103.64/86.73 o 240366988 103.64/86.73 o 240366980 103.64/86.73 o 240366978 103.64/86.74 o 240366970 103.64/86.74 o 240352737 103.64/86.74 o 240352729 103.64/86.75 o 240352720 103.64/86.75 o 240352710 103.64/86.75 o 240338485 103.64/86.76 o 240338477 103.64/86.76 o 240338469 103.64/86.77 o 240338460 103.64/86.77 o 240338451 103.64/86.78 o 240324225 103.64/86.78 o 240324209 103.64/86.79 o 240324200 105.01/88.05 o 240309940 105.01/88.06 o 240295680 105.01/88.06 o 240295673 105.01/88.07 o 240281420 105.01/88.07 o 240267160 105.01/88.08 o 240267153 105.01/88.08 o 240252900 105.01/88.09 o 240238640 105.01/88.09 o 240238633 105.01/88.10 o 240224380 105.01/88.10 o 240210120 105.11/88.11 o 240195860 105.11/88.11 o 240195853 105.11/88.12 o 240181600 105.11/88.12 o 240167340 105.11/88.13 o 240167333 105.11/88.14 o 240153080 105.11/88.14 o 240153073 105.11/88.16 o 240138820 105.11/88.16 o 240138813 105.11/88.17 o 240138810 105.11/88.17 o 240124550 105.11/88.18 o 240124543 105.11/88.18 o 240110290 105.11/88.19 o 240110283 105.20/88.20 o 240096030 105.20/88.20 o 240081770 105.20/88.21 o 240081763 105.20/88.22 o 240067510 105.20/88.22 o 240053250 105.20/88.23 o 240053243 105.20/88.24 o 240038990 105.20/88.24 o 240038983 105.20/88.25 o 240038982 105.20/88.25 o 240038975 105.20/88.26 o 240024730 105.20/88.27 o 240010470 105.20/88.27 o 239996220 105.20/88.28 o 239996210 105.20/88.28 o 239981950 105.20/88.29 o 239967690 105.20/88.29 o 239953430 105.20/88.30 o 239939170 105.30/88.31 o 239924910 105.30/88.31 o 239910650 105.30/88.32 o 239896390 105.30/88.33 o 239882130 105.30/88.33 o 239867870 105.30/88.34 o 239853610 105.30/88.34 o 239853602 105.30/88.35 o 239853595 105.30/88.35 o 239839350 105.30/88.36 o 239839342 105.30/88.36 o 239839335 105.30/88.37 o 239825090 105.30/88.38 o 239825083 105.30/88.39 o 239810830 105.30/88.39 o 239810823 105.41/88.41 o 239796570 105.41/88.42 o 239782310 105.41/88.43 o 239768050 105.41/88.44 o 239768043 105.41/88.45 o 239768036 105.41/88.46 o 239753783 105.41/88.46 o 239739523 105.41/88.47 o 239739516 105.41/88.49 o 239725263 105.51/88.50 o 239711010 105.51/88.50 o 239711003 105.51/88.51 o 239696743 105.51/88.52 o 239696736 105.51/88.52 o 239682483 105.51/88.53 o 239668223 105.51/88.54 o 239668216 105.51/88.55 o 239653963 105.51/88.56 o 239653956 105.51/88.58 o 239639703 105.51/88.59 o 239625443 105.51/88.59 o 239625436 107.28/89.83 o 239611176 107.28/89.83 o 239596916 107.28/89.85 o 239582656 107.28/89.85 o 239568405 107.28/89.86 o 239568404 107.28/89.86 o 239568396 107.28/89.87 o 239554136 107.68/90.14 o 239554128 107.68/90.14 o 239539877 107.68/90.15 o 239539868 107.68/90.16 o 239525630 107.68/90.16 o 239525621 107.68/90.16 o 239525618 107.68/90.17 o 239525617 107.68/90.17 o 239511367 107.68/90.17 o 239511358 107.68/90.18 o 239497110 107.68/90.18 o 239497101 107.77/90.27 o 239482857 107.77/90.27 o 239482848 107.77/90.28 o 239468600 107.77/90.28 o 239468591 107.77/90.29 o 239468590 107.77/90.29 o 239468581 107.88/90.31 o 239468577 107.88/90.31 o 239468568 107.88/90.32 o 239454330 107.88/90.32 o 239454321 107.88/90.33 o 239454318 107.88/90.33 o 239440070 107.88/90.33 o 239440061 107.88/90.35 o 239440060 107.88/90.36 o 239440051 107.88/90.37 o 239425800 107.88/90.37 o 239425791 108.08/90.53 o 239425787 108.08/90.53 o 239425778 108.08/90.54 o 239411537 108.08/90.54 o 239411528 108.08/90.54 o 239397280 108.08/90.54 o 239397271 108.08/90.55 o 239397268 108.08/90.55 o 239383020 108.08/90.56 o 239383011 108.08/90.56 o 239368760 108.08/90.56 o 239368751 108.28/90.76 o 239354509 108.28/90.77 o 239354500 109.56/91.98 o 239354487 109.70/92.01 o 239340227 109.70/92.04 o 239325967 109.70/92.07 o 239325960 109.70/92.10 o 239311707 109.82/92.12 o 239311700 109.82/92.16 o 239297447 109.82/92.19 o 239297440 109.92/92.21 o 239283197 109.92/92.23 o 239283190 109.92/92.25 o 239283187 109.92/92.27 o 239283180 110.04/92.31 o 239268927 110.04/92.32 o 239268920 110.04/92.37 o 239254667 110.04/92.39 o 239254660 110.20/92.43 o 239240407 110.20/92.45 o 239240400 110.20/92.47 o 239240398 110.20/92.49 o 239240391 110.30/92.53 o 239226138 110.30/92.54 o 239226131 110.30/92.58 o 239211897 110.30/92.59 o 239211890 110.40/92.62 o 239211887 110.40/92.63 o 239211880 110.40/92.68 o 239197627 110.40/92.69 o 239197620 110.50/92.72 o 239183376 110.50/92.74 o 239183369 110.50/92.77 o 239183367 110.50/92.78 o 239183360 110.60/92.83 o 239169126 110.60/92.84 o 239169124 110.60/92.86 o 239169117 110.60/92.87 o 239169110 110.70/92.90 o 239169108 110.70/92.91 o 239169101 110.70/92.95 o 239154866 110.70/92.96 o 239154864 110.70/92.97 o 239154857 110.70/92.99 o 239154850 110.81/93.02 o 239154848 110.81/93.04 o 239154841 110.81/93.09 o 239154840 110.91/93.12 o 239140606 110.91/93.13 o 239140604 110.91/93.14 o 239140597 110.91/93.16 o 239140590 110.91/93.18 o 239140588 111.00/93.20 o 239140581 111.00/93.22 o 239126346 111.00/93.24 o 239126344 111.00/93.25 o 239126337 111.00/93.26 o 239126330 111.20/93.39 o 239126328 111.49/93.41 o 239126321 111.49/93.45 o 239112086 111.49/93.47 o 239112084 111.49/93.48 o 239112077 111.49/93.49 o 239112070 111.59/93.53 o 239112068 111.59/93.54 o 239112061 111.59/93.59 o 239112060 111.70/93.60 o 239097816 111.70/93.62 o 239097809 111.70/93.66 o 239097807 111.70/93.68 o 239083556 111.70/93.69 o 239083549 111.80/93.74 o 239083548 111.80/93.75 o 239069306 111.80/93.77 o 239069304 111.80/93.78 o 239069297 111.90/93.80 o 239069290 111.90/93.84 o 239069288 111.90/93.86 o 239055046 111.90/93.87 o 239055044 111.90/93.88 o 239055037 112.00/93.91 o 239055030 112.00/93.95 o 239055028 112.00/93.96 o 239055021 112.00/94.00 o 239055020 112.11/94.03 o 239040786 112.11/94.04 o 239040784 112.11/94.06 o 239040777 112.11/94.08 o 239040770 112.21/94.11 o 239040768 112.21/94.13 o 239040761 112.21/94.16 o 239026526 112.21/94.17 o 239026524 112.21/94.18 o 239026517 112.21/94.20 o 239026510 112.30/94.23 o 239026508 112.30/94.24 o 239026501 112.30/94.28 o 239012275 112.30/94.29 o 239012273 112.40/94.30 o 239012266 112.40/94.32 o 239012259 112.40/94.35 o 239012257 112.40/94.37 o 239012250 112.56/94.40 o 238998022 112.56/94.41 o 238998020 112.56/94.42 o 238998013 112.56/94.44 o 238998006 112.56/94.47 o 238998004 112.56/94.49 o 238997997 112.70/94.52 o 238997996 112.70/94.55 o 238997994 112.70/94.57 o 238997987 112.90/94.77 o 238997985 113.01/94.80 o 238997983 113.01/94.82 o 238997976 113.01/94.86 o 238983762 113.01/94.87 o 238983760 113.01/94.88 o 238983753 113.11/94.90 o 238983752 113.11/94.91 o 238983750 113.11/94.92 o 238983743 113.11/94.95 o 238983736 114.05/95.71 o 238983717 114.47/96.11 o 238969476 114.56/96.22 o 238969475 114.56/96.28 o 238969466 114.86/96.56 o 238955226 114.96/96.65 o 238955225 115.06/96.71 o 238955216 115.16/96.80 o 238955207 115.26/96.91 o 238940966 115.26/97.00 o 238940965 115.37/97.06 o 238940956 115.84/97.45 o 238940947 115.94/97.56 o 238926706 116.04/97.65 o 238926705 116.14/97.73 o 238926696 116.24/97.86 o 238926687 116.45/98.01 o 238912446 116.55/98.11 o 238912445 116.55/98.19 o 238912436 116.64/98.29 o 238912427 116.84/98.42 o 238898186 116.94/98.51 o 238898185 116.94/98.58 o 238898176 117.24/98.80 o 238898166 117.24/98.89 o 238883916 117.45/99.03 o 238883898 117.55/99.13 o 238883897 117.64/99.24 o 238883887 117.75/99.30 o 238869637 117.86/99.45 o 238869636 117.86/99.49 o 238855386 118.07/99.63 o 238855376 118.17/99.71 o 238841126 118.37/99.92 o 238841107 118.87/100.41 o 238841106 118.87/100.46 o 238826856 119.18/100.71 o 238826847 119.38/100.90 o 238826846 119.38/100.96 o 238812596 120.18/101.75 o 238812587 120.38/101.99 o 238812586 120.49/102.05 o 238798336 120.98/102.52 o 238798318 121.20/102.79 o 238798317 121.31/102.85 o 238784067 123.11/104.60 o 238784058 124.90/106.06 o 238784057 125.00/106.13 o 238769807 127.71/108.82 o 238727035 127.81/108.91 o 238712775 127.81/109.00 o 238698523 128.02/109.18 o 238684276 128.11/109.25 o 238684273 147.98/128.47 o 238655771 148.09/128.55 o 238641520 148.19/128.62 o 238627270 159.20/139.08 o 238627239 159.30/139.15 o 238627237 159.39/139.22 o 238627236 159.49/139.30 o 238627231 159.49/139.38 o 238627229 159.59/139.45 o 238627228 159.79/139.64 o 238627227 159.89/139.76 o 238627223 159.99/139.83 o 238627221 160.09/139.90 o 238627220 160.20/140.02 o 238627219 165.31/145.10 o 238627217 168.32/148.01 o 238627216 168.32/148.03 o 238612965 168.43/148.15 o 238598725 168.52/148.24 o 238598715 169.03/148.73 o 238598714 169.13/148.82 o 238584465 169.23/148.90 o 238584464 170.23/149.99 o 238570204 170.83/150.56 o 238570197 175.59/151.96 o 238555947 175.89/152.28 o 238555937 175.99/152.37 o 238541687 176.29/152.69 o 238541678 176.39/152.79 o 238527428 176.59/153.00 o 238527427 176.70/153.07 o 238527418 176.99/153.35 o 238527408 177.09/153.47 o 238513158 177.49/153.86 o 238513148 177.59/153.96 o 238498898 177.80/154.19 o 238498889 178.09/154.45 o 238498879 178.19/154.58 o 238484629 178.80/155.14 o 238470344 179.29/155.61 o 238470337 179.70/156.08 o 238470334 180.19/156.54 o 238470331 180.70/157.01 o 238470329 181.09/157.46 o 238470328 181.59/157.92 o 238470326 182.09/158.41 o 238470323 182.49/158.85 o 238470322 183.09/159.49 o 238470321 183.70/160.07 o 238470320 184.29/160.61 o 238470319 185.10/161.49 o 238470316 185.70/162.02 o 238470313 186.40/162.75 o 238470312 187.00/163.37 o 238470311 187.60/163.92 o 238470310 188.64/164.63 o 238470309 189.34/165.33 o 238456073 189.84/165.82 o 238456071 190.35/166.34 o 238456065 190.85/166.87 o 238456064 191.35/167.37 o 238456061 191.85/167.89 o 238456060 192.45/168.42 o 238456056 192.95/168.92 o 238456055 193.45/169.44 o 238456053 193.95/169.96 o 238456052 194.55/170.57 o 238456051 195.16/171.12 o 238456050 195.75/171.71 o 238456049 196.45/172.41 o 238441823 196.85/172.88 o 238441819 197.35/173.38 o 238441814 197.85/173.87 o 238441811 198.35/174.34 o 238441810 199.27/175.03 o 238427550 199.37/175.19 o 238413297 199.88/175.63 o 238399043 200.08/175.81 o 238384793 200.18/175.98 o 238384783 200.39/176.12 o 238370533 200.58/176.30 o 238370523 200.68/176.41 o 238356273 200.88/176.67 o 238356263 201.08/176.85 o 238342013 201.39/177.11 o 238342003 201.48/177.20 o 238327753 201.78/177.59 o 238313503 201.98/177.77 o 238313493 202.19/177.94 o 238299243 202.40/178.14 o 238299233 202.79/178.53 o 238299223 203.09/178.87 o 238284963 203.49/179.22 o 238270703 203.69/179.45 o 238256453 203.89/179.69 o 238256443 204.19/179.96 o 238242193 204.39/180.14 o 238242183 206.40/182.16 o 238227933 206.49/182.24 o 238227923 206.69/182.47 o 238213673 206.89/182.65 o 238213663 208.40/184.11 o 238199413 208.40/184.19 o 238199403 209.30/185.04 o 238185153 209.40/185.13 o 238185143 210.20/185.92 o 238185142 210.41/186.15 o 238185134 211.00/186.52 o 238170892 211.20/186.72 o 238170882 212.30/187.84 o 238170874 212.61/188.16 o 238156632 212.80/188.38 o 238156622 213.51/189.07 o 238156614 213.80/189.36 o 238142372 213.90/189.43 o 238142362 215.80/191.35 o 238142354 217.20/192.71 o 238128112 217.40/192.90 o 238128102 218.70/194.21 o 238128094 219.10/194.64 o 238113852 219.30/194.84 o 238113842 220.43/195.95 o 238113841 220.64/196.14 o 238099581 220.83/196.37 o 238085321 221.13/196.63 o 238071068 221.33/196.88 o 238056808 221.79/197.13 o 238056801 222.03/197.35 o 238042541 222.33/197.61 o 238028281 222.63/197.95 o 238014028 222.84/198.12 o 238014021 223.63/198.94 o 237999761 223.93/199.21 o 237985501 224.23/199.54 o 237971241 224.53/199.81 o 237956981 224.84/200.16 o 237956972 225.13/200.45 o 237942719 225.33/200.69 o 237942712 225.64/200.96 o 237928452 226.24/201.54 o 237914192 226.54/201.85 o 237899932 227.24/202.58 o 237899930 227.64/202.95 o 237899922 228.04/203.34 o 237899919 228.94/204.27 o 237871369 229.04/204.39 o 237857109 229.24/204.56 o 237857102 229.44/204.75 o 237842849 229.54/204.90 o 237842842 229.94/205.27 o 237828589 230.14/205.42 o 237828582 232.94/208.24 o 237814339 234.35/209.61 o 237814332 236.48/211.57 o 237800072 237.98/213.06 o 237800071 238.29/213.34 o 237785811 239.10/214.14 o 237771574 239.69/214.71 o 237771565 239.79/214.86 o 237757315 240.10/215.19 o 237757314 240.29/215.33 o 237743064 240.59/215.61 o 237743057 240.69/215.79 o 237743048 240.99/216.02 o 237743047 241.10/216.19 o 237728797 241.79/216.80 o 237728789 241.89/216.95 o 237728788 242.19/217.23 o 237728787 242.39/217.42 o 237714537 251.74/226.54 o 237700309 252.14/226.94 o 237700299 253.05/227.83 o 237686049 253.36/228.15 o 237686039 254.54/229.22 o 237671786 254.94/229.62 o 237657535 255.04/229.76 o 237657533 255.24/229.93 o 237657526 255.64/230.33 o 237643266 256.05/230.74 o 237643259 256.46/231.16 o 237629008 256.85/231.51 o 237628999 257.75/232.41 o 237614739 258.65/233.37 o 237614721 259.36/234.11 o 237614711 261.89/236.40 o 237600461 262.29/236.73 o 237600451 262.70/237.18 o 237586201 262.99/237.48 o 237586191 263.89/238.31 o 237571951 264.29/238.73 o 237571941 266.79/241.26 o 237571933 267.59/242.03 o 237557709 267.79/242.28 o 237557700 268.19/242.60 o 237557691 268.49/242.94 o 237543440 268.59/243.07 o 237543431 268.99/243.45 o 237543430 269.09/243.55 o 237543421 270.00/244.40 o 237514891 270.30/244.76 o 237500641 270.80/245.25 o 237500639 272.50/246.98 o 237486381 273.30/247.74 o 237472119 273.60/248.05 o 237457859 276.70/250.86 o 237429347 277.01/251.13 o 237415087 277.41/251.56 o 237400835 278.01/252.19 o 237400833 279.11/253.27 o 237372333 279.51/253.67 o 237358075 280.21/254.30 o 237358063 280.61/254.77 o 237343815 286.11/260.23 o 237343805 289.48/263.27 o 237343799 290.08/263.81 o 237329539 290.68/264.43 o 237315285 290.98/264.78 o 237301025 292.18/265.94 o 237286765 296.99/270.78 o 237158447 297.19/270.96 o 237144197 299.19/272.90 o 237144186 299.30/273.09 o 237129936 300.69/274.49 o 237115686 302.59/276.33 o 237115670 303.18/276.62 o 237115660 303.38/276.88 o 237115650 303.69/277.17 o 237101419 303.78/277.22 o 237101409 303.98/277.40 o 237101400 304.18/277.67 o 237101391 304.59/278.05 o 237101390 304.78/278.25 o 237087159 304.88/278.34 o 237087150 305.08/278.53 o 237087149 305.18/278.68 o 237087140 306.38/279.85 o 237087131 307.08/280.59 o 237087130 307.18/280.67 o 237087121 307.28/280.77 o 237072881 307.38/280.83 o 237072871 309.08/282.52 o 237072870 309.18/282.61 o 237072861 309.28/282.76 o 237058621 309.38/282.81 o 237058611 309.59/283.09 o 237044361 309.88/283.31 o 237044351 311.28/284.73 o 237044350 311.38/284.89 o 237044341 311.59/285.06 o 237030091 312.38/285.85 o 237015859 312.59/286.02 o 237015850 313.18/286.65 o 237015831 313.78/287.20 o 237015821 313.98/287.42 o 237001580 314.18/287.61 o 237001571 316.48/290.01 o 237001570 316.78/290.23 o 236987329 316.98/290.44 o 236987320 317.48/290.91 o 236987311 320.58/293.74 o 236987310 320.78/293.91 o 236987301 321.00/294.16 o 236973051 322.19/295.30 o 236958800 322.49/295.64 o 236944550 323.19/296.38 o 236944548 324.19/297.37 o 236944538 324.39/297.56 o 236930288 324.59/297.72 o 236930278 325.90/299.01 o 236930261 326.09/299.25 o 236930257 326.40/299.54 o 236930255 326.70/299.88 o 236930241 328.01/301.18 o 236916008 328.40/301.50 o 236916001 330.23/303.09 o 236901777 330.92/303.79 o 236901759 331.42/304.22 o 236887499 331.92/304.71 o 236887492 336.53/309.39 o 236873242 337.34/310.18 o 236858982 337.72/310.58 o 236844722 338.53/311.37 o 236830462 338.82/311.60 o 236816202 340.12/312.94 o 236801942 340.53/313.38 o 236787682 341.24/314.01 o 236787681 341.34/314.15 o 236787679 341.53/314.31 o 236787672 343.51/316.04 o 236787669 343.70/316.22 o 236773429 343.91/316.40 o 236773422 344.01/316.57 o 236773419 344.51/317.03 o 236773412 344.71/317.26 o 236773409 345.41/317.98 o 236759169 345.62/318.18 o 236759159 345.81/318.38 o 236759152 346.11/318.66 o 236759149 346.71/319.20 o 236744909 346.81/319.33 o 236744899 347.01/319.52 o 236744892 347.31/319.85 o 236744889 347.81/320.38 o 236730649 348.01/320.51 o 236730642 348.11/320.65 o 236730639 348.21/320.78 o 236730632 348.51/321.08 o 236716389 348.71/321.25 o 236716382 349.01/321.52 o 236716379 349.21/321.77 o 236716372 349.51/322.09 o 236716369 350.11/322.67 o 236702119 350.41/322.99 o 236702112 351.20/323.71 o 236702109 351.90/324.41 o 236687859 352.20/324.71 o 236687849 352.40/324.96 o 236673599 352.70/325.21 o 236673589 352.91/325.43 o 236659339 353.11/325.66 o 236659329 353.31/325.88 o 236645079 353.71/326.25 o 236645069 356.38/328.64 o 236630809 356.68/328.97 o 236616556 356.89/329.14 o 236616549 357.28/329.53 o 236602289 357.58/329.87 o 236588036 357.89/330.19 o 236588029 358.28/330.56 o 236588028 358.48/330.77 o 236588021 358.89/331.18 o 236573768 359.08/331.34 o 236573761 362.68/335.00 o 236559510 363.08/335.34 o 236559501 363.79/336.04 o 236545250 363.99/336.27 o 236545241 364.90/337.11 o 236530990 365.19/337.45 o 236530981 365.79/338.06 o 236516730 366.09/338.39 o 236516721 367.08/339.32 o 236502480 367.76/339.72 o 236502471 368.07/340.01 o 236502470 368.17/340.16 o 236502461 368.86/340.85 o 236488220 369.07/341.09 o 236488210 369.36/341.40 o 236488201 369.86/341.83 o 236473960 370.07/342.07 o 236473950 370.36/342.34 o 236473941 370.86/342.81 o 236459700 371.07/343.05 o 236459690 371.36/343.30 o 236459681 371.86/343.87 o 236445440 372.07/344.08 o 236445430 372.36/344.31 o 236445421 373.66/345.69 o 236431180 373.86/345.84 o 236431171 374.07/346.02 o 236431170 374.26/346.20 o 236431161 377.56/349.51 o 236416920 377.76/349.70 o 236416911 378.07/350.04 o 236416910 378.36/350.37 o 236416901 378.86/350.82 o 236402660 379.07/351.01 o 236402651 379.26/351.28 o 236402650 379.56/351.55 o 236402641 383.16/355.00 o 236388420 383.53/355.20 o 236388418 383.73/355.44 o 236388411 384.04/355.70 o 236388410 384.24/355.91 o 236388408 384.45/356.14 o 236388401 385.35/357.08 o 236388400 385.64/357.37 o 236388398 385.94/357.68 o 236388391 386.94/358.67 o 236374156 387.24/358.91 o 236374154 387.45/359.17 o 236374147 387.94/359.65 o 236374146 388.95/360.66 o 236359892 393.95/365.60 o 236345641 395.91/367.20 o 236345640 399.21/370.53 o 236345588 399.41/370.73 o 236345584 399.72/371.07 o 236345574 400.11/371.47 o 236345572 400.61/371.93 o 236345570 401.11/372.41 o 236345569 401.51/372.86 o 236345565 401.61/372.94 o 236345564 402.01/373.32 o 236345563 402.31/373.65 o 236345562 402.61/373.95 o 236345560 405.42/376.79 o 236331326 405.62/376.93 o 236331325 405.92/377.29 o 236331322 406.12/377.45 o 236331321 406.83/378.19 o 236331319 417.47/388.45 o 236317069 417.67/388.67 o 236317059 424.49/395.16 o 236302799 424.78/395.42 o 236288539 425.08/395.80 o 236274279 425.58/396.22 o 236260029 426.59/397.21 o 236260019 426.89/397.55 o 236245778 427.50/398.19 o 236231509 431.79/402.43 o 236231500 433.69/404.37 o 236231485 433.99/404.60 o 236231476 434.20/404.86 o 236231475 434.41/405.10 o 236231466 435.70/406.33 o 236217215 435.90/406.56 o 236217206 436.80/407.48 o 236202955 437.20/407.88 o 236202946 438.41/409.06 o 236188695 438.70/409.36 o 236188686 441.34/411.65 o 236174435 441.55/411.85 o 236174426 445.24/415.39 o 236174416 445.44/415.53 o 236160166 446.14/416.25 o 236160156 446.24/416.39 o 236145906 446.54/416.69 o 236145896 446.74/416.82 o 236131646 451.05/421.16 o 236117406 451.44/421.56 o 236117396 452.95/423.03 o 236117386 453.54/423.69 o 236103146 453.74/423.87 o 236103136 454.44/424.58 o 236103126 455.95/426.05 o 236103116 457.32/427.06 o 236088856 457.82/427.52 o 236074596 458.52/428.29 o 236046087 459.33/429.07 o 236046086 463.28/432.91 o 236031836 464.18/433.85 o 236031826 464.78/434.43 o 236017576 465.58/435.22 o 236017567 465.98/435.68 o 236003316 469.88/439.54 o 236003314 470.51/439.90 o 236003306 471.91/441.22 o 235989054 472.11/441.43 o 235989046 473.31/442.69 o 235974794 473.51/442.90 o 235974786 475.31/444.60 o 235960544 475.51/444.80 o 235960536 475.72/445.02 o 235960534 475.82/445.16 o 235960533 476.01/445.30 o 235960526 476.41/445.77 o 235946281 476.61/445.93 o 235946273 476.82/446.19 o 235946266 477.61/446.93 o 235932021 477.72/447.07 o 235932014 477.91/447.28 o 235932013 478.11/447.44 o 235932006 482.22/451.58 o 235932004 482.32/451.69 o 235931996 482.52/451.84 o 235917764 482.62/451.93 o 235917756 482.82/452.19 o 235917754 483.01/452.37 o 235917753 483.11/452.49 o 235917746 483.82/453.16 o 235903504 483.91/453.25 o 235903496 484.01/453.36 o 235903494 484.11/453.47 o 235903493 484.21/453.58 o 235903486 487.43/456.41 o 235889236 487.93/456.91 o 235874976 488.53/457.52 o 235860716 496.67/465.60 o 235846456 504.91/473.49 o 235803676 505.31/473.81 o 235789416 507.72/476.27 o 235718106 508.42/476.96 o 235703856 512.52/481.09 o 235703855 514.02/482.56 o 235689605 521.31/489.42 o 235689601 523.02/491.15 o 235689600 523.41/491.57 o 235689599 523.81/491.91 o 235675371 523.92/492.09 o 235675363 524.11/492.29 o 235675357 524.31/492.49 o 235675349 524.92/493.07 o 235675341 525.71/493.86 o 235675339 525.92/494.10 o 235675331 526.42/494.52 o 235661103 526.82/494.90 o 235661089 527.21/495.32 o 235661081 530.64/498.50 o 235646821 531.35/499.15 o 235646811 532.04/499.85 o 235632561 532.35/500.18 o 235632551 533.35/501.15 o 235618291 535.65/503.44 o 235618283 537.26/505.03 o 235604031 538.45/506.23 o 235575519 540.26/508.05 o 235561251 547.98/515.37 o 235547029 548.28/515.64 o 235547027 548.58/515.93 o 235547025 548.88/516.22 o 235547022 549.08/516.46 o 235547019 549.48/516.82 o 235547018 549.68/517.11 o 235547017 549.98/517.37 o 235547014 550.28/517.62 o 235547011 551.08/518.48 o 235547009 551.38/518.79 o 235547008 551.79/519.14 o 235547007 552.08/519.43 o 235547004 552.38/519.72 o 235547001 554.36/521.67 o 235546991 557.36/524.61 o 235532741 557.96/525.23 o 235532731 559.66/526.93 o 235518481 560.36/527.64 o 235518471 563.25/529.94 o 235504231 563.55/530.28 o 235504221 563.96/530.68 o 235504211 565.56/532.26 o 235489961 566.06/532.75 o 235489951 567.56/534.22 o 235475691 567.86/534.51 o 235461431 568.79/535.42 o 235447171 569.89/536.51 o 235447162 570.09/536.74 o 235432912 570.50/537.18 o 235432911 570.99/537.64 o 235418661 571.59/538.24 o 235418651 572.29/538.98 o 235418642 572.59/539.22 o 235404392 572.99/539.68 o 235404382 573.50/540.13 o 235390132 573.89/540.50 o 235390122 574.50/541.16 o 235375881 574.69/541.34 o 235375871 576.12/542.79 o 235375862 577.53/544.14 o 235361611 579.21/545.28 o 235361602 580.12/546.17 o 235347361 580.81/546.85 o 235347351 582.12/548.11 o 235347342 583.31/549.34 o 235333091 603.82/569.20 o 235333082 604.42/569.87 o 235318831 605.52/570.98 o 235318823 607.63/573.10 o 235318822 608.12/573.51 o 235304571 608.73/574.16 o 235304563 614.32/579.17 o 235290303 625.37/589.57 o 235276072 625.77/589.92 o 235276070 626.07/590.28 o 235276063 626.77/590.99 o 235276062 627.17/591.36 o 235276060 627.57/591.75 o 235276053 629.27/593.43 o 235261812 630.77/594.97 o 235247556 632.08/596.23 o 235247542 633.08/597.25 o 235233285 635.18/599.35 o 235233276 636.28/600.47 o 235233273 643.81/607.34 o 235219041 664.81/627.77 o 235204781 665.51/628.45 o 235190521 667.33/630.22 o 235190518 668.83/631.79 o 235176258 671.53/634.46 o 235162017 672.24/635.12 o 235162008 676.07/638.27 o 235162007 676.37/638.53 o 235162005 676.67/638.87 o 235161998 676.99/639.16 o 235147747 677.18/639.32 o 235147745 677.38/639.56 o 235147738 678.18/640.30 o 235133478 679.28/641.48 o 235119218 683.07/645.14 o 235104958 684.76/646.89 o 235090707 697.11/658.53 o 235076457 700.01/661.48 o 235076447 702.15/662.98 o 235062197 703.45/664.30 o 235047946 704.45/665.27 o 235047936 705.15/665.97 o 235033686 706.45/667.28 o 235019426 707.85/668.66 o 235005166 708.95/669.79 o 235005156 709.75/670.58 o 234990906 711.05/671.87 o 234990896 711.56/672.31 o 234976646 712.66/673.42 o 234976636 713.06/673.83 o 234962386 717.55/677.78 o 234962356 718.35/678.50 o 234962354 720.83/680.97 o 234962345 725.13/685.24 o 234948085 733.44/692.97 o 234948083 738.45/697.95 o 234933833 739.56/699.07 o 234933823 741.56/701.09 o 234933814 742.95/702.49 o 234919573 743.35/702.80 o 234919563 753.93/712.84 o 234905331 755.13/714.07 o 234905329 755.83/714.80 o 234905322 759.83/718.73 o 234905321 761.43/720.30 o 234905319 762.43/721.36 o 234905312 764.04/723.01 o 234891071 764.84/723.73 o 234891069 765.64/724.52 o 234891062 769.79/728.11 o 234876811 775.98/734.31 o 234862559 777.58/735.92 o 234848306 778.08/736.47 o 234848299 781.01/738.72 o 234834039 783.91/741.63 o 234834031 784.82/742.54 o 234819791 790.33/748.06 o 234819771 793.92/751.64 o 234819770 795.02/752.74 o 234791258 795.22/752.90 o 234791251 795.33/753.06 o 234791250 795.82/753.52 o 234776998 795.92/753.65 o 234776991 796.02/753.78 o 234776990 798.82/755.93 o 234776972 799.22/756.39 o 234762721 800.03/757.13 o 234762720 800.22/757.39 o 234748469 801.22/758.36 o 234748468 803.13/760.26 o 234748460 804.83/761.99 o 234748459 807.04/764.16 o 234734213 808.33/765.46 o 234734207 809.33/766.50 o 234734206 812.04/769.18 o 234719961 813.56/770.07 o 234719954 819.28/775.78 o 234719935 821.18/777.60 o 234691434 822.18/778.60 o 234677174 823.18/779.64 o 234677167 824.48/780.95 o 234662923 825.98/782.45 o 234662913 828.59/785.01 o 234662904 846.24/802.08 o 234662902 846.94/802.79 o 234662895 850.54/805.76 o 234648675 851.34/806.57 o 234648662 852.14/807.31 o 234648655 853.04/808.29 o 234648652 854.05/809.26 o 234648645 855.15/810.36 o 234648642 856.05/811.27 o 234648635 859.05/814.24 o 234634375 867.17/821.78 o 234620155 867.58/822.11 o 234620153 867.87/822.43 o 234620146 870.07/824.68 o 234605895 870.48/825.07 o 234605893 870.98/825.50 o 234605886 872.38/827.00 o 234591635 872.78/827.36 o 234591633 873.18/827.75 o 234591626 875.08/829.67 o 234591624 886.19/840.15 o 234591616 886.58/840.53 o 234591606 887.99/841.92 o 234591605 889.20/843.11 o 234591604 890.39/844.31 o 234591602 891.59/845.51 o 234591601 892.80/846.77 o 234591600 894.00/847.90 o 234591597 895.81/849.16 o 234591594 897.00/850.33 o 234591593 898.19/851.53 o 234591592 899.40/852.75 o 234591591 900.70/854.08 o 234591590 902.00/855.34 o 234591587 903.20/856.50 o 234591584 904.91/858.26 o 234591582 906.61/859.94 o 234577341 908.11/861.40 o 234577333 908.72/862.08 o 234563093 909.42/862.79 o 234563090 913.47/866.16 o 234563081 914.26/867.00 o 234548840 918.76/871.48 o 234548831 922.86/875.59 o 234548830 924.39/877.07 o 234548829 925.18/877.80 o 234534570 925.49/878.12 o 234534569 927.45/879.41 o 234534568 935.56/887.58 o 234520329 935.86/887.87 o 234520328 940.08/892.09 o 234506069 941.08/893.05 o 234506068 950.82/902.19 o 234491809 951.72/903.06 o 234491808 978.75/929.48 o 234491800 980.15/930.25 o 234477559 980.65/930.75 o 234477549 981.45/931.59 o 234477548 983.85/933.98 o 234477540 984.45/934.51 o 234477539 985.35/935.48 o 234463299 985.95/936.08 o 234463289 986.65/936.71 o 234463288 988.75/938.83 o 234463280 989.15/939.20 o 234463279 989.75/939.83 o 234449029 990.35/940.44 o 234449028 991.56/941.64 o 234449027 994.36/944.40 o 234449015 994.97/945.07 o 234449014 997.17/946.61 o 234449008 997.77/947.25 o 234449007 999.68/949.16 o 234434755 1000.27/949.76 o 234434748 1001.58/951.06 o 234434747 1003.07/952.50 o 234434741 1004.38/953.84 o 234434740 1006.58/956.01 o 234420488 1007.18/956.62 o 234420481 1008.28/957.72 o 234420480 1011.38/960.89 o 234406235 1012.18/961.69 o 234406234 1014.20/963.04 o 234406228 1015.60/964.41 o 234391977 1015.70/964.55 o 234391968 1016.21/965.09 o 234377718 1017.40/966.28 o 234377708 1017.60/966.45 o 234363458 1018.71/967.56 o 234363448 1019.31/968.16 o 234349198 1041.84/990.10 o 234349188 1042.33/990.52 o 234334938 1045.63/993.81 o 234334937 1046.43/994.67 o 234320678 1047.03/995.29 o 234320677 1048.63/996.88 o 234320668 1050.03/997.64 o 234320667 1052.13/999.77 o 234320658 1052.73/1000.38 o 234320657 1058.84/1006.46 o 234306405 1059.45/1007.07 o 234306398 1060.94/1008.54 o 234306397 1067.06/1014.10 o 234292148 1067.76/1014.74 o 234292147 1068.36/1015.35 o 234292138 1068.96/1015.95 o 234292137 1071.06/1018.06 o 234277878 1071.96/1018.98 o 234277877 1073.66/1020.66 o 234263628 1074.96/1021.98 o 234263627 1076.76/1023.74 o 234249359 1077.36/1024.31 o 234249358 1079.77/1026.76 o 234235108 1081.31/1027.62 o 234235107 1082.31/1028.69 o 234235099 1082.61/1028.91 o 234235098 1083.82/1030.18 o 234220839 1085.01/1031.35 o 234220838 1092.22/1038.54 o 234206589 1092.62/1038.90 o 234206588 1093.32/1039.68 o 234206579 1093.62/1040.00 o 234206578 1095.12/1041.49 o 234178066 1106.23/1051.93 o 234163857 1107.03/1052.75 o 234163847 1108.13/1053.89 o 234163837 1109.34/1055.03 o 234163828 1110.73/1056.43 o 234163826 1120.13/1065.23 o 234163816 1120.83/1065.92 o 234149566 1121.83/1066.90 o 234149556 1122.94/1068.04 o 234135306 1123.53/1068.66 o 234135296 1124.63/1069.72 o 234121054 1125.13/1070.28 o 234121044 1125.94/1071.07 o 234106796 1126.43/1071.59 o 234106786 1127.04/1072.11 o 234106784 1128.04/1073.14 o 234092536 1128.63/1073.70 o 234092526 1129.13/1074.25 o 234092524 1131.15/1075.65 o 234078276 1131.55/1076.10 o 234078266 1132.05/1076.54 o 234078264 1132.95/1077.45 o 234064016 1133.45/1077.93 o 234064006 1133.95/1078.42 o 234064004 1135.45/1079.93 o 234049756 1136.15/1080.63 o 234049754 1145.97/1090.46 o 234049692 1146.58/1091.02 o 234049690 1148.18/1092.10 o 234049682 1148.57/1092.43 o 234049680 1166.08/1109.39 o 234035431 1166.78/1110.09 o 234035429 1167.48/1110.75 o 234035420 1171.28/1114.58 o 234035412 1171.78/1115.05 o 234021169 1172.08/1115.35 o 234021160 1175.28/1118.59 o 234006919 1176.18/1119.43 o 234006909 1176.98/1120.28 o 234006900 1179.08/1122.39 o 233992650 1179.90/1123.16 o 233992640 1182.89/1125.54 o 233992639 1183.49/1126.11 o 233992636 1183.99/1126.64 o 233992635 1184.50/1127.17 o 233992632 1185.09/1127.70 o 233992629 1185.79/1128.42 o 233992628 1186.50/1129.14 o 233992627 1186.99/1129.67 o 233992624 1187.59/1130.24 o 233992621 1190.60/1133.28 o 233978378 1191.09/1133.77 o 233978376 1191.60/1134.27 o 233978374 1192.10/1134.76 o 233978371 1192.60/1135.26 o 233978368 1193.60/1136.27 o 233978367 1194.10/1136.77 o 233978364 1194.70/1137.34 o 233978361 1196.90/1139.51 o 233964118 1197.20/1139.89 o 233964116 1197.69/1140.31 o 233964114 1198.09/1140.73 o 233964111 1199.18/1141.38 o 233964108 1200.18/1142.24 o 233964107 1200.68/1142.74 o 233964104 1201.18/1143.27 o 233964101 1208.48/1150.54 o 233964093 1208.78/1150.81 o 233964091 1208.99/1151.08 o 233964085 1214.38/1156.43 o 233949833 1215.09/1157.11 o 233949831 1215.58/1157.64 o 233949825 1219.17/1160.68 o 233949815 1221.57/1163.05 o 233935563 1221.97/1163.47 o 233935561 1222.27/1163.73 o 233935555 1223.87/1165.35 o 233935545 1225.07/1166.53 o 233921295 1238.95/1179.85 o 233907038 1241.65/1182.52 o 233892778 1246.65/1187.59 o 233892775 1255.14/1195.40 o 233892765 1257.75/1198.07 o 233878515 1258.75/1199.09 o 233878505 1269.32/1208.99 o 233864265 1271.12/1210.70 o 233864264 1275.06/1214.64 o 233850014 1275.86/1215.42 o 233850004 1277.26/1216.86 o 233850003 1279.06/1218.65 o 233835761 1279.66/1219.27 o 233835751 1280.46/1220.06 o 233835744 1281.47/1221.06 o 233835743 1285.87/1224.80 o 233821494 1286.38/1225.39 o 233821493 1287.28/1226.25 o 233821491 1287.78/1226.79 o 233821484 1288.58/1227.57 o 233821483 1290.48/1229.44 o 233807241 1290.98/1229.91 o 233807231 1291.48/1230.50 o 233807230 1292.19/1231.12 o 233807224 1296.38/1235.37 o 233792971 1296.68/1235.65 o 233792964 1297.58/1236.59 o 233778711 1298.28/1237.24 o 233778704 1300.71/1239.04 o 233764451 1301.50/1239.80 o 233764444 1303.00/1241.37 o 233750191 1303.71/1242.10 o 233750184 1305.51/1243.81 o 233735931 1306.21/1244.53 o 233735924 1307.61/1245.94 o 233721672 1308.72/1247.05 o 233707412 1318.84/1256.57 o 233707402 1322.24/1259.99 o 233707393 1329.05/1266.73 o 233693143 1330.15/1267.81 o 233693133 1330.96/1268.65 o 233664615 1332.48/1270.13 o 233650363 1335.53/1272.51 o 233636113 1337.04/1274.06 o 233621854 1337.33/1274.30 o 233621853 1339.93/1276.98 o 233621843 1342.23/1279.27 o 233607594 1342.43/1279.47 o 233607593 1344.43/1281.47 o 233607583 1353.00/1289.39 o 233593323 1359.20/1295.60 o 233579073 1361.50/1297.89 o 233550563 1371.28/1306.91 o 233550553 1372.49/1308.15 o 233536293 1375.79/1311.40 o 233536291 1377.29/1312.97 o 233536283 1380.09/1315.73 o 233522023 1382.80/1318.42 o 233507764 1390.38/1325.30 o 233507763 1406.02/1340.36 o 233507758 1406.52/1340.88 o 233507757 1406.92/1341.29 o 233507755 1407.42/1341.73 o 233507749 1408.03/1342.33 o 233507747 1408.63/1342.98 o 233507741 1412.43/1346.78 o 233493506 1412.73/1347.10 o 233493504 1413.13/1347.46 o 233493498 1413.53/1347.83 o 233493496 1413.93/1348.23 o 233493490 1414.43/1348.79 o 233493489 1415.03/1349.35 o 233493487 1415.43/1349.76 o 233493481 1420.05/1353.79 o 233479237 1420.46/1354.15 o 233479235 1420.85/1354.55 o 233479229 1422.36/1356.07 o 233464969 1423.86/1357.58 o 233450709 1425.37/1359.01 o 233436449 1426.66/1360.30 o 233422189 1427.47/1361.11 o 233407929 1434.66/1367.65 o 233393687 1435.66/1368.70 o 233393679 1436.86/1369.86 o 233393677 1437.66/1370.66 o 233393669 1443.96/1376.97 o 233379419 1444.76/1377.78 o 233379409 1453.55/1385.85 o 233365149 1455.36/1387.62 o 233336638 1455.87/1388.18 o 233322386 1456.96/1389.28 o 233308136 1462.97/1395.29 o 233308134 1470.75/1402.34 o 233308125 1473.64/1405.21 o 233293874 1477.36/1408.92 o 233293872 1478.46/1410.09 o 233293865 1480.06/1411.63 o 233293857 1485.64/1416.53 o 233279606 1492.64/1423.56 o 233279604 1494.54/1425.43 o 233279594 1496.34/1427.21 o 233265363 1509.13/1439.35 o 233265356 1510.73/1440.95 o 233265353 1512.63/1442.85 o 233251093 1514.23/1444.47 o 233251083 1522.04/1451.53 o 233222563 1524.03/1453.55 o 233222553 1533.23/1462.74 o 233208293 1539.21/1468.02 o 233208292 1540.60/1469.43 o 233208283 1541.10/1469.91 o 233194033 1542.70/1471.56 o 233194023 1547.90/1476.77 o 233194013 1548.70/1477.53 o 233179763 1550.76/1478.94 o 233165513 1552.76/1480.93 o 233165512 1554.56/1482.76 o 233165503 1555.16/1483.36 o 233151253 1558.46/1486.64 o 233137011 1559.26/1487.43 o 233137002 1559.87/1488.02 o 233122742 1573.61/1501.19 o 233108500 1576.40/1503.97 o 233108498 1578.71/1506.21 o 233108492 1579.70/1507.24 o 233108490 1580.30/1507.82 o 233094240 1581.40/1508.93 o 233094238 1585.86/1512.73 o 233094236 1588.46/1515.32 o 233079987 1590.06/1516.94 o 233079978 1602.95/1529.12 o 233065785 1603.74/1529.93 o 233065775 1604.95/1531.16 o 233065765 1608.34/1534.51 o 233065755 1613.44/1539.63 o 233065746 1618.80/1544.33 o 233051496 1619.61/1545.11 o 233051486 1622.00/1547.60 o 233037236 1622.90/1548.42 o 233037226 1624.40/1549.90 o 233022976 1625.30/1550.86 o 233022966 1628.01/1553.57 o 233008716 1629.52/1555.06 o 233008706 1631.62/1557.18 o 233008696 1635.26/1560.19 o 232994455 1642.66/1567.50 o 232980195 1645.46/1570.36 o 232965935 1648.17/1573.06 o 232951684 1649.36/1574.27 o 232951675 1651.59/1575.86 o 232937424 1654.80/1579.09 o 232937415 1655.99/1580.27 o 232923164 1680.73/1604.37 o 232908912 1682.84/1606.44 o 232908904 1684.27/1607.21 o 232894652 1685.67/1608.69 o 232894644 1686.27/1609.20 o 232880392 1687.37/1610.34 o 232880384 1687.97/1610.94 o 232866132 1689.08/1612.09 o 232866124 1690.27/1613.25 o 232851872 1698.10/1621.05 o 232837641 1698.89/1621.87 o 232837632 1703.43/1625.75 o 232837622 1709.63/1631.98 o 232837621 1710.13/1632.46 o 232823381 1710.63/1632.99 o 232823371 1711.84/1634.15 o 232823362 1717.86/1639.55 o 232823353 1720.96/1642.66 o 232809093 1723.06/1644.71 o 232794833 1726.68/1648.31 o 232780583 1727.88/1649.57 o 232780573 1729.58/1651.28 o 232766323 1730.49/1652.18 o 232766313 1738.61/1659.68 o 232766303 1785.12/1704.50 o 232766293 1786.22/1705.63 o 232752053 1787.22/1706.62 o 232752043 1788.62/1708.02 o 232752033 1789.73/1709.14 o 232737793 1790.82/1710.22 o 232737783 1792.82/1712.29 o 232723529 1800.34/1719.30 o 232723520 1804.44/1723.44 o 232723510 1833.63/1751.81 o 232723502 1835.13/1753.37 o 232723500 1835.53/1753.71 o 232709250 1836.63/1754.89 o 232709242 1837.43/1755.61 o 232694992 1839.24/1757.42 o 232680741 1839.74/1758.00 o 232680740 1846.85/1765.08 o 232680732 1852.14/1769.67 o 232680730 1907.01/1822.65 o 232666490 1907.52/1823.18 o 232666480 1908.31/1823.95 o 232666470 1913.42/1829.04 o 232652230 1914.01/1829.62 o 232652220 1915.73/1830.70 o 232652210 1918.04/1833.08 o 232637970 1918.54/1833.52 o 232637960 1918.94/1834.00 o 232637950 1922.05/1837.08 o 232637945 1923.05/1838.04 o 232637944 1923.94/1838.96 o 232637943 1925.54/1840.55 o 232623684 1925.84/1840.87 o 232623683 1926.84/1841.85 o 232609424 1927.05/1842.10 o 232609423 1931.52/1845.85 o 232595174 1932.02/1846.39 o 232595173 1933.12/1847.49 o 232595164 1933.62/1847.98 o 232595163 1938.09/1852.31 o 232595155 1938.79/1853.09 o 232595145 1942.09/1856.31 o 232580895 1945.91/1859.54 o 232580885 1949.71/1863.35 o 232566635 1951.01/1864.68 o 232566625 1954.92/1868.51 o 232552383 1970.24/1883.27 o 232552378 1971.75/1884.70 o 232552377 1974.55/1887.52 o 232552376 1975.35/1888.31 o 232552375 1977.16/1889.50 o 232552368 1979.06/1891.48 o 232538117 1981.37/1893.74 o 232523873 1981.87/1894.23 o 232523857 1982.78/1895.17 o 232509613 1983.87/1896.25 o 232509597 1985.87/1898.20 o 232495353 1986.37/1898.79 o 232481093 1987.17/1899.53 o 232481077 1992.89/1905.29 o 232466816 1995.36/1907.09 o 232466815 2004.95/1916.63 o 232452565 2006.05/1917.77 o 232452564 2008.05/1919.77 o 232438315 2009.15/1920.86 o 232438314 2036.29/1946.77 o 232438307 2037.09/1947.52 o 232438306 2041.55/1951.32 o 232438305 2043.96/1953.74 o 232424056 2044.27/1954.04 o 232424055 2046.27/1956.03 o 232424047 2046.47/1956.28 o 232424046 2051.57/1961.35 o 232424045 2076.42/1984.97 o 232409785 2079.72/1988.27 o 232409776 2080.72/1989.21 o 232409767 2082.32/1990.84 o 232409766 2084.22/1992.76 o 232409764 2085.02/1993.50 o 232409763 2085.72/1994.24 o 232409755 2086.42/1994.93 o 232409754 2093.98/1999.72 o 232395516 2094.58/2000.31 o 232395507 2095.29/2001.10 o 232395506 2096.29/2002.08 o 232395504 2096.98/2002.72 o 232395495 2097.68/2003.46 o 232395494 2098.68/2004.50 o 232381256 2099.39/2005.19 o 232381244 2100.30/2006.03 o 232381243 2101.09/2006.81 o 232381235 2102.19/2007.98 o 232381234 2103.79/2009.50 o 232381233 2105.81/2010.99 o 232366984 2107.02/2012.12 o 232366983 2109.02/2014.14 o 232352724 2109.92/2015.05 o 232352723 2110.72/2015.84 o 232352714 2111.82/2016.95 o 232338454 2112.62/2017.77 o 232324204 2113.33/2018.46 o 232324203 2114.22/2019.35 o 232324194 2114.73/2019.89 o 232324193 2115.33/2020.43 o 232309944 2115.83/2020.93 o 232309943 2117.43/2022.56 o 232309934 2117.93/2023.10 o 232295684 2118.53/2023.69 o 232295683 2121.31/2025.85 o 232295673 2123.11/2027.66 o 232281423 2124.01/2028.54 o 232281413 2126.41/2030.98 o 232267153 2128.52/2033.04 o 232252893 2130.81/2035.30 o 232252890 2132.11/2036.67 o 232238633 2132.62/2037.17 o 232238630 2157.38/2060.75 o 232224379 2157.98/2061.31 o 232224371 2159.18/2062.59 o 232224370 2161.99/2065.30 o 232210119 2162.80/2066.16 o 232210111 2163.99/2067.38 o 232210110 2167.27/2070.11 o 232195859 2168.27/2071.06 o 232195858 2169.17/2071.96 o 232195851 2170.07/2072.82 o 232195850 2172.78/2075.52 o 232181599 2173.39/2076.17 o 232181591 2175.68/2078.46 o 232181590 2177.28/2080.01 o 232153071 2178.08/2080.89 o 232153070 2184.42/2086.59 o 232138820 2186.52/2088.63 o 232138812 2189.22/2091.34 o 232138810 2189.52/2091.65 o 232138802 2204.23/2105.74 o 232124559 2204.64/2106.16 o 232124558 2206.73/2108.24 o 232124553 2207.64/2109.11 o 232124552 2208.73/2110.26 o 232110301 2209.13/2110.62 o 232110300 2210.33/2111.86 o 232110293 2210.93/2112.42 o 232110291 2212.13/2113.61 o 232110290 2225.12/2126.01 o 232096045 2225.72/2126.63 o 232096030 2258.02/2157.72 o 232081781 2258.92/2158.61 o 232081771 2260.23/2159.92 o 232067521 2261.03/2160.76 o 232067511 2262.93/2162.63 o 232067510 2264.73/2164.46 o 232053261 2265.44/2165.14 o 232053251 2267.13/2166.86 o 232053250 2270.84/2169.82 o 232038998 2282.24/2181.26 o 232038991 2282.64/2181.68 o 232038990 2284.24/2183.25 o 232024731 2285.84/2184.26 o 232024730 2287.75/2186.15 o 232010479 2288.45/2186.81 o 232010478 2289.95/2188.39 o 232010471 2290.45/2188.87 o 232010470 2292.25/2190.62 o 231996219 2292.85/2191.28 o 231996218 2294.55/2192.96 o 231981970 2297.06/2195.48 o 231981960 2302.71/2200.45 o 231981950 2321.43/2218.50 o 231967692 2323.04/2220.13 o 231967691 2325.73/2222.83 o 231953432 2326.63/2223.74 o 231953431 2328.04/2225.15 o 231953430 2386.25/2281.38 o 231939170 2394.65/2289.74 o 231939161 2396.75/2291.81 o 231924910 2400.07/2295.11 s SATISFIABLE 2400.07/2295.12 v <instantiation> 2400.07/2295.12 v <list> 2400.07/2295.12 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] 2400.07/2295.12 v </list> 2400.07/2295.12 v <values> 2400.07/2295.12 v 2520 2264 2756 2324 2672 2520 2684 2748 2740 2764 2744 2480 2436 2556 2420 2820 2708 2340 2660 2220 2656 2620 2780 2820 2688 2780 2724 2732 2788 2748 2260 2732 2268 2700 2476 2756 2380 2756 2816 2244 2800 2660 2820 2488 2252 2516 2720 2220 2504 2760 2552 2524 2236 2788 2260 2548 2260 2572 2808 2308 2748 2360 2508 2780 2220 2732 2780 2636 2712 2520 2396 2536 2268 2312 2744 2520 2684 2784 2380 2492 2736 2632 2648 2532 2624 2728 2220 2600 2584 2684 2560 2460 2224 2380 2480 2220 2748 2520 2516 2260 2380 2512 2736 2408 2220 2788 2780 2748 2784 2624 2460 2364 2480 2672 2220 2724 2744 2520 2220 2520 2700 2664 2592 2820 2536 2708 2484 2728 2560 2664 2788 2344 2560 2680 2700 2484 2392 2560 2692 2512 2272 2716 2780 2520 2532 2320 2220 2724 2352 2616 2784 2724 2776 2572 2656 2276 2696 2496 2740 2492 2716 2544 2708 2432 2432 2424 2560 2420 2280 2260 2228 2768 2612 2800 2296 2632 2500 2664 2748 2704 2644 2268 2768 2728 2220 2724 2500 2716 2452 2624 2664 2616 2432 2576 2692 2740 2816 2480 2292 2624 2724 2712 2696 2752 2740 2640 2544 2716 2816 2620 2484 2448 2520 2440 2760 2788 2624 2520 2676 2584 2392 2820 2776 2748 2632 2640 2744 2684 2512 2556 2420 2744 2732 2660 2580 2772 2224 2780 2560 2448 2624 2820 2756 2432 2392 2760 2560 2780 2780 2696 2608 2680 2720 2776 2600 2604 2748 2800 2560 2684 2820 2384 2524 2260 2688 2768 2560 2532 2620 2684 2820 2520 2760 2724 2260 2684 2520 2780 2480 2264 2592 2780 2556 2756 2768 2640 2472 2724 2804 2324 2740 2492 2572 2680 2788 2748 2516 2728 2564 2624 2616 2384 2780 2664 2788 2616 2648 2260 2656 2572 2684 2784 2756 2224 2612 2524 2660 2320 2320 2524 2264 2260 2480 2652 2532 2260 2620 2820 2716 2540 2776 2364 2692 2284 2656 2796 2656 2436 2360 2584 2576 2308 2748 2472 2472 2500 2256 2520 2532 2552 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 11 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 10 10 0 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 10 10 0 10 0 10 8 10 0 0 0 0 0 0 10 0 10 10 10 10 0 10 10 0 0 10 10 10 0 10 0 0 10 10 0 0 10 10 0 0 10 0 10 10 10 0 0 10 10 0 0 10 0 10 0 0 10 10 0 0 0 10 0 10 10 0 10 10 0 10 0 10 10 0 10 0 0 10 10 0 0 10 10 0 10 0 10 0 10 0 0 0 10 10 0 0 10 0 0 10 10 0 10 10 0 0 0 0 10 0 10 10 0 0 0 10 10 0 0 0 0 10 10 0 0 10 0 0 10 0 8 10 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 10 10 0 0 0 10 0 0 0 10 10 0 10 0 10 0 10 0 0 10 10 10 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 10 0 0 10 10 0 10 0 10 10 0 10 0 0 0 10 10 0 0 0 10 0 10 10 10 10 10 10 10 0 10 0 0 10 0 10 0 10 10 10 0 0 0 0 10 0 10 0 0 0 10 10 10 10 10 0 0 0 10 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 10 9 0 10 0 10 0 10 0 0 10 10 0 10 0 0 10 10 10 0 0 0 10 0 0 10 0 0 10 0 10 10 10 0 0 10 0 10 10 10 0 0 0 0 0 10 10 10 10 0 0 0 10 10 0 10 0 10 10 10 10 0 10 10 10 0 10 0 0 10 10 0 0 10 0 10 10 10 10 10 10 0 0 10 0 10 10 0 0 0 10 10 0 0 10 10 0 10 10 0 10 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 8 0 0 10 10 10 10 10 0 10 0 0 0 10 0 0 10 10 10 0 0 0 0 0 0 10 10 0 10 10 0 10 10 0 0 0 10 10 0 0 0 10 10 10 0 0 10 0 0 7 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 10 0 10 10 0 0 10 10 0 0 8 10 0 10 10 0 0 10 10 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 10 10 10 0 10 10 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 10 10 10 0 0 10 0 0 10 0 10 10 0 10 10 0 10 10 10 10 0 10 10 0 0 10 0 10 10 10 0 0 0 10 0 0 0 10 10 0 0 0 10 0 0 10 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 10 10 10 0 10 0 0 0 0 10 10 0 10 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 10 0 0 0 10 10 0 10 10 10 0 0 0 10 10 0 10 0 10 0 10 0 0 0 0 0 0 10 10 10 10 0 10 0 10 0 10 0 10 10 0 0 0 10 0 10 10 10 0 0 0 0 10 10 0 0 10 10 10 10 0 0 0 10 0 0 10 10 0 10 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 10 0 0 0 0 0 10 10 10 0 10 10 10 0 0 10 10 0 0 0 10 10 0 10 0 0 0 10 10 10 10 10 10 0 0 0 0 10 0 10 10 10 0 0 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 10 0 10 0 10 0 10 0 0 0 10 0 0 10 0 0 10 10 0 10 0 10 10 0 10 10 7 10 10 0 0 0 10 0 0 10 10 10 10 0 10 0 10 0 0 0 0 0 0 10 0 10 10 10 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 10 10 0 0 10 10 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 10 10 10 0 0 0 10 0 10 10 0 10 0 10 0 10 10 10 0 0 0 10 10 0 10 0 10 0 10 0 0 0 10 10 0 0 0 10 10 0 10 0 10 0 0 0 0 10 0 10 0 0 0 10 0 0 10 0 10 0 10 10 10 0 0 0 0 10 0 10 10 0 0 10 10 0 10 0 10 10 0 10 10 10 0 0 10 0 0 10 0 0 0 0 0 9 10 10 0 10 10 10 0 0 10 10 0 10 0 10 0 0 0 0 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 0 0 10 10 10 0 0 0 0 10 0 10 10 0 10 0 10 10 0 10 10 0 10 10 0 0 10 10 10 10 0 0 0 0 0 8 0 10 10 0 10 0 10 0 0 0 10 0 10 10 10 0 0 10 0 10 9 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 10 10 0 0 0 10 0 0 0 10 10 0 0 10 10 0 10 0 0 0 0 10 10 10 10 10 0 0 0 0 0 10 0 0 0 0 10 10 10 10 10 0 10 0 10 0 0 0 0 10 10 10 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 10 10 10 10 10 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 0 0 10 10 0 10 10 10 10 0 0 10 0 10 10 0 10 0 0 10 10 0 0 10 0 0 10 10 10 10 0 10 0 0 10 10 10 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 10 10 0 0 0 0 10 10 0 10 0 10 10 10 10 0 0 10 10 0 0 0 0 10 10 10 10 0 0 0 0 10 10 0 0 10 0 0 10 10 10 10 10 0 0 10 0 10 0 0 0 0 0 0 9 10 0 10 0 0 0 0 10 10 0 0 10 10 0 0 40 72 36 196 164 12 200 0 100 504 492 512 296 200 488 4 108 536 32 60 40 136 496 492 216 376 180 196 56 380 392 388 236 456 444 292 332 404 180 444 380 68 32 24 16 52 76 0 180 0 156 264 276 64 48 28 12 136 164 96 104 100 64 320 4 192 68 244 240 340 476 52 24 168 184 524 80 192 8 388 308 48 80 416 496 272 56 16 140 156 164 180 36 60 224 4 40 296 188 4 44 220 276 24 72 308 120 236 200 224 144 92 52 184 168 380 344 244 44 148 228 76 132 224 228 36 160 164 52 4 84 84 24 240 360 88 40 148 356 240 260 264 400 576 76 288 188 456 72 48 28 68 224 84 24 448 76 308 120 360 276 280 344 340 316 168 92 76 160 40 128 512 568 176 104 564 280 124 100 76 136 60 40 160 32 208 100 260 108 140 92 100 56 156 56 84 28 196 336 104 368 128 196 260 216 436 308 60 92 376 308 64 204 92 248 296 148 416 52 100 168 204 164 240 332 164 60 4 4 68 88 472 160 148 568 308 88 196 256 504 388 12 64 124 488 172 252 464 72 48 272 172 188 12 140 40 372 112 412 424 44 180 348 480 24 4 36 376 44 160 264 76 252 40 188 256 300 52 68 328 148 56 64 320 32 56 132 148 156 492 172 428 140 104 120 392 276 272 36 472 548 280 256 116 120 176 344 468 136 436 188 268 148 440 80 164 188 180 240 180 320 140 164 28 116 56 84 80 140 224 296 188 468 124 296 200 328 460 128 224 136 268 288 36 88 264 128 472 472 452 180 432 472 496 360 228 296 232 196 128 224 164 272 60 560 316 504 524 520 552 304 400 208 240 256 136 32 48 176 76 8 220 104 324 504 328 172 224 8 52 268 28 244 264 8 192 132 164 284 364 584 216 488 424 124 88 304 180 264 228 60 524 468 324 508 480 556 84 76 140 192 92 220 56 464 180 520 300 488 356 352 212 76 136 88 280 184 316 276 488 288 328 84 432 116 332 84 472 476 216 44 224 528 32 224 364 88 160 164 292 76 272 240 104 188 36 132 52 36 120 200 56 288 160 504 560 48 464 528 568 536 436 100 172 16 152 508 28 172 56 76 328 240 416 308 176 116 60 4 124 88 156 380 64 24 120 72 328 188 128 160 300 140 72 268 260 220 260 276 176 244 304 376 356 288 384 248 180 380 208 436 228 436 208 4 104 484 196 24 0 104 176 280 168 16 140 160 76 508 264 24 252 312 60 28 392 12 144 272 28 172 68 84 60 28 20 8 48 56 60 372 152 280 188 92 152 84 272 428 140 132 140 340 312 132 28 216 288 224 192 276 144 88 176 300 304 56 232 276 296 340 504 220 528 164 464 504 528 88 120 168 180 84 188 280 76 56 164 240 184 140 36 144 140 60 148 104 124 192 84 360 72 144 212 100 72 44 200 196 300 236 264 108 24 320 224 96 56 160 292 552 320 416 472 388 308 100 180 304 140 192 120 52 236 268 216 260 356 560 232 212 248 176 176 164 28 236 140 92 124 16 108 96 16 280 508 484 420 560 456 516 140 120 140 376 188 60 112 88 104 140 28 32 20 16 176 56 120 372 12 264 124 212 548 280 232 504 568 512 260 560 308 64 568 520 568 276 104 132 560 40 68 260 224 300 228 24 0 172 420 60 120 140 92 356 124 196 268 204 156 280 336 360 456 360 200 244 260 188 204 88 176 80 8 148 32 340 48 520 220 452 40 100 40 168 144 16 80 60 8 172 72 0 120 52 52 340 404 300 560 272 560 180 24 292 248 0 4 88 252 116 48 272 212 232 116 404 92 344 132 356 116 20 368 184 168 88 196 192 104 196 108 428 40 136 8 148 68 56 104 12 284 172 64 76 132 196 72 136 52 208 36 80 292 92 60 116 60 44 216 148 212 44 64 96 36 300 304 132 8 44 240 64 132 404 356 124 16 140 564 528 48 404 88 220 240 264 116 112 104 260 96 20 260 160 120 108 396 68 76 252 20 316 436 48 132 64 4 264 64 52 76 356 288 336 72 164 124 188 296 276 252 32 64 132 60 236 92 264 216 144 176 8 140 224 184 484 396 0 116 32 204 196 248 0 236 108 0 248 92 264 336 376 40 304 296 128 328 212 320 64 32 144 208 344 28 396 92 44 24 64 204 180 364 208 144 228 24 292 56 24 164 120 352 232 152 92 244 72 36 188 308 16 0 136 12 148 32 44 372 184 224 356 248 120 16 220 24 232 176 156 196 100 136 64 116 172 328 236 172 92 88 56 140 196 60 196 108 44 148 480 32 8 88 68 148 16 400 80 108 40 120 256 180 380 200 200 64 200 304 100 100 416 464 240 284 348 264 220 456 8 172 220 388 292 44 252 280 284 280 4 224 448 488 8 52 148 112 20 60 64 236 40 84 104 44 92 12 28 144 80 44 144 20 124 380 52 88 72 80 132 508 476 144 28 20 508 88 108 20 216 168 108 248 144 404 456 364 560 164 20 464 232 256 140 36 76 8 128 108 328 20 120 64 132 116 156 64 440 284 16 348 48 316 92 124 168 16 256 52 220 8 48 84 304 92 232 68 120 432 556 508 264 300 236 116 196 72 232 100 64 200 108 32 92 32 52 448 44 124 4 48 68 112 280 36 220 480 28 40 140 40 32 204 276 96 32 304 296 560 200 140 200 312 268 252 160 308 244 112 248 228 60 104 112 68 52 28 260 168 12 12 136 32 292 172 288 132 456 156 348 8 376 108 204 292 12 0 160 28 308 172 148 256 164 244 36 76 100 248 28 12 60 184 480 24 484 4 72 56 56 368 160 140 188 296 204 52 8 512 0 352 296 176 228 276 68 136 60 116 72 64 72 28 348 348 160 348 112 168 264 536 216 208 80 416 308 220 96 56 32 124 472 32 64 224 60 84 224 36 44 172 24 60 44 420 76 108 24 100 76 144 296 80 76 120 52 164 16 200 44 52 64 488 440 52 144 24 492 208 56 56 40 4 60 132 348 236 188 180 232 268 148 8 296 220 104 68 8 176 152 76 40 200 304 184 360 168 376 96 24 24 280 72 364 28 352 164 176 228 28 284 148 380 156 52 52 24 168 148 40 48 132 44 12 208 404 96 48 140 168 240 104 368 60 244 12 92 256 32 364 460 8 564 256 496 132 24 136 208 300 36 80 44 152 152 20 392 120 264 212 292 200 216 28 2400.07/2295.12 v </values> 2400.07/2295.12 v </instantiation>
OK 231924910
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 (8015 MiB free)
memory of node 1: 16384 MiB (12033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292051-1532273774/watcher-4292051-1532273774 -o /tmp/evaluation-result-4292051-1532273774/solver-4292051-1532273774 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 329463485 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4292051-1532273774.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=1684, runsolver pid=1681
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 1.75 1.78 1.82 3/218 1699
/proc/meminfo: memFree=20512320/32770624 swapFree=67108860/67108860
[pid=1684] ppid=1681 vsize=14082740 memory=31820 CPUtime=0.11 cores=1,3,5,7
/proc/1684/stat : 1684 (java) S 1681 1684 32634 0 -1 1077944320 6886 0 0 0 10 1 0 0 20 0 15 0 44940603 14420725760 7955 33554432000 4194304 4196468 140722156834400 140722156816944 139897573584631 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
/proc/1684/statm: 3520685 7955 3137 1 0 3482761 0
[pid=1684/tid=1686] ppid=1681 vsize=14082740 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1684/task/1686/stat : 1686 (java) R 1681 1684 32634 0 -1 4202560 5288 0 0 0 8 1 0 0 20 0 15 0 44940603 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897577769584 139897573606557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1687] ppid=1681 vsize=14082740 memory=5792869726567804975 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1687/stat : 1687 (java) S 1681 1684 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897488652944 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1688] ppid=1681 vsize=14082740 memory=140389242820224 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1688/stat : 1688 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897167931920 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1689] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1689/stat : 1689 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897166879120 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1690] ppid=1681 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1690/stat : 1690 (java) S 1681 1684 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897165826320 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1691] ppid=1681 vsize=14082740 memory=140389242820224 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1691/stat : 1691 (java) S 1681 1684 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44940605 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897047833456 139897573595778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1692] ppid=1681 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1692/stat : 1692 (java) S 1681 1684 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44940606 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897046779424 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1693] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1693/stat : 1693 (java) S 1681 1684 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44940606 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897045726576 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1694] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1694/stat : 1694 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897044674896 139897573603227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1695] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1695/stat : 1695 (java) S 1681 1684 32634 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 44940608 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897043622256 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1696] ppid=1681 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1696/stat : 1696 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897042569456 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1697] ppid=1681 vsize=14082740 memory=140389242820224 CPUtime=0.01 cores=1,3,5,7
/proc/1684/task/1697/stat : 1697 (java) R 1681 1684 32634 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 44940608 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897041516656 139897557832249 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1698] ppid=1681 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1698/stat : 1698 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897040464096 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1699] ppid=1681 vsize=14082740 memory=140389242820224 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1699/stat : 1699 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940609 14420725760 8285 33554432000 4194304 4196468 140722156834400 139897039412400 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31820 KiB
[startup+0.214378 s]*
/proc/loadavg: 1.75 1.78 1.82 6/218 1699
/proc/meminfo: memFree=20496808/32770624 swapFree=67108860/67108860
[pid=1684] ppid=1681 vsize=14082740 memory=46856 CPUtime=0.32 cores=1,3,5,7
/proc/1684/stat : 1684 (java) S 1681 1684 32634 0 -1 1077944320 10367 0 0 0 30 2 0 0 20 0 15 0 44940603 14420725760 11714 33554432000 4194304 4196468 140722156834400 140722156816944 139897573584631 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
/proc/1684/statm: 3520685 11714 3381 1 0 3482761 0
[pid=1684/tid=1686] ppid=1681 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1684/task/1686/stat : 1686 (java) R 1681 1684 32634 0 -1 4202560 8085 0 0 0 19 1 0 0 20 0 15 0 44940603 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897577810192 139897557665118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1687] ppid=1681 vsize=14082740 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1687/stat : 1687 (java) S 1681 1684 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897488652944 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1688] ppid=1681 vsize=14082740 memory=288370765394531968 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1688/stat : 1688 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897167931920 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1689] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1689/stat : 1689 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897166879120 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1690] ppid=1681 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1690/stat : 1690 (java) S 1681 1684 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897165826320 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1691] ppid=1681 vsize=14082740 memory=140389242820224 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1691/stat : 1691 (java) S 1681 1684 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44940605 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897047833456 139897573595778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1692] ppid=1681 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1692/stat : 1692 (java) S 1681 1684 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44940606 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897046779424 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1693] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1693/stat : 1693 (java) S 1681 1684 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44940606 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897045726576 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1694] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1694/stat : 1694 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897044674896 139897573603227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1695] ppid=1681 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1684/task/1695/stat : 1695 (java) R 1681 1684 32634 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 44940608 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897043622256 139897566569673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1696] ppid=1681 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1684/task/1696/stat : 1696 (java) R 1681 1684 32634 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 44940608 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897042569456 139897573595778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1697] ppid=1681 vsize=14082740 memory=140389242820224 CPUtime=0.06 cores=1,3,5,7
/proc/1684/task/1697/stat : 1697 (java) S 1681 1684 32634 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 15 0 44940608 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897041516656 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1698] ppid=1681 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1698/stat : 1698 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897040464096 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1699] ppid=1681 vsize=14082740 memory=140389242820224 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1699/stat : 1699 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940609 14420725760 11776 33554432000 4194304 4196468 140722156834400 139897039412400 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46856 KiB
[startup+0.310628 s]*
/proc/loadavg: 1.75 1.78 1.82 3/218 1699
/proc/meminfo: memFree=20492776/32770624 swapFree=67108860/67108860
[pid=1684] ppid=1681 vsize=14082740 memory=50556 CPUtime=0.43 cores=1,3,5,7
/proc/1684/stat : 1684 (java) S 1681 1684 32634 0 -1 1077944320 10732 0 0 0 41 2 0 0 20 0 15 0 44940603 14420725760 12639 33554432000 4194304 4196468 140722156834400 140722156816944 139897573584631 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
/proc/1684/statm: 3520685 12639 3387 1 0 3482761 0
[pid=1684/tid=1686] ppid=1681 vsize=14082740 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1684/task/1686/stat : 1686 (java) R 1681 1684 32634 0 -1 4202560 8414 0 0 0 28 1 0 0 20 0 15 0 44940603 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897577805728 139897555148187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1687] ppid=1681 vsize=14082740 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1687/stat : 1687 (java) S 1681 1684 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897488652944 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1688] ppid=1681 vsize=14082740 memory=18488 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1688/stat : 1688 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897167931920 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1689] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1689/stat : 1689 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897166879120 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1690] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1690/stat : 1690 (java) S 1681 1684 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44940604 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897165826320 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1691] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1691/stat : 1691 (java) S 1681 1684 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44940605 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897047833456 139897573595778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1692] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1692/stat : 1692 (java) S 1681 1684 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44940606 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897046779424 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1693] ppid=1681 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1693/stat : 1693 (java) S 1681 1684 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44940606 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897045726576 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1694] ppid=1681 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1694/stat : 1694 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897044674896 139897573603227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1695] ppid=1681 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1684/task/1695/stat : 1695 (java) S 1681 1684 32634 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 44940608 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897043622256 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1696] ppid=1681 vsize=14082740 memory=140389126337551 CPUtime=0.02 cores=1,3,5,7
/proc/1684/task/1696/stat : 1696 (java) S 1681 1684 32634 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 44940608 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897042569456 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1697] ppid=1681 vsize=14082740 memory=140389242821731 CPUtime=0.08 cores=1,3,5,7
/proc/1684/task/1697/stat : 1697 (java) S 1681 1684 32634 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 15 0 44940608 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897041516656 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1698] ppid=1681 vsize=14082740 memory=140389126346671 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1698/stat : 1698 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897040464096 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1699] ppid=1681 vsize=14082740 memory=280778369202144 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1699/stat : 1699 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940609 14420725760 12639 33554432000 4194304 4196468 140722156834400 139897039412400 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50556 KiB
[startup+0.700779 s]
/proc/loadavg: 1.75 1.78 1.82 3/218 1699
/proc/meminfo: memFree=20468592/32770624 swapFree=67108860/67108860
[pid=1684] ppid=1681 vsize=14084808 memory=88872 CPUtime=0.99 cores=1,3,5,7
/proc/1684/stat : 1684 (java) S 1681 1684 32634 0 -1 1077944320 17592 0 0 0 95 4 0 0 20 0 15 0 44940603 14422843392 22218 33554432000 4194304 4196468 140722156834400 140722156816944 139897573584631 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
/proc/1684/statm: 3521202 22218 3501 1 0 3483273 0
[pid=1684/tid=1686] ppid=1681 vsize=14084808 memory=15868 CPUtime=0.67 cores=1,3,5,7
/proc/1684/task/1686/stat : 1686 (java) R 1681 1684 32634 0 -1 4202560 14857 0 0 0 64 3 0 0 20 0 15 0 44940603 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897577809936 139897557665118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1687] ppid=1681 vsize=14084808 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1687/stat : 1687 (java) S 1681 1684 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44940604 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897488652944 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1688] ppid=1681 vsize=14084808 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1688/stat : 1688 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940604 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897167931920 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1689] ppid=1681 vsize=14084808 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1689/stat : 1689 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940604 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897166879120 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1690] ppid=1681 vsize=14084808 memory=140389126458208 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1690/stat : 1690 (java) S 1681 1684 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44940604 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897165826320 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1691] ppid=1681 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1691/stat : 1691 (java) S 1681 1684 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44940605 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897047833456 139897573595778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1692] ppid=1681 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1692/stat : 1692 (java) S 1681 1684 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44940606 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897046779424 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1693] ppid=1681 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1693/stat : 1693 (java) S 1681 1684 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44940606 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897045726576 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1694] ppid=1681 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1694/stat : 1694 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897044674896 139897573603227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1695] ppid=1681 vsize=14084808 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/1684/task/1695/stat : 1695 (java) S 1681 1684 32634 0 -1 1077944384 538 0 0 0 8 0 0 0 20 0 15 0 44940608 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897043622256 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1696] ppid=1681 vsize=14084808 memory=6655300316396806240 CPUtime=0.06 cores=1,3,5,7
/proc/1684/task/1696/stat : 1696 (java) S 1681 1684 32634 0 -1 1077944384 378 0 0 0 6 0 0 0 20 0 15 0 44940608 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897042569456 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1697] ppid=1681 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/1684/task/1697/stat : 1697 (java) S 1681 1684 32634 0 -1 1077944384 437 0 0 0 15 0 0 0 20 0 15 0 44940608 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897041516656 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1698] ppid=1681 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1698/stat : 1698 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897040464096 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1699] ppid=1681 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1699/stat : 1699 (java) S 1681 1684 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44940609 14422843392 22218 33554432000 4194304 4196468 140722156834400 139897039412400 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88872 KiB
[startup+1.50142 s]
/proc/loadavg: 1.75 1.78 1.82 5/218 1699
/proc/meminfo: memFree=20229860/32770624 swapFree=67108860/67108860
[pid=1684] ppid=1681 vsize=14086856 memory=407256 CPUtime=3.19 cores=1,3,5,7
/proc/1684/stat : 1684 (java) S 1681 1684 32634 0 -1 1077944320 19927 0 0 0 287 32 0 0 20 0 15 0 44940603 14424940544 101814 33554432000 4194304 4196468 140722156834400 140722156816944 139897573584631 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
/proc/1684/statm: 3521714 101814 3559 1 0 3483785 0
[pid=1684/tid=1686] ppid=1681 vsize=14086856 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/1684/task/1686/stat : 1686 (java) R 1681 1684 32634 0 -1 4202560 15324 0 0 0 128 8 0 0 20 0 15 0 44940603 14424940544 101814 33554432000 4194304 4196468 140722156834400 139897577820400 139897172030292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1687] ppid=1681 vsize=14086856 memory=2244 CPUtime=0.09 cores=1,3,5,7
/proc/1684/task/1687/stat : 1687 (java) S 1681 1684 32634 0 -1 1077944384 187 0 0 0 4 5 0 0 20 0 15 0 44940604 14424940544 101814 33554432000 4194304 4196468 140722156834400 139897488652944 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1688] ppid=1681 vsize=14086856 memory=140389126458208 CPUtime=0.08 cores=1,3,5,7
/proc/1684/task/1688/stat : 1688 (java) S 1681 1684 32634 0 -1 1077944384 105 0 0 0 4 4 0 0 20 0 15 0 44940604 14424940544 101814 33554432000 4194304 4196468 140722156834400 139897167931920 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1689] ppid=1681 vsize=14086856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1684/task/1689/stat : 1689 (java) S 1681 1684 32634 0 -1 1077944384 190 0 0 0 4 5 0 0 20 0 15 0 44940604 14424940544 101814 33554432000 4194304 4196468 140722156834400 139897166879120 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1690] ppid=1681 vsize=14086856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1684/task/1690/stat : 1690 (java) S 1681 1684 32634 0 -1 1077944384 93 0 0 0 3 5 0 0 20 0 15 0 44940604 14424940544 101814 33554432000 4194304 4196468 140722156834400 139897165826320 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1691] ppid=1681 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1691/stat : 1691 (java) S 1681 1684 32634 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 44940605 14424940544 101814 33554432000 4194304 4196468 140722156834400 139897047833456 139897573595778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
################
# More data... #
################
/proc/1684/task/1686/stat : 1686 (java) R 1681 1684 32634 0 -1 4202560 259984 0 0 0 217175 81 0 0 20 0 15 0 44940603 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897577813840 139897176347008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1687] ppid=1681 vsize=14095048 memory=5568916 CPUtime=29 cores=1,3,5,7
/proc/1684/task/1687/stat : 1687 (java) S 1681 1684 32634 0 -1 1077944384 54598 0 0 0 2831 69 0 0 20 0 15 0 44940604 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897488652944 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1688] ppid=1681 vsize=14095048 memory=592 CPUtime=29.04 cores=1,3,5,7
/proc/1684/task/1688/stat : 1688 (java) S 1681 1684 32634 0 -1 1077944384 92430 0 0 0 2835 69 0 0 20 0 15 0 44940604 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897167931920 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1689] ppid=1681 vsize=14095048 memory=5568916 CPUtime=29.02 cores=1,3,5,7
/proc/1684/task/1689/stat : 1689 (java) S 1681 1684 32634 0 -1 1077944384 65105 0 0 0 2833 69 0 0 20 0 15 0 44940604 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897166879120 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1690] ppid=1681 vsize=14095048 memory=5568916 CPUtime=28.97 cores=1,3,5,7
/proc/1684/task/1690/stat : 1690 (java) S 1681 1684 32634 0 -1 1077944384 58804 0 0 0 2833 64 0 0 20 0 15 0 44940604 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897165826320 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1691] ppid=1681 vsize=14095048 memory=5568928 CPUtime=0.56 cores=1,3,5,7
/proc/1684/task/1691/stat : 1691 (java) S 1681 1684 32634 0 -1 1077944384 29424 0 0 0 51 5 0 0 20 0 15 0 44940605 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897047833456 139897573595778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1692] ppid=1681 vsize=14095048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1692/stat : 1692 (java) S 1681 1684 32634 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 44940606 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897046779488 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1693] ppid=1681 vsize=14095048 memory=5568928 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1693/stat : 1693 (java) S 1681 1684 32634 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 44940606 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897045726592 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1694] ppid=1681 vsize=14095048 memory=129 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1694/stat : 1694 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897044674896 139897573603227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1695] ppid=1681 vsize=14095048 memory=1696 CPUtime=6.31 cores=1,3,5,7
/proc/1684/task/1695/stat : 1695 (java) S 1681 1684 32634 0 -1 1077944384 42329 0 0 0 625 6 0 0 20 0 15 0 44940608 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897043622256 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1696] ppid=1681 vsize=14095048 memory=5568916 CPUtime=5.92 cores=1,3,5,7
/proc/1684/task/1696/stat : 1696 (java) S 1681 1684 32634 0 -1 1077944384 44769 0 0 0 587 5 0 0 20 0 15 0 44940608 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897042569456 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1697] ppid=1681 vsize=14095048 memory=5568928 CPUtime=1.94 cores=1,3,5,7
/proc/1684/task/1697/stat : 1697 (java) S 1681 1684 32634 0 -1 1077944384 36644 0 0 0 188 6 0 0 20 0 15 0 44940608 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897041516656 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1698] ppid=1681 vsize=14095048 memory=5568928 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1698/stat : 1698 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897040464096 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1699] ppid=1681 vsize=14095048 memory=5568928 CPUtime=1.18 cores=1,3,5,7
/proc/1684/task/1699/stat : 1699 (java) S 1681 1684 32634 0 -1 1077944384 2483 0 0 0 50 68 0 0 20 0 15 0 44940609 14433329152 1392232 33554432000 4194304 4196468 140722156834400 139897039412400 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
Current children cumulated CPU time: 2304.61 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 5568928 KiB
[startup+2262.3 s]
/proc/loadavg: 1.58 1.72 1.86 3/219 1878
/proc/meminfo: memFree=15836332/32770624 swapFree=67108860/67108860
[pid=1684] ppid=1681 vsize=14095048 memory=5565700 CPUtime=2366.87 cores=1,3,5,7
/proc/1684/stat : 1684 (java) S 1681 1684 32634 0 -1 1077944320 707263 0 0 0 236251 436 0 0 20 0 15 0 44940603 14433329152 1391425 33554432000 4194304 4196468 140722156834400 140722156816944 139897573584631 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
/proc/1684/statm: 3523762 1391425 3625 1 0 3485833 0
[pid=1684/tid=1686] ppid=1681 vsize=14095048 memory=5568948 CPUtime=2231.81 cores=1,3,5,7
/proc/1684/task/1686/stat : 1686 (java) R 1681 1684 32634 0 -1 4202560 265564 0 0 0 223099 82 0 0 20 0 15 0 44940603 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897577822272 139897176589874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1687] ppid=1681 vsize=14095048 memory=5568948 CPUtime=29.73 cores=1,3,5,7
/proc/1684/task/1687/stat : 1687 (java) S 1681 1684 32634 0 -1 1077944384 58930 0 0 0 2904 69 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897488652944 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1688] ppid=1681 vsize=14095048 memory=5568948 CPUtime=29.78 cores=1,3,5,7
/proc/1684/task/1688/stat : 1688 (java) S 1681 1684 32634 0 -1 1077944384 94693 0 0 0 2909 69 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897167931920 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1689] ppid=1681 vsize=14095048 memory=5568948 CPUtime=29.76 cores=1,3,5,7
/proc/1684/task/1689/stat : 1689 (java) S 1681 1684 32634 0 -1 1077944384 68265 0 0 0 2907 69 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897166879120 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1690] ppid=1681 vsize=14095048 memory=5565700 CPUtime=29.71 cores=1,3,5,7
/proc/1684/task/1690/stat : 1690 (java) S 1681 1684 32634 0 -1 1077944384 61368 0 0 0 2907 64 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897165826320 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1691] ppid=1681 vsize=14095048 memory=3848 CPUtime=0.56 cores=1,3,5,7
/proc/1684/task/1691/stat : 1691 (java) S 1681 1684 32634 0 -1 1077944384 29649 0 0 0 51 5 0 0 20 0 15 0 44940605 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897047833456 139897573595778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1692] ppid=1681 vsize=14095048 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1692/stat : 1692 (java) S 1681 1684 32634 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 44940606 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897046779488 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1693] ppid=1681 vsize=14095048 memory=5568948 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1693/stat : 1693 (java) S 1681 1684 32634 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 44940606 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897045726592 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1694] ppid=1681 vsize=14095048 memory=15192 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1694/stat : 1694 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897044674896 139897573603227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1695] ppid=1681 vsize=14095048 memory=5568948 CPUtime=6.32 cores=1,3,5,7
/proc/1684/task/1695/stat : 1695 (java) S 1681 1684 32634 0 -1 1077944384 43427 0 0 0 626 6 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897043622256 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1696] ppid=1681 vsize=14095048 memory=5568948 CPUtime=5.92 cores=1,3,5,7
/proc/1684/task/1696/stat : 1696 (java) S 1681 1684 32634 0 -1 1077944384 44772 0 0 0 587 5 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897042569456 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1697] ppid=1681 vsize=14095048 memory=5568948 CPUtime=1.94 cores=1,3,5,7
/proc/1684/task/1697/stat : 1697 (java) S 1681 1684 32634 0 -1 1077944384 36652 0 0 0 188 6 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897041516656 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1698] ppid=1681 vsize=14095048 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1698/stat : 1698 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897040464096 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1699] ppid=1681 vsize=14095048 memory=5568948 CPUtime=1.22 cores=1,3,5,7
/proc/1684/task/1699/stat : 1699 (java) S 1681 1684 32634 0 -1 1077944384 2527 0 0 0 52 70 0 0 20 0 15 0 44940609 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897039412400 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
Current children cumulated CPU time: 2366.87 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 5565700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2295.11 s]
/proc/loadavg: 1.53 1.69 1.84 3/219 1878
/proc/meminfo: memFree=15845192/32770624 swapFree=67108860/67108860
[pid=1684] ppid=1681 vsize=14095048 memory=5565700 CPUtime=2400.07 cores=1,3,5,7
/proc/1684/stat : 1684 (java) S 1681 1684 32634 0 -1 1077944320 711501 0 0 0 239570 437 0 0 20 0 15 0 44940603 14433329152 1391425 33554432000 4194304 4196468 140722156834400 140722156816944 139897573584631 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
/proc/1684/statm: 3523762 1391425 3625 1 0 3485833 0
[pid=1684/tid=1686] ppid=1681 vsize=14095048 memory=5565700 CPUtime=2264.49 cores=1,3,5,7
/proc/1684/task/1686/stat : 1686 (java) R 1681 1684 32634 0 -1 4202560 268057 0 0 0 226367 82 0 0 20 0 15 0 44940603 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897577813840 139897176027499 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1687] ppid=1681 vsize=14095048 memory=5565700 CPUtime=29.86 cores=1,3,5,7
/proc/1684/task/1687/stat : 1687 (java) S 1681 1684 32634 0 -1 1077944384 58995 0 0 0 2917 69 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897488652944 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1688] ppid=1681 vsize=14095048 memory=5565700 CPUtime=29.91 cores=1,3,5,7
/proc/1684/task/1688/stat : 1688 (java) S 1681 1684 32634 0 -1 1077944384 94706 0 0 0 2922 69 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897167931920 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1689] ppid=1681 vsize=14095048 memory=5565700 CPUtime=29.89 cores=1,3,5,7
/proc/1684/task/1689/stat : 1689 (java) S 1681 1684 32634 0 -1 1077944384 68529 0 0 0 2920 69 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897166879120 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1690] ppid=1681 vsize=14095048 memory=5565700 CPUtime=29.83 cores=1,3,5,7
/proc/1684/task/1690/stat : 1690 (java) S 1681 1684 32634 0 -1 1077944384 61421 0 0 0 2919 64 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897165826320 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1691] ppid=1681 vsize=14095048 memory=5565700 CPUtime=0.56 cores=1,3,5,7
/proc/1684/task/1691/stat : 1691 (java) S 1681 1684 32634 0 -1 1077944384 29654 0 0 0 51 5 0 0 20 0 15 0 44940605 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897047833456 139897573595778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1692] ppid=1681 vsize=14095048 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1692/stat : 1692 (java) S 1681 1684 32634 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 44940606 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897046779488 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1693] ppid=1681 vsize=14095048 memory=5565700 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1693/stat : 1693 (java) S 1681 1684 32634 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 44940606 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897045726592 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1694] ppid=1681 vsize=14095048 memory=5565700 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1694/stat : 1694 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897044674896 139897573603227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1695] ppid=1681 vsize=14095048 memory=3828 CPUtime=6.32 cores=1,3,5,7
/proc/1684/task/1695/stat : 1695 (java) S 1681 1684 32634 0 -1 1077944384 43427 0 0 0 626 6 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897043622256 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1696] ppid=1681 vsize=14095048 memory=15192 CPUtime=5.92 cores=1,3,5,7
/proc/1684/task/1696/stat : 1696 (java) S 1681 1684 32634 0 -1 1077944384 44772 0 0 0 587 5 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897042569456 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1697] ppid=1681 vsize=14095048 memory=5565700 CPUtime=1.96 cores=1,3,5,7
/proc/1684/task/1697/stat : 1697 (java) S 1681 1684 32634 0 -1 1077944384 37995 0 0 0 189 7 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897041516656 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1698] ppid=1681 vsize=14095048 memory=5565700 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1698/stat : 1698 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897040464096 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1699] ppid=1681 vsize=14095048 memory=5565700 CPUtime=1.23 cores=1,3,5,7
/proc/1684/task/1699/stat : 1699 (java) S 1681 1684 32634 0 -1 1077944384 2529 0 0 0 52 71 0 0 20 0 15 0 44940609 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897039412400 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 5565700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2295.16 s]
# the end of solver process 1684 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.73 s, system=4.41178 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2295.11 s]
/proc/loadavg: 1.53 1.69 1.84 3/219 1878
/proc/meminfo: memFree=15845192/32770624 swapFree=67108860/67108860
[pid=1684] ppid=1681 vsize=14095048 memory=5565700 CPUtime=2400.07 cores=1,3,5,7
/proc/1684/stat : 1684 (java) S 1681 1684 32634 0 -1 1077944320 711501 0 0 0 239570 437 0 0 20 0 15 0 44940603 14433329152 1391425 33554432000 4194304 4196468 140722156834400 140722156816944 139897573584631 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
/proc/1684/statm: 3523762 1391425 3625 1 0 3485833 0
[pid=1684/tid=1686] ppid=1681 vsize=14095048 memory=5565700 CPUtime=2264.49 cores=1,3,5,7
/proc/1684/task/1686/stat : 1686 (java) R 1681 1684 32634 0 -1 4202560 268057 0 0 0 226367 82 0 0 20 0 15 0 44940603 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897577813840 139897176027499 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1687] ppid=1681 vsize=14095048 memory=5565700 CPUtime=29.86 cores=1,3,5,7
/proc/1684/task/1687/stat : 1687 (java) S 1681 1684 32634 0 -1 1077944384 58995 0 0 0 2917 69 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897488652944 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1688] ppid=1681 vsize=14095048 memory=5565700 CPUtime=29.91 cores=1,3,5,7
/proc/1684/task/1688/stat : 1688 (java) S 1681 1684 32634 0 -1 1077944384 94706 0 0 0 2922 69 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897167931920 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1689] ppid=1681 vsize=14095048 memory=5565700 CPUtime=29.89 cores=1,3,5,7
/proc/1684/task/1689/stat : 1689 (java) S 1681 1684 32634 0 -1 1077944384 68529 0 0 0 2920 69 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897166879120 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1690] ppid=1681 vsize=14095048 memory=5565700 CPUtime=29.83 cores=1,3,5,7
/proc/1684/task/1690/stat : 1690 (java) S 1681 1684 32634 0 -1 1077944384 61421 0 0 0 2919 64 0 0 20 0 15 0 44940604 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897165826320 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1691] ppid=1681 vsize=14095048 memory=5565700 CPUtime=0.56 cores=1,3,5,7
/proc/1684/task/1691/stat : 1691 (java) S 1681 1684 32634 0 -1 1077944384 29654 0 0 0 51 5 0 0 20 0 15 0 44940605 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897047833456 139897573595778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1692] ppid=1681 vsize=14095048 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1692/stat : 1692 (java) S 1681 1684 32634 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 44940606 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897046779488 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1693] ppid=1681 vsize=14095048 memory=5565700 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1693/stat : 1693 (java) S 1681 1684 32634 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 44940606 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897045726592 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1694] ppid=1681 vsize=14095048 memory=5565700 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1694/stat : 1694 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897044674896 139897573603227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1695] ppid=1681 vsize=14095048 memory=3828 CPUtime=6.32 cores=1,3,5,7
/proc/1684/task/1695/stat : 1695 (java) S 1681 1684 32634 0 -1 1077944384 43427 0 0 0 626 6 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897043622256 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1696] ppid=1681 vsize=14095048 memory=15192 CPUtime=5.92 cores=1,3,5,7
/proc/1684/task/1696/stat : 1696 (java) S 1681 1684 32634 0 -1 1077944384 44772 0 0 0 587 5 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897042569456 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1697] ppid=1681 vsize=14095048 memory=5565700 CPUtime=1.96 cores=1,3,5,7
/proc/1684/task/1697/stat : 1697 (java) S 1681 1684 32634 0 -1 1077944384 37995 0 0 0 189 7 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897041516656 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1698] ppid=1681 vsize=14095048 memory=5565700 CPUtime=0 cores=1,3,5,7
/proc/1684/task/1698/stat : 1698 (java) S 1681 1684 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44940608 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897040464096 139897573594837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
[pid=1684/tid=1699] ppid=1681 vsize=14095048 memory=5565700 CPUtime=1.23 cores=1,3,5,7
/proc/1684/task/1699/stat : 1699 (java) S 1681 1684 32634 0 -1 1077944384 2529 0 0 0 52 71 0 0 20 0 15 0 44940609 14433329152 1391425 33554432000 4194304 4196468 140722156834400 139897039412400 139897573595778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26845184 140722156835925 140722156836105 140722156836105 140722156838863 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 5565700 KiB
Child status: 143
Real time (s): 2295.16
CPU time (s): 2400.14
CPU user time (s): 2395.73
CPU system time (s): 4.41178
CPU usage (%): 104.574
Max. virtual memory (cumulated for all children) (KiB): 14095048
Max. memory (cumulated for all children) (KiB): 5568948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.73
system time used= 4.41178
maximum resident set size= 5568948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 712327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59830
involuntary context switches= 3038
# summary of solver processes directly reported to runsolver:
# pid: 1684
# total CPU time (s): 2400.14
# total CPU user time (s): 2395.73
# total CPU system time (s): 4.41178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8082 second user time and 22.6479 second system time
The end
Begin job on node135 at 2018-07-22 17:36:14 IDJOB=4292051 IDBENCH=141273 IDSOLVER=2746 FILE ID=node135/4292051-1532273774 RUNJOBID= node135-1532262189-32666 PBS_JOBID= 21018977 Free space on /tmp= 52672 MiB SOLVER NAME= OscaR - Hybrid 2018-07-02 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_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-4292051-1532273774/watcher-4292051-1532273774 -o /tmp/evaluation-result-4292051-1532273774/solver-4292051-1532273774 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 329463485 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4292051-1532273774.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39 RANDOM SEED=329463485 node135.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.50 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.50 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.50 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.50 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: 20530584 kB MemAvailable: 29340172 kB Buffers: 164444 kB Cached: 8842624 kB SwapCached: 0 kB Active: 4267520 kB Inactive: 7385808 kB Active(anon): 2596048 kB Inactive(anon): 69912 kB Active(file): 1671472 kB Inactive(file): 7315896 kB Unevictable: 7188 kB Mlocked: 7188 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 118104 kB Writeback: 0 kB AnonPages: 2659268 kB Mapped: 49544 kB Shmem: 17056 kB Slab: 278460 kB SReclaimable: 250680 kB SUnreclaim: 27780 kB KernelStack: 3568 kB PageTables: 10504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3637396 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2490368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 52660 MiB End job on node135 at 2018-07-22 18:14:30