2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Hybrid 2017-06-30	SAT (TO)	227	2400.12	2267.83

0.27/0.26	c version: 2017-06-30
0.27/0.26	c seed: 980314359
0.27/0.26	c timeout: 2400
0.27/0.26	c memlimit: 15500
0.27/0.26	c nbcore: 8
0.27/0.28	c Parsing instance...
2.73/1.02	c Parsing done, starting first complete search...
17.99/10.62	o 240
18.36/10.85	o 239
18.72/11.02	o 238
18.83/11.19	o 237
19.02/11.37	o 236
19.23/11.57	o 235
19.44/11.73	o 234
19.56/11.89	o 233
19.77/12.05	o 232
19.88/12.19	o 231
20.06/12.34	o 230
20.54/12.70	o 229
20.76/12.84	o 228
22.24/14.23	o 227
36.23/28.19	c First complete search done, starting ALNS search...
1804.87/1704.16	c ALNS done, starting second complete search
2400.06/2267.80	s SATISFIABLE
2400.06/2267.81	v <instantiation>
2400.06/2267.81	v 	<list>
2400.06/2267.81	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] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] 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] r[224][0] r[224][1] r[224][2] r[224][3] r[224][4] r[224][5] r[224][6] r[224][7] r[224][8] r[224][9] r[224][10] r[224][11] r[224][12] r[224][13] r[224][14] r[224][15] r[224][16] r[224][17] r[224][18] r[224][19] r[225][0] r[225][1] r[225][2] r[225][3] r[225][4] r[225][5] r[225][6] r[225][7] r[225][8] r[225][9] r[225][10] r[225][11] r[225][12] r[225][13] r[225][14] r[225][15] r[225][16] r[225][17] r[225][18] r[225][19] r[226][0] r[226][1] r[226][2] r[226][3] r[226][4] r[226][5] r[226][6] r[226][7] r[226][8] r[226][9] r[226][10] r[226][11] r[226][12] r[226][13] r[226][14] r[226][15] r[226][16] r[226][17] r[226][18] r[226][19] r[227][0] r[227][1] r[227][2] r[227][3] r[227][4] r[227][5] r[227][6] r[227][7] r[227][8] r[227][9] r[227][10] r[227][11] r[227][12] r[227][13] r[227][14] r[227][15] r[227][16] r[227][17] r[227][18] r[227][19] r[228][0] r[228][1] r[228][2] r[228][3] r[228][4] r[228][5] r[228][6] r[228][7] r[228][8] r[228][9] r[228][10] r[228][11] r[228][12] r[228][13] r[228][14] r[228][15] r[228][16] r[228][17] r[228][18] r[228][19] r[229][0] r[229][1] r[229][2] r[229][3] r[229][4] r[229][5] r[229][6] r[229][7] r[229][8] r[229][9] r[229][10] r[229][11] r[229][12] r[229][13] r[229][14] r[229][15] r[229][16] r[229][17] r[229][18] r[229][19] r[230][0] r[230][1] r[230][2] r[230][3] r[230][4] r[230][5] r[230][6] r[230][7] r[230][8] r[230][9] r[230][10] r[230][11] r[230][12] r[230][13] r[230][14] r[230][15] r[230][16] r[230][17] r[230][18] r[230][19] r[231][0] r[231][1] r[231][2] r[231][3] r[231][4] r[231][5] r[231][6] r[231][7] r[231][8] r[231][9] r[231][10] r[231][11] r[231][12] r[231][13] r[231][14] r[231][15] r[231][16] r[231][17] r[231][18] r[231][19] r[232][0] r[232][1] r[232][2] r[232][3] r[232][4] r[232][5] r[232][6] r[232][7] r[232][8] r[232][9] r[232][10] r[232][11] r[232][12] r[232][13] r[232][14] r[232][15] r[232][16] r[232][17] r[232][18] r[232][19] r[233][0] r[233][1] r[233][2] r[233][3] r[233][4] r[233][5] r[233][6] r[233][7] r[233][8] r[233][9] r[233][10] r[233][11] r[233][12] r[233][13] r[233][14] r[233][15] r[233][16] r[233][17] r[233][18] r[233][19] r[234][0] r[234][1] r[234][2] r[234][3] r[234][4] r[234][5] r[234][6] r[234][7] r[234][8] r[234][9] r[234][10] r[234][11] r[234][12] r[234][13] r[234][14] r[234][15] r[234][16] r[234][17] r[234][18] r[234][19] r[235][0] r[235][1] r[235][2] r[235][3] r[235][4] r[235][5] r[235][6] r[235][7] r[235][8] r[235][9] r[235][10] r[235][11] r[235][12] r[235][13] r[235][14] r[235][15] r[235][16] r[235][17] r[235][18] r[235][19] r[236][0] r[236][1] r[236][2] r[236][3] r[236][4] r[236][5] r[236][6] r[236][7] r[236][8] r[236][9] r[236][10] r[236][11] r[236][12] r[236][13] r[236][14] r[236][15] r[236][16] r[236][17] r[236][18] r[236][19] r[237][0] r[237][1] r[237][2] r[237][3] r[237][4] r[237][5] r[237][6] r[237][7] r[237][8] r[237][9] r[237][10] r[237][11] r[237][12] r[237][13] r[237][14] r[237][15] r[237][16] r[237][17] r[237][18] r[237][19] r[238][0] r[238][1] r[238][2] r[238][3] r[238][4] r[238][5] r[238][6] r[238][7] r[238][8] r[238][9] r[238][10] r[238][11] r[238][12] r[238][13] r[238][14] r[238][15] r[238][16] r[238][17] r[238][18] r[238][19] r[239][0] r[239][1] r[239][2] r[239][3] r[239][4] r[239][5] r[239][6] r[239][7] r[239][8] r[239][9] r[239][10] r[239][11] r[239][12] r[239][13] r[239][14] r[239][15] r[239][16] r[239][17] r[239][18] r[239][19]
2400.06/2267.81	v 	</list>
2400.06/2267.81	v 	<values>
2400.06/2267.81	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 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 0 0 1 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 3 3 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 3 3 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 4 0 0 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 5 2 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 2 9 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 6 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 2 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 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 1 0 0 1 1 2 0 1 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 1 1 0 2 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 5 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 5 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 4 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 10 0 0 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 10 0 0 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 6 5 0 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 11 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 1 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 0 4 0 0 1 0 0 5 0 0 0 0 0 0 0 1 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 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 4 0 2 0 0 0 1 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 2 0 0 1 2 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 2 5 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 1 6 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 1 6 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 7 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 9 5 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 9 5 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 9 5 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 14 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 13 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 3 5 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 2 6 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 1 1 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 1 1 0 2 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 6 0 0 1 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 4 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 5 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 6 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 4 0 3 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 4 0 3 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 4 0 3 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 6 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 6 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 3 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 2 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.06/2267.81	v 	</values>
2400.06/2267.81	v </instantiation>

Verifier Data

Watcher Data

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-4246121-1500700439/watcher-4246121-1500700439 -o /tmp/evaluation-result-4246121-1500700439/solver-4246121-1500700439 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500684139-17113 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 980314359 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246121-1500700439.xml 

pid=19431
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.57 1.62 1.63 3/262 19434
/proc/meminfo: memFree=30330996/32770624 swapFree=5708/263736
[pid=19434] ppid=19431 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 1879 0 0 0 0 0 0 0 20 0 2 0 5310286 10889764864 2121 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 2658634 2121 1179 1 0 2647545 0
[pid=19434/tid=19435] ppid=19431 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 666 0 0 0 0 0 0 0 20 0 2 0 5310286 10889764864 2187 33554432000 4194304 4196468 140736971347328 140034789439904 140034777487264 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0

[startup+0.100114 s]
/proc/loadavg: 1.57 1.62 1.63 3/262 19434
/proc/meminfo: memFree=30330996/32770624 swapFree=5708/263736
[pid=19434] ppid=19431 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 6859 0 0 0 9 1 0 0 20 0 20 0 5310286 13582245888 7070 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3315978 7136 3388 1 0 3303698 0
[pid=19434/tid=19435] ppid=19431 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 4842 0 0 0 7 1 0 0 20 0 20 0 5310286 13582245888 7136 33554432000 4194304 4196468 140736971347328 140034789422768 140034764722051 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912

[startup+0.200363 s]
/proc/loadavg: 1.57 1.62 1.63 3/262 19434
/proc/meminfo: memFree=30330996/32770624 swapFree=5708/263736
[pid=19434] ppid=19431 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 9169 0 0 0 24 3 0 0 20 0 20 0 5310286 13582245888 9556 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3315978 9556 3570 1 0 3303698 0
[pid=19434/tid=19435] ppid=19431 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 6795 0 0 0 16 2 0 0 20 0 20 0 5310286 13582245888 9556 33554432000 4194304 4196468 140736971347328 140034789414824 140034769278302 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912

[startup+0.300362 s]
/proc/loadavg: 1.57 1.62 1.63 3/262 19434
/proc/meminfo: memFree=30330996/32770624 swapFree=5708/263736
[pid=19434] ppid=19431 vsize=13263932 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 10457 0 0 0 43 3 0 0 20 0 20 0 5310286 13582266368 12139 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3315983 12139 3688 1 0 3303698 0
[pid=19434/tid=19435] ppid=19431 vsize=13263932 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 7500 0 0 0 25 2 0 0 20 0 20 0 5310286 13582266368 12139 33554432000 4194304 4196468 140736971347328 140034789411920 140034785219741 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13263932

[startup+0.700218 s]
/proc/loadavg: 1.57 1.62 1.63 3/262 19434
/proc/meminfo: memFree=30330996/32770624 swapFree=5708/263736
[pid=19434] ppid=19431 vsize=13265980 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 13872 0 0 0 145 6 0 0 20 0 20 0 5310286 13584363520 21249 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3316495 21249 3787 1 0 3304210 0
[pid=19434/tid=19435] ppid=19431 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 8587 0 0 0 64 3 0 0 20 0 20 0 5310286 13584363520 21249 33554432000 4194304 4196468 140736971347328 140034789433792 140034785219162 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 13265980

[startup+1.50111 s]
/proc/loadavg: 1.57 1.62 1.63 4/282 19454
/proc/meminfo: memFree=30201124/32770624 swapFree=5708/263756
[pid=19434] ppid=19431 vsize=13268028 CPUtime=4.67 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 30379 0 0 0 457 10 0 0 20 0 20 0 5310286 13586460672 51401 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3317007 51401 3796 1 0 3304722 0
[pid=19434/tid=19435] ppid=19431 vsize=13268028 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 10727 0 0 0 141 5 0 0 20 0 20 0 5310286 13586460672 51401 33554432000 4194304 4196468 140736971347328 140034789433448 140034412574598 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19437] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19437/stat : 19437 (java) S 19431 19434 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5310287 13586460672 51401 33554432000 4194304 4196468 140736971347328 140034737818512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19438] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19438/stat : 19438 (java) S 19431 19434 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5310287 13586460672 51401 33554432000 4194304 4196468 140736971347328 140034736765712 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19439] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19439/stat : 19439 (java) S 19431 19434 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5310287 13586460672 51401 33554432000 4194304 4196468 140736971347328 140034735713424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19440] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19440/stat : 19440 (java) S 19431 19434 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5310287 13586460672 51401 33554432000 4194304 4196468 140736971347328 140034734660624 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19441] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19441/stat : 19441 (java) S 19431 19434 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5310287 13586460672 51401 33554432000 4194304 4196468 140736971347328 140034733607312 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19442] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19442/stat : 19442 (java) S 19431 19434 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5310287 13586460672 51401 33554432000 4194304 4196468 140736971347328 140034732554512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19443] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19443/stat : 19443 (java) S 19431 19434 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5310287 13586460672 51401 33554432000 4194304 4196468 140736971347328 140034731502224 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19444] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19444/stat : 19444 (java) S 19431 19434 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5310287 13586460672 51401 33554432000 4194304 4196468 140736971347328 140034730449424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19445] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19445/stat : 19445 (java) S 19431 19434 14271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 5310289 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033449257584 140034785208962 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19446] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19446/stat : 19446 (java) S 19431 19434 14271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5310289 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033448203552 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19447] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19447/stat : 19447 (java) S 19431 19434 14271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5310290 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033447151216 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19448] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19448/stat : 19448 (java) S 19431 19434 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5310292 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033446099536 140034785216411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19449] ppid=19431 vsize=13268028 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19449/stat : 19449 (java) R 19431 19434 14271 0 -1 4202560 4539 0 0 0 91 0 0 0 20 0 20 0 5310292 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033445034704 140034769943236 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19450] ppid=19431 vsize=13268028 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19450/stat : 19450 (java) R 19431 19434 14271 0 -1 4202560 4549 0 0 0 85 0 0 0 20 0 20 0 5310292 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033443992760 140034771212192 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19451] ppid=19431 vsize=13268028 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19451/stat : 19451 (java) R 19431 19434 14271 0 -1 4202560 2568 0 0 0 75 0 0 0 20 0 20 0 5310292 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033442933784 140034763174429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19452] ppid=19431 vsize=13268028 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19452/stat : 19452 (java) S 19431 19434 14271 0 -1 1077944384 6582 0 0 0 62 1 0 0 20 0 20 0 5310292 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033441888496 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19453] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19453/stat : 19453 (java) S 19431 19434 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5310293 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033440836448 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19454] ppid=19431 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19454/stat : 19454 (java) S 19431 19434 14271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5310293 13586460672 51401 33554432000 4194304 4196468 140736971347328 140033439783728 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 13268028

[startup+3.10086 s]
/proc/loadavg: 1.57 1.62 1.63 6/282 19454
/proc/meminfo: memFree=30094500/32770624 swapFree=5708/263756
[pid=19434] ppid=19431 vsize=13270076 CPUtime=9.82 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 38802 0 0 0 962 20 0 0 20 0 20 0 5310286 13588557824 88467 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3317519 88467 3820 1 0 3305234 0
[pid=19434/tid=19435] ppid=19431 vsize=13270076 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 11301 0 0 0 296 7 0 0 20 0 20 0 5310286 13588557824 88467 33554432000 4194304 4196468 140736971347328 140034789433352 140034414134306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19437] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19437/stat : 19437 (java) S 19431 19434 14271 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 5310287 13588557824 88467 33554432000 4194304 4196468 140736971347328 140034737818512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19438] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19438/stat : 19438 (java) S 19431 19434 14271 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 5310287 13588557824 88467 33554432000 4194304 4196468 140736971347328 140034736765712 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19439] ppid=19431 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19439/stat : 19439 (java) S 19431 19434 14271 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 20 0 5310287 13588557824 88467 33554432000 4194304 4196468 140736971347328 140034735713424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19440] ppid=19431 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19440/stat : 19440 (java) S 19431 19434 14271 0 -1 1077944384 710 0 0 0 1 1 0 0 20 0 20 0 5310287 13588557824 88467 33554432000 4194304 4196468 140736971347328 140034734660624 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19441] ppid=19431 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19441/stat : 19441 (java) S 19431 19434 14271 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 5310287 13588557824 88467 33554432000 4194304 4196468 140736971347328 140034733607312 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19442] ppid=19431 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19442/stat : 19442 (java) S 19431 19434 14271 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 5310287 13588557824 88467 33554432000 4194304 4196468 140736971347328 140034732554512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19443] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19443/stat : 19443 (java) S 19431 19434 14271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 5310287 13588557824 88467 33554432000 4194304 4196468 140736971347328 140034731502224 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19444] ppid=19431 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19444/stat : 19444 (java) S 19431 19434 14271 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 20 0 5310287 13588557824 88467 33554432000 4194304 4196468 140736971347328 140034730449424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19445] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19445/stat : 19445 (java) S 19431 19434 14271 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 5310289 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033449257584 140034785208962 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19446] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19446/stat : 19446 (java) S 19431 19434 14271 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5310289 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033448203616 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19447] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19447/stat : 19447 (java) S 19431 19434 14271 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5310290 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033447151232 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19448] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19448/stat : 19448 (java) S 19431 19434 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5310292 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033446099536 140034785216411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19449] ppid=19431 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19449/stat : 19449 (java) S 19431 19434 14271 0 -1 1077944384 6594 0 0 0 203 1 0 0 20 0 20 0 5310292 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033445046384 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19450] ppid=19431 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19450/stat : 19450 (java) S 19431 19434 14271 0 -1 1077944384 6393 0 0 0 195 1 0 0 20 0 20 0 5310292 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033443993584 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19451] ppid=19431 vsize=13270076 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19451/stat : 19451 (java) S 19431 19434 14271 0 -1 1077944384 4330 0 0 0 185 0 0 0 20 0 20 0 5310292 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033442941296 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19452] ppid=19431 vsize=13270076 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19452/stat : 19452 (java) S 19431 19434 14271 0 -1 1077944384 7093 0 0 0 70 1 0 0 20 0 20 0 5310292 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033441888496 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19453] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19453/stat : 19453 (java) S 19431 19434 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5310293 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033440836448 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19454] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19454/stat : 19454 (java) S 19431 19434 14271 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 5310293 13588557824 88467 33554432000 4194304 4196468 140736971347328 140033439783728 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 13270076

[startup+6.30083 s]
/proc/loadavg: 1.60 1.63 1.64 3/282 19454
/proc/meminfo: memFree=29937772/32770624 swapFree=5708/263768
[pid=19434] ppid=19431 vsize=13270076 CPUtime=13.46 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 39273 0 0 0 1313 33 0 0 20 0 20 0 5310286 13588557824 142371 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3317519 142371 3827 1 0 3305234 0
[pid=19434/tid=19435] ppid=19431 vsize=13270076 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 11431 0 0 0 609 10 0 0 20 0 20 0 5310286 13588557824 142371 33554432000 4194304 4196468 140736971347328 140034789432800 140034412630026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19437] ppid=19431 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19437/stat : 19437 (java) S 19431 19434 14271 0 -1 1077944384 77 0 0 0 1 2 0 0 20 0 20 0 5310287 13588557824 142371 33554432000 4194304 4196468 140736971347328 140034737818512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19438] ppid=19431 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19438/stat : 19438 (java) S 19431 19434 14271 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 20 0 5310287 13588557824 142371 33554432000 4194304 4196468 140736971347328 140034736765712 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19439] ppid=19431 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19439/stat : 19439 (java) S 19431 19434 14271 0 -1 1077944384 91 0 0 0 2 2 0 0 20 0 20 0 5310287 13588557824 142371 33554432000 4194304 4196468 140736971347328 140034735713424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19440] ppid=19431 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19440/stat : 19440 (java) S 19431 19434 14271 0 -1 1077944384 719 0 0 0 2 2 0 0 20 0 20 0 5310287 13588557824 142371 33554432000 4194304 4196468 140736971347328 140034734660624 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19441] ppid=19431 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19441/stat : 19441 (java) S 19431 19434 14271 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 5310287 13588557824 142371 33554432000 4194304 4196468 140736971347328 140034733607312 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19442] ppid=19431 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19442/stat : 19442 (java) S 19431 19434 14271 0 -1 1077944384 100 0 0 0 2 2 0 0 20 0 20 0 5310287 13588557824 142371 33554432000 4194304 4196468 140736971347328 140034732554512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19443] ppid=19431 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19443/stat : 19443 (java) S 19431 19434 14271 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 20 0 5310287 13588557824 142371 33554432000 4194304 4196468 140736971347328 140034731502224 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19444] ppid=19431 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19444/stat : 19444 (java) S 19431 19434 14271 0 -1 1077944384 305 0 0 0 2 1 0 0 20 0 20 0 5310287 13588557824 142371 33554432000 4194304 4196468 140736971347328 140034730449424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19445] ppid=19431 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19445/stat : 19445 (java) S 19431 19434 14271 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 5310289 13588557824 142371 33554432000 4194304 4196468 140736971347328 140033449257584 140034785208962 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19446] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19446/stat : 19446 (java) S 19431 19434 14271 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5310289 13588557824 142371 33554432000 4194304 4196468 140736971347328 140033448203616 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19447] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19447/stat : 19447 (java) S 19431 19434 14271 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5310290 13588557824 142371 33554432000 4194304 4196468 140736971347328 140033447151232 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19448] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=19434/tid=19450] ppid=19431 vsize=13270076 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19450/stat : 19450 (java) S 19431 19434 14271 0 -1 1077944384 18453 0 0 0 310 4 0 0 20 0 20 0 5310292 13588557824 582797 33554432000 4194304 4196468 140736971347328 140033443993584 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19451] ppid=19431 vsize=13270076 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19451/stat : 19451 (java) S 19431 19434 14271 0 -1 1077944384 14250 0 0 0 294 2 0 0 20 0 20 0 5310292 13588557824 582797 33554432000 4194304 4196468 140736971347328 140033442941296 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19452] ppid=19431 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19452/stat : 19452 (java) S 19431 19434 14271 0 -1 1077944384 20460 0 0 0 110 3 0 0 20 0 20 0 5310292 13588557824 582797 33554432000 4194304 4196468 140736971347328 140033441888496 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19453] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19453/stat : 19453 (java) S 19431 19434 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5310293 13588557824 582797 33554432000 4194304 4196468 140736971347328 140033440836448 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19454] ppid=19431 vsize=13270076 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19454/stat : 19454 (java) S 19431 19434 14271 0 -1 1077944384 1180 0 0 0 59 62 0 0 20 0 20 0 5310293 13588557824 582797 33554432000 4194304 4196468 140736971347328 140033439783728 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 2267.12
Current children cumulated vsize (KiB) 13270076

[startup+2202.31 s]
/proc/loadavg: 1.68 1.61 1.63 3/282 19613
/proc/meminfo: memFree=26463236/32770624 swapFree=5708/265944
[pid=19434] ppid=19431 vsize=13270076 CPUtime=2330.75 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 431430 0 0 0 232178 897 0 0 20 0 20 0 5310286 13588557824 562160 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3317519 562160 3852 1 0 3305234 0
[pid=19434/tid=19435] ppid=19431 vsize=13270076 CPUtime=2181.27 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 144728 0 0 0 218046 81 0 0 20 0 20 0 5310286 13588557824 562160 33554432000 4194304 4196468 140736971347328 140034789435888 140034412574575 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19437] ppid=19431 vsize=13270076 CPUtime=17.02 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19437/stat : 19437 (java) S 19431 19434 14271 0 -1 1077944384 13698 0 0 0 1610 92 0 0 20 0 20 0 5310287 13588557824 562160 33554432000 4194304 4196468 140736971347328 140034737818512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19438] ppid=19431 vsize=13270076 CPUtime=16.96 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19438/stat : 19438 (java) S 19431 19434 14271 0 -1 1077944384 12579 0 0 0 1605 91 0 0 20 0 20 0 5310287 13588557824 562160 33554432000 4194304 4196468 140736971347328 140034736765712 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19439] ppid=19431 vsize=13270076 CPUtime=17.22 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19439/stat : 19439 (java) S 19431 19434 14271 0 -1 1077944384 14284 0 0 0 1630 92 0 0 20 0 20 0 5310287 13588557824 562160 33554432000 4194304 4196468 140736971347328 140034735713424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19440] ppid=19431 vsize=13270076 CPUtime=16.98 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19440/stat : 19440 (java) S 19431 19434 14271 0 -1 1077944384 14235 0 0 0 1608 90 0 0 20 0 20 0 5310287 13588557824 562160 33554432000 4194304 4196468 140736971347328 140034734660624 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19441] ppid=19431 vsize=13270076 CPUtime=16.92 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19441/stat : 19441 (java) S 19431 19434 14271 0 -1 1077944384 15212 0 0 0 1600 92 0 0 20 0 20 0 5310287 13588557824 562160 33554432000 4194304 4196468 140736971347328 140034733607312 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19442] ppid=19431 vsize=13270076 CPUtime=17.22 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19442/stat : 19442 (java) S 19431 19434 14271 0 -1 1077944384 14469 0 0 0 1632 90 0 0 20 0 20 0 5310287 13588557824 562160 33554432000 4194304 4196468 140736971347328 140034732554512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19443] ppid=19431 vsize=13270076 CPUtime=17.09 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19443/stat : 19443 (java) S 19431 19434 14271 0 -1 1077944384 14140 0 0 0 1616 93 0 0 20 0 20 0 5310287 13588557824 562160 33554432000 4194304 4196468 140736971347328 140034731502224 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19444] ppid=19431 vsize=13270076 CPUtime=17.11 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19444/stat : 19444 (java) S 19431 19434 14271 0 -1 1077944384 13134 0 0 0 1620 91 0 0 20 0 20 0 5310287 13588557824 562160 33554432000 4194304 4196468 140736971347328 140034730449424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19445] ppid=19431 vsize=13270076 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19445/stat : 19445 (java) S 19431 19434 14271 0 -1 1077944384 103691 0 0 0 114 23 0 0 20 0 20 0 5310289 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033449257584 140034785208962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19446] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19446/stat : 19446 (java) S 19431 19434 14271 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 5310289 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033448203616 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19447] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19447/stat : 19447 (java) S 19431 19434 14271 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 5310290 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033447151232 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19448] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19448/stat : 19448 (java) S 19431 19434 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5310292 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033446099536 140034785216411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19449] ppid=19431 vsize=13270076 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19449/stat : 19449 (java) S 19431 19434 14271 0 -1 1077944384 15427 0 0 0 293 3 0 0 20 0 20 0 5310292 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033445046384 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19450] ppid=19431 vsize=13270076 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19450/stat : 19450 (java) S 19431 19434 14271 0 -1 1077944384 18455 0 0 0 310 4 0 0 20 0 20 0 5310292 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033443993584 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19451] ppid=19431 vsize=13270076 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19451/stat : 19451 (java) S 19431 19434 14271 0 -1 1077944384 14253 0 0 0 294 2 0 0 20 0 20 0 5310292 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033442941296 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19452] ppid=19431 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19452/stat : 19452 (java) S 19431 19434 14271 0 -1 1077944384 20462 0 0 0 110 3 0 0 20 0 20 0 5310292 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033441888496 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19453] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19453/stat : 19453 (java) S 19431 19434 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5310293 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033440836448 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19454] ppid=19431 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19454/stat : 19454 (java) S 19431 19434 14271 0 -1 1077944384 1201 0 0 0 61 64 0 0 20 0 20 0 5310293 13588557824 562160 33554432000 4194304 4196468 140736971347328 140033439783728 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 2330.75
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.58 1.59 1.62 3/282 19614
/proc/meminfo: memFree=26520268/32770624 swapFree=5708/265992
[pid=19434] ppid=19431 vsize=13270076 CPUtime=2394.31 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 441801 0 0 0 238529 902 0 0 20 0 20 0 5310286 13588557824 539267 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3317519 539267 3852 1 0 3305234 0
[pid=19434/tid=19435] ppid=19431 vsize=13270076 CPUtime=2240.62 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 146991 0 0 0 223980 82 0 0 20 0 20 0 5310286 13588557824 539267 33554432000 4194304 4196468 140736971347328 140034789435888 140034410207191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19437] ppid=19431 vsize=13270076 CPUtime=17.51 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19437/stat : 19437 (java) S 19431 19434 14271 0 -1 1077944384 13962 0 0 0 1659 92 0 0 20 0 20 0 5310287 13588557824 539267 33554432000 4194304 4196468 140736971347328 140034737818512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19438] ppid=19431 vsize=13270076 CPUtime=17.46 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19438/stat : 19438 (java) S 19431 19434 14271 0 -1 1077944384 13019 0 0 0 1655 91 0 0 20 0 20 0 5310287 13588557824 539267 33554432000 4194304 4196468 140736971347328 140034736765712 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19439] ppid=19431 vsize=13270076 CPUtime=17.74 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19439/stat : 19439 (java) S 19431 19434 14271 0 -1 1077944384 14504 0 0 0 1681 93 0 0 20 0 20 0 5310287 13588557824 539267 33554432000 4194304 4196468 140736971347328 140034735713424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19440] ppid=19431 vsize=13270076 CPUtime=17.49 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19440/stat : 19440 (java) S 19431 19434 14271 0 -1 1077944384 14542 0 0 0 1659 90 0 0 20 0 20 0 5310287 13588557824 539267 33554432000 4194304 4196468 140736971347328 140034734660624 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19441] ppid=19431 vsize=13270076 CPUtime=17.43 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19441/stat : 19441 (java) S 19431 19434 14271 0 -1 1077944384 15410 0 0 0 1651 92 0 0 20 0 20 0 5310287 13588557824 539267 33554432000 4194304 4196468 140736971347328 140034733607312 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19442] ppid=19431 vsize=13270076 CPUtime=17.73 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19442/stat : 19442 (java) S 19431 19434 14271 0 -1 1077944384 14713 0 0 0 1683 90 0 0 20 0 20 0 5310287 13588557824 539267 33554432000 4194304 4196468 140736971347328 140034732554512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19443] ppid=19431 vsize=13270076 CPUtime=17.61 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19443/stat : 19443 (java) S 19431 19434 14271 0 -1 1077944384 14398 0 0 0 1668 93 0 0 20 0 20 0 5310287 13588557824 539267 33554432000 4194304 4196468 140736971347328 140034731502224 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19444] ppid=19431 vsize=13270076 CPUtime=17.66 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19444/stat : 19444 (java) S 19431 19434 14271 0 -1 1077944384 13351 0 0 0 1675 91 0 0 20 0 20 0 5310287 13588557824 539267 33554432000 4194304 4196468 140736971347328 140034730449424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19445] ppid=19431 vsize=13270076 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19445/stat : 19445 (java) S 19431 19434 14271 0 -1 1077944384 108909 0 0 0 117 25 0 0 20 0 20 0 5310289 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033449257584 140034785208962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19446] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19446/stat : 19446 (java) S 19431 19434 14271 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 5310289 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033448203616 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19447] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19447/stat : 19447 (java) S 19431 19434 14271 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 5310290 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033447151232 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19448] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19448/stat : 19448 (java) S 19431 19434 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5310292 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033446099536 140034785216411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19449] ppid=19431 vsize=13270076 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19449/stat : 19449 (java) S 19431 19434 14271 0 -1 1077944384 15431 0 0 0 293 3 0 0 20 0 20 0 5310292 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033445046384 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19450] ppid=19431 vsize=13270076 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19450/stat : 19450 (java) S 19431 19434 14271 0 -1 1077944384 19141 0 0 0 311 4 0 0 20 0 20 0 5310292 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033443993584 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19451] ppid=19431 vsize=13270076 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19451/stat : 19451 (java) S 19431 19434 14271 0 -1 1077944384 14256 0 0 0 294 2 0 0 20 0 20 0 5310292 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033442941296 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19452] ppid=19431 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19452/stat : 19452 (java) S 19431 19434 14271 0 -1 1077944384 20472 0 0 0 110 3 0 0 20 0 20 0 5310292 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033441888496 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19453] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19453/stat : 19453 (java) S 19431 19434 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5310293 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033440836448 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19454] ppid=19431 vsize=13270076 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19454/stat : 19454 (java) S 19431 19434 14271 0 -1 1077944384 1240 0 0 0 63 66 0 0 20 0 20 0 5310293 13588557824 539267 33554432000 4194304 4196468 140736971347328 140033439783728 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 2394.31
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2267.8 s]
/proc/loadavg: 1.61 1.60 1.63 3/282 19614
/proc/meminfo: memFree=26529276/32770624 swapFree=5708/265992
[pid=19434] ppid=19431 vsize=13270076 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/19434/stat : 19434 (java) S 19431 19434 14271 0 -1 1077944320 441820 0 0 0 239104 902 0 0 20 0 20 0 5310286 13588557824 536317 33554432000 4194304 4196468 140736971347328 140736971329872 140034785197815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
/proc/19434/statm: 3317519 536317 3852 1 0 3305234 0
[pid=19434/tid=19435] ppid=19431 vsize=13270076 CPUtime=2246.07 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19435/stat : 19435 (java) R 19431 19434 14271 0 -1 4202560 146994 0 0 0 224525 82 0 0 20 0 20 0 5310286 13588557824 536317 33554432000 4194304 4196468 140736971347328 140034789435888 140034415335943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19437] ppid=19431 vsize=13270076 CPUtime=17.55 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19437/stat : 19437 (java) S 19431 19434 14271 0 -1 1077944384 13970 0 0 0 1663 92 0 0 20 0 20 0 5310287 13588557824 536317 33554432000 4194304 4196468 140736971347328 140034737818512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19438] ppid=19431 vsize=13270076 CPUtime=17.49 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19438/stat : 19438 (java) S 19431 19434 14271 0 -1 1077944384 13019 0 0 0 1658 91 0 0 20 0 20 0 5310287 13588557824 536317 33554432000 4194304 4196468 140736971347328 140034736765712 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19439] ppid=19431 vsize=13270076 CPUtime=17.76 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19439/stat : 19439 (java) S 19431 19434 14271 0 -1 1077944384 14504 0 0 0 1683 93 0 0 20 0 20 0 5310287 13588557824 536317 33554432000 4194304 4196468 140736971347328 140034735713424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19440] ppid=19431 vsize=13270076 CPUtime=17.53 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19440/stat : 19440 (java) S 19431 19434 14271 0 -1 1077944384 14546 0 0 0 1663 90 0 0 20 0 20 0 5310287 13588557824 536317 33554432000 4194304 4196468 140736971347328 140034734660624 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19441] ppid=19431 vsize=13270076 CPUtime=17.47 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19441/stat : 19441 (java) S 19431 19434 14271 0 -1 1077944384 15410 0 0 0 1655 92 0 0 20 0 20 0 5310287 13588557824 536317 33554432000 4194304 4196468 140736971347328 140034733607312 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19442] ppid=19431 vsize=13270076 CPUtime=17.76 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19442/stat : 19442 (java) S 19431 19434 14271 0 -1 1077944384 14713 0 0 0 1686 90 0 0 20 0 20 0 5310287 13588557824 536317 33554432000 4194304 4196468 140736971347328 140034732554512 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19443] ppid=19431 vsize=13270076 CPUtime=17.65 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19443/stat : 19443 (java) S 19431 19434 14271 0 -1 1077944384 14398 0 0 0 1672 93 0 0 20 0 20 0 5310287 13588557824 536317 33554432000 4194304 4196468 140736971347328 140034731502224 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19444] ppid=19431 vsize=13270076 CPUtime=17.7 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19444/stat : 19444 (java) S 19431 19434 14271 0 -1 1077944384 13351 0 0 0 1679 91 0 0 20 0 20 0 5310287 13588557824 536317 33554432000 4194304 4196468 140736971347328 140034730449424 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19445] ppid=19431 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19445/stat : 19445 (java) S 19431 19434 14271 0 -1 1077944384 108911 0 0 0 118 25 0 0 20 0 20 0 5310289 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033449257584 140034785208962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19446] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19446/stat : 19446 (java) S 19431 19434 14271 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 5310289 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033448203616 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19447] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19447/stat : 19447 (java) S 19431 19434 14271 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 5310290 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033447151232 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19448] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19448/stat : 19448 (java) S 19431 19434 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5310292 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033446099536 140034785216411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19449] ppid=19431 vsize=13270076 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19449/stat : 19449 (java) S 19431 19434 14271 0 -1 1077944384 15431 0 0 0 293 3 0 0 20 0 20 0 5310292 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033445046384 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19450] ppid=19431 vsize=13270076 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19450/stat : 19450 (java) S 19431 19434 14271 0 -1 1077944384 19141 0 0 0 311 4 0 0 20 0 20 0 5310292 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033443993584 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19451] ppid=19431 vsize=13270076 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19451/stat : 19451 (java) S 19431 19434 14271 0 -1 1077944384 14256 0 0 0 294 2 0 0 20 0 20 0 5310292 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033442941296 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19452] ppid=19431 vsize=13270076 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19452/stat : 19452 (java) S 19431 19434 14271 0 -1 1077944384 20472 0 0 0 110 3 0 0 20 0 20 0 5310292 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033441888496 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19453] ppid=19431 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19453/stat : 19453 (java) S 19431 19434 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5310293 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033440836448 140034785208021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
[pid=19434/tid=19454] ppid=19431 vsize=13270076 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/19434/task/19454/stat : 19454 (java) S 19431 19434 14271 0 -1 1077944384 1242 0 0 0 63 66 0 0 20 0 20 0 5310293 13588557824 536317 33554432000 4194304 4196468 140736971347328 140033439783728 140034785208962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140736971351182 140736971351364 140736971351364 140736971354063 0
Current children cumulated CPU time (s) 2400.06
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 19434 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2267.83
CPU time (s): 2400.12
CPU user time (s): 2391.09
CPU system time (s): 9.03931
CPU usage (%): 105.834
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.09
system time used= 9.03931
maximum resident set size= 2613228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93050
involuntary context switches= 129127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0549 second user time and 18.7198 second system time

The end

Launcher Data

Begin job on node140 at 2017-07-22 07:13:59
IDJOB=4246121
IDBENCH=124177
IDSOLVER=2629
FILE ID=node140/4246121-1500700439
RUNJOBID= node140-1500684139-17113
PBS_JOBID= 20623028
Free space on /tmp= 61816 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246121-1500700439/watcher-4246121-1500700439 -o /tmp/evaluation-result-4246121-1500700439/solver-4246121-1500700439 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500684139-17113 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 980314359 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246121-1500700439.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9
RANDOM SEED=980314359

node140.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		: 1733.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	: 5333.36
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		: 1733.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	: 5333.36
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		: 1600.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		: 1733.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	: 5333.36
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		: 2668.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	: 5333.36
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		: 2400.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		: 2668.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	: 5333.36
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		: 2133.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	: 5333.36
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	: 5333.36
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		: 2668.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		: 1867.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	: 5333.36
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:        30330752 kB
MemAvailable:   30598876 kB
Buffers:          125736 kB
Cached:           422808 kB
SwapCached:            0 kB
Active:          1728576 kB
Inactive:         272572 kB
Active(anon):    1455632 kB
Inactive(anon):     8836 kB
Active(file):     272944 kB
Inactive(file):   263736 kB
Unevictable:        5708 kB
Mlocked:            5708 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42240 kB
Writeback:             0 kB
AnonPages:       1470948 kB
Mapped:            45548 kB
Shmem:              8852 kB
Slab:             129584 kB
SReclaimable:      94556 kB
SUnreclaim:        35028 kB
KernelStack:        4864 kB
PageTables:         7996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2057736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1314816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61776 MiB
End job on node140 at 2017-07-22 07:51:47

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml
MD5SUM	e916ba0c5634620e8924ec581ee284c9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	217
Best CPU time to get the best result obtained on this benchmark	20087.1
Satisfiable
(Un)Satisfiability was proved
Number of variables	5040
Number of constraints	262
Number of domains	17
Minimum domain size	2
Maximum domain size	195
Distribution of domain sizes	[{"size":2,"count":240},{"size":4,"count":240},{"size":25,"count":480},{"size":44,"count":240},{"size":45,"count":240},{"size":73,"count":240},{"size":78,"count":240},{"size":87,"count":480},{"size":102,"count":240},{"size":107,"count":240},{"size":130,"count":240},{"size":131,"count":240},{"size":132,"count":480},{"size":139,"count":480},{"size":170,"count":240},{"size":175,"count":240},{"size":195,"count":240}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":5040}]
Minimum constraint arity	21
Maximum constraint arity	4800
Distribution of constraint arities	[{"arity":21,"count":240},{"arity":240,"count":21},{"arity":4800,"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":260}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4246121

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data