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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - ALNS 2017-06-30	SAT (TO)	318	2400.11	2284.54

0.42/0.30	c version: 2017-06-30
0.42/0.31	c seed: 770492870
0.42/0.31	c timeout: 2400
0.42/0.31	c memlimit: 15500
0.42/0.31	c nbcore: 8
0.42/0.33	c Parsing instance...
6.05/2.24	c Parsing done, starting search...
11.51/6.35	o 223
22.55/15.23	o 224
27.30/19.72	o 227
39.03/31.00	o 234
371.02/353.87	o 242
425.40/405.58	o 243
458.66/437.45	o 266
464.64/443.18	o 267
478.76/456.53	o 296
762.77/726.58	o 297
765.25/728.91	o 311
879.60/836.36	o 312
880.51/837.21	o 314
1121.60/1066.46	o 315
1128.20/1072.86	o 316
1129.50/1074.13	o 318
2400.05/2284.50	s SATISFIABLE
2400.05/2284.51	v <instantiation>
2400.05/2284.51	v 	<list>
2400.05/2284.51	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] z
2400.05/2284.51	v 	</list>
2400.05/2284.51	v 	<values>
2400.05/2284.51	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 0 1 0 2 2 2 2 2 2 2 2 2 1 1 1 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 2 1 1 2 2 2 2 2 2 1 0 1 0 1 2 2 2 1 1 0 1 1 1 2 2 2 2 2 1 2 2 2 2 0 2 0 0 0 0 0 0 1 2 2 2 2 2 0 1 0 0 0 1 2 2 2 2 1 1 0 1 1 0 2 2 2 1 1 0 1 2 1 1 0 1 0 1 0 0 0 1 1 2 2 2 1 1 0 0 0 1 1 2 2 2 2 2 0 0 0 0 1 1 2 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 2 2 1 1 0 0 0 0 0 1 2 2 2 2 2 2 0 2 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 2 1 0 0 0 0 0 1 0 1 2 2 2 2 2 2 2 0 1 0 2 2 0 0 0 1 0 0 0 2 1 1 1 2 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 2 2 2 2 1 1 2 2 1 2 2 2 1 1 0 0 0 1 0 0 0 1 1 2 2 0 0 0 0 0 1 0 2 1 1 0 1 0 1 2 2 2 0 0 0 1 2 2 2 2 2 2 0 2 0 1 1 2 0 1 0 1 1 2 1 1 0 0 0 1 1 2 2 0 0 0 0 1 2 2 0 0 2 0 1 2 2 2 2 2 2 2 0 1 0 2 2 1 0 0 0 1 2 2 0 1 0 0 0 1 0 1 2 1 1 1 1 2 1 1 2 0 0 2 2 2 2 2 2 2 2 2 1 2 2 1 1 0 0 0 1 0 2 2 1 0 1 0 0 0 1 0 2 2 1 1 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 0 1 1 2 2 2 1 2 1 1 0 1 1 2 1 1 2 2 2 1 2 2 2 2 1 1 2 2 2 1 1 2 2 2 2 1 1 0 0 1 0 1 1 1 2 2 2 2 1 0 0 2 2 1 1 2 2 2 2 2 2 2 1 0 0 0 2 1 0 0 1 2 2 2 2 1 0 1 0 0 0 0 0 1 2 2 2 1 0 1 1 2 1 1 2 2 2 2 2 1 1 1 0 0 1 1 1 0 0 1 2 2 2 2 1 1 0 0 0 0 0 0 1 2 2 1 2 1 1 2 2 1 1 2 2 2 2 0 1 1 0 0 0 1 1 2 1 1 2 2 2 2 2 2 1 1 0 0 1 1 1 2 2 0 1 0 2 2 1 1 1 1 2 2 2 0 0 0 0 0 0 1 0 2 2 2 2 2 2 2 2 1 1 2 1 0 1 1 2 2 2 1 1 0 1 1 1 0 1 0 1 1 2 0 2 0 1 0 1 0 1 2 2 2 2 2 2 2 2 1 0 0 0 1 1 0 2 2 2 2 1 1 0 1 1 1 0 0 1 0 1 0 2 0 1 0 0 0 1 1 2 2 2 1 2 2 2 2 1 1 0 0 0 0 1 0 2 2 2 2 0 1 0 2 2 0 0 0 0 0 0 0 2 1 0 0 1 0 2 2 2 0 1 0 2 2 2 2 1 2 1 0 0 0 1 1 2 2 2 2 1 2 2 1 0 0 0 1 1 1 2 2 2 0 0 0 1 1 2 1 1 2 0 1 2 2 2 1 1 2 0 0 0 0 0 2 2 2 2 2 2 2 1 0 0 1 1 2 2 2 2 1 0 0 0 0 0 1 2 0 0 0 1 2 1 1 1 0 0 0 0 0 0 1 1 2 2 2 2 2 1 1 0 1 0 1 1 1 2 2 1 0 0 1 0 1 1 2 2 1 1 2 1 1 0 0 0 0 0 0 2 1 1 2 2 2 2 2 0 1 0 1 0 1 0 0 0 1 2 2 0 0 1 2 1 2 2 2 2 1 2 1 0 0 0 0 0 1 1 2 2 2 2 2 2 2 0 2 0 0 0 2 1 0 0 0 1 2 1 1 0 1 2 2 2 2 2 0 1 0 2 0 0 0 0 0 0 2 2 1 1 2 2 2 1 1 0 0 1 1 0 1 1 0 0 2 2 2 1 1 2 2 2 2 2 1 1 2 0 0 1 0 1 1 1 2 2 1 0 0 0 2 2 2 0 1 0 0 0 1 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 0 0 2 0 0 0 0 2 2 2 2 1 1 0 2 0 2 2 2 0 0 0 0 0 1 0 0 0 1 0 0 1 2 2 2 2 2 2 2 2 0 0 0 0 0 1 1 2 2 2 2 1 1 0 0 0 2 0 2 0 1 0 0 0 1 0 0 0 0 0 1 2 2 2 2 2 2 1 1 2 1 0 0 0 1 2 2 2 2 2 0 1 0 2 0 0 0 0 2 1 0 0 1 0 1 0 1 0 0 2 2 2 2 2 2 1 0 0 0 2 1 1 0 1 2 2 2 2 1 0 0 0 0 0 0 0 1 1 2 0 0 0 1 0 0 1 0 1 1 2 2 2 2 2 1 1 0 2 0 2 0 1 1 0 2 2 2 1 0 1 1 1 1 2 1 1 2 1 0 0 0 0 1 0 0 0 0 2 2 2 2 2 2 2 1 1 0 1 1 2 0 0 0 0 2 2 2 1 1 2 1 1 2 2 2 2 1 0 0 1 1 0 0 0 0 1 1 2 2 2 1 1 2 0 1 1 0 2 0 1 0 2 1 1 1 1 2 2 1 0 0 0 2 2 2 2 0 0 0 0 0 0 1 1 0 1 1 2 1 0 0 0 1 0 1 2 1 0 0 0 0 0 0 0 0 1 2 1 0 2 0 1 2 2 1 1 0 0 0 0 1 1 0 0 0 1 2 1 1 0 0 0 1 2 2 1 0 1 1 0 1 1 0 1 1 2 2 0 0 0 1 2 2 2 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 37 113 186 247 300 345 384 411 438 472 509 548 589 634 686 740 783 826 872 915 957 994 1033 1077 1111 1149 1191 1227 1267 1308 1343 1380 1413 1453 1496 1533 1558 1591 1614 318 
2400.05/2284.51	v 	</values>
2400.05/2284.51	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244762-1500692836/watcher-4244762-1500692836 -o /tmp/evaluation-result-4244762-1500692836/solver-4244762-1500692836 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500683390-16361 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 770492870 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244762-1500692836.xml 

pid=17501
running on 8 cores: 0,2,4,6,8,10,12,14

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


[startup+0 s]
/proc/loadavg: 1.43 1.45 1.51 4/261 17504
/proc/meminfo: memFree=30390116/32770624 swapFree=5872/246964
[pid=17504] ppid=17501 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 1886 0 0 0 0 0 0 0 20 0 2 0 4548851 10889764864 2121 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 2658634 2121 1179 1 0 2647545 0
[pid=17504/tid=17505] ppid=17501 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 655 0 0 0 0 0 0 0 20 0 2 0 4548851 10889764864 2187 33554432000 4194304 4196468 140724748154800 140690449279392 140690437326752 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0

[startup+0.100163 s]
/proc/loadavg: 1.43 1.45 1.51 4/261 17504
/proc/meminfo: memFree=30390116/32770624 swapFree=5872/246964
[pid=17504] ppid=17501 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 5379 0 0 0 8 1 0 0 20 0 20 0 4548851 13582725120 5982 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3316095 5982 3197 1 0 3303815 0
[pid=17504/tid=17505] ppid=17501 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 3466 0 0 0 7 1 0 0 20 0 20 0 4548851 13582725120 5982 33554432000 4194304 4196468 140724748154800 140690449279584 140690401672146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200398 s]
/proc/loadavg: 1.43 1.45 1.51 4/261 17504
/proc/meminfo: memFree=30390116/32770624 swapFree=5872/246964
[pid=17504] ppid=17501 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 8738 0 0 0 23 3 0 0 20 0 20 0 4548851 13582245888 8728 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3315978 8728 3508 1 0 3303698 0
[pid=17504/tid=17505] ppid=17501 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 6427 0 0 0 16 2 0 0 20 0 20 0 4548851 13582245888 8728 33554432000 4194304 4196468 140724748154800 140690449265680 140690431047936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300416 s]
/proc/loadavg: 1.43 1.45 1.51 4/261 17504
/proc/meminfo: memFree=30390116/32770624 swapFree=5872/246964
[pid=17504] ppid=17501 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 9798 0 0 0 39 3 0 0 20 0 20 0 4548851 13582245888 11033 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3315978 11033 3627 1 0 3303698 0
[pid=17504/tid=17505] ppid=17501 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 7180 0 0 0 25 2 0 0 20 0 20 0 4548851 13582245888 11033 33554432000 4194304 4196468 140724748154800 140690449254768 140690445059229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700204 s]
/proc/loadavg: 1.43 1.45 1.51 4/261 17504
/proc/meminfo: memFree=30390116/32770624 swapFree=5872/246964
[pid=17504] ppid=17501 vsize=13265980 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 12813 0 0 0 146 5 0 0 20 0 20 0 4548851 13584363520 20731 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3316495 20731 3766 1 0 3304210 0
[pid=17504/tid=17505] ppid=17501 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 8453 0 0 0 64 3 0 0 20 0 20 0 4548851 13584363520 20731 33554432000 4194304 4196468 140724748154800 140690449269496 140690429080933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 13265980

[startup+1.50099 s]
/proc/loadavg: 1.64 1.50 1.53 5/281 17524
/proc/meminfo: memFree=30287544/32770624 swapFree=5872/247008
[pid=17504] ppid=17501 vsize=13270076 CPUtime=4.3 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 28613 0 0 0 414 16 0 0 20 0 20 0 4548851 13588557824 58770 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3317519 58770 3815 1 0 3305234 0
[pid=17504/tid=17505] ppid=17501 vsize=13270076 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 11372 0 0 0 139 6 0 0 20 0 20 0 4548851 13588557824 58770 33554432000 4194304 4196468 140724748154800 140690449271624 140690067780980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17507] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17507/stat : 17507 (java) S 17501 17504 16330 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4548852 13588557824 58770 33554432000 4194304 4196468 140724748154800 140690384002192 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17508] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17508/stat : 17508 (java) S 17501 17504 16330 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4548852 13588557824 58770 33554432000 4194304 4196468 140724748154800 140690382949392 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17509] ppid=17501 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17509/stat : 17509 (java) S 17501 17504 16330 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 4548852 13588557824 58770 33554432000 4194304 4196468 140724748154800 140690381896592 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17510] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17510/stat : 17510 (java) S 17501 17504 16330 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 4548852 13588557824 58770 33554432000 4194304 4196468 140724748154800 140690380843792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17511] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17511/stat : 17511 (java) S 17501 17504 16330 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4548852 13588557824 58770 33554432000 4194304 4196468 140724748154800 140690379790992 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17512] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17512/stat : 17512 (java) S 17501 17504 16330 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 20 0 4548852 13588557824 58770 33554432000 4194304 4196468 140724748154800 140690038675984 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17513] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17513/stat : 17513 (java) S 17501 17504 16330 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 4548852 13588557824 58770 33554432000 4194304 4196468 140724748154800 140690037623184 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17514] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17514/stat : 17514 (java) S 17501 17504 16330 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4548852 13588557824 58770 33554432000 4194304 4196468 140724748154800 140690036570384 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17515] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17515/stat : 17515 (java) S 17501 17504 16330 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 4548855 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689773947760 140690445048450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17516] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17516/stat : 17516 (java) S 17501 17504 16330 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689772893728 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17517] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17517/stat : 17517 (java) S 17501 17504 16330 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689771840880 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17518] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17518/stat : 17518 (java) S 17501 17504 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689770789200 140690445055899 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17519] ppid=17501 vsize=13270076 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17519/stat : 17519 (java) S 17501 17504 16330 0 -1 1077944384 2274 0 0 0 60 0 0 0 20 0 20 0 4548860 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689769736560 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17520] ppid=17501 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17520/stat : 17520 (java) R 17501 17504 16330 0 -1 4202560 1463 0 0 0 63 0 0 0 20 0 20 0 4548860 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689768684056 140690426447453 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17521] ppid=17501 vsize=13270076 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17521/stat : 17521 (java) R 17501 17504 16330 0 -1 4202560 3081 0 0 0 67 1 0 0 20 0 20 0 4548860 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689767630960 140690426560064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17522] ppid=17501 vsize=13270076 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17522/stat : 17522 (java) S 17501 17504 16330 0 -1 1077944384 8378 0 0 0 74 2 0 0 20 0 20 0 4548860 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689766578160 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17523] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17523/stat : 17523 (java) S 17501 17504 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689765526624 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17524] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17524/stat : 17524 (java) S 17501 17504 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 58770 33554432000 4194304 4196468 140724748154800 140689764473904 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 13270076

[startup+3.10088 s]
/proc/loadavg: 1.64 1.50 1.53 3/281 17524
/proc/meminfo: memFree=29968152/32770624 swapFree=5872/247044
[pid=17504] ppid=17501 vsize=13270076 CPUtime=8.47 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 33360 0 0 0 764 83 0 0 20 0 20 0 4548851 13588557824 120883 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3317519 120883 3834 1 0 3305234 0
[pid=17504/tid=17505] ppid=17501 vsize=13270076 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 12947 0 0 0 280 7 0 0 20 0 20 0 4548851 13588557824 120883 33554432000 4194304 4196468 140724748154800 140690449274936 140690068810073 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17507] ppid=17501 vsize=13270076 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17507/stat : 17507 (java) S 17501 17504 16330 0 -1 1077944384 323 0 0 0 7 8 0 0 20 0 20 0 4548852 13588557824 120883 33554432000 4194304 4196468 140724748154800 140690384002192 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17508] ppid=17501 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17508/stat : 17508 (java) S 17501 17504 16330 0 -1 1077944384 100 0 0 0 8 8 0 0 20 0 20 0 4548852 13588557824 120883 33554432000 4194304 4196468 140724748154800 140690382949392 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17509] ppid=17501 vsize=13270076 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17509/stat : 17509 (java) S 17501 17504 16330 0 -1 1077944384 134 0 0 0 7 7 0 0 20 0 20 0 4548852 13588557824 120883 33554432000 4194304 4196468 140724748154800 140690381896592 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17510] ppid=17501 vsize=13270076 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17510/stat : 17510 (java) S 17501 17504 16330 0 -1 1077944384 107 0 0 0 6 8 0 0 20 0 20 0 4548852 13588557824 120883 33554432000 4194304 4196468 140724748154800 140690380843792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17511] ppid=17501 vsize=13270076 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17511/stat : 17511 (java) S 17501 17504 16330 0 -1 1077944384 141 0 0 0 7 8 0 0 20 0 20 0 4548852 13588557824 120883 33554432000 4194304 4196468 140724748154800 140690379790992 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17512] ppid=17501 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17512/stat : 17512 (java) S 17501 17504 16330 0 -1 1077944384 354 0 0 0 7 9 0 0 20 0 20 0 4548852 13588557824 120883 33554432000 4194304 4196468 140724748154800 140690038675984 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17513] ppid=17501 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17513/stat : 17513 (java) S 17501 17504 16330 0 -1 1077944384 157 0 0 0 7 9 0 0 20 0 20 0 4548852 13588557824 120883 33554432000 4194304 4196468 140724748154800 140690037623184 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17514] ppid=17501 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17514/stat : 17514 (java) S 17501 17504 16330 0 -1 1077944384 102 0 0 0 7 9 0 0 20 0 20 0 4548852 13588557824 120883 33554432000 4194304 4196468 140724748154800 140690036570384 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17515] ppid=17501 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17515/stat : 17515 (java) S 17501 17504 16330 0 -1 1077944384 972 0 0 0 1 0 0 0 20 0 20 0 4548855 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689773947760 140690445048450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17516] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17516/stat : 17516 (java) S 17501 17504 16330 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689772893792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17517] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17517/stat : 17517 (java) S 17501 17504 16330 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689771840896 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17518] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17518/stat : 17518 (java) S 17501 17504 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689770789200 140690445055899 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17519] ppid=17501 vsize=13270076 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17519/stat : 17519 (java) S 17501 17504 16330 0 -1 1077944384 2770 0 0 0 108 0 0 0 20 0 20 0 4548860 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689769736560 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17520] ppid=17501 vsize=13270076 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17520/stat : 17520 (java) S 17501 17504 16330 0 -1 1077944384 1806 0 0 0 109 0 0 0 20 0 20 0 4548860 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689768683760 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17521] ppid=17501 vsize=13270076 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17521/stat : 17521 (java) S 17501 17504 16330 0 -1 1077944384 3463 0 0 0 117 1 0 0 20 0 20 0 4548860 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689767630960 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17522] ppid=17501 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17522/stat : 17522 (java) S 17501 17504 16330 0 -1 1077944384 8547 0 0 0 84 2 0 0 20 0 20 0 4548860 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689766578160 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17523] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17523/stat : 17523 (java) S 17501 17504 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689765526624 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17524] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17524/stat : 17524 (java) S 17501 17504 16330 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 120883 33554432000 4194304 4196468 140724748154800 140689764473904 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 8.47
Current children cumulated vsize (KiB) 13270076

[startup+6.3009 s]
/proc/loadavg: 1.64 1.50 1.53 3/281 17524
/proc/meminfo: memFree=29596868/32770624 swapFree=5872/247044
[pid=17504] ppid=17501 vsize=13270076 CPUtime=11.51 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 34110 0 0 0 1052 99 0 0 20 0 20 0 4548851 13588557824 180093 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3317519 180093 3834 1 0 3305234 0
[pid=17504/tid=17505] ppid=17501 vsize=13270076 CPUtime=5.56 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 13240 0 0 0 544 12 0 0 20 0 20 0 4548851 13588557824 180093 33554432000 4194304 4196468 140724748154800 140690449273304 140690068850121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17507] ppid=17501 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17507/stat : 17507 (java) S 17501 17504 16330 0 -1 1077944384 332 0 0 0 8 9 0 0 20 0 20 0 4548852 13588557824 180093 33554432000 4194304 4196468 140724748154800 140690384002192 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17508] ppid=17501 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17508/stat : 17508 (java) S 17501 17504 16330 0 -1 1077944384 110 0 0 0 9 9 0 0 20 0 20 0 4548852 13588557824 180093 33554432000 4194304 4196468 140724748154800 140690382949392 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17509] ppid=17501 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17509/stat : 17509 (java) S 17501 17504 16330 0 -1 1077944384 144 0 0 0 8 9 0 0 20 0 20 0 4548852 13588557824 180093 33554432000 4194304 4196468 140724748154800 140690381896592 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17510] ppid=17501 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17510/stat : 17510 (java) S 17501 17504 16330 0 -1 1077944384 124 0 0 0 8 9 0 0 20 0 20 0 4548852 13588557824 180093 33554432000 4194304 4196468 140724748154800 140690380843792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17511] ppid=17501 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17511/stat : 17511 (java) S 17501 17504 16330 0 -1 1077944384 151 0 0 0 8 10 0 0 20 0 20 0 4548852 13588557824 180093 33554432000 4194304 4196468 140724748154800 140690379790992 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17512] ppid=17501 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17512/stat : 17512 (java) S 17501 17504 16330 0 -1 1077944384 363 0 0 0 9 10 0 0 20 0 20 0 4548852 13588557824 180093 33554432000 4194304 4196468 140724748154800 140690038675984 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17513] ppid=17501 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17513/stat : 17513 (java) S 17501 17504 16330 0 -1 1077944384 170 0 0 0 8 11 0 0 20 0 20 0 4548852 13588557824 180093 33554432000 4194304 4196468 140724748154800 140690037623184 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17514] ppid=17501 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17514/stat : 17514 (java) S 17501 17504 16330 0 -1 1077944384 112 0 0 0 8 10 0 0 20 0 20 0 4548852 13588557824 180093 33554432000 4194304 4196468 140724748154800 140690036570384 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17515] ppid=17501 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17515/stat : 17515 (java) S 17501 17504 16330 0 -1 1077944384 1265 0 0 0 2 0 0 0 20 0 20 0 4548855 13588557824 180093 33554432000 4194304 4196468 140724748154800 140689773947760 140690445048450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17516] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17516/stat : 17516 (java) S 17501 17504 16330 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 180093 33554432000 4194304 4196468 140724748154800 140689772893792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17517] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17517/stat : 17517 (java) S 17501 17504 16330 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 180093 33554432000 4194304 4196468 140724748154800 140689771840896 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17518] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=17504/tid=17520] ppid=17501 vsize=13270076 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17520/stat : 17520 (java) S 17501 17504 16330 0 -1 1077944384 12646 0 0 0 190 2 0 0 20 0 20 0 4548860 13588557824 428539 33554432000 4194304 4196468 140724748154800 140689768683760 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17521] ppid=17501 vsize=13270076 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17521/stat : 17521 (java) S 17501 17504 16330 0 -1 1077944384 16191 0 0 0 196 2 0 0 20 0 20 0 4548860 13588557824 428539 33554432000 4194304 4196468 140724748154800 140689767630960 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17522] ppid=17501 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17522/stat : 17522 (java) S 17501 17504 16330 0 -1 1077944384 33422 0 0 0 117 5 0 0 20 0 20 0 4548860 13588557824 428539 33554432000 4194304 4196468 140724748154800 140689766578160 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17523] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17523/stat : 17523 (java) S 17501 17504 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 428539 33554432000 4194304 4196468 140724748154800 140689765526624 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17524] ppid=17501 vsize=13270076 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17524/stat : 17524 (java) S 17501 17504 16330 0 -1 1077944384 1299 0 0 0 58 60 0 0 20 0 20 0 4548860 13588557824 428539 33554432000 4194304 4196468 140724748154800 140689764473904 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 2315.11
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.68 1.72 1.68 3/281 17592
/proc/meminfo: memFree=27550412/32770624 swapFree=5872/249544
[pid=17504] ppid=17501 vsize=13270076 CPUtime=2376.88 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 419277 0 0 0 236935 753 0 0 20 0 20 0 4548851 13588557824 426720 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3317519 426720 3867 1 0 3305234 0
[pid=17504/tid=17505] ppid=17501 vsize=13270076 CPUtime=2241.66 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 125764 0 0 0 224087 79 0 0 20 0 20 0 4548851 13588557824 426720 33554432000 4194304 4196468 140724748154800 140690449275040 140690070800594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17507] ppid=17501 vsize=13270076 CPUtime=15.56 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17507/stat : 17507 (java) S 17501 17504 16330 0 -1 1077944384 21023 0 0 0 1485 71 0 0 20 0 20 0 4548852 13588557824 426720 33554432000 4194304 4196468 140724748154800 140690384002192 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17508] ppid=17501 vsize=13270076 CPUtime=15.72 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17508/stat : 17508 (java) S 17501 17504 16330 0 -1 1077944384 18546 0 0 0 1502 70 0 0 20 0 20 0 4548852 13588557824 426720 33554432000 4194304 4196468 140724748154800 140690382949392 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17509] ppid=17501 vsize=13270076 CPUtime=15.71 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17509/stat : 17509 (java) S 17501 17504 16330 0 -1 1077944384 15354 0 0 0 1495 76 0 0 20 0 20 0 4548852 13588557824 426720 33554432000 4194304 4196468 140724748154800 140690381896592 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17510] ppid=17501 vsize=13270076 CPUtime=15.62 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17510/stat : 17510 (java) S 17501 17504 16330 0 -1 1077944384 17491 0 0 0 1487 75 0 0 20 0 20 0 4548852 13588557824 426720 33554432000 4194304 4196468 140724748154800 140690380843792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17511] ppid=17501 vsize=13270076 CPUtime=15.54 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17511/stat : 17511 (java) S 17501 17504 16330 0 -1 1077944384 14707 0 0 0 1482 72 0 0 20 0 20 0 4548852 13588557824 426720 33554432000 4194304 4196468 140724748154800 140690379790992 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17512] ppid=17501 vsize=13270076 CPUtime=15.66 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17512/stat : 17512 (java) S 17501 17504 16330 0 -1 1077944384 17584 0 0 0 1494 72 0 0 20 0 20 0 4548852 13588557824 426720 33554432000 4194304 4196468 140724748154800 140690038675984 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17513] ppid=17501 vsize=13270076 CPUtime=15.65 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17513/stat : 17513 (java) S 17501 17504 16330 0 -1 1077944384 15534 0 0 0 1490 75 0 0 20 0 20 0 4548852 13588557824 426720 33554432000 4194304 4196468 140724748154800 140690037623184 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17514] ppid=17501 vsize=13270076 CPUtime=15.53 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17514/stat : 17514 (java) S 17501 17504 16330 0 -1 1077944384 15456 0 0 0 1479 74 0 0 20 0 20 0 4548852 13588557824 426720 33554432000 4194304 4196468 140724748154800 140690036570384 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17515] ppid=17501 vsize=13270076 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17515/stat : 17515 (java) S 17501 17504 16330 0 -1 1077944384 73974 0 0 0 133 37 0 0 20 0 20 0 4548855 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689773947760 140690445048450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17516] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17516/stat : 17516 (java) S 17501 17504 16330 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689772893792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17517] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17517/stat : 17517 (java) S 17501 17504 16330 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689771840896 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17518] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17518/stat : 17518 (java) S 17501 17504 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689770789200 140690445055899 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17519] ppid=17501 vsize=13270076 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17519/stat : 17519 (java) S 17501 17504 16330 0 -1 1077944384 15865 0 0 0 198 2 0 0 20 0 20 0 4548860 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689769736560 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17520] ppid=17501 vsize=13270076 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17520/stat : 17520 (java) S 17501 17504 16330 0 -1 1077944384 13207 0 0 0 192 2 0 0 20 0 20 0 4548860 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689768683760 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17521] ppid=17501 vsize=13270076 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17521/stat : 17521 (java) S 17501 17504 16330 0 -1 1077944384 16520 0 0 0 198 3 0 0 20 0 20 0 4548860 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689767630960 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17522] ppid=17501 vsize=13270076 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17522/stat : 17522 (java) S 17501 17504 16330 0 -1 1077944384 35464 0 0 0 119 5 0 0 20 0 20 0 4548860 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689766578160 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17523] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17523/stat : 17523 (java) S 17501 17504 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689765526624 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17524] ppid=17501 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17524/stat : 17524 (java) S 17501 17504 16330 0 -1 1077944384 1330 0 0 0 60 62 0 0 20 0 20 0 4548860 13588557824 426720 33554432000 4194304 4196468 140724748154800 140689764473904 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 2376.88
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2284.5 s]
/proc/loadavg: 1.77 1.74 1.69 3/281 17686
/proc/meminfo: memFree=29564148/32770624 swapFree=5872/249604
[pid=17504] ppid=17501 vsize=13270076 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 423389 0 0 0 239251 754 0 0 20 0 20 0 4548851 13588557824 419219 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3317519 419219 3867 1 0 3305234 0
[pid=17504/tid=17505] ppid=17501 vsize=13270076 CPUtime=2263.67 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 127952 0 0 0 226288 79 0 0 20 0 20 0 4548851 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690449275136 140690069484311 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17507] ppid=17501 vsize=13270076 CPUtime=15.7 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17507/stat : 17507 (java) S 17501 17504 16330 0 -1 1077944384 21266 0 0 0 1499 71 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690384002192 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17508] ppid=17501 vsize=13270076 CPUtime=15.86 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17508/stat : 17508 (java) S 17501 17504 16330 0 -1 1077944384 18722 0 0 0 1516 70 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690382949392 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17509] ppid=17501 vsize=13270076 CPUtime=15.85 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17509/stat : 17509 (java) S 17501 17504 16330 0 -1 1077944384 15543 0 0 0 1509 76 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690381896592 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17510] ppid=17501 vsize=13270076 CPUtime=15.77 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17510/stat : 17510 (java) S 17501 17504 16330 0 -1 1077944384 17568 0 0 0 1502 75 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690380843792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17511] ppid=17501 vsize=13270076 CPUtime=15.69 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17511/stat : 17511 (java) S 17501 17504 16330 0 -1 1077944384 14907 0 0 0 1497 72 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690379790992 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17512] ppid=17501 vsize=13270076 CPUtime=15.8 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17512/stat : 17512 (java) S 17501 17504 16330 0 -1 1077944384 18045 0 0 0 1508 72 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690038675984 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17513] ppid=17501 vsize=13270076 CPUtime=15.78 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17513/stat : 17513 (java) S 17501 17504 16330 0 -1 1077944384 15647 0 0 0 1503 75 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690037623184 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17514] ppid=17501 vsize=13270076 CPUtime=15.67 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17514/stat : 17514 (java) S 17501 17504 16330 0 -1 1077944384 15638 0 0 0 1492 75 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690036570384 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17515] ppid=17501 vsize=13270076 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17515/stat : 17515 (java) S 17501 17504 16330 0 -1 1077944384 74214 0 0 0 134 37 0 0 20 0 20 0 4548855 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689773947760 140690445048450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17516] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17516/stat : 17516 (java) S 17501 17504 16330 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689772893792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17517] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17517/stat : 17517 (java) S 17501 17504 16330 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689771840896 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17518] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17518/stat : 17518 (java) S 17501 17504 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689770789200 140690445055899 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17519] ppid=17501 vsize=13270076 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17519/stat : 17519 (java) S 17501 17504 16330 0 -1 1077944384 15868 0 0 0 198 2 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689769736560 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17520] ppid=17501 vsize=13270076 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17520/stat : 17520 (java) S 17501 17504 16330 0 -1 1077944384 13209 0 0 0 192 2 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689768683760 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17521] ppid=17501 vsize=13270076 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17521/stat : 17521 (java) S 17501 17504 16330 0 -1 1077944384 16522 0 0 0 198 3 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689767630960 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17522] ppid=17501 vsize=13270076 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17522/stat : 17522 (java) S 17501 17504 16330 0 -1 1077944384 35466 0 0 0 119 5 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689766578160 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17523] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17523/stat : 17523 (java) S 17501 17504 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689765526624 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17524] ppid=17501 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17524/stat : 17524 (java) S 17501 17504 16330 0 -1 1077944384 1364 0 0 0 61 62 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689764473904 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13270076

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

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

[startup+2284.5 s]
/proc/loadavg: 1.77 1.74 1.69 3/281 17686
/proc/meminfo: memFree=29564148/32770624 swapFree=5872/249604
[pid=17504] ppid=17501 vsize=13270076 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/17504/stat : 17504 (java) S 17501 17504 16330 0 -1 1077944320 423389 0 0 0 239251 754 0 0 20 0 20 0 4548851 13588557824 419219 33554432000 4194304 4196468 140724748154800 140724748137344 140690445037303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
/proc/17504/statm: 3317519 419219 3867 1 0 3305234 0
[pid=17504/tid=17505] ppid=17501 vsize=13270076 CPUtime=2263.67 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17505/stat : 17505 (java) R 17501 17504 16330 0 -1 4202560 127952 0 0 0 226288 79 0 0 20 0 20 0 4548851 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690449275136 140690069484311 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17507] ppid=17501 vsize=13270076 CPUtime=15.7 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17507/stat : 17507 (java) S 17501 17504 16330 0 -1 1077944384 21266 0 0 0 1499 71 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690384002192 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17508] ppid=17501 vsize=13270076 CPUtime=15.86 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17508/stat : 17508 (java) S 17501 17504 16330 0 -1 1077944384 18722 0 0 0 1516 70 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690382949392 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17509] ppid=17501 vsize=13270076 CPUtime=15.85 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17509/stat : 17509 (java) S 17501 17504 16330 0 -1 1077944384 15543 0 0 0 1509 76 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690381896592 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17510] ppid=17501 vsize=13270076 CPUtime=15.77 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17510/stat : 17510 (java) S 17501 17504 16330 0 -1 1077944384 17568 0 0 0 1502 75 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690380843792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17511] ppid=17501 vsize=13270076 CPUtime=15.69 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17511/stat : 17511 (java) S 17501 17504 16330 0 -1 1077944384 14907 0 0 0 1497 72 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690379790992 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17512] ppid=17501 vsize=13270076 CPUtime=15.8 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17512/stat : 17512 (java) S 17501 17504 16330 0 -1 1077944384 18045 0 0 0 1508 72 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690038675984 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17513] ppid=17501 vsize=13270076 CPUtime=15.78 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17513/stat : 17513 (java) S 17501 17504 16330 0 -1 1077944384 15647 0 0 0 1503 75 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690037623184 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17514] ppid=17501 vsize=13270076 CPUtime=15.67 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17514/stat : 17514 (java) S 17501 17504 16330 0 -1 1077944384 15638 0 0 0 1492 75 0 0 20 0 20 0 4548852 13588557824 419219 33554432000 4194304 4196468 140724748154800 140690036570384 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17515] ppid=17501 vsize=13270076 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17515/stat : 17515 (java) S 17501 17504 16330 0 -1 1077944384 74214 0 0 0 134 37 0 0 20 0 20 0 4548855 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689773947760 140690445048450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17516] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17516/stat : 17516 (java) S 17501 17504 16330 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689772893792 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17517] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17517/stat : 17517 (java) S 17501 17504 16330 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4548856 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689771840896 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17518] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17518/stat : 17518 (java) S 17501 17504 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689770789200 140690445055899 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17519] ppid=17501 vsize=13270076 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17519/stat : 17519 (java) S 17501 17504 16330 0 -1 1077944384 15868 0 0 0 198 2 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689769736560 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17520] ppid=17501 vsize=13270076 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17520/stat : 17520 (java) S 17501 17504 16330 0 -1 1077944384 13209 0 0 0 192 2 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689768683760 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17521] ppid=17501 vsize=13270076 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17521/stat : 17521 (java) S 17501 17504 16330 0 -1 1077944384 16522 0 0 0 198 3 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689767630960 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17522] ppid=17501 vsize=13270076 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17522/stat : 17522 (java) S 17501 17504 16330 0 -1 1077944384 35466 0 0 0 119 5 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689766578160 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17523] ppid=17501 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17523/stat : 17523 (java) S 17501 17504 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689765526624 140690445047509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
[pid=17504/tid=17524] ppid=17501 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/17504/task/17524/stat : 17524 (java) S 17501 17504 16330 0 -1 1077944384 1364 0 0 0 61 62 0 0 20 0 20 0 4548860 13588557824 419219 33554432000 4194304 4196468 140724748154800 140689764473904 140690445048450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 22478848 140724748162192 140724748162372 140724748162372 140724748165071 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2284.54
CPU time (s): 2400.11
CPU user time (s): 2392.55
CPU system time (s): 7.56181
CPU usage (%): 105.059
Max. virtual memory (cumulated for all children) (KiB): 13270108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.55
system time used= 7.56181
maximum resident set size= 3520276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109061
involuntary context switches= 133096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1979 second user time and 18.8192 second system time

The end

Launcher Data

Begin job on node147 at 2017-07-22 05:07:16
IDJOB=4244762
IDBENCH=115896
IDSOLVER=2627
FILE ID=node147/4244762-1500692836
RUNJOBID= node147-1500683390-16361
PBS_JOBID= 20623340
Free space on /tmp= 61892 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244762-1500692836/watcher-4244762-1500692836 -o /tmp/evaluation-result-4244762-1500692836/solver-4244762-1500692836 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500683390-16361 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 770492870 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244762-1500692836.xml

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=770492870

node147.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		: 2667.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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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		: 2668.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		: 2133.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.47
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:        30390388 kB
MemAvailable:   30638456 kB
Buffers:          109156 kB
Cached:           419452 kB
SwapCached:            0 kB
Active:          1688044 kB
Inactive:         255640 kB
Active(anon):    1417660 kB
Inactive(anon):     8676 kB
Active(file):     270384 kB
Inactive(file):   246964 kB
Unevictable:        5872 kB
Mlocked:            5872 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42272 kB
Writeback:             0 kB
AnonPages:       1420412 kB
Mapped:            45292 kB
Shmem:              8852 kB
Slab:             126696 kB
SReclaimable:      93108 kB
SUnreclaim:        33588 kB
KernelStack:        4544 kB
PageTables:         8788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3306668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1275904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61852 MiB
End job on node147 at 2017-07-22 05:45:21

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml
MD5SUM	45cb885f577274590a53a0b26d80d877
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	686
Best CPU time to get the best result obtained on this benchmark	2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables	3082
Number of constraints	1747
Number of domains	4
Minimum domain size	2
Maximum domain size	3043
Distribution of domain sizes	[{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}]
Minimum variable degree	1
Maximum variable degree	40
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	41
Distribution of constraint arities	[{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}]
Number of extensional constraints	1517
Number of intensional constraints	186
Distribution of constraint types	[{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4244762

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data