2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - ALNS 2017-07-26	SAT (TO)	167	247.689	240.02901

0.31/0.43	c version: 2017-07-26
0.31/0.43	c seed: 71889904
0.31/0.44	c timeout: 264
0.31/0.44	c memlimit: 11000
0.31/0.44	c nbcore: 4
0.31/0.46	c Parsing instance...
3.54/1.74	c Parsing done, starting search...
5.04/2.27	o 157
15.28/10.70	o 159
54.80/49.48	o 163
57.53/52.15	o 164
64.04/58.60	o 165
64.04/58.67	o 167
247.63/240.00	s SATISFIABLE
247.63/240.01	v <instantiation>
247.63/240.01	v 	<list>
247.63/240.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
247.63/240.01	v 	</list>
247.63/240.01	v 	<values>
247.63/240.01	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 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 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 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 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 0 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 1 1 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 2 2 1 2 1 2 2 2 1 1 2 1 1 2 1 2 1 1 2 2 1 1 1 1 1 2 1 0 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 2 1 0 1 0 0 0 0 0 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 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 2 2 2 2 1 1 2 2 1 0 0 0 0 0 0 1 1 2 1 1 2 1 1 2 2 2 2 1 1 2 1 1 2 0 1 0 0 1 0 1 0 1 1 1 2 1 2 2 2 1 1 2 0 0 0 0 0 0 0 1 0 0 1 1 2 0 1 0 0 0 0 1 1 2 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 2 1 0 1 0 0 1 1 2 1 2 1 0 0 0 1 0 0 0 0 1 0 2 0 0 2 1 1 0 1 1 0 1 1 1 2 1 1 1 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 1 2 1 1 2 2 0 1 0 1 0 1 0 1 0 2 2 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 0 0 0 24 74 122 165 210 255 304 343 355 364 373 384 390 398 400 404 416 436 465 487 498 513 534 546 565 580 167 
247.63/240.01	v 	</values>
247.63/240.01	v </instantiation>

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-4255834-1501625877/watcher-4255834-1501625877 -o /tmp/evaluation-result-4255834-1501625877/solver-4255834-1501625877 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501623099-24766 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 71889904 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255834-1501625877.xml 

pid=26140
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.35 1.45 1.57 7/202 26144
/proc/meminfo: memFree=31672524/32770624 swapFree=0/297868
[pid=26144] ppid=26140 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (runsolver) D 26140 26144 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10093441 24240128 107 18446744073709551615 4194304 4338465 140732003684928 140732003682568 140136303256279 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 14106624 140732003688558 140732003689030 140732003689030 140732003692490 0
/proc/26144/statm: 5918 107 54 36 0 2156 0

[startup+0.10015 s]
/proc/loadavg: 1.35 1.45 1.57 7/202 26144
/proc/meminfo: memFree=31672524/32770624 swapFree=0/297868
[pid=26144] ppid=26140 vsize=100808 CPUtime=0 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 1467 0 0 0 0 0 0 0 20 0 2 0 10093441 103227392 1209 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 0 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 25758 1209 891 1 0 16800 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 100808

[startup+0.200277 s]
/proc/loadavg: 1.35 1.45 1.57 7/202 26144
/proc/meminfo: memFree=31672524/32770624 swapFree=0/297868
[pid=26144] ppid=26140 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 4776 0 0 0 4 1 0 0 20 0 14 0 10093441 14240239616 5322 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3476621 5322 2567 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.300245 s]
/proc/loadavg: 1.35 1.45 1.57 7/202 26144
/proc/meminfo: memFree=31672524/32770624 swapFree=0/297868
[pid=26144] ppid=26140 vsize=13975920 CPUtime=0.14 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 9276 0 0 0 12 2 0 0 20 0 15 0 10093441 14311342080 8282 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3493980 8282 3375 1 0 3482767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13975920

[startup+0.702374 s]
/proc/loadavg: 1.35 1.45 1.57 7/202 26144
/proc/meminfo: memFree=31672524/32770624 swapFree=0/297868
[pid=26144] ppid=26140 vsize=13977988 CPUtime=0.92 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 13718 0 0 0 88 4 0 0 20 0 15 0 10093441 14313459712 16005 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3494497 16005 3715 1 0 3483279 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 13977988

[startup+1.50055 s]
/proc/loadavg: 1.40 1.46 1.57 4/196 26181
/proc/meminfo: memFree=31642392/32770624 swapFree=0/327740
[pid=26144] ppid=26140 vsize=13982084 CPUtime=3.15 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 30663 0 0 0 305 10 0 0 20 0 15 0 10093441 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3495521 56104 3779 1 0 3484303 0
[pid=26144/tid=26149] ppid=26140 vsize=13982084 CPUtime=1.27 cores=1,3,5,7
/proc/26144/task/26149/stat : 26149 (java) R 26140 26144 5234 0 -1 4202560 15504 0 0 0 121 6 0 0 20 0 15 0 10093451 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501706228768 140501702004118 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26150] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26150/stat : 26150 (java) S 26140 26144 5234 0 -1 1077944384 490 0 0 0 0 0 0 0 20 0 15 0 10093452 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501669551248 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26151] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26151/stat : 26151 (java) S 26140 26144 5234 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10093452 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501300890640 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26152] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26152/stat : 26152 (java) S 26140 26144 5234 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10093452 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501299837840 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26153] ppid=26140 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/26144/task/26153/stat : 26153 (java) S 26140 26144 5234 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 10093452 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501298785040 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26154] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26154/stat : 26154 (java) S 26140 26144 5234 0 -1 1077944384 706 0 0 0 0 0 0 0 20 0 15 0 10093453 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501181364592 140501702003330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26155] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26155/stat : 26155 (java) S 26140 26144 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501180310560 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26156] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26156/stat : 26156 (java) S 26140 26144 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501179257712 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26157] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26157/stat : 26157 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093456 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501178206032 140501702010779 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26158] ppid=26140 vsize=13982084 CPUtime=0.54 cores=1,3,5,7
/proc/26144/task/26158/stat : 26158 (java) R 26140 26144 5234 0 -1 4202560 2475 0 0 0 54 0 0 0 20 0 15 0 10093456 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501177154416 140501702004118 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26159] ppid=26140 vsize=13982084 CPUtime=0.57 cores=1,3,5,7
/proc/26144/task/26159/stat : 26159 (java) R 26140 26144 5234 0 -1 1077944384 2443 0 0 0 57 0 0 0 20 0 15 0 10093456 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501176101616 140501702003330 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26160] ppid=26140 vsize=13982084 CPUtime=0.69 cores=1,3,5,7
/proc/26144/task/26160/stat : 26160 (java) R 26140 26144 5234 0 -1 1077944384 7503 0 0 0 68 1 0 0 20 0 15 0 10093456 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501175048816 140501702003330 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26161] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26161/stat : 26161 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093457 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501173996256 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26162] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26162/stat : 26162 (java) S 26140 26144 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10093465 14317654016 56104 18446744073709551615 4194304 4196468 140723869298832 140501172943536 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 13982084

[startup+3.10066 s]
/proc/loadavg: 1.40 1.46 1.57 6/215 26205
/proc/meminfo: memFree=31396316/32770624 swapFree=0/297816
[pid=26144] ppid=26140 vsize=13982084 CPUtime=6.62 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 35062 0 0 0 639 23 0 0 20 0 15 0 10093441 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3495521 104571 3803 1 0 3484303 0
[pid=26144/tid=26149] ppid=26140 vsize=13982084 CPUtime=2.8 cores=1,3,5,7
/proc/26144/task/26149/stat : 26149 (java) R 26140 26144 5234 0 -1 4202560 16397 0 0 0 273 7 0 0 20 0 15 0 10093451 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501706229648 140501352101086 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26150] ppid=26140 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/26144/task/26150/stat : 26150 (java) S 26140 26144 5234 0 -1 1077944384 569 0 0 0 4 2 0 0 20 0 15 0 10093452 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501669551248 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26151] ppid=26140 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/26144/task/26151/stat : 26151 (java) S 26140 26144 5234 0 -1 1077944384 91 0 0 0 3 2 0 0 20 0 15 0 10093452 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501300890640 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26152] ppid=26140 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/26144/task/26152/stat : 26152 (java) S 26140 26144 5234 0 -1 1077944384 92 0 0 0 4 2 0 0 20 0 15 0 10093452 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501299837840 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26153] ppid=26140 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/26144/task/26153/stat : 26153 (java) S 26140 26144 5234 0 -1 1077944384 195 0 0 0 4 2 0 0 20 0 15 0 10093452 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501298785040 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26154] ppid=26140 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/26144/task/26154/stat : 26154 (java) S 26140 26144 5234 0 -1 1077944384 844 0 0 0 1 0 0 0 20 0 15 0 10093453 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501181364592 140501702003330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26155] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26155/stat : 26155 (java) S 26140 26144 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501180310624 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26156] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26156/stat : 26156 (java) S 26140 26144 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501179257728 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26157] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26157/stat : 26157 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093456 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501178206032 140501702010779 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26158] ppid=26140 vsize=13982084 CPUtime=1.35 cores=1,3,5,7
/proc/26144/task/26158/stat : 26158 (java) S 26140 26144 5234 0 -1 1077944384 4382 0 0 0 134 1 0 0 20 0 15 0 10093456 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501177154416 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26159] ppid=26140 vsize=13982084 CPUtime=1.27 cores=1,3,5,7
/proc/26144/task/26159/stat : 26159 (java) S 26140 26144 5234 0 -1 1077944384 3251 0 0 0 126 1 0 0 20 0 15 0 10093456 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501176101616 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26160] ppid=26140 vsize=13982084 CPUtime=0.86 cores=1,3,5,7
/proc/26144/task/26160/stat : 26160 (java) S 26140 26144 5234 0 -1 1077944384 7817 0 0 0 85 1 0 0 20 0 15 0 10093456 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501175048816 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26161] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26161/stat : 26161 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093457 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501173996256 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26162] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26162/stat : 26162 (java) S 26140 26144 5234 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 10093465 14317654016 104571 18446744073709551615 4194304 4196468 140723869298832 140501172943536 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 13982084

[startup+6.30067 s]
/proc/loadavg: 1.40 1.46 1.57 3/215 26205
/proc/meminfo: memFree=30625132/32770624 swapFree=0/297828
[pid=26144] ppid=26140 vsize=13982084 CPUtime=10.67 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 36760 0 0 0 1035 32 0 0 20 0 15 0 10093441 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3495521 171302 3804 1 0 3484303 0
[pid=26144/tid=26149] ppid=26140 vsize=13982084 CPUtime=5.95 cores=1,3,5,7
/proc/26144/task/26149/stat : 26149 (java) R 26140 26144 5234 0 -1 4202560 17112 0 0 0 585 10 0 0 20 0 15 0 10093451 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501706229368 140501352884308 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26150] ppid=26140 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/26144/task/26150/stat : 26150 (java) S 26140 26144 5234 0 -1 1077944384 615 0 0 0 6 3 0 0 20 0 15 0 10093452 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501669551248 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26151] ppid=26140 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/26144/task/26151/stat : 26151 (java) S 26140 26144 5234 0 -1 1077944384 117 0 0 0 6 4 0 0 20 0 15 0 10093452 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501300890640 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26152] ppid=26140 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/26144/task/26152/stat : 26152 (java) S 26140 26144 5234 0 -1 1077944384 154 0 0 0 6 4 0 0 20 0 15 0 10093452 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501299837840 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26153] ppid=26140 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/26144/task/26153/stat : 26153 (java) S 26140 26144 5234 0 -1 1077944384 293 0 0 0 6 4 0 0 20 0 15 0 10093452 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501298785040 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26154] ppid=26140 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/26144/task/26154/stat : 26154 (java) S 26140 26144 5234 0 -1 1077944384 1119 0 0 0 1 0 0 0 20 0 15 0 10093453 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501181364592 140501702003330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26155] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26155/stat : 26155 (java) S 26140 26144 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501180310624 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26156] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26156/stat : 26156 (java) S 26140 26144 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501179257728 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26157] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26157/stat : 26157 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093456 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501178206032 140501702010779 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26158] ppid=26140 vsize=13982084 CPUtime=1.81 cores=1,3,5,7
/proc/26144/task/26158/stat : 26158 (java) S 26140 26144 5234 0 -1 1077944384 4619 0 0 0 180 1 0 0 20 0 15 0 10093456 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501177154416 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26159] ppid=26140 vsize=13982084 CPUtime=1.5 cores=1,3,5,7
/proc/26144/task/26159/stat : 26159 (java) S 26140 26144 5234 0 -1 1077944384 3316 0 0 0 149 1 0 0 20 0 15 0 10093456 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501176101616 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26160] ppid=26140 vsize=13982084 CPUtime=0.91 cores=1,3,5,7
/proc/26144/task/26160/stat : 26160 (java) S 26140 26144 5234 0 -1 1077944384 7982 0 0 0 90 1 0 0 20 0 15 0 10093456 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501175048816 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26161] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26161/stat : 26161 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093457 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501173996256 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26162] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26162/stat : 26162 (java) S 26140 26144 5234 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10093465 14317654016 171302 18446744073709551615 4194304 4196468 140723869298832 140501172943536 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.50 1.48 1.57 3/215 26205
/proc/meminfo: memFree=29537188/32770624 swapFree=0/297836
[pid=26144] ppid=26140 vsize=13982084 CPUtime=17.36 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 41868 0 0 0 1696 40 0 0 20 0 15 0 10093441 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3495521 249135 3805 1 0 3484303 0
[pid=26144/tid=26149] ppid=26140 vsize=13982084 CPUtime=12.33 cores=1,3,5,7
/proc/26144/task/26149/stat : 26149 (java) R 26140 26144 5234 0 -1 4202560 20169 0 0 0 1218 15 0 0 20 0 15 0 10093451 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140501706227304 140501352225802 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26150] ppid=26140 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/26144/task/26150/stat : 26150 (java) S 26140 26144 5234 0 -1 1077944384 627 0 0 0 8 4 0 0 20 0 15 0 10093452 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140501669551248 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26151] ppid=26140 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/26144/task/26151/stat : 26151 (java) S 26140 26144 5234 0 -1 1077944384 132 0 0 0 8 5 0 0 20 0 15 0 10093452 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140501300890640 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26152] ppid=26140 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/26144/task/26152/stat : 26152 (java) S 26140 26144 5234 0 -1 1077944384 166 0 0 0 8 4 0 0 20 0 15 0 10093452 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140501299837840 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26153] ppid=26140 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/26144/task/26153/stat : 26153 (java) S 26140 26144 5234 0 -1 1077944384 360 0 0 0 8 5 0 0 20 0 15 0 10093452 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140501298785040 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26154] ppid=26140 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/26144/task/26154/stat : 26154 (java) S 26140 26144 5234 0 -1 1077944384 1154 0 0 0 1 0 0 0 20 0 15 0 10093453 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140501181364592 140501702003330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26155] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26155/stat : 26155 (java) S 26140 26144 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140501180310624 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26156] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26156/stat : 26156 (java) S 26140 26144 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140501179257728 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26157] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26157/stat : 26157 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093456 14317654016 249135 18446744073709551615 4194304 4196468 140723869298832 140501178206032 140501702010779 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0

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

/proc/26144/task/26161/stat : 26161 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093457 14317654016 863480 18446744073709551615 4194304 4196468 140723869298832 140501173996256 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26162] ppid=26140 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/26144/task/26162/stat : 26162 (java) S 26140 26144 5234 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 15 0 10093465 14317654016 863480 18446744073709551615 4194304 4196468 140723869298832 140501172943536 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
Current children cumulated CPU time (s) 56.51
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.41 1.48 1.57 3/213 26208
/proc/meminfo: memFree=26216112/32770624 swapFree=0/297908
[pid=26144] ppid=26140 vsize=13982084 CPUtime=108.28 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 66613 0 0 0 10740 88 0 0 20 0 15 0 10093441 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3495521 824400 3808 1 0 3484303 0
[pid=26144/tid=26149] ppid=26140 vsize=13982084 CPUtime=101.82 cores=1,3,5,7
/proc/26144/task/26149/stat : 26149 (java) R 26140 26144 5234 0 -1 4202560 29184 0 0 0 10129 53 0 0 20 0 15 0 10093451 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501706230000 140501352056574 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26150] ppid=26140 vsize=13982084 CPUtime=0.22 cores=1,3,5,7
/proc/26144/task/26150/stat : 26150 (java) S 26140 26144 5234 0 -1 1077944384 688 0 0 0 16 6 0 0 20 0 15 0 10093452 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501669551248 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26151] ppid=26140 vsize=13982084 CPUtime=0.22 cores=1,3,5,7
/proc/26144/task/26151/stat : 26151 (java) S 26140 26144 5234 0 -1 1077944384 962 0 0 0 15 7 0 0 20 0 15 0 10093452 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501300890640 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26152] ppid=26140 vsize=13982084 CPUtime=0.22 cores=1,3,5,7
/proc/26144/task/26152/stat : 26152 (java) S 26140 26144 5234 0 -1 1077944384 1337 0 0 0 16 6 0 0 20 0 15 0 10093452 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501299837840 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26153] ppid=26140 vsize=13982084 CPUtime=0.21 cores=1,3,5,7
/proc/26144/task/26153/stat : 26153 (java) S 26140 26144 5234 0 -1 1077944384 604 0 0 0 15 6 0 0 20 0 15 0 10093452 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501298785040 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26154] ppid=26140 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/26144/task/26154/stat : 26154 (java) S 26140 26144 5234 0 -1 1077944384 2608 0 0 0 3 0 0 0 20 0 15 0 10093453 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501181364592 140501702003330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26155] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26155/stat : 26155 (java) S 26140 26144 5234 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501180310624 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26156] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26156/stat : 26156 (java) S 26140 26144 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501179257728 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26157] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26157/stat : 26157 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093456 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501178206032 140501702010779 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26158] ppid=26140 vsize=13982084 CPUtime=2.32 cores=1,3,5,7
/proc/26144/task/26158/stat : 26158 (java) S 26140 26144 5234 0 -1 1077944384 8751 0 0 0 231 1 0 0 20 0 15 0 10093456 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501177154416 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26159] ppid=26140 vsize=13982084 CPUtime=2.07 cores=1,3,5,7
/proc/26144/task/26159/stat : 26159 (java) S 26140 26144 5234 0 -1 1077944384 9366 0 0 0 205 2 0 0 20 0 15 0 10093456 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501176101616 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26160] ppid=26140 vsize=13982084 CPUtime=1.04 cores=1,3,5,7
/proc/26144/task/26160/stat : 26160 (java) S 26140 26144 5234 0 -1 1077944384 11573 0 0 0 102 2 0 0 20 0 15 0 10093456 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501175048816 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26161] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26161/stat : 26161 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093457 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501173996256 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26162] ppid=26140 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/26144/task/26162/stat : 26162 (java) S 26140 26144 5234 0 -1 1077944384 107 0 0 0 2 2 0 0 20 0 15 0 10093465 14317654016 824400 18446744073709551615 4194304 4196468 140723869298832 140501172943536 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
Current children cumulated CPU time (s) 108.28
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.52 1.50 1.57 3/214 26211
/proc/meminfo: memFree=26352800/32770624 swapFree=0/297932
[pid=26144] ppid=26140 vsize=13982084 CPUtime=168.66 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 81186 0 0 0 16775 91 0 0 20 0 15 0 10093441 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3495521 779162 3808 1 0 3484303 0
[pid=26144/tid=26149] ppid=26140 vsize=13982084 CPUtime=161.72 cores=1,3,5,7
/proc/26144/task/26149/stat : 26149 (java) R 26140 26144 5234 0 -1 4202560 34501 0 0 0 16118 54 0 0 20 0 15 0 10093451 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501706226768 140501352409073 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26150] ppid=26140 vsize=13982084 CPUtime=0.28 cores=1,3,5,7
/proc/26144/task/26150/stat : 26150 (java) S 26140 26144 5234 0 -1 1077944384 1271 0 0 0 22 6 0 0 20 0 15 0 10093452 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501669551248 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26151] ppid=26140 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/26144/task/26151/stat : 26151 (java) S 26140 26144 5234 0 -1 1077944384 1685 0 0 0 22 7 0 0 20 0 15 0 10093452 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501300890640 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26152] ppid=26140 vsize=13982084 CPUtime=0.28 cores=1,3,5,7
/proc/26144/task/26152/stat : 26152 (java) S 26140 26144 5234 0 -1 1077944384 1459 0 0 0 22 6 0 0 20 0 15 0 10093452 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501299837840 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26153] ppid=26140 vsize=13982084 CPUtime=0.28 cores=1,3,5,7
/proc/26144/task/26153/stat : 26153 (java) S 26140 26144 5234 0 -1 1077944384 773 0 0 0 22 6 0 0 20 0 15 0 10093452 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501298785040 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26154] ppid=26140 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/26144/task/26154/stat : 26154 (java) S 26140 26144 5234 0 -1 1077944384 3050 0 0 0 4 1 0 0 20 0 15 0 10093453 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501181364592 140501702003330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26155] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26155/stat : 26155 (java) S 26140 26144 5234 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501180310624 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26156] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26156/stat : 26156 (java) S 26140 26144 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501179257728 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26157] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26157/stat : 26157 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093456 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501178206032 140501702010779 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26158] ppid=26140 vsize=13982084 CPUtime=2.37 cores=1,3,5,7
/proc/26144/task/26158/stat : 26158 (java) S 26140 26144 5234 0 -1 1077944384 10243 0 0 0 235 2 0 0 20 0 15 0 10093456 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501177154416 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26159] ppid=26140 vsize=13982084 CPUtime=2.17 cores=1,3,5,7
/proc/26144/task/26159/stat : 26159 (java) S 26140 26144 5234 0 -1 1077944384 12599 0 0 0 215 2 0 0 20 0 15 0 10093456 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501176101616 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26160] ppid=26140 vsize=13982084 CPUtime=1.05 cores=1,3,5,7
/proc/26144/task/26160/stat : 26160 (java) S 26140 26144 5234 0 -1 1077944384 13887 0 0 0 103 2 0 0 20 0 15 0 10093456 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501175048816 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26161] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26161/stat : 26161 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093457 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501173996256 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26162] ppid=26140 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/26144/task/26162/stat : 26162 (java) S 26140 26144 5234 0 -1 1077944384 285 0 0 0 4 4 0 0 20 0 15 0 10093465 14317654016 779162 18446744073709551615 4194304 4196468 140723869298832 140501172943536 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
Current children cumulated CPU time (s) 168.66
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.42 1.48 1.56 3/213 26213
/proc/meminfo: memFree=26417864/32770624 swapFree=0/297952
[pid=26144] ppid=26140 vsize=13982084 CPUtime=229.59 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 92538 0 0 0 22862 97 0 0 20 0 15 0 10093441 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3495521 751538 3808 1 0 3484303 0
[pid=26144/tid=26149] ppid=26140 vsize=13982084 CPUtime=221.42 cores=1,3,5,7
/proc/26144/task/26149/stat : 26149 (java) R 26140 26144 5234 0 -1 4202560 38006 0 0 0 22087 55 0 0 20 0 15 0 10093451 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501706229984 140501352691776 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26150] ppid=26140 vsize=13982084 CPUtime=0.53 cores=1,3,5,7
/proc/26144/task/26150/stat : 26150 (java) S 26140 26144 5234 0 -1 1077944384 1884 0 0 0 46 7 0 0 20 0 15 0 10093452 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501669551248 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26151] ppid=26140 vsize=13982084 CPUtime=0.53 cores=1,3,5,7
/proc/26144/task/26151/stat : 26151 (java) S 26140 26144 5234 0 -1 1077944384 1914 0 0 0 45 8 0 0 20 0 15 0 10093452 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501300890640 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26152] ppid=26140 vsize=13982084 CPUtime=0.52 cores=1,3,5,7
/proc/26144/task/26152/stat : 26152 (java) S 26140 26144 5234 0 -1 1077944384 1733 0 0 0 46 6 0 0 20 0 15 0 10093452 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501299837840 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26153] ppid=26140 vsize=13982084 CPUtime=0.53 cores=1,3,5,7
/proc/26144/task/26153/stat : 26153 (java) S 26140 26144 5234 0 -1 1077944384 1028 0 0 0 46 7 0 0 20 0 15 0 10093452 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501298785040 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26154] ppid=26140 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/26144/task/26154/stat : 26154 (java) S 26140 26144 5234 0 -1 1077944384 3322 0 0 0 8 1 0 0 20 0 15 0 10093453 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501181364592 140501702003330 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26155] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26155/stat : 26155 (java) S 26140 26144 5234 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501180310624 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26156] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26156/stat : 26156 (java) S 26140 26144 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501179257728 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26157] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26157/stat : 26157 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093456 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501178206032 140501702010779 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26158] ppid=26140 vsize=13982084 CPUtime=2.42 cores=1,3,5,7
/proc/26144/task/26158/stat : 26158 (java) S 26140 26144 5234 0 -1 1077944384 11738 0 0 0 240 2 0 0 20 0 15 0 10093456 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501177154416 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26159] ppid=26140 vsize=13982084 CPUtime=2.27 cores=1,3,5,7
/proc/26144/task/26159/stat : 26159 (java) S 26140 26144 5234 0 -1 1077944384 14637 0 0 0 225 2 0 0 20 0 15 0 10093456 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501176101616 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26160] ppid=26140 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/26144/task/26160/stat : 26160 (java) S 26140 26144 5234 0 -1 1077944384 16507 0 0 0 105 2 0 0 20 0 15 0 10093456 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501175048816 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26161] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26161/stat : 26161 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093457 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501173996256 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26162] ppid=26140 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/26144/task/26162/stat : 26162 (java) S 26140 26144 5234 0 -1 1077944384 336 0 0 0 6 6 0 0 20 0 15 0 10093465 14317654016 751538 18446744073709551615 4194304 4196468 140723869298832 140501172943536 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
Current children cumulated CPU time (s) 229.59
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.33 1.46 1.56 3/213 26213
/proc/meminfo: memFree=26411696/32770624 swapFree=0/297960
[pid=26144] ppid=26140 vsize=13982084 CPUtime=247.63 cores=1,3,5,7
/proc/26144/stat : 26144 (java) S 26140 26144 5234 0 -1 1077944320 97705 0 0 0 24663 100 0 0 20 0 15 0 10093441 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140723869281376 140501701992183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
/proc/26144/statm: 3495521 750212 3808 1 0 3484303 0
[pid=26144/tid=26149] ppid=26140 vsize=13982084 CPUtime=238.97 cores=1,3,5,7
/proc/26144/task/26149/stat : 26149 (java) R 26140 26144 5234 0 -1 4202560 39090 0 0 0 23842 55 0 0 20 0 15 0 10093451 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501706229984 140501352054343 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26150] ppid=26140 vsize=13982084 CPUtime=0.64 cores=1,3,5,7
/proc/26144/task/26150/stat : 26150 (java) S 26140 26144 5234 0 -1 1077944384 2128 0 0 0 57 7 0 0 20 0 15 0 10093452 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501669551248 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26151] ppid=26140 vsize=13982084 CPUtime=0.64 cores=1,3,5,7
/proc/26144/task/26151/stat : 26151 (java) S 26140 26144 5234 0 -1 1077944384 2109 0 0 0 56 8 0 0 20 0 15 0 10093452 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501300890640 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26152] ppid=26140 vsize=13982084 CPUtime=0.64 cores=1,3,5,7
/proc/26144/task/26152/stat : 26152 (java) S 26140 26144 5234 0 -1 1077944384 1999 0 0 0 57 7 0 0 20 0 15 0 10093452 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501299837840 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26153] ppid=26140 vsize=13982084 CPUtime=0.64 cores=1,3,5,7
/proc/26144/task/26153/stat : 26153 (java) S 26140 26144 5234 0 -1 1077944384 1761 0 0 0 56 8 0 0 20 0 15 0 10093452 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501298785040 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26154] ppid=26140 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/26144/task/26154/stat : 26154 (java) S 26140 26144 5234 0 -1 1077944384 3585 0 0 0 9 2 0 0 20 0 15 0 10093453 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501181364592 140501702003330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26155] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26155/stat : 26155 (java) S 26140 26144 5234 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501180310624 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26156] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26156/stat : 26156 (java) S 26140 26144 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10093454 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501179257728 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26157] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26157/stat : 26157 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093456 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501178206032 140501702010779 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26158] ppid=26140 vsize=13982084 CPUtime=2.42 cores=1,3,5,7
/proc/26144/task/26158/stat : 26158 (java) S 26140 26144 5234 0 -1 1077944384 12847 0 0 0 240 2 0 0 20 0 15 0 10093456 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501177154416 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26159] ppid=26140 vsize=13982084 CPUtime=2.28 cores=1,3,5,7
/proc/26144/task/26159/stat : 26159 (java) S 26140 26144 5234 0 -1 1077944384 15705 0 0 0 226 2 0 0 20 0 15 0 10093456 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501176101616 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26160] ppid=26140 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/26144/task/26160/stat : 26160 (java) S 26140 26144 5234 0 -1 1077944384 16687 0 0 0 105 2 0 0 20 0 15 0 10093456 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501175048816 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26161] ppid=26140 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26144/task/26161/stat : 26161 (java) S 26140 26144 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10093457 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501173996256 140501702002389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
[pid=26144/tid=26162] ppid=26140 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/26144/task/26162/stat : 26162 (java) S 26140 26144 5234 0 -1 1077944384 361 0 0 0 6 6 0 0 20 0 15 0 10093465 14317654016 750212 18446744073709551615 4194304 4196468 140723869298832 140501172943536 140501702003330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140723869303193 140723869303371 140723869303371 140723869306831 0
Current children cumulated CPU time (s) 247.63
Current children cumulated vsize (KiB) 13982084

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

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

Child status: 143
Real time (s): 240.029
CPU time (s): 247.689
CPU user time (s): 246.668
CPU system time (s): 1.02098
CPU usage (%): 103.191
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.668
system time used= 1.02098
maximum resident set size= 3458016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11697
involuntary context switches= 392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10126 second user time and 1.52381 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml
MD5SUM	e0f1e7fd363778103a4292aa9d177ae8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	289
Best CPU time to get the best result obtained on this benchmark	251.842
Satisfiable
(Un)Satisfiability was proved
Number of variables	1379
Number of constraints	824
Number of domains	4
Minimum domain size	2
Maximum domain size	1353
Distribution of domain sizes	[{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}]
Minimum variable degree	1
Maximum variable degree	27
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	28
Distribution of constraint arities	[{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}]
Number of extensional constraints	672
Number of intensional constraints	121
Distribution of constraint types	[{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4255834

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