Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | SAT (TO) | 8302 | 20011.5 | 2520.29 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-08-opt_c18.xml |
MD5SUM | 9be5bd0a86f9e024d7fdf548556c4b89 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2415 |
Best CPU time to get the best result obtained on this benchmark | 19150.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6202 |
Number of constraints | 5744 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":5286},{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}] |
Minimum variable degree | 1 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":1,"count":12},{"degree":2,"count":5287},{"degree":3,"count":38},{"degree":4,"count":17},{"degree":5,"count":102},{"degree":6,"count":22},{"degree":7,"count":111},{"degree":8,"count":16},{"degree":9,"count":111},{"degree":10,"count":35},{"degree":11,"count":48},{"degree":12,"count":33},{"degree":13,"count":52},{"degree":14,"count":19},{"degree":15,"count":61},{"degree":16,"count":14},{"degree":17,"count":33},{"degree":18,"count":10},{"degree":19,"count":26},{"degree":20,"count":19},{"degree":21,"count":18},{"degree":22,"count":8},{"degree":23,"count":15},{"degree":24,"count":11},{"degree":25,"count":13},{"degree":26,"count":1},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":6},{"degree":30,"count":10},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":34,"count":3},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":1},{"degree":38,"count":2},{"degree":39,"count":4},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":458},{"arity":3,"count":5286}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 5744 |
Distribution of constraint types | [{"type":"intension","count":5744}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 274161834 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 6.16/2.01 c Parsing done, starting search... 5707.58/722.19 o 8554 5708.32/722.29 o 8551 5709.08/722.32 o 8550 5709.08/722.34 o 8549 5709.08/722.36 o 8547 5709.08/722.37 o 8546 5709.08/722.39 o 8545 5709.85/722.41 o 8544 5709.85/722.42 o 8543 5709.85/722.45 o 8541 5709.85/722.48 o 8540 5709.85/722.49 o 8539 5710.64/722.50 o 8538 5710.64/722.52 o 8537 5710.64/722.56 o 8536 5710.64/722.58 o 8535 5711.48/722.62 o 8533 5711.48/722.63 o 8532 5711.48/722.64 o 8531 5711.48/722.66 o 8530 5711.48/722.67 o 8529 5711.48/722.69 o 8528 5711.48/722.70 o 8527 5712.29/722.72 o 8526 5712.29/722.73 o 8525 5712.29/722.74 o 8524 5712.29/722.76 o 8523 5712.29/722.77 o 8522 5712.29/722.79 o 8521 5713.11/722.81 o 8520 5713.11/722.82 o 8519 5713.11/722.84 o 8518 5713.11/722.85 o 8517 5713.11/722.87 o 8516 5713.11/722.88 o 8515 5713.11/722.89 o 8514 5713.90/722.95 o 8513 5713.90/722.96 o 8512 5713.90/722.97 o 8511 5713.90/722.99 o 8510 5713.90/723.01 o 8509 5714.73/723.02 o 8508 5714.73/723.04 o 8507 5714.73/723.05 o 8506 5714.73/723.07 o 8505 5715.48/723.14 o 8504 5715.48/723.16 o 8503 5715.48/723.18 o 8502 5715.48/723.19 o 8501 5716.20/723.21 o 8500 5716.20/723.28 o 8499 5717.00/723.33 o 8498 5717.00/723.37 o 8497 5717.80/723.47 o 8496 5717.80/723.48 o 8495 5718.59/723.50 o 8494 5718.59/723.52 o 8493 5718.59/723.53 o 8492 5718.59/723.58 o 8491 5719.39/723.66 o 8490 5719.39/723.68 o 8489 5719.39/723.70 o 8488 5720.19/723.78 o 8487 5720.98/723.84 o 8486 5720.98/723.85 o 8485 5720.98/723.87 o 8484 5720.98/723.88 o 8483 5721.82/723.95 o 8482 5722.64/724.02 o 8481 5722.64/724.03 o 8480 5722.64/724.05 o 8479 5723.43/724.12 o 8478 5724.95/724.33 o 8477 5724.95/724.35 o 8476 5724.95/724.36 o 8475 5725.75/724.42 o 8474 5726.55/724.60 o 8473 5727.28/724.61 o 8472 5727.28/724.63 o 8471 5728.09/724.76 o 8470 5728.89/724.90 o 8469 5729.68/724.91 o 8468 5729.68/724.93 o 8467 5729.68/724.95 o 8466 5729.68/724.96 o 8465 5729.68/724.97 o 8464 5730.53/725.02 o 8463 5730.53/725.04 o 8462 5730.53/725.05 o 8461 5730.53/725.07 o 8460 5730.53/725.09 o 8459 5730.53/725.11 o 8458 5731.35/725.12 o 8457 5731.35/725.14 o 8456 5731.35/725.15 o 8455 5731.35/725.17 o 8454 5731.35/725.18 o 8453 5731.35/725.21 o 8452 5732.12/725.22 o 8451 5732.12/725.24 o 8450 5732.12/725.26 o 8449 5732.86/725.31 o 8448 5732.86/725.33 o 8447 5732.86/725.35 o 8446 5732.86/725.37 o 8445 5732.86/725.39 o 8444 5733.69/725.41 o 8443 5733.69/725.42 o 8442 5733.69/725.44 o 8441 5733.69/725.45 o 8440 5733.69/725.47 o 8439 5733.69/725.50 o 8438 5734.46/725.51 o 8437 5734.46/725.55 o 8436 5734.46/725.57 o 8435 5734.46/725.58 o 8434 5735.25/725.60 o 8433 5735.25/725.61 o 8432 5735.25/725.66 o 8431 5735.25/725.68 o 8430 5736.05/725.75 o 8429 5736.84/725.88 o 8428 5737.65/725.90 o 8427 5737.65/725.94 o 8426 5737.65/725.96 o 8425 5738.51/726.01 o 8424 5738.51/726.03 o 8423 5738.51/726.06 o 8422 5739.31/726.14 o 8421 5739.31/726.16 o 8420 5740.02/726.20 o 8419 5741.64/726.42 o 8418 5741.64/726.45 o 8417 5741.64/726.47 o 8416 5741.64/726.49 o 8415 5742.49/726.51 o 8414 5742.49/726.52 o 8413 5742.49/726.54 o 8412 5742.49/726.55 o 8411 5742.49/726.57 o 8410 5742.49/726.59 o 8409 5743.99/726.80 o 8408 5744.80/726.81 o 8407 5744.80/726.84 o 8406 5744.80/726.86 o 8405 5744.80/726.87 o 8404 5745.59/726.94 o 8403 5747.98/727.25 o 8402 5750.37/727.60 o 8401 5751.16/727.61 o 8400 5751.16/727.64 o 8399 5751.16/727.67 o 8398 5751.96/727.76 o 8397 5763.89/729.25 o 8396 5763.89/729.27 o 8395 5763.89/729.29 o 8394 5764.73/729.31 o 8393 5764.73/729.36 o 8392 5765.48/729.44 o 8391 5769.48/729.90 o 8390 5786.27/732.04 o 8389 5787.81/732.23 o 8388 5788.60/732.37 o 8387 5795.78/733.22 o 8386 5811.72/735.20 o 8385 5811.72/735.22 o 8384 5813.32/735.45 o 8383 5822.89/736.67 o 8382 5823.69/736.72 o 8381 5823.69/736.75 o 8380 5842.07/739.04 o 8379 5842.89/739.17 o 8378 5842.89/739.18 o 8377 5843.64/739.21 o 8376 5862.74/741.61 o 8375 5863.54/741.73 o 8374 5863.54/741.76 o 8373 5863.54/741.79 o 8372 5871.50/742.77 o 8371 5876.28/743.31 o 8370 5876.28/743.32 o 8369 5876.28/743.35 o 8368 5877.08/743.49 o 8367 5877.90/743.52 o 8366 5877.90/743.55 o 8365 5877.90/743.59 o 8364 5879.48/743.74 o 8363 5881.11/743.91 o 8362 5881.94/744.06 o 8361 5881.94/744.10 o 8360 5882.79/744.14 o 8359 5882.79/744.18 o 8358 5883.46/744.21 o 8357 5884.28/744.37 o 8356 5886.65/744.69 o 8355 5889.90/745.07 o 8354 5889.90/745.09 o 8353 5890.78/745.13 o 8352 6058.03/766.12 o 8351 6058.03/766.14 o 8350 6058.03/766.16 o 8349 6058.03/766.17 o 8348 6058.75/766.20 o 8347 6058.75/766.22 o 8346 6058.75/766.25 o 8345 6058.75/766.27 o 8344 6058.75/766.30 o 8343 6059.55/766.32 o 8342 6059.55/766.34 o 8341 6059.55/766.37 o 8340 6060.34/766.43 o 8339 6060.34/766.47 o 8338 6061.14/766.50 o 8337 6073.16/768.04 o 8336 6073.16/768.06 o 8335 6075.49/768.39 o 8334 6284.29/794.50 o 8333 6284.29/794.54 o 8332 6323.32/799.50 o 8331 6324.12/799.52 o 8330 6373.54/805.74 o 8329 6373.54/805.76 o 8328 6379.10/806.43 o 8327 6978.53/881.67 o 8326 6979.33/881.71 o 8325 7211.29/910.84 o 8324 7211.29/910.88 o 8323 7215.27/911.31 o 8322 7259.93/916.91 o 8321 7259.93/916.95 o 8320 8196.01/1034.45 o 8319 8196.81/1034.51 o 8318 11542.17/1454.99 o 8317 11572.36/1458.70 o 8316 11605.79/1462.94 o 8315 13090.63/1649.67 o 8314 13160.61/1658.43 o 8313 13353.14/1682.67 o 8312 13407.99/1689.56 o 8311 14704.20/1852.59 o 8310 15833.15/1994.70 o 8309 15864.20/1998.57 o 8308 17041.66/2146.66 o 8307 17796.10/2241.50 o 8306 18518.74/2332.50 o 8305 18690.55/2354.10 o 8304 18963.82/2388.40 o 8303 18964.63/2388.53 o 8302 20009.64/2520.10 s SATISFIABLE 20009.64/2520.12 v <instantiation> 20009.64/2520.12 v <list> 20009.64/2520.12 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za1[808] za1[809] za1[810] za1[811] za1[812] za1[813] za1[814] za1[815] za1[816] za1[817] za1[818] za1[819] za1[820] za1[821] za1[822] za1[823] za1[824] za1[825] za1[826] za1[827] za1[828] za1[829] za1[830] za1[831] za1[832] za1[833] za1[834] za1[835] za1[836] za1[837] za1[838] za1[839] za1[840] za1[841] za1[842] za1[843] za1[844] za1[845] za1[846] za1[847] za1[848] za1[849] za1[850] za1[851] za1[852] za1[853] za1[854] za1[855] za1[856] za1[857] za1[858] za1[859] za1[860] za1[861] za1[862] za1[863] za1[864] za1[865] za1[866] za1[867] za1[868] za1[869] za1[870] za1[871] za1[872] za1[873] za1[874] za1[875] za1[876] za1[877] za1[878] za1[879] za1[880] za1[881] za1[882] za1[883] za1[884] za1[885] za1[886] za1[887] za1[888] za1[889] za1[890] za1[891] za1[892] za1[893] za1[894] za1[895] za1[896] za1[897] za1[898] za1[899] za1[900] za1[901] za1[902] za1[903] za1[904] za1[905] za1[906] za1[907] za1[908] za1[909] za1[910] za1[911] za1[912] za1[913] za1[914] za1[915] za1[916] za1[917] za1[918] za1[919] za1[920] za1[921] za1[922] za1[923] za1[924] za1[925] za1[926] za1[927] za1[928] za1[929] za1[930] za1[931] za1[932] za1[933] za1[934] za1[935] za1[936] za1[937] za1[938] za1[939] za1[940] za1[941] za1[942] za1[943] za1[944] za1[945] za1[946] za1[947] za1[948] za1[949] za1[950] za1[951] za1[952] za1[953] za1[954] za1[955] za1[956] za1[957] za1[958] za1[959] za1[960] za1[961] za1[962] za1[963] za1[964] za1[965] za1[966] za1[967] za1[968] za1[969] za1[970] za1[971] za1[972] za1[973] za1[974] za1[975] za1[976] za1[977] za1[978] za1[979] za1[980] za1[981] za1[982] za1[983] za1[984] za1[985] za1[986] za1[987] za1[988] za1[989] za1[990] za1[991] za1[992] za1[993] za1[994] za1[995] za1[996] za1[997] za1[998] za1[999] za1[1000] za1[1001] za1[1002] za1[1003] za1[1004] za1[1005] za1[1006] za1[1007] za1[1008] za1[1009] za1[1010] za1[1011] za1[1012] za1[1013] za1[1014] za1[1015] za1[1016] za1[1017] za1[1018] za1[1019] za1[1020] za1[1021] za1[1022] za1[1023] za1[1024] za1[1025] za1[1026] za1[1027] za1[1028] za1[1029] za1[1030] za1[1031] za1[1032] za1[1033] za1[1034] za1[1035] za1[1036] za1[1037] za1[1038] za1[1039] za1[1040] za1[1041] za1[1042] za1[1043] za1[1044] za1[1045] za1[1046] za1[1047] za1[1048] za1[1049] za1[1050] za1[1051] za1[1052] za1[1053] za1[1054] za1[1055] za1[1056] za1[1057] za1[1058] za1[1059] za1[1060] za1[1061] za1[1062] za1[1063] za1[1064] za1[1065] za1[1066] za1[1067] za1[1068] za1[1069] za1[1070] za1[1071] za1[1072] za1[1073] za1[1074] za1[1075] za1[1076] za1[1077] za1[1078] za1[1079] za1[1080] za1[1081] za1[1082] za1[1083] za1[1084] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za2[1027] za2[1028] za2[1029] za2[1030] za2[1031] za2[1032] za2[1033] za2[1034] za2[1035] za2[1036] za2[1037] za2[1038] za2[1039] za2[1040] za2[1041] za2[1042] za2[1043] za2[1044] za2[1045] za2[1046] za2[1047] za2[1048] za2[1049] za2[1050] za2[1051] za2[1052] za2[1053] za2[1054] za2[1055] za2[1056] za2[1057] za2[1058] za2[1059] za2[1060] za2[1061] za2[1062] za2[1063] za2[1064] za2[1065] za2[1066] za2[1067] za2[1068] za2[1069] za2[1070] za2[1071] za2[1072] za2[1073] za2[1074] za2[1075] za2[1076] za2[1077] za2[1078] za2[1079] za2[1080] za2[1081] za2[1082] za2[1083] za2[1084] za2[1085] za2[1086] za2[1087] za2[1088] za2[1089] za2[1090] za2[1091] za2[1092] za2[1093] za2[1094] za2[1095] za2[1096] za2[1097] za2[1098] za2[1099] za2[1100] za2[1101] za2[1102] za2[1103] za2[1104] za2[1105] za2[1106] za2[1107] za2[1108] za2[1109] za2[1110] za2[1111] za2[1112] za2[1113] za2[1114] za2[1115] za2[1116] za2[1117] za2[1118] za2[1119] za2[1120] za2[1121] za2[1122] za2[1123] za2[1124] za2[1125] za2[1126] za2[1127] za2[1128] za2[1129] za2[1130] za2[1131] za2[1132] za2[1133] za2[1134] za2[1135] za2[1136] za2[1137] za2[1138] za2[1139] za2[1140] za2[1141] za2[1142] za2[1143] za2[1144] za2[1145] za2[1146] za2[1147] za2[1148] za2[1149] za2[1150] za2[1151] za2[1152] za2[1153] za2[1154] za2[1155] za2[1156] za2[1157] za2[1158] za2[1159] za2[1160] za2[1161] za2[1162] za2[1163] za2[1164] za2[1165] za2[1166] za2[1167] za2[1168] za2[1169] za2[1170] za2[1171] za2[1172] za2[1173] za2[1174] za2[1175] za2[1176] za2[1177] za2[1178] za2[1179] za2[1180] za2[1181] za2[1182] za2[1183] za2[1184] za2[1185] za2[1186] za2[1187] za2[1188] za2[1189] za2[1190] za2[1191] za2[1192] za2[1193] za2[1194] za2[1195] za2[1196] za2[1197] za2[1198] za2[1199] za2[1200] za2[1201] za2[1202] za2[1203] za2[1204] za2[1205] za2[1206] za2[1207] za2[1208] za2[1209] za2[1210] za2[1211] za2[1212] za2[1213] za2[1214] za2[1215] za2[1216] za2[1217] za2[1218] za2[1219] za2[1220] za2[1221] za2[1222] za2[1223] za2[1224] za2[1225] za2[1226] za2[1227] za2[1228] za2[1229] za2[1230] za2[1231] za2[1232] za2[1233] za2[1234] za2[1235] za2[1236] za2[1237] za2[1238] za2[1239] za2[1240] za2[1241] za2[1242] za2[1243] za2[1244] za2[1245] za2[1246] za2[1247] za2[1248] za2[1249] za2[1250] za2[1251] za2[1252] za2[1253] za2[1254] za2[1255] za2[1256] za2[1257] za2[1258] za2[1259] za2[1260] za2[1261] za2[1262] za2[1263] za2[1264] za2[1265] za2[1266] za2[1267] za2[1268] za2[1269] za2[1270] za2[1271] za2[1272] za2[1273] za2[1274] za2[1275] za2[1276] za2[1277] za2[1278] za2[1279] za2[1280] za2[1281] za2[1282] za2[1283] za2[1284] za2[1285] za2[1286] za2[1287] za2[1288] za2[1289] za2[1290] za2[1291] za2[1292] za2[1293] za2[1294] za2[1295] za2[1296] za2[1297] za2[1298] za2[1299] za2[1300] za2[1301] za2[1302] za2[1303] za2[1304] za2[1305] za2[1306] za2[1307] za2[1308] za2[1309] za2[1310] za2[1311] za2[1312] za2[1313] za2[1314] za2[1315] za2[1316] za2[1317] za2[1318] za2[1319] za2[1320] za2[1321] za2[1322] za2[1323] za2[1324] za2[1325] za2[1326] za2[1327] za2[1328] za2[1329] za2[1330] za2[1331] za2[1332] za2[1333] za2[1334] za2[1335] za2[1336] za2[1337] za2[1338] za2[1339] za2[1340] za2[1341] za2[1342] za2[1343] za2[1344] za2[1345] za2[1346] za2[1347] za2[1348] za2[1349] za2[1350] za2[1351] za2[1352] za2[1353] za2[1354] za2[1355] za2[1356] za2[1357] za2[1358] za2[1359] za2[1360] za2[1361] za2[1362] za2[1363] za2[1364] za2[1365] za2[1366] za2[1367] za2[1368] za2[1369] za2[1370] za2[1371] za2[1372] za2[1373] za2[1374] za2[1375] za2[1376] za2[1377] za2[1378] za2[1379] za2[1380] za2[1381] za2[1382] za2[1383] za2[1384] za2[1385] za2[1386] za2[1387] za2[1388] za2[1389] za2[1390] za2[1391] za2[1392] za2[1393] za2[1394] za2[1395] za2[1396] za2[1397] za2[1398] za2[1399] za2[1400] za2[1401] za2[1402] za2[1403] za2[1404] za2[1405] za2[1406] za2[1407] za2[1408] za2[1409] za2[1410] za2[1411] za2[1412] za2[1413] za2[1414] za2[1415] za2[1416] za2[1417] za2[1418] za2[1419] za2[1420] za2[1421] za2[1422] za2[1423] za2[1424] za2[1425] za2[1426] za2[1427] za2[1428] za2[1429] za2[1430] za2[1431] za2[1432] za2[1433] za2[1434] za2[1435] za2[1436] za2[1437] za2[1438] za2[1439] za2[1440] za2[1441] za2[1442] za2[1443] za2[1444] za2[1445] za2[1446] za2[1447] za2[1448] za2[1449] za2[1450] za2[1451] za2[1452] za2[1453] za2[1454] za2[1455] za2[1456] za2[1457] za2[1458] za2[1459] za2[1460] za2[1461] za2[1462] za2[1463] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za3[909] za3[910] za3[911] za3[912] za3[913] za3[914] za3[915] za3[916] za3[917] za3[918] za3[919] za3[920] za3[921] za3[922] za3[923] za3[924] za3[925] za3[926] za3[927] za3[928] za3[929] za3[930] za3[931] za3[932] za3[933] za3[934] za3[935] za3[936] za3[937] za3[938] za3[939] za3[940] za3[941] za3[942] za3[943] za3[944] za3[945] za3[946] za3[947] za3[948] za3[949] za3[950] za3[951] za3[952] za3[953] za3[954] za3[955] za3[956] za3[957] za3[958] za3[959] za3[960] za3[961] za3[962] za3[963] za3[964] za3[965] za3[966] za3[967] za3[968] za3[969] za3[970] za3[971] za3[972] za3[973] za3[974] za3[975] za3[976] za3[977] za3[978] za3[979] za3[980] za3[981] za3[982] za3[983] za3[984] za3[985] za3[986] za3[987] za3[988] za3[989] za3[990] za3[991] za3[992] za3[993] za3[994] za3[995] za3[996] za3[997] za3[998] za3[999] za3[1000] za3[1001] za3[1002] za3[1003] za3[1004] za3[1005] za3[1006] za3[1007] za3[1008] za3[1009] za3[1010] za3[1011] za3[1012] za3[1013] za3[1014] za3[1015] za3[1016] za3[1017] za3[1018] za3[1019] za3[1020] za3[1021] za3[1022] za3[1023] za3[1024] za3[1025] za3[1026] za3[1027] za3[1028] za3[1029] za3[1030] za3[1031] za3[1032] za3[1033] za3[1034] za3[1035] za3[1036] za3[1037] za3[1038] za3[1039] za3[1040] za3[1041] za3[1042] za3[1043] za3[1044] za3[1045] za3[1046] za3[1047] za3[1048] za3[1049] za3[1050] za3[1051] za3[1052] za3[1053] za3[1054] za3[1055] za3[1056] za3[1057] za3[1058] za3[1059] za3[1060] za3[1061] za3[1062] za3[1063] za3[1064] za3[1065] za3[1066] za3[1067] za3[1068] za3[1069] za3[1070] za3[1071] za3[1072] za3[1073] za3[1074] za3[1075] za3[1076] za3[1077] za3[1078] za3[1079] za3[1080] za3[1081] za3[1082] za3[1083] za3[1084] za3[1085] za3[1086] za3[1087] za3[1088] za3[1089] za3[1090] za3[1091] za3[1092] za3[1093] za3[1094] za3[1095] za3[1096] za3[1097] za3[1098] za3[1099] za3[1100] za3[1101] za3[1102] za3[1103] za3[1104] za3[1105] za3[1106] za3[1107] za3[1108] za3[1109] za3[1110] za3[1111] za3[1112] za3[1113] za3[1114] za3[1115] za3[1116] za3[1117] za3[1118] za3[1119] za3[1120] za3[1121] za3[1122] za3[1123] za3[1124] za3[1125] za3[1126] za3[1127] za3[1128] za3[1129] za3[1130] za3[1131] za3[1132] za3[1133] za3[1134] za3[1135] za3[1136] za3[1137] za3[1138] za3[1139] za3[1140] za3[1141] za3[1142] za3[1143] za3[1144] za3[1145] za3[1146] za3[1147] za3[1148] za3[1149] za3[1150] za3[1151] za3[1152] za3[1153] za3[1154] za3[1155] za3[1156] za3[1157] za3[1158] za3[1159] za3[1160] za3[1161] za3[1162] za3[1163] za3[1164] za3[1165] za3[1166] za3[1167] za3[1168] za3[1169] za3[1170] za3[1171] za3[1172] za3[1173] za3[1174] za3[1175] za3[1176] za3[1177] za3[1178] za3[1179] za3[1180] za3[1181] za3[1182] za3[1183] za3[1184] za3[1185] za3[1186] za3[1187] za3[1188] za3[1189] za3[1190] za3[1191] za3[1192] za3[1193] za3[1194] za3[1195] za3[1196] za3[1197] za3[1198] za3[1199] za3[1200] za3[1201] za3[1202] za3[1203] za3[1204] za3[1205] za3[1206] za3[1207] za3[1208] za3[1209] za3[1210] za3[1211] za3[1212] za3[1213] za3[1214] za3[1215] za3[1216] za3[1217] za3[1218] za3[1219] za3[1220] za3[1221] za3[1222] za3[1223] za3[1224] za3[1225] za3[1226] za3[1227] za3[1228] za3[1229] za3[1230] za3[1231] za3[1232] za3[1233] za3[1234] za3[1235] za3[1236] za3[1237] za3[1238] za3[1239] za3[1240] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] za4[1056] za4[1057] za4[1058] za4[1059] za4[1060] za4[1061] za4[1062] za4[1063] za4[1064] za4[1065] za4[1066] za4[1067] za4[1068] za4[1069] za4[1070] za4[1071] za4[1072] za4[1073] za4[1074] za4[1075] za4[1076] za4[1077] za4[1078] za4[1079] za4[1080] za4[1081] za4[1082] za4[1083] za4[1084] za4[1085] za4[1086] za4[1087] za4[1088] za4[1089] za4[1090] za4[1091] za4[1092] za4[1093] za4[1094] za4[1095] za4[1096] za4[1097] za4[1098] za4[1099] za4[1100] za4[1101] za4[1102] za4[1103] za4[1104] za4[1105] za4[1106] za4[1107] za4[1108] za4[1109] za4[1110] za4[1111] za4[1112] za4[1113] za4[1114] za4[1115] za4[1116] za4[1117] za4[1118] za4[1119] za4[1120] za4[1121] za4[1122] za4[1123] za4[1124] za4[1125] za4[1126] za4[1127] za4[1128] za4[1129] za4[1130] za4[1131] za4[1132] za4[1133] za4[1134] za4[1135] za4[1136] za4[1137] za4[1138] za4[1139] za4[1140] za4[1141] za4[1142] za4[1143] za4[1144] za4[1145] za4[1146] za4[1147] za4[1148] za4[1149] za4[1150] za4[1151] za4[1152] za4[1153] za4[1154] za4[1155] za4[1156] za4[1157] za4[1158] za4[1159] za4[1160] za4[1161] za4[1162] za4[1163] za4[1164] za4[1165] za4[1166] za4[1167] za4[1168] za4[1169] za4[1170] za4[1171] za4[1172] za4[1173] za4[1174] za4[1175] za4[1176] za4[1177] za4[1178] za4[1179] za4[1180] za4[1181] za4[1182] za4[1183] za4[1184] za4[1185] za4[1186] za4[1187] za4[1188] za4[1189] za4[1190] za4[1191] za4[1192] za4[1193] za4[1194] za4[1195] za4[1196] za4[1197] za4[1198] za4[1199] za4[1200] za4[1201] za4[1202] za4[1203] za4[1204] za4[1205] za4[1206] za4[1207] za4[1208] za4[1209] za4[1210] za4[1211] za4[1212] za4[1213] za4[1214] za4[1215] za4[1216] za4[1217] za4[1218] za4[1219] za4[1220] za4[1221] za4[1222] za4[1223] za4[1224] za4[1225] za4[1226] za4[1227] za4[1228] za4[1229] za4[1230] za4[1231] za4[1232] za4[1233] za4[1234] za4[1235] za4[1236] za4[1237] za4[1238] za4[1239] za4[1240] za4[1241] za4[1242] za4[1243] za4[1244] za4[1245] za4[1246] za4[1247] za4[1248] za4[1249] za4[1250] za4[1251] za4[1252] za4[1253] za4[1254] za4[1255] za4[1256] za4[1257] za4[1258] za4[1259] za4[1260] za4[1261] za4[1262] za4[1263] za4[1264] za4[1265] za4[1266] za4[1267] za4[1268] za4[1269] za4[1270] za4[1271] za4[1272] za4[1273] za4[1274] za4[1275] za4[1276] za4[1277] za4[1278] za4[1279] za4[1280] za4[1281] za4[1282] za4[1283] za4[1284] za4[1285] za4[1286] za4[1287] za4[1288] za4[1289] za4[1290] za4[1291] za4[1292] za4[1293] za4[1294] za4[1295] za4[1296] za4[1297] za4[1298] za4[1299] za4[1300] za4[1301] za4[1302] za4[1303] za4[1304] za4[1305] za4[1306] za4[1307] za4[1308] za4[1309] za4[1310] za4[1311] za4[1312] za4[1313] za4[1314] za4[1315] za4[1316] za4[1317] za4[1318] za4[1319] za4[1320] za4[1321] za4[1322] za4[1323] za4[1324] za4[1325] za4[1326] za4[1327] za4[1328] za4[1329] za4[1330] za4[1331] za4[1332] za4[1333] za4[1334] za4[1335] za4[1336] za4[1337] za4[1338] za4[1339] za4[1340] za4[1341] za4[1342] za4[1343] za4[1344] za4[1345] za4[1346] za4[1347] za4[1348] za4[1349] za4[1350] za4[1351] za4[1352] za4[1353] za4[1354] za4[1355] za4[1356] za4[1357] za4[1358] za4[1359] za4[1360] za4[1361] za4[1362] za4[1363] za4[1364] za4[1365] za4[1366] za4[1367] za4[1368] za4[1369] za4[1370] za4[1371] za4[1372] za4[1373] za4[1374] za4[1375] za4[1376] za4[1377] za4[1378] za4[1379] za4[1380] za4[1381] za4[1382] za4[1383] za4[1384] za4[1385] za4[1386] za4[1387] za4[1388] za4[1389] za4[1390] za4[1391] za4[1392] za4[1393] za4[1394] za4[1395] za4[1396] za4[1397] za4[1398] za4[1399] za4[1400] za4[1401] za4[1402] za4[1403] za4[1404] za4[1405] za4[1406] za4[1407] za4[1408] za4[1409] za4[1410] za4[1411] za4[1412] za4[1413] za4[1414] za4[1415] za4[1416] za4[1417] za4[1418] za4[1419] za4[1420] za4[1421] za4[1422] za4[1423] za4[1424] za4[1425] za4[1426] za4[1427] za4[1428] za4[1429] za4[1430] za4[1431] za4[1432] za4[1433] za4[1434] za4[1435] za4[1436] za4[1437] za4[1438] za4[1439] za4[1440] za4[1441] za4[1442] za4[1443] za4[1444] za4[1445] za4[1446] za4[1447] za4[1448] za4[1449] za4[1450] za4[1451] za4[1452] za4[1453] za4[1454] za4[1455] za4[1456] za4[1457] za4[1458] za4[1459] za4[1460] za4[1461] za4[1462] za4[1463] za4[1464] za4[1465] za4[1466] za4[1467] za4[1468] za4[1469] za4[1470] za4[1471] za4[1472] za4[1473] za4[1474] za4[1475] za4[1476] za4[1477] za4[1478] za4[1479] za4[1480] za4[1481] za4[1482] za4[1483] za4[1484] za4[1485] za4[1486] za4[1487] za4[1488] za4[1489] za4[1490] za4[1491] za4[1492] za4[1493] za4[1494] za4[1495] 20010.52/2520.12 v </list> 20010.52/2520.12 v <values> 20010.52/2520.12 v 750 512 792 554 394 156 554 792 792 554 792 554 764 526 708 470 554 792 764 526 540 778 540 778 792 554 554 792 792 554 792 554 414 652 554 792 792 554 498 736 554 792 764 526 554 792 470 708 554 792 554 792 554 792 792 554 114 352 498 736 792 554 470 708 792 554 722 484 792 554 540 778 470 708 428 666 470 708 792 554 554 792 554 792 512 750 554 792 428 666 778 540 554 792 554 792 540 778 414 652 554 792 540 778 792 554 722 484 394 156 792 554 428 666 792 554 792 554 722 484 750 512 414 652 554 792 778 540 470 708 792 554 470 708 792 554 792 554 778 540 478 240 554 792 512 750 792 554 526 764 792 554 554 792 540 778 498 736 792 554 554 792 498 736 498 736 792 554 554 792 554 792 792 554 750 512 554 792 156 394 394 156 554 792 254 16 554 792 554 792 554 792 792 554 736 498 792 554 792 554 526 764 736 498 778 540 414 652 554 792 792 554 750 512 792 554 470 708 792 554 554 792 792 554 394 156 484 722 338 100 554 792 540 778 512 750 540 778 680 442 442 680 708 470 456 694 498 736 428 666 240 478 680 442 540 778 736 498 456 694 792 554 666 428 414 652 114 352 498 736 498 736 792 554 652 414 428 666 792 554 456 694 778 540 554 792 156 394 428 666 554 792 240 478 792 554 554 792 792 554 554 792 512 750 750 512 456 694 792 554 792 554 666 428 792 554 666 428 554 792 498 736 554 792 526 764 652 414 512 750 694 456 750 512 792 554 554 792 652 414 540 778 554 792 554 792 680 442 778 540 540 778 540 778 680 442 142 380 778 540 484 722 736 498 540 778 680 442 722 484 554 792 540 778 540 778 142 380 470 708 778 540 666 428 778 540 442 680 484 722 540 778 540 778 694 456 526 764 554 792 778 540 778 540 540 778 554 792 778 540 540 778 540 778 380 142 778 540 540 778 512 750 792 554 540 778 554 792 792 554 722 484 792 554 526 764 484 722 498 736 778 540 114 352 456 694 792 554 778 540 470 708 792 554 792 554 540 778 540 778 540 778 778 540 778 540 736 498 736 498 526 764 540 778 428 666 778 540 498 736 512 750 722 484 792 554 764 526 778 540 540 778 778 540 554 792 554 792 456 694 554 792 470 708 778 540 414 652 792 554 540 778 778 540 708 470 680 442 778 540 680 442 736 498 778 540 764 526 156 394 666 428 792 554 100 338 680 442 414 652 750 512 750 512 792 554 394 156 792 554 792 554 442 680 750 512 540 778 484 722 540 778 778 540 540 778 512 750 540 778 540 778 442 680 778 540 736 498 470 708 554 792 778 540 750 512 736 498 554 792 778 540 526 764 778 540 540 778 484 722 778 540 778 540 778 540 778 540 498 736 540 778 778 540 540 778 778 540 512 750 442 680 540 778 540 778 778 540 540 778 778 540 540 778 736 498 554 792 540 778 442 680 778 540 380 142 498 736 554 792 792 554 666 428 778 540 554 792 764 526 156 394 128 366 736 498 540 778 554 792 394 156 764 526 750 512 540 778 540 778 778 540 778 540 352 114 540 778 380 142 778 540 778 540 554 792 554 792 792 554 792 554 666 428 428 666 750 512 526 764 484 722 792 554 540 778 470 708 540 778 764 526 526 764 708 470 722 484 764 526 778 540 72 310 708 470 778 540 778 540 792 554 540 778 778 540 778 540 778 540 778 540 540 778 540 778 778 540 512 750 526 764 680 442 736 498 554 792 708 470 554 792 470 708 526 764 764 526 792 554 750 512 456 694 554 792 694 456 694 456 778 540 540 778 498 736 526 764 694 456 540 778 736 498 456 694 666 428 554 792 540 778 540 778 778 540 540 778 540 778 540 778 456 694 540 778 498 736 792 554 778 540 554 792 680 442 540 778 792 554 792 554 736 498 554 792 554 792 554 792 540 778 680 442 540 778 792 554 778 540 512 750 792 554 540 778 512 750 792 554 484 722 792 554 142 380 498 736 778 540 750 512 778 540 512 750 778 540 736 498 666 428 778 540 778 540 540 778 540 778 778 540 554 792 792 554 540 778 792 554 498 736 540 778 394 156 4 4 4 0 0 4 4 0 4 0 0 0 0 4 0 4 0 4 0 4 0 4 0 4 0 0 4 0 0 4 0 0 4 0 4 0 0 0 0 4 0 4 4 0 4 0 4 0 4 4 4 4 4 4 0 4 4 4 0 4 4 4 4 4 0 4 4 4 0 0 4 4 4 0 4 4 0 4 4 4 0 0 4 0 4 0 0 4 0 4 0 0 0 4 4 4 4 4 4 4 0 0 4 4 4 4 4 0 0 4 4 0 0 0 0 0 0 0 0 4 4 0 4 4 4 4 4 4 0 4 4 4 4 0 0 0 4 4 4 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 4 4 4 0 4 4 0 4 0 0 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 0 0 0 0 0 0 0 4 0 0 0 4 0 4 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 0 0 4 4 4 0 0 4 4 4 4 4 0 0 4 4 0 0 0 4 0 0 0 4 0 4 0 0 0 4 0 4 0 0 0 4 0 0 4 4 0 4 4 0 4 4 0 4 4 4 0 0 0 0 0 4 4 4 4 0 4 0 0 4 0 0 4 4 0 0 4 4 4 4 4 0 4 4 0 4 4 0 4 0 4 4 0 4 4 4 4 4 0 0 4 0 0 4 0 4 0 4 0 4 4 4 4 4 4 4 4 4 0 0 0 4 4 4 4 4 4 4 0 4 4 4 4 0 0 4 0 4 4 4 4 0 0 4 0 0 4 4 4 4 0 0 0 4 4 4 4 0 4 4 4 4 4 0 4 4 4 4 4 4 0 4 0 4 4 0 0 0 4 4 4 4 4 4 4 4 4 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 4 0 4 4 4 4 4 4 4 4 0 0 0 0 0 4 4 0 4 4 0 4 4 4 4 4 0 4 4 0 4 0 0 4 4 4 4 4 4 4 0 4 4 0 4 4 4 4 4 4 4 4 4 4 4 0 0 4 4 4 0 4 4 4 0 4 0 4 4 4 4 0 4 4 4 0 4 4 4 4 4 4 4 4 0 0 0 0 0 4 0 0 4 0 0 0 0 0 4 4 4 4 4 4 0 4 4 4 4 0 4 0 0 4 0 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 0 0 0 4 4 0 4 4 0 4 0 4 4 4 0 0 4 0 4 4 0 4 4 4 4 4 0 4 4 0 4 0 4 0 0 4 0 4 4 4 0 4 4 0 4 4 0 4 4 0 0 4 4 4 4 4 0 4 0 0 0 4 4 4 0 4 0 4 4 4 0 0 4 0 4 4 4 0 0 0 4 0 4 4 4 0 4 4 4 4 4 4 4 4 4 4 0 0 4 4 0 4 4 4 4 4 0 0 0 0 4 0 4 4 4 4 4 4 4 4 0 4 4 0 4 4 0 0 4 0 0 4 0 0 0 4 0 4 0 0 0 4 4 4 0 0 4 0 0 4 4 4 0 4 4 4 4 4 0 4 4 4 4 0 4 4 4 0 0 0 0 0 4 4 0 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 0 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 4 0 4 4 4 4 0 4 4 4 4 4 4 0 4 4 0 4 0 0 4 0 4 4 4 4 4 4 4 4 0 0 0 4 4 4 4 4 4 0 4 4 4 0 0 4 4 4 4 4 0 4 4 4 0 4 4 0 4 0 4 4 0 4 4 4 0 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 0 4 0 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 0 0 4 4 4 0 4 0 4 0 4 4 4 0 0 4 0 0 4 0 4 4 4 4 4 0 0 0 4 0 4 4 4 0 4 0 4 4 4 0 0 0 4 0 0 4 0 4 0 4 4 0 4 0 4 0 4 4 4 0 0 4 4 4 4 4 4 0 4 4 4 4 4 4 4 0 4 4 4 4 4 0 4 4 4 4 0 4 0 4 4 4 0 0 4 4 4 4 4 4 4 4 4 4 4 0 4 0 4 4 4 4 4 0 0 4 0 4 4 4 4 4 4 4 0 4 4 0 4 0 4 0 0 4 4 4 0 4 4 4 4 0 4 4 0 4 4 4 4 0 0 0 4 0 0 4 4 0 4 0 0 0 4 4 4 0 4 4 4 4 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 3 3 3 3 3 0 3 3 0 3 3 3 3 3 3 0 3 3 3 3 3 3 3 0 3 0 3 3 0 3 0 3 0 3 3 3 3 3 3 3 0 0 3 3 0 3 3 3 3 3 3 0 0 3 0 0 3 0 3 0 3 3 0 0 0 3 3 3 0 3 3 0 3 3 3 3 0 0 3 0 3 0 0 3 0 3 0 3 3 3 0 3 3 0 0 3 3 3 3 0 0 3 0 3 3 3 0 3 3 3 3 3 3 0 0 3 0 3 0 3 0 0 3 0 3 3 3 3 0 3 3 3 3 3 3 3 3 0 3 0 3 0 3 0 0 3 0 3 0 3 3 0 3 0 0 0 3 3 3 3 3 0 0 3 3 3 0 0 0 3 3 3 3 3 0 0 0 3 0 0 3 0 3 3 0 3 3 0 3 0 3 3 0 3 3 3 3 3 3 3 3 3 0 3 0 3 0 3 0 3 3 3 3 0 0 0 3 3 3 3 0 0 3 0 3 3 3 3 3 3 3 0 3 0 3 0 3 3 3 3 3 3 3 3 0 3 0 3 0 0 3 3 3 0 3 0 3 3 3 0 0 0 3 3 3 3 3 3 3 3 3 3 3 0 0 3 3 3 3 3 3 0 3 3 0 3 3 3 3 0 0 3 0 0 3 3 0 0 3 0 3 0 0 0 3 0 0 3 0 0 3 3 3 0 3 0 3 0 0 0 0 3 0 3 0 3 3 0 3 0 3 3 3 0 0 3 3 3 3 3 3 3 3 0 0 0 3 0 3 3 3 0 3 3 3 0 0 3 3 0 0 3 3 3 3 0 3 3 3 0 3 3 3 0 3 0 3 0 0 3 0 3 3 3 0 0 0 0 3 0 0 0 3 3 3 0 3 3 3 3 0 3 3 3 0 0 3 3 3 3 0 3 0 0 3 0 3 0 0 0 3 3 3 0 0 3 3 0 0 0 0 0 3 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 0 0 3 3 3 3 0 3 0 3 0 0 3 0 3 3 0 0 0 0 0 3 3 3 3 3 3 0 3 3 3 3 0 3 3 3 3 3 3 3 3 0 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 3 0 0 3 3 0 0 0 0 0 3 0 0 0 3 0 0 0 0 3 0 0 0 0 3 0 3 3 0 3 3 3 3 3 0 3 3 3 3 3 0 3 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 3 3 3 3 0 3 0 0 0 3 0 0 0 3 0 0 3 3 0 0 0 3 3 3 3 3 0 3 3 3 0 0 3 3 3 3 3 0 3 3 3 3 3 3 0 3 0 3 0 3 0 3 0 0 0 0 0 3 0 0 0 0 0 3 0 3 3 3 3 3 0 0 3 0 0 0 3 3 3 3 0 3 3 0 3 0 3 0 0 3 3 3 3 3 0 3 3 3 3 0 3 3 0 3 3 0 0 0 3 3 0 0 0 3 3 3 3 0 0 3 0 3 0 0 3 0 3 0 0 3 3 3 0 3 3 3 0 3 3 0 3 3 3 3 3 0 3 0 3 3 0 0 0 0 3 3 3 3 3 3 0 3 0 3 3 0 0 0 3 3 0 0 3 0 0 0 0 0 3 0 3 0 0 0 0 3 0 0 3 3 3 3 3 3 3 0 0 3 3 3 0 3 3 0 3 3 3 3 3 3 3 0 0 0 0 0 3 0 0 3 3 3 3 3 3 3 0 3 0 3 0 3 3 0 0 3 3 3 3 3 3 3 3 0 3 3 0 3 3 0 0 3 0 3 0 3 3 0 3 0 3 3 3 0 0 3 3 3 0 3 3 3 3 3 3 3 3 3 0 3 0 3 3 0 0 3 3 3 0 3 0 3 0 3 3 3 3 3 0 3 0 3 3 3 0 3 3 0 3 0 3 0 3 3 3 3 3 3 3 3 0 3 0 3 0 3 3 0 3 3 0 3 0 3 3 3 3 0 0 0 3 3 3 3 3 3 3 0 3 3 0 3 3 0 3 0 0 3 3 3 0 0 0 0 3 0 3 3 3 3 3 0 0 0 0 3 3 3 0 0 3 0 3 3 3 3 3 0 3 3 3 0 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 0 3 3 3 0 3 0 0 3 3 0 0 3 3 3 3 3 3 3 0 0 0 3 3 3 0 3 3 3 3 3 3 3 3 0 3 3 3 3 3 0 3 3 3 0 3 3 0 3 0 3 0 3 3 3 3 3 3 0 0 0 3 3 0 0 3 3 3 3 3 3 3 0 0 3 3 3 0 3 3 0 0 3 0 3 3 3 0 0 0 3 0 0 3 3 3 0 3 3 0 3 3 3 0 3 3 0 3 3 0 3 3 0 3 3 3 3 0 3 0 0 3 3 3 3 3 3 0 3 3 3 3 0 3 0 3 0 3 3 3 3 0 3 0 0 0 0 0 3 3 3 3 0 3 3 0 3 3 0 0 3 3 3 3 3 3 3 3 0 3 3 3 3 0 3 3 3 3 0 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 3 3 3 3 3 0 3 0 0 0 3 3 3 0 3 0 3 3 3 3 3 3 3 0 3 3 0 3 3 3 0 0 0 3 0 3 0 3 3 3 3 3 3 3 3 0 3 3 0 0 0 3 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 0 3 0 3 3 3 3 3 3 0 3 3 3 3 3 3 3 0 3 3 0 3 3 0 3 0 3 3 3 3 0 3 3 3 3 3 0 3 3 3 3 3 0 0 3 3 0 3 0 0 0 0 3 3 3 3 0 0 0 3 3 3 0 3 3 3 3 0 3 3 0 3 3 3 3 3 0 3 3 3 0 0 3 3 0 3 0 3 0 3 3 0 3 3 3 3 3 3 0 3 0 3 0 0 0 3 0 3 3 3 0 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 0 3 3 3 3 0 0 3 3 3 3 3 3 3 3 0 0 0 3 3 3 0 3 3 0 3 3 0 0 0 0 3 0 0 3 0 0 0 3 3 3 0 3 0 3 3 3 3 3 3 3 3 0 0 3 0 3 3 0 0 0 0 3 0 3 3 2 2 0 2 0 2 0 0 0 2 2 2 2 0 0 0 2 2 2 2 0 2 0 2 2 2 0 2 2 2 2 2 2 0 0 0 0 2 2 2 2 2 2 2 2 0 2 2 0 0 2 2 2 2 2 2 0 2 2 0 2 2 2 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 0 2 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 0 0 0 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 0 2 2 0 2 2 2 2 2 2 2 0 0 2 2 0 2 0 0 0 2 2 0 0 2 0 2 0 0 2 2 2 2 0 2 2 0 2 2 0 2 2 2 2 2 2 2 0 0 2 0 0 2 2 2 2 0 2 2 0 0 0 2 2 2 2 0 0 0 0 2 0 2 2 2 2 2 0 2 0 0 0 0 0 0 0 0 2 0 2 2 2 2 2 2 2 2 2 0 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 0 2 2 2 0 2 2 2 2 0 0 2 2 0 2 2 2 2 0 2 2 2 2 2 0 2 2 0 0 2 2 0 2 2 2 0 0 2 0 0 2 2 2 0 0 2 0 2 2 0 2 2 0 0 2 2 0 2 2 2 2 0 0 2 2 2 2 0 2 0 2 0 2 2 0 0 0 2 2 0 2 2 0 2 2 2 2 0 0 0 2 2 2 0 0 2 2 2 2 2 0 2 2 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 0 2 2 2 2 0 2 2 2 2 0 2 2 2 0 2 0 2 0 2 2 2 2 2 0 0 2 2 2 2 2 0 2 2 0 0 2 2 2 0 2 0 0 2 0 2 2 2 0 2 0 0 2 2 0 0 2 2 0 2 2 0 2 2 2 2 2 2 2 2 0 2 0 0 2 0 2 0 2 2 2 0 2 2 2 0 2 0 2 2 2 0 2 0 0 2 2 2 2 0 2 0 0 2 2 0 2 2 0 2 0 0 0 2 0 2 0 0 2 0 2 0 2 2 0 2 2 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 2 0 2 2 0 0 0 2 2 2 0 0 0 2 0 0 0 2 2 2 2 0 2 0 2 2 2 0 0 2 0 2 2 0 2 2 2 0 0 0 2 0 2 2 0 0 0 0 2 0 2 2 0 2 2 2 0 0 0 2 0 2 2 2 2 0 0 0 2 0 2 2 2 2 2 0 2 0 2 2 2 2 0 0 0 2 2 2 2 2 2 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 0 2 0 0 2 0 2 2 0 0 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 2 2 2 0 2 0 2 2 0 2 2 2 2 0 2 2 0 0 0 0 2 2 0 2 0 0 2 0 2 2 0 2 2 2 0 2 2 2 0 2 2 2 2 2 2 0 2 2 0 0 2 2 0 2 2 0 0 2 2 0 0 2 2 2 0 2 0 0 2 2 2 2 0 2 2 2 0 2 2 2 0 0 0 0 2 2 0 0 2 2 0 2 2 2 2 2 2 0 0 2 2 2 0 2 0 2 2 2 2 2 2 0 2 2 2 2 0 0 2 0 2 0 2 2 0 2 0 0 2 2 2 2 2 2 2 2 2 0 2 0 2 2 0 0 2 2 0 2 2 2 2 2 2 2 0 2 0 0 2 2 0 2 2 2 2 0 0 2 0 0 2 2 0 2 2 2 0 0 2 2 0 0 2 2 0 0 2 2 2 2 2 2 0 2 2 0 2 2 0 0 2 0 2 2 0 0 2 0 2 2 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 0 2 2 2 0 2 2 2 0 2 2 2 0 0 2 2 2 2 2 2 2 2 0 2 2 2 0 2 0 0 0 0 2 2 2 2 2 2 0 2 2 2 2 2 2 0 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 0 2 2 2 0 0 0 0 0 2 0 2 2 0 0 2 2 2 2 0 0 0 0 2 2 0 0 2 2 2 0 2 2 2 2 0 0 0 2 0 0 0 0 0 2 2 2 0 2 2 2 0 2 2 2 2 0 0 2 0 0 2 0 2 2 2 2 0 2 2 2 2 2 2 2 2 2 0 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 2 0 2 2 2 2 2 2 2 0 2 2 0 2 2 0 2 0 0 0 0 2 2 2 2 0 2 2 2 2 2 2 2 2 0 0 2 2 2 2 2 2 2 2 2 0 0 2 2 0 2 2 0 2 2 0 2 2 0 2 0 0 0 2 0 0 0 2 0 0 2 0 2 0 2 2 2 2 2 0 0 2 2 2 2 0 0 0 0 2 0 2 2 0 0 0 0 0 2 2 2 0 2 0 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 2 0 2 2 0 2 0 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 0 0 0 2 0 0 2 0 2 2 2 2 2 1 1 1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 1 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 0 1 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 20010.52/2520.12 v </values> 20010.52/2520.12 v </instantiation>
OK 8302
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 (14575 MiB free) memory of node 1: 16384 MiB (13768 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309235-1534364070/watcher-4309235-1534364070 -o /tmp/evaluation-result-4309235-1534364070/solver-4309235-1534364070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1534362980-1115 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 274161834 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309235-1534364070.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=1273, runsolver pid=1270 Current StackSize limit: 8192 KiB [startup+0.100168 s]* /proc/loadavg: 8.92 8.83 8.88 3/199 1293 /proc/meminfo: memFree=29008184/32770624 swapFree=67030680/67108860 [pid=1273] ppid=1270 vsize=26103420 memory=29852 CPUtime=0.11 cores=0-7 /proc/1273/stat : 1273 (java) S 1270 1273 1087 0 -1 1077944320 6880 0 0 0 9 2 0 0 20 0 20 0 253970211 26729902080 7463 33554432000 4194304 4196468 140722757521728 140722757504272 140285150793463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 /proc/1273/statm: 6525855 7463 3138 1 0 6487932 0 [pid=1273/tid=1275] ppid=1270 vsize=26103420 memory=1399051139730258233 CPUtime=0.09 cores=0-7 /proc/1273/task/1275/stat : 1275 (java) R 1270 1273 1087 0 -1 4202560 5337 0 0 0 8 1 0 0 20 0 20 0 253970212 26729902080 7793 33554432000 4194304 4196468 140722757521728 140285155016256 140285131069184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1276] ppid=1270 vsize=26103420 memory=3677534773662714415 CPUtime=0 cores=0-7 /proc/1273/task/1276/stat : 1276 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 7793 33554432000 4194304 4196468 140722757521728 140285109554192 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1277] ppid=1270 vsize=26103420 memory=140290468857472 CPUtime=0 cores=0-7 /proc/1273/task/1277/stat : 1277 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284707490960 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1278] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1278/stat : 1278 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284706437904 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1279] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1279/stat : 1279 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284705385360 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1280] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1280/stat : 1280 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284704332304 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1281] ppid=1270 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1273/task/1281/stat : 1281 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284703279760 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1282] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1282/stat : 1282 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284702226704 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1283] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1283/stat : 1283 (java) S 1270 1273 1087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284701174160 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1284] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1284/stat : 1284 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970214 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284277979888 140285150804610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1285] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1285/stat : 1285 (java) S 1270 1273 1087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253970214 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284276926112 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1286] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1286/stat : 1286 (java) S 1270 1273 1087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253970215 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284275873008 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1287] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1287/stat : 1287 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 7859 33554432000 4194304 4196468 140722757521728 140284274821584 140285150812059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1288] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1288/stat : 1288 (java) S 1270 1273 1087 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 7925 33554432000 4194304 4196468 140722757521728 140284273768688 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1289] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1289/stat : 1289 (java) S 1270 1273 1087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 7925 33554432000 4194304 4196468 140722757521728 140284272716144 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1290] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1290/stat : 1290 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 7925 33554432000 4194304 4196468 140722757521728 140284271663088 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1291] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1291/stat : 1291 (java) S 1270 1273 1087 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 7925 33554432000 4194304 4196468 140722757521728 140284270610544 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1292] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1292/stat : 1292 (java) S 1270 1273 1087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 7925 33554432000 4194304 4196468 140722757521728 140284269558752 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1293] ppid=1270 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1273/task/1293/stat : 1293 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 7925 33554432000 4194304 4196468 140722757521728 140284268506288 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 29852 KiB [startup+0.210403 s]* /proc/loadavg: 8.92 8.83 8.88 3/199 1293 /proc/meminfo: memFree=28994480/32770624 swapFree=67030680/67108860 [pid=1273] ppid=1270 vsize=26103420 memory=43212 CPUtime=0.3 cores=0-7 /proc/1273/stat : 1273 (java) S 1270 1273 1087 0 -1 1077944320 10426 0 0 0 27 3 0 0 20 0 20 0 253970211 26729902080 10803 33554432000 4194304 4196468 140722757521728 140722757504272 140285150793463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 /proc/1273/statm: 6525855 10803 3333 1 0 6487932 0 [pid=1273/tid=1275] ppid=1270 vsize=26103420 memory=32758254098972862 CPUtime=0.19 cores=0-7 /proc/1273/task/1275/stat : 1275 (java) R 1270 1273 1087 0 -1 4202560 8213 0 0 0 18 1 0 0 20 0 20 0 253970212 26729902080 10803 33554432000 4194304 4196468 140722757521728 140285155020768 140285133200591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1276] ppid=1270 vsize=26103420 memory=288230608969400343 CPUtime=0 cores=0-7 /proc/1273/task/1276/stat : 1276 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 10803 33554432000 4194304 4196468 140722757521728 140285109554192 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1277] ppid=1270 vsize=26103420 memory=15114750720722584 CPUtime=0 cores=0-7 /proc/1273/task/1277/stat : 1277 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284707490960 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1278] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1278/stat : 1278 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284706437904 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1279] ppid=1270 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1273/task/1279/stat : 1279 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284705385360 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1280] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1280/stat : 1280 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284704332304 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1281] ppid=1270 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1273/task/1281/stat : 1281 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284703279760 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1282] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1282/stat : 1282 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284702226704 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1283] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1283/stat : 1283 (java) S 1270 1273 1087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284701174160 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1284] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1284/stat : 1284 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970214 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284277979888 140285150804610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1285] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1285/stat : 1285 (java) S 1270 1273 1087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253970214 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284276926112 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1286] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1286/stat : 1286 (java) S 1270 1273 1087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253970215 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284275873008 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1287] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1287/stat : 1287 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284274821584 140285150812059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1288] ppid=1270 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/1273/task/1288/stat : 1288 (java) S 1270 1273 1087 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 20 0 253970217 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284273768688 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1289] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1289/stat : 1289 (java) S 1270 1273 1087 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284272716144 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1290] ppid=1270 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/1273/task/1290/stat : 1290 (java) S 1270 1273 1087 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 20 0 253970217 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284271663088 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1291] ppid=1270 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/1273/task/1291/stat : 1291 (java) R 1270 1273 1087 0 -1 4202560 298 0 0 0 6 0 0 0 20 0 20 0 253970217 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284270608352 140285129398942 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1292] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1292/stat : 1292 (java) S 1270 1273 1087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284269558752 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1293] ppid=1270 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1273/task/1293/stat : 1293 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 10803 33554432000 4194304 4196468 140722757521728 140284268506288 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43212 KiB [startup+0.309649 s]* /proc/loadavg: 8.92 8.83 8.88 2/199 1293 /proc/meminfo: memFree=28990820/32770624 swapFree=67030680/67108860 [pid=1273] ppid=1270 vsize=26103420 memory=46720 CPUtime=0.43 cores=0-7 /proc/1273/stat : 1273 (java) S 1270 1273 1087 0 -1 1077944320 10873 0 0 0 40 3 0 0 20 0 20 0 253970211 26729902080 11680 33554432000 4194304 4196468 140722757521728 140722757504272 140285150793463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 /proc/1273/statm: 6525855 11680 3371 1 0 6487932 0 [pid=1273/tid=1275] ppid=1270 vsize=26103420 memory=1399051139730258233 CPUtime=0.3 cores=0-7 /proc/1273/task/1275/stat : 1275 (java) R 1270 1273 1087 0 -1 4202560 8562 0 0 0 28 2 0 0 20 0 20 0 253970212 26729902080 11680 33554432000 4194304 4196468 140722757521728 140285154992896 140285132357040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1276] ppid=1270 vsize=26103420 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1273/task/1276/stat : 1276 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 11680 33554432000 4194304 4196468 140722757521728 140285109554192 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1277] ppid=1270 vsize=26103420 memory=752 CPUtime=0 cores=0-7 /proc/1273/task/1277/stat : 1277 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284707490960 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1278] ppid=1270 vsize=26103420 memory=972 CPUtime=0 cores=0-7 /proc/1273/task/1278/stat : 1278 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284706437904 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1279] ppid=1270 vsize=26103420 memory=13888 CPUtime=0 cores=0-7 /proc/1273/task/1279/stat : 1279 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284705385360 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1280] ppid=1270 vsize=26103420 memory=4104 CPUtime=0 cores=0-7 /proc/1273/task/1280/stat : 1280 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284704332304 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1281] ppid=1270 vsize=26103420 memory=2228 CPUtime=0 cores=0-7 /proc/1273/task/1281/stat : 1281 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284703279760 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1282] ppid=1270 vsize=26103420 memory=34660 CPUtime=0 cores=0-7 /proc/1273/task/1282/stat : 1282 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284702226704 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1283] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1283/stat : 1283 (java) S 1270 1273 1087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253970212 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284701174160 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1284] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1284/stat : 1284 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970214 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284277979888 140285150804610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1285] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1285/stat : 1285 (java) S 1270 1273 1087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253970214 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284276926112 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1286] ppid=1270 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1286/stat : 1286 (java) S 1270 1273 1087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253970215 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284275873008 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1287] ppid=1270 vsize=26103420 memory=140290342094287 CPUtime=0 cores=0-7 /proc/1273/task/1287/stat : 1287 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284274821584 140285150812059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1288] ppid=1270 vsize=26103420 memory=67 CPUtime=0.01 cores=0-7 /proc/1273/task/1288/stat : 1288 (java) S 1270 1273 1087 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 253970217 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284273768688 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1289] ppid=1270 vsize=26103420 memory=51172 CPUtime=0.01 cores=0-7 /proc/1273/task/1289/stat : 1289 (java) S 1270 1273 1087 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 253970217 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284272716144 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1290] ppid=1270 vsize=26103420 memory=53476 CPUtime=0.01 cores=0-7 /proc/1273/task/1290/stat : 1290 (java) S 1270 1273 1087 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 253970217 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284271663088 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1291] ppid=1270 vsize=26103420 memory=55780 CPUtime=0.07 cores=0-7 /proc/1273/task/1291/stat : 1291 (java) S 1270 1273 1087 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 20 0 253970217 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284270610544 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1292] ppid=1270 vsize=26103420 memory=110297088 CPUtime=0 cores=0-7 /proc/1273/task/1292/stat : 1292 (java) S 1270 1273 1087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284269558752 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1293] ppid=1270 vsize=26103420 memory=26729902079 CPUtime=0 cores=0-7 /proc/1273/task/1293/stat : 1293 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970217 26729902080 11680 33554432000 4194304 4196468 140722757521728 140284268506288 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46720 KiB [startup+0.700867 s] /proc/loadavg: 8.92 8.83 8.88 3/199 1293 /proc/meminfo: memFree=28966512/32770624 swapFree=67030680/67108860 [pid=1273] ppid=1270 vsize=26105488 memory=85328 CPUtime=0.99 cores=0-7 /proc/1273/stat : 1273 (java) S 1270 1273 1087 0 -1 1077944320 17807 0 0 0 94 5 0 0 20 0 20 0 253970211 26732019712 21332 33554432000 4194304 4196468 140722757521728 140722757504272 140285150793463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 /proc/1273/statm: 6526372 21332 3494 1 0 6488444 0 [pid=1273/tid=1275] ppid=1270 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/1273/task/1275/stat : 1275 (java) R 1270 1273 1087 0 -1 4202560 15057 0 0 0 64 3 0 0 20 0 20 0 253970212 26732019712 21332 33554432000 4194304 4196468 140722757521728 140285155020064 140285150815389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1276] ppid=1270 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1276/stat : 1276 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26732019712 21332 33554432000 4194304 4196468 140722757521728 140285109554192 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1277] ppid=1270 vsize=26105488 memory=2353 CPUtime=0 cores=0-7 /proc/1273/task/1277/stat : 1277 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26732019712 21332 33554432000 4194304 4196468 140722757521728 140284707490960 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1278] ppid=1270 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/1273/task/1278/stat : 1278 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26732019712 21332 33554432000 4194304 4196468 140722757521728 140284706437904 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1279] ppid=1270 vsize=26105488 memory=2680 CPUtime=0 cores=0-7 /proc/1273/task/1279/stat : 1279 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26732019712 21332 33554432000 4194304 4196468 140722757521728 140284705385360 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1280] ppid=1270 vsize=26105488 memory=3160 CPUtime=0 cores=0-7 /proc/1273/task/1280/stat : 1280 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970212 26732019712 21332 33554432000 4194304 4196468 140722757521728 140284704332304 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1281] ppid=1270 vsize=26105488 memory=2120 CPUtime=0 cores=0-7 /proc/1273/task/1281/stat : 1281 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26732019712 21332 33554432000 4194304 4196468 140722757521728 140284703279760 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1282] ppid=1270 vsize=26105488 memory=752 CPUtime=0 cores=0-7 /proc/1273/task/1282/stat : 1282 (java) S 1270 1273 1087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253970212 26732019712 21332 33554432000 4194304 4196468 140722757521728 140284702226704 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1283] ppid=1270 vsize=26105488 memory=972 CPUtime=0 cores=0-7 /proc/1273/task/1283/stat : 1283 (java) S 1270 1273 1087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253970212 26732019712 21332 33554432000 4194304 4196468 140722757521728 140284701174160 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1284] ppid=1270 vsize=26105488 memory=13888 CPUtime=0 cores=0-7 /proc/1273/task/1284/stat : 1284 (java) S 1270 1273 1087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253970214 26732019712 21332 33554432000 4194304 4196468 140722757521728 140284277979888 140285150804610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 ################ # More data... # ################ /proc/1273/task/1297/stat : 1297 (java) S 1270 1273 1087 0 -1 1077944384 225 0 0 0 35 0 0 0 20 0 46 0 253970993 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284249810192 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1298] ppid=1270 vsize=27850524 memory=4564 CPUtime=2476.85 cores=0-7 /proc/1273/task/1298/stat : 1298 (java) R 1270 1273 1087 0 -1 4202560 246589 0 0 0 247483 202 0 0 20 0 46 0 253970993 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284248750848 140284789698808 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1299] ppid=1270 vsize=27850524 memory=7357024 CPUtime=2476.57 cores=0-7 /proc/1273/task/1299/stat : 1299 (java) R 1270 1273 1087 0 -1 4202560 217833 0 0 0 247450 207 0 0 20 0 46 0 253971000 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284245599728 140284792479250 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1300] ppid=1270 vsize=27850524 memory=4096 CPUtime=0.33 cores=0-7 /proc/1273/task/1300/stat : 1300 (java) S 1270 1273 1087 0 -1 1077944384 132 0 0 0 33 0 0 0 20 0 46 0 253971000 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284244555408 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1301] ppid=1270 vsize=27850524 memory=1572 CPUtime=2482.67 cores=0-7 /proc/1273/task/1301/stat : 1301 (java) R 1270 1273 1087 0 -1 4202560 197480 0 0 0 248066 201 0 0 20 0 46 0 253971000 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284243494696 140284789698824 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1302] ppid=1270 vsize=27850524 memory=1996 CPUtime=2474.79 cores=0-7 /proc/1273/task/1302/stat : 1302 (java) R 1270 1273 1087 0 -1 4202560 219425 0 0 0 247273 206 0 0 20 0 46 0 253971000 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284242441976 140284795264144 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1303] ppid=1270 vsize=27850524 memory=2428 CPUtime=2477.1 cores=0-7 /proc/1273/task/1303/stat : 1303 (java) R 1270 1273 1087 0 -1 4202560 154273 0 0 0 247475 235 0 0 20 0 46 0 253971000 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284241391632 140284790841914 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1304] ppid=1270 vsize=27850524 memory=832 CPUtime=0.35 cores=0-7 /proc/1273/task/1304/stat : 1304 (java) S 1270 1273 1087 0 -1 1077944384 308 0 0 0 35 0 0 0 20 0 46 0 253971001 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284240344112 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1305] ppid=1270 vsize=27850524 memory=1440 CPUtime=2477.75 cores=0-7 /proc/1273/task/1305/stat : 1305 (java) R 1270 1273 1087 0 -1 4202560 207458 0 0 0 247592 183 0 0 20 0 46 0 253971001 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284239283376 140284789647105 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1306] ppid=1270 vsize=27850524 memory=1836 CPUtime=2473.46 cores=0-7 /proc/1273/task/1306/stat : 1306 (java) R 1270 1273 1087 0 -1 4202560 242085 0 0 0 247166 180 0 0 20 0 46 0 253971005 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284238230256 140284792336091 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1318] ppid=1270 vsize=27850524 memory=7532 CPUtime=0 cores=0-7 /proc/1273/task/1318/stat : 1318 (java) S 1270 1273 1087 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 46 0 254042431 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284237185968 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1319] ppid=1270 vsize=27850524 memory=792 CPUtime=0 cores=0-7 /proc/1273/task/1319/stat : 1319 (java) S 1270 1273 1087 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 46 0 254042432 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140284236134032 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1320] ppid=1270 vsize=27850524 memory=3544 CPUtime=0.01 cores=0-7 /proc/1273/task/1320/stat : 1320 (java) S 1270 1273 1087 0 -1 1077944384 899 0 0 0 0 1 0 0 20 0 46 0 254042432 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283243616016 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1321] ppid=1270 vsize=27850524 memory=67512 CPUtime=0.01 cores=0-7 /proc/1273/task/1321/stat : 1321 (java) S 1270 1273 1087 0 -1 1077944384 719 0 0 0 0 1 0 0 20 0 46 0 254042435 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283242562960 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1322] ppid=1270 vsize=27850524 memory=4096 CPUtime=0 cores=0-7 /proc/1273/task/1322/stat : 1322 (java) S 1270 1273 1087 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 254042436 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283241510320 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1323] ppid=1270 vsize=27850524 memory=1572 CPUtime=0 cores=0-7 /proc/1273/task/1323/stat : 1323 (java) S 1270 1273 1087 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 46 0 254042437 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283240457360 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1324] ppid=1270 vsize=27850524 memory=1996 CPUtime=0.01 cores=0-7 /proc/1273/task/1324/stat : 1324 (java) S 1270 1273 1087 0 -1 1077944384 163 0 0 0 0 1 0 0 20 0 46 0 254042438 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283239404816 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1325] ppid=1270 vsize=27850524 memory=2428 CPUtime=0 cores=0-7 /proc/1273/task/1325/stat : 1325 (java) S 1270 1273 1087 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 46 0 254042441 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283238351760 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1326] ppid=1270 vsize=27850524 memory=832 CPUtime=0 cores=0-7 /proc/1273/task/1326/stat : 1326 (java) S 1270 1273 1087 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 46 0 254042443 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283237299216 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1327] ppid=1270 vsize=27850524 memory=1440 CPUtime=0 cores=0-7 /proc/1273/task/1327/stat : 1327 (java) S 1270 1273 1087 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 46 0 254042449 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283236247184 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1328] ppid=1270 vsize=27850524 memory=1836 CPUtime=0 cores=0-7 /proc/1273/task/1328/stat : 1328 (java) S 1270 1273 1087 0 -1 1077944384 932 0 0 0 0 0 0 0 20 0 46 0 254042450 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283235194640 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1329] ppid=1270 vsize=27850524 memory=7532 CPUtime=0 cores=0-7 /proc/1273/task/1329/stat : 1329 (java) S 1270 1273 1087 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 254042452 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283234141584 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1330] ppid=1270 vsize=27850524 memory=792 CPUtime=0 cores=0-7 /proc/1273/task/1330/stat : 1330 (java) S 1270 1273 1087 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 46 0 254042454 28518936576 1838101 33554432000 4194304 4196468 140722757521728 140283233089040 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 Current children cumulated CPU time: 20009.6 s Current children cumulated vsize: 27850524 KiB Current children cumulated memory: 7352404 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.29 s] # the end of solver process 1273 was just reported to runsolver # cumulated CPU time of all completed processes: user=19989.1 s, system=22.351 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.21 s] /proc/loadavg: 9.05 8.84 8.83 9/224 1355 /proc/meminfo: memFree=21663816/32770624 swapFree=67030680/67108860 [pid=1273] ppid=1270 vsize=28050216 memory=7353864 CPUtime=20011.2 cores=0-7 /proc/1273/stat : 1273 (java) S 1270 1273 1087 0 -1 1077944320 2795995 0 0 0 1998890 2230 0 0 20 0 48 0 253970211 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140722757504272 140285150793463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 /proc/1273/statm: 7012554 1838466 3627 1 0 6974105 0 [pid=1273/tid=1275] ppid=1270 vsize=28050216 memory=4872558044660077418 CPUtime=7.57 cores=0-7 /proc/1273/task/1275/stat : 1275 (java) S 1270 1273 1087 0 -1 1077944384 27221 0 0 0 737 20 0 0 20 0 48 0 253970212 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140285155030928 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1276] ppid=1270 vsize=28050216 memory=752 CPUtime=20.09 cores=0-7 /proc/1273/task/1276/stat : 1276 (java) S 1270 1273 1087 0 -1 1077944384 104262 0 0 0 1943 66 0 0 20 0 48 0 253970212 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140285109554192 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1277] ppid=1270 vsize=28050216 memory=972 CPUtime=20.12 cores=0-7 /proc/1273/task/1277/stat : 1277 (java) S 1270 1273 1087 0 -1 1077944384 114724 0 0 0 1943 69 0 0 20 0 48 0 253970212 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284707490960 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1278] ppid=1270 vsize=28050216 memory=13888 CPUtime=20.11 cores=0-7 /proc/1273/task/1278/stat : 1278 (java) S 1270 1273 1087 0 -1 1077944384 109144 0 0 0 1945 66 0 0 20 0 48 0 253970212 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284706437904 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1279] ppid=1270 vsize=28050216 memory=2120 CPUtime=20.17 cores=0-7 /proc/1273/task/1279/stat : 1279 (java) S 1270 1273 1087 0 -1 1077944384 104831 0 0 0 1947 70 0 0 20 0 48 0 253970212 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284705385360 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1280] ppid=1270 vsize=28050216 memory=752 CPUtime=20.13 cores=0-7 /proc/1273/task/1280/stat : 1280 (java) S 1270 1273 1087 0 -1 1077944384 110262 0 0 0 1945 68 0 0 20 0 48 0 253970212 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284704332304 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1281] ppid=1270 vsize=28050216 memory=972 CPUtime=20.12 cores=0-7 /proc/1273/task/1281/stat : 1281 (java) S 1270 1273 1087 0 -1 1077944384 112465 0 0 0 1949 63 0 0 20 0 48 0 253970212 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284703279760 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1282] ppid=1270 vsize=28050216 memory=13888 CPUtime=20.17 cores=0-7 /proc/1273/task/1282/stat : 1282 (java) S 1270 1273 1087 0 -1 1077944384 107259 0 0 0 1949 68 0 0 20 0 48 0 253970212 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284702226704 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1283] ppid=1270 vsize=28050216 memory=2228 CPUtime=20.12 cores=0-7 /proc/1273/task/1283/stat : 1283 (java) S 1270 1273 1087 0 -1 1077944384 111119 0 0 0 1948 64 0 0 20 0 48 0 253970212 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284701174160 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1284] ppid=1270 vsize=28050216 memory=34680 CPUtime=2.33 cores=0-7 /proc/1273/task/1284/stat : 1284 (java) S 1270 1273 1087 0 -1 1077944384 89201 0 0 0 198 35 0 0 20 0 48 0 253970214 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284277979888 140285150804610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1285] ppid=1270 vsize=28050216 memory=11908 CPUtime=0 cores=0-7 /proc/1273/task/1285/stat : 1285 (java) S 1270 1273 1087 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 48 0 253970214 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284276926176 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1286] ppid=1270 vsize=28050216 memory=492 CPUtime=0 cores=0-7 /proc/1273/task/1286/stat : 1286 (java) S 1270 1273 1087 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 48 0 253970215 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284275873024 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1287] ppid=1270 vsize=28050216 memory=1560 CPUtime=0 cores=0-7 /proc/1273/task/1287/stat : 1287 (java) S 1270 1273 1087 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 48 0 253970217 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284274821584 140285150812059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1288] ppid=1270 vsize=28050216 memory=932 CPUtime=3.56 cores=0-7 /proc/1273/task/1288/stat : 1288 (java) R 1270 1273 1087 0 -1 4202560 18112 0 0 0 353 3 0 0 20 0 48 0 253970217 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284273754784 140285130486559 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1289] ppid=1270 vsize=28050216 memory=1692 CPUtime=4 cores=0-7 /proc/1273/task/1289/stat : 1289 (java) S 1270 1273 1087 0 -1 1077944384 14385 0 0 0 398 2 0 0 20 0 48 0 253970217 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284272716144 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1290] ppid=1270 vsize=28050216 memory=1156 CPUtime=3.65 cores=0-7 /proc/1273/task/1290/stat : 1290 (java) R 1270 1273 1087 0 -1 1077944384 22138 0 0 0 361 4 0 0 20 0 48 0 253970217 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284271663088 140285150804610 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1291] ppid=1270 vsize=28050216 memory=916 CPUtime=1.52 cores=0-7 /proc/1273/task/1291/stat : 1291 (java) S 1270 1273 1087 0 -1 1077944384 28170 0 0 0 148 4 0 0 20 0 48 0 253970217 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284270610544 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1292] ppid=1270 vsize=28050216 memory=4136 CPUtime=0 cores=0-7 /proc/1273/task/1292/stat : 1292 (java) S 1270 1273 1087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 253970217 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284269558752 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1293] ppid=1270 vsize=28050216 memory=301741373374332954 CPUtime=0.98 cores=0-7 /proc/1273/task/1293/stat : 1293 (java) S 1270 1273 1087 0 -1 1077944384 5998 0 0 0 55 43 0 0 20 0 48 0 253970217 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284268506288 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1294] ppid=1270 vsize=28050216 memory=288230583166042426 CPUtime=0.02 cores=0-7 /proc/1273/task/1294/stat : 1294 (java) S 1270 1273 1087 0 -1 1077944384 1746 0 0 0 0 2 0 0 20 0 48 0 253970952 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284255065120 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1295] ppid=1270 vsize=28050216 memory=16104753792812376 CPUtime=5.1 cores=0-7 /proc/1273/task/1295/stat : 1295 (java) S 1270 1273 1087 0 -1 1077944384 13071 0 0 0 249 261 0 0 20 0 48 0 253970975 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284254012720 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1296] ppid=1270 vsize=28050216 memory=5796247518231488105 CPUtime=2479.53 cores=0-7 /proc/1273/task/1296/stat : 1296 (java) R 1270 1273 1087 0 -1 1077944384 206608 0 0 0 247752 201 0 0 20 0 48 0 253970992 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284250856560 140285150803669 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1297] ppid=1270 vsize=28050216 memory=7584172172082901604 CPUtime=0.36 cores=0-7 /proc/1273/task/1297/stat : 1297 (java) S 1270 1273 1087 0 -1 1077944384 398 0 0 0 36 0 0 0 20 0 48 0 253970993 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284249810192 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1298] ppid=1270 vsize=28050216 memory=-8253362762721939848 CPUtime=2477.02 cores=0-7 /proc/1273/task/1298/stat : 1298 (java) R 1270 1273 1087 0 -1 4202560 246589 0 0 0 247500 202 0 0 20 0 48 0 253970993 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284248749248 140284800170200 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1299] ppid=1270 vsize=28050216 memory=7100839852926015589 CPUtime=2476.74 cores=0-7 /proc/1273/task/1299/stat : 1299 (java) R 1270 1273 1087 0 -1 4202560 217836 0 0 0 247467 207 0 0 20 0 48 0 253971000 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284245599104 140284798600168 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1300] ppid=1270 vsize=28050216 memory=-8412652160765825907 CPUtime=0.33 cores=0-7 /proc/1273/task/1300/stat : 1300 (java) S 1270 1273 1087 0 -1 1077944384 153 0 0 0 33 0 0 0 20 0 48 0 253971000 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284244555408 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1301] ppid=1270 vsize=28050216 memory=7897517683652307531 CPUtime=2482.84 cores=0-7 /proc/1273/task/1301/stat : 1301 (java) R 1270 1273 1087 0 -1 4202560 197480 0 0 0 248083 201 0 0 20 0 48 0 253971000 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284243494960 140284790841817 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1302] ppid=1270 vsize=28050216 memory=8514726395715349656 CPUtime=2474.97 cores=0-7 /proc/1273/task/1302/stat : 1302 (java) R 1270 1273 1087 0 -1 4202560 219426 0 0 0 247291 206 0 0 20 0 48 0 253971000 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284242441736 140284794554720 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1303] ppid=1270 vsize=28050216 memory=-8634980985311628903 CPUtime=2477.28 cores=0-7 /proc/1273/task/1303/stat : 1303 (java) S 1270 1273 1087 0 -1 1077944384 154273 0 0 0 247493 235 0 0 20 0 48 0 253971000 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284241391072 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1304] ppid=1270 vsize=28050216 memory=7100839878645619564 CPUtime=0.35 cores=0-7 /proc/1273/task/1304/stat : 1304 (java) S 1270 1273 1087 0 -1 1077944384 308 0 0 0 35 0 0 0 20 0 48 0 253971001 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284240344112 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1305] ppid=1270 vsize=28050216 memory=3047711553320166262 CPUtime=2477.92 cores=0-7 /proc/1273/task/1305/stat : 1305 (java) R 1270 1273 1087 0 -1 4202560 207458 0 0 0 247609 183 0 0 20 0 48 0 253971001 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284239283264 140284792479432 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1306] ppid=1270 vsize=28050216 memory=8514701219730523551 CPUtime=2473.64 cores=0-7 /proc/1273/task/1306/stat : 1306 (java) R 1270 1273 1087 0 -1 4202560 242086 0 0 0 247184 180 0 0 20 0 48 0 253971005 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284238232552 140284790841898 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1318] ppid=1270 vsize=28050216 memory=34680 CPUtime=0 cores=0-7 /proc/1273/task/1318/stat : 1318 (java) S 1270 1273 1087 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 48 0 254042431 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284237185968 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1319] ppid=1270 vsize=28050216 memory=11908 CPUtime=0 cores=0-7 /proc/1273/task/1319/stat : 1319 (java) S 1270 1273 1087 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 48 0 254042432 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140284236134032 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1320] ppid=1270 vsize=28050216 memory=492 CPUtime=0.01 cores=0-7 /proc/1273/task/1320/stat : 1320 (java) S 1270 1273 1087 0 -1 1077944384 921 0 0 0 0 1 0 0 20 0 48 0 254042432 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283243616016 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1321] ppid=1270 vsize=28050216 memory=1560 CPUtime=0.01 cores=0-7 /proc/1273/task/1321/stat : 1321 (java) S 1270 1273 1087 0 -1 1077944384 800 0 0 0 0 1 0 0 20 0 48 0 254042435 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283242562960 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1322] ppid=1270 vsize=28050216 memory=932 CPUtime=0 cores=0-7 /proc/1273/task/1322/stat : 1322 (java) S 1270 1273 1087 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 48 0 254042436 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283241510320 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1323] ppid=1270 vsize=28050216 memory=1692 CPUtime=0.01 cores=0-7 /proc/1273/task/1323/stat : 1323 (java) S 1270 1273 1087 0 -1 1077944384 916 0 0 0 1 0 0 0 20 0 48 0 254042437 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283240457360 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1324] ppid=1270 vsize=28050216 memory=4564 CPUtime=0.03 cores=0-7 /proc/1273/task/1324/stat : 1324 (java) S 1270 1273 1087 0 -1 1077944384 510 0 0 0 2 1 0 0 20 0 48 0 254042438 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283239400848 140285150804610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1325] ppid=1270 vsize=28050216 memory=7363180 CPUtime=0 cores=0-7 /proc/1273/task/1325/stat : 1325 (java) S 1270 1273 1087 0 -1 1077944384 389 0 0 0 0 0 0 0 20 0 48 0 254042441 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283238351760 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1326] ppid=1270 vsize=28050216 memory=4096 CPUtime=0 cores=0-7 /proc/1273/task/1326/stat : 1326 (java) S 1270 1273 1087 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 48 0 254042443 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283237299216 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1327] ppid=1270 vsize=28050216 memory=1572 CPUtime=0 cores=0-7 /proc/1273/task/1327/stat : 1327 (java) R 1270 1273 1087 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 48 0 254042449 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283236247184 140285150803669 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1328] ppid=1270 vsize=28050216 memory=1996 CPUtime=0 cores=0-7 /proc/1273/task/1328/stat : 1328 (java) S 1270 1273 1087 0 -1 1077944384 958 0 0 0 0 0 0 0 20 0 48 0 254042450 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283235194640 140285150803669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1329] ppid=1270 vsize=28050216 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/1273/task/1329/stat : 1329 (java) R 1270 1273 1087 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 48 0 254042452 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283234141584 140285150803669 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 [pid=1273/tid=1330] ppid=1270 vsize=28050216 memory=288230583166042426 CPUtime=0.02 cores=0-7 /proc/1273/task/1330/stat : 1330 (java) R 1270 1273 1087 0 -1 1077944384 623 0 0 0 1 1 0 0 20 0 48 0 254042454 28723421184 1838466 33554432000 4194304 4196468 140722757521728 140283233089040 140285150803669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140722757530702 140722757530885 140722757530885 140722757533647 0 Current children cumulated CPU time: 20011.2 s Current children cumulated vsize: 28050216 KiB Current children cumulated memory: 7353864 KiB Child status: 143 Real time (s): 2520.29 CPU time (s): 20011.5 CPU user time (s): 19989.1 CPU system time (s): 22.351 CPU usage (%): 794.016 Max. virtual memory (cumulated for all children) (KiB): 28050216 Max. memory (cumulated for all children) (KiB): 8259132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19989.1 system time used= 22.351 maximum resident set size= 8260664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2796184 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3464 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 409264 involuntary context switches= 419271 # summary of solver processes directly reported to runsolver: # pid: 1273 # total CPU time (s): 20011.5 # total CPU user time (s): 19989.1 # total CPU system time (s): 22.351 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.1618 second user time and 38.6919 second system time The end
Begin job on node102 at 2018-08-15 22:14:30 IDJOB=4309235 IDBENCH=141189 IDSOLVER=2793 FILE ID=node102/4309235-1534364070 RUNJOBID= node102-1534362980-1115 PBS_JOBID= 21038276 Free space on /tmp= 43904 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-08-opt_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309235-1534364070/watcher-4309235-1534364070 -o /tmp/evaluation-result-4309235-1534364070/solver-4309235-1534364070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1534362980-1115 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 274161834 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309235-1534364070.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9be5bd0a86f9e024d7fdf548556c4b89 RANDOM SEED=274161834 node102.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.51 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.51 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.51 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.51 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: 29024280 kB MemAvailable: 31876664 kB Buffers: 177756 kB Cached: 2944928 kB SwapCached: 51224 kB Active: 1618896 kB Inactive: 1582912 kB Active(anon): 3696 kB Inactive(anon): 135192 kB Active(file): 1615200 kB Inactive(file): 1447720 kB Unevictable: 7348 kB Mlocked: 7348 kB SwapTotal: 67108860 kB SwapFree: 67030680 kB Dirty: 35860 kB Writeback: 0 kB AnonPages: 44544 kB Mapped: 53944 kB Shmem: 57196 kB Slab: 239448 kB SReclaimable: 210600 kB SUnreclaim: 28848 kB KernelStack: 3536 kB PageTables: 4980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357008 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 43868 MiB End job on node102 at 2018-08-15 22:56:31