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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - ALNS 2017-06-30	SAT (TO)	240	2400.24	2272.34

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

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246119-1500706107/watcher-4246119-1500706107 -o /tmp/evaluation-result-4246119-1500706107/solver-4246119-1500706107 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500696941-9529 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 825474532 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246119-1500706107.xml 

pid=10521
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.43 1.55 1.50 3/261 10524
/proc/meminfo: memFree=30409096/32770624 swapFree=5864/309304
[pid=10524] ppid=10521 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5878442 369864704 1925 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 90299 1925 1072 1 0 79210 0
[pid=10524/tid=10525] ppid=10521 vsize=10621200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 533 0 0 0 0 0 0 0 20 0 2 0 5878443 10876108800 2055 33554432000 4194304 4196468 140731143243936 139997200718240 139997188765600 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0

[startup+0.100131 s]
/proc/loadavg: 1.43 1.55 1.50 3/261 10524
/proc/meminfo: memFree=30409096/32770624 swapFree=5864/309304
[pid=10524] ppid=10521 vsize=13263912 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 6262 0 0 0 8 1 0 0 20 0 20 0 5878442 13582245888 6495 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3315978 6561 3011 1 0 3303698 0
[pid=10524/tid=10525] ppid=10521 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 4350 0 0 0 7 1 0 0 20 0 20 0 5878443 13582245888 6561 33554432000 4194304 4196468 140731143243936 139997200711440 139997153111926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13263912

[startup+0.200398 s]
/proc/loadavg: 1.43 1.55 1.50 3/261 10524
/proc/meminfo: memFree=30409096/32770624 swapFree=5864/309304
[pid=10524] ppid=10521 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 9022 0 0 0 24 2 0 0 20 0 20 0 5878442 13582245888 9509 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3315978 9509 3556 1 0 3303698 0
[pid=10524/tid=10525] ppid=10521 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 6721 0 0 0 16 1 0 0 20 0 20 0 5878443 13582245888 9509 33554432000 4194304 4196468 140731143243936 139997200697200 139996824703880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300381 s]
/proc/loadavg: 1.43 1.55 1.50 3/261 10524
/proc/meminfo: memFree=30409096/32770624 swapFree=5864/309304
[pid=10524] ppid=10521 vsize=13263912 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 9920 0 0 0 38 3 0 0 20 0 20 0 5878442 13582245888 11113 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3315978 11113 3606 1 0 3303698 0
[pid=10524/tid=10525] ppid=10521 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 7364 0 0 0 25 2 0 0 20 0 20 0 5878443 13582245888 11113 33554432000 4194304 4196468 140731143243936 139997200694784 139997180556638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912

[startup+0.700222 s]
/proc/loadavg: 1.43 1.55 1.50 3/261 10524
/proc/meminfo: memFree=30409096/32770624 swapFree=5864/309304
[pid=10524] ppid=10521 vsize=13265980 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 12341 0 0 0 130 5 0 0 20 0 20 0 5878442 13584363520 17714 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3316495 17714 3771 1 0 3304210 0
[pid=10524/tid=10525] ppid=10521 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 8566 0 0 0 64 3 0 0 20 0 20 0 5878443 13584363520 17714 33554432000 4194304 4196468 140731143243936 139997200712416 139996824739742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 13265980

[startup+1.50112 s]
/proc/loadavg: 1.43 1.55 1.50 5/281 10544
/proc/meminfo: memFree=30290164/32770624 swapFree=5864/309352
[pid=10524] ppid=10521 vsize=13270076 CPUtime=4.5 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 31287 0 0 0 439 11 0 0 20 0 20 0 5878442 13588557824 54126 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3317519 54126 3796 1 0 3305234 0
[pid=10524/tid=10525] ppid=10521 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 11192 0 0 0 140 6 0 0 20 0 20 0 5878443 13588557824 54126 33554432000 4194304 4196468 140731143243936 139997200711640 139996831417492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10527] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10527/stat : 10527 (java) S 10521 10524 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5878444 13588557824 54126 33554432000 4194304 4196468 140731143243936 139997149096592 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10528] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10528/stat : 10528 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878444 13588557824 54126 33554432000 4194304 4196468 140731143243936 139997148043792 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10529] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10529/stat : 10529 (java) S 10521 10524 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5878444 13588557824 54126 33554432000 4194304 4196468 140731143243936 139997146990992 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10530] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10530/stat : 10530 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878444 13588557824 54126 33554432000 4194304 4196468 140731143243936 139997145938192 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10531] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10531/stat : 10531 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878444 13588557824 54126 33554432000 4194304 4196468 140731143243936 139997144886416 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10532] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10532/stat : 10532 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878444 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996790455312 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10533] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10533/stat : 10533 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878444 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996789402512 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10534] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10534/stat : 10534 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878444 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996788349712 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10535] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10535/stat : 10535 (java) S 10521 10524 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5878446 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996525697392 139997196487298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10536] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10536/stat : 10536 (java) S 10521 10524 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5878446 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996524643360 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10537] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10537/stat : 10537 (java) S 10521 10524 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5878447 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996523590512 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10538] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10538/stat : 10538 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996522538832 139997196494747 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10539] ppid=10521 vsize=13270076 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10539/stat : 10539 (java) R 10521 10524 7744 0 -1 4202560 3736 0 0 0 72 0 0 0 20 0 20 0 5878450 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996521473136 139997181578242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10540] ppid=10521 vsize=13270076 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10540/stat : 10540 (java) R 10521 10524 7744 0 -1 4202560 3780 0 0 0 79 0 0 0 20 0 20 0 5878450 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996520420192 139997177997551 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10541] ppid=10521 vsize=13270076 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10541/stat : 10541 (java) R 10521 10524 7744 0 -1 4202560 4082 0 0 0 85 0 0 0 20 0 20 0 5878450 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996519366576 139997181601258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10542] ppid=10521 vsize=13270076 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10542/stat : 10542 (java) S 10521 10524 7744 0 -1 1077944384 7085 0 0 0 59 1 0 0 20 0 20 0 5878450 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996518328816 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10543] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10543/stat : 10543 (java) S 10521 10524 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996517276256 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10544] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10544/stat : 10544 (java) S 10521 10524 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5878451 13588557824 54126 33554432000 4194304 4196468 140731143243936 139996516223536 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 13270076

[startup+3.10124 s]
/proc/loadavg: 1.43 1.55 1.50 4/281 10544
/proc/meminfo: memFree=30169052/32770624 swapFree=5864/309372
[pid=10524] ppid=10521 vsize=13270076 CPUtime=8.27 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 36535 0 0 0 800 27 0 0 20 0 20 0 5878442 13588557824 94409 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3317519 94409 3825 1 0 3305234 0
[pid=10524/tid=10525] ppid=10521 vsize=13270076 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 11734 0 0 0 294 7 0 0 20 0 20 0 5878443 13588557824 94409 33554432000 4194304 4196468 140731143243936 139997200711784 139996832586886 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10527] ppid=10521 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10527/stat : 10527 (java) S 10521 10524 7744 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 20 0 5878444 13588557824 94409 33554432000 4194304 4196468 140731143243936 139997149096592 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10528] ppid=10521 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10528/stat : 10528 (java) S 10521 10524 7744 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 5878444 13588557824 94409 33554432000 4194304 4196468 140731143243936 139997148043792 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10529] ppid=10521 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10529/stat : 10529 (java) S 10521 10524 7744 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 20 0 5878444 13588557824 94409 33554432000 4194304 4196468 140731143243936 139997146990992 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10530] ppid=10521 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10530/stat : 10530 (java) S 10521 10524 7744 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 20 0 5878444 13588557824 94409 33554432000 4194304 4196468 140731143243936 139997145938192 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10531] ppid=10521 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10531/stat : 10531 (java) S 10521 10524 7744 0 -1 1077944384 727 0 0 0 1 1 0 0 20 0 20 0 5878444 13588557824 94409 33554432000 4194304 4196468 140731143243936 139997144886416 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10532] ppid=10521 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10532/stat : 10532 (java) S 10521 10524 7744 0 -1 1077944384 55 0 0 0 1 2 0 0 20 0 20 0 5878444 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996790455312 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10533] ppid=10521 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10533/stat : 10533 (java) S 10521 10524 7744 0 -1 1077944384 298 0 0 0 1 1 0 0 20 0 20 0 5878444 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996789402512 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10534] ppid=10521 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10534/stat : 10534 (java) S 10521 10524 7744 0 -1 1077944384 65 0 0 0 1 2 0 0 20 0 20 0 5878444 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996788349712 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10535] ppid=10521 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10535/stat : 10535 (java) S 10521 10524 7744 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 5878446 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996525697392 139997196487298 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10536] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10536/stat : 10536 (java) S 10521 10524 7744 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 5878446 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996524643424 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10537] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10537/stat : 10537 (java) S 10521 10524 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 5878447 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996523590528 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10538] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10538/stat : 10538 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996522538832 139997196494747 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10539] ppid=10521 vsize=13270076 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10539/stat : 10539 (java) S 10521 10524 7744 0 -1 1077944384 4222 0 0 0 131 0 0 0 20 0 20 0 5878450 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996521487216 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10540] ppid=10521 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10540/stat : 10540 (java) S 10521 10524 7744 0 -1 1077944384 4343 0 0 0 144 1 0 0 20 0 20 0 5878450 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996520434416 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10541] ppid=10521 vsize=13270076 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10541/stat : 10541 (java) R 10521 10524 7744 0 -1 4202560 5139 0 0 0 150 0 0 0 20 0 20 0 5878450 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996519381912 139997175722041 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10542] ppid=10521 vsize=13270076 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10542/stat : 10542 (java) S 10521 10524 7744 0 -1 1077944384 7937 0 0 0 63 2 0 0 20 0 20 0 5878450 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996518328816 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10543] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10543/stat : 10543 (java) S 10521 10524 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996517276256 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10544] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10544/stat : 10544 (java) S 10521 10524 7744 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 5878451 13588557824 94409 33554432000 4194304 4196468 140731143243936 139996516223536 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 13270076

[startup+6.30091 s]
/proc/loadavg: 1.48 1.56 1.50 3/281 10544
/proc/meminfo: memFree=30029144/32770624 swapFree=5864/309396
[pid=10524] ppid=10521 vsize=13270076 CPUtime=12.41 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 38015 0 0 0 1203 38 0 0 20 0 20 0 5878442 13588557824 110960 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3317519 110960 3829 1 0 3305234 0
[pid=10524/tid=10525] ppid=10521 vsize=13270076 CPUtime=6.18 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 12637 0 0 0 610 8 0 0 20 0 20 0 5878443 13588557824 110960 33554432000 4194304 4196468 140731143243936 139997200713544 139996833614426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10527] ppid=10521 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10527/stat : 10527 (java) S 10521 10524 7744 0 -1 1077944384 119 0 0 0 2 2 0 0 20 0 20 0 5878444 13588557824 110960 33554432000 4194304 4196468 140731143243936 139997149096592 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10528] ppid=10521 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10528/stat : 10528 (java) S 10521 10524 7744 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 20 0 5878444 13588557824 110960 33554432000 4194304 4196468 140731143243936 139997148043792 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10529] ppid=10521 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10529/stat : 10529 (java) S 10521 10524 7744 0 -1 1077944384 40 0 0 0 2 3 0 0 20 0 20 0 5878444 13588557824 110960 33554432000 4194304 4196468 140731143243936 139997146990992 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10530] ppid=10521 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10530/stat : 10530 (java) S 10521 10524 7744 0 -1 1077944384 51 0 0 0 2 2 0 0 20 0 20 0 5878444 13588557824 110960 33554432000 4194304 4196468 140731143243936 139997145938192 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10531] ppid=10521 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10531/stat : 10531 (java) S 10521 10524 7744 0 -1 1077944384 735 0 0 0 2 2 0 0 20 0 20 0 5878444 13588557824 110960 33554432000 4194304 4196468 140731143243936 139997144886416 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10532] ppid=10521 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10532/stat : 10532 (java) S 10521 10524 7744 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 20 0 5878444 13588557824 110960 33554432000 4194304 4196468 140731143243936 139996790455312 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10533] ppid=10521 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10533/stat : 10533 (java) S 10521 10524 7744 0 -1 1077944384 311 0 0 0 2 2 0 0 20 0 20 0 5878444 13588557824 110960 33554432000 4194304 4196468 140731143243936 139996789402512 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10534] ppid=10521 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10534/stat : 10534 (java) S 10521 10524 7744 0 -1 1077944384 73 0 0 0 2 3 0 0 20 0 20 0 5878444 13588557824 110960 33554432000 4194304 4196468 140731143243936 139996788349712 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10535] ppid=10521 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10535/stat : 10535 (java) S 10521 10524 7744 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 5878446 13588557824 110960 33554432000 4194304 4196468 140731143243936 139996525697392 139997196487298 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10536] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10536/stat : 10536 (java) S 10521 10524 7744 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 5878446 13588557824 110960 33554432000 4194304 4196468 140731143243936 139996524643424 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10537] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10537/stat : 10537 (java) S 10521 10524 7744 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 5878447 13588557824 110960 33554432000 4194304 4196468 140731143243936 139996523590528 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10538] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=10524/tid=10540] ppid=10521 vsize=13270076 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10540/stat : 10540 (java) S 10521 10524 7744 0 -1 1077944384 16269 0 0 0 239 2 0 0 20 0 20 0 5878450 13588557824 661622 33554432000 4194304 4196468 140731143243936 139996520434416 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10541] ppid=10521 vsize=13270076 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10541/stat : 10541 (java) S 10521 10524 7744 0 -1 1077944384 15346 0 0 0 237 2 0 0 20 0 20 0 5878450 13588557824 661622 33554432000 4194304 4196468 140731143243936 139996519381616 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10542] ppid=10521 vsize=13270076 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10542/stat : 10542 (java) S 10521 10524 7744 0 -1 1077944384 23138 0 0 0 98 4 0 0 20 0 20 0 5878450 13588557824 661622 33554432000 4194304 4196468 140731143243936 139996518328816 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10543] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10543/stat : 10543 (java) S 10521 10524 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 661622 33554432000 4194304 4196468 140731143243936 139996517276256 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10544] ppid=10521 vsize=13270076 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10544/stat : 10544 (java) S 10521 10524 7744 0 -1 1077944384 1285 0 0 0 68 71 0 0 20 0 20 0 5878451 13588557824 661622 33554432000 4194304 4196468 140731143243936 139996516223536 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 2326.14
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 2.02 1.81 1.77 3/281 10731
/proc/meminfo: memFree=24986788/32770624 swapFree=5860/311736
[pid=10524] ppid=10521 vsize=13270076 CPUtime=2389.05 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 356494 0 0 0 237795 1110 0 0 20 0 20 0 5878442 13588557824 638170 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3317519 638170 3858 1 0 3305234 0
[pid=10524/tid=10525] ppid=10521 vsize=13270076 CPUtime=2240.82 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 102938 0 0 0 223998 84 0 0 20 0 20 0 5878443 13588557824 638170 33554432000 4194304 4196468 140731143243936 139997200714288 139996833790795 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10527] ppid=10521 vsize=13270076 CPUtime=17.09 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10527/stat : 10527 (java) S 10521 10524 7744 0 -1 1077944384 10996 0 0 0 1596 113 0 0 20 0 20 0 5878444 13588557824 638170 33554432000 4194304 4196468 140731143243936 139997149096592 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10528] ppid=10521 vsize=13270076 CPUtime=17.2 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10528/stat : 10528 (java) S 10521 10524 7744 0 -1 1077944384 13573 0 0 0 1601 119 0 0 20 0 20 0 5878444 13588557824 638170 33554432000 4194304 4196468 140731143243936 139997148043792 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10529] ppid=10521 vsize=13270076 CPUtime=17.17 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10529/stat : 10529 (java) S 10521 10524 7744 0 -1 1077944384 12293 0 0 0 1600 117 0 0 20 0 20 0 5878444 13588557824 638170 33554432000 4194304 4196468 140731143243936 139997146990992 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10530] ppid=10521 vsize=13270076 CPUtime=17.4 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10530/stat : 10530 (java) S 10521 10524 7744 0 -1 1077944384 11814 0 0 0 1625 115 0 0 20 0 20 0 5878444 13588557824 638170 33554432000 4194304 4196468 140731143243936 139997145938192 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10531] ppid=10521 vsize=13270076 CPUtime=17.03 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10531/stat : 10531 (java) S 10521 10524 7744 0 -1 1077944384 12330 0 0 0 1588 115 0 0 20 0 20 0 5878444 13588557824 638170 33554432000 4194304 4196468 140731143243936 139997144886416 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10532] ppid=10521 vsize=13270076 CPUtime=17.18 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10532/stat : 10532 (java) S 10521 10524 7744 0 -1 1077944384 12014 0 0 0 1602 116 0 0 20 0 20 0 5878444 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996790455312 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10533] ppid=10521 vsize=13270076 CPUtime=17.14 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10533/stat : 10533 (java) S 10521 10524 7744 0 -1 1077944384 12898 0 0 0 1599 115 0 0 20 0 20 0 5878444 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996789402512 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10534] ppid=10521 vsize=13270076 CPUtime=17.14 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10534/stat : 10534 (java) S 10521 10524 7744 0 -1 1077944384 11400 0 0 0 1596 118 0 0 20 0 20 0 5878444 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996788349712 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10535] ppid=10521 vsize=13270076 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10535/stat : 10535 (java) S 10521 10524 7744 0 -1 1077944384 84163 0 0 0 100 32 0 0 20 0 20 0 5878446 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996525697392 139997196487298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10536] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10536/stat : 10536 (java) S 10521 10524 7744 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 5878446 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996524643424 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10537] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10537/stat : 10537 (java) S 10521 10524 7744 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5878447 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996523590528 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10538] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10538/stat : 10538 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996522538832 139997196494747 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10539] ppid=10521 vsize=13270076 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10539/stat : 10539 (java) S 10521 10524 7744 0 -1 1077944384 14567 0 0 0 213 3 0 0 20 0 20 0 5878450 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996521487216 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10540] ppid=10521 vsize=13270076 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10540/stat : 10540 (java) S 10521 10524 7744 0 -1 1077944384 16271 0 0 0 239 2 0 0 20 0 20 0 5878450 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996520434416 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10541] ppid=10521 vsize=13270076 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10541/stat : 10541 (java) S 10521 10524 7744 0 -1 1077944384 15348 0 0 0 237 2 0 0 20 0 20 0 5878450 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996519381616 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10542] ppid=10521 vsize=13270076 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10542/stat : 10542 (java) S 10521 10524 7744 0 -1 1077944384 23140 0 0 0 98 4 0 0 20 0 20 0 5878450 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996518328816 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10543] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10543/stat : 10543 (java) S 10521 10524 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996517276256 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10544] ppid=10521 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10544/stat : 10544 (java) S 10521 10524 7744 0 -1 1077944384 1300 0 0 0 70 73 0 0 20 0 20 0 5878451 13588557824 638170 33554432000 4194304 4196468 140731143243936 139996516223536 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 2389.05
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2272.3 s]
/proc/loadavg: 1.94 1.80 1.77 3/281 10731
/proc/meminfo: memFree=24998392/32770624 swapFree=5860/311736
[pid=10524] ppid=10521 vsize=13270076 CPUtime=2400.17 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 358823 0 0 0 238906 1111 0 0 20 0 20 0 5878442 13588557824 635223 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3317519 635223 3858 1 0 3305234 0
[pid=10524/tid=10525] ppid=10521 vsize=13270076 CPUtime=2250.63 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 103069 0 0 0 224979 84 0 0 20 0 20 0 5878443 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997200714240 139996829235913 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10527] ppid=10521 vsize=13270076 CPUtime=17.26 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10527/stat : 10527 (java) S 10521 10524 7744 0 -1 1077944384 11031 0 0 0 1613 113 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997149096592 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10528] ppid=10521 vsize=13270076 CPUtime=17.36 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10528/stat : 10528 (java) S 10521 10524 7744 0 -1 1077944384 13577 0 0 0 1617 119 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997148043792 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10529] ppid=10521 vsize=13270076 CPUtime=17.33 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10529/stat : 10529 (java) S 10521 10524 7744 0 -1 1077944384 12330 0 0 0 1616 117 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997146990992 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10530] ppid=10521 vsize=13270076 CPUtime=17.56 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10530/stat : 10530 (java) S 10521 10524 7744 0 -1 1077944384 11842 0 0 0 1641 115 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997145938192 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10531] ppid=10521 vsize=13270076 CPUtime=17.19 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10531/stat : 10531 (java) S 10521 10524 7744 0 -1 1077944384 12365 0 0 0 1604 115 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997144886416 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10532] ppid=10521 vsize=13270076 CPUtime=17.34 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10532/stat : 10532 (java) S 10521 10524 7744 0 -1 1077944384 12029 0 0 0 1618 116 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996790455312 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10533] ppid=10521 vsize=13270076 CPUtime=17.3 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10533/stat : 10533 (java) S 10521 10524 7744 0 -1 1077944384 12984 0 0 0 1615 115 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996789402512 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10534] ppid=10521 vsize=13270076 CPUtime=17.3 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10534/stat : 10534 (java) S 10521 10524 7744 0 -1 1077944384 11424 0 0 0 1612 118 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996788349712 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10535] ppid=10521 vsize=13270076 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10535/stat : 10535 (java) S 10521 10524 7744 0 -1 1077944384 86095 0 0 0 102 32 0 0 20 0 20 0 5878446 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996525697392 139997196487298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10536] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10536/stat : 10536 (java) S 10521 10524 7744 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 5878446 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996524643424 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10537] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10537/stat : 10537 (java) S 10521 10524 7744 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5878447 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996523590528 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10538] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10538/stat : 10538 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996522538832 139997196494747 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10539] ppid=10521 vsize=13270076 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10539/stat : 10539 (java) S 10521 10524 7744 0 -1 1077944384 14567 0 0 0 213 3 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996521487216 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10540] ppid=10521 vsize=13270076 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10540/stat : 10540 (java) S 10521 10524 7744 0 -1 1077944384 16271 0 0 0 239 2 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996520434416 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10541] ppid=10521 vsize=13270076 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10541/stat : 10541 (java) S 10521 10524 7744 0 -1 1077944384 15348 0 0 0 237 2 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996519381616 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10542] ppid=10521 vsize=13270076 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10542/stat : 10542 (java) S 10521 10524 7744 0 -1 1077944384 23140 0 0 0 98 4 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996518328816 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10543] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10543/stat : 10543 (java) S 10521 10524 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996517276256 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10544] ppid=10521 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10544/stat : 10544 (java) S 10521 10524 7744 0 -1 1077944384 1302 0 0 0 70 73 0 0 20 0 20 0 5878451 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996516223536 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 2400.17
Current children cumulated vsize (KiB) 13270076

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10524 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2272.3 s]
/proc/loadavg: 1.94 1.80 1.77 3/281 10731
/proc/meminfo: memFree=24998392/32770624 swapFree=5860/311736
[pid=10524] ppid=10521 vsize=13270076 CPUtime=2400.17 cores=1,3,5,7,9,11,13,15
/proc/10524/stat : 10524 (java) S 10521 10524 7744 0 -1 1077944320 358823 0 0 0 238906 1111 0 0 20 0 20 0 5878442 13588557824 635223 33554432000 4194304 4196468 140731143243936 140731143226480 139997196476151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
/proc/10524/statm: 3317519 635223 3858 1 0 3305234 0
[pid=10524/tid=10525] ppid=10521 vsize=13270076 CPUtime=2250.63 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10525/stat : 10525 (java) R 10521 10524 7744 0 -1 4202560 103069 0 0 0 224979 84 0 0 20 0 20 0 5878443 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997200714240 139996829235913 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10527] ppid=10521 vsize=13270076 CPUtime=17.26 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10527/stat : 10527 (java) S 10521 10524 7744 0 -1 1077944384 11031 0 0 0 1613 113 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997149096592 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10528] ppid=10521 vsize=13270076 CPUtime=17.36 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10528/stat : 10528 (java) S 10521 10524 7744 0 -1 1077944384 13577 0 0 0 1617 119 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997148043792 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10529] ppid=10521 vsize=13270076 CPUtime=17.33 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10529/stat : 10529 (java) S 10521 10524 7744 0 -1 1077944384 12330 0 0 0 1616 117 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997146990992 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10530] ppid=10521 vsize=13270076 CPUtime=17.56 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10530/stat : 10530 (java) S 10521 10524 7744 0 -1 1077944384 11842 0 0 0 1641 115 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997145938192 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10531] ppid=10521 vsize=13270076 CPUtime=17.19 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10531/stat : 10531 (java) S 10521 10524 7744 0 -1 1077944384 12365 0 0 0 1604 115 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139997144886416 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10532] ppid=10521 vsize=13270076 CPUtime=17.34 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10532/stat : 10532 (java) S 10521 10524 7744 0 -1 1077944384 12029 0 0 0 1618 116 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996790455312 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10533] ppid=10521 vsize=13270076 CPUtime=17.3 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10533/stat : 10533 (java) S 10521 10524 7744 0 -1 1077944384 12984 0 0 0 1615 115 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996789402512 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10534] ppid=10521 vsize=13270076 CPUtime=17.3 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10534/stat : 10534 (java) S 10521 10524 7744 0 -1 1077944384 11424 0 0 0 1612 118 0 0 20 0 20 0 5878444 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996788349712 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10535] ppid=10521 vsize=13270076 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10535/stat : 10535 (java) S 10521 10524 7744 0 -1 1077944384 86095 0 0 0 102 32 0 0 20 0 20 0 5878446 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996525697392 139997196487298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10536] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10536/stat : 10536 (java) S 10521 10524 7744 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 5878446 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996524643424 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10537] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10537/stat : 10537 (java) S 10521 10524 7744 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5878447 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996523590528 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10538] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10538/stat : 10538 (java) S 10521 10524 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996522538832 139997196494747 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10539] ppid=10521 vsize=13270076 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10539/stat : 10539 (java) S 10521 10524 7744 0 -1 1077944384 14567 0 0 0 213 3 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996521487216 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10540] ppid=10521 vsize=13270076 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10540/stat : 10540 (java) S 10521 10524 7744 0 -1 1077944384 16271 0 0 0 239 2 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996520434416 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10541] ppid=10521 vsize=13270076 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10541/stat : 10541 (java) S 10521 10524 7744 0 -1 1077944384 15348 0 0 0 237 2 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996519381616 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10542] ppid=10521 vsize=13270076 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10542/stat : 10542 (java) S 10521 10524 7744 0 -1 1077944384 23140 0 0 0 98 4 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996518328816 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10543] ppid=10521 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10543/stat : 10543 (java) S 10521 10524 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5878450 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996517276256 139997196486357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
[pid=10524/tid=10544] ppid=10521 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/10524/task/10544/stat : 10544 (java) S 10521 10524 7744 0 -1 1077944384 1302 0 0 0 70 73 0 0 20 0 20 0 5878451 13588557824 635223 33554432000 4194304 4196468 140731143243936 139996516223536 139997196487298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33656832 140731143251088 140731143251268 140731143251268 140731143253967 0
Current children cumulated CPU time (s) 2400.17
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2272.34
CPU time (s): 2400.24
CPU user time (s): 2389.11
CPU system time (s): 11.1301
CPU usage (%): 105.629
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.11
system time used= 11.1301
maximum resident set size= 2681320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91887
involuntary context switches= 129066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8698 second user time and 19.0714 second system time

The end

Launcher Data

Begin job on node127 at 2017-07-22 08:48:27
IDJOB=4246119
IDBENCH=124177
IDSOLVER=2627
FILE ID=node127/4246119-1500706107
RUNJOBID= node127-1500696941-9529
PBS_JOBID= 20623323
Free space on /tmp= 61944 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246119-1500706107/watcher-4246119-1500706107 -o /tmp/evaluation-result-4246119-1500706107/solver-4246119-1500706107 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500696941-9529 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 825474532 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246119-1500706107.xml

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

MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9
RANDOM SEED=825474532

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30409144 kB
MemAvailable:   30716628 kB
Buffers:          124584 kB
Cached:           464116 kB
SwapCached:            0 kB
Active:          1604828 kB
Inactive:         317984 kB
Active(anon):    1337140 kB
Inactive(anon):     8680 kB
Active(file):     267688 kB
Inactive(file):   309304 kB
Unevictable:        5864 kB
Mlocked:            5864 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42196 kB
Writeback:             0 kB
AnonPages:       1338728 kB
Mapped:            45000 kB
Shmem:              8840 kB
Slab:             126152 kB
SReclaimable:      92652 kB
SUnreclaim:        33500 kB
KernelStack:        4560 kB
PageTables:         8316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2671564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1267712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61900 MiB
End job on node127 at 2017-07-22 09:26:20

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

Trace number 4246119

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data