0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246117-1500686546.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4246117-1500686546.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.31	c parse instance...
3.63/1.27	c solve instance...
31.37/4.83	o 240 
54.94/7.86	o 239 
717.16/91.12	o 238 
735.32/93.48	o 237 
759.18/96.71	o 236 
781.75/99.60	o 235 
1100.02/139.70	o 234 
1119.08/142.19	o 233 
1143.00/145.40	o 232 
1166.32/148.47	o 231 
1378.33/175.19	o 230 
1396.24/177.43	o 229 
1412.48/179.58	o 228 
1428.63/181.63	o 227 
1445.19/183.80	o 226 
1463.20/186.10	o 225 
1480.59/188.38	o 224 
1501.45/191.01	o 223 
1522.72/193.73	o 222 
1544.08/196.63	o 221 
1565.22/199.54	o 220 
1586.35/202.23	o 219 
1607.90/205.06	o 218 
1628.14/207.70	o 217 
2400.13/304.63	s SATISFIABLE
2400.13/304.63	v <instantiation>
2400.13/304.63	v 	<list>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] </list>
2400.13/304.63	v 	<values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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 2 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 4 4 1 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 5 6 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 13 0 1 0 0 0 0 0 0 0 0 0 0 3 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 29 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2400.13/304.63	v </instantiation>
2400.13/304.63	c Unexpected resolution interruption!

OK	217

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-4246117-1500686546/watcher-4246117-1500686546 -o /tmp/evaluation-result-4246117-1500686546/solver-4246117-1500686546 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1979923250 HOME/instance-4246117-1500686546.xml 

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

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


[startup+0 s]
/proc/loadavg: 11.74 11.96 11.81 3/262 26290
/proc/meminfo: memFree=23610272/32770624 swapFree=5892/114532
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0

[startup+0.100134 s]
/proc/loadavg: 11.74 11.96 11.81 3/262 26290
/proc/meminfo: memFree=23610272/32770624 swapFree=5892/114532
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20031 s]
/proc/loadavg: 11.74 11.96 11.81 3/262 26290
/proc/meminfo: memFree=23610272/32770624 swapFree=5892/114532
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300391 s]
/proc/loadavg: 11.74 11.96 11.81 3/262 26290
/proc/meminfo: memFree=23610272/32770624 swapFree=5892/114532
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700215 s]
/proc/loadavg: 11.74 11.96 11.81 3/262 26290
/proc/meminfo: memFree=23610272/32770624 swapFree=5892/114532
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50109 s]
/proc/loadavg: 10.96 11.80 11.76 6/283 26311
/proc/meminfo: memFree=23441528/32770624 swapFree=5892/114588
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0
[pid=26291] ppid=26290 vsize=13801768 CPUtime=5.56 cores=1,3,5,7,9,11,13,15
/proc/26291/stat : 26291 (java) S 26290 26290 15667 0 -1 1077944320 23389 0 0 0 535 21 0 0 20 0 28 0 3924232 14133010432 58090 33554432000 4194304 4196468 140730808260272 140730808242816 139851409125111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
/proc/26291/statm: 3450442 58090 3258 1 0 3437675 0
[pid=26291/tid=26292] ppid=26290 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26292/stat : 26292 (java) S 26290 26290 15667 0 -1 1077944384 6764 0 0 0 106 4 0 0 20 0 28 0 3924232 14133010432 58090 33554432000 4194304 4196468 140730808260272 139851413365888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26294] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26294/stat : 26294 (java) S 26290 26290 15667 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 58090 33554432000 4194304 4196468 140730808260272 139851327605520 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26295] ppid=26290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26295/stat : 26295 (java) S 26290 26290 15667 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 28 0 3924233 14133010432 58090 33554432000 4194304 4196468 140730808260272 139851326552976 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26296] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26296/stat : 26296 (java) S 26290 26290 15667 0 -1 1077944384 73 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 58090 33554432000 4194304 4196468 140730808260272 139851325500432 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26297] ppid=26290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26297/stat : 26297 (java) S 26290 26290 15667 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 3924233 14133010432 58090 33554432000 4194304 4196468 140730808260272 139851324447888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26298] ppid=26290 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26298/stat : 26298 (java) S 26290 26290 15667 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 28 0 3924233 14133010432 58090 33554432000 4194304 4196468 140730808260272 139851323394320 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26299] ppid=26290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26299/stat : 26299 (java) S 26290 26290 15667 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 3924233 14133010432 58090 33554432000 4194304 4196468 140730808260272 139851322341776 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26300] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26300/stat : 26300 (java) S 26290 26290 15667 0 -1 1077944384 95 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 58090 33554432000 4194304 4196468 140730808260272 139851321289232 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26301] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26301/stat : 26301 (java) S 26290 26290 15667 0 -1 1077944384 46 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 58090 33554432000 4194304 4196468 140730808260272 139851320236688 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26302] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26302/stat : 26302 (java) S 26290 26290 15667 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 3924236 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850871343600 139851409136258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26303] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26303/stat : 26303 (java) S 26290 26290 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3924236 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850870289824 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26304] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26304/stat : 26304 (java) S 26290 26290 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3924237 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850869237232 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26305] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26305/stat : 26305 (java) S 26290 26290 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3924240 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850868185808 139851409143707 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26306] ppid=26290 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26306/stat : 26306 (java) R 26290 26290 15667 0 -1 4202560 3209 0 0 0 84 0 0 0 20 0 28 0 3924240 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850867118944 139851387150994 0 4 0 16800975 0 0 0 -1 13 0 0 10 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26307] ppid=26290 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26307/stat : 26307 (java) S 26290 26290 15667 0 -1 1077944384 4268 0 0 0 79 0 0 0 20 0 28 0 3924240 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850866060832 139851409146301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26308] ppid=26290 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26308/stat : 26308 (java) S 26290 26290 15667 0 -1 1077944384 4217 0 0 0 79 1 0 0 20 0 28 0 3924240 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850865018848 139851409146301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26309] ppid=26290 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26309/stat : 26309 (java) S 26290 26290 15667 0 -1 1077944384 2605 0 0 0 59 1 0 0 20 0 28 0 3924241 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850863973648 139851409146301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26310] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26310/stat : 26310 (java) S 26290 26290 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3924241 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850862922464 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26311] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26311/stat : 26311 (java) S 26290 26290 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3924241 14133010432 58090 33554432000 4194304 4196468 140730808260272 139850861870000 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 13811280

[startup+3.10167 s]
/proc/loadavg: 10.96 11.80 11.76 13/291 26319
/proc/meminfo: memFree=23371032/32770624 swapFree=5892/114596
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0
[pid=26291] ppid=26290 vsize=13801768 CPUtime=18.29 cores=1,3,5,7,9,11,13,15
/proc/26291/stat : 26291 (java) S 26290 26290 15667 0 -1 1077944320 28328 0 0 0 1806 23 0 0 20 0 28 0 3924232 14133010432 61684 33554432000 4194304 4196468 140730808260272 140730808242816 139851409125111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
/proc/26291/statm: 3450442 61684 3259 1 0 3437675 0
[pid=26291/tid=26292] ppid=26290 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26292/stat : 26292 (java) S 26290 26290 15667 0 -1 1077944384 6764 0 0 0 106 4 0 0 20 0 28 0 3924232 14133010432 61684 33554432000 4194304 4196468 140730808260272 139851413365888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26294] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26294/stat : 26294 (java) S 26290 26290 15667 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 61684 33554432000 4194304 4196468 140730808260272 139851327605520 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26295] ppid=26290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26295/stat : 26295 (java) S 26290 26290 15667 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 28 0 3924233 14133010432 61684 33554432000 4194304 4196468 140730808260272 139851326552976 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26296] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26296/stat : 26296 (java) S 26290 26290 15667 0 -1 1077944384 73 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 61684 33554432000 4194304 4196468 140730808260272 139851325500432 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26297] ppid=26290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26297/stat : 26297 (java) S 26290 26290 15667 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 3924233 14133010432 61684 33554432000 4194304 4196468 140730808260272 139851324447888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26298] ppid=26290 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26298/stat : 26298 (java) S 26290 26290 15667 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 28 0 3924233 14133010432 61684 33554432000 4194304 4196468 140730808260272 139851323394320 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26299] ppid=26290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26299/stat : 26299 (java) S 26290 26290 15667 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 3924233 14133010432 61684 33554432000 4194304 4196468 140730808260272 139851322341776 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26300] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26300/stat : 26300 (java) S 26290 26290 15667 0 -1 1077944384 95 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 61684 33554432000 4194304 4196468 140730808260272 139851321289232 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26301] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26301/stat : 26301 (java) S 26290 26290 15667 0 -1 1077944384 46 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 61684 33554432000 4194304 4196468 140730808260272 139851320236688 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26302] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26302/stat : 26302 (java) S 26290 26290 15667 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 28 0 3924236 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850871343600 139851409136258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26303] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26303/stat : 26303 (java) S 26290 26290 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3924236 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850870289824 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26304] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26304/stat : 26304 (java) S 26290 26290 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3924237 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850869237232 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26305] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26305/stat : 26305 (java) S 26290 26290 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3924240 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850868185808 139851409143707 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26306] ppid=26290 vsize=13801768 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26306/stat : 26306 (java) R 26290 26290 15667 0 -1 4202560 4384 0 0 0 216 1 0 0 20 0 28 0 3924240 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850867132240 139851392611125 0 4 0 16800975 0 0 0 -1 13 0 0 10 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26307] ppid=26290 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26307/stat : 26307 (java) R 26290 26290 15667 0 -1 4202560 5895 0 0 0 184 1 0 0 20 0 28 0 3924240 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850866070128 139851393517092 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26308] ppid=26290 vsize=13801768 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26308/stat : 26308 (java) S 26290 26290 15667 0 -1 1077944384 5689 0 0 0 182 1 0 0 20 0 28 0 3924240 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850865027312 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26309] ppid=26290 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26309/stat : 26309 (java) S 26290 26290 15667 0 -1 1077944384 2879 0 0 0 70 1 0 0 20 0 28 0 3924241 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850863974768 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26310] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26310/stat : 26310 (java) S 26290 26290 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3924241 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850862922464 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26311] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26311/stat : 26311 (java) S 26290 26290 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3924241 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850861870000 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26312] ppid=26290 vsize=13801768 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26312/stat : 26312 (java) R 26290 26290 15667 0 -1 4202560 71 0 0 0 130 0 0 0 20 0 28 0 3924361 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850853856824 139851003817157 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26313] ppid=26290 vsize=13801768 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26313/stat : 26313 (java) R 26290 26290 15667 0 -1 4202560 56 0 0 0 118 0 0 0 20 0 28 0 3924361 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850852803208 139851003817104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26314] ppid=26290 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26314/stat : 26314 (java) R 26290 26290 15667 0 -1 4202560 68 0 0 0 123 0 0 0 20 0 28 0 3924361 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850851751608 139851003817276 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26315] ppid=26290 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26315/stat : 26315 (java) R 26290 26290 15667 0 -1 4202560 114 0 0 0 137 0 0 0 20 0 28 0 3924361 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850850697040 139851409146458 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26316] ppid=26290 vsize=13801768 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26316/stat : 26316 (java) R 26290 26290 15667 0 -1 4202560 37 0 0 0 143 0 0 0 20 0 28 0 3924361 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850849643968 139850998175548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26317] ppid=26290 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26317/stat : 26317 (java) R 26290 26290 15667 0 -1 4202560 100 0 0 0 120 0 0 0 20 0 28 0 3924361 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850848594088 139851003145101 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26318] ppid=26290 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26318/stat : 26318 (java) R 26290 26290 15667 0 -1 4202560 139 0 0 0 132 0 0 0 20 0 28 0 3924361 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850847539128 139850998175548 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26319] ppid=26290 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26319/stat : 26319 (java) R 26290 26290 15667 0 -1 4202560 118 0 0 0 122 0 0 0 20 0 28 0 3924361 14133010432 61684 33554432000 4194304 4196468 140730808260272 139850778922592 139851004279139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
Current children cumulated CPU time (s) 18.29
Current children cumulated vsize (KiB) 13811280

[startup+6.30158 s]
/proc/loadavg: 10.96 11.80 11.76 10/291 26327
/proc/meminfo: memFree=22924856/32770624 swapFree=5892/114600
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0
[pid=26291] ppid=26290 vsize=13801768 CPUtime=43.01 cores=1,3,5,7,9,11,13,15
/proc/26291/stat : 26291 (java) S 26290 26290 15667 0 -1 1077944320 29332 0 0 0 4276 25 0 0 20 0 28 0 3924232 14133010432 60981 33554432000 4194304 4196468 140730808260272 140730808242816 139851409125111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
/proc/26291/statm: 3450442 60981 3279 1 0 3437675 0
[pid=26291/tid=26292] ppid=26290 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26292/stat : 26292 (java) S 26290 26290 15667 0 -1 1077944384 6883 0 0 0 108 4 0 0 20 0 28 0 3924232 14133010432 60981 33554432000 4194304 4196468 140730808260272 139851413365888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26294] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26294/stat : 26294 (java) S 26290 26290 15667 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 60981 33554432000 4194304 4196468 140730808260272 139851327605520 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26295] ppid=26290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26295/stat : 26295 (java) S 26290 26290 15667 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 28 0 3924233 14133010432 60981 33554432000 4194304 4196468 140730808260272 139851326552976 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26296] ppid=26290 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26296/stat : 26296 (java) S 26290 26290 15667 0 -1 1077944384 73 0 0 0 2 1 0 0 20 0 28 0 3924233 14133010432 60981 33554432000 4194304 4196468 140730808260272 139851325500432 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26297] ppid=26290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26297/stat : 26297 (java) S 26290 26290 15667 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 3924233 14133010432 60981 33554432000 4194304 4196468 140730808260272 139851324447888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0

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

[pid=26291/tid=26522] ppid=26290 vsize=13801768 CPUtime=14.59 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26522/stat : 26522 (java) R 26290 26290 15667 0 -1 4202560 184 0 0 0 1459 0 0 0 20 0 28 0 3945002 14133010432 170395 33554432000 4194304 4196468 140730808260272 139850847546568 139851003626318 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26523] ppid=26290 vsize=13801768 CPUtime=14.57 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26523/stat : 26523 (java) R 26290 26290 15667 0 -1 4202560 199 0 0 0 1457 0 0 0 20 0 28 0 3945002 14133010432 170395 33554432000 4194304 4196468 140730808260272 139850849652040 139851003613612 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
Current children cumulated CPU time (s) 1745.14
Current children cumulated vsize (KiB) 13811280

[startup+282.302 s]
/proc/loadavg: 16.20 14.42 12.88 17/299 26628
/proc/meminfo: memFree=30947068/32770624 swapFree=5892/115004
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0
[pid=26291] ppid=26290 vsize=13801768 CPUtime=2222.61 cores=1,3,5,7,9,11,13,15
/proc/26291/stat : 26291 (java) S 26290 26290 15667 0 -1 1077944320 141228 0 0 0 222127 134 0 0 20 0 28 0 3924232 14133010432 171544 33554432000 4194304 4196468 140730808260272 140730808242816 139851409125111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
/proc/26291/statm: 3450442 171544 3288 1 0 3437675 0
[pid=26291/tid=26292] ppid=26290 vsize=13801768 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26292/stat : 26292 (java) S 26290 26290 15667 0 -1 1077944384 9710 0 0 0 113 5 0 0 20 0 28 0 3924232 14133010432 171544 33554432000 4194304 4196468 140730808260272 139851413365888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26294] ppid=26290 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26294/stat : 26294 (java) S 26290 26290 15667 0 -1 1077944384 471 0 0 0 12 8 0 0 20 0 28 0 3924233 14133010432 171544 33554432000 4194304 4196468 140730808260272 139851327605520 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26295] ppid=26290 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26295/stat : 26295 (java) S 26290 26290 15667 0 -1 1077944384 959 0 0 0 12 7 0 0 20 0 28 0 3924233 14133010432 171544 33554432000 4194304 4196468 140730808260272 139851326552976 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26296] ppid=26290 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26296/stat : 26296 (java) S 26290 26290 15667 0 -1 1077944384 380 0 0 0 15 7 0 0 20 0 28 0 3924233 14133010432 171544 33554432000 4194304 4196468 140730808260272 139851325500432 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26297] ppid=26290 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26297/stat : 26297 (java) S 26290 26290 15667 0 -1 1077944384 533 0 0 0 13 9 0 0 20 0 28 0 3924233 14133010432 171544 33554432000 4194304 4196468 140730808260272 139851324447888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26298] ppid=26290 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26298/stat : 26298 (java) S 26290 26290 15667 0 -1 1077944384 1311 0 0 0 12 7 0 0 20 0 28 0 3924233 14133010432 171544 33554432000 4194304 4196468 140730808260272 139851323394320 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26299] ppid=26290 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26299/stat : 26299 (java) S 26290 26290 15667 0 -1 1077944384 1800 0 0 0 13 9 0 0 20 0 28 0 3924233 14133010432 171544 33554432000 4194304 4196468 140730808260272 139851322341776 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26300] ppid=26290 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26300/stat : 26300 (java) S 26290 26290 15667 0 -1 1077944384 1725 0 0 0 12 9 0 0 20 0 28 0 3924233 14133010432 171544 33554432000 4194304 4196468 140730808260272 139851321289232 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26301] ppid=26290 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26301/stat : 26301 (java) S 26290 26290 15667 0 -1 1077944384 487 0 0 0 12 6 0 0 20 0 28 0 3924233 14133010432 171544 33554432000 4194304 4196468 140730808260272 139851320236688 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26302] ppid=26290 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26302/stat : 26302 (java) S 26290 26290 15667 0 -1 1077944384 3479 0 0 0 5 7 0 0 20 0 28 0 3924236 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850871343600 139851409136258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26303] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26303/stat : 26303 (java) S 26290 26290 15667 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3924236 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850870289888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26304] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26304/stat : 26304 (java) S 26290 26290 15667 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3924237 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850869237248 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26305] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26305/stat : 26305 (java) S 26290 26290 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3924240 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850868185808 139851409143707 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26306] ppid=26290 vsize=13801768 CPUtime=4.06 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26306/stat : 26306 (java) S 26290 26290 15667 0 -1 1077944384 18356 0 0 0 403 3 0 0 20 0 28 0 3924240 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850867132400 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26307] ppid=26290 vsize=13801768 CPUtime=3.36 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26307/stat : 26307 (java) S 26290 26290 15667 0 -1 1077944384 19583 0 0 0 333 3 0 0 20 0 28 0 3924240 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850866079856 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26308] ppid=26290 vsize=13801768 CPUtime=3.47 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26308/stat : 26308 (java) S 26290 26290 15667 0 -1 1077944384 17686 0 0 0 344 3 0 0 20 0 28 0 3924240 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850865027312 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26309] ppid=26290 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26309/stat : 26309 (java) S 26290 26290 15667 0 -1 1077944384 17095 0 0 0 101 3 0 0 20 0 28 0 3924241 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850863974768 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26310] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26310/stat : 26310 (java) S 26290 26290 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3924241 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850862922464 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26311] ppid=26290 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26311/stat : 26311 (java) S 26290 26290 15667 0 -1 1077944384 1929 0 0 0 8 12 0 0 20 0 28 0 3924241 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850861870000 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26516] ppid=26290 vsize=13801768 CPUtime=74.18 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26516/stat : 26516 (java) R 26290 26290 15667 0 -1 4202560 482 0 0 0 7418 0 0 0 20 0 28 0 3945002 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850850696536 139850998175548 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26517] ppid=26290 vsize=13801768 CPUtime=74.47 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26517/stat : 26517 (java) R 26290 26290 15667 0 -1 4202560 403 0 0 0 7447 0 0 0 20 0 28 0 3945002 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850852803032 139851003626318 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26518] ppid=26290 vsize=13801768 CPUtime=74.41 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26518/stat : 26518 (java) R 26290 26290 15667 0 -1 4202560 1482 0 0 0 7441 0 0 0 20 0 28 0 3945002 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850848591448 139851003626261 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26519] ppid=26290 vsize=13801768 CPUtime=74 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26519/stat : 26519 (java) R 26290 26290 15667 0 -1 4202560 1764 0 0 0 7400 0 0 0 20 0 28 0 3945002 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850851749592 139851003817124 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26520] ppid=26290 vsize=13801768 CPUtime=74.25 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26520/stat : 26520 (java) R 26290 26290 15667 0 -1 4202560 545 0 0 0 7425 0 0 0 20 0 28 0 3945002 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850853855064 139850998175548 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26521] ppid=26290 vsize=13801768 CPUtime=74.34 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26521/stat : 26521 (java) R 26290 26290 15667 0 -1 4202560 370 0 0 0 7434 0 0 0 20 0 28 0 3945002 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850778922720 139851003817104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26522] ppid=26290 vsize=13801768 CPUtime=73.25 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26522/stat : 26522 (java) R 26290 26290 15667 0 -1 4202560 398 0 0 0 7325 0 0 0 20 0 28 0 3945002 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850847539288 139851003626261 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26523] ppid=26290 vsize=13801768 CPUtime=74.33 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26523/stat : 26523 (java) R 26290 26290 15667 0 -1 4202560 333 0 0 0 7431 2 0 0 20 0 28 0 3945002 14133010432 171544 33554432000 4194304 4196468 140730808260272 139850849644424 139851005078119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
Current children cumulated CPU time (s) 2222.61
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+304.601 s]
/proc/loadavg: 16.22 14.54 12.96 17/299 26644
/proc/meminfo: memFree=30893820/32770624 swapFree=5892/115028
[pid=26290] ppid=26287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26290/stat : 26290 (xcsp3-exec) S 26287 26290 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3924232 9740288 345 33554432000 4194304 5098028 140726065118768 140726065116872 140166234133116 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39280640 140726065120398 140726065120608 140726065120608 140726065123307 0
/proc/26290/statm: 2378 345 289 221 0 87 0
[pid=26291] ppid=26290 vsize=13801768 CPUtime=2400.13 cores=1,3,5,7,9,11,13,15
/proc/26291/stat : 26291 (java) S 26290 26290 15667 0 -1 1077944320 148873 0 0 0 239876 137 0 0 20 0 28 0 3924232 14133010432 168209 33554432000 4194304 4196468 140730808260272 140730808242816 139851409125111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
/proc/26291/statm: 3450442 168209 3288 1 0 3437675 0
[pid=26291/tid=26292] ppid=26290 vsize=13801768 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26292/stat : 26292 (java) S 26290 26290 15667 0 -1 1077944384 9710 0 0 0 113 5 0 0 20 0 28 0 3924232 14133010432 168209 33554432000 4194304 4196468 140730808260272 139851413365888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26294] ppid=26290 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26294/stat : 26294 (java) S 26290 26290 15667 0 -1 1077944384 474 0 0 0 12 8 0 0 20 0 28 0 3924233 14133010432 168209 33554432000 4194304 4196468 140730808260272 139851327605520 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26295] ppid=26290 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26295/stat : 26295 (java) S 26290 26290 15667 0 -1 1077944384 1000 0 0 0 12 8 0 0 20 0 28 0 3924233 14133010432 168209 33554432000 4194304 4196468 140730808260272 139851326552976 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26296] ppid=26290 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26296/stat : 26296 (java) S 26290 26290 15667 0 -1 1077944384 481 0 0 0 15 7 0 0 20 0 28 0 3924233 14133010432 168209 33554432000 4194304 4196468 140730808260272 139851325500432 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26297] ppid=26290 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26297/stat : 26297 (java) S 26290 26290 15667 0 -1 1077944384 553 0 0 0 14 9 0 0 20 0 28 0 3924233 14133010432 168209 33554432000 4194304 4196468 140730808260272 139851324447888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26298] ppid=26290 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26298/stat : 26298 (java) S 26290 26290 15667 0 -1 1077944384 1667 0 0 0 12 7 0 0 20 0 28 0 3924233 14133010432 168209 33554432000 4194304 4196468 140730808260272 139851323394320 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26299] ppid=26290 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26299/stat : 26299 (java) S 26290 26290 15667 0 -1 1077944384 1824 0 0 0 13 9 0 0 20 0 28 0 3924233 14133010432 168209 33554432000 4194304 4196468 140730808260272 139851322341776 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26300] ppid=26290 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26300/stat : 26300 (java) S 26290 26290 15667 0 -1 1077944384 1728 0 0 0 12 9 0 0 20 0 28 0 3924233 14133010432 168209 33554432000 4194304 4196468 140730808260272 139851321289232 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26301] ppid=26290 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26301/stat : 26301 (java) S 26290 26290 15667 0 -1 1077944384 490 0 0 0 12 6 0 0 20 0 28 0 3924233 14133010432 168209 33554432000 4194304 4196468 140730808260272 139851320236688 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26302] ppid=26290 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26302/stat : 26302 (java) S 26290 26290 15667 0 -1 1077944384 3683 0 0 0 6 8 0 0 20 0 28 0 3924236 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850871343600 139851409136258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26303] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26303/stat : 26303 (java) S 26290 26290 15667 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3924236 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850870289888 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26304] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26304/stat : 26304 (java) S 26290 26290 15667 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3924237 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850869237248 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26305] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26305/stat : 26305 (java) S 26290 26290 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3924240 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850868185808 139851409143707 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26306] ppid=26290 vsize=13801768 CPUtime=4.16 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26306/stat : 26306 (java) S 26290 26290 15667 0 -1 1077944384 19036 0 0 0 413 3 0 0 20 0 28 0 3924240 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850867132400 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26307] ppid=26290 vsize=13801768 CPUtime=3.68 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26307/stat : 26307 (java) S 26290 26290 15667 0 -1 1077944384 22952 0 0 0 365 3 0 0 20 0 28 0 3924240 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850866079856 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26308] ppid=26290 vsize=13801768 CPUtime=3.73 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26308/stat : 26308 (java) S 26290 26290 15667 0 -1 1077944384 19343 0 0 0 370 3 0 0 20 0 28 0 3924240 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850865027312 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26309] ppid=26290 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26309/stat : 26309 (java) S 26290 26290 15667 0 -1 1077944384 17679 0 0 0 103 3 0 0 20 0 28 0 3924241 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850863974768 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26310] ppid=26290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26310/stat : 26310 (java) S 26290 26290 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3924241 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850862922464 139851409135317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26311] ppid=26290 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26311/stat : 26311 (java) S 26290 26290 15667 0 -1 1077944384 1933 0 0 0 9 13 0 0 20 0 28 0 3924241 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850861870000 139851409136258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26516] ppid=26290 vsize=13801768 CPUtime=96.36 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26516/stat : 26516 (java) R 26290 26290 15667 0 -1 4202560 504 0 0 0 9636 0 0 0 20 0 28 0 3945002 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850850696536 139851005023489 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26517] ppid=26290 vsize=13801768 CPUtime=96.68 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26517/stat : 26517 (java) R 26290 26290 15667 0 -1 4202560 408 0 0 0 9668 0 0 0 20 0 28 0 3945002 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850852803032 139851003817104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26518] ppid=26290 vsize=13801768 CPUtime=96.52 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26518/stat : 26518 (java) R 26290 26290 15667 0 -1 4202560 1830 0 0 0 9652 0 0 0 20 0 28 0 3945002 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850848591448 139850998175548 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26519] ppid=26290 vsize=13801768 CPUtime=96.21 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26519/stat : 26519 (java) R 26290 26290 15667 0 -1 4202560 1938 0 0 0 9621 0 0 0 20 0 28 0 3945002 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850851751704 139851003817295 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26520] ppid=26290 vsize=13801768 CPUtime=96.27 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26520/stat : 26520 (java) R 26290 26290 15667 0 -1 4202560 565 0 0 0 9627 0 0 0 20 0 28 0 3945002 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850853855064 139851003613612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26521] ppid=26290 vsize=13801768 CPUtime=96.42 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26521/stat : 26521 (java) R 26290 26290 15667 0 -1 4202560 392 0 0 0 9642 0 0 0 20 0 28 0 3945002 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850778922968 139851005023462 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26522] ppid=26290 vsize=13801768 CPUtime=94.97 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26522/stat : 26522 (java) R 26290 26290 15667 0 -1 4202560 400 0 0 0 9497 0 0 0 20 0 28 0 3945002 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850847539288 139851003817406 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
[pid=26291/tid=26523] ppid=26290 vsize=13801768 CPUtime=96.58 cores=1,3,5,7,9,11,13,15
/proc/26291/task/26523/stat : 26523 (java) R 26290 26290 15667 0 -1 4202560 336 0 0 0 9656 2 0 0 20 0 28 0 3945002 14133010432 168209 33554432000 4194304 4196468 140730808260272 139850849644512 139851003626240 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37081088 140730808263868 140730808264044 140730808264044 140730808266703 0
Current children cumulated CPU time (s) 2400.13
Current children cumulated vsize (KiB) 13811280

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26290 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1044
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2088
# CPU time returned by wait4() is 0.003132
# while last known CPU time is 2400.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 304.612
CPU time (s): 2400.13
CPU user time (s): 2398.76
CPU system time (s): 1.37
CPU usage (%): 787.93
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001044
system time used= 0.002088
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.54211 second user time and 4.47203 second system time

The end

Begin job on node104 at 2017-07-22 03:22:26
IDJOB=4246117
IDBENCH=124177
IDSOLVER=2625
FILE ID=node104/4246117-1500686546
RUNJOBID= node104-1500684128-16797
PBS_JOBID= 20623031
Free space on /tmp= 61996 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246117-1500686546/watcher-4246117-1500686546 -o /tmp/evaluation-result-4246117-1500686546/solver-4246117-1500686546 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1979923250 HOME/instance-4246117-1500686546.xml

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

MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9
RANDOM SEED=1979923250

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23609980 kB
MemAvailable:   23699156 kB
Buffers:          162200 kB
Cached:           191232 kB
SwapCached:          256 kB
Active:          8510540 kB
Inactive:         170904 kB
Active(anon):    8283108 kB
Inactive(anon):    56372 kB
Active(file):     227432 kB
Inactive(file):   114532 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105468 kB
Dirty:              8004 kB
Writeback:             0 kB
AnonPages:       8333612 kB
Mapped:            42596 kB
Shmem:              8772 kB
Slab:             161852 kB
SReclaimable:     126092 kB
SUnreclaim:        35760 kB
KernelStack:        4560 kB
PageTables:        21144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8852732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7997440 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= 62000 MiB
End job on node104 at 2017-07-22 03:27:30