0.30/0.56	c version: 2017-07-26
0.30/0.56	c seed: 27569218
0.30/0.56	c timeout: 2520
0.30/0.56	c memlimit: 11000
0.30/0.56	c nbcore: 4
0.30/0.58	c Parsing instance...
2.20/1.34	c Parsing done, starting first complete search...
16.66/11.61	o 240
17.01/11.84	o 239
17.31/12.01	o 238
17.43/12.17	o 237
17.67/12.34	o 236
17.87/12.54	o 235
17.98/12.69	o 234
18.20/12.85	o 233
18.30/13.00	o 232
18.51/13.13	o 231
18.61/13.28	o 230
19.08/13.61	o 229
19.20/13.76	o 228
20.69/15.17	o 227
35.35/29.77	c First complete search done, starting ALNS search...
1844.04/1789.71	c ALNS done, starting second complete search
2520.01/2447.62	s SATISFIABLE
2520.01/2447.63	v <instantiation>
2520.01/2447.63	v 	<list>
2520.01/2447.63	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]
2520.01/2447.63	v 	</list>
2520.01/2447.63	v 	<values>
2520.01/2447.63	v 		1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 0 3 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 3 3 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 3 3 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 4 0 0 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 5 2 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 2 9 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 6 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 2 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 0 1 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 1 1 0 2 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 5 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 5 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 4 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 4 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 10 0 0 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 10 0 0 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 6 5 0 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 11 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 1 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 0 4 0 0 1 0 0 5 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 4 0 2 0 0 0 1 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 2 0 0 1 2 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 2 5 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 1 6 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 1 6 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 7 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 9 5 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 9 5 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 9 5 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 14 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 13 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 3 5 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 2 6 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 1 1 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 1 1 0 2 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 6 0 0 1 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 4 0 2 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 4 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 5 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 6 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 4 0 3 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 4 0 3 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 4 0 3 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 6 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 6 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 3 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 2 4 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2520.01/2447.63	v 	</values>
2520.01/2447.63	v </instantiation>

OK	227

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15008 MiB free)
  memory of node 1: 16384 MiB (14072 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274437-1502802842/watcher-4274437-1502802842 -o /tmp/evaluation-result-4274437-1502802842/solver-4274437-1502802842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 27569218 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274437-1502802842.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=2795, runsolver pid=2792

[startup+0.100123 s]*
/proc/loadavg: 1.46 1.26 1.31 2/202 2796
/proc/meminfo: memFree=29779084/32770624 swapFree=67108860/67108860
[pid=2795] ppid=2792 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (runsolver) D 2792 2795 12395 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 122195726 34791424 114 18446744073709551615 4194304 4346622 140726660538320 140726660534952 139800177316567 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 14938112 140726660546630 140726660547108 140726660547108 140726660550602 0
/proc/2795/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209681 s]*
/proc/loadavg: 1.46 1.26 1.31 2/202 2796
/proc/meminfo: memFree=29779084/32770624 swapFree=67108860/67108860
[pid=2795] ppid=2792 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (runsolver) D 2792 2795 12395 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 122195726 34791424 114 18446744073709551615 4194304 4346622 140726660538320 140726660534952 139800177316567 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 14938112 140726660546630 140726660547108 140726660547108 140726660550602 0
/proc/2795/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.314532 s]*
/proc/loadavg: 1.46 1.26 1.31 4/211 2805
/proc/meminfo: memFree=29768640/32770624 swapFree=67108860/67108860
[pid=2795] ppid=2792 vsize=13906484 memory=21784 CPUtime=0.05 cores=0,2,4,6
/proc/2795/stat : 2795 (java) S 2792 2795 12395 0 -1 1077944320 4905 0 0 0 4 1 0 0 20 0 14 0 122195726 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140724534375664 140315413552887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 26 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
/proc/2795/statm: 3476621 5446 2578 1 0 3466118 0
[pid=2795/tid=2797] ppid=2792 vsize=13906484 memory=8316850467074736180 CPUtime=0.04 cores=0,2,4,6
/proc/2795/task/2797/stat : 2797 (java) D 2792 2795 12395 0 -1 4202560 3000 0 0 0 4 0 0 0 20 0 14 0 122195752 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140315417790368 140315413574909 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2798] ppid=2792 vsize=13906484 memory=13701 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122195753 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140315013344016 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2799] ppid=2792 vsize=13906484 memory=288370176331978368 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122195753 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140315012291472 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2800] ppid=2792 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122195753 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140315011238928 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2801] ppid=2792 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122195753 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140315010186384 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2802] ppid=2792 vsize=13906484 memory=139800180266624 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122195754 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140314892253168 140315413564034 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2803] ppid=2792 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 122195755 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140314891199392 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2804] ppid=2792 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 122195755 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140314890146800 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2805] ppid=2792 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122195758 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140314889095376 140315413571483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2806] ppid=2792 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 12395 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 122195758 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140314888042992 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2807] ppid=2792 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122195758 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140314886990448 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2808] ppid=2792 vsize=13906484 memory=139800180266624 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 12395 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 122195758 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140314885937904 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2809] ppid=2792 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122195758 14240239616 5446 18446744073709551615 4194304 4196468 140724534393120 140314884885600 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 21784 KiB

[startup+0.700776 s]
/proc/loadavg: 1.46 1.26 1.31 3/216 2810
/proc/meminfo: memFree=29743076/32770624 swapFree=67108860/67108860
[pid=2795] ppid=2792 vsize=13975940 memory=57016 CPUtime=0.66 cores=0,2,4,6
/proc/2795/stat : 2795 (java) S 2792 2795 12395 0 -1 1077944320 13073 0 0 0 63 3 0 0 20 0 15 0 122195726 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140724534375664 140315413552887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 26 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
/proc/2795/statm: 3493985 14254 3713 1 0 3482759 0
[pid=2795/tid=2797] ppid=2792 vsize=13975940 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 12395 0 -1 4202560 9965 0 0 0 35 3 0 0 20 0 15 0 122195752 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140315417777328 140315399234382 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2798] ppid=2792 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122195753 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140315013344016 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2799] ppid=2792 vsize=13975940 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122195753 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140315012291472 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2800] ppid=2792 vsize=13975940 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195753 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140315011238928 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2801] ppid=2792 vsize=13975940 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122195753 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140315010186384 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2802] ppid=2792 vsize=13975940 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 122195754 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140314892253168 140315413564034 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2803] ppid=2792 vsize=13975940 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122195755 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140314891199392 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2804] ppid=2792 vsize=13975940 memory=12132 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122195755 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140314890146800 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2805] ppid=2792 vsize=13975940 memory=796 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140314889095376 140315413571483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2806] ppid=2792 vsize=13975940 memory=5784 CPUtime=0.06 cores=0,2,4,6
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 12395 0 -1 1077944384 821 0 0 0 6 0 0 0 20 0 15 0 122195758 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140314888042992 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2807] ppid=2792 vsize=13975940 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 12395 0 -1 1077944384 384 0 0 0 7 0 0 0 20 0 15 0 122195758 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140314886990448 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2808] ppid=2792 vsize=13975940 memory=1716 CPUtime=0.12 cores=0,2,4,6
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 12395 0 -1 1077944384 517 0 0 0 12 0 0 0 20 0 15 0 122195758 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140314885937904 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2809] ppid=2792 vsize=13975940 memory=9044 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140314884885600 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2810] ppid=2792 vsize=13975940 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122195762 14311362560 14254 18446744073709551615 4194304 4196468 140724534393120 140314883832112 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 57016 KiB

[startup+1.50745 s]
/proc/loadavg: 1.46 1.26 1.31 5/216 2810
/proc/meminfo: memFree=29705168/32770624 swapFree=67108860/67108860
[pid=2795] ppid=2792 vsize=13982084 memory=166568 CPUtime=2.81 cores=0,2,4,6
/proc/2795/stat : 2795 (java) S 2792 2795 12395 0 -1 1077944320 26773 0 0 0 272 9 0 0 20 0 15 0 122195726 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140724534375664 140315413552887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 26 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
/proc/2795/statm: 3495521 41642 3771 1 0 3484295 0
[pid=2795/tid=2797] ppid=2792 vsize=13982084 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 12395 0 -1 4202560 14387 0 0 0 112 6 0 0 20 0 15 0 122195752 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140315417782096 140315061553009 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2798] ppid=2792 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122195753 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140315013344016 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2799] ppid=2792 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122195753 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140315012291472 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2800] ppid=2792 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195753 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140315011238928 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2801] ppid=2792 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122195753 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140315010186384 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2802] ppid=2792 vsize=13982084 memory=7810487918915055718 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 12395 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 122195754 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140314892253168 140315413564034 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2803] ppid=2792 vsize=13982084 memory=5931331309172975205 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140314891199392 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2804] ppid=2792 vsize=13982084 memory=121746288 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140314890146800 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2805] ppid=2792 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140314889095376 140315413571483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2806] ppid=2792 vsize=13982084 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/2795/task/2806/stat : 2806 (java) R 2792 2795 12395 0 -1 4202560 3276 0 0 0 52 1 0 0 20 0 15 0 122195758 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140314888028912 140315398315141 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2807] ppid=2792 vsize=13982084 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/2795/task/2807/stat : 2807 (java) R 2792 2795 12395 0 -1 4202560 2152 0 0 0 52 0 0 0 20 0 15 0 122195758 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140314886976976 140315397942704 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2808] ppid=2792 vsize=13982084 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 12395 0 -1 1077944384 5551 0 0 0 54 1 0 0 20 0 15 0 122195758 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140314885937904 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2809] ppid=2792 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140314884885600 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2810] ppid=2792 vsize=13982084 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195762 14317654016 41642 18446744073709551615 4194304 4196468 140724534393120 140314883832112 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 166568 KiB

[startup+3.11096 s]
/proc/loadavg: 1.59 1.29 1.31 5/216 2810
/proc/meminfo: memFree=29550340/32770624 swapFree=67108860/67108860
[pid=2795] ppid=2792 vsize=13982084 memory=244068 CPUtime=7.66 cores=0,2,4,6
/proc/2795/stat : 2795 (java) S 2792 2795 12395 0 -1 1077944320 39246 0 0 0 753 13 0 0 20 0 15 0 122195726 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140724534375664 140315413552887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 26 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
/proc/2795/statm: 3495521 61017 3802 1 0 3484295 0
[pid=2795/tid=2797] ppid=2792 vsize=13982084 memory=0 CPUtime=2.75 cores=0,2,4,6
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 12395 0 -1 4202560 14804 0 0 0 268 7 0 0 20 0 15 0 122195752 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140315417791360 140315061950206 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2798] ppid=2792 vsize=13982084 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 12395 0 -1 1077944384 320 0 0 0 2 0 0 0 20 0 15 0 122195753 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140315013344016 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2799] ppid=2792 vsize=13982084 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 12395 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 15 0 122195753 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140315012291472 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2800] ppid=2792 vsize=13982084 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 12395 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 122195753 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140315011238928 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2801] ppid=2792 vsize=13982084 memory=4132 CPUtime=0.02 cores=0,2,4,6
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 12395 0 -1 1077944384 758 0 0 0 2 0 0 0 20 0 15 0 122195753 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140315010186384 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2802] ppid=2792 vsize=13982084 memory=60072 CPUtime=0.01 cores=0,2,4,6
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 12395 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 15 0 122195754 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140314892253168 140315413564034 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2803] ppid=2792 vsize=13982084 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140314891199456 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2804] ppid=2792 vsize=13982084 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 12395 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140314890146816 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2805] ppid=2792 vsize=13982084 memory=64792 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140314889095376 140315413571483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2806] ppid=2792 vsize=13982084 memory=15884 CPUtime=2.09 cores=0,2,4,6
/proc/2795/task/2806/stat : 2806 (java) R 2792 2795 12395 0 -1 4202560 7000 0 0 0 208 1 0 0 20 0 15 0 122195758 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140314888042992 140315399568468 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2807] ppid=2792 vsize=13982084 memory=4048 CPUtime=2.07 cores=0,2,4,6
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 12395 0 -1 1077944384 7503 0 0 0 206 1 0 0 20 0 15 0 122195758 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140314886990448 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2808] ppid=2792 vsize=13982084 memory=34908 CPUtime=0.6 cores=0,2,4,6
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 12395 0 -1 1077944384 6968 0 0 0 59 1 0 0 20 0 15 0 122195758 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140314885937904 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2809] ppid=2792 vsize=13982084 memory=201728 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140314884885600 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2810] ppid=2792 vsize=13982084 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 12395 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 122195762 14317654016 61017 18446744073709551615 4194304 4196468 140724534393120 140314883832112 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 244068 KiB


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

/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 12395 0 -1 4202560 96907 0 0 0 229857 76 0 0 20 0 15 0 122195752 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140315417790960 140315058972390 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2798] ppid=2792 vsize=13982084 memory=1756952 CPUtime=20.15 cores=0,2,4,6
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 12395 0 -1 1077944384 16347 0 0 0 1946 69 0 0 20 0 15 0 122195753 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140315013344016 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2799] ppid=2792 vsize=13982084 memory=1756952 CPUtime=20.15 cores=0,2,4,6
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 12395 0 -1 1077944384 14044 0 0 0 1944 71 0 0 20 0 15 0 122195753 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140315012291472 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2800] ppid=2792 vsize=13982084 memory=1756952 CPUtime=20.15 cores=0,2,4,6
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 12395 0 -1 1077944384 15989 0 0 0 1944 71 0 0 20 0 15 0 122195753 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140315011238928 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2801] ppid=2792 vsize=13982084 memory=1756952 CPUtime=20.1 cores=0,2,4,6
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 12395 0 -1 1077944384 16998 0 0 0 1938 72 0 0 20 0 15 0 122195753 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140315010186384 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2802] ppid=2792 vsize=13982084 memory=1756952 CPUtime=1.19 cores=0,2,4,6
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 12395 0 -1 1077944384 88164 0 0 0 98 21 0 0 20 0 15 0 122195754 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140314892253168 140315413564034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2803] ppid=2792 vsize=13982084 memory=1745152 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 12395 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140314891199456 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2804] ppid=2792 vsize=13982084 memory=55 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 12395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140314890146816 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2805] ppid=2792 vsize=13982084 memory=236589 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140314889095376 140315413571483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2806] ppid=2792 vsize=13982084 memory=0 CPUtime=3.76 cores=0,2,4,6
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 12395 0 -1 1077944384 19729 0 0 0 373 3 0 0 20 0 15 0 122195758 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140314888042992 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 52 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2807] ppid=2792 vsize=13982084 memory=1756952 CPUtime=3.86 cores=0,2,4,6
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 12395 0 -1 1077944384 19289 0 0 0 383 3 0 0 20 0 15 0 122195758 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140314886990448 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2808] ppid=2792 vsize=13982084 memory=1756952 CPUtime=1.01 cores=0,2,4,6
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 12395 0 -1 1077944384 19982 0 0 0 98 3 0 0 20 0 15 0 122195758 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140314885937904 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 62 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2809] ppid=2792 vsize=13982084 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140314884885600 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2810] ppid=2792 vsize=13982084 memory=3508 CPUtime=1.42 cores=0,2,4,6
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 12395 0 -1 1077944384 1438 0 0 0 73 69 0 0 20 0 15 0 122195762 14317654016 436288 18446744073709551615 4194304 4196468 140724534393120 140314883832112 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
Current children cumulated CPU time: 2391.23 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1745152 KiB

[startup+2382.3 s]
/proc/loadavg: 1.45 1.57 1.60 3/214 3117
/proc/meminfo: memFree=24863596/32770624 swapFree=67108860/67108860
[pid=2795] ppid=2792 vsize=13982084 memory=1627176 CPUtime=2453.03 cores=0,2,4,6
/proc/2795/stat : 2795 (java) S 2792 2795 12395 0 -1 1077944320 315244 0 0 0 244862 441 0 0 20 0 15 0 122195726 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140724534375664 140315413552887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 26 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
/proc/2795/statm: 3495521 406794 3833 1 0 3484295 0
[pid=2795/tid=2797] ppid=2792 vsize=13982084 memory=1638968 CPUtime=2358.67 cores=0,2,4,6
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 12395 0 -1 4202560 98337 0 0 0 235791 76 0 0 20 0 15 0 122195752 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140315417791024 140315058972294 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2798] ppid=2792 vsize=13982084 memory=1638968 CPUtime=20.75 cores=0,2,4,6
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 12395 0 -1 1077944384 16659 0 0 0 2005 70 0 0 20 0 15 0 122195753 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140315013344016 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2799] ppid=2792 vsize=13982084 memory=7680170660397595203 CPUtime=20.75 cores=0,2,4,6
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 12395 0 -1 1077944384 14318 0 0 0 2004 71 0 0 20 0 15 0 122195753 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140315012291472 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2800] ppid=2792 vsize=13982084 memory=7680170660397595203 CPUtime=20.74 cores=0,2,4,6
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 12395 0 -1 1077944384 16409 0 0 0 2003 71 0 0 20 0 15 0 122195753 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140315011238928 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2801] ppid=2792 vsize=13982084 memory=1638968 CPUtime=20.69 cores=0,2,4,6
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 12395 0 -1 1077944384 17310 0 0 0 1997 72 0 0 20 0 15 0 122195753 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140315010186384 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2802] ppid=2792 vsize=13982084 memory=1638968 CPUtime=1.22 cores=0,2,4,6
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 12395 0 -1 1077944384 90279 0 0 0 101 21 0 0 20 0 15 0 122195754 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140314892253168 140315413564034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2803] ppid=2792 vsize=13982084 memory=1627176 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 12395 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140314891199456 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2804] ppid=2792 vsize=13982084 memory=55 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 12395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140314890146816 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2805] ppid=2792 vsize=13982084 memory=1638968 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140314889095376 140315413571483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2806] ppid=2792 vsize=13982084 memory=1608 CPUtime=3.76 cores=0,2,4,6
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 12395 0 -1 1077944384 19731 0 0 0 373 3 0 0 20 0 15 0 122195758 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140314888042992 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2807] ppid=2792 vsize=13982084 memory=1662560 CPUtime=3.87 cores=0,2,4,6
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 12395 0 -1 1077944384 19291 0 0 0 384 3 0 0 20 0 15 0 122195758 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140314886990448 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2808] ppid=2792 vsize=13982084 memory=1662560 CPUtime=1.02 cores=0,2,4,6
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 12395 0 -1 1077944384 19984 0 0 0 99 3 0 0 20 0 15 0 122195758 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140314885937904 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 62 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2809] ppid=2792 vsize=13982084 memory=1638968 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140314884885600 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2810] ppid=2792 vsize=13982084 memory=4048 CPUtime=1.47 cores=0,2,4,6
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 12395 0 -1 1077944384 1453 0 0 0 75 72 0 0 20 0 15 0 122195762 14317654016 406794 18446744073709551615 4194304 4196468 140724534393120 140314883832112 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 58 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
Current children cumulated CPU time: 2453.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1627176 KiB

[startup+2442.3 s]
/proc/loadavg: 1.32 1.51 1.58 3/217 3133
/proc/meminfo: memFree=24976280/32770624 swapFree=67108860/67108860
[pid=2795] ppid=2792 vsize=13982084 memory=1520984 CPUtime=2514.6 cores=0,2,4,6
/proc/2795/stat : 2795 (java) S 2792 2795 12395 0 -1 1077944320 318460 0 0 0 251017 443 0 0 20 0 15 0 122195726 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140724534375664 140315413552887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 26 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
/proc/2795/statm: 3495521 380246 3833 1 0 3484295 0
[pid=2795/tid=2797] ppid=2792 vsize=13982084 memory=1532784 CPUtime=2418.11 cores=0,2,4,6
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 12395 0 -1 4202560 99619 0 0 0 241735 76 0 0 20 0 15 0 122195752 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140315417790912 140315064561963 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2798] ppid=2792 vsize=13982084 memory=1544580 CPUtime=21.27 cores=0,2,4,6
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 12395 0 -1 1077944384 17020 0 0 0 2057 70 0 0 20 0 15 0 122195753 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140315013344016 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2799] ppid=2792 vsize=13982084 memory=1532784 CPUtime=21.26 cores=0,2,4,6
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 12395 0 -1 1077944384 14815 0 0 0 2055 71 0 0 20 0 15 0 122195753 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140315012291472 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2800] ppid=2792 vsize=13982084 memory=1532784 CPUtime=21.25 cores=0,2,4,6
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 12395 0 -1 1077944384 16859 0 0 0 2054 71 0 0 20 0 15 0 122195753 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140315011238928 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2801] ppid=2792 vsize=13982084 memory=1520984 CPUtime=21.21 cores=0,2,4,6
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 12395 0 -1 1077944384 17718 0 0 0 2049 72 0 0 20 0 15 0 122195753 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140315010186384 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2802] ppid=2792 vsize=13982084 memory=1532784 CPUtime=1.26 cores=0,2,4,6
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 12395 0 -1 1077944384 90475 0 0 0 104 22 0 0 20 0 15 0 122195754 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140314892253168 140315413564034 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2803] ppid=2792 vsize=13982084 memory=1520984 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 12395 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140314891199456 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2804] ppid=2792 vsize=13982084 memory=1520984 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 12395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140314890146816 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2805] ppid=2792 vsize=13982084 memory=1615376 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140314889095376 140315413571483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2806] ppid=2792 vsize=13982084 memory=18468 CPUtime=3.76 cores=0,2,4,6
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 12395 0 -1 1077944384 19733 0 0 0 373 3 0 0 20 0 15 0 122195758 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140314888042992 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2807] ppid=2792 vsize=13982084 memory=1788 CPUtime=3.87 cores=0,2,4,6
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 12395 0 -1 1077944384 19294 0 0 0 384 3 0 0 20 0 15 0 122195758 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140314886990448 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2808] ppid=2792 vsize=13982084 memory=1520984 CPUtime=1.02 cores=0,2,4,6
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 12395 0 -1 1077944384 19986 0 0 0 99 3 0 0 20 0 15 0 122195758 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140314885937904 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 62 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2809] ppid=2792 vsize=13982084 memory=1520984 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140314884885600 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2810] ppid=2792 vsize=13982084 memory=9044 CPUtime=1.51 cores=0,2,4,6
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 12395 0 -1 1077944384 1468 0 0 0 78 73 0 0 20 0 15 0 122195762 14317654016 380246 18446744073709551615 4194304 4196468 140724534393120 140314883832112 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
Current children cumulated CPU time: 2514.6 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1520984 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2447.6 s]
/proc/loadavg: 1.37 1.52 1.58 3/217 3133
/proc/meminfo: memFree=24988064/32770624 swapFree=67108860/67108860
[pid=2795] ppid=2792 vsize=13982084 memory=1509184 CPUtime=2520.01 cores=0,2,4,6
/proc/2795/stat : 2795 (java) S 2792 2795 12395 0 -1 1077944320 318470 0 0 0 251558 443 0 0 20 0 15 0 122195726 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140724534375664 140315413552887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 26 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
/proc/2795/statm: 3495521 377296 3833 1 0 3484295 0
[pid=2795/tid=2797] ppid=2792 vsize=13982084 memory=1296 CPUtime=2423.37 cores=0,2,4,6
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 12395 0 -1 4202560 99622 0 0 0 242261 76 0 0 20 0 15 0 122195752 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140315417790912 140315059459812 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2798] ppid=2792 vsize=13982084 memory=2460 CPUtime=21.3 cores=0,2,4,6
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 12395 0 -1 1077944384 17020 0 0 0 2060 70 0 0 20 0 15 0 122195753 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140315013344016 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2799] ppid=2792 vsize=13982084 memory=1840 CPUtime=21.29 cores=0,2,4,6
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 12395 0 -1 1077944384 14815 0 0 0 2058 71 0 0 20 0 15 0 122195753 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140315012291472 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2800] ppid=2792 vsize=13982084 memory=1012 CPUtime=21.29 cores=0,2,4,6
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 12395 0 -1 1077944384 16859 0 0 0 2058 71 0 0 20 0 15 0 122195753 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140315011238928 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2801] ppid=2792 vsize=13982084 memory=1520984 CPUtime=21.24 cores=0,2,4,6
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 12395 0 -1 1077944384 17723 0 0 0 2052 72 0 0 20 0 15 0 122195753 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140315010186384 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2802] ppid=2792 vsize=13982084 memory=1152 CPUtime=1.26 cores=0,2,4,6
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 12395 0 -1 1077944384 90477 0 0 0 104 22 0 0 20 0 15 0 122195754 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140314892253168 140315413564034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2803] ppid=2792 vsize=13982084 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 12395 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140314891199456 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2804] ppid=2792 vsize=13982084 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 12395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 122195755 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140314890146816 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2805] ppid=2792 vsize=13982084 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140314889095376 140315413571483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2806] ppid=2792 vsize=13982084 memory=12132 CPUtime=3.76 cores=0,2,4,6
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 12395 0 -1 1077944384 19733 0 0 0 373 3 0 0 20 0 15 0 122195758 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140314888042992 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2807] ppid=2792 vsize=13982084 memory=796 CPUtime=3.87 cores=0,2,4,6
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 12395 0 -1 1077944384 19294 0 0 0 384 3 0 0 20 0 15 0 122195758 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140314886990448 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2808] ppid=2792 vsize=13982084 memory=5784 CPUtime=1.02 cores=0,2,4,6
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 12395 0 -1 1077944384 19986 0 0 0 99 3 0 0 20 0 15 0 122195758 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140314885937904 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 62 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2809] ppid=2792 vsize=13982084 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122195758 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140314884885600 140315413563093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
[pid=2795/tid=2810] ppid=2792 vsize=13982084 memory=1716 CPUtime=1.51 cores=0,2,4,6
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 12395 0 -1 1077944384 1468 0 0 0 78 73 0 0 20 0 15 0 122195762 14317654016 377296 18446744073709551615 4194304 4196468 140724534393120 140314883832112 140315413564034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 9216000 140724534395252 140724534395433 140724534395433 140724534398927 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1509184 KiB

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

[startup+2447.64 s]
# the end of solver process 2795 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.68 s, system=4.44817 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2447.64
CPU time (s): 2520.13
CPU user time (s): 2515.68
CPU system time (s): 4.44817
CPU usage (%): 102.962
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2118604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.68
system time used= 4.44817
maximum resident set size= 2119740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79937
involuntary context switches= 5158


# summary of solver processes directly reported to runsolver:
#   pid: 2795
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2515.68
#   total CPU system time (s): 4.44817

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8199 second user time and 24.663 second system time

The end

Begin job on node135 at 2017-08-15 15:00:10
IDJOB=4274437
IDBENCH=124177
IDSOLVER=2667
FILE ID=node135/4274437-1502802842
RUNJOBID= node135-1502658244-13744
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274437-1502802842/watcher-4274437-1502802842 -o /tmp/evaluation-result-4274437-1502802842/solver-4274437-1502802842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 27569218 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274437-1502802842.xml

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

MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9
RANDOM SEED=27569218

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29779084 kB
MemAvailable:   30830044 kB
Buffers:          325488 kB
Cached:          1020000 kB
SwapCached:            0 kB
Active:          1948336 kB
Inactive:         588740 kB
Active(anon):    1191748 kB
Inactive(anon):    41324 kB
Active(file):     756588 kB
Inactive(file):   547416 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42024 kB
Writeback:             4 kB
AnonPages:       1191420 kB
Mapped:            75448 kB
Shmem:             41656 kB
Slab:             154092 kB
SReclaimable:     125584 kB
SUnreclaim:        28508 kB
KernelStack:        3552 kB
PageTables:         8004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1840228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1050624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61948 MiB
End job on node135 at 2017-08-15 15:40:58