0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246118-1500686806.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4246118-1500686806.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
3.71/1.17	c solve instance...
32.30/4.82	o 240 
55.86/7.87	o 239 
641.52/81.65	o 238 
659.18/83.93	o 237 
680.40/86.68	o 236 
702.84/89.63	o 235 
1010.74/128.35	o 234 
1029.20/130.77	o 233 
1051.58/133.66	o 232 
1074.31/136.59	o 231 
1287.39/163.41	o 230 
1304.83/165.67	o 229 
1320.47/167.64	o 228 
1336.12/169.76	o 227 
1352.88/171.90	o 226 
1370.17/174.14	o 225 
1387.38/176.33	o 224 
1403.99/178.47	o 223 
1421.39/180.65	o 222 
1438.66/182.87	o 221 
1455.01/184.98	o 220 
1471.52/187.10	o 219 
1489.09/189.36	o 218 
1506.10/191.59	o 217 
2400.52/303.94	s SATISFIABLE
2400.52/303.94	v <instantiation>
2400.52/303.94	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.52/303.94	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.52/303.94	v </instantiation>
2400.52/303.94	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-4246118-1500686806/watcher-4246118-1500686806 -o /tmp/evaluation-result-4246118-1500686806/solver-4246118-1500686806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1092124800 HOME/instance-4246118-1500686806.xml 

pid=30880
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: 14.16 13.73 14.06 11/272 30891
/proc/meminfo: memFree=31727432/32770624 swapFree=5972/226736
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0

[startup+0.1001 s]
/proc/loadavg: 14.16 13.73 14.06 11/272 30891
/proc/meminfo: memFree=31727432/32770624 swapFree=5972/226736
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200312 s]
/proc/loadavg: 14.16 13.73 14.06 11/272 30891
/proc/meminfo: memFree=31727432/32770624 swapFree=5972/226736
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300221 s]
/proc/loadavg: 14.16 13.73 14.06 11/272 30891
/proc/meminfo: memFree=31727432/32770624 swapFree=5972/226736
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700257 s]
/proc/loadavg: 14.16 13.73 14.06 11/272 30891
/proc/meminfo: memFree=31727432/32770624 swapFree=5972/226736
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50123 s]
/proc/loadavg: 14.16 13.73 14.06 14/293 30952
/proc/meminfo: memFree=31455624/32770624 swapFree=5972/226784
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0
[pid=30892] ppid=30891 vsize=13801768 CPUtime=6.42 cores=1,3,5,7,9,11,13,15
/proc/30892/stat : 30892 (java) S 30891 30891 14626 0 -1 1077944320 24512 0 0 0 616 26 0 0 20 0 28 0 3950081 14133010432 59208 33554432000 4194304 4196468 140736673294256 140736673276800 139982403833591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
/proc/30892/statm: 3450442 59208 3252 1 0 3437675 0
[pid=30892/tid=30893] ppid=30891 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30893/stat : 30893 (java) S 30891 30891 14626 0 -1 1077944384 6816 0 0 0 108 4 0 0 20 0 28 0 3950081 14133010432 59208 33554432000 4194304 4196468 140736673294256 139982408074368 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30895] ppid=30891 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30895/stat : 30895 (java) S 30891 30891 14626 0 -1 1077944384 50 0 0 0 2 1 0 0 20 0 28 0 3950082 14133010432 59208 33554432000 4194304 4196468 140736673294256 139982322313872 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30896] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30896/stat : 30896 (java) S 30891 30891 14626 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 59208 33554432000 4194304 4196468 140736673294256 139982321261072 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30897] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30897/stat : 30897 (java) S 30891 30891 14626 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 59208 33554432000 4194304 4196468 140736673294256 139982320208272 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30898] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30898/stat : 30898 (java) S 30891 30891 14626 0 -1 1077944384 169 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 59208 33554432000 4194304 4196468 140736673294256 139982319155472 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30899] ppid=30891 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30899/stat : 30899 (java) S 30891 30891 14626 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 28 0 3950082 14133010432 59208 33554432000 4194304 4196468 140736673294256 139982318103696 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30900] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30900/stat : 30900 (java) S 30891 30891 14626 0 -1 1077944384 83 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 59208 33554432000 4194304 4196468 140736673294256 139982317050896 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30901] ppid=30891 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30901/stat : 30901 (java) S 30891 30891 14626 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3950082 14133010432 59208 33554432000 4194304 4196468 140736673294256 139982315998096 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30902] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30902/stat : 30902 (java) S 30891 30891 14626 0 -1 1077944384 26 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 59208 33554432000 4194304 4196468 140736673294256 139982314945296 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30903] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30903/stat : 30903 (java) S 30891 30891 14626 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 3950084 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981135784304 139982403844738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30904] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30904/stat : 30904 (java) S 30891 30891 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3950085 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981134730272 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30905] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30905/stat : 30905 (java) S 30891 30891 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3950085 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981133677424 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30906] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30906/stat : 30906 (java) S 30891 30891 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3950089 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981132625744 139982403852187 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30907] ppid=30891 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30907/stat : 30907 (java) R 30891 30891 14626 0 -1 4202560 4874 0 0 0 89 0 0 0 20 0 28 0 3950089 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981131572416 139982381856147 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30908] ppid=30891 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30908/stat : 30908 (java) R 30891 30891 14626 0 -1 4202560 4002 0 0 0 97 0 0 0 20 0 28 0 3950089 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981130507872 139982388959417 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30909] ppid=30891 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30909/stat : 30909 (java) R 30891 30891 14626 0 -1 4202560 3671 0 0 0 92 1 0 0 20 0 28 0 3950089 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981129459744 139982383073008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30910] ppid=30891 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30910/stat : 30910 (java) S 30891 30891 14626 0 -1 1077944384 2843 0 0 0 64 1 0 0 20 0 28 0 3950089 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981128415728 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30911] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30911/stat : 30911 (java) S 30891 30891 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3950089 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981127363168 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30912] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30912/stat : 30912 (java) S 30891 30891 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3950090 14133010432 59208 33554432000 4194304 4196468 140736673294256 139981126310448 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 13811280

[startup+3.10149 s]
/proc/loadavg: 14.47 13.80 14.08 20/301 31000
/proc/meminfo: memFree=31369128/32770624 swapFree=5972/226784
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0
[pid=30892] ppid=30891 vsize=13801768 CPUtime=19.07 cores=1,3,5,7,9,11,13,15
/proc/30892/stat : 30892 (java) S 30891 30891 14626 0 -1 1077944320 28286 0 0 0 1879 28 0 0 20 0 28 0 3950081 14133010432 60609 33554432000 4194304 4196468 140736673294256 140736673276800 139982403833591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
/proc/30892/statm: 3450442 60609 3265 1 0 3437675 0
[pid=30892/tid=30893] ppid=30891 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30893/stat : 30893 (java) S 30891 30891 14626 0 -1 1077944384 6816 0 0 0 108 4 0 0 20 0 28 0 3950081 14133010432 60609 33554432000 4194304 4196468 140736673294256 139982408074368 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30895] ppid=30891 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30895/stat : 30895 (java) S 30891 30891 14626 0 -1 1077944384 50 0 0 0 2 1 0 0 20 0 28 0 3950082 14133010432 60609 33554432000 4194304 4196468 140736673294256 139982322313872 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30896] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30896/stat : 30896 (java) S 30891 30891 14626 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 60609 33554432000 4194304 4196468 140736673294256 139982321261072 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30897] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30897/stat : 30897 (java) S 30891 30891 14626 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 60609 33554432000 4194304 4196468 140736673294256 139982320208272 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30898] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30898/stat : 30898 (java) S 30891 30891 14626 0 -1 1077944384 169 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 60609 33554432000 4194304 4196468 140736673294256 139982319155472 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30899] ppid=30891 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30899/stat : 30899 (java) S 30891 30891 14626 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 28 0 3950082 14133010432 60609 33554432000 4194304 4196468 140736673294256 139982318103696 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30900] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30900/stat : 30900 (java) S 30891 30891 14626 0 -1 1077944384 83 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 60609 33554432000 4194304 4196468 140736673294256 139982317050896 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30901] ppid=30891 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30901/stat : 30901 (java) S 30891 30891 14626 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3950082 14133010432 60609 33554432000 4194304 4196468 140736673294256 139982315998096 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30902] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30902/stat : 30902 (java) S 30891 30891 14626 0 -1 1077944384 26 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 60609 33554432000 4194304 4196468 140736673294256 139982314945296 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30903] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30903/stat : 30903 (java) S 30891 30891 14626 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 3950084 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981135784304 139982403844738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30904] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30904/stat : 30904 (java) S 30891 30891 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3950085 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981134730272 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30905] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30905/stat : 30905 (java) S 30891 30891 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3950085 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981133677424 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30906] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30906/stat : 30906 (java) S 30891 30891 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3950089 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981132625744 139982403852187 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30907] ppid=30891 vsize=13801768 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30907/stat : 30907 (java) S 30891 30891 14626 0 -1 1077944384 6236 0 0 0 165 1 0 0 20 0 28 0 3950089 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981131574128 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30908] ppid=30891 vsize=13801768 CPUtime=2.14 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30908/stat : 30908 (java) S 30891 30891 14626 0 -1 1077944384 4749 0 0 0 214 0 0 0 20 0 28 0 3950089 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981130521328 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30909] ppid=30891 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30909/stat : 30909 (java) S 30891 30891 14626 0 -1 1077944384 4510 0 0 0 168 1 0 0 20 0 28 0 3950089 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981129468528 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30910] ppid=30891 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30910/stat : 30910 (java) S 30891 30891 14626 0 -1 1077944384 3263 0 0 0 72 1 0 0 20 0 28 0 3950089 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981128415728 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30911] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30911/stat : 30911 (java) S 30891 30891 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3950089 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981127363168 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30912] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30912/stat : 30912 (java) S 30891 30891 14626 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3950090 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981126310448 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30953] ppid=30891 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30953/stat : 30953 (java) R 30891 30891 14626 0 -1 4202560 86 0 0 0 142 0 0 0 20 0 28 0 3950200 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981118295560 139981994679356 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30954] ppid=30891 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30954/stat : 30954 (java) R 30891 30891 14626 0 -1 4202560 60 0 0 0 136 0 0 0 20 0 28 0 3950200 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981117245160 139981994679356 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30955] ppid=30891 vsize=13801768 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30955/stat : 30955 (java) R 30891 30891 14626 0 -1 4202560 48 0 0 0 153 0 0 0 20 0 28 0 3950200 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981116192040 139982000244829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30956] ppid=30891 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30956/stat : 30956 (java) R 30891 30891 14626 0 -1 4202560 160 0 0 0 135 0 0 0 20 0 28 0 3950200 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981115138728 139981994679356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30957] ppid=30891 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30957/stat : 30957 (java) R 30891 30891 14626 0 -1 4202560 46 0 0 0 134 0 0 0 20 0 28 0 3950200 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981114087736 139981994679356 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30958] ppid=30891 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30958/stat : 30958 (java) R 30891 30891 14626 0 -1 4202560 152 0 0 0 135 0 0 0 20 0 28 0 3950200 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981113032104 139982000244929 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30959] ppid=30891 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30959/stat : 30959 (java) R 30891 30891 14626 0 -1 4202560 144 0 0 0 136 0 0 0 20 0 28 0 3950200 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981111982016 139981999906055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30960] ppid=30891 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30960/stat : 30960 (java) R 30891 30891 14626 0 -1 4202560 37 0 0 0 155 0 0 0 20 0 28 0 3950201 14133010432 60609 33554432000 4194304 4196468 140736673294256 139981110927032 139982000377033 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (KiB) 13811280

[startup+6.30155 s]
/proc/loadavg: 14.47 13.80 14.08 18/301 31136
/proc/meminfo: memFree=31368688/32770624 swapFree=5972/226784
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0
[pid=30892] ppid=30891 vsize=13801768 CPUtime=44.02 cores=1,3,5,7,9,11,13,15
/proc/30892/stat : 30892 (java) S 30891 30891 14626 0 -1 1077944320 29331 0 0 0 4372 30 0 0 20 0 28 0 3950081 14133010432 59971 33554432000 4194304 4196468 140736673294256 140736673276800 139982403833591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
/proc/30892/statm: 3450442 59971 3271 1 0 3437675 0
[pid=30892/tid=30893] ppid=30891 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30893/stat : 30893 (java) S 30891 30891 14626 0 -1 1077944384 6934 0 0 0 110 4 0 0 20 0 28 0 3950081 14133010432 59971 33554432000 4194304 4196468 140736673294256 139982408074368 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30895] ppid=30891 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30895/stat : 30895 (java) S 30891 30891 14626 0 -1 1077944384 50 0 0 0 2 1 0 0 20 0 28 0 3950082 14133010432 59971 33554432000 4194304 4196468 140736673294256 139982322313872 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30896] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30896/stat : 30896 (java) S 30891 30891 14626 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 59971 33554432000 4194304 4196468 140736673294256 139982321261072 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30897] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30897/stat : 30897 (java) S 30891 30891 14626 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 59971 33554432000 4194304 4196468 140736673294256 139982320208272 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30898] ppid=30891 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30898/stat : 30898 (java) S 30891 30891 14626 0 -1 1077944384 169 0 0 0 2 2 0 0 20 0 28 0 3950082 14133010432 59971 33554432000 4194304 4196468 140736673294256 139982319155472 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0

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

[pid=30892/tid=31355] ppid=30891 vsize=13801768 CPUtime=90.5 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31355/stat : 31355 (java) R 30891 30891 14626 0 -1 4202560 369 0 0 0 9050 0 0 0 20 0 28 0 3969240 14133010432 171503 33554432000 4194304 4196468 140736673294256 139981116190520 139982000235852 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31356] ppid=30891 vsize=13801768 CPUtime=90.4 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31356/stat : 31356 (java) R 30891 30891 14626 0 -1 4202560 289 0 0 0 9040 0 0 0 20 0 28 0 3969240 14133010432 171503 33554432000 4194304 4196468 140736673294256 139981113032376 139981994679356 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
Current children cumulated CPU time (s) 2228.54
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+303.902 s]
/proc/loadavg: 16.30 15.31 14.65 17/302 31460
/proc/meminfo: memFree=31082728/32770624 swapFree=5972/227188
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0
[pid=30892] ppid=30891 vsize=13801768 CPUtime=2400.52 cores=1,3,5,7,9,11,13,15
/proc/30892/stat : 30892 (java) S 30891 30891 14626 0 -1 1077944320 140097 0 0 0 239917 135 0 0 20 0 28 0 3950081 14133010432 167656 33554432000 4194304 4196468 140736673294256 140736673276800 139982403833591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
/proc/30892/statm: 3450442 167656 3289 1 0 3437675 0
[pid=30892/tid=30893] ppid=30891 vsize=13801768 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30893/stat : 30893 (java) S 30891 30891 14626 0 -1 1077944384 9104 0 0 0 115 4 0 0 20 0 28 0 3950081 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982408074368 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30895] ppid=30891 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30895/stat : 30895 (java) S 30891 30891 14626 0 -1 1077944384 1694 0 0 0 12 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982322313872 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30896] ppid=30891 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30896/stat : 30896 (java) S 30891 30891 14626 0 -1 1077944384 1632 0 0 0 12 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982321261072 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30897] ppid=30891 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30897/stat : 30897 (java) S 30891 30891 14626 0 -1 1077944384 1096 0 0 0 13 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982320208272 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30898] ppid=30891 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30898/stat : 30898 (java) S 30891 30891 14626 0 -1 1077944384 609 0 0 0 13 10 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982319155472 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30899] ppid=30891 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30899/stat : 30899 (java) S 30891 30891 14626 0 -1 1077944384 1249 0 0 0 13 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982318103696 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30900] ppid=30891 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30900/stat : 30900 (java) S 30891 30891 14626 0 -1 1077944384 582 0 0 0 12 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982317050896 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30901] ppid=30891 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30901/stat : 30901 (java) S 30891 30891 14626 0 -1 1077944384 289 0 0 0 11 8 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982315998096 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30902] ppid=30891 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30902/stat : 30902 (java) S 30891 30891 14626 0 -1 1077944384 662 0 0 0 12 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982314945296 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30903] ppid=30891 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30903/stat : 30903 (java) S 30891 30891 14626 0 -1 1077944384 3518 0 0 0 5 5 0 0 20 0 28 0 3950084 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981135784304 139982403844738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30904] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30904/stat : 30904 (java) S 30891 30891 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3950085 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981134730336 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30905] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30905/stat : 30905 (java) S 30891 30891 14626 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3950085 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981133677440 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30906] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30906/stat : 30906 (java) S 30891 30891 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981132625744 139982403852187 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30907] ppid=30891 vsize=13801768 CPUtime=3.11 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30907/stat : 30907 (java) S 30891 30891 14626 0 -1 1077944384 19465 0 0 0 308 3 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981131574128 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30908] ppid=30891 vsize=13801768 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30908/stat : 30908 (java) S 30891 30891 14626 0 -1 1077944384 20594 0 0 0 338 2 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981130521328 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30909] ppid=30891 vsize=13801768 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30909/stat : 30909 (java) S 30891 30891 14626 0 -1 1077944384 21054 0 0 0 356 3 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981129468528 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30910] ppid=30891 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30910/stat : 30910 (java) S 30891 30891 14626 0 -1 1077944384 16426 0 0 0 104 4 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981128415728 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30911] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30911/stat : 30911 (java) S 30891 30891 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981127363168 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30912] ppid=30891 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30912/stat : 30912 (java) S 30891 30891 14626 0 -1 1077944384 1513 0 0 0 9 11 0 0 20 0 28 0 3950090 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981126310448 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31349] ppid=30891 vsize=13801768 CPUtime=111.54 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31349/stat : 31349 (java) R 30891 30891 14626 0 -1 4202560 533 0 0 0 11154 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981111978304 139982000377033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31350] ppid=30891 vsize=13801768 CPUtime=111.89 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31350/stat : 31350 (java) R 30891 30891 14626 0 -1 4202560 758 0 0 0 11189 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981118295480 139981994679356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31351] ppid=30891 vsize=13801768 CPUtime=110.88 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31351/stat : 31351 (java) R 30891 30891 14626 0 -1 4202560 1533 0 0 0 11086 2 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981110927672 139981994679416 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31352] ppid=30891 vsize=13801768 CPUtime=112.09 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31352/stat : 31352 (java) R 30891 30891 14626 0 -1 4202560 2761 0 0 0 11209 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981117243576 139982000064108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31353] ppid=30891 vsize=13801768 CPUtime=111.95 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31353/stat : 31353 (java) R 30891 30891 14626 0 -1 4202560 510 0 0 0 11195 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981114085288 139981994679356 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31354] ppid=30891 vsize=13801768 CPUtime=110.92 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31354/stat : 31354 (java) R 30891 30891 14626 0 -1 4202560 503 0 0 0 11091 1 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981115137976 139982000244974 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31355] ppid=30891 vsize=13801768 CPUtime=112.08 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31355/stat : 31355 (java) R 30891 30891 14626 0 -1 4202560 387 0 0 0 11208 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981116190376 139982000244777 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31356] ppid=30891 vsize=13801768 CPUtime=111.95 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31356/stat : 31356 (java) R 30891 30891 14626 0 -1 4202560 299 0 0 0 11195 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981113032184 139982000244836 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
Current children cumulated CPU time (s) 2400.52
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 30892 sig 9
??? kill 30891 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+303.902 s]
/proc/loadavg: 16.30 15.31 14.65 17/302 31460
/proc/meminfo: memFree=31082728/32770624 swapFree=5972/227188
[pid=30891] ppid=30880 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30891/stat : 30891 (xcsp3-exec) S 30880 30891 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950080 9740288 346 33554432000 4194304 5098028 140730632095136 140730632093240 139947117339260 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 38912000 140730632098958 140730632099168 140730632099168 140730632101867 0
/proc/30891/statm: 2378 346 289 221 0 87 0
[pid=30892] ppid=30891 vsize=13801768 CPUtime=2400.52 cores=1,3,5,7,9,11,13,15
/proc/30892/stat : 30892 (java) S 30891 30891 14626 0 -1 1077944320 140097 0 0 0 239917 135 0 0 20 0 28 0 3950081 14133010432 167656 33554432000 4194304 4196468 140736673294256 140736673276800 139982403833591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
/proc/30892/statm: 3450442 167656 3289 1 0 3437675 0
[pid=30892/tid=30893] ppid=30891 vsize=13801768 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30893/stat : 30893 (java) S 30891 30891 14626 0 -1 1077944384 9104 0 0 0 115 4 0 0 20 0 28 0 3950081 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982408074368 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30895] ppid=30891 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30895/stat : 30895 (java) S 30891 30891 14626 0 -1 1077944384 1694 0 0 0 12 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982322313872 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30896] ppid=30891 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30896/stat : 30896 (java) S 30891 30891 14626 0 -1 1077944384 1632 0 0 0 12 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982321261072 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30897] ppid=30891 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30897/stat : 30897 (java) S 30891 30891 14626 0 -1 1077944384 1096 0 0 0 13 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982320208272 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30898] ppid=30891 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30898/stat : 30898 (java) S 30891 30891 14626 0 -1 1077944384 609 0 0 0 13 10 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982319155472 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30899] ppid=30891 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30899/stat : 30899 (java) S 30891 30891 14626 0 -1 1077944384 1249 0 0 0 13 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982318103696 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30900] ppid=30891 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30900/stat : 30900 (java) S 30891 30891 14626 0 -1 1077944384 582 0 0 0 12 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982317050896 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30901] ppid=30891 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30901/stat : 30901 (java) S 30891 30891 14626 0 -1 1077944384 289 0 0 0 11 8 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982315998096 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30902] ppid=30891 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30902/stat : 30902 (java) S 30891 30891 14626 0 -1 1077944384 662 0 0 0 12 9 0 0 20 0 28 0 3950082 14133010432 167656 33554432000 4194304 4196468 140736673294256 139982314945296 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30903] ppid=30891 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30903/stat : 30903 (java) S 30891 30891 14626 0 -1 1077944384 3518 0 0 0 5 5 0 0 20 0 28 0 3950084 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981135784304 139982403844738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30904] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30904/stat : 30904 (java) S 30891 30891 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3950085 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981134730336 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30905] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30905/stat : 30905 (java) S 30891 30891 14626 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3950085 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981133677440 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30906] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30906/stat : 30906 (java) S 30891 30891 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981132625744 139982403852187 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30907] ppid=30891 vsize=13801768 CPUtime=3.11 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30907/stat : 30907 (java) S 30891 30891 14626 0 -1 1077944384 19465 0 0 0 308 3 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981131574128 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30908] ppid=30891 vsize=13801768 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30908/stat : 30908 (java) S 30891 30891 14626 0 -1 1077944384 20594 0 0 0 338 2 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981130521328 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30909] ppid=30891 vsize=13801768 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30909/stat : 30909 (java) S 30891 30891 14626 0 -1 1077944384 21054 0 0 0 356 3 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981129468528 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30910] ppid=30891 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30910/stat : 30910 (java) S 30891 30891 14626 0 -1 1077944384 16426 0 0 0 104 4 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981128415728 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30911] ppid=30891 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30911/stat : 30911 (java) S 30891 30891 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3950089 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981127363168 139982403843797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=30912] ppid=30891 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/30892/task/30912/stat : 30912 (java) S 30891 30891 14626 0 -1 1077944384 1513 0 0 0 9 11 0 0 20 0 28 0 3950090 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981126310448 139982403844738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31349] ppid=30891 vsize=13801768 CPUtime=111.54 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31349/stat : 31349 (java) R 30891 30891 14626 0 -1 4202560 533 0 0 0 11154 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981111978304 139982000377033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31350] ppid=30891 vsize=13801768 CPUtime=111.89 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31350/stat : 31350 (java) R 30891 30891 14626 0 -1 4202560 758 0 0 0 11189 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981118295480 139981994679356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31351] ppid=30891 vsize=13801768 CPUtime=110.88 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31351/stat : 31351 (java) R 30891 30891 14626 0 -1 4202560 1533 0 0 0 11086 2 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981110927672 139981994679416 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31352] ppid=30891 vsize=13801768 CPUtime=112.09 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31352/stat : 31352 (java) R 30891 30891 14626 0 -1 4202560 2761 0 0 0 11209 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981117243576 139982000064108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31353] ppid=30891 vsize=13801768 CPUtime=111.95 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31353/stat : 31353 (java) R 30891 30891 14626 0 -1 4202560 510 0 0 0 11195 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981114085288 139981994679356 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31354] ppid=30891 vsize=13801768 CPUtime=110.92 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31354/stat : 31354 (java) R 30891 30891 14626 0 -1 4202560 503 0 0 0 11091 1 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981115137976 139982000244974 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31355] ppid=30891 vsize=13801768 CPUtime=112.08 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31355/stat : 31355 (java) R 30891 30891 14626 0 -1 4202560 387 0 0 0 11208 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981116190376 139982000244777 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
[pid=30892/tid=31356] ppid=30891 vsize=13801768 CPUtime=111.95 cores=1,3,5,7,9,11,13,15
/proc/30892/task/31356/stat : 31356 (java) R 30891 30891 14626 0 -1 4202560 299 0 0 0 11195 0 0 0 20 0 28 0 3969240 14133010432 167656 33554432000 4194304 4196468 140736673294256 139981113032184 139982000244836 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28651520 140736673297596 140736673297772 140736673297772 140736673300431 0
Current children cumulated CPU time (s) 2400.52
Current children cumulated vsize (KiB) 13811280

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 303.913
CPU time (s): 2400.52
CPU user time (s): 2399.17
CPU system time (s): 1.35
CPU usage (%): 789.872
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000783
system time used= 0.002349
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.80175 second user time and 4.07834 second system time

The end

Begin job on node105 at 2017-07-22 03:26:46
IDJOB=4246118
IDBENCH=124177
IDSOLVER=2626
FILE ID=node105/4246118-1500686806
RUNJOBID= node105-1500682495-14658
PBS_JOBID= 20623326
Free space on /tmp= 62004 MiB

SOLVER NAME= choco-solver 5a
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-4246118-1500686806/watcher-4246118-1500686806 -o /tmp/evaluation-result-4246118-1500686806/solver-4246118-1500686806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1092124800 HOME/instance-4246118-1500686806.xml

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

MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9
RANDOM SEED=1092124800

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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	: 5333.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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	: 5333.33
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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	: 5333.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31728216 kB
MemAvailable:   31787388 kB
Buffers:           53768 kB
Cached:           314132 kB
SwapCached:            0 kB
Active:           431412 kB
Inactive:         235376 kB
Active(anon):     301720 kB
Inactive(anon):     8640 kB
Active(file):     129692 kB
Inactive(file):   226736 kB
Unevictable:        5972 kB
Mlocked:            6004 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7904 kB
Writeback:             0 kB
AnonPages:        304920 kB
Mapped:            43048 kB
Shmem:              8884 kB
Slab:              70236 kB
SReclaimable:      37156 kB
SUnreclaim:        33080 kB
KernelStack:        4672 kB
PageTables:         5864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1393228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61996 MiB
End job on node105 at 2017-07-22 03:31:50