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)	200	2400.24	2269.85

0.43/0.31	c version: 2017-06-30
0.43/0.31	c seed: 1988507824
0.43/0.32	c timeout: 2400
0.43/0.32	c memlimit: 15500
0.43/0.32	c nbcore: 8
0.43/0.34	c Parsing instance...
2.44/1.09	c Parsing done, starting first complete search...
9.88/3.94	o 224
10.89/4.43	o 223
10.89/4.43	o 222
10.89/4.43	o 221
10.89/4.43	o 220
10.89/4.47	o 219
11.16/4.55	o 218
11.25/4.64	o 217
11.36/4.73	o 216
11.46/4.81	o 215
11.46/4.89	o 214
11.57/4.97	o 213
11.72/5.06	o 212
11.83/5.16	o 211
11.93/5.25	o 210
12.03/5.34	o 209
12.13/5.46	o 208
12.32/5.55	o 207
12.43/5.63	o 206
12.59/5.73	o 205
12.69/5.80	o 204
12.69/5.87	o 203
12.79/5.94	o 202
12.89/6.01	o 201
12.89/6.08	o 200
18.96/11.84	c First complete search done, starting ALNS search...
1785.29/1687.76	c ALNS done, starting second complete search
2400.16/2269.80	s SATISFIABLE
2400.16/2269.81	v <instantiation>
2400.16/2269.81	v 	<list>
2400.16/2269.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] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[194][10] r[194][11] r[194][12] r[194][13] r[194][14] r[194][15] r[194][16] r[194][17] r[194][18] r[194][19] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[195][10] r[195][11] r[195][12] r[195][13] r[195][14] r[195][15] r[195][16] r[195][17] r[195][18] r[195][19] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[196][10] r[196][11] r[196][12] r[196][13] r[196][14] r[196][15] r[196][16] r[196][17] r[196][18] r[196][19] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[197][10] r[197][11] r[197][12] r[197][13] r[197][14] r[197][15] r[197][16] r[197][17] r[197][18] r[197][19] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[198][10] r[198][11] r[198][12] r[198][13] r[198][14] r[198][15] r[198][16] r[198][17] r[198][18] r[198][19] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[199][10] r[199][11] r[199][12] r[199][13] r[199][14] r[199][15] r[199][16] r[199][17] r[199][18] r[199][19] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[200][10] r[200][11] r[200][12] r[200][13] r[200][14] r[200][15] r[200][16] r[200][17] r[200][18] r[200][19] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[201][10] r[201][11] r[201][12] r[201][13] r[201][14] r[201][15] r[201][16] r[201][17] r[201][18] r[201][19] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[202][10] r[202][11] r[202][12] r[202][13] r[202][14] r[202][15] r[202][16] r[202][17] r[202][18] r[202][19] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[203][10] r[203][11] r[203][12] r[203][13] r[203][14] r[203][15] r[203][16] r[203][17] r[203][18] r[203][19] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[204][10] r[204][11] r[204][12] r[204][13] r[204][14] r[204][15] r[204][16] r[204][17] r[204][18] r[204][19] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[205][10] r[205][11] r[205][12] r[205][13] r[205][14] r[205][15] r[205][16] r[205][17] r[205][18] r[205][19] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[206][10] r[206][11] r[206][12] r[206][13] r[206][14] r[206][15] r[206][16] r[206][17] r[206][18] r[206][19] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[207][10] r[207][11] r[207][12] r[207][13] r[207][14] r[207][15] r[207][16] r[207][17] r[207][18] r[207][19] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[208][10] r[208][11] r[208][12] r[208][13] r[208][14] r[208][15] r[208][16] r[208][17] r[208][18] r[208][19] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[209][10] r[209][11] r[209][12] r[209][13] r[209][14] r[209][15] r[209][16] r[209][17] r[209][18] r[209][19] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[210][10] r[210][11] r[210][12] r[210][13] r[210][14] r[210][15] r[210][16] r[210][17] r[210][18] r[210][19] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[211][10] r[211][11] r[211][12] r[211][13] r[211][14] r[211][15] r[211][16] r[211][17] r[211][18] r[211][19] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[212][10] r[212][11] r[212][12] r[212][13] r[212][14] r[212][15] r[212][16] r[212][17] r[212][18] r[212][19] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[213][10] r[213][11] r[213][12] r[213][13] r[213][14] r[213][15] r[213][16] r[213][17] r[213][18] r[213][19] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[214][10] r[214][11] r[214][12] r[214][13] r[214][14] r[214][15] r[214][16] r[214][17] r[214][18] r[214][19] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[215][10] r[215][11] r[215][12] r[215][13] r[215][14] r[215][15] r[215][16] r[215][17] r[215][18] r[215][19] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[216][10] r[216][11] r[216][12] r[216][13] r[216][14] r[216][15] r[216][16] r[216][17] r[216][18] r[216][19] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[217][10] r[217][11] r[217][12] r[217][13] r[217][14] r[217][15] r[217][16] r[217][17] r[217][18] r[217][19] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[218][10] r[218][11] r[218][12] r[218][13] r[218][14] r[218][15] r[218][16] r[218][17] r[218][18] r[218][19] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[219][10] r[219][11] r[219][12] r[219][13] r[219][14] r[219][15] r[219][16] r[219][17] r[219][18] r[219][19] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[220][10] r[220][11] r[220][12] r[220][13] r[220][14] r[220][15] r[220][16] r[220][17] r[220][18] r[220][19] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[221][10] r[221][11] r[221][12] r[221][13] r[221][14] r[221][15] r[221][16] r[221][17] r[221][18] r[221][19] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[222][10] r[222][11] r[222][12] r[222][13] r[222][14] r[222][15] r[222][16] r[222][17] r[222][18] r[222][19] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[223][10] r[223][11] r[223][12] r[223][13] r[223][14] r[223][15] r[223][16] r[223][17] r[223][18] r[223][19]
2400.16/2269.81	v 	</list>
2400.16/2269.81	v 	<values>
2400.16/2269.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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 2 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 1 4 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 2 1 4 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 5 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 5 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 5 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 4 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 4 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 3 3 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 2 0 0 3 3 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 2 0 0 3 3 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 2 0 0 3 3 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 2 0 0 3 3 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 0 3 3 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 0 3 3 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 0 0 6 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 6 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 6 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 6 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 6 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 6 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 5 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 5 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 5 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 5 0 0 1 0 1 0 0 0 0 1 0 4 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 2 0 0 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 2 0 0 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 2 0 0 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 2 0 0 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 12 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 12 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 15 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 15 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 15 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 15 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 15 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 15 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 5 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 4 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 4 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 4 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 4 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 4 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 25 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 25 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 24 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 29 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 29 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 37 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 38 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 20 0 0 0 0 0 0 0 1 0 1 6 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 3 0 14 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 15 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 14 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 10 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 6 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.16/2269.81	v 	</values>
2400.16/2269.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-4246142-1500700534/watcher-4246142-1500700534 -o /tmp/evaluation-result-4246142-1500700534/solver-4246142-1500700534 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16346 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1988507824 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246142-1500700534.xml 

pid=18650
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.38 1.36 1.40 3/261 18653
/proc/meminfo: memFree=28346484/32770624 swapFree=6568/134008
[pid=18653] ppid=18650 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 2118 0 0 0 0 0 0 0 20 0 2 0 5318374 10889764864 2366 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 2658634 2366 1188 1 0 2647545 0
[pid=18653/tid=18654] ppid=18650 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 895 0 0 0 0 0 0 0 20 0 2 0 5318374 10889764864 2432 33554432000 4194304 4196468 140722850995888 140217805220256 140217793219557 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0

[startup+0.100123 s]
/proc/loadavg: 1.38 1.36 1.40 3/261 18653
/proc/meminfo: memFree=28346484/32770624 swapFree=6568/134008
[pid=18653] ppid=18650 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 5321 0 0 0 8 1 0 0 20 0 20 0 5318374 13582725120 5913 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3316095 5913 3031 1 0 3303815 0
[pid=18653/tid=18654] ppid=18650 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 3399 0 0 0 7 1 0 0 20 0 20 0 5318374 13582725120 5913 33554432000 4194304 4196468 140722850995888 140217805213088 140217757613635 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200498 s]
/proc/loadavg: 1.38 1.36 1.40 3/261 18653
/proc/meminfo: memFree=28346484/32770624 swapFree=6568/134008
[pid=18653] ppid=18650 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 8718 0 0 0 24 2 0 0 20 0 20 0 5318374 13582245888 8721 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3315978 8721 3497 1 0 3303698 0
[pid=18653/tid=18654] ppid=18650 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 6463 0 0 0 16 2 0 0 20 0 20 0 5318374 13582245888 8721 33554432000 4194304 4196468 140722850995888 140217805187728 140217785058654 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300458 s]
/proc/loadavg: 1.38 1.36 1.40 3/261 18653
/proc/meminfo: memFree=28346484/32770624 swapFree=6568/134008
[pid=18653] ppid=18650 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 9742 0 0 0 40 3 0 0 20 0 20 0 5318374 13582245888 10465 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3315978 10465 3665 1 0 3303698 0
[pid=18653/tid=18654] ppid=18650 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 7157 0 0 0 25 2 0 0 20 0 20 0 5318374 13582245888 10465 33554432000 4194304 4196468 140722850995888 140217805194704 140217785058654 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912

[startup+0.700353 s]
/proc/loadavg: 1.38 1.36 1.40 3/261 18653
/proc/meminfo: memFree=28346484/32770624 swapFree=6568/134008
[pid=18653] ppid=18650 vsize=13265980 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 12278 0 0 0 126 5 0 0 20 0 20 0 5318374 13584363520 18170 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3316495 18170 3766 1 0 3304210 0
[pid=18653/tid=18654] ppid=18650 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 8554 0 0 0 64 3 0 0 20 0 20 0 5318374 13584363520 18170 33554432000 4194304 4196468 140722850995888 140217805212440 140217414916443 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 13265980

[startup+1.50117 s]
/proc/loadavg: 1.38 1.36 1.40 6/281 18673
/proc/meminfo: memFree=28233068/32770624 swapFree=6568/134240
[pid=18653] ppid=18650 vsize=13268028 CPUtime=4.35 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 29227 0 0 0 424 11 0 0 20 0 20 0 5318374 13586460672 52477 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3317007 52477 3797 1 0 3304722 0
[pid=18653/tid=18654] ppid=18650 vsize=13268028 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 11142 0 0 0 140 6 0 0 20 0 20 0 5318374 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217805213288 140217418518607 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18655] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18655/stat : 18655 (java) S 18650 18653 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5318375 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217733114384 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18657] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18657/stat : 18657 (java) S 18650 18653 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5318375 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217732061840 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18658] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18658/stat : 18658 (java) S 18650 18653 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5318375 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217397774608 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18659] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18659/stat : 18659 (java) S 18650 18653 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5318375 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217396722064 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18660] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18660/stat : 18660 (java) S 18650 18653 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5318375 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217395670032 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18661] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18661/stat : 18661 (java) S 18650 18653 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5318376 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217394617488 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18662] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18662/stat : 18662 (java) S 18650 18653 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5318376 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217393564432 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18663] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18663/stat : 18663 (java) S 18650 18653 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5318376 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217392511888 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18664] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18664/stat : 18664 (java) S 18650 18653 14955 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5318378 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217331747056 140217800989314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18665] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18665/stat : 18665 (java) S 18650 18653 14955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5318379 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217330693280 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18666] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18666/stat : 18666 (java) S 18650 18653 14955 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5318379 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217329640176 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18667] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18667/stat : 18667 (java) S 18650 18653 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5318383 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217260435408 140217800996763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18668] ppid=18650 vsize=13268028 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18668/stat : 18668 (java) R 18650 18653 14955 0 -1 4202560 4713 0 0 0 72 0 0 0 20 0 20 0 5318383 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217259368496 140217786085849 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18669] ppid=18650 vsize=13268028 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18669/stat : 18669 (java) R 18650 18653 14955 0 -1 4202560 2759 0 0 0 68 0 0 0 20 0 20 0 5318383 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217258312008 140217785370148 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18670] ppid=18650 vsize=13268028 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18670/stat : 18670 (java) R 18650 18653 14955 0 -1 4202560 3696 0 0 0 78 0 0 0 20 0 20 0 5318383 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217257277072 140217785855537 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18671] ppid=18650 vsize=13268028 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18671/stat : 18671 (java) S 18650 18653 14955 0 -1 1077944384 5503 0 0 0 64 1 0 0 20 0 20 0 5318383 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217256225392 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18672] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18672/stat : 18672 (java) S 18650 18653 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5318383 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217255172576 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18673] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18673/stat : 18673 (java) S 18650 18653 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5318384 13586460672 52477 33554432000 4194304 4196468 140722850995888 140217254120112 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 13268028

[startup+3.10124 s]
/proc/loadavg: 1.59 1.41 1.41 6/281 18673
/proc/meminfo: memFree=28098808/32770624 swapFree=6568/134240
[pid=18653] ppid=18650 vsize=13268028 CPUtime=8.85 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 36908 0 0 0 863 22 0 0 20 0 20 0 5318374 13586460672 95905 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3317007 95905 3820 1 0 3304722 0
[pid=18653/tid=18654] ppid=18650 vsize=13268028 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 11679 0 0 0 293 8 0 0 20 0 20 0 5318374 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217805216000 140217419221910 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18655] ppid=18650 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18655/stat : 18655 (java) S 18650 18653 14955 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 20 0 5318375 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217733114384 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18657] ppid=18650 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18657/stat : 18657 (java) S 18650 18653 14955 0 -1 1077944384 125 0 0 0 1 1 0 0 20 0 20 0 5318375 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217732061840 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18658] ppid=18650 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18658/stat : 18658 (java) S 18650 18653 14955 0 -1 1077944384 46 0 0 0 2 1 0 0 20 0 20 0 5318375 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217397774608 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18659] ppid=18650 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18659/stat : 18659 (java) S 18650 18653 14955 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 20 0 5318375 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217396722064 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18660] ppid=18650 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18660/stat : 18660 (java) S 18650 18653 14955 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 20 0 5318375 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217395670032 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18661] ppid=18650 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18661/stat : 18661 (java) S 18650 18653 14955 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 20 0 5318376 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217394617488 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18662] ppid=18650 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18662/stat : 18662 (java) S 18650 18653 14955 0 -1 1077944384 46 0 0 0 1 1 0 0 20 0 20 0 5318376 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217393564432 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18663] ppid=18650 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18663/stat : 18663 (java) S 18650 18653 14955 0 -1 1077944384 697 0 0 0 1 1 0 0 20 0 20 0 5318376 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217392511888 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18664] ppid=18650 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18664/stat : 18664 (java) S 18650 18653 14955 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 20 0 5318378 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217331747056 140217800989314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18665] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18665/stat : 18665 (java) S 18650 18653 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5318379 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217330693344 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18666] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18666/stat : 18666 (java) S 18650 18653 14955 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5318379 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217329640192 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18667] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18667/stat : 18667 (java) S 18650 18653 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5318383 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217260435408 140217800996763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18668] ppid=18650 vsize=13268028 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18668/stat : 18668 (java) S 18650 18653 14955 0 -1 1077944384 5869 0 0 0 165 0 0 0 20 0 20 0 5318383 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217259383536 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18669] ppid=18650 vsize=13268028 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18669/stat : 18669 (java) S 18650 18653 14955 0 -1 1077944384 4773 0 0 0 159 1 0 0 20 0 20 0 5318383 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217258330992 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18670] ppid=18650 vsize=13268028 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18670/stat : 18670 (java) S 18650 18653 14955 0 -1 1077944384 5002 0 0 0 160 1 0 0 20 0 20 0 5318383 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217257277936 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18671] ppid=18650 vsize=13268028 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18671/stat : 18671 (java) S 18650 18653 14955 0 -1 1077944384 6414 0 0 0 68 1 0 0 20 0 20 0 5318383 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217256225392 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18672] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18672/stat : 18672 (java) S 18650 18653 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5318383 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217255172576 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18673] ppid=18650 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18673/stat : 18673 (java) S 18650 18653 14955 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 5318384 13586460672 95905 33554432000 4194304 4196468 140722850995888 140217254120112 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 8.85
Current children cumulated vsize (KiB) 13268028

[startup+6.30122 s]
/proc/loadavg: 1.59 1.41 1.41 3/281 18673
/proc/meminfo: memFree=27709448/32770624 swapFree=6568/134256
[pid=18653] ppid=18650 vsize=13270076 CPUtime=13.2 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 38231 0 0 0 1285 35 0 0 20 0 20 0 5318374 13588557824 161932 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3317519 161932 3822 1 0 3305234 0
[pid=18653/tid=18654] ppid=18650 vsize=13270076 CPUtime=6.18 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 12296 0 0 0 606 12 0 0 20 0 20 0 5318374 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217805213944 140217419698639 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18655] ppid=18650 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18655/stat : 18655 (java) S 18650 18653 14955 0 -1 1077944384 39 0 0 0 2 2 0 0 20 0 20 0 5318375 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217733114384 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18657] ppid=18650 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18657/stat : 18657 (java) S 18650 18653 14955 0 -1 1077944384 137 0 0 0 3 2 0 0 20 0 20 0 5318375 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217732061840 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18658] ppid=18650 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18658/stat : 18658 (java) S 18650 18653 14955 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 20 0 5318375 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217397774608 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18659] ppid=18650 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18659/stat : 18659 (java) S 18650 18653 14955 0 -1 1077944384 77 0 0 0 2 1 0 0 20 0 20 0 5318375 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217396722064 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18660] ppid=18650 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18660/stat : 18660 (java) S 18650 18653 14955 0 -1 1077944384 283 0 0 0 2 2 0 0 20 0 20 0 5318375 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217395670032 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18661] ppid=18650 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18661/stat : 18661 (java) S 18650 18653 14955 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 20 0 5318376 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217394617488 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18662] ppid=18650 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18662/stat : 18662 (java) S 18650 18653 14955 0 -1 1077944384 63 0 0 0 2 2 0 0 20 0 20 0 5318376 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217393564432 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18663] ppid=18650 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18663/stat : 18663 (java) S 18650 18653 14955 0 -1 1077944384 714 0 0 0 3 2 0 0 20 0 20 0 5318376 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217392511888 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18664] ppid=18650 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18664/stat : 18664 (java) S 18650 18653 14955 0 -1 1077944384 668 0 0 0 2 0 0 0 20 0 20 0 5318378 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217331747056 140217800989314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18665] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18665/stat : 18665 (java) S 18650 18653 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5318379 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217330693344 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18666] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18666/stat : 18666 (java) S 18650 18653 14955 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5318379 13588557824 161932 33554432000 4194304 4196468 140722850995888 140217329640192 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18667] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=18653/tid=18669] ppid=18650 vsize=13270076 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18669/stat : 18669 (java) S 18650 18653 14955 0 -1 1077944384 18943 0 0 0 305 3 0 0 20 0 20 0 5318383 13588557824 570858 33554432000 4194304 4196468 140722850995888 140217258330992 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18670] ppid=18650 vsize=13270076 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18670/stat : 18670 (java) S 18650 18653 14955 0 -1 1077944384 16209 0 0 0 290 2 0 0 20 0 20 0 5318383 13588557824 570858 33554432000 4194304 4196468 140722850995888 140217257277936 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18671] ppid=18650 vsize=13270076 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18671/stat : 18671 (java) S 18650 18653 14955 0 -1 1077944384 22961 0 0 0 106 3 0 0 20 0 20 0 5318383 13588557824 570858 33554432000 4194304 4196468 140722850995888 140217256225392 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18672] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18672/stat : 18672 (java) S 18650 18653 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5318383 13588557824 570858 33554432000 4194304 4196468 140722850995888 140217255172576 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18673] ppid=18650 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18673/stat : 18673 (java) S 18650 18653 14955 0 -1 1077944384 1245 0 0 0 61 63 0 0 20 0 20 0 5318384 13588557824 570858 33554432000 4194304 4196468 140722850995888 140217254120112 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 2265.32
Current children cumulated vsize (KiB) 13270076

[startup+2202.31 s]
/proc/loadavg: 1.60 1.74 1.76 3/281 18742
/proc/meminfo: memFree=25587264/32770624 swapFree=6568/136636
[pid=18653] ppid=18650 vsize=13270076 CPUtime=2328.8 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 414093 0 0 0 231978 902 0 0 20 0 20 0 5318374 13588557824 547437 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3317519 547437 3853 1 0 3305234 0
[pid=18653/tid=18654] ppid=18650 vsize=13270076 CPUtime=2181.32 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 124188 0 0 0 218046 86 0 0 20 0 20 0 5318374 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217805216192 140217421250704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18655] ppid=18650 vsize=13270076 CPUtime=16.9 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18655/stat : 18655 (java) S 18650 18653 14955 0 -1 1077944384 16295 0 0 0 1600 90 0 0 20 0 20 0 5318375 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217733114384 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18657] ppid=18650 vsize=13270076 CPUtime=17.13 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18657/stat : 18657 (java) S 18650 18653 14955 0 -1 1077944384 13652 0 0 0 1619 94 0 0 20 0 20 0 5318375 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217732061840 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18658] ppid=18650 vsize=13270076 CPUtime=16.97 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18658/stat : 18658 (java) S 18650 18653 14955 0 -1 1077944384 14395 0 0 0 1603 94 0 0 20 0 20 0 5318375 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217397774608 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18659] ppid=18650 vsize=13270076 CPUtime=16.77 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18659/stat : 18659 (java) S 18650 18653 14955 0 -1 1077944384 15586 0 0 0 1584 93 0 0 20 0 20 0 5318375 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217396722064 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18660] ppid=18650 vsize=13270076 CPUtime=16.85 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18660/stat : 18660 (java) S 18650 18653 14955 0 -1 1077944384 14647 0 0 0 1592 93 0 0 20 0 20 0 5318375 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217395670032 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18661] ppid=18650 vsize=13270076 CPUtime=16.63 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18661/stat : 18661 (java) S 18650 18653 14955 0 -1 1077944384 15653 0 0 0 1574 89 0 0 20 0 20 0 5318376 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217394617488 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18662] ppid=18650 vsize=13270076 CPUtime=16.71 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18662/stat : 18662 (java) S 18650 18653 14955 0 -1 1077944384 14076 0 0 0 1585 86 0 0 20 0 20 0 5318376 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217393564432 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18663] ppid=18650 vsize=13270076 CPUtime=16.89 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18663/stat : 18663 (java) S 18650 18653 14955 0 -1 1077944384 15299 0 0 0 1601 88 0 0 20 0 20 0 5318376 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217392511888 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18664] ppid=18650 vsize=13270076 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18664/stat : 18664 (java) S 18650 18653 14955 0 -1 1077944384 93741 0 0 0 108 29 0 0 20 0 20 0 5318378 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217331747056 140217800989314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18665] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18665/stat : 18665 (java) S 18650 18653 14955 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5318379 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217330693344 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18666] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18666/stat : 18666 (java) S 18650 18653 14955 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 5318379 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217329640192 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18667] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18667/stat : 18667 (java) S 18650 18653 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5318383 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217260435408 140217800996763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18668] ppid=18650 vsize=13270076 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18668/stat : 18668 (java) S 18650 18653 14955 0 -1 1077944384 15703 0 0 0 273 2 0 0 20 0 20 0 5318383 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217259383536 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18669] ppid=18650 vsize=13270076 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18669/stat : 18669 (java) S 18650 18653 14955 0 -1 1077944384 18946 0 0 0 305 3 0 0 20 0 20 0 5318383 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217258330992 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18670] ppid=18650 vsize=13270076 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18670/stat : 18670 (java) S 18650 18653 14955 0 -1 1077944384 16213 0 0 0 290 2 0 0 20 0 20 0 5318383 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217257277936 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18671] ppid=18650 vsize=13270076 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18671/stat : 18671 (java) S 18650 18653 14955 0 -1 1077944384 22968 0 0 0 106 3 0 0 20 0 20 0 5318383 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217256225392 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18672] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18672/stat : 18672 (java) S 18650 18653 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5318383 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217255172576 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18673] ppid=18650 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18673/stat : 18673 (java) S 18650 18653 14955 0 -1 1077944384 1291 0 0 0 63 65 0 0 20 0 20 0 5318384 13588557824 547437 33554432000 4194304 4196468 140722850995888 140217254120112 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 2328.8
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.79 1.76 1.77 3/281 18830
/proc/meminfo: memFree=29004120/32770624 swapFree=6568/136808
[pid=18653] ppid=18650 vsize=13270076 CPUtime=2392.22 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 426345 0 0 0 238315 907 0 0 20 0 20 0 5318374 13588557824 523916 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3317519 523916 3853 1 0 3305234 0
[pid=18653/tid=18654] ppid=18650 vsize=13270076 CPUtime=2240.69 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 127444 0 0 0 223983 86 0 0 20 0 20 0 5318374 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217805216240 140217419698672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18655] ppid=18650 vsize=13270076 CPUtime=17.38 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18655/stat : 18655 (java) S 18650 18653 14955 0 -1 1077944384 16816 0 0 0 1648 90 0 0 20 0 20 0 5318375 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217733114384 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18657] ppid=18650 vsize=13270076 CPUtime=17.64 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18657/stat : 18657 (java) S 18650 18653 14955 0 -1 1077944384 13997 0 0 0 1669 95 0 0 20 0 20 0 5318375 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217732061840 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18658] ppid=18650 vsize=13270076 CPUtime=17.48 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18658/stat : 18658 (java) S 18650 18653 14955 0 -1 1077944384 14829 0 0 0 1654 94 0 0 20 0 20 0 5318375 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217397774608 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18659] ppid=18650 vsize=13270076 CPUtime=17.26 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18659/stat : 18659 (java) S 18650 18653 14955 0 -1 1077944384 16081 0 0 0 1633 93 0 0 20 0 20 0 5318375 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217396722064 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18660] ppid=18650 vsize=13270076 CPUtime=17.33 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18660/stat : 18660 (java) S 18650 18653 14955 0 -1 1077944384 15095 0 0 0 1640 93 0 0 20 0 20 0 5318375 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217395670032 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18661] ppid=18650 vsize=13270076 CPUtime=17.09 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18661/stat : 18661 (java) S 18650 18653 14955 0 -1 1077944384 15983 0 0 0 1620 89 0 0 20 0 20 0 5318376 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217394617488 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18662] ppid=18650 vsize=13270076 CPUtime=17.22 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18662/stat : 18662 (java) S 18650 18653 14955 0 -1 1077944384 14352 0 0 0 1635 87 0 0 20 0 20 0 5318376 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217393564432 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18663] ppid=18650 vsize=13270076 CPUtime=17.39 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18663/stat : 18663 (java) S 18650 18653 14955 0 -1 1077944384 16180 0 0 0 1651 88 0 0 20 0 20 0 5318376 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217392511888 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18664] ppid=18650 vsize=13270076 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18664/stat : 18664 (java) S 18650 18653 14955 0 -1 1077944384 98962 0 0 0 111 30 0 0 20 0 20 0 5318378 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217331747056 140217800989314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18665] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18665/stat : 18665 (java) S 18650 18653 14955 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5318379 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217330693344 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18666] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18666/stat : 18666 (java) S 18650 18653 14955 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 5318379 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217329640192 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18667] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18667/stat : 18667 (java) S 18650 18653 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5318383 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217260435408 140217800996763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18668] ppid=18650 vsize=13270076 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18668/stat : 18668 (java) S 18650 18653 14955 0 -1 1077944384 15705 0 0 0 273 2 0 0 20 0 20 0 5318383 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217259383536 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18669] ppid=18650 vsize=13270076 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18669/stat : 18669 (java) S 18650 18653 14955 0 -1 1077944384 18949 0 0 0 305 3 0 0 20 0 20 0 5318383 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217258330992 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18670] ppid=18650 vsize=13270076 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18670/stat : 18670 (java) S 18650 18653 14955 0 -1 1077944384 16215 0 0 0 290 2 0 0 20 0 20 0 5318383 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217257277936 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18671] ppid=18650 vsize=13270076 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18671/stat : 18671 (java) S 18650 18653 14955 0 -1 1077944384 22970 0 0 0 106 3 0 0 20 0 20 0 5318383 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217256225392 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18672] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18672/stat : 18672 (java) S 18650 18653 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5318383 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217255172576 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18673] ppid=18650 vsize=13270076 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18673/stat : 18673 (java) S 18650 18653 14955 0 -1 1077944384 1327 0 0 0 66 66 0 0 20 0 20 0 5318384 13588557824 523916 33554432000 4194304 4196468 140722850995888 140217254120112 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 2392.22
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2269.8 s]
/proc/loadavg: 1.82 1.76 1.77 3/281 18830
/proc/meminfo: memFree=28994500/32770624 swapFree=6568/136816
[pid=18653] ppid=18650 vsize=13270076 CPUtime=2400.16 cores=1,3,5,7,9,11,13,15
/proc/18653/stat : 18653 (java) S 18650 18653 14955 0 -1 1077944320 427363 0 0 0 239109 907 0 0 20 0 20 0 5318374 13588557824 521022 33554432000 4194304 4196468 140722850995888 140722850978432 140217800978167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
/proc/18653/statm: 3317519 521022 3853 1 0 3305234 0
[pid=18653/tid=18654] ppid=18650 vsize=13270076 CPUtime=2248.11 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18654/stat : 18654 (java) R 18650 18653 14955 0 -1 4202560 127580 0 0 0 224725 86 0 0 20 0 20 0 5318374 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217805216240 140217416017812 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18655] ppid=18650 vsize=13270076 CPUtime=17.44 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18655/stat : 18655 (java) S 18650 18653 14955 0 -1 1077944384 16864 0 0 0 1654 90 0 0 20 0 20 0 5318375 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217733114384 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18657] ppid=18650 vsize=13270076 CPUtime=17.72 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18657/stat : 18657 (java) S 18650 18653 14955 0 -1 1077944384 14026 0 0 0 1677 95 0 0 20 0 20 0 5318375 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217732061840 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18658] ppid=18650 vsize=13270076 CPUtime=17.54 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18658/stat : 18658 (java) S 18650 18653 14955 0 -1 1077944384 14889 0 0 0 1660 94 0 0 20 0 20 0 5318375 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217397774608 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18659] ppid=18650 vsize=13270076 CPUtime=17.33 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18659/stat : 18659 (java) S 18650 18653 14955 0 -1 1077944384 16101 0 0 0 1640 93 0 0 20 0 20 0 5318375 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217396722064 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18660] ppid=18650 vsize=13270076 CPUtime=17.4 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18660/stat : 18660 (java) S 18650 18653 14955 0 -1 1077944384 15144 0 0 0 1647 93 0 0 20 0 20 0 5318375 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217395670032 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18661] ppid=18650 vsize=13270076 CPUtime=17.14 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18661/stat : 18661 (java) S 18650 18653 14955 0 -1 1077944384 16097 0 0 0 1625 89 0 0 20 0 20 0 5318376 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217394617488 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18662] ppid=18650 vsize=13270076 CPUtime=17.29 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18662/stat : 18662 (java) S 18650 18653 14955 0 -1 1077944384 14404 0 0 0 1642 87 0 0 20 0 20 0 5318376 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217393564432 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18663] ppid=18650 vsize=13270076 CPUtime=17.46 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18663/stat : 18663 (java) S 18650 18653 14955 0 -1 1077944384 16234 0 0 0 1658 88 0 0 20 0 20 0 5318376 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217392511888 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18664] ppid=18650 vsize=13270076 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18664/stat : 18664 (java) S 18650 18653 14955 0 -1 1077944384 98964 0 0 0 112 30 0 0 20 0 20 0 5318378 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217331747056 140217800989314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18665] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18665/stat : 18665 (java) S 18650 18653 14955 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5318379 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217330693344 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18666] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18666/stat : 18666 (java) S 18650 18653 14955 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 5318379 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217329640192 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18667] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18667/stat : 18667 (java) S 18650 18653 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5318383 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217260435408 140217800996763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18668] ppid=18650 vsize=13270076 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18668/stat : 18668 (java) S 18650 18653 14955 0 -1 1077944384 15705 0 0 0 273 2 0 0 20 0 20 0 5318383 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217259383536 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18669] ppid=18650 vsize=13270076 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18669/stat : 18669 (java) S 18650 18653 14955 0 -1 1077944384 19401 0 0 0 306 3 0 0 20 0 20 0 5318383 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217258330992 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18670] ppid=18650 vsize=13270076 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18670/stat : 18670 (java) S 18650 18653 14955 0 -1 1077944384 16215 0 0 0 290 2 0 0 20 0 20 0 5318383 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217257277936 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18671] ppid=18650 vsize=13270076 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18671/stat : 18671 (java) S 18650 18653 14955 0 -1 1077944384 22970 0 0 0 106 3 0 0 20 0 20 0 5318383 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217256225392 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18672] ppid=18650 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18672/stat : 18672 (java) S 18650 18653 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5318383 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217255172576 140217800988373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
[pid=18653/tid=18673] ppid=18650 vsize=13270076 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/18653/task/18673/stat : 18673 (java) S 18650 18653 14955 0 -1 1077944384 1329 0 0 0 66 66 0 0 20 0 20 0 5318384 13588557824 521022 33554432000 4194304 4196468 140722850995888 140217254120112 140217800989314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140722851001485 140722851001668 140722851001668 140722851004367 0
Current children cumulated CPU time (s) 2400.16
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 18653 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2269.85
CPU time (s): 2400.24
CPU user time (s): 2391.14
CPU system time (s): 9.10434
CPU usage (%): 105.745
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.14
system time used= 9.10435
maximum resident set size= 2430672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95511
involuntary context switches= 131323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4077 second user time and 19.2887 second system time

The end

Launcher Data

Begin job on node148 at 2017-07-22 07:15:34
IDJOB=4246142
IDBENCH=124189
IDSOLVER=2629
FILE ID=node148/4246142-1500700534
RUNJOBID= node148-1500684084-16346
PBS_JOBID= 20623032
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-6.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-4246142-1500700534/watcher-4246142-1500700534 -o /tmp/evaluation-result-4246142-1500700534/solver-4246142-1500700534 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16346 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1988507824 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246142-1500700534.xml

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

MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e
RANDOM SEED=1988507824

node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
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		: 2668.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.21
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
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		: 1733.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.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.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.21
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		: 2400.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		: 2667.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.21
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		: 2267.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.21
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
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		: 2133.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:        28345744 kB
MemAvailable:   28533692 kB
Buffers:          137364 kB
Cached:           320200 kB
SwapCached:            0 kB
Active:          3766952 kB
Inactive:         195672 kB
Active(anon):    3455188 kB
Inactive(anon):    61544 kB
Active(file):     311764 kB
Inactive(file):   134128 kB
Unevictable:        6568 kB
Mlocked:            6568 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42272 kB
Writeback:             0 kB
AnonPages:       3518084 kB
Mapped:            45264 kB
Shmem:              8848 kB
Slab:             149648 kB
SReclaimable:     115784 kB
SUnreclaim:        33864 kB
KernelStack:        4656 kB
PageTables:        12312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4456180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3379200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61948 MiB
End job on node148 at 2017-07-22 07:53:24

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml
MD5SUM	4f6b0364d1c2702efbd3acc25cc5ef4e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	199
Best CPU time to get the best result obtained on this benchmark	2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	4704
Number of constraints	246
Number of domains	20
Minimum domain size	2
Maximum domain size	160
Distribution of domain sizes	[{"size":2,"count":224},{"size":8,"count":224},{"size":12,"count":224},{"size":36,"count":448},{"size":42,"count":224},{"size":75,"count":224},{"size":79,"count":224},{"size":93,"count":224},{"size":110,"count":224},{"size":117,"count":224},{"size":121,"count":224},{"size":123,"count":224},{"size":126,"count":224},{"size":139,"count":224},{"size":141,"count":224},{"size":142,"count":224},{"size":149,"count":224},{"size":153,"count":224},{"size":158,"count":224},{"size":160,"count":224}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":4704}]
Minimum constraint arity	21
Maximum constraint arity	4480
Distribution of constraint arities	[{"arity":21,"count":224},{"arity":224,"count":21},{"arity":4480,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":244}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4246142

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