Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
slowpoke 2018-04-29 | SAT (TO) | 2513863 | 2520.16 | 2471.38 |
Name | Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-10-opt_c18.xml |
MD5SUM | d97bf760713e7741c92fd1268dd09e15 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 647980 |
Best CPU time to get the best result obtained on this benchmark | 2520.14 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4749 |
Number of constraints | 4689 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] |
Minimum variable degree | 2 |
Maximum variable degree | 63 |
Distribution of variable degrees | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":1,"count":280},{"arity":2,"count":646},{"arity":3,"count":3763}] |
Number of extensional constraints | 4409 |
Number of intensional constraints | 280 |
Distribution of constraint types | [{"type":"extension","count":4409},{"type":"intension","count":280}] |
Optimization problem | YES |
Type of objective | min SUM |
0.12/0.13 c version: 2018-04-11 0.12/0.13 c seed: 1811631 0.12/0.13 c timeout: 2520 0.12/0.13 c memlimit: -1 0.12/0.13 c nbcore: -1 99.02/56.75 o 3675073 99.02/56.76 o 3674873 99.20/56.83 o 3674673 101.38/58.61 o 3474673 102.69/59.92 o 3454673 104.20/61.46 o 3434673 104.20/61.49 o 3414674 104.33/61.52 o 3394675 104.33/61.58 o 3194675 104.65/61.71 o 2994676 104.85/61.89 o 2794676 105.05/62.08 o 2774676 108.66/65.52 o 2774477 108.76/65.66 o 2754475 110.66/67.51 o 2734676 110.66/67.53 o 2734675 110.66/67.53 o 2734475 110.76/67.63 o 2714679 110.86/67.72 o 2714477 114.46/71.37 o 2714277 114.56/71.41 o 2714077 114.56/71.44 o 2713877 114.87/71.77 o 2713876 115.07/71.91 o 2513876 118.61/75.49 o 2513868 118.91/75.70 o 2513867 118.91/75.72 o 2513865 118.91/75.76 o 2513863 2520.06/2471.30 s SATISFIABLE 2520.06/2471.31 v <instantiation> 2520.06/2471.31 v <list> 2520.06/2471.31 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] 2520.06/2471.31 v </list> 2520.06/2471.31 v <values> 2520.06/2471.31 v 442 680 554 792 694 456 254 16 324 86 512 750 512 750 680 442 310 72 540 778 414 652 16 254 254 16 666 428 86 324 100 338 484 722 414 652 540 778 414 652 442 680 352 114 554 792 498 736 156 394 722 484 44 282 338 100 16 254 722 484 338 100 792 554 44 282 414 652 324 86 750 512 58 296 526 764 296 58 142 380 156 394 352 114 44 282 380 142 470 708 366 128 778 540 498 736 114 352 526 764 324 86 708 470 540 778 414 652 778 540 366 128 750 512 778 540 456 694 44 282 30 268 16 254 282 44 652 414 254 16 428 666 296 58 352 114 442 680 156 394 442 680 442 680 58 296 100 338 394 156 44 282 750 512 44 282 792 554 170 408 58 296 428 666 484 722 268 30 554 792 414 652 44 282 352 114 652 414 86 324 128 366 470 708 296 58 736 498 352 114 414 652 142 380 16 254 792 554 352 114 352 114 778 540 428 666 366 128 100 338 428 666 526 764 526 764 142 380 30 268 722 484 142 380 30 268 680 442 456 694 764 526 268 30 764 526 86 324 680 442 428 666 694 456 540 778 296 58 540 778 526 764 778 540 380 142 30 268 442 680 16 254 282 44 30 268 282 44 282 44 680 442 380 142 442 680 764 526 44 282 694 456 30 268 86 324 722 484 282 44 526 764 540 778 470 708 114 352 268 30 694 456 100 338 30 268 268 30 764 526 254 16 442 680 540 778 512 750 296 58 708 470 128 366 666 428 666 428 30 268 456 694 338 100 30 268 428 666 540 778 44 282 694 456 540 778 142 380 470 708 736 498 352 114 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 540 778 380 142 310 72 456 694 282 44 268 30 456 694 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 778 540 86 324 58 296 750 512 708 470 736 498 736 498 428 666 394 156 296 58 30 268 366 128 750 512 526 764 680 442 352 114 778 540 708 470 666 428 86 324 268 30 778 540 128 366 736 498 498 736 540 778 142 380 526 764 268 30 352 114 414 652 16 254 16 254 156 394 750 512 128 366 736 498 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 394 156 512 750 380 142 722 484 554 792 58 296 142 380 722 484 128 366 442 680 526 764 268 30 484 722 296 58 526 764 352 114 268 30 268 30 526 764 694 456 456 694 456 694 366 128 58 296 680 442 470 708 128 366 30 268 652 414 394 156 540 778 366 128 100 338 142 380 268 30 428 666 352 114 708 470 380 142 442 680 128 366 72 310 764 526 324 86 268 30 666 428 58 296 484 722 338 100 540 778 680 442 366 128 764 526 414 652 16 254 666 428 114 352 512 750 310 72 512 750 254 16 736 498 114 352 156 394 666 428 254 16 100 338 30 268 30 268 414 652 30 268 324 86 428 666 750 512 764 526 30 268 666 428 268 30 268 30 666 428 128 366 86 324 512 750 366 128 722 484 254 16 114 352 254 16 72 310 100 338 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 0 0 100000 100000 0 0 100000 100000 0 0 100000 100000 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 100000 100000 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 10000 10000 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 0 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 2 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 2 2 2 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 2 0 0 0 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2520.06/2471.31 v </values> 2520.06/2471.31 v </instantiation>
OK 2513863
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 (8451 MiB free) memory of node 1: 16384 MiB (9474 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298304-1532753527/watcher-4298304-1532753527 -o /tmp/evaluation-result-4298304-1532753527/solver-4298304-1532753527 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532740995-7594 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298304-1532753527.xml --timelimit 2520 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=9026, runsolver pid=9023 [startup+0.100127 s]* /proc/loadavg: 1.94 1.97 2.02 4/216 9041 /proc/meminfo: memFree=18340036/32770624 swapFree=67108860/67108860 [pid=9026] ppid=9023 vsize=10661056 memory=27704 CPUtime=0.12 cores=0,2,4,6 /proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 5274 0 0 0 11 1 0 0 20 0 15 0 92915876 10916921344 6926 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 /proc/9026/statm: 2665264 6926 2868 1 0 2627263 0 [pid=9026/tid=9028] ppid=9023 vsize=10661056 memory=-8682196205106459840 CPUtime=0.09 cores=0,2,4,6 /proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 3139 0 0 0 8 1 0 0 20 0 15 0 92915876 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358921898736 140358917688726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9029] ppid=9023 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9030] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9031] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9032] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9033] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9034] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358475772704 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9035] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9036] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9037] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9037/stat : 9037 (java) R 9023 9026 7563 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9038] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9039] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0.02 cores=0,2,4,6 /proc/9026/task/9039/stat : 9039 (java) R 9023 9026 7563 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 15 0 92915881 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358470511472 140358917698138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9040] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9041] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 10661056 KiB Current children cumulated memory: 27704 KiB [startup+0.210559 s]* /proc/loadavg: 1.94 1.97 2.02 4/216 9041 /proc/meminfo: memFree=18328608/32770624 swapFree=67108860/67108860 [pid=9026] ppid=9023 vsize=10661056 memory=39944 CPUtime=0.34 cores=0,2,4,6 /proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 8060 0 0 0 32 2 0 0 20 0 15 0 92915876 10916921344 9986 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 /proc/9026/statm: 2665264 9986 2966 1 0 2627263 0 [pid=9026/tid=9028] ppid=9023 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 5114 0 0 0 19 1 0 0 20 0 15 0 92915876 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358921913008 140358917698717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9029] ppid=9023 vsize=10661056 memory=343 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9030] ppid=9023 vsize=10661056 memory=140540769675887 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9031] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9032] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9033] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9034] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358475772704 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9035] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9036] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9037] ppid=9023 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/9026/task/9037/stat : 9037 (java) R 9023 9026 7563 0 -1 4202560 397 0 0 0 2 0 0 0 20 0 15 0 92915881 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358472608208 140358903700535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9038] ppid=9023 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/9026/task/9038/stat : 9038 (java) R 9023 9026 7563 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 92915881 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358471563856 140358917686997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9039] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0.08 cores=0,2,4,6 /proc/9026/task/9039/stat : 9039 (java) R 9023 9026 7563 0 -1 4202560 803 0 0 0 8 0 0 0 20 0 15 0 92915881 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358470511472 140358901757278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9040] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9041] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 10661056 KiB Current children cumulated memory: 39944 KiB [startup+0.313878 s]* /proc/loadavg: 1.94 1.97 2.02 5/216 9041 /proc/meminfo: memFree=18286228/32770624 swapFree=67108860/67108860 [pid=9026] ppid=9023 vsize=10661056 memory=83716 CPUtime=0.66 cores=0,2,4,6 /proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 10295 0 0 0 63 3 0 0 20 0 15 0 92915876 10916921344 20929 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 /proc/9026/statm: 2665264 20929 3048 1 0 2627263 0 [pid=9026/tid=9028] ppid=9023 vsize=10661056 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6 /proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 5179 0 0 0 28 2 0 0 20 0 15 0 92915876 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358921899584 140358901757278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9029] ppid=9023 vsize=10661056 memory=304556153357205527 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9030] ppid=9023 vsize=10661056 memory=15395406551385752 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9031] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9032] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9033] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9034] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358475772704 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9035] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9036] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9037] ppid=9023 vsize=10661056 memory=0 CPUtime=0.11 cores=0,2,4,6 /proc/9026/task/9037/stat : 9037 (java) R 9023 9026 7563 0 -1 4202560 1231 0 0 0 11 0 0 0 20 0 15 0 92915881 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358472602584 140358899221404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9038] ppid=9023 vsize=10661056 memory=-1 CPUtime=0.11 cores=0,2,4,6 /proc/9026/task/9038/stat : 9038 (java) R 9023 9026 7563 0 -1 4202560 1421 0 0 0 11 0 0 0 20 0 15 0 92915881 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358471549896 140358896069056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9039] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0.12 cores=0,2,4,6 /proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 1123 0 0 0 12 0 0 0 20 0 15 0 92915881 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9040] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9041] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 Current children cumulated CPU time: 0.66 s Current children cumulated vsize: 10661056 KiB Current children cumulated memory: 83716 KiB [startup+0.700876 s] /proc/loadavg: 1.94 1.97 2.02 5/216 9041 /proc/meminfo: memFree=18255832/32770624 swapFree=67108860/67108860 [pid=9026] ppid=9023 vsize=10661132 memory=217216 CPUtime=1.94 cores=0,2,4,6 /proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 12105 0 0 0 186 8 0 0 20 0 15 0 92915876 10916999168 54304 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 /proc/9026/statm: 2665283 54304 3120 1 0 2627263 0 [pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=1728 CPUtime=0.65 cores=0,2,4,6 /proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 5538 0 0 0 61 4 0 0 20 0 15 0 92915876 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358921912936 140358544689512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=796 CPUtime=0.01 cores=0,2,4,6 /proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 92915877 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=1012 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 92915877 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=1228 CPUtime=0.01 cores=0,2,4,6 /proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 92915877 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=1712 CPUtime=0.01 cores=0,2,4,6 /proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 92915877 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=9996 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=5792 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358475772704 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=1936 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=1196 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=6945208482816681536 CPUtime=0.45 cores=0,2,4,6 /proc/9026/task/9037/stat : 9037 (java) R 9023 9026 7563 0 -1 4202560 1720 0 0 0 45 0 0 0 20 0 15 0 92915881 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358472601392 140358902842337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=7811323491934034026 CPUtime=0.47 cores=0,2,4,6 /proc/9026/task/9038/stat : 9038 (java) R 9023 9026 7563 0 -1 4202560 1873 0 0 0 47 0 0 0 20 0 15 0 92915881 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358471555088 140358897066042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=5787213827113576551 CPUtime=0.26 cores=0,2,4,6 /proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 1433 0 0 0 26 0 0 0 20 0 15 0 92915881 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=31396 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 Current children cumulated CPU time: 1.94 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 217216 KiB [startup+1.50077 s] /proc/loadavg: 1.94 1.97 2.02 3/216 9041 /proc/meminfo: memFree=18066004/32770624 swapFree=67108860/67108860 [pid=9026] ppid=9023 vsize=10661132 memory=418020 CPUtime=3.54 cores=0,2,4,6 /proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 13480 0 0 0 331 23 0 0 20 0 15 0 92915876 10916999168 104505 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 /proc/9026/statm: 2665283 104505 3137 1 0 2627263 0 [pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=0 CPUtime=1.38 cores=0,2,4,6 /proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 5608 0 0 0 132 6 0 0 20 0 15 0 92915876 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358921911728 140358544493952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=-8754540793456063680 CPUtime=0.08 cores=0,2,4,6 /proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 118 0 0 0 5 3 0 0 20 0 15 0 92915877 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=-2843869621055772062 CPUtime=0.07 cores=0,2,4,6 /proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 288 0 0 0 4 3 0 0 20 0 15 0 92915877 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=5450919713671312938 CPUtime=0.08 cores=0,2,4,6 /proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 182 0 0 0 5 3 0 0 20 0 15 0 92915877 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=7005738693937936738 CPUtime=0.08 cores=0,2,4,6 /proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 213 0 0 0 5 3 0 0 20 0 15 0 92915877 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 ################ # More data... # ################ /proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 2213414 0 0 0 230335 293 0 0 20 0 15 0 92915876 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358921917696 140358548853198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=8514701219730523551 CPUtime=13.83 cores=0,2,4,6 /proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 257791 0 0 0 1236 147 0 0 20 0 15 0 92915877 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=6155693240904344676 CPUtime=13.82 cores=0,2,4,6 /proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 254262 0 0 0 1244 138 0 0 20 0 15 0 92915877 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=7809636926644644451 CPUtime=13.72 cores=0,2,4,6 /proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 226136 0 0 0 1229 143 0 0 20 0 15 0 92915877 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=7956290891715858770 CPUtime=13.82 cores=0,2,4,6 /proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 262731 0 0 0 1242 140 0 0 20 0 15 0 92915877 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=288230574492221466 CPUtime=2.13 cores=0,2,4,6 /proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 22059 0 0 0 205 8 0 0 20 0 15 0 92915879 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=288230583166042425 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358475772768 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=15824378344507954 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=3244 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=3808304 CPUtime=2.85 cores=0,2,4,6 /proc/9026/task/9037/stat : 9037 (java) S 9023 9026 7563 0 -1 1077944384 9776 0 0 0 283 2 0 0 20 0 15 0 92915881 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=1408 CPUtime=2.45 cores=0,2,4,6 /proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 10793 0 0 0 243 2 0 0 20 0 15 0 92915881 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=3196 CPUtime=0.73 cores=0,2,4,6 /proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 6221 0 0 0 72 1 0 0 20 0 15 0 92915881 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=5548380 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=4100 CPUtime=1.05 cores=0,2,4,6 /proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1881 0 0 0 57 48 0 0 20 0 15 0 92915882 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 Current children cumulated CPU time: 2370.78 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 5548380 KiB [startup+2382.3 s] /proc/loadavg: 2.06 2.04 2.05 3/216 9140 /proc/meminfo: memFree=11157464/32770624 swapFree=67108860/67108860 [pid=9026] ppid=9023 vsize=10661132 memory=5505288 CPUtime=2430.91 cores=0,2,4,6 /proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 3329422 0 0 0 242163 928 0 0 20 0 15 0 92915876 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 /proc/9026/statm: 2665283 1376322 3199 1 0 2627263 0 [pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=15824378344507954 CPUtime=2366.25 cores=0,2,4,6 /proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 2262280 0 0 0 236325 300 0 0 20 0 15 0 92915876 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358921917696 140358549220467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=644 CPUtime=13.86 cores=0,2,4,6 /proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 260970 0 0 0 1239 147 0 0 20 0 15 0 92915877 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=1792 CPUtime=13.86 cores=0,2,4,6 /proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 257097 0 0 0 1247 139 0 0 20 0 15 0 92915877 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=960 CPUtime=13.75 cores=0,2,4,6 /proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 230153 0 0 0 1232 143 0 0 20 0 15 0 92915877 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=1232 CPUtime=13.86 cores=0,2,4,6 /proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 266524 0 0 0 1245 141 0 0 20 0 15 0 92915877 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=2344 CPUtime=2.13 cores=0,2,4,6 /proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 22287 0 0 0 205 8 0 0 20 0 15 0 92915879 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=928 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358475772768 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=1580 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=2240 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=4128 CPUtime=2.85 cores=0,2,4,6 /proc/9026/task/9037/stat : 9037 (java) S 9023 9026 7563 0 -1 1077944384 9782 0 0 0 283 2 0 0 20 0 15 0 92915881 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=2200 CPUtime=2.45 cores=0,2,4,6 /proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 10796 0 0 0 243 2 0 0 20 0 15 0 92915881 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=7528 CPUtime=0.73 cores=0,2,4,6 /proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 6226 0 0 0 72 1 0 0 20 0 15 0 92915881 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=288230574492221466 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=288230583166042425 CPUtime=1.08 cores=0,2,4,6 /proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1912 0 0 0 59 49 0 0 20 0 15 0 92915882 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 Current children cumulated CPU time: 2430.91 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 5505288 KiB [startup+2442.3 s] /proc/loadavg: 1.94 2.02 2.04 3/216 9141 /proc/meminfo: memFree=11248540/32770624 swapFree=67108860/67108860 [pid=9026] ppid=9023 vsize=10661132 memory=5466812 CPUtime=2491.05 cores=0,2,4,6 /proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 3394297 0 0 0 248169 936 0 0 20 0 15 0 92915876 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 /proc/9026/statm: 2665283 1366703 3199 1 0 2627263 0 [pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=288230583166042425 CPUtime=2426.22 cores=0,2,4,6 /proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 2312973 0 0 0 242316 306 0 0 20 0 15 0 92915876 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358921917696 140358548853200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=15824378344507954 CPUtime=13.9 cores=0,2,4,6 /proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 263998 0 0 0 1242 148 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=5792 CPUtime=13.89 cores=0,2,4,6 /proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 260211 0 0 0 1250 139 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=1936 CPUtime=13.78 cores=0,2,4,6 /proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 234000 0 0 0 1234 144 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=796 CPUtime=13.89 cores=0,2,4,6 /proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 270399 0 0 0 1248 141 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=1012 CPUtime=2.13 cores=0,2,4,6 /proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 22520 0 0 0 205 8 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358475772768 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=1712 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=9996 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=5792 CPUtime=2.85 cores=0,2,4,6 /proc/9026/task/9037/stat : 9037 (java) S 9023 9026 7563 0 -1 1077944384 9795 0 0 0 283 2 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=1936 CPUtime=2.45 cores=0,2,4,6 /proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 10802 0 0 0 243 2 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=1196 CPUtime=0.73 cores=0,2,4,6 /proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 6235 0 0 0 72 1 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=8540 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=644 CPUtime=1.12 cores=0,2,4,6 /proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1969 0 0 0 61 51 0 0 20 0 15 0 92915882 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 Current children cumulated CPU time: 2491.05 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 5466812 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2471.3 s] /proc/loadavg: 2.04 2.03 2.05 3/216 9218 /proc/meminfo: memFree=14647780/32770624 swapFree=67108860/67108860 [pid=9026] ppid=9023 vsize=10661132 memory=5466812 CPUtime=2520.06 cores=0,2,4,6 /proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 3440286 0 0 0 251065 941 0 0 20 0 15 0 92915876 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 /proc/9026/statm: 2665283 1366703 3199 1 0 2627263 0 [pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=4136 CPUtime=2455.22 cores=0,2,4,6 /proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 2358958 0 0 0 245212 310 0 0 20 0 15 0 92915876 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358921917696 140358549247171 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=27116 CPUtime=13.9 cores=0,2,4,6 /proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 263998 0 0 0 1242 148 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=5466812 CPUtime=13.89 cores=0,2,4,6 /proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 260211 0 0 0 1250 139 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=5466812 CPUtime=13.78 cores=0,2,4,6 /proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 234000 0 0 0 1234 144 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=1196 CPUtime=13.89 cores=0,2,4,6 /proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 270399 0 0 0 1248 141 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=8540 CPUtime=2.13 cores=0,2,4,6 /proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 22520 0 0 0 205 8 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358475772768 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=1728 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=5466812 CPUtime=2.85 cores=0,2,4,6 /proc/9026/task/9037/stat : 9037 (java) S 9023 9026 7563 0 -1 1077944384 9795 0 0 0 283 2 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=916 CPUtime=2.45 cores=0,2,4,6 /proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 10802 0 0 0 243 2 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=3852 CPUtime=0.73 cores=0,2,4,6 /proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 6235 0 0 0 72 1 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=2792 CPUtime=0 cores=0,2,4,6 /proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 [pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=2592 CPUtime=1.13 cores=0,2,4,6 /proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1973 0 0 0 62 51 0 0 20 0 15 0 92915882 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0 Current children cumulated CPU time: 2520.06 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 5466812 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2471.38 s] # the end of solver process 9026 was just reported to runsolver # cumulated CPU time of all completed processes: user=2510.68 s, system=9.47547 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2471.38 CPU time (s): 2520.16 CPU user time (s): 2510.68 CPU system time (s): 9.47547 CPU usage (%): 101.974 Max. virtual memory (cumulated for all children) (KiB): 10661132 Max. memory (cumulated for all children) (KiB): 6747340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2510.68 system time used= 9.47547 maximum resident set size= 6747780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3441866 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2088 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60974 involuntary context switches= 2417 # summary of solver processes directly reported to runsolver: # pid: 9026 # total CPU time (s): 2520.16 # total CPU user time (s): 2510.68 # total CPU system time (s): 9.47547 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.7979 second user time and 25.6629 second system time The end
Begin job on node105 at 2018-07-28 06:52:07 IDJOB=4298304 IDBENCH=141098 IDSOLVER=2765 FILE ID=node105/4298304-1532753527 RUNJOBID= node105-1532740995-7594 PBS_JOBID= 21022450 Free space on /tmp= 44592 MiB SOLVER NAME= slowpoke 2018-04-29 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-scen-10-opt_c18.xml COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME --timelimit TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298304-1532753527/watcher-4298304-1532753527 -o /tmp/evaluation-result-4298304-1532753527/solver-4298304-1532753527 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532740995-7594 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298304-1532753527.xml --timelimit 2520 TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d97bf760713e7741c92fd1268dd09e15 RANDOM SEED=678967585 node105.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.32 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.32 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.32 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.32 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: 18356320 kB MemAvailable: 29821156 kB Buffers: 265804 kB Cached: 11339308 kB SwapCached: 0 kB Active: 4515448 kB Inactive: 9249736 kB Active(anon): 2114828 kB Inactive(anon): 73352 kB Active(file): 2400620 kB Inactive(file): 9176384 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 16732 kB Writeback: 0 kB AnonPages: 2167616 kB Mapped: 54580 kB Shmem: 25228 kB Slab: 343876 kB SReclaimable: 316292 kB SUnreclaim: 27584 kB KernelStack: 3536 kB PageTables: 9424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4814744 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1509376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44604 MiB End job on node105 at 2018-07-28 07:33:19