0.24/0.39	c version: 2017-07-26
0.24/0.39	c seed: 134631134
0.24/0.39	c timeout: 264
0.24/0.39	c memlimit: 11000
0.24/0.39	c nbcore: 4
0.41/0.41	c Parsing instance...
2.12/1.18	c Parsing done, starting search...
8.17/3.33	o 240
252.61/240.00	s SATISFIABLE
252.61/240.01	v <instantiation>
252.61/240.01	v 	<list>
252.61/240.01	v 		p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[194][10] r[194][11] r[194][12] r[194][13] r[194][14] r[194][15] r[194][16] r[194][17] r[194][18] r[194][19] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[195][10] r[195][11] r[195][12] r[195][13] r[195][14] r[195][15] r[195][16] r[195][17] r[195][18] r[195][19] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[196][10] r[196][11] r[196][12] r[196][13] r[196][14] r[196][15] r[196][16] r[196][17] r[196][18] r[196][19] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[197][10] r[197][11] r[197][12] r[197][13] r[197][14] r[197][15] r[197][16] r[197][17] r[197][18] r[197][19] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[198][10] r[198][11] r[198][12] r[198][13] r[198][14] r[198][15] r[198][16] r[198][17] r[198][18] r[198][19] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[199][10] r[199][11] r[199][12] r[199][13] r[199][14] r[199][15] r[199][16] r[199][17] r[199][18] r[199][19] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[200][10] r[200][11] r[200][12] r[200][13] r[200][14] r[200][15] r[200][16] r[200][17] r[200][18] r[200][19] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[201][10] r[201][11] r[201][12] r[201][13] r[201][14] r[201][15] r[201][16] r[201][17] r[201][18] r[201][19] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[202][10] r[202][11] r[202][12] r[202][13] r[202][14] r[202][15] r[202][16] r[202][17] r[202][18] r[202][19] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[203][10] r[203][11] r[203][12] r[203][13] r[203][14] r[203][15] r[203][16] r[203][17] r[203][18] r[203][19] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[204][10] r[204][11] r[204][12] r[204][13] r[204][14] r[204][15] r[204][16] r[204][17] r[204][18] r[204][19] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[205][10] r[205][11] r[205][12] r[205][13] r[205][14] r[205][15] r[205][16] r[205][17] r[205][18] r[205][19] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[206][10] r[206][11] r[206][12] r[206][13] r[206][14] r[206][15] r[206][16] r[206][17] r[206][18] r[206][19] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[207][10] r[207][11] r[207][12] r[207][13] r[207][14] r[207][15] r[207][16] r[207][17] r[207][18] r[207][19] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[208][10] r[208][11] r[208][12] r[208][13] r[208][14] r[208][15] r[208][16] r[208][17] r[208][18] r[208][19] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[209][10] r[209][11] r[209][12] r[209][13] r[209][14] r[209][15] r[209][16] r[209][17] r[209][18] r[209][19] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[210][10] r[210][11] r[210][12] r[210][13] r[210][14] r[210][15] r[210][16] r[210][17] r[210][18] r[210][19] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[211][10] r[211][11] r[211][12] r[211][13] r[211][14] r[211][15] r[211][16] r[211][17] r[211][18] r[211][19] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[212][10] r[212][11] r[212][12] r[212][13] r[212][14] r[212][15] r[212][16] r[212][17] r[212][18] r[212][19] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[213][10] r[213][11] r[213][12] r[213][13] r[213][14] r[213][15] r[213][16] r[213][17] r[213][18] r[213][19] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[214][10] r[214][11] r[214][12] r[214][13] r[214][14] r[214][15] r[214][16] r[214][17] r[214][18] r[214][19] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[215][10] r[215][11] r[215][12] r[215][13] r[215][14] r[215][15] r[215][16] r[215][17] r[215][18] r[215][19] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[216][10] r[216][11] r[216][12] r[216][13] r[216][14] r[216][15] r[216][16] r[216][17] r[216][18] r[216][19] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[217][10] r[217][11] r[217][12] r[217][13] r[217][14] r[217][15] r[217][16] r[217][17] r[217][18] r[217][19] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[218][10] r[218][11] r[218][12] r[218][13] r[218][14] r[218][15] r[218][16] r[218][17] r[218][18] r[218][19] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[219][10] r[219][11] r[219][12] r[219][13] r[219][14] r[219][15] r[219][16] r[219][17] r[219][18] r[219][19] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[220][10] r[220][11] r[220][12] r[220][13] r[220][14] r[220][15] r[220][16] r[220][17] r[220][18] r[220][19] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[221][10] r[221][11] r[221][12] r[221][13] r[221][14] r[221][15] r[221][16] r[221][17] r[221][18] r[221][19] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[222][10] r[222][11] r[222][12] r[222][13] r[222][14] r[222][15] r[222][16] r[222][17] r[222][18] r[222][19] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[223][10] r[223][11] r[223][12] r[223][13] r[223][14] r[223][15] r[223][16] r[223][17] r[223][18] r[223][19] r[224][0] r[224][1] r[224][2] r[224][3] r[224][4] r[224][5] r[224][6] r[224][7] r[224][8] r[224][9] r[224][10] r[224][11] r[224][12] r[224][13] r[224][14] r[224][15] r[224][16] r[224][17] r[224][18] r[224][19] r[225][0] r[225][1] r[225][2] r[225][3] r[225][4] r[225][5] r[225][6] r[225][7] r[225][8] r[225][9] r[225][10] r[225][11] r[225][12] r[225][13] r[225][14] r[225][15] r[225][16] r[225][17] r[225][18] r[225][19] r[226][0] r[226][1] r[226][2] r[226][3] r[226][4] r[226][5] r[226][6] r[226][7] r[226][8] r[226][9] r[226][10] r[226][11] r[226][12] r[226][13] r[226][14] r[226][15] r[226][16] r[226][17] r[226][18] r[226][19] r[227][0] r[227][1] r[227][2] r[227][3] r[227][4] r[227][5] r[227][6] r[227][7] r[227][8] r[227][9] r[227][10] r[227][11] r[227][12] r[227][13] r[227][14] r[227][15] r[227][16] r[227][17] r[227][18] r[227][19] r[228][0] r[228][1] r[228][2] r[228][3] r[228][4] r[228][5] r[228][6] r[228][7] r[228][8] r[228][9] r[228][10] r[228][11] r[228][12] r[228][13] r[228][14] r[228][15] r[228][16] r[228][17] r[228][18] r[228][19] r[229][0] r[229][1] r[229][2] r[229][3] r[229][4] r[229][5] r[229][6] r[229][7] r[229][8] r[229][9] r[229][10] r[229][11] r[229][12] r[229][13] r[229][14] r[229][15] r[229][16] r[229][17] r[229][18] r[229][19] r[230][0] r[230][1] r[230][2] r[230][3] r[230][4] r[230][5] r[230][6] r[230][7] r[230][8] r[230][9] r[230][10] r[230][11] r[230][12] r[230][13] r[230][14] r[230][15] r[230][16] r[230][17] r[230][18] r[230][19] r[231][0] r[231][1] r[231][2] r[231][3] r[231][4] r[231][5] r[231][6] r[231][7] r[231][8] r[231][9] r[231][10] r[231][11] r[231][12] r[231][13] r[231][14] r[231][15] r[231][16] r[231][17] r[231][18] r[231][19] r[232][0] r[232][1] r[232][2] r[232][3] r[232][4] r[232][5] r[232][6] r[232][7] r[232][8] r[232][9] r[232][10] r[232][11] r[232][12] r[232][13] r[232][14] r[232][15] r[232][16] r[232][17] r[232][18] r[232][19] r[233][0] r[233][1] r[233][2] r[233][3] r[233][4] r[233][5] r[233][6] r[233][7] r[233][8] r[233][9] r[233][10] r[233][11] r[233][12] r[233][13] r[233][14] r[233][15] r[233][16] r[233][17] r[233][18] r[233][19] r[234][0] r[234][1] r[234][2] r[234][3] r[234][4] r[234][5] r[234][6] r[234][7] r[234][8] r[234][9] r[234][10] r[234][11] r[234][12] r[234][13] r[234][14] r[234][15] r[234][16] r[234][17] r[234][18] r[234][19] r[235][0] r[235][1] r[235][2] r[235][3] r[235][4] r[235][5] r[235][6] r[235][7] r[235][8] r[235][9] r[235][10] r[235][11] r[235][12] r[235][13] r[235][14] r[235][15] r[235][16] r[235][17] r[235][18] r[235][19] r[236][0] r[236][1] r[236][2] r[236][3] r[236][4] r[236][5] r[236][6] r[236][7] r[236][8] r[236][9] r[236][10] r[236][11] r[236][12] r[236][13] r[236][14] r[236][15] r[236][16] r[236][17] r[236][18] r[236][19] r[237][0] r[237][1] r[237][2] r[237][3] r[237][4] r[237][5] r[237][6] r[237][7] r[237][8] r[237][9] r[237][10] r[237][11] r[237][12] r[237][13] r[237][14] r[237][15] r[237][16] r[237][17] r[237][18] r[237][19] r[238][0] r[238][1] r[238][2] r[238][3] r[238][4] r[238][5] r[238][6] r[238][7] r[238][8] r[238][9] r[238][10] r[238][11] r[238][12] r[238][13] r[238][14] r[238][15] r[238][16] r[238][17] r[238][18] r[238][19] r[239][0] r[239][1] r[239][2] r[239][3] r[239][4] r[239][5] r[239][6] r[239][7] r[239][8] r[239][9] r[239][10] r[239][11] r[239][12] r[239][13] r[239][14] r[239][15] r[239][16] r[239][17] r[239][18] r[239][19]
252.61/240.01	v 	</list>
252.61/240.01	v 	<values>
252.61/240.01	v 		1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 12 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 20 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 20 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 2 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 2 1 0 2 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 2 1 0 2 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 2 1 0 2 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 2 1 0 2 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 2 1 0 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 1 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 1 0 4 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 4 0 0 0 0 0 0 1 1 0 1 0 0 0 2 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 1 0 0 0 2 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 1 0 0 0 2 0 0 0 0 5 0 0 0 0 0 0 1 0 0 0 1 0 0 0 2 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 1 0 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 1 0 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 2 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 19 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 4 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 4 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 4 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 4 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 4 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 1 0 6 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 2 0 0 0 1 7 0 0 1 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 1 0 5 3 0 0 1 0 0 0 0 0 0 1 0 0 2 0 0 0 1 0 5 3 0 0 1 0 0 0 0 0 0 1 0 0 2 0 0 0 1 0 5 3 0 0 1 0 0 0 0 0 0 1 0 0 2 0 0 0 1 0 5 3 0 0 1 0 0 0 0 0 0 1 0 0 2 0 0 0 1 0 5 3 0 0 1 0 0 0 0 0 0 1 0 0 2 0 0 0 1 0 5 3 0 0 1 0 0 0 0 0 0 1 0 0 2 0 0 0 1 0 0 9 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 2 12 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 2 12 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 2 12 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 2 12 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 2 12 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 2 12 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 2 12 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 2 12 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 2 0 15 0 0 0 0 0 0 0 1 0 0 1 0 0 2 6 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 6 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 5 0 0 0 0 1 0 0 0 0 0 
252.61/240.01	v 	</values>
252.61/240.01	v </instantiation>

OK	240

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-4255469-1501629733/watcher-4255469-1501629733 -o /tmp/evaluation-result-4255469-1501629733/solver-4255469-1501629733 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501623099-24766 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 134631134 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255469-1501629733.xml 

pid=28827
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.60 1.75 1.68 4/199 28830
/proc/meminfo: memFree=28558368/32770624 swapFree=0/301036
[pid=28830] ppid=28827 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28830/stat : 28830 (runsolver) D 28827 28830 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10479044 24240128 108 18446744073709551615 4194304 4338465 140732823117376 140732823115016 140110680552151 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 12615680 140732823122029 140732823122502 140732823122502 140732823125962 0
/proc/28830/statm: 5918 108 54 36 0 2156 0

[startup+0.100156 s]
/proc/loadavg: 1.60 1.75 1.68 4/199 28830
/proc/meminfo: memFree=28558368/32770624 swapFree=0/301036
[pid=28830] ppid=28827 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28830/stat : 28830 (runsolver) D 28827 28830 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10479044 24240128 108 18446744073709551615 4194304 4338465 140732823117376 140732823115016 140110680552151 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 12615680 140732823122029 140732823122502 140732823122502 140732823125962 0
/proc/28830/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200303 s]
/proc/loadavg: 1.60 1.75 1.68 4/199 28830
/proc/meminfo: memFree=28558368/32770624 swapFree=0/301036
[pid=28830] ppid=28827 vsize=13976388 CPUtime=0.06 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 5802 0 0 0 5 1 0 0 20 0 15 0 10479044 14311821312 6332 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3494097 6332 3200 1 0 3482884 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13976388

[startup+0.310737 s]
/proc/loadavg: 1.60 1.75 1.68 4/199 28830
/proc/meminfo: memFree=28558368/32770624 swapFree=0/301036
[pid=28830] ppid=28827 vsize=13975920 CPUtime=0.24 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 10203 0 0 0 21 3 0 0 20 0 15 0 10479044 14311342080 9994 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3493980 9994 3537 1 0 3482767 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13975920

[startup+0.700243 s]
/proc/loadavg: 1.60 1.75 1.68 4/199 28830
/proc/meminfo: memFree=28558368/32770624 swapFree=0/301036
[pid=28830] ppid=28827 vsize=13977988 CPUtime=1.03 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 13919 0 0 0 99 4 0 0 20 0 15 0 10479044 14313459712 17270 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3494497 17270 3731 1 0 3483279 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13977988

[startup+1.50067 s]
/proc/loadavg: 1.63 1.75 1.68 4/214 28845
/proc/meminfo: memFree=28454764/32770624 swapFree=0/301048
[pid=28830] ppid=28827 vsize=13982084 CPUtime=3.32 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 29909 0 0 0 323 9 0 0 20 0 15 0 10479044 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3495521 48852 3765 1 0 3484303 0
[pid=28830/tid=28832] ppid=28827 vsize=13982084 CPUtime=1.34 cores=1,3,5,7
/proc/28830/task/28832/stat : 28832 (java) R 28827 28830 5234 0 -1 4202560 14371 0 0 0 129 5 0 0 20 0 15 0 10479054 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140485239423824 140485235208794 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28833] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28833/stat : 28833 (java) S 28827 28830 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10479055 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140485169621392 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28834] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28834/stat : 28834 (java) S 28827 28830 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10479055 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140485168568592 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28835] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28835/stat : 28835 (java) S 28827 28830 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10479055 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140485167516304 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28836] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28836/stat : 28836 (java) S 28827 28830 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10479055 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140485166463504 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28837] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28837/stat : 28837 (java) S 28827 28830 5234 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10479056 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140484152388208 140485235198594 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28838] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28838/stat : 28838 (java) S 28827 28830 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140484151334176 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28839] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28839/stat : 28839 (java) S 28827 28830 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140484150281840 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28840] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28840/stat : 28840 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479059 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140484149230160 140485235206043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28841] ppid=28827 vsize=13982084 CPUtime=0.68 cores=1,3,5,7
/proc/28830/task/28841/stat : 28841 (java) R 28827 28830 5234 0 -1 4202560 3705 0 0 0 68 0 0 0 20 0 15 0 10479060 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140484148169496 140485218686605 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28842] ppid=28827 vsize=13982084 CPUtime=0.68 cores=1,3,5,7
/proc/28830/task/28842/stat : 28842 (java) R 28827 28830 5234 0 -1 4202560 4335 0 0 0 68 0 0 0 20 0 15 0 10479060 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140484147110392 140485227476896 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28843] ppid=28827 vsize=13982084 CPUtime=0.57 cores=1,3,5,7
/proc/28830/task/28843/stat : 28843 (java) S 28827 28830 5234 0 -1 1077944384 6109 0 0 0 56 1 0 0 20 0 15 0 10479060 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140484146071920 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28844] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28844/stat : 28844 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479060 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140484145019360 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28845] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28845/stat : 28845 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479063 14317654016 48852 18446744073709551615 4194304 4196468 140723596825536 140484143967152 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 13982084

[startup+3.10071 s]
/proc/loadavg: 1.63 1.75 1.68 5/214 28845
/proc/meminfo: memFree=28333604/32770624 swapFree=0/301048
[pid=28830] ppid=28827 vsize=13982084 CPUtime=7.92 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 41163 0 0 0 779 13 0 0 20 0 15 0 10479044 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3495521 92456 3793 1 0 3484303 0
[pid=28830/tid=28832] ppid=28827 vsize=13982084 CPUtime=2.87 cores=1,3,5,7
/proc/28830/task/28832/stat : 28832 (java) R 28827 28830 5234 0 -1 4202560 14834 0 0 0 280 7 0 0 20 0 15 0 10479054 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140485239422048 140484848532998 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28833] ppid=28827 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/28830/task/28833/stat : 28833 (java) S 28827 28830 5234 0 -1 1077944384 835 0 0 0 5 0 0 0 20 0 15 0 10479055 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140485169621392 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28834] ppid=28827 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/28830/task/28834/stat : 28834 (java) S 28827 28830 5234 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 15 0 10479055 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140485168568592 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28835] ppid=28827 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/28830/task/28835/stat : 28835 (java) S 28827 28830 5234 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 15 0 10479055 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140485167516304 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28836] ppid=28827 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/28830/task/28836/stat : 28836 (java) S 28827 28830 5234 0 -1 1077944384 47 0 0 0 2 0 0 0 20 0 15 0 10479055 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140485166463504 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28837] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28837/stat : 28837 (java) S 28827 28830 5234 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 10479056 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140484152388208 140485235198594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28838] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28838/stat : 28838 (java) S 28827 28830 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140484151334240 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28839] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28839/stat : 28839 (java) S 28827 28830 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140484150281856 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28840] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28840/stat : 28840 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479059 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140484149230160 140485235206043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28841] ppid=28827 vsize=13982084 CPUtime=2.11 cores=1,3,5,7
/proc/28830/task/28841/stat : 28841 (java) S 28827 28830 5234 0 -1 1077944384 7685 0 0 0 210 1 0 0 20 0 15 0 10479060 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140484148177008 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28842] ppid=28827 vsize=13982084 CPUtime=2.16 cores=1,3,5,7
/proc/28830/task/28842/stat : 28842 (java) R 28827 28830 5234 0 -1 4202560 8531 0 0 0 215 1 0 0 20 0 15 0 10479060 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140484147124208 140485216536065 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28843] ppid=28827 vsize=13982084 CPUtime=0.6 cores=1,3,5,7
/proc/28830/task/28843/stat : 28843 (java) S 28827 28830 5234 0 -1 1077944384 7079 0 0 0 59 1 0 0 20 0 15 0 10479060 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140484146071920 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28844] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28844/stat : 28844 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479060 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140484145019360 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28845] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28845/stat : 28845 (java) S 28827 28830 5234 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 10479063 14317654016 92456 18446744073709551615 4194304 4196468 140723596825536 140484143967152 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 13982084

[startup+6.3007 s]
/proc/loadavg: 1.63 1.75 1.68 3/214 28845
/proc/meminfo: memFree=28099000/32770624 swapFree=0/301060
[pid=28830] ppid=28827 vsize=13982084 CPUtime=12.09 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 42755 0 0 0 1190 19 0 0 20 0 15 0 10479044 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3495521 133507 3797 1 0 3484303 0
[pid=28830/tid=28832] ppid=28827 vsize=13982084 CPUtime=6.05 cores=1,3,5,7
/proc/28830/task/28832/stat : 28832 (java) R 28827 28830 5234 0 -1 4202560 15849 0 0 0 595 10 0 0 20 0 15 0 10479054 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140485239422200 140484849519135 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28833] ppid=28827 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/28830/task/28833/stat : 28833 (java) S 28827 28830 5234 0 -1 1077944384 852 0 0 0 6 1 0 0 20 0 15 0 10479055 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140485169621392 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28834] ppid=28827 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/28830/task/28834/stat : 28834 (java) S 28827 28830 5234 0 -1 1077944384 294 0 0 0 4 0 0 0 20 0 15 0 10479055 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140485168568592 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28835] ppid=28827 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/28830/task/28835/stat : 28835 (java) S 28827 28830 5234 0 -1 1077944384 42 0 0 0 3 0 0 0 20 0 15 0 10479055 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140485167516304 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28836] ppid=28827 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/28830/task/28836/stat : 28836 (java) S 28827 28830 5234 0 -1 1077944384 56 0 0 0 3 0 0 0 20 0 15 0 10479055 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140485166463504 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28837] ppid=28827 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/28830/task/28837/stat : 28837 (java) S 28827 28830 5234 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 15 0 10479056 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140484152388208 140485235198594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28838] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28838/stat : 28838 (java) S 28827 28830 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140484151334240 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28839] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28839/stat : 28839 (java) S 28827 28830 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140484150281856 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28840] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28840/stat : 28840 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479059 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140484149230160 140485235206043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28841] ppid=28827 vsize=13982084 CPUtime=2.43 cores=1,3,5,7
/proc/28830/task/28841/stat : 28841 (java) S 28827 28830 5234 0 -1 1077944384 7808 0 0 0 242 1 0 0 20 0 15 0 10479060 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140484148177008 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28842] ppid=28827 vsize=13982084 CPUtime=2.6 cores=1,3,5,7
/proc/28830/task/28842/stat : 28842 (java) S 28827 28830 5234 0 -1 1077944384 8700 0 0 0 259 1 0 0 20 0 15 0 10479060 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140484147124208 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28843] ppid=28827 vsize=13982084 CPUtime=0.72 cores=1,3,5,7
/proc/28830/task/28843/stat : 28843 (java) S 28827 28830 5234 0 -1 1077944384 7306 0 0 0 71 1 0 0 20 0 15 0 10479060 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140484146071920 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28844] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28844/stat : 28844 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479060 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140484145019360 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28845] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28845/stat : 28845 (java) S 28827 28830 5234 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 10479063 14317654016 133507 18446744073709551615 4194304 4196468 140723596825536 140484143967152 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.54 1.73 1.67 3/213 28845
/proc/meminfo: memFree=27865448/32770624 swapFree=0/301068
[pid=28830] ppid=28827 vsize=13982084 CPUtime=19.28 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 47408 0 0 0 1895 33 0 0 20 0 15 0 10479044 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3495521 179709 3800 1 0 3484303 0
[pid=28830/tid=28832] ppid=28827 vsize=13982084 CPUtime=12.35 cores=1,3,5,7
/proc/28830/task/28832/stat : 28832 (java) R 28827 28830 5234 0 -1 4202560 17432 0 0 0 1223 12 0 0 20 0 15 0 10479054 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140485239422528 140484850057387 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28833] ppid=28827 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/28830/task/28833/stat : 28833 (java) S 28827 28830 5234 0 -1 1077944384 900 0 0 0 13 3 0 0 20 0 15 0 10479055 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140485169621392 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28834] ppid=28827 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/28830/task/28834/stat : 28834 (java) S 28827 28830 5234 0 -1 1077944384 350 0 0 0 11 3 0 0 20 0 15 0 10479055 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140485168568592 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28835] ppid=28827 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/28830/task/28835/stat : 28835 (java) S 28827 28830 5234 0 -1 1077944384 261 0 0 0 9 3 0 0 20 0 15 0 10479055 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140485167516304 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28836] ppid=28827 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/28830/task/28836/stat : 28836 (java) S 28827 28830 5234 0 -1 1077944384 126 0 0 0 11 2 0 0 20 0 15 0 10479055 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140485166463504 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28837] ppid=28827 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/28830/task/28837/stat : 28837 (java) S 28827 28830 5234 0 -1 1077944384 731 0 0 0 1 0 0 0 20 0 15 0 10479056 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140484152388208 140485235198594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28838] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28838/stat : 28838 (java) S 28827 28830 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140484151334240 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28839] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28839/stat : 28839 (java) S 28827 28830 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140484150281856 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28840] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28840/stat : 28840 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479059 14317654016 179709 18446744073709551615 4194304 4196468 140723596825536 140484149230160 140485235206043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0

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

/proc/28830/task/28844/stat : 28844 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479060 14317654016 562633 18446744073709551615 4194304 4196468 140723596825536 140484145019360 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28845] ppid=28827 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/28830/task/28845/stat : 28845 (java) S 28827 28830 5234 0 -1 1077944384 86 0 0 0 0 1 0 0 20 0 15 0 10479063 14317654016 562633 18446744073709551615 4194304 4196468 140723596825536 140484143967152 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
Current children cumulated CPU time (s) 58.69
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.73 1.75 1.69 3/213 28928
/proc/meminfo: memFree=25991176/32770624 swapFree=0/301164
[pid=28830] ppid=28827 vsize=13982084 CPUtime=111.05 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 70861 0 0 0 11012 93 0 0 20 0 15 0 10479044 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3495521 569943 3801 1 0 3484303 0
[pid=28830/tid=28832] ppid=28827 vsize=13982084 CPUtime=101.52 cores=1,3,5,7
/proc/28830/task/28832/stat : 28832 (java) R 28827 28830 5234 0 -1 4202560 24293 0 0 0 10116 36 0 0 20 0 15 0 10479054 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140485239425408 140484849331534 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28833] ppid=28827 vsize=13982084 CPUtime=0.57 cores=1,3,5,7
/proc/28830/task/28833/stat : 28833 (java) S 28827 28830 5234 0 -1 1077944384 2058 0 0 0 46 11 0 0 20 0 15 0 10479055 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140485169621392 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28834] ppid=28827 vsize=13982084 CPUtime=0.54 cores=1,3,5,7
/proc/28830/task/28834/stat : 28834 (java) S 28827 28830 5234 0 -1 1077944384 1318 0 0 0 44 10 0 0 20 0 15 0 10479055 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140485168568592 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28835] ppid=28827 vsize=13982084 CPUtime=0.53 cores=1,3,5,7
/proc/28830/task/28835/stat : 28835 (java) S 28827 28830 5234 0 -1 1077944384 624 0 0 0 42 11 0 0 20 0 15 0 10479055 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140485167516304 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28836] ppid=28827 vsize=13982084 CPUtime=0.53 cores=1,3,5,7
/proc/28830/task/28836/stat : 28836 (java) S 28827 28830 5234 0 -1 1077944384 906 0 0 0 43 10 0 0 20 0 15 0 10479055 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140485166463504 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28837] ppid=28827 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/28830/task/28837/stat : 28837 (java) S 28827 28830 5234 0 -1 1077944384 2385 0 0 0 4 2 0 0 20 0 15 0 10479056 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140484152388208 140485235198594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28838] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28838/stat : 28838 (java) S 28827 28830 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140484151334240 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28839] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28839/stat : 28839 (java) S 28827 28830 5234 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140484150281856 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28840] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28840/stat : 28840 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479059 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140484149230160 140485235206043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28841] ppid=28827 vsize=13982084 CPUtime=2.98 cores=1,3,5,7
/proc/28830/task/28841/stat : 28841 (java) S 28827 28830 5234 0 -1 1077944384 10975 0 0 0 296 2 0 0 20 0 15 0 10479060 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140484148177008 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28842] ppid=28827 vsize=13982084 CPUtime=3.28 cores=1,3,5,7
/proc/28830/task/28842/stat : 28842 (java) S 28827 28830 5234 0 -1 1077944384 13053 0 0 0 325 3 0 0 20 0 15 0 10479060 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140484147124208 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28843] ppid=28827 vsize=13982084 CPUtime=0.91 cores=1,3,5,7
/proc/28830/task/28843/stat : 28843 (java) S 28827 28830 5234 0 -1 1077944384 13653 0 0 0 89 2 0 0 20 0 15 0 10479060 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140484146071920 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28844] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28844/stat : 28844 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479060 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140484145019360 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28845] ppid=28827 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/28830/task/28845/stat : 28845 (java) S 28827 28830 5234 0 -1 1077944384 168 0 0 0 2 2 0 0 20 0 15 0 10479063 14317654016 569943 18446744073709551615 4194304 4196468 140723596825536 140484143967152 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
Current children cumulated CPU time (s) 111.05
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.78 1.77 1.69 3/215 28938
/proc/meminfo: memFree=25965664/32770624 swapFree=0/301204
[pid=28830] ppid=28827 vsize=13982084 CPUtime=172.74 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 75770 0 0 0 17147 127 0 0 20 0 15 0 10479044 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3495521 575192 3801 1 0 3484303 0
[pid=28830/tid=28832] ppid=28827 vsize=13982084 CPUtime=160.92 cores=1,3,5,7
/proc/28830/task/28832/stat : 28832 (java) R 28827 28830 5234 0 -1 4202560 25385 0 0 0 16056 36 0 0 20 0 15 0 10479054 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140485239425408 140484849259966 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28833] ppid=28827 vsize=13982084 CPUtime=1.11 cores=1,3,5,7
/proc/28830/task/28833/stat : 28833 (java) S 28827 28830 5234 0 -1 1077944384 2762 0 0 0 92 19 0 0 20 0 15 0 10479055 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140485169621392 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28834] ppid=28827 vsize=13982084 CPUtime=1.09 cores=1,3,5,7
/proc/28830/task/28834/stat : 28834 (java) S 28827 28830 5234 0 -1 1077944384 1497 0 0 0 91 18 0 0 20 0 15 0 10479055 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140485168568592 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28835] ppid=28827 vsize=13982084 CPUtime=1.08 cores=1,3,5,7
/proc/28830/task/28835/stat : 28835 (java) S 28827 28830 5234 0 -1 1077944384 856 0 0 0 89 19 0 0 20 0 15 0 10479055 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140485167516304 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28836] ppid=28827 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/28830/task/28836/stat : 28836 (java) S 28827 28830 5234 0 -1 1077944384 1166 0 0 0 89 18 0 0 20 0 15 0 10479055 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140485166463504 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28837] ppid=28827 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/28830/task/28837/stat : 28837 (java) S 28827 28830 5234 0 -1 1077944384 2407 0 0 0 6 3 0 0 20 0 15 0 10479056 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140484152388208 140485235198594 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28838] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28838/stat : 28838 (java) S 28827 28830 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140484151334240 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28839] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28839/stat : 28839 (java) S 28827 28830 5234 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140484150281856 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28840] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28840/stat : 28840 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479059 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140484149230160 140485235206043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28841] ppid=28827 vsize=13982084 CPUtime=3.01 cores=1,3,5,7
/proc/28830/task/28841/stat : 28841 (java) S 28827 28830 5234 0 -1 1077944384 12217 0 0 0 299 2 0 0 20 0 15 0 10479060 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140484148177008 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28842] ppid=28827 vsize=13982084 CPUtime=3.29 cores=1,3,5,7
/proc/28830/task/28842/stat : 28842 (java) S 28827 28830 5234 0 -1 1077944384 13744 0 0 0 326 3 0 0 20 0 15 0 10479060 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140484147124208 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28843] ppid=28827 vsize=13982084 CPUtime=0.91 cores=1,3,5,7
/proc/28830/task/28843/stat : 28843 (java) S 28827 28830 5234 0 -1 1077944384 14138 0 0 0 89 2 0 0 20 0 15 0 10479060 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140484146071920 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28844] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28844/stat : 28844 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479060 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140484145019360 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28845] ppid=28827 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/28830/task/28845/stat : 28845 (java) S 28827 28830 5234 0 -1 1077944384 170 0 0 0 3 4 0 0 20 0 15 0 10479063 14317654016 575192 18446744073709551615 4194304 4196468 140723596825536 140484143967152 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
Current children cumulated CPU time (s) 172.74
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.72 1.75 1.69 3/214 28940
/proc/meminfo: memFree=25876104/32770624 swapFree=0/301232
[pid=28830] ppid=28827 vsize=13982084 CPUtime=234.41 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 81000 0 0 0 23287 154 0 0 20 0 15 0 10479044 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3495521 598080 3801 1 0 3484303 0
[pid=28830/tid=28832] ppid=28827 vsize=13982084 CPUtime=220.35 cores=1,3,5,7
/proc/28830/task/28832/stat : 28832 (java) R 28827 28830 5234 0 -1 4202560 27635 0 0 0 21998 37 0 0 20 0 15 0 10479054 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140485239425568 140484849295209 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28833] ppid=28827 vsize=13982084 CPUtime=1.65 cores=1,3,5,7
/proc/28830/task/28833/stat : 28833 (java) S 28827 28830 5234 0 -1 1077944384 3017 0 0 0 140 25 0 0 20 0 15 0 10479055 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140485169621392 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28834] ppid=28827 vsize=13982084 CPUtime=1.63 cores=1,3,5,7
/proc/28830/task/28834/stat : 28834 (java) S 28827 28830 5234 0 -1 1077944384 1773 0 0 0 139 24 0 0 20 0 15 0 10479055 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140485168568592 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28835] ppid=28827 vsize=13982084 CPUtime=1.62 cores=1,3,5,7
/proc/28830/task/28835/stat : 28835 (java) S 28827 28830 5234 0 -1 1077944384 1016 0 0 0 137 25 0 0 20 0 15 0 10479055 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140485167516304 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28836] ppid=28827 vsize=13982084 CPUtime=1.63 cores=1,3,5,7
/proc/28830/task/28836/stat : 28836 (java) S 28827 28830 5234 0 -1 1077944384 1323 0 0 0 138 25 0 0 20 0 15 0 10479055 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140485166463504 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28837] ppid=28827 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/28830/task/28837/stat : 28837 (java) S 28827 28830 5234 0 -1 1077944384 2622 0 0 0 8 4 0 0 20 0 15 0 10479056 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140484152388208 140485235198594 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28838] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28838/stat : 28838 (java) S 28827 28830 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140484151334240 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28839] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28839/stat : 28839 (java) S 28827 28830 5234 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140484150281856 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28840] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28840/stat : 28840 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479059 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140484149230160 140485235206043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28841] ppid=28827 vsize=13982084 CPUtime=3.01 cores=1,3,5,7
/proc/28830/task/28841/stat : 28841 (java) S 28827 28830 5234 0 -1 1077944384 12723 0 0 0 299 2 0 0 20 0 15 0 10479060 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140484148177008 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28842] ppid=28827 vsize=13982084 CPUtime=3.3 cores=1,3,5,7
/proc/28830/task/28842/stat : 28842 (java) S 28827 28830 5234 0 -1 1077944384 15136 0 0 0 327 3 0 0 20 0 15 0 10479060 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140484147124208 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28843] ppid=28827 vsize=13982084 CPUtime=0.91 cores=1,3,5,7
/proc/28830/task/28843/stat : 28843 (java) S 28827 28830 5234 0 -1 1077944384 14138 0 0 0 89 2 0 0 20 0 15 0 10479060 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140484146071920 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28844] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28844/stat : 28844 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479060 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140484145019360 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28845] ppid=28827 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/28830/task/28845/stat : 28845 (java) S 28827 28830 5234 0 -1 1077944384 189 0 0 0 4 6 0 0 20 0 15 0 10479063 14317654016 598080 18446744073709551615 4194304 4196468 140723596825536 140484143967152 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
Current children cumulated CPU time (s) 234.41
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.71 1.75 1.69 3/214 28940
/proc/meminfo: memFree=25838884/32770624 swapFree=0/301240
[pid=28830] ppid=28827 vsize=13982084 CPUtime=252.61 cores=1,3,5,7
/proc/28830/stat : 28830 (java) S 28827 28830 5234 0 -1 1077944320 84398 0 0 0 25098 163 0 0 20 0 15 0 10479044 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140723596808080 140485235187447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
/proc/28830/statm: 3495521 605391 3801 1 0 3484303 0
[pid=28830/tid=28832] ppid=28827 vsize=13982084 CPUtime=237.86 cores=1,3,5,7
/proc/28830/task/28832/stat : 28832 (java) R 28827 28830 5234 0 -1 4202560 28708 0 0 0 23749 37 0 0 20 0 15 0 10479054 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140485239425520 140484850524609 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28833] ppid=28827 vsize=13982084 CPUtime=1.81 cores=1,3,5,7
/proc/28830/task/28833/stat : 28833 (java) S 28827 28830 5234 0 -1 1077944384 3146 0 0 0 154 27 0 0 20 0 15 0 10479055 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140485169621392 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28834] ppid=28827 vsize=13982084 CPUtime=1.8 cores=1,3,5,7
/proc/28830/task/28834/stat : 28834 (java) S 28827 28830 5234 0 -1 1077944384 1967 0 0 0 154 26 0 0 20 0 15 0 10479055 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140485168568592 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28835] ppid=28827 vsize=13982084 CPUtime=1.78 cores=1,3,5,7
/proc/28830/task/28835/stat : 28835 (java) S 28827 28830 5234 0 -1 1077944384 1778 0 0 0 151 27 0 0 20 0 15 0 10479055 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140485167516304 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28836] ppid=28827 vsize=13982084 CPUtime=1.78 cores=1,3,5,7
/proc/28830/task/28836/stat : 28836 (java) S 28827 28830 5234 0 -1 1077944384 1570 0 0 0 152 26 0 0 20 0 15 0 10479055 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140485166463504 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28837] ppid=28827 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/28830/task/28837/stat : 28837 (java) S 28827 28830 5234 0 -1 1077944384 2857 0 0 0 8 4 0 0 20 0 15 0 10479056 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140484152388208 140485235198594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28838] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28838/stat : 28838 (java) S 28827 28830 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140484151334240 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28839] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28839/stat : 28839 (java) S 28827 28830 5234 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10479057 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140484150281856 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28840] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28840/stat : 28840 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479059 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140484149230160 140485235206043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28841] ppid=28827 vsize=13982084 CPUtime=3.01 cores=1,3,5,7
/proc/28830/task/28841/stat : 28841 (java) S 28827 28830 5234 0 -1 1077944384 13460 0 0 0 299 2 0 0 20 0 15 0 10479060 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140484148177008 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28842] ppid=28827 vsize=13982084 CPUtime=3.3 cores=1,3,5,7
/proc/28830/task/28842/stat : 28842 (java) S 28827 28830 5234 0 -1 1077944384 15138 0 0 0 327 3 0 0 20 0 15 0 10479060 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140484147124208 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28843] ppid=28827 vsize=13982084 CPUtime=0.91 cores=1,3,5,7
/proc/28830/task/28843/stat : 28843 (java) S 28827 28830 5234 0 -1 1077944384 14140 0 0 0 89 2 0 0 20 0 15 0 10479060 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140484146071920 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28844] ppid=28827 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/28830/task/28844/stat : 28844 (java) S 28827 28830 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10479060 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140484145019360 140485235197653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
[pid=28830/tid=28845] ppid=28827 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/28830/task/28845/stat : 28845 (java) S 28827 28830 5234 0 -1 1077944384 206 0 0 0 5 7 0 0 20 0 15 0 10479063 14317654016 605391 18446744073709551615 4194304 4196468 140723596825536 140484143967152 140485235198594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37052416 140723596829080 140723596829259 140723596829259 140723596832719 0
Current children cumulated CPU time (s) 252.61
Current children cumulated vsize (KiB) 13982084

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 28830 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.038
CPU time (s): 252.664
CPU user time (s): 251.015
CPU system time (s): 1.64879
CPU usage (%): 105.26
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.015
system time used= 1.64879
maximum resident set size= 2422144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11118
involuntary context switches= 724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45891 second user time and 1.12353 second system time

The end

Begin job on node134 at 2017-08-02 01:08:12
IDJOB=4255469
IDBENCH=124177
IDSOLVER=2638
FILE ID=node134/4255469-1501629733
RUNJOBID= node134-1501623099-24766
PBS_JOBID= 
Free space on /tmp= 61856 MiB

SOLVER NAME= OscaR - ALNS 2017-07-26
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255469-1501629733/watcher-4255469-1501629733 -o /tmp/evaluation-result-4255469-1501629733/solver-4255469-1501629733 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501623099-24766 --watchdog 300  java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 134631134 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255469-1501629733.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9
RANDOM SEED=134631134

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28558372 kB
MemAvailable:   28871056 kB
Buffers:          105608 kB
Cached:           487424 kB
SwapCached:            0 kB
Active:          3486512 kB
Inactive:         307688 kB
Active(anon):    3203572 kB
Inactive(anon):     6652 kB
Active(file):     282940 kB
Inactive(file):   301036 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42360 kB
Writeback:             0 kB
AnonPages:       3205404 kB
Mapped:            44392 kB
Shmem:              8892 kB
Slab:             114548 kB
SReclaimable:      89088 kB
SUnreclaim:        25460 kB
KernelStack:        3552 kB
PageTables:        11160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3944460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3084288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61816 MiB
End job on node134 at 2017-08-02 01:12:12