Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-08-17 | SAT (TO) | 10728361 | 252.091 | 242.159 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml |
MD5SUM | 5aacc3d423af8ffef3990b4c8ed069d4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 31727 |
Best CPU time to get the best result obtained on this benchmark | 252.11 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4749 |
Number of constraints | 4410 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] |
Minimum variable degree | 2 |
Maximum variable degree | 63 |
Distribution of variable degrees | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 280 |
Distribution of constraint arities | [{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4409 |
Distribution of constraint types | [{"type":"intension","count":4409},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.68/0.55 c version: 2018-08-17 0.68/0.55 c seed: 1144150249 0.68/0.55 c timeout: 252 0.68/0.55 c memlimit: 11000 0.68/0.55 c nbcore: 1 0.68/0.57 c Parsing instance... 12.40/7.35 c Parsing done, starting search... 229.45/220.20 o 11206090 229.57/220.21 o 11205990 229.57/220.21 o 11205890 229.57/220.22 o 11205888 229.57/220.23 o 11204888 229.57/220.24 o 11203888 229.57/220.25 o 11202888 229.57/220.26 o 11182888 229.57/220.26 o 11182788 229.57/220.27 o 11182786 229.57/220.28 o 11182784 229.57/220.29 o 11181884 229.78/220.32 o 11181883 229.78/220.35 o 11181882 229.78/220.37 o 11181880 230.06/220.40 o 11181782 230.06/220.41 o 11181582 230.06/220.41 o 11181580 230.06/220.43 o 11180580 230.06/220.44 o 11180478 230.06/220.46 o 11180476 230.06/220.47 o 11180474 230.06/220.47 o 11180371 230.06/220.48 o 11178674 230.06/220.49 o 11178578 230.06/220.49 o 11178576 230.06/220.49 o 11178574 230.23/220.50 o 11178374 230.23/220.50 o 11178271 230.23/220.52 o 11178171 230.23/220.53 o 11178170 230.23/220.53 o 11177970 230.23/220.53 o 11177871 230.33/220.61 o 11177869 230.33/220.69 o 11177568 230.43/220.70 o 11176566 230.43/220.70 o 11176263 230.43/220.71 o 11176261 230.43/220.72 o 11176166 230.43/220.72 o 11176165 230.43/220.73 o 11175965 230.43/220.73 o 11175866 230.84/221.14 o 11175468 230.84/221.15 o 11175368 230.84/221.15 o 11175263 230.84/221.15 o 11175262 230.84/221.16 o 11175162 230.84/221.16 o 11175067 230.84/221.17 o 11174967 230.84/221.17 o 11174767 231.43/221.74 o 11174473 231.43/221.74 o 11174471 231.43/221.75 o 11174469 231.43/221.75 o 11174281 231.43/221.76 o 11174279 231.43/221.76 o 11174275 231.43/221.76 o 11174274 231.43/221.77 o 11174273 231.43/221.77 o 11174272 231.43/221.77 o 11174271 231.43/221.78 o 11174269 231.43/221.78 o 11174267 231.53/221.89 o 11174264 231.53/221.89 o 11174262 231.72/221.90 o 11174261 231.72/221.90 o 11174162 231.72/221.91 o 11174067 231.72/221.91 o 11173869 231.72/221.92 o 11173867 232.22/222.46 o 11173369 232.22/222.46 o 11173368 232.22/222.47 o 11173268 232.22/222.47 o 11173070 232.22/222.47 o 11173068 232.22/222.48 o 11172969 232.22/222.48 o 11172874 232.22/222.50 o 11172771 232.32/222.51 o 11172769 233.18/223.31 o 11172671 233.18/223.32 o 11172669 233.28/223.45 o 11172667 235.58/225.79 o 10973684 235.58/225.79 o 10973680 235.68/225.80 o 10973679 235.68/225.80 o 10973678 235.68/225.80 o 10973676 235.68/225.81 o 10973674 235.68/225.81 o 10973672 235.68/225.81 o 10973572 235.68/225.82 o 10973571 235.68/225.83 o 10973569 235.68/225.84 o 10973469 235.68/225.84 o 10973466 235.89/226.09 o 10972866 235.89/226.09 o 10972864 235.89/226.10 o 10972664 235.89/226.10 o 10972569 235.99/226.11 o 10972566 236.68/226.89 o 10972471 236.68/226.89 o 10972469 236.78/226.90 o 10972467 246.69/236.88 o 10777673 246.69/236.89 o 10776673 246.79/236.94 o 10775776 246.79/236.94 o 10775775 246.79/236.95 o 10775773 246.79/236.96 o 10775771 246.79/236.97 o 10775770 246.90/237.09 o 10775670 246.90/237.10 o 10775668 247.00/237.11 o 10774668 247.00/237.12 o 10773567 247.00/237.12 o 10772567 247.00/237.13 o 10772467 247.00/237.14 o 10770367 247.00/237.14 o 10750367 247.40/237.50 o 10750366 247.40/237.51 o 10750365 247.50/237.65 o 10750364 247.50/237.69 o 10750363 247.70/237.85 o 10750265 247.70/237.86 o 10750264 247.70/237.89 o 10750263 248.01/238.20 o 10749766 248.10/238.20 o 10749666 248.10/238.21 o 10749466 248.10/238.22 o 10749464 248.10/238.23 o 10749364 248.10/238.24 o 10749264 248.10/238.24 o 10749263 248.10/238.25 o 10749262 248.30/238.41 o 10749261 248.30/238.43 o 10749260 248.70/238.81 o 10748260 249.01/239.15 o 10728365 249.01/239.15 o 10728363 249.01/239.16 o 10728362 249.01/239.17 o 10728361 252.02/242.11 s SATISFIABLE 252.02/242.12 v <instantiation> 252.02/242.12 v <list> 252.02/242.12 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] 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] 252.02/242.12 v </list> 252.02/242.12 v <values> 252.02/242.12 v 442 680 554 792 694 456 310 72 722 484 666 428 142 380 680 442 310 72 456 694 428 666 16 254 352 114 324 86 470 708 100 338 484 722 414 652 540 778 324 86 442 680 652 414 554 792 778 540 778 540 722 484 44 282 338 100 16 254 722 484 338 100 442 680 44 282 324 86 324 86 750 512 58 296 428 666 254 16 142 380 156 394 324 86 44 282 380 142 470 708 366 128 778 540 666 428 540 778 526 764 394 156 156 394 666 428 414 652 380 142 310 72 750 512 652 414 456 694 44 282 30 268 16 254 268 30 652 414 100 338 428 666 296 58 114 352 442 680 156 394 442 680 442 680 58 296 128 366 394 156 30 268 750 512 680 442 792 554 170 408 694 456 428 666 282 44 268 30 44 282 540 778 778 540 352 114 282 44 764 526 128 366 268 30 296 58 764 526 16 254 484 722 142 380 778 540 792 554 352 114 338 100 722 484 324 86 324 86 380 142 736 498 526 764 380 142 778 540 72 310 722 484 142 380 282 44 268 30 456 694 310 72 268 30 764 526 86 324 100 338 428 666 268 30 540 778 498 736 512 750 128 366 778 540 282 44 526 764 722 484 512 750 282 44 30 268 526 764 268 30 128 366 484 722 142 380 666 428 44 282 694 456 30 268 86 324 540 778 282 44 310 72 540 778 282 44 540 778 268 30 694 456 114 352 442 680 338 100 680 442 484 722 456 694 540 778 512 750 268 30 708 470 394 156 512 750 666 428 268 30 338 100 338 100 296 58 428 666 540 778 44 282 540 778 540 778 142 380 470 708 512 750 30 268 750 512 764 526 72 310 142 380 456 694 792 554 470 708 512 750 58 296 380 142 310 72 456 694 282 44 44 282 680 442 86 324 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 526 764 456 694 456 694 750 512 470 708 310 72 736 498 428 666 310 72 296 58 778 540 428 666 708 470 380 142 680 442 352 114 778 540 708 470 540 778 86 324 512 750 778 540 16 254 736 498 498 736 708 470 142 380 114 352 268 30 352 114 414 652 680 442 16 254 156 394 750 512 72 310 526 764 338 100 456 694 268 30 380 142 352 114 484 722 352 114 792 554 296 58 442 680 666 428 156 394 456 694 778 540 708 470 540 778 142 380 470 708 512 750 30 268 526 764 268 30 268 30 296 58 380 142 352 114 268 30 268 30 58 296 694 456 470 708 456 694 366 128 540 778 282 44 156 394 128 366 296 58 254 16 394 156 540 778 58 296 44 282 142 380 268 30 540 778 352 114 708 470 380 142 442 680 268 30 72 310 764 526 526 764 380 142 268 30 72 310 764 526 338 100 526 764 680 442 366 128 86 324 666 428 16 254 666 428 470 708 282 44 310 72 512 750 414 652 736 498 114 352 156 394 268 30 394 156 456 694 540 778 666 428 156 394 268 30 540 778 526 764 694 456 380 142 512 750 666 428 708 470 512 750 380 142 456 694 540 778 352 114 282 44 708 470 498 736 254 16 254 16 72 310 44 282 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 0 0 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 0 0 10000 10000 0 0 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 1000 0 0 1000 0 1000 0 1000 1000 1000 0 0 1000 1000 0 0 1000 0 1000 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 1000 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 0 1000 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 1000 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 1000 0 1000 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 0 1000 1000 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 0 1000 0 1000 1000 0 0 1000 0 0 0 0 1000 1000 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 1000 0 1000 1000 0 0 1000 0 0 1000 0 1000 0 0 0 1000 0 0 0 1000 0 0 1000 0 1000 0 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 1000 1000 1000 1000 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 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 1000 0 1000 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 1000 1000 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 1000 0 1000 1000 1000 1000 0 0 1000 0 1000 1000 0 1000 0 1000 0 0 1000 1000 1000 0 1000 1000 0 1000 1000 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 100 100 100 100 100 100 0 100 100 100 0 100 0 100 100 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 100 0 0 100 0 100 100 0 0 100 100 100 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 100 0 100 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 100 100 0 0 100 0 100 0 100 0 0 100 0 100 0 100 0 100 0 100 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 100 0 100 100 0 0 0 0 0 100 0 100 100 100 0 100 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 100 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 0 0 100 0 0 0 100 100 0 100 0 100 100 100 0 100 0 100 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 100 0 100 100 100 0 0 0 0 0 0 0 0 100 100 100 0 100 100 100 100 0 0 0 0 0 100 100 100 100 0 0 0 100 100 100 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 100 0 0 0 0 0 0 0 0 100 0 100 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 100 0 100 100 100 0 0 0 0 0 100 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 100 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 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 100 0 100 0 0 100 100 0 100 0 0 0 0 0 0 100 100 100 100 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 100 100 100 100 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 100 0 100 0 0 100 0 100 0 100 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 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 100 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 0 0 100 100 100 100 100 100 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 0 100 0 100 0 100 0 100 100 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 100 0 100 0 0 0 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 100 100 0 0 100 0 0 100 0 0 0 0 100 100 100 0 100 100 0 0 0 0 0 0 100 100 0 0 100 0 0 100 100 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 100 100 100 0 0 0 100 100 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 2 0 0 2 0 2 2 2 0 0 2 0 2 0 0 2 2 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 2 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 2 2 2 2 0 0 0 2 0 2 2 0 0 2 0 0 0 0 2 0 0 0 0 0 2 2 2 2 2 2 2 2 0 0 0 0 0 0 2 2 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 0 2 0 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 2 0 0 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 0 2 0 0 2 2 0 2 0 0 0 2 2 0 0 2 0 0 0 0 0 2 0 0 2 0 0 0 0 0 2 0 2 0 0 0 0 0 0 2 0 0 0 2 2 0 0 2 0 0 0 2 0 2 0 0 0 2 0 0 2 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 2 2 2 2 2 0 2 2 2 0 0 2 0 0 0 0 2 0 0 0 2 0 2 0 2 0 0 2 2 2 0 2 0 2 2 0 2 0 2 2 0 0 0 2 2 0 2 0 0 0 0 2 0 0 2 2 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 2 0 2 2 2 0 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 2 2 2 2 0 0 2 0 0 0 0 2 2 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 2 2 0 2 0 2 2 2 0 0 0 0 2 2 0 0 0 0 0 0 0 0 2 0 2 0 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 2 2 0 2 2 2 0 2 0 0 0 0 2 0 0 0 2 0 2 0 0 2 2 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 2 0 2 0 0 2 0 0 0 2 0 2 0 0 2 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 2 2 2 2 0 2 2 2 2 0 0 2 0 0 2 2 2 2 2 2 0 2 0 0 0 0 0 2 2 0 2 2 2 0 0 0 0 2 2 0 2 0 2 0 0 0 0 2 2 2 2 2 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 2 2 2 0 2 2 2 2 0 2 0 2 0 0 2 0 2 0 0 2 0 0 0 0 0 0 2 2 0 2 2 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 2 2 0 2 0 2 0 2 0 0 2 2 0 2 0 0 0 0 0 2 2 2 2 2 2 2 0 2 2 2 2 0 0 2 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 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 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 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 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 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 252.02/242.12 v </values> 252.02/242.12 v </instantiation>
OK 10728361
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 (8302 MiB free) memory of node 1: 16384 MiB (13165 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312394-1534569304/watcher-4312394-1534569304 -o /tmp/evaluation-result-4312394-1534569304/solver-4312394-1534569304 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534568568-26366 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1144150249 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312394-1534569304.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=27048, runsolver pid=27045 Current StackSize limit: 8192 KiB [startup+0.101337 s]* /proc/loadavg: 2.14 2.04 1.54 3/215 27063 /proc/meminfo: memFree=21964248/32770624 swapFree=67108500/67108860 [pid=27048] ppid=27045 vsize=14082736 memory=31180 CPUtime=0.12 cores=1,3,5,7 /proc/27048/stat : 27048 (java) S 27045 27048 22827 0 -1 1077944320 6673 0 0 0 11 1 0 0 20 0 15 0 274493554 14420721664 7795 33554432000 4194304 4196468 140736594862112 140736594844656 140378389077751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 /proc/27048/statm: 3520684 7795 3163 1 0 3482761 0 [pid=27048/tid=27050] ppid=27045 vsize=14082736 memory=-8701690554792447362 CPUtime=0.09 cores=1,3,5,7 /proc/27048/task/27050/stat : 27050 (java) R 27045 27048 22827 0 -1 4202560 4719 0 0 0 9 0 0 0 20 0 15 0 274493554 14420721664 7795 33554432000 4194304 4196468 140736594862112 140378393309312 140378373158238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27051] ppid=27045 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27051/stat : 27051 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 7795 33554432000 4194304 4196468 140736594862112 140378326678672 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27052] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27052/stat : 27052 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 7795 33554432000 4194304 4196468 140736594862112 140378325625872 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27053] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27053/stat : 27053 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 7795 33554432000 4194304 4196468 140736594862112 140378324573072 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27054] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27054/stat : 27054 (java) S 27045 27048 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 7795 33554432000 4194304 4196468 140736594862112 140378323520272 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27055] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27055/stat : 27055 (java) S 27045 27048 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493556 14420721664 7795 33554432000 4194304 4196468 140736594862112 140377931282800 140378389088898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27056] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27056/stat : 27056 (java) S 27045 27048 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274493557 14420721664 7795 33554432000 4194304 4196468 140736594862112 140377930228768 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27057] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27057/stat : 27057 (java) S 27045 27048 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274493557 14420721664 7795 33554432000 4194304 4196468 140736594862112 140377929175920 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27058] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27058/stat : 27058 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493559 14420721664 7795 33554432000 4194304 4196468 140736594862112 140377928124240 140378389096347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27059] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27059/stat : 27059 (java) S 27045 27048 22827 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 274493559 14420721664 7795 33554432000 4194304 4196468 140736594862112 140377927072624 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27060] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27060/stat : 27060 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493559 14420721664 7795 33554432000 4194304 4196468 140736594862112 140377926019824 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27061] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0.01 cores=1,3,5,7 /proc/27048/task/27061/stat : 27061 (java) S 27045 27048 22827 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 274493559 14420721664 7795 33554432000 4194304 4196468 140736594862112 140377924967024 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27062] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27062/stat : 27062 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493560 14420721664 7795 33554432000 4194304 4196468 140736594862112 140377923914464 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27063] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27063/stat : 27063 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493560 14420721664 7795 33554432000 4194304 4196468 140736594862112 140377922861744 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 31180 KiB [startup+0.211125 s]* /proc/loadavg: 2.14 2.04 1.54 6/215 27063 /proc/meminfo: memFree=21949120/32770624 swapFree=67108500/67108860 [pid=27048] ppid=27045 vsize=14082736 memory=47260 CPUtime=0.31 cores=1,3,5,7 /proc/27048/stat : 27048 (java) S 27045 27048 22827 0 -1 1077944320 10394 0 0 0 30 1 0 0 20 0 15 0 274493554 14420721664 11815 33554432000 4194304 4196468 140736594862112 140736594844656 140378389077751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 /proc/27048/statm: 3520684 11815 3403 1 0 3482761 0 [pid=27048/tid=27050] ppid=27045 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/27048/task/27050/stat : 27050 (java) R 27045 27048 22827 0 -1 4202560 8088 0 0 0 19 1 0 0 20 0 15 0 274493554 14420721664 11815 33554432000 4194304 4196468 140736594862112 140378393298304 140378389089686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27051] ppid=27045 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27051/stat : 27051 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 11815 33554432000 4194304 4196468 140736594862112 140378326678672 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27052] ppid=27045 vsize=14082736 memory=140613025292312 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27052/stat : 27052 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 11815 33554432000 4194304 4196468 140736594862112 140378325625872 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27053] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27053/stat : 27053 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 11815 33554432000 4194304 4196468 140736594862112 140378324573072 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27054] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27054/stat : 27054 (java) S 27045 27048 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 11815 33554432000 4194304 4196468 140736594862112 140378323520272 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27055] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27055/stat : 27055 (java) S 27045 27048 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274493556 14420721664 11815 33554432000 4194304 4196468 140736594862112 140377931282800 140378389088898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27056] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27056/stat : 27056 (java) S 27045 27048 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274493557 14420721664 11815 33554432000 4194304 4196468 140736594862112 140377930228768 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27057] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27057/stat : 27057 (java) S 27045 27048 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274493557 14420721664 11815 33554432000 4194304 4196468 140736594862112 140377929175920 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27058] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27058/stat : 27058 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493559 14420721664 11815 33554432000 4194304 4196468 140736594862112 140377928124240 140378389096347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27059] ppid=27045 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/27048/task/27059/stat : 27059 (java) R 27045 27048 22827 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 15 0 274493559 14420721664 11815 33554432000 4194304 4196468 140736594862112 140377927072720 140378389087957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27060] ppid=27045 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/27048/task/27060/stat : 27060 (java) R 27045 27048 22827 0 -1 4202560 218 0 0 0 2 0 0 0 20 0 15 0 274493559 14420721664 11815 33554432000 4194304 4196468 140736594862112 140377926019824 140378370595639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27061] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0.06 cores=1,3,5,7 /proc/27048/task/27061/stat : 27061 (java) R 27045 27048 22827 0 -1 4202560 313 0 0 0 6 0 0 0 20 0 15 0 274493559 14420721664 11815 33554432000 4194304 4196468 140736594862112 140377924962704 140378368095945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27062] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27062/stat : 27062 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493560 14420721664 11815 33554432000 4194304 4196468 140736594862112 140377923914464 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27063] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27063/stat : 27063 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493560 14420721664 11815 33554432000 4194304 4196468 140736594862112 140377922861744 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 47260 KiB [startup+0.310705 s]* /proc/loadavg: 2.14 2.04 1.54 3/215 27063 /proc/meminfo: memFree=21945708/32770624 swapFree=67108500/67108860 [pid=27048] ppid=27045 vsize=14082736 memory=50948 CPUtime=0.44 cores=1,3,5,7 /proc/27048/stat : 27048 (java) S 27045 27048 22827 0 -1 1077944320 10779 0 0 0 42 2 0 0 20 0 15 0 274493554 14420721664 12737 33554432000 4194304 4196468 140736594862112 140736594844656 140378389077751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 /proc/27048/statm: 3520684 12737 3414 1 0 3482761 0 [pid=27048/tid=27050] ppid=27045 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7 /proc/27048/task/27050/stat : 27050 (java) R 27045 27048 22827 0 -1 4202560 8441 0 0 0 29 1 0 0 20 0 15 0 274493554 14420721664 12737 33554432000 4194304 4196468 140736594862112 140378393289264 140378374243406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27051] ppid=27045 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27051/stat : 27051 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 12737 33554432000 4194304 4196468 140736594862112 140378326678672 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27052] ppid=27045 vsize=14082736 memory=140613025289796 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27052/stat : 27052 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 12737 33554432000 4194304 4196468 140736594862112 140378325625872 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27053] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27053/stat : 27053 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 12737 33554432000 4194304 4196468 140736594862112 140378324573072 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27054] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27054/stat : 27054 (java) S 27045 27048 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493555 14420721664 12737 33554432000 4194304 4196468 140736594862112 140378323520272 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27055] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27055/stat : 27055 (java) S 27045 27048 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274493556 14420721664 12737 33554432000 4194304 4196468 140736594862112 140377931282800 140378389088898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27056] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27056/stat : 27056 (java) S 27045 27048 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274493557 14420721664 12737 33554432000 4194304 4196468 140736594862112 140377930228768 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27057] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27057/stat : 27057 (java) S 27045 27048 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274493557 14420721664 12737 33554432000 4194304 4196468 140736594862112 140377929175920 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27058] ppid=27045 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27058/stat : 27058 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493559 14420721664 12737 33554432000 4194304 4196468 140736594862112 140377928124240 140378389096347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27059] ppid=27045 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/27048/task/27059/stat : 27059 (java) S 27045 27048 22827 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 274493559 14420721664 12737 33554432000 4194304 4196468 140736594862112 140377927072624 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27060] ppid=27045 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/27048/task/27060/stat : 27060 (java) S 27045 27048 22827 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 15 0 274493559 14420721664 12737 33554432000 4194304 4196468 140736594862112 140377926019824 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27061] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0.08 cores=1,3,5,7 /proc/27048/task/27061/stat : 27061 (java) S 27045 27048 22827 0 -1 1077944384 331 0 0 0 8 0 0 0 20 0 15 0 274493559 14420721664 12737 33554432000 4194304 4196468 140736594862112 140377924967024 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27062] ppid=27045 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27062/stat : 27062 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493560 14420721664 12737 33554432000 4194304 4196468 140736594862112 140377923914464 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27063] ppid=27045 vsize=14082736 memory=140613023848064 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27063/stat : 27063 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493560 14420721664 12737 33554432000 4194304 4196468 140736594862112 140377922861744 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 50948 KiB [startup+0.700763 s] /proc/loadavg: 2.14 2.04 1.54 3/215 27063 /proc/meminfo: memFree=21921152/32770624 swapFree=67108500/67108860 [pid=27048] ppid=27045 vsize=14084804 memory=89068 CPUtime=0.99 cores=1,3,5,7 /proc/27048/stat : 27048 (java) S 27045 27048 22827 0 -1 1077944320 17637 0 0 0 95 4 0 0 20 0 15 0 274493554 14422839296 22267 33554432000 4194304 4196468 140736594862112 140736594844656 140378389077751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 /proc/27048/statm: 3521201 22267 3493 1 0 3483273 0 [pid=27048/tid=27050] ppid=27045 vsize=14084804 memory=1752 CPUtime=0.67 cores=1,3,5,7 /proc/27048/task/27050/stat : 27050 (java) R 27045 27048 22827 0 -1 4202560 14903 0 0 0 64 3 0 0 20 0 15 0 274493554 14422839296 22267 33554432000 4194304 4196468 140736594862112 140378393301856 140378389099677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27051] ppid=27045 vsize=14084804 memory=748 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27051/stat : 27051 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14422839296 22267 33554432000 4194304 4196468 140736594862112 140378326678672 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27052] ppid=27045 vsize=14084804 memory=1820 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27052/stat : 27052 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14422839296 22267 33554432000 4194304 4196468 140736594862112 140378325625872 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27053] ppid=27045 vsize=14084804 memory=4296 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27053/stat : 27053 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493555 14422839296 22267 33554432000 4194304 4196468 140736594862112 140378324573072 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27054] ppid=27045 vsize=14084804 memory=3480 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27054/stat : 27054 (java) S 27045 27048 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274493555 14422839296 22267 33554432000 4194304 4196468 140736594862112 140378323520272 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27055] ppid=27045 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27055/stat : 27055 (java) S 27045 27048 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274493556 14422839296 22267 33554432000 4194304 4196468 140736594862112 140377931282800 140378389088898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27056] ppid=27045 vsize=14084804 memory=10212 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27056/stat : 27056 (java) S 27045 27048 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274493557 14422839296 22267 33554432000 4194304 4196468 140736594862112 140377930228768 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27057] ppid=27045 vsize=14084804 memory=1612 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27057/stat : 27057 (java) S 27045 27048 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274493557 14422839296 22267 33554432000 4194304 4196468 140736594862112 140377929175920 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27058] ppid=27045 vsize=14084804 memory=6412 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27058/stat : 27058 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493559 14422839296 22267 33554432000 4194304 4196468 140736594862112 140377928124240 140378389096347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27059] ppid=27045 vsize=14084804 memory=6297835844906604903 CPUtime=0.06 cores=1,3,5,7 /proc/27048/task/27059/stat : 27059 (java) S 27045 27048 22827 0 -1 1077944384 555 0 0 0 6 0 0 0 20 0 15 0 274493559 14422839296 22267 33554432000 4194304 4196468 140736594862112 140377927072624 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27060] ppid=27045 vsize=14084804 memory=8099279071866868840 CPUtime=0.08 cores=1,3,5,7 /proc/27048/task/27060/stat : 27060 (java) S 27045 27048 22827 0 -1 1077944384 377 0 0 0 8 0 0 0 20 0 15 0 274493559 14422839296 22267 33554432000 4194304 4196468 140736594862112 140377926019824 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27061] ppid=27045 vsize=14084804 memory=4641330296368681043 CPUtime=0.15 cores=1,3,5,7 /proc/27048/task/27061/stat : 27061 (java) S 27045 27048 22827 0 -1 1077944384 422 0 0 0 15 0 0 0 20 0 15 0 274493559 14422839296 22267 33554432000 4194304 4196468 140736594862112 140377924967024 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27062] ppid=27045 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27062/stat : 27062 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493560 14422839296 22267 33554432000 4194304 4196468 140736594862112 140377923914464 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27063] ppid=27045 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27063/stat : 27063 (java) S 27045 27048 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274493560 14422839296 22267 33554432000 4194304 4196468 140736594862112 140377922861744 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 89068 KiB [startup+1.50123 s] /proc/loadavg: 2.14 2.04 1.54 5/215 27063 /proc/meminfo: memFree=21860468/32770624 swapFree=67108500/67108860 [pid=27048] ppid=27045 vsize=14088900 memory=228260 CPUtime=3.44 cores=1,3,5,7 /proc/27048/stat : 27048 (java) S 27045 27048 22827 0 -1 1077944320 26920 0 0 0 335 9 0 0 20 0 15 0 274493554 14427033600 57057 33554432000 4194304 4196468 140736594862112 140736594844656 140378389077751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 /proc/27048/statm: 3522225 57065 3563 1 0 3484297 0 [pid=27048/tid=27050] ppid=27045 vsize=14088900 memory=0 CPUtime=1.45 cores=1,3,5,7 /proc/27048/task/27050/stat : 27050 (java) R 27045 27048 22827 0 -1 4202560 17794 0 0 0 140 5 0 0 20 0 15 0 274493554 14427033600 57065 33554432000 4194304 4196468 140736594862112 140378393313600 140378008328935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27051] ppid=27045 vsize=14088900 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27051/stat : 27051 (java) S 27045 27048 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274493555 14427033600 57065 33554432000 4194304 4196468 140736594862112 140378326678672 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27052] ppid=27045 vsize=14088900 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27052/stat : 27052 (java) S 27045 27048 22827 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 274493555 14427033600 57065 33554432000 4194304 4196468 140736594862112 140378325625872 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27053] ppid=27045 vsize=14088900 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27053/stat : 27053 (java) S 27045 27048 22827 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 274493555 14427033600 57065 33554432000 4194304 4196468 140736594862112 140378324573072 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27054] ppid=27045 vsize=14088900 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27054/stat : 27054 (java) S 27045 27048 22827 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 274493555 14427033600 57065 33554432000 4194304 4196468 140736594862112 140378323520272 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27055] ppid=27045 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27055/stat : 27055 (java) S 27045 27048 22827 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 274493556 14427033600 57065 33554432000 4194304 4196468 140736594862112 140377931282800 140378389088898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 ################ # More data... # ################ /proc/27048/task/27050/stat : 27050 (java) R 27045 27048 22827 0 -1 4202560 36041 0 0 0 16102 40 0 0 20 0 15 0 274493554 14429130752 724203 33554432000 4194304 4196468 140736594862112 140378393315400 140378010286620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27051] ppid=27045 vsize=14090948 memory=2880428 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27051/stat : 27051 (java) S 27045 27048 22827 0 -1 1077944384 3146 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 724203 33554432000 4194304 4196468 140736594862112 140378326678672 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27052] ppid=27045 vsize=14090948 memory=2880428 CPUtime=0.5 cores=1,3,5,7 /proc/27048/task/27052/stat : 27052 (java) S 27045 27048 22827 0 -1 1077944384 878 0 0 0 35 15 0 0 20 0 15 0 274493555 14429130752 724203 33554432000 4194304 4196468 140736594862112 140378325625872 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27053] ppid=27045 vsize=14090948 memory=2880428 CPUtime=0.5 cores=1,3,5,7 /proc/27048/task/27053/stat : 27053 (java) S 27045 27048 22827 0 -1 1077944384 1528 0 0 0 34 16 0 0 20 0 15 0 274493555 14429130752 724203 33554432000 4194304 4196468 140736594862112 140378324573072 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27054] ppid=27045 vsize=14090948 memory=2880428 CPUtime=0.5 cores=1,3,5,7 /proc/27048/task/27054/stat : 27054 (java) S 27045 27048 22827 0 -1 1077944384 1314 0 0 0 35 15 0 0 20 0 15 0 274493555 14429130752 724203 33554432000 4194304 4196468 140736594862112 140378323520272 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27055] ppid=27045 vsize=14090948 memory=2880428 CPUtime=0.06 cores=1,3,5,7 /proc/27048/task/27055/stat : 27055 (java) S 27045 27048 22827 0 -1 1077944384 6887 0 0 0 6 0 0 0 20 0 15 0 274493556 14429130752 724203 33554432000 4194304 4196468 140736594862112 140377931282800 140378389088898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27056] ppid=27045 vsize=14090948 memory=2880428 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27056/stat : 27056 (java) S 27045 27048 22827 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 274493557 14429130752 724203 33554432000 4194304 4196468 140736594862112 140377930228832 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27057] ppid=27045 vsize=14090948 memory=2880428 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27057/stat : 27057 (java) S 27045 27048 22827 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274493557 14429130752 724203 33554432000 4194304 4196468 140736594862112 140377929175936 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27058] ppid=27045 vsize=14090948 memory=2880428 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27058/stat : 27058 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493559 14429130752 724203 33554432000 4194304 4196468 140736594862112 140377928124240 140378389096347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27059] ppid=27045 vsize=14090948 memory=2880428 CPUtime=3.26 cores=1,3,5,7 /proc/27048/task/27059/stat : 27059 (java) S 27045 27048 22827 0 -1 1077944384 8478 0 0 0 325 1 0 0 20 0 15 0 274493559 14429130752 724203 33554432000 4194304 4196468 140736594862112 140377927072624 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27060] ppid=27045 vsize=14090948 memory=2880428 CPUtime=3.61 cores=1,3,5,7 /proc/27048/task/27060/stat : 27060 (java) S 27045 27048 22827 0 -1 1077944384 10155 0 0 0 360 1 0 0 20 0 15 0 274493559 14429130752 724203 33554432000 4194304 4196468 140736594862112 140377926019824 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27061] ppid=27045 vsize=14090948 memory=2880428 CPUtime=1.08 cores=1,3,5,7 /proc/27048/task/27061/stat : 27061 (java) S 27045 27048 22827 0 -1 1077944384 8987 0 0 0 106 2 0 0 20 0 15 0 274493559 14429130752 724203 33554432000 4194304 4196468 140736594862112 140377924967024 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27062] ppid=27045 vsize=14090948 memory=2888620 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27062/stat : 27062 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493560 14429130752 724203 33554432000 4194304 4196468 140736594862112 140377923914464 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27063] ppid=27045 vsize=14090948 memory=2880428 CPUtime=0.06 cores=1,3,5,7 /proc/27048/task/27063/stat : 27063 (java) S 27045 27048 22827 0 -1 1077944384 442 0 0 0 3 3 0 0 20 0 15 0 274493560 14429130752 724203 33554432000 4194304 4196468 140736594862112 140377922861744 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 Current children cumulated CPU time: 171.59 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 2896812 KiB [startup+222.301 s] /proc/loadavg: 1.80 1.91 1.60 3/215 27142 /proc/meminfo: memFree=20167920/32770624 swapFree=67108500/67108860 [pid=27048] ppid=27045 vsize=14090948 memory=3877604 CPUtime=232.12 cores=1,3,5,7 /proc/27048/stat : 27048 (java) S 27045 27048 22827 0 -1 1077944320 89434 0 0 0 23085 127 0 0 20 0 15 0 274493554 14429130752 969401 33554432000 4194304 4196468 140736594862112 140736594844656 140378389077751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 /proc/27048/statm: 3522737 969401 3601 1 0 3484809 0 [pid=27048/tid=27050] ppid=27045 vsize=14090948 memory=3877364 CPUtime=221.42 cores=1,3,5,7 /proc/27048/task/27050/stat : 27050 (java) R 27045 27048 22827 0 -1 4202560 42021 0 0 0 22088 54 0 0 20 0 15 0 274493554 14429130752 969401 33554432000 4194304 4196468 140736594862112 140378393312528 140378015335416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27051] ppid=27045 vsize=14090948 memory=3877364 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27051/stat : 27051 (java) S 27045 27048 22827 0 -1 1077944384 3156 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 969401 33554432000 4194304 4196468 140736594862112 140378326678672 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27052] ppid=27045 vsize=14090948 memory=3877364 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27052/stat : 27052 (java) S 27045 27048 22827 0 -1 1077944384 968 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 969401 33554432000 4194304 4196468 140736594862112 140378325625872 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27053] ppid=27045 vsize=14090948 memory=3877604 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27053/stat : 27053 (java) S 27045 27048 22827 0 -1 1077944384 1529 0 0 0 35 16 0 0 20 0 15 0 274493555 14429130752 969401 33554432000 4194304 4196468 140736594862112 140378324573072 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27054] ppid=27045 vsize=14090948 memory=3877604 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27054/stat : 27054 (java) S 27045 27048 22827 0 -1 1077944384 1314 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 969401 33554432000 4194304 4196468 140736594862112 140378323520272 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27055] ppid=27045 vsize=14090948 memory=3877364 CPUtime=0.07 cores=1,3,5,7 /proc/27048/task/27055/stat : 27055 (java) S 27045 27048 22827 0 -1 1077944384 6959 0 0 0 6 1 0 0 20 0 15 0 274493556 14429130752 969401 33554432000 4194304 4196468 140736594862112 140377931282800 140378389088898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27056] ppid=27045 vsize=14090948 memory=3877604 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27056/stat : 27056 (java) S 27045 27048 22827 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 274493557 14429130752 969401 33554432000 4194304 4196468 140736594862112 140377930228832 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27057] ppid=27045 vsize=14090948 memory=3877604 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27057/stat : 27057 (java) S 27045 27048 22827 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274493557 14429130752 969401 33554432000 4194304 4196468 140736594862112 140377929175936 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27058] ppid=27045 vsize=14090948 memory=3877364 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27058/stat : 27058 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493559 14429130752 969401 33554432000 4194304 4196468 140736594862112 140377928124240 140378389096347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27059] ppid=27045 vsize=14090948 memory=3877604 CPUtime=3.48 cores=1,3,5,7 /proc/27048/task/27059/stat : 27059 (java) S 27045 27048 22827 0 -1 1077944384 9938 0 0 0 346 2 0 0 20 0 15 0 274493559 14429130752 969401 33554432000 4194304 4196468 140736594862112 140377927072624 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27060] ppid=27045 vsize=14090948 memory=164 CPUtime=3.83 cores=1,3,5,7 /proc/27048/task/27060/stat : 27060 (java) S 27045 27048 22827 0 -1 1077944384 11559 0 0 0 382 1 0 0 20 0 15 0 274493559 14429130752 969401 33554432000 4194304 4196468 140736594862112 140377926019824 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27061] ppid=27045 vsize=14090948 memory=164 CPUtime=1.12 cores=1,3,5,7 /proc/27048/task/27061/stat : 27061 (java) S 27045 27048 22827 0 -1 1077944384 10083 0 0 0 110 2 0 0 20 0 15 0 274493559 14429130752 969401 33554432000 4194304 4196468 140736594862112 140377924967024 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27062] ppid=27045 vsize=14090948 memory=7521684726882656617 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27062/stat : 27062 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493560 14429130752 969401 33554432000 4194304 4196468 140736594862112 140377923914464 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27063] ppid=27045 vsize=14090948 memory=6860 CPUtime=0.08 cores=1,3,5,7 /proc/27048/task/27063/stat : 27063 (java) S 27045 27048 22827 0 -1 1077944384 483 0 0 0 4 4 0 0 20 0 15 0 274493560 14429130752 969401 33554432000 4194304 4196468 140736594862112 140377922861744 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 Current children cumulated CPU time: 232.12 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 3877604 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+242.11 s] /proc/loadavg: 1.85 1.91 1.60 3/215 27143 /proc/meminfo: memFree=20168280/32770624 swapFree=67108500/67108860 [pid=27048] ppid=27045 vsize=14090948 memory=3877628 CPUtime=252.02 cores=1,3,5,7 /proc/27048/stat : 27048 (java) S 27045 27048 22827 0 -1 1077944320 92460 0 0 0 25075 127 0 0 20 0 15 0 274493554 14429130752 969407 33554432000 4194304 4196468 140736594862112 140736594844656 140378389077751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 /proc/27048/statm: 3522737 969407 3601 1 0 3484809 0 [pid=27048/tid=27050] ppid=27045 vsize=14090948 memory=3877628 CPUtime=241.22 cores=1,3,5,7 /proc/27048/task/27050/stat : 27050 (java) R 27045 27048 22827 0 -1 4202560 43640 0 0 0 24068 54 0 0 20 0 15 0 274493554 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378393307104 140378010286650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27051] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27051/stat : 27051 (java) S 27045 27048 22827 0 -1 1077944384 3156 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378326678672 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27052] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27052/stat : 27052 (java) S 27045 27048 22827 0 -1 1077944384 968 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378325625872 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27053] ppid=27045 vsize=14090948 memory=3992 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27053/stat : 27053 (java) S 27045 27048 22827 0 -1 1077944384 1529 0 0 0 35 16 0 0 20 0 15 0 274493555 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378324573072 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27054] ppid=27045 vsize=14090948 memory=3877364 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27054/stat : 27054 (java) S 27045 27048 22827 0 -1 1077944384 1314 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378323520272 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27055] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0.07 cores=1,3,5,7 /proc/27048/task/27055/stat : 27055 (java) S 27045 27048 22827 0 -1 1077944384 6960 0 0 0 6 1 0 0 20 0 15 0 274493556 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377931282800 140378389088898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27056] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27056/stat : 27056 (java) S 27045 27048 22827 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 274493557 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377930228832 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27057] ppid=27045 vsize=14090948 memory=3877364 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27057/stat : 27057 (java) S 27045 27048 22827 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274493557 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377929175936 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27058] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27058/stat : 27058 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493559 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377928124240 140378389096347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27059] ppid=27045 vsize=14090948 memory=3877628 CPUtime=3.49 cores=1,3,5,7 /proc/27048/task/27059/stat : 27059 (java) S 27045 27048 22827 0 -1 1077944384 9945 0 0 0 347 2 0 0 20 0 15 0 274493559 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377927072624 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27060] ppid=27045 vsize=14090948 memory=3877628 CPUtime=3.9 cores=1,3,5,7 /proc/27048/task/27060/stat : 27060 (java) S 27045 27048 22827 0 -1 1077944384 11607 0 0 0 389 1 0 0 20 0 15 0 274493559 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377926019824 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27061] ppid=27045 vsize=14090948 memory=3816 CPUtime=1.14 cores=1,3,5,7 /proc/27048/task/27061/stat : 27061 (java) S 27045 27048 22827 0 -1 1077944384 11434 0 0 0 112 2 0 0 20 0 15 0 274493559 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377924967024 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27062] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27062/stat : 27062 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493560 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377923914464 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27063] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0.09 cores=1,3,5,7 /proc/27048/task/27063/stat : 27063 (java) S 27045 27048 22827 0 -1 1077944384 483 0 0 0 5 4 0 0 20 0 15 0 274493560 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377922861744 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 Current children cumulated CPU time: 252.02 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 3877628 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+242.159 s] # the end of solver process 27048 was just reported to runsolver # cumulated CPU time of all completed processes: user=250.789 s, system=1.30202 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+242.11 s] /proc/loadavg: 1.85 1.91 1.60 3/215 27143 /proc/meminfo: memFree=20168280/32770624 swapFree=67108500/67108860 [pid=27048] ppid=27045 vsize=14090948 memory=3877628 CPUtime=252.02 cores=1,3,5,7 /proc/27048/stat : 27048 (java) S 27045 27048 22827 0 -1 1077944320 92460 0 0 0 25075 127 0 0 20 0 15 0 274493554 14429130752 969407 33554432000 4194304 4196468 140736594862112 140736594844656 140378389077751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 /proc/27048/statm: 3522737 969407 3601 1 0 3484809 0 [pid=27048/tid=27050] ppid=27045 vsize=14090948 memory=3877628 CPUtime=241.22 cores=1,3,5,7 /proc/27048/task/27050/stat : 27050 (java) R 27045 27048 22827 0 -1 4202560 43640 0 0 0 24068 54 0 0 20 0 15 0 274493554 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378393307104 140378010286650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27051] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27051/stat : 27051 (java) S 27045 27048 22827 0 -1 1077944384 3156 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378326678672 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27052] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27052/stat : 27052 (java) S 27045 27048 22827 0 -1 1077944384 968 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378325625872 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27053] ppid=27045 vsize=14090948 memory=3992 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27053/stat : 27053 (java) S 27045 27048 22827 0 -1 1077944384 1529 0 0 0 35 16 0 0 20 0 15 0 274493555 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378324573072 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27054] ppid=27045 vsize=14090948 memory=3877364 CPUtime=0.51 cores=1,3,5,7 /proc/27048/task/27054/stat : 27054 (java) S 27045 27048 22827 0 -1 1077944384 1314 0 0 0 36 15 0 0 20 0 15 0 274493555 14429130752 969407 33554432000 4194304 4196468 140736594862112 140378323520272 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27055] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0.07 cores=1,3,5,7 /proc/27048/task/27055/stat : 27055 (java) S 27045 27048 22827 0 -1 1077944384 6960 0 0 0 6 1 0 0 20 0 15 0 274493556 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377931282800 140378389088898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27056] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27056/stat : 27056 (java) S 27045 27048 22827 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 274493557 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377930228832 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27057] ppid=27045 vsize=14090948 memory=3877364 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27057/stat : 27057 (java) S 27045 27048 22827 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274493557 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377929175936 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27058] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27058/stat : 27058 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493559 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377928124240 140378389096347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27059] ppid=27045 vsize=14090948 memory=3877628 CPUtime=3.49 cores=1,3,5,7 /proc/27048/task/27059/stat : 27059 (java) S 27045 27048 22827 0 -1 1077944384 9945 0 0 0 347 2 0 0 20 0 15 0 274493559 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377927072624 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27060] ppid=27045 vsize=14090948 memory=3877628 CPUtime=3.9 cores=1,3,5,7 /proc/27048/task/27060/stat : 27060 (java) S 27045 27048 22827 0 -1 1077944384 11607 0 0 0 389 1 0 0 20 0 15 0 274493559 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377926019824 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27061] ppid=27045 vsize=14090948 memory=3816 CPUtime=1.14 cores=1,3,5,7 /proc/27048/task/27061/stat : 27061 (java) S 27045 27048 22827 0 -1 1077944384 11434 0 0 0 112 2 0 0 20 0 15 0 274493559 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377924967024 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27062] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0 cores=1,3,5,7 /proc/27048/task/27062/stat : 27062 (java) S 27045 27048 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274493560 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377923914464 140378389087957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 [pid=27048/tid=27063] ppid=27045 vsize=14090948 memory=3877628 CPUtime=0.09 cores=1,3,5,7 /proc/27048/task/27063/stat : 27063 (java) S 27045 27048 22827 0 -1 1077944384 483 0 0 0 5 4 0 0 20 0 15 0 274493560 14429130752 969407 33554432000 4194304 4196468 140736594862112 140377922861744 140378389088898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 27021312 140736594863182 140736594863374 140736594863374 140736594866127 0 Current children cumulated CPU time: 252.02 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 3877628 KiB Child status: 143 Real time (s): 242.159 CPU time (s): 252.091 CPU user time (s): 250.789 CPU system time (s): 1.30202 CPU usage (%): 104.101 Max. virtual memory (cumulated for all children) (KiB): 14090948 Max. memory (cumulated for all children) (KiB): 3877628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 250.789 system time used= 1.30202 maximum resident set size= 3878424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92710 page faults= 0 swaps= 0 block input operations= 0 block output operations= 352 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9193 involuntary context switches= 166 # summary of solver processes directly reported to runsolver: # pid: 27048 # total CPU time (s): 252.091 # total CPU user time (s): 250.789 # total CPU system time (s): 1.30202 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.53226 second user time and 2.24879 second system time The end
Begin job on node104 at 2018-08-18 07:15:04 IDJOB=4312394 IDBENCH=141202 IDSOLVER=2800 FILE ID=node104/4312394-1534569304 RUNJOBID= node104-1534568568-26366 PBS_JOBID= 21038643 Free space on /tmp= 47320 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-10-opt_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312394-1534569304/watcher-4312394-1534569304 -o /tmp/evaluation-result-4312394-1534569304/solver-4312394-1534569304 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534568568-26366 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1144150249 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312394-1534569304.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5aacc3d423af8ffef3990b4c8ed069d4 RANDOM SEED=1144150249 node104.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.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21983052 kB MemAvailable: 29670140 kB Buffers: 216960 kB Cached: 7719336 kB SwapCached: 4 kB Active: 6313516 kB Inactive: 3891176 kB Active(anon): 2244484 kB Inactive(anon): 92888 kB Active(file): 4069032 kB Inactive(file): 3798288 kB Unevictable: 7320 kB Mlocked: 7320 kB SwapTotal: 67108860 kB SwapFree: 67108500 kB Dirty: 35852 kB Writeback: 0 kB AnonPages: 2355768 kB Mapped: 32552 kB Shmem: 66020 kB Slab: 277468 kB SReclaimable: 248228 kB SUnreclaim: 29240 kB KernelStack: 3792 kB PageTables: 9812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4313748 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2199552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 47284 MiB End job on node104 at 2018-08-18 07:19:06