Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - ALNS 2017-06-30 | SAT (TO) | 213 | 2400.16 | 2293.65 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml |
MD5SUM | 4f6b0364d1c2702efbd3acc25cc5ef4e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 199 |
Best CPU time to get the best result obtained on this benchmark | 2400.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4704 |
Number of constraints | 246 |
Number of domains | 20 |
Minimum domain size | 2 |
Maximum domain size | 160 |
Distribution of domain sizes | [{"size":2,"count":224},{"size":8,"count":224},{"size":12,"count":224},{"size":36,"count":448},{"size":42,"count":224},{"size":75,"count":224},{"size":79,"count":224},{"size":93,"count":224},{"size":110,"count":224},{"size":117,"count":224},{"size":121,"count":224},{"size":123,"count":224},{"size":126,"count":224},{"size":139,"count":224},{"size":141,"count":224},{"size":142,"count":224},{"size":149,"count":224},{"size":153,"count":224},{"size":158,"count":224},{"size":160,"count":224}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":4704}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 4480 |
Distribution of constraint arities | [{"arity":21,"count":224},{"arity":224,"count":21},{"arity":4480,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":244}] |
Optimization problem | YES |
Type of objective | min SUM |
0.26/0.30 c version: 2017-06-30 0.42/0.30 c seed: 722144305 0.42/0.30 c timeout: 2400 0.42/0.30 c memlimit: 15500 0.42/0.30 c nbcore: 8 0.42/0.32 c Parsing instance... 2.50/1.06 c Parsing done, starting search... 9.22/3.69 o 224 29.27/20.65 o 223 633.52/607.05 o 222 801.95/766.28 o 221 911.43/869.60 o 220 919.77/877.48 o 219 1331.34/1272.84 o 218 1372.72/1311.88 o 217 1792.96/1714.62 o 216 1951.92/1865.94 o 215 2317.51/2215.08 o 214 2342.82/2239.12 o 213 2400.09/2293.61 s SATISFIABLE 2400.09/2293.62 v <instantiation> 2400.09/2293.62 v <list> 2400.09/2293.62 v p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[194][10] r[194][11] r[194][12] r[194][13] r[194][14] r[194][15] r[194][16] r[194][17] r[194][18] r[194][19] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[195][10] r[195][11] r[195][12] r[195][13] r[195][14] r[195][15] r[195][16] r[195][17] r[195][18] r[195][19] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[196][10] r[196][11] r[196][12] r[196][13] r[196][14] r[196][15] r[196][16] r[196][17] r[196][18] r[196][19] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[197][10] r[197][11] r[197][12] r[197][13] r[197][14] r[197][15] r[197][16] r[197][17] r[197][18] r[197][19] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[198][10] r[198][11] r[198][12] r[198][13] r[198][14] r[198][15] r[198][16] r[198][17] r[198][18] r[198][19] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[199][10] r[199][11] r[199][12] r[199][13] r[199][14] r[199][15] r[199][16] r[199][17] r[199][18] r[199][19] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[200][10] r[200][11] r[200][12] r[200][13] r[200][14] r[200][15] r[200][16] r[200][17] r[200][18] r[200][19] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[201][10] r[201][11] r[201][12] r[201][13] r[201][14] r[201][15] r[201][16] r[201][17] r[201][18] r[201][19] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[202][10] r[202][11] r[202][12] r[202][13] r[202][14] r[202][15] r[202][16] r[202][17] r[202][18] r[202][19] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[203][10] r[203][11] r[203][12] r[203][13] r[203][14] r[203][15] r[203][16] r[203][17] r[203][18] r[203][19] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[204][10] r[204][11] r[204][12] r[204][13] r[204][14] r[204][15] r[204][16] r[204][17] r[204][18] r[204][19] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[205][10] r[205][11] r[205][12] r[205][13] r[205][14] r[205][15] r[205][16] r[205][17] r[205][18] r[205][19] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[206][10] r[206][11] r[206][12] r[206][13] r[206][14] r[206][15] r[206][16] r[206][17] r[206][18] r[206][19] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[207][10] r[207][11] r[207][12] r[207][13] r[207][14] r[207][15] r[207][16] r[207][17] r[207][18] r[207][19] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[208][10] r[208][11] r[208][12] r[208][13] r[208][14] r[208][15] r[208][16] r[208][17] r[208][18] r[208][19] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[209][10] r[209][11] r[209][12] r[209][13] r[209][14] r[209][15] r[209][16] r[209][17] r[209][18] r[209][19] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[210][10] r[210][11] r[210][12] r[210][13] r[210][14] r[210][15] r[210][16] r[210][17] r[210][18] r[210][19] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[211][10] r[211][11] r[211][12] r[211][13] r[211][14] r[211][15] r[211][16] r[211][17] r[211][18] r[211][19] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[212][10] r[212][11] r[212][12] r[212][13] r[212][14] r[212][15] r[212][16] r[212][17] r[212][18] r[212][19] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[213][10] r[213][11] r[213][12] r[213][13] r[213][14] r[213][15] r[213][16] r[213][17] r[213][18] r[213][19] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[214][10] r[214][11] r[214][12] r[214][13] r[214][14] r[214][15] r[214][16] r[214][17] r[214][18] r[214][19] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[215][10] r[215][11] r[215][12] r[215][13] r[215][14] r[215][15] r[215][16] r[215][17] r[215][18] r[215][19] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[216][10] r[216][11] r[216][12] r[216][13] r[216][14] r[216][15] r[216][16] r[216][17] r[216][18] r[216][19] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[217][10] r[217][11] r[217][12] r[217][13] r[217][14] r[217][15] r[217][16] r[217][17] r[217][18] r[217][19] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[218][10] r[218][11] r[218][12] r[218][13] r[218][14] r[218][15] r[218][16] r[218][17] r[218][18] r[218][19] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[219][10] r[219][11] r[219][12] r[219][13] r[219][14] r[219][15] r[219][16] r[219][17] r[219][18] r[219][19] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[220][10] r[220][11] r[220][12] r[220][13] r[220][14] r[220][15] r[220][16] r[220][17] r[220][18] r[220][19] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[221][10] r[221][11] r[221][12] r[221][13] r[221][14] r[221][15] r[221][16] r[221][17] r[221][18] r[221][19] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[222][10] r[222][11] r[222][12] r[222][13] r[222][14] r[222][15] r[222][16] r[222][17] r[222][18] r[222][19] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[223][10] r[223][11] r[223][12] r[223][13] r[223][14] r[223][15] r[223][16] r[223][17] r[223][18] r[223][19] 2400.09/2293.62 v </list> 2400.09/2293.62 v <values> 2400.09/2293.62 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 3 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 0 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 0 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 0 0 2 2 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 4 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 1 0 4 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 0 4 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 23 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 1 4 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 5 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 21 0 0 0 0 0 0 0 2 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 0 0 0 17 0 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 0 0 0 17 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 6 0 11 0 0 0 0 0 0 0 0 2 0 0 3 0 0 0 1 0 0 0 0 4 13 0 0 0 0 0 0 2 0 0 3 0 0 0 0 7 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 4 0 10 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 4 0 0 17 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 4 0 0 17 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 20 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 4 0 0 32 0 0 0 0 0 0 1 2 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 17 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 5 10 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 5 10 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 5 10 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 5 10 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 6 5 7 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 13 1 1 0 2 1 0 0 0 0 0 0 0 4 1 0 3 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 4 1 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 3 1 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 1 4 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 0 0 0 0 0 13 0 0 0 0 0 0 0 0 0 0 0 5 1 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 1 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 1 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 1 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 8 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 4 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 44 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2400.09/2293.62 v </values> 2400.09/2293.62 v </instantiation>
OK 213
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246140-1500706385/watcher-4246140-1500706385 -o /tmp/evaluation-result-4246140-1500706385/solver-4246140-1500706385 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500697063-2097 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 722144305 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246140-1500706385.xml pid=3208 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.63 1.47 1.47 3/262 3211 /proc/meminfo: memFree=28398580/32770624 swapFree=5836/305176 [pid=3211] ppid=3208 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5905971 369864704 1925 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 90299 1925 1072 1 0 79210 0 [pid=3211/tid=3212] ppid=3208 vsize=10635564 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 912 0 0 0 0 0 0 0 20 0 2 0 5905971 10890817536 2451 33554432000 4194304 4196468 140735317248352 139636168882592 139636157380353 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=10635564 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) R 3208 3211 7411 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 5905972 10890817536 2451 33554432000 4194304 4196468 140735317248352 139636168882592 139636157380353 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [startup+0.100062 s] /proc/loadavg: 1.63 1.47 1.47 3/262 3211 /proc/meminfo: memFree=28398580/32770624 swapFree=5836/305176 [pid=3211] ppid=3208 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 5558 0 0 0 9 0 0 0 20 0 20 0 5905971 13582725120 6179 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3316095 6179 3342 1 0 3303815 0 [pid=3211/tid=3212] ppid=3208 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 3639 0 0 0 8 0 0 0 20 0 20 0 5905971 13582725120 6179 33554432000 4194304 4196468 140735317248352 139636168877024 139636146034234 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5905972 13582725120 6179 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13264380 [startup+0.200454 s] /proc/loadavg: 1.63 1.47 1.47 3/262 3211 /proc/meminfo: memFree=28398580/32770624 swapFree=5836/305176 [pid=3211] ppid=3208 vsize=13263944 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 8807 0 0 0 25 1 0 0 20 0 20 0 5905971 13582278656 8783 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3315978 8822 3563 1 0 3303698 0 [pid=3211/tid=3212] ppid=3208 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) D 3208 3211 7411 0 -1 1077944384 6483 0 0 0 17 1 0 0 20 0 20 0 5905971 13582245888 8822 33554432000 4194304 4196468 140735317248352 139636168848656 139636157319725 0 4 0 16800975 18446744072101629476 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5905972 13582245888 8822 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263944 [startup+0.300373 s] /proc/loadavg: 1.63 1.47 1.47 3/262 3211 /proc/meminfo: memFree=28398580/32770624 swapFree=5836/305176 [pid=3211] ppid=3208 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 9854 0 0 0 40 2 0 0 20 0 20 0 5905971 13582245888 11102 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3315978 11102 3643 1 0 3303698 0 [pid=3211/tid=3212] ppid=3208 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 7249 0 0 0 26 2 0 0 20 0 20 0 5905971 13582245888 11102 33554432000 4194304 4196468 140735317248352 139636168858648 139636164662429 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5905972 13582245888 11102 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.7003 s] /proc/loadavg: 1.63 1.47 1.47 3/262 3211 /proc/meminfo: memFree=28398580/32770624 swapFree=5836/305176 [pid=3211] ppid=3208 vsize=13265980 CPUtime=1.35 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 12447 0 0 0 131 4 0 0 20 0 20 0 5905971 13584363520 18829 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3316495 18829 3769 1 0 3304210 0 [pid=3211/tid=3212] ppid=3208 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 8565 0 0 0 64 3 0 0 20 0 20 0 5905971 13584363520 18829 33554432000 4194304 4196468 140735317248352 139636168860944 139635778945100 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5905972 13584363520 18829 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 13265980 [startup+1.5012 s] /proc/loadavg: 1.63 1.47 1.47 5/282 3231 /proc/meminfo: memFree=28278652/32770624 swapFree=5836/305152 [pid=3211] ppid=3208 vsize=13270076 CPUtime=4.52 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 33547 0 0 0 441 11 0 0 20 0 20 0 5905971 13588557824 61015 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3317519 61015 3816 1 0 3305234 0 [pid=3211/tid=3212] ppid=3208 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 11287 0 0 0 140 5 0 0 20 0 20 0 5905971 13588557824 61015 33554432000 4194304 4196468 140735317248352 139636168877704 139636164652438 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 5905972 13588557824 61015 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3214] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3214/stat : 3214 (java) S 3208 3211 7411 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 5905972 13588557824 61015 33554432000 4194304 4196468 140735317248352 139636102552464 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3216] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3216/stat : 3216 (java) S 3208 3211 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 5905972 13588557824 61015 33554432000 4194304 4196468 140735317248352 139636101499920 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3217] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3217/stat : 3217 (java) S 3208 3211 7411 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5905972 13588557824 61015 33554432000 4194304 4196468 140735317248352 139636100447376 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3218] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3218/stat : 3218 (java) S 3208 3211 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5905972 13588557824 61015 33554432000 4194304 4196468 140735317248352 139636099393808 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3219] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3219/stat : 3219 (java) S 3208 3211 7411 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 5905972 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635758422416 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3220] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3220/stat : 3220 (java) S 3208 3211 7411 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 5905972 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635757369872 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3221] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3221/stat : 3221 (java) S 3208 3211 7411 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 5905972 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635756317328 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3222] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3222/stat : 3222 (java) S 3208 3211 7411 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 5905974 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635493693936 139636164651650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3223] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3223/stat : 3223 (java) S 3208 3211 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5905975 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635492640224 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3224] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3224/stat : 3224 (java) S 3208 3211 7411 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5905976 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635491587584 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3225] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3225/stat : 3225 (java) S 3208 3211 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635490536144 139636164659099 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3226] ppid=3208 vsize=13270076 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3226/stat : 3226 (java) R 3208 3211 7411 0 -1 4202560 4478 0 0 0 72 1 0 0 20 0 20 0 5905979 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635489463752 139636142235254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3227] ppid=3208 vsize=13270076 CPUtime=0.84 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3227/stat : 3227 (java) R 3208 3211 7411 0 -1 4202560 4790 0 0 0 84 0 0 0 20 0 20 0 5905979 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635488416216 139636146184721 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3228] ppid=3208 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3228/stat : 3228 (java) R 3208 3211 7411 0 -1 4202560 3660 0 0 0 75 1 0 0 20 0 20 0 5905979 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635487363672 139636149757664 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3229] ppid=3208 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3229/stat : 3229 (java) R 3208 3211 7411 0 -1 4202560 7259 0 0 0 62 1 0 0 20 0 20 0 5905979 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635486325024 139636143595249 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3230] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3230/stat : 3230 (java) S 3208 3211 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635485272800 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3231] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3231/stat : 3231 (java) S 3208 3211 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5905980 13588557824 61015 33554432000 4194304 4196468 140735317248352 139635484220336 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 4.52 Current children cumulated vsize (KiB) 13270076 [startup+3.10082 s] /proc/loadavg: 1.74 1.49 1.48 3/282 3231 /proc/meminfo: memFree=28149284/32770624 swapFree=5836/305152 [pid=3211] ppid=3208 vsize=13270076 CPUtime=8.55 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 37769 0 0 0 830 25 0 0 20 0 20 0 5905971 13588557824 100008 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3317519 100008 3820 1 0 3305234 0 [pid=3211/tid=3212] ppid=3208 vsize=13270076 CPUtime=3 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 11710 0 0 0 293 7 0 0 20 0 20 0 5905971 13588557824 100008 33554432000 4194304 4196468 140735317248352 139636168878976 139635785855616 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 47 0 0 0 2 1 0 0 20 0 20 0 5905972 13588557824 100008 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3214] ppid=3208 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3214/stat : 3214 (java) S 3208 3211 7411 0 -1 1077944384 92 0 0 0 2 1 0 0 20 0 20 0 5905972 13588557824 100008 33554432000 4194304 4196468 140735317248352 139636102552464 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3216] ppid=3208 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3216/stat : 3216 (java) S 3208 3211 7411 0 -1 1077944384 633 0 0 0 1 1 0 0 20 0 20 0 5905972 13588557824 100008 33554432000 4194304 4196468 140735317248352 139636101499920 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3217] ppid=3208 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3217/stat : 3217 (java) S 3208 3211 7411 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 20 0 5905972 13588557824 100008 33554432000 4194304 4196468 140735317248352 139636100447376 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3218] ppid=3208 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3218/stat : 3218 (java) S 3208 3211 7411 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 20 0 5905972 13588557824 100008 33554432000 4194304 4196468 140735317248352 139636099393808 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3219] ppid=3208 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3219/stat : 3219 (java) S 3208 3211 7411 0 -1 1077944384 119 0 0 0 2 2 0 0 20 0 20 0 5905972 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635758422416 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3220] ppid=3208 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3220/stat : 3220 (java) S 3208 3211 7411 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 20 0 5905972 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635757369872 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3221] ppid=3208 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3221/stat : 3221 (java) S 3208 3211 7411 0 -1 1077944384 315 0 0 0 2 1 0 0 20 0 20 0 5905972 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635756317328 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3222] ppid=3208 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3222/stat : 3222 (java) S 3208 3211 7411 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 5905974 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635493693936 139636164651650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3223] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3223/stat : 3223 (java) S 3208 3211 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5905975 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635492640224 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3224] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3224/stat : 3224 (java) S 3208 3211 7411 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5905976 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635491587584 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3225] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3225/stat : 3225 (java) S 3208 3211 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635490536144 139636164659099 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3226] ppid=3208 vsize=13270076 CPUtime=1.5 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3226/stat : 3226 (java) S 3208 3211 7411 0 -1 1077944384 5835 0 0 0 149 1 0 0 20 0 20 0 5905979 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635489482736 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3227] ppid=3208 vsize=13270076 CPUtime=1.55 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3227/stat : 3227 (java) S 3208 3211 7411 0 -1 1077944384 5334 0 0 0 154 1 0 0 20 0 20 0 5905979 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635488430192 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3228] ppid=3208 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3228/stat : 3228 (java) S 3208 3211 7411 0 -1 1077944384 4435 0 0 0 148 1 0 0 20 0 20 0 5905979 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635487377648 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3229] ppid=3208 vsize=13270076 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3229/stat : 3229 (java) S 3208 3211 7411 0 -1 1077944384 7326 0 0 0 64 1 0 0 20 0 20 0 5905979 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635486325104 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3230] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3230/stat : 3230 (java) S 3208 3211 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635485272800 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3231] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3231/stat : 3231 (java) S 3208 3211 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 5905980 13588557824 100008 33554432000 4194304 4196468 140735317248352 139635484220336 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 8.55 Current children cumulated vsize (KiB) 13270076 [startup+6.30082 s] /proc/loadavg: 1.74 1.49 1.48 3/282 3231 /proc/meminfo: memFree=27738652/32770624 swapFree=5836/305152 [pid=3211] ppid=3208 vsize=13270076 CPUtime=13.23 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 39891 0 0 0 1267 56 0 0 20 0 20 0 5905971 13588557824 170813 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3317519 170813 3828 1 0 3305234 0 [pid=3211/tid=3212] ppid=3208 vsize=13270076 CPUtime=6.13 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 12755 0 0 0 602 11 0 0 20 0 20 0 5905971 13588557824 170813 33554432000 4194304 4196468 140735317248352 139636168877848 139635783448197 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 75 0 0 0 5 4 0 0 20 0 20 0 5905972 13588557824 170813 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3214] ppid=3208 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3214/stat : 3214 (java) S 3208 3211 7411 0 -1 1077944384 124 0 0 0 5 4 0 0 20 0 20 0 5905972 13588557824 170813 33554432000 4194304 4196468 140735317248352 139636102552464 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3216] ppid=3208 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3216/stat : 3216 (java) S 3208 3211 7411 0 -1 1077944384 668 0 0 0 5 4 0 0 20 0 20 0 5905972 13588557824 170813 33554432000 4194304 4196468 140735317248352 139636101499920 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3217] ppid=3208 vsize=13270076 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3217/stat : 3217 (java) S 3208 3211 7411 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 20 0 5905972 13588557824 170813 33554432000 4194304 4196468 140735317248352 139636100447376 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3218] ppid=3208 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3218/stat : 3218 (java) S 3208 3211 7411 0 -1 1077944384 67 0 0 0 5 4 0 0 20 0 20 0 5905972 13588557824 170813 33554432000 4194304 4196468 140735317248352 139636099393808 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3219] ppid=3208 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3219/stat : 3219 (java) S 3208 3211 7411 0 -1 1077944384 153 0 0 0 5 5 0 0 20 0 20 0 5905972 13588557824 170813 33554432000 4194304 4196468 140735317248352 139635758422416 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3220] ppid=3208 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=3211/tid=3227] ppid=3208 vsize=13270076 CPUtime=2.82 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3227/stat : 3227 (java) S 3208 3211 7411 0 -1 1077944384 26612 0 0 0 279 3 0 0 20 0 20 0 5905979 13588557824 511002 33554432000 4194304 4196468 140735317248352 139635488430192 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3228] ppid=3208 vsize=13270076 CPUtime=2.76 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3228/stat : 3228 (java) S 3208 3211 7411 0 -1 1077944384 22836 0 0 0 272 4 0 0 20 0 20 0 5905979 13588557824 511002 33554432000 4194304 4196468 140735317248352 139635487377648 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3229] ppid=3208 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3229/stat : 3229 (java) S 3208 3211 7411 0 -1 1077944384 38361 0 0 0 109 4 0 0 20 0 20 0 5905979 13588557824 511002 33554432000 4194304 4196468 140735317248352 139635486325104 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3230] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3230/stat : 3230 (java) S 3208 3211 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 511002 33554432000 4194304 4196468 140735317248352 139635485272800 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3231] ppid=3208 vsize=13270076 CPUtime=0.98 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3231/stat : 3231 (java) S 3208 3211 7411 0 -1 1077944384 1837 0 0 0 45 53 0 0 20 0 20 0 5905980 13588557824 511002 33554432000 4194304 4196468 140735317248352 139635484220336 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 2241.21 Current children cumulated vsize (KiB) 13270076 [startup+2202.31 s] /proc/loadavg: 1.71 1.64 1.61 3/281 3404 /proc/meminfo: memFree=26419500/32770624 swapFree=5836/307440 [pid=3211] ppid=3208 vsize=13270076 CPUtime=2303.74 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 428556 0 0 0 229857 517 0 0 20 0 20 0 5905971 13588557824 493047 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3317519 493047 3852 1 0 3305234 0 [pid=3211/tid=3212] ppid=3208 vsize=13270076 CPUtime=2185.45 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 132591 0 0 0 218458 87 0 0 20 0 20 0 5905971 13588557824 493047 33554432000 4194304 4196468 140735317248352 139636168878336 139635787687028 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13270076 CPUtime=13.35 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 15296 0 0 0 1293 42 0 0 20 0 20 0 5905972 13588557824 493047 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3214] ppid=3208 vsize=13270076 CPUtime=13.3 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3214/stat : 3214 (java) S 3208 3211 7411 0 -1 1077944384 12997 0 0 0 1287 43 0 0 20 0 20 0 5905972 13588557824 493047 33554432000 4194304 4196468 140735317248352 139636102552464 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3216] ppid=3208 vsize=13270076 CPUtime=13.34 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3216/stat : 3216 (java) S 3208 3211 7411 0 -1 1077944384 11412 0 0 0 1290 44 0 0 20 0 20 0 5905972 13588557824 493047 33554432000 4194304 4196468 140735317248352 139636101499920 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3217] ppid=3208 vsize=13270076 CPUtime=13.28 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3217/stat : 3217 (java) S 3208 3211 7411 0 -1 1077944384 16134 0 0 0 1285 43 0 0 20 0 20 0 5905972 13588557824 493047 33554432000 4194304 4196468 140735317248352 139636100447376 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3218] ppid=3208 vsize=13270076 CPUtime=13.17 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3218/stat : 3218 (java) S 3208 3211 7411 0 -1 1077944384 13708 0 0 0 1274 43 0 0 20 0 20 0 5905972 13588557824 493047 33554432000 4194304 4196468 140735317248352 139636099393808 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3219] ppid=3208 vsize=13270076 CPUtime=13.26 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3219/stat : 3219 (java) S 3208 3211 7411 0 -1 1077944384 13355 0 0 0 1282 44 0 0 20 0 20 0 5905972 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635758422416 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3220] ppid=3208 vsize=13270076 CPUtime=13.58 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3220/stat : 3220 (java) S 3208 3211 7411 0 -1 1077944384 15428 0 0 0 1316 42 0 0 20 0 20 0 5905972 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635757369872 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3221] ppid=3208 vsize=13270076 CPUtime=13.25 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3221/stat : 3221 (java) S 3208 3211 7411 0 -1 1077944384 15332 0 0 0 1283 42 0 0 20 0 20 0 5905972 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635756317328 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3222] ppid=3208 vsize=13270076 CPUtime=1.18 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3222/stat : 3222 (java) S 3208 3211 7411 0 -1 1077944384 69261 0 0 0 89 29 0 0 20 0 20 0 5905974 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635493693936 139636164651650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3223] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3223/stat : 3223 (java) S 3208 3211 7411 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 5905975 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635492640224 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3224] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3224/stat : 3224 (java) S 3208 3211 7411 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 5905976 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635491587584 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3225] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3225/stat : 3225 (java) S 3208 3211 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635490536144 139636164659099 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3226] ppid=3208 vsize=13270076 CPUtime=2.69 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3226/stat : 3226 (java) S 3208 3211 7411 0 -1 1077944384 21918 0 0 0 266 3 0 0 20 0 20 0 5905979 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635489482736 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3227] ppid=3208 vsize=13270076 CPUtime=2.82 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3227/stat : 3227 (java) S 3208 3211 7411 0 -1 1077944384 26612 0 0 0 279 3 0 0 20 0 20 0 5905979 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635488430192 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3228] ppid=3208 vsize=13270076 CPUtime=2.76 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3228/stat : 3228 (java) S 3208 3211 7411 0 -1 1077944384 22836 0 0 0 272 4 0 0 20 0 20 0 5905979 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635487377648 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3229] ppid=3208 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3229/stat : 3229 (java) S 3208 3211 7411 0 -1 1077944384 38361 0 0 0 109 4 0 0 20 0 20 0 5905979 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635486325104 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3230] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3230/stat : 3230 (java) S 3208 3211 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635485272800 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3231] ppid=3208 vsize=13270076 CPUtime=1.01 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3231/stat : 3231 (java) S 3208 3211 7411 0 -1 1077944384 1864 0 0 0 46 55 0 0 20 0 20 0 5905980 13588557824 493047 33554432000 4194304 4196468 140735317248352 139635484220336 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 2303.74 Current children cumulated vsize (KiB) 13270076 [startup+2262.3 s] /proc/loadavg: 1.58 1.62 1.60 3/281 3412 /proc/meminfo: memFree=26675576/32770624 swapFree=5836/307500 [pid=3211] ppid=3208 vsize=13270076 CPUtime=2367.1 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 440797 0 0 0 236188 522 0 0 20 0 20 0 5905971 13588557824 470374 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3317519 470374 3853 1 0 3305234 0 [pid=3211/tid=3212] ppid=3208 vsize=13270076 CPUtime=2244.81 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 135995 0 0 0 224394 87 0 0 20 0 20 0 5905971 13588557824 470374 33554432000 4194304 4196468 140735317248352 139636168878288 139635789187910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13270076 CPUtime=13.83 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 16521 0 0 0 1341 42 0 0 20 0 20 0 5905972 13588557824 470374 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3214] ppid=3208 vsize=13270076 CPUtime=13.8 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3214/stat : 3214 (java) S 3208 3211 7411 0 -1 1077944384 13389 0 0 0 1336 44 0 0 20 0 20 0 5905972 13588557824 470374 33554432000 4194304 4196468 140735317248352 139636102552464 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3216] ppid=3208 vsize=13270076 CPUtime=13.84 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3216/stat : 3216 (java) S 3208 3211 7411 0 -1 1077944384 11774 0 0 0 1340 44 0 0 20 0 20 0 5905972 13588557824 470374 33554432000 4194304 4196468 140735317248352 139636101499920 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3217] ppid=3208 vsize=13270076 CPUtime=13.79 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3217/stat : 3217 (java) S 3208 3211 7411 0 -1 1077944384 16388 0 0 0 1336 43 0 0 20 0 20 0 5905972 13588557824 470374 33554432000 4194304 4196468 140735317248352 139636100447376 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3218] ppid=3208 vsize=13270076 CPUtime=13.66 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3218/stat : 3218 (java) S 3208 3211 7411 0 -1 1077944384 14015 0 0 0 1323 43 0 0 20 0 20 0 5905972 13588557824 470374 33554432000 4194304 4196468 140735317248352 139636099393808 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3219] ppid=3208 vsize=13270076 CPUtime=13.74 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3219/stat : 3219 (java) S 3208 3211 7411 0 -1 1077944384 13716 0 0 0 1330 44 0 0 20 0 20 0 5905972 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635758422416 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3220] ppid=3208 vsize=13270076 CPUtime=14.06 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3220/stat : 3220 (java) S 3208 3211 7411 0 -1 1077944384 15735 0 0 0 1363 43 0 0 20 0 20 0 5905972 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635757369872 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3221] ppid=3208 vsize=13270076 CPUtime=13.73 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3221/stat : 3221 (java) S 3208 3211 7411 0 -1 1077944384 15669 0 0 0 1331 42 0 0 20 0 20 0 5905972 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635756317328 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3222] ppid=3208 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3222/stat : 3222 (java) S 3208 3211 7411 0 -1 1077944384 74187 0 0 0 92 31 0 0 20 0 20 0 5905974 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635493693936 139636164651650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3223] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3223/stat : 3223 (java) S 3208 3211 7411 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 5905975 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635492640224 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3224] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3224/stat : 3224 (java) S 3208 3211 7411 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 5905976 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635491587584 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3225] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3225/stat : 3225 (java) S 3208 3211 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635490536144 139636164659099 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3226] ppid=3208 vsize=13270076 CPUtime=2.69 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3226/stat : 3226 (java) S 3208 3211 7411 0 -1 1077944384 21920 0 0 0 266 3 0 0 20 0 20 0 5905979 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635489482736 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3227] ppid=3208 vsize=13270076 CPUtime=2.83 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3227/stat : 3227 (java) S 3208 3211 7411 0 -1 1077944384 26946 0 0 0 280 3 0 0 20 0 20 0 5905979 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635488430192 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3228] ppid=3208 vsize=13270076 CPUtime=2.76 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3228/stat : 3228 (java) S 3208 3211 7411 0 -1 1077944384 22839 0 0 0 272 4 0 0 20 0 20 0 5905979 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635487377648 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3229] ppid=3208 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3229/stat : 3229 (java) S 3208 3211 7411 0 -1 1077944384 38363 0 0 0 109 4 0 0 20 0 20 0 5905979 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635486325104 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3230] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3230/stat : 3230 (java) S 3208 3211 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635485272800 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3231] ppid=3208 vsize=13270076 CPUtime=1.04 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3231/stat : 3231 (java) S 3208 3211 7411 0 -1 1077944384 1889 0 0 0 47 57 0 0 20 0 20 0 5905980 13588557824 470374 33554432000 4194304 4196468 140735317248352 139635484220336 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 2367.1 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2293.61 s] /proc/loadavg: 1.39 1.56 1.59 3/281 3413 /proc/meminfo: memFree=26328944/32770624 swapFree=5836/307516 [pid=3211] ppid=3208 vsize=13270076 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/3211/stat : 3211 (java) S 3208 3211 7411 0 -1 1077944320 446374 0 0 0 239456 553 0 0 20 0 20 0 5905971 13588557824 559627 33554432000 4194304 4196468 140735317248352 140735317230896 139636164640503 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 /proc/3211/statm: 3317519 559627 3853 1 0 3305234 0 [pid=3211/tid=3212] ppid=3208 vsize=13270076 CPUtime=2275.82 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3212/stat : 3212 (java) R 3208 3211 7411 0 -1 4202560 139105 0 0 0 227489 93 0 0 20 0 20 0 5905971 13588557824 559627 33554432000 4194304 4196468 140735317248352 139636168878288 139635787095598 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3213] ppid=3208 vsize=13270076 CPUtime=14.04 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3213/stat : 3213 (java) S 3208 3211 7411 0 -1 1077944384 16826 0 0 0 1360 44 0 0 20 0 20 0 5905972 13588557824 559627 33554432000 4194304 4196468 140735317248352 139636103605008 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3214] ppid=3208 vsize=13270076 CPUtime=14.04 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3214/stat : 3214 (java) S 3208 3211 7411 0 -1 1077944384 13509 0 0 0 1357 47 0 0 20 0 20 0 5905972 13588557824 559627 33554432000 4194304 4196468 140735317248352 139636102552464 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3216] ppid=3208 vsize=13270076 CPUtime=14.06 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3216/stat : 3216 (java) S 3208 3211 7411 0 -1 1077944384 11950 0 0 0 1360 46 0 0 20 0 20 0 5905972 13588557824 559627 33554432000 4194304 4196468 140735317248352 139636101499920 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3217] ppid=3208 vsize=13270076 CPUtime=14 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3217/stat : 3217 (java) S 3208 3211 7411 0 -1 1077944384 16782 0 0 0 1354 46 0 0 20 0 20 0 5905972 13588557824 559627 33554432000 4194304 4196468 140735317248352 139636100447376 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3218] ppid=3208 vsize=13270076 CPUtime=13.93 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3218/stat : 3218 (java) S 3208 3211 7411 0 -1 1077944384 14142 0 0 0 1346 47 0 0 20 0 20 0 5905972 13588557824 559627 33554432000 4194304 4196468 140735317248352 139636099393808 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3219] ppid=3208 vsize=13270076 CPUtime=14.01 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3219/stat : 3219 (java) S 3208 3211 7411 0 -1 1077944384 13898 0 0 0 1354 47 0 0 20 0 20 0 5905972 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635758422416 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3220] ppid=3208 vsize=13270076 CPUtime=14.32 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3220/stat : 3220 (java) S 3208 3211 7411 0 -1 1077944384 15906 0 0 0 1385 47 0 0 20 0 20 0 5905972 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635757369872 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3221] ppid=3208 vsize=13270076 CPUtime=13.99 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3221/stat : 3221 (java) S 3208 3211 7411 0 -1 1077944384 16039 0 0 0 1354 45 0 0 20 0 20 0 5905972 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635756317328 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3222] ppid=3208 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3222/stat : 3222 (java) S 3208 3211 7411 0 -1 1077944384 74766 0 0 0 94 31 0 0 20 0 20 0 5905974 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635493693936 139636164651650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3223] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3223/stat : 3223 (java) S 3208 3211 7411 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 5905975 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635492640224 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3224] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3224/stat : 3224 (java) S 3208 3211 7411 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 5905976 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635491587584 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3225] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3225/stat : 3225 (java) S 3208 3211 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635490536144 139636164659099 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3226] ppid=3208 vsize=13270076 CPUtime=2.69 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3226/stat : 3226 (java) S 3208 3211 7411 0 -1 1077944384 21922 0 0 0 266 3 0 0 20 0 20 0 5905979 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635489482736 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3227] ppid=3208 vsize=13270076 CPUtime=2.83 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3227/stat : 3227 (java) S 3208 3211 7411 0 -1 1077944384 26948 0 0 0 280 3 0 0 20 0 20 0 5905979 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635488430192 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3228] ppid=3208 vsize=13270076 CPUtime=2.76 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3228/stat : 3228 (java) S 3208 3211 7411 0 -1 1077944384 22842 0 0 0 272 4 0 0 20 0 20 0 5905979 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635487377648 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3229] ppid=3208 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3229/stat : 3229 (java) S 3208 3211 7411 0 -1 1077944384 38365 0 0 0 109 4 0 0 20 0 20 0 5905979 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635486325104 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3230] ppid=3208 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3230/stat : 3230 (java) S 3208 3211 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5905979 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635485272800 139636164650709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 [pid=3211/tid=3231] ppid=3208 vsize=13270076 CPUtime=1.07 cores=1,3,5,7,9,11,13,15 /proc/3211/task/3231/stat : 3231 (java) S 3208 3211 7411 0 -1 1077944384 1923 0 0 0 49 58 0 0 20 0 20 0 5905980 13588557824 559627 33554432000 4194304 4196468 140735317248352 139635484220336 139636164651650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140735317251216 140735317251396 140735317251396 140735317254095 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3211 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2293.65 CPU time (s): 2400.16 CPU user time (s): 2394.61 CPU system time (s): 5.55682 CPU usage (%): 104.644 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2394.6 system time used= 5.55682 maximum resident set size= 3478636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 448609 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 89066 involuntary context switches= 127747 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.4328 second user time and 20.0049 second system time The end
Begin job on node131 at 2017-07-22 08:53:05 IDJOB=4246140 IDBENCH=124189 IDSOLVER=2627 FILE ID=node131/4246140-1500706385 RUNJOBID= node131-1500697063-2097 PBS_JOBID= 20623041 Free space on /tmp= 61976 MiB SOLVER NAME= OscaR - ALNS 2017-06-30 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-6.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246140-1500706385/watcher-4246140-1500706385 -o /tmp/evaluation-result-4246140-1500706385/solver-4246140-1500706385 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500697063-2097 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 722144305 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246140-1500706385.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e RANDOM SEED=722144305 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 28398664 kB MemAvailable: 28696624 kB Buffers: 125732 kB Cached: 453664 kB SwapCached: 0 kB Active: 3617432 kB Inactive: 313820 kB Active(anon): 3355016 kB Inactive(anon): 8704 kB Active(file): 262416 kB Inactive(file): 305116 kB Unevictable: 5836 kB Mlocked: 5836 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42180 kB Writeback: 0 kB AnonPages: 3360304 kB Mapped: 45040 kB Shmem: 8844 kB Slab: 125748 kB SReclaimable: 92528 kB SUnreclaim: 33220 kB KernelStack: 4496 kB PageTables: 12308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4249200 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3211264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61936 MiB End job on node131 at 2017-07-22 09:31:19