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

OK	226

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255966-1501630607/watcher-4255966-1501630607 -o /tmp/evaluation-result-4255966-1501630607/solver-4255966-1501630607 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15685 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1250505113 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255966-1501630607.xml 

pid=21918
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.16 2.06 1.86 3/200 21921
/proc/meminfo: memFree=30412016/32770624 swapFree=0/201340
[pid=21921] ppid=21918 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21921/stat : 21921 (runsolver) D 21918 21921 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10876068 24240128 106 18446744073709551615 4194304 4338465 140734755645120 140734755642760 140118379270871 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26566656 140734755651686 140734755652166 140734755652166 140734755655626 0
/proc/21921/statm: 5918 106 53 36 0 2156 0

[startup+0.105824 s]
/proc/loadavg: 2.16 2.06 1.86 3/200 21921
/proc/meminfo: memFree=30412016/32770624 swapFree=0/201340
[pid=21921] ppid=21918 vsize=13373972 CPUtime=0.01 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 3476 0 0 0 1 0 0 0 20 0 6 0 10876068 13694947328 4170 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3343493 4170 1940 1 0 3332998 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13373972

[startup+0.200306 s]
/proc/loadavg: 2.16 2.06 1.86 3/200 21921
/proc/meminfo: memFree=30412016/32770624 swapFree=0/201340
[pid=21921] ppid=21918 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 4622 0 0 0 5 0 0 0 20 0 14 0 10876068 14240239616 5168 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3476621 5168 2571 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.30028 s]
/proc/loadavg: 2.16 2.06 1.86 3/200 21921
/proc/meminfo: memFree=30412016/32770624 swapFree=0/201340
[pid=21921] ppid=21918 vsize=13975920 CPUtime=0.18 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 9519 0 0 0 16 2 0 0 20 0 15 0 10876068 14311342080 9401 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3493980 9401 3505 1 0 3482767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13975920

[startup+0.700303 s]
/proc/loadavg: 2.16 2.06 1.86 3/200 21921
/proc/meminfo: memFree=30412016/32770624 swapFree=0/201340
[pid=21921] ppid=21918 vsize=13975940 CPUtime=0.68 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 12579 0 0 0 64 4 0 0 20 0 15 0 10876068 14311362560 14352 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3493985 14352 3705 1 0 3482767 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13975940

[startup+1.50678 s]
/proc/loadavg: 2.23 2.07 1.87 5/215 21936
/proc/meminfo: memFree=30345236/32770624 swapFree=0/201364
[pid=21921] ppid=21918 vsize=13981060 CPUtime=1.98 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 16700 0 0 0 192 6 0 0 20 0 15 0 10876068 14316605440 27055 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3495265 27119 3756 1 0 3484047 0
[pid=21921/tid=21923] ppid=21918 vsize=13981060 CPUtime=0.9 cores=0,2,4,6
/proc/21921/task/21923/stat : 21923 (java) R 21918 21921 5228 0 -1 4202560 10898 0 0 0 86 4 0 0 20 0 15 0 10876076 14316605440 27119 18446744073709551615 4194304 4196468 140721678722016 140083406008448 140083394464797 0 4 1 16800974 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21924] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21924/stat : 21924 (java) S 21918 21921 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10876077 14316605440 27185 18446744073709551615 4194304 4196468 140721678722016 140083321199632 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21925] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21925/stat : 21925 (java) S 21918 21921 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10876077 14316605440 27185 18446744073709551615 4194304 4196468 140721678722016 140083320147088 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21926] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21926/stat : 21926 (java) S 21918 21921 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10876077 14316605440 27185 18446744073709551615 4194304 4196468 140721678722016 140083319094032 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21927] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21927/stat : 21927 (java) S 21918 21921 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10876077 14316605440 27185 18446744073709551615 4194304 4196468 140721678722016 140083318041488 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21928] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21928/stat : 21928 (java) S 21918 21921 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10876078 14316605440 27251 18446744073709551615 4194304 4196468 140721678722016 140082384980208 140083401796226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21929] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21929/stat : 21929 (java) S 21918 21921 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10876079 14316605440 27251 18446744073709551615 4194304 4196468 140721678722016 140082383926432 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21930] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21930/stat : 21930 (java) S 21918 21921 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10876079 14316605440 27251 18446744073709551615 4194304 4196468 140721678722016 140082382873328 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21931] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21931/stat : 21931 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876081 14316605440 27251 18446744073709551615 4194304 4196468 140721678722016 140082381821904 140083401803675 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21932] ppid=21918 vsize=13981060 CPUtime=0.32 cores=0,2,4,6
/proc/21921/task/21932/stat : 21932 (java) R 21918 21921 5228 0 -1 4202560 1190 0 0 0 32 0 0 0 20 0 15 0 10876081 14316605440 27251 18446744073709551615 4194304 4196468 140721678722016 140082380751048 140083385296312 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21933] ppid=21918 vsize=13981060 CPUtime=0.32 cores=0,2,4,6
/proc/21921/task/21933/stat : 21933 (java) R 21918 21921 5228 0 -1 4202560 1229 0 0 0 32 0 0 0 20 0 15 0 10876081 14316605440 27317 18446744073709551615 4194304 4196468 140721678722016 140082379703368 140083383329255 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21934] ppid=21918 vsize=13981060 CPUtime=0.4 cores=0,2,4,6
/proc/21921/task/21934/stat : 21934 (java) S 21918 21921 5228 0 -1 1077944384 2070 0 0 0 40 0 0 0 20 0 15 0 10876081 14316605440 27317 18446744073709551615 4194304 4196468 140721678722016 140082378664432 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21935] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21935/stat : 21935 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876082 14316605440 27317 18446744073709551615 4194304 4196468 140721678722016 140082377612128 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21936] ppid=21918 vsize=13981060 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21936/stat : 21936 (java) S 21918 21921 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10876089 14316605440 27317 18446744073709551615 4194304 4196468 140721678722016 140082376559152 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13981060

[startup+3.10069 s]
/proc/loadavg: 2.23 2.07 1.87 5/215 21936
/proc/meminfo: memFree=30198084/32770624 swapFree=0/201368
[pid=21921] ppid=21918 vsize=13982084 CPUtime=6.8 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 39139 0 0 0 668 12 0 0 20 0 15 0 10876068 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3495521 60921 3790 1 0 3484303 0
[pid=21921/tid=21923] ppid=21918 vsize=13982084 CPUtime=2.46 cores=0,2,4,6
/proc/21921/task/21923/stat : 21923 (java) R 21918 21921 5228 0 -1 4202560 14037 0 0 0 240 6 0 0 20 0 15 0 10876076 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140083406020568 140083000085364 0 4 1 16800974 0 0 0 -1 2 0 0 49 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21924] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21924/stat : 21924 (java) S 21918 21921 5228 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10876077 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140083321199632 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21925] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21925/stat : 21925 (java) S 21918 21921 5228 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 10876077 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140083320147088 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21926] ppid=21918 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/21921/task/21926/stat : 21926 (java) S 21918 21921 5228 0 -1 1077944384 801 0 0 0 2 0 0 0 20 0 15 0 10876077 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140083319094032 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21927] ppid=21918 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/21921/task/21927/stat : 21927 (java) S 21918 21921 5228 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 10876077 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140083318041488 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21928] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21928/stat : 21928 (java) S 21918 21921 5228 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 10876078 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140082384980208 140083401796226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21929] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21929/stat : 21929 (java) S 21918 21921 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140082383926496 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21930] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21930/stat : 21930 (java) S 21918 21921 5228 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140082382873344 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21931] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21931/stat : 21931 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876081 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140082381821904 140083401803675 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21932] ppid=21918 vsize=13982084 CPUtime=1.81 cores=0,2,4,6
/proc/21921/task/21932/stat : 21932 (java) R 21918 21921 5228 0 -1 4202560 6390 0 0 0 180 1 0 0 20 0 15 0 10876081 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140082380754880 140083386684650 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21933] ppid=21918 vsize=13982084 CPUtime=1.82 cores=0,2,4,6
/proc/21921/task/21933/stat : 21933 (java) R 21918 21921 5228 0 -1 4202560 9265 0 0 0 181 1 0 0 20 0 15 0 10876081 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140082379704240 140083382960944 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21934] ppid=21918 vsize=13982084 CPUtime=0.6 cores=0,2,4,6
/proc/21921/task/21934/stat : 21934 (java) S 21918 21921 5228 0 -1 1077944384 6501 0 0 0 59 1 0 0 20 0 15 0 10876081 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140082378664432 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21935] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21935/stat : 21935 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876082 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140082377612128 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21936] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21936/stat : 21936 (java) S 21918 21921 5228 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10876089 14317654016 60921 18446744073709551615 4194304 4196468 140721678722016 140082376559152 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 13982084

[startup+6.30063 s]
/proc/loadavg: 2.23 2.07 1.87 4/215 21936
/proc/meminfo: memFree=30061104/32770624 swapFree=0/201368
[pid=21921] ppid=21918 vsize=13982084 CPUtime=11.23 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 40234 0 0 0 1107 16 0 0 20 0 15 0 10876068 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3495521 94424 3791 1 0 3484303 0
[pid=21921/tid=21923] ppid=21918 vsize=13982084 CPUtime=5.62 cores=0,2,4,6
/proc/21921/task/21923/stat : 21923 (java) R 21918 21921 5228 0 -1 4202560 14154 0 0 0 554 8 0 0 20 0 15 0 10876076 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140083406023280 140082999854140 0 4 1 16800974 0 0 0 -1 0 0 0 49 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21924] ppid=21918 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/21921/task/21924/stat : 21924 (java) S 21918 21921 5228 0 -1 1077944384 52 0 0 0 3 0 0 0 20 0 15 0 10876077 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140083321199632 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21925] ppid=21918 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/21921/task/21925/stat : 21925 (java) S 21918 21921 5228 0 -1 1077944384 56 0 0 0 4 0 0 0 20 0 15 0 10876077 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140083320147088 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21926] ppid=21918 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/21921/task/21926/stat : 21926 (java) S 21918 21921 5228 0 -1 1077944384 823 0 0 0 4 0 0 0 20 0 15 0 10876077 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140083319094032 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21927] ppid=21918 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/21921/task/21927/stat : 21927 (java) S 21918 21921 5228 0 -1 1077944384 384 0 0 0 4 0 0 0 20 0 15 0 10876077 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140083318041488 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21928] ppid=21918 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/21921/task/21928/stat : 21928 (java) S 21918 21921 5228 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 15 0 10876078 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140082384980208 140083401796226 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21929] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21929/stat : 21929 (java) S 21918 21921 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140082383926496 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21930] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21930/stat : 21930 (java) S 21918 21921 5228 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140082382873344 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21931] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21931/stat : 21931 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876081 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140082381821904 140083401803675 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21932] ppid=21918 vsize=13982084 CPUtime=2.33 cores=0,2,4,6
/proc/21921/task/21932/stat : 21932 (java) S 21918 21921 5228 0 -1 1077944384 6764 0 0 0 232 1 0 0 20 0 15 0 10876081 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140082380770032 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21933] ppid=21918 vsize=13982084 CPUtime=2.41 cores=0,2,4,6
/proc/21921/task/21933/stat : 21933 (java) S 21918 21921 5228 0 -1 1077944384 9584 0 0 0 240 1 0 0 20 0 15 0 10876081 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140082379717488 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21934] ppid=21918 vsize=13982084 CPUtime=0.62 cores=0,2,4,6
/proc/21921/task/21934/stat : 21934 (java) S 21918 21921 5228 0 -1 1077944384 6561 0 0 0 61 1 0 0 20 0 15 0 10876081 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140082378664432 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21935] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21935/stat : 21935 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876082 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140082377612128 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21936] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21936/stat : 21936 (java) S 21918 21921 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10876089 14317654016 94424 18446744073709551615 4194304 4196468 140721678722016 140082376559152 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 2.19 2.07 1.87 3/215 21936
/proc/meminfo: memFree=29793688/32770624 swapFree=0/201384
[pid=21921] ppid=21918 vsize=13982084 CPUtime=18.03 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 45037 0 0 0 1782 21 0 0 20 0 15 0 10876068 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3495521 158171 3796 1 0 3484303 0
[pid=21921/tid=21923] ppid=21918 vsize=13982084 CPUtime=11.99 cores=0,2,4,6
/proc/21921/task/21923/stat : 21923 (java) R 21918 21921 5228 0 -1 4202560 15235 0 0 0 1188 11 0 0 20 0 15 0 10876076 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140083406023832 140082999950599 0 4 1 16800974 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21924] ppid=21918 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/21921/task/21924/stat : 21924 (java) S 21918 21921 5228 0 -1 1077944384 76 0 0 0 5 0 0 0 20 0 15 0 10876077 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140083321199632 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21925] ppid=21918 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/21921/task/21925/stat : 21925 (java) S 21918 21921 5228 0 -1 1077944384 72 0 0 0 5 1 0 0 20 0 15 0 10876077 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140083320147088 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21926] ppid=21918 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/21921/task/21926/stat : 21926 (java) S 21918 21921 5228 0 -1 1077944384 878 0 0 0 5 1 0 0 20 0 15 0 10876077 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140083319094032 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21927] ppid=21918 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/21921/task/21927/stat : 21927 (java) S 21918 21921 5228 0 -1 1077944384 692 0 0 0 5 1 0 0 20 0 15 0 10876077 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140083318041488 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21928] ppid=21918 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/21921/task/21928/stat : 21928 (java) S 21918 21921 5228 0 -1 1077944384 690 0 0 0 1 0 0 0 20 0 15 0 10876078 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140082384980208 140083401796226 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21929] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21929/stat : 21929 (java) S 21918 21921 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140082383926496 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21930] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21930/stat : 21930 (java) S 21918 21921 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140082382873344 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21931] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21931/stat : 21931 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876081 14317654016 158171 18446744073709551615 4194304 4196468 140721678722016 140082381821904 140083401803675 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0

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

[pid=21921/tid=21936] ppid=21918 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/21921/task/21936/stat : 21936 (java) S 21918 21921 5228 0 -1 1077944384 68 0 0 0 1 1 0 0 20 0 15 0 10876089 14317654016 159773 18446744073709551615 4194304 4196468 140721678722016 140082376559152 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
Current children cumulated CPU time (s) 56.7
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.60 1.93 1.84 3/214 22017
/proc/meminfo: memFree=30051688/32770624 swapFree=0/201500
[pid=21921] ppid=21918 vsize=13982084 CPUtime=108.05 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 52067 0 0 0 10771 34 0 0 20 0 15 0 10876068 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3495521 158746 3796 1 0 3484303 0
[pid=21921/tid=21923] ppid=21918 vsize=13982084 CPUtime=101.43 cores=0,2,4,6
/proc/21921/task/21923/stat : 21923 (java) R 21918 21921 5228 0 -1 4202560 17775 0 0 0 10132 11 0 0 20 0 15 0 10876076 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140083406023360 140083001094809 0 4 1 16800974 0 0 0 -1 6 0 0 49 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21924] ppid=21918 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/21921/task/21924/stat : 21924 (java) S 21918 21921 5228 0 -1 1077944384 914 0 0 0 9 3 0 0 20 0 15 0 10876077 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140083321199632 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21925] ppid=21918 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/21921/task/21925/stat : 21925 (java) S 21918 21921 5228 0 -1 1077944384 1290 0 0 0 9 3 0 0 20 0 15 0 10876077 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140083320147088 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21926] ppid=21918 vsize=13982084 CPUtime=0.14 cores=0,2,4,6
/proc/21921/task/21926/stat : 21926 (java) S 21918 21921 5228 0 -1 1077944384 1153 0 0 0 10 4 0 0 20 0 15 0 10876077 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140083319094032 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21927] ppid=21918 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/21921/task/21927/stat : 21927 (java) S 21918 21921 5228 0 -1 1077944384 871 0 0 0 10 3 0 0 20 0 15 0 10876077 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140083318041488 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21928] ppid=21918 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/21921/task/21928/stat : 21928 (java) S 21918 21921 5228 0 -1 1077944384 1617 0 0 0 6 1 0 0 20 0 15 0 10876078 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140082384980208 140083401796226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21929] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21929/stat : 21929 (java) S 21918 21921 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140082383926496 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21930] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21930/stat : 21930 (java) S 21918 21921 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140082382873344 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21931] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21931/stat : 21931 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876081 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140082381821904 140083401803675 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21932] ppid=21918 vsize=13982084 CPUtime=2.6 cores=0,2,4,6
/proc/21921/task/21932/stat : 21932 (java) S 21918 21921 5228 0 -1 1077944384 8329 0 0 0 258 2 0 0 20 0 15 0 10876081 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140082380770032 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21933] ppid=21918 vsize=13982084 CPUtime=2.64 cores=0,2,4,6
/proc/21921/task/21933/stat : 21933 (java) S 21918 21921 5228 0 -1 1077944384 11352 0 0 0 263 1 0 0 20 0 15 0 10876081 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140082379717488 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21934] ppid=21918 vsize=13982084 CPUtime=0.66 cores=0,2,4,6
/proc/21921/task/21934/stat : 21934 (java) S 21918 21921 5228 0 -1 1077944384 7234 0 0 0 65 1 0 0 20 0 15 0 10876081 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140082378664432 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21935] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21935/stat : 21935 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876082 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140082377612128 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21936] ppid=21918 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/21921/task/21936/stat : 21936 (java) S 21918 21921 5228 0 -1 1077944384 104 0 0 0 2 2 0 0 20 0 15 0 10876089 14317654016 158746 18446744073709551615 4194304 4196468 140721678722016 140082376559152 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
Current children cumulated CPU time (s) 108.05
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.60 1.87 1.82 3/214 22020
/proc/meminfo: memFree=30045088/32770624 swapFree=0/201544
[pid=21921] ppid=21918 vsize=13982084 CPUtime=168.36 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 54365 0 0 0 16797 39 0 0 20 0 15 0 10876068 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3495521 159865 3796 1 0 3484303 0
[pid=21921/tid=21923] ppid=21918 vsize=13982084 CPUtime=161.16 cores=0,2,4,6
/proc/21921/task/21923/stat : 21923 (java) R 21918 21921 5228 0 -1 4202560 18633 0 0 0 16104 12 0 0 20 0 15 0 10876076 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140083406023568 140083001094844 0 4 1 16800974 0 0 0 -1 2 0 0 49 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21924] ppid=21918 vsize=13982084 CPUtime=0.23 cores=0,2,4,6
/proc/21921/task/21924/stat : 21924 (java) S 21918 21921 5228 0 -1 1077944384 1024 0 0 0 19 4 0 0 20 0 15 0 10876077 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140083321199632 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21925] ppid=21918 vsize=13982084 CPUtime=0.24 cores=0,2,4,6
/proc/21921/task/21925/stat : 21925 (java) S 21918 21921 5228 0 -1 1077944384 1328 0 0 0 20 4 0 0 20 0 15 0 10876077 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140083320147088 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21926] ppid=21918 vsize=13982084 CPUtime=0.24 cores=0,2,4,6
/proc/21921/task/21926/stat : 21926 (java) S 21918 21921 5228 0 -1 1077944384 1334 0 0 0 20 4 0 0 20 0 15 0 10876077 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140083319094032 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21927] ppid=21918 vsize=13982084 CPUtime=0.25 cores=0,2,4,6
/proc/21921/task/21927/stat : 21927 (java) S 21918 21921 5228 0 -1 1077944384 1406 0 0 0 20 5 0 0 20 0 15 0 10876077 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140083318041488 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21928] ppid=21918 vsize=13982084 CPUtime=0.19 cores=0,2,4,6
/proc/21921/task/21928/stat : 21928 (java) S 21918 21921 5228 0 -1 1077944384 1887 0 0 0 17 2 0 0 20 0 15 0 10876078 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140082384980208 140083401796226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21929] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21929/stat : 21929 (java) S 21918 21921 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140082383926496 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21930] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21930/stat : 21930 (java) S 21918 21921 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140082382873344 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21931] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21931/stat : 21931 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876081 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140082381821904 140083401803675 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21932] ppid=21918 vsize=13982084 CPUtime=2.6 cores=0,2,4,6
/proc/21921/task/21932/stat : 21932 (java) S 21918 21921 5228 0 -1 1077944384 8331 0 0 0 258 2 0 0 20 0 15 0 10876081 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140082380770032 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21933] ppid=21918 vsize=13982084 CPUtime=2.64 cores=0,2,4,6
/proc/21921/task/21933/stat : 21933 (java) S 21918 21921 5228 0 -1 1077944384 11354 0 0 0 263 1 0 0 20 0 15 0 10876081 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140082379717488 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21934] ppid=21918 vsize=13982084 CPUtime=0.66 cores=0,2,4,6
/proc/21921/task/21934/stat : 21934 (java) S 21918 21921 5228 0 -1 1077944384 7518 0 0 0 65 1 0 0 20 0 15 0 10876081 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140082378664432 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21935] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21935/stat : 21935 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876082 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140082377612128 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21936] ppid=21918 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/21921/task/21936/stat : 21936 (java) S 21918 21921 5228 0 -1 1077944384 122 0 0 0 3 4 0 0 20 0 15 0 10876089 14317654016 159865 18446744073709551615 4194304 4196468 140721678722016 140082376559152 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
Current children cumulated CPU time (s) 168.36
Current children cumulated vsize (KiB) 13982084

[startup+222.301 s]
/proc/loadavg: 1.70 1.85 1.82 3/213 22022
/proc/meminfo: memFree=30036240/32770624 swapFree=0/201580
[pid=21921] ppid=21918 vsize=13982084 CPUtime=228.64 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 55439 0 0 0 22820 44 0 0 20 0 15 0 10876068 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3495521 160925 3796 1 0 3484303 0
[pid=21921/tid=21923] ppid=21918 vsize=13982084 CPUtime=220.88 cores=0,2,4,6
/proc/21921/task/21923/stat : 21923 (java) R 21918 21921 5228 0 -1 4202560 19017 0 0 0 22076 12 0 0 20 0 15 0 10876076 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140083406023536 140082999850496 0 4 1 16800974 0 0 0 -1 2 0 0 49 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21924] ppid=21918 vsize=13982084 CPUtime=0.34 cores=0,2,4,6
/proc/21921/task/21924/stat : 21924 (java) S 21918 21921 5228 0 -1 1077944384 1062 0 0 0 29 5 0 0 20 0 15 0 10876077 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140083321199632 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21925] ppid=21918 vsize=13982084 CPUtime=0.35 cores=0,2,4,6
/proc/21921/task/21925/stat : 21925 (java) S 21918 21921 5228 0 -1 1077944384 1378 0 0 0 30 5 0 0 20 0 15 0 10876077 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140083320147088 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21926] ppid=21918 vsize=13982084 CPUtime=0.35 cores=0,2,4,6
/proc/21921/task/21926/stat : 21926 (java) S 21918 21921 5228 0 -1 1077944384 1388 0 0 0 30 5 0 0 20 0 15 0 10876077 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140083319094032 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21927] ppid=21918 vsize=13982084 CPUtime=0.34 cores=0,2,4,6
/proc/21921/task/21927/stat : 21927 (java) S 21918 21921 5228 0 -1 1077944384 1906 0 0 0 29 5 0 0 20 0 15 0 10876077 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140083318041488 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21928] ppid=21918 vsize=13982084 CPUtime=0.29 cores=0,2,4,6
/proc/21921/task/21928/stat : 21928 (java) S 21918 21921 5228 0 -1 1077944384 1927 0 0 0 26 3 0 0 20 0 15 0 10876078 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140082384980208 140083401796226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21929] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21929/stat : 21929 (java) S 21918 21921 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140082383926496 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21930] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21930/stat : 21930 (java) S 21918 21921 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140082382873344 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21931] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21931/stat : 21931 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876081 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140082381821904 140083401803675 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21932] ppid=21918 vsize=13982084 CPUtime=2.6 cores=0,2,4,6
/proc/21921/task/21932/stat : 21932 (java) S 21918 21921 5228 0 -1 1077944384 8333 0 0 0 258 2 0 0 20 0 15 0 10876081 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140082380770032 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21933] ppid=21918 vsize=13982084 CPUtime=2.64 cores=0,2,4,6
/proc/21921/task/21933/stat : 21933 (java) S 21918 21921 5228 0 -1 1077944384 11356 0 0 0 263 1 0 0 20 0 15 0 10876081 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140082379717488 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21934] ppid=21918 vsize=13982084 CPUtime=0.66 cores=0,2,4,6
/proc/21921/task/21934/stat : 21934 (java) S 21918 21921 5228 0 -1 1077944384 7520 0 0 0 65 1 0 0 20 0 15 0 10876081 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140082378664432 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21935] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21935/stat : 21935 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876082 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140082377612128 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21936] ppid=21918 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/21921/task/21936/stat : 21936 (java) S 21918 21921 5228 0 -1 1077944384 124 0 0 0 4 6 0 0 20 0 15 0 10876089 14317654016 160925 18446744073709551615 4194304 4196468 140721678722016 140082376559152 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
Current children cumulated CPU time (s) 228.64
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.54 1.80 1.81 3/212 22024
/proc/meminfo: memFree=30036192/32770624 swapFree=0/201596
[pid=21921] ppid=21918 vsize=13982084 CPUtime=246.44 cores=0,2,4,6
/proc/21921/stat : 21921 (java) S 21918 21921 5228 0 -1 1077944320 56103 0 0 0 24599 45 0 0 20 0 15 0 10876068 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140721678704560 140083401785079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
/proc/21921/statm: 3495521 160964 3796 1 0 3484303 0
[pid=21921/tid=21923] ppid=21918 vsize=13982084 CPUtime=238.51 cores=0,2,4,6
/proc/21921/task/21923/stat : 21923 (java) R 21918 21921 5228 0 -1 4202560 19246 0 0 0 23839 12 0 0 20 0 15 0 10876076 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140083406023536 140083001306619 0 4 1 16800974 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21924] ppid=21918 vsize=13982084 CPUtime=0.37 cores=0,2,4,6
/proc/21921/task/21924/stat : 21924 (java) S 21918 21921 5228 0 -1 1077944384 1127 0 0 0 32 5 0 0 20 0 15 0 10876077 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140083321199632 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21925] ppid=21918 vsize=13982084 CPUtime=0.37 cores=0,2,4,6
/proc/21921/task/21925/stat : 21925 (java) S 21918 21921 5228 0 -1 1077944384 1388 0 0 0 32 5 0 0 20 0 15 0 10876077 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140083320147088 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21926] ppid=21918 vsize=13982084 CPUtime=0.37 cores=0,2,4,6
/proc/21921/task/21926/stat : 21926 (java) S 21918 21921 5228 0 -1 1077944384 1402 0 0 0 32 5 0 0 20 0 15 0 10876077 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140083319094032 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21927] ppid=21918 vsize=13982084 CPUtime=0.38 cores=0,2,4,6
/proc/21921/task/21927/stat : 21927 (java) S 21918 21921 5228 0 -1 1077944384 2013 0 0 0 32 6 0 0 20 0 15 0 10876077 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140083318041488 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21928] ppid=21918 vsize=13982084 CPUtime=0.32 cores=0,2,4,6
/proc/21921/task/21928/stat : 21928 (java) S 21918 21921 5228 0 -1 1077944384 2150 0 0 0 29 3 0 0 20 0 15 0 10876078 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140082384980208 140083401796226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21929] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21929/stat : 21929 (java) S 21918 21921 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140082383926496 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21930] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21930/stat : 21930 (java) S 21918 21921 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10876079 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140082382873344 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21931] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21931/stat : 21931 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876081 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140082381821904 140083401803675 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21932] ppid=21918 vsize=13982084 CPUtime=2.6 cores=0,2,4,6
/proc/21921/task/21932/stat : 21932 (java) S 21918 21921 5228 0 -1 1077944384 8333 0 0 0 258 2 0 0 20 0 15 0 10876081 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140082380770032 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21933] ppid=21918 vsize=13982084 CPUtime=2.64 cores=0,2,4,6
/proc/21921/task/21933/stat : 21933 (java) S 21918 21921 5228 0 -1 1077944384 11356 0 0 0 263 1 0 0 20 0 15 0 10876081 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140082379717488 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21934] ppid=21918 vsize=13982084 CPUtime=0.66 cores=0,2,4,6
/proc/21921/task/21934/stat : 21934 (java) S 21918 21921 5228 0 -1 1077944384 7520 0 0 0 65 1 0 0 20 0 15 0 10876081 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140082378664432 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21935] ppid=21918 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21921/task/21935/stat : 21935 (java) S 21918 21921 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10876082 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140082377612128 140083401795285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
[pid=21921/tid=21936] ppid=21918 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/21921/task/21936/stat : 21936 (java) S 21918 21921 5228 0 -1 1077944384 140 0 0 0 5 6 0 0 20 0 15 0 10876089 14317654016 160964 18446744073709551615 4194304 4196468 140721678722016 140082376559152 140083401796226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721678729617 140721678729803 140721678729803 140721678733263 0
Current children cumulated CPU time (s) 246.44
Current children cumulated vsize (KiB) 13982084

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

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

Child status: 143
Real time (s): 240.027
CPU time (s): 246.488
CPU user time (s): 246.025
CPU system time (s): 0.462779
CPU usage (%): 102.692
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.025
system time used= 0.462779
maximum resident set size= 644492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16194
involuntary context switches= 742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.873792 second user time and 1.68851 second system time

The end

Begin job on node133 at 2017-08-02 01:22:41
IDJOB=4255966
IDBENCH=124177
IDSOLVER=2639
FILE ID=node133/4255966-1501630607
RUNJOBID= node133-1501622945-15685
PBS_JOBID= 
Free space on /tmp= 61820 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255966-1501630607/watcher-4255966-1501630607 -o /tmp/evaluation-result-4255966-1501630607/solver-4255966-1501630607 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15685 --watchdog 300  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1250505113 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255966-1501630607.xml

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

MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9
RANDOM SEED=1250505113

node133.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.17
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.17
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.17
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.17
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:        30412016 kB
MemAvailable:   30611148 kB
Buffers:          103028 kB
Cached:           378300 kB
SwapCached:            0 kB
Active:          1737960 kB
Inactive:         209876 kB
Active(anon):    1466892 kB
Inactive(anon):     8536 kB
Active(file):     271068 kB
Inactive(file):   201340 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42236 kB
Writeback:             0 kB
AnonPages:       1476292 kB
Mapped:            44652 kB
Shmem:              8892 kB
Slab:             110468 kB
SReclaimable:      85120 kB
SUnreclaim:        25348 kB
KernelStack:        3792 kB
PageTables:         7996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3384876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1366016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61780 MiB
End job on node133 at 2017-08-02 01:26:41